Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 3732777 | 1801.44 | 1706.43 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_9_mh_ic.opb |
| MD5SUM | e68c386be3005ac1db93713ad853c109 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3056260 |
| Best CPU time to get the best result obtained on this benchmark | 398.99 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 144703125 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 7285050849 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 144703125 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 7285050849 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 16 0.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Glucose 2.1 dynamic restart strategy 0.10/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-4080999-1465340179.opb 0.10/0.12 c reading problem ... 0.10/0.12 c objective function found 1.35/0.68 c ... done. Wall clock time 0.565s. 1.35/0.68 c declared #vars 9765 1.35/0.68 c #constraints 21931 1.35/0.69 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.35/0.69 c constraints type 1.35/0.69 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.35/0.69 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.35/0.69 c org.sat4j.specs.Constr$1 => 4 1.35/0.69 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.35/0.69 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.35/0.69 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.35/0.69 c 21931 constraints processed. 1.35/0.69 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.35/0.69 c constraints type 1.35/0.69 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.35/0.69 c org.sat4j.specs.Constr$1 => 4 1.35/0.69 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.35/0.69 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.35/0.69 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.35/0.69 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.35/0.69 c 21931 constraints processed. 1.35/0.69 c objective function length is 4005 literals 5.29/1.87 c And the winner is solver1 5.45/2.20 c SATISFIABLE 5.45/2.20 c OPTIMIZING... 5.45/2.20 c Got one! Elapsed wall clock time (in seconds):2.078 5.45/2.20 o 530311409 5.51/2.27 c And the winner is solver0 5.75/2.71 c Got one! Elapsed wall clock time (in seconds):2.593 5.75/2.71 o 215968870 6.16/2.86 c And the winner is solver0 6.35/3.22 c Got one! Elapsed wall clock time (in seconds):3.105 6.35/3.22 o 47496273 9.56/4.71 c cleaning 3045 clauses out of 6096 with flag 15882/6108 10.17/4.99 c And the winner is solver0 10.71/5.23 c Got one! Elapsed wall clock time (in seconds):5.114 10.71/5.23 o 34676752 13.40/6.33 c And the winner is solver1 13.64/6.74 c Got one! Elapsed wall clock time (in seconds):6.621 13.64/6.74 o 31616177 15.17/7.52 c And the winner is solver0 15.22/7.75 c Got one! Elapsed wall clock time (in seconds):7.628 15.22/7.75 o 31414999 15.22/7.77 c And the winner is solver0 15.38/8.25 c Got one! Elapsed wall clock time (in seconds):8.134 15.38/8.25 o 5933709 15.86/8.57 c cleaning 4909 clauses out of 9819 with flag 4494/12887 16.26/8.71 c And the winner is solver1 16.26/8.76 c Got one! Elapsed wall clock time (in seconds):8.64 16.26/8.76 o 5326282 16.26/8.78 c And the winner is solver0 16.37/9.26 c Got one! Elapsed wall clock time (in seconds):9.146 16.37/9.26 o 4116457 20.87/11.42 c cleaning 5176 clauses out of 10366 with flag 35125/18344 21.27/11.65 c And the winner is solver0 21.40/11.77 c Got one! Elapsed wall clock time (in seconds):11.653 21.40/11.77 o 4052232 25.32/13.65 c cleaning 5364 clauses out of 10745 with flag 33609/23900 30.35/16.13 c cleaning 5684 clauses out of 11381 with flag 76018/29900 33.75/17.80 c And the winner is solver0 33.89/18.28 c Got one! Elapsed wall clock time (in seconds):18.16 33.89/18.28 o 3996472 34.52/18.66 c cleaning 5388 clauses out of 10784 with flag 6717/34988 39.68/21.02 c cleaning 5685 clauses out of 11395 with flag 54695/40987 44.66/23.55 c cleaning 6353 clauses out of 12712 with flag 123192/47989 48.66/25.54 c And the winner is solver0 48.76/25.83 c Got one! Elapsed wall clock time (in seconds):25.715 48.76/25.83 o 3934403 53.09/27.86 c cleaning 8598 clauses out of 17201 with flag 24337/58833 57.29/29.99 c cleaning 7292 clauses out of 14603 with flag 55958/64833 62.31/32.48 c cleaning 7156 clauses out of 14311 with flag 96272/71833 68.12/35.35 c cleaning 7578 clauses out of 15155 with flag 138388/79833 72.33/37.49 c And the winner is solver0 72.68/37.84 c Got one! Elapsed wall clock time (in seconds):37.724 72.68/37.84 o 3894896 76.20/39.65 c And the winner is solver0 76.34/39.85 c Got one! Elapsed wall clock time (in seconds):39.732 76.34/39.85 o 3871169 77.01/40.27 c cleaning 9962 clauses out of 19932 with flag 7380/92190 80.82/42.18 c And the winner is solver0 81.08/42.36 c Got one! Elapsed wall clock time (in seconds):42.241 81.08/42.36 o 3842681 84.36/44.06 c cleaning 10255 clauses out of 20524 with flag 37030/102744 87.14/45.48 c And the winner is solver0 87.50/45.87 c Got one! Elapsed wall clock time (in seconds):45.75 87.50/45.87 o 3836581 87.55/45.90 c And the winner is solver0 319.03/273.00 c Got one! Elapsed wall clock time (in seconds):272.886 319.03/273.01 o 3829821 319.03/273.04 c And the winner is solver0 1402.17/1321.74 c Got one! Elapsed wall clock time (in seconds):1321.626 1402.17/1321.74 o 3775700 1402.81/1322.18 c cleaning 7923 clauses out of 15846 with flag 5392/108322 1404.01/1322.72 c And the winner is solver0 1404.23/1322.96 c Got one! Elapsed wall clock time (in seconds):1322.84 1404.23/1322.96 o 3767218 1404.73/1323.26 c And the winner is solver0 1626.24/1538.13 c Got one! Elapsed wall clock time (in seconds):1538.009 1626.24/1538.13 o 3732777 1626.24/1538.22 c And the winner is solver0 1800.80/1706.37 c >>>>>>>>>> Solver number 0 (18 answers) <<<<<<<<<<<<<<<<<< 1800.80/1706.37 c starts : 1092 1800.80/1706.37 c conflicts : 110506 1800.80/1706.37 c decisions : 417572 1800.80/1706.38 c propagations : 54903828 1800.80/1706.38 c inspects : 193525370 1800.80/1706.38 c shortcuts : 0 1800.80/1706.38 c learnt literals : 31 1800.80/1706.38 c learnt binary clauses : 53 1800.80/1706.38 c learnt ternary clauses : 54 1800.80/1706.38 c learnt constraints : 110475 1800.80/1706.38 c ignored constraints : 0 1800.80/1706.38 c root simplifications : 0 1800.80/1706.38 c removed literals (reason simplification) : 2982343 1800.80/1706.38 c reason swapping (by a shorter reason) : 0 1800.80/1706.38 c Calls to reduceDB : 15 1800.80/1706.38 c Number of update (reduction) of LBD : 46468 1800.80/1706.38 c Imported unit clauses : 0 1800.80/1706.38 c number of reductions to clauses (during analyze) : 0 1800.80/1706.38 c number of learned constraints concerned by reduction : 0 1800.80/1706.38 c number of learning phase by resolution : 0 1800.80/1706.38 c number of learning phase by cutting planes : 0 1800.80/1706.38 c speed (assignments/second) : 32341.838231395905 1800.80/1706.38 c non guided choices 4337 1800.80/1706.38 c learnt constraints type 1800.80/1706.38 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 53 1800.80/1706.38 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10054 1800.80/1706.38 c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<< 1800.80/1706.38 c starts : 25 1800.80/1706.38 c conflicts : 3648 1800.80/1706.38 c decisions : 117915 1800.80/1706.38 c propagations : 5002414 1800.80/1706.38 c inspects : 210744622 1800.80/1706.38 c shortcuts : 0 1800.80/1706.38 c learnt literals : 0 1800.80/1706.38 c learnt binary clauses : 18 1800.80/1706.38 c learnt ternary clauses : 0 1800.80/1706.38 c learnt constraints : 3640 1800.80/1706.38 c ignored constraints : 0 1800.80/1706.38 c root simplifications : 0 1800.80/1706.38 c removed literals (reason simplification) : 0 1800.80/1706.38 c reason swapping (by a shorter reason) : 0 1800.80/1706.38 c Calls to reduceDB : 0 1800.80/1706.38 c Number of update (reduction) of LBD : 0 1800.80/1706.38 c Imported unit clauses : 0 1800.80/1706.38 c number of reductions to clauses (during analyze) : 0 1800.80/1706.38 c number of learned constraints concerned by reduction : 0 1800.80/1706.38 c number of learning phase by resolution : 0 1800.80/1706.38 c number of learning phase by cutting planes : 0 1800.80/1706.38 c speed (assignments/second) : 29911.94584962748 1800.80/1706.38 c non guided choices 990 1800.80/1706.38 c learnt constraints type 1800.80/1706.38 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 232 1800.80/1706.38 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 182 1800.80/1706.38 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 18 1800.80/1706.38 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3208 1800.80/1706.38 s SATISFIABLE 1800.80/1706.38 c Found 20 solution(s) 1800.80/1706.39 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 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 x9749 x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1801.44/1706.40 c objective function=3732777 1801.44/1706.40 c Total wall clock time (in seconds): 1706.286
OK 3732777
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4080999-1465340179/watcher-4080999-1465340179 -o /tmp/evaluation-result-4080999-1465340179/solver-4080999-1465340179 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20066 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080999-1465340179.opb pid=20301 running on 8 cores: 0-3,8-11 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.87 3.96 2.99 4/284 20304 /proc/meminfo: memFree=30517528/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=101560 CPUtime=0 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 1499 0 1 0 0 0 0 0 20 0 2 0 115859919 103997440 1102 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 25390 1102 852 9 0 16774 0 [pid=20304/tid=20305] ppid=20301 vsize=102664 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) R 20301 20304 20050 0 -1 4202560 281 0 1 0 0 0 0 0 20 0 2 0 115859920 105127936 1109 33554432000 1073741824 1073778376 140737424731120 139928409361880 216808636085 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 [startup+0.100108 s] /proc/loadavg: 3.87 3.96 2.99 4/284 20304 /proc/meminfo: memFree=30517528/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=9896436 CPUtime=0.1 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 4458 0 1 0 9 1 0 0 20 0 23 0 115859919 10133950464 6081 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2474109 6081 2126 9 0 2464786 0 [pid=20304/tid=20305] ppid=20301 vsize=9896436 CPUtime=0.07 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) R 20301 20304 20050 0 -1 4202560 2428 0 1 0 7 0 0 0 20 0 23 0 115859920 10133950464 6081 33554432000 1073741824 1073778376 140737424731120 139928409365408 216812021005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9896436 [startup+0.200265 s] /proc/loadavg: 3.87 3.96 2.99 4/284 20304 /proc/meminfo: memFree=30517528/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=9896436 CPUtime=0.31 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 5111 0 1 0 30 1 0 0 20 0 23 0 115859919 10133950464 7072 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2474109 7072 2222 9 0 2464786 0 [pid=20304/tid=20305] ppid=20301 vsize=9896436 CPUtime=0.17 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) R 20301 20304 20050 0 -1 4202560 2442 0 1 0 17 0 0 0 20 0 23 0 115859920 10133950464 7072 33554432000 1073741824 1073778376 140737424731120 139928409355520 216812021005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9896436 [startup+0.300267 s] /proc/loadavg: 3.87 3.96 2.99 4/284 20304 /proc/meminfo: memFree=30517528/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=9896436 CPUtime=0.53 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 5809 0 1 0 51 2 0 0 20 0 23 0 115859919 10133950464 10946 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2474109 10946 2241 9 0 2464786 0 [pid=20304/tid=20305] ppid=20301 vsize=9896436 CPUtime=0.27 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) R 20301 20304 20050 0 -1 4202560 2481 0 1 0 26 1 0 0 20 0 23 0 115859920 10133950464 10946 33554432000 1073741824 1073778376 140737424731120 139928409355960 216812021005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9896436 [startup+0.700217 s] /proc/loadavg: 3.87 3.96 2.99 4/284 20304 /proc/meminfo: memFree=30517528/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=10029564 CPUtime=1.63 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 16994 0 1 0 158 5 0 0 20 0 25 0 115859919 10270273536 32762 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2507391 32762 2256 9 0 2498068 0 [pid=20304/tid=20305] ppid=20301 vsize=10029564 CPUtime=0.67 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) S 20301 20304 20050 0 -1 4202560 2522 0 1 0 65 2 0 0 20 0 25 0 115859920 10270273536 32762 33554432000 1073741824 1073778376 140737424731120 139928409367416 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 10029564 [startup+1.50161 s] /proc/loadavg: 3.87 3.96 2.99 7/311 20331 /proc/meminfo: memFree=30374264/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=10162692 CPUtime=4.59 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 20600 0 1 0 447 12 0 0 20 0 27 0 115859919 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2540673 48407 2288 9 0 2531350 0 [pid=20304/tid=20305] ppid=20301 vsize=10162692 CPUtime=0.67 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) S 20301 20304 20050 0 -1 4202560 2522 0 1 0 65 2 0 0 20 0 27 0 115859920 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928409367416 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20307] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20307/stat : 20307 (java) S 20301 20304 20050 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928370859048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20308] ppid=20301 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20304/task/20308/stat : 20308 (java) S 20301 20304 20050 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928369806248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20309] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20309/stat : 20309 (java) S 20301 20304 20050 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928368753448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20310] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20310/stat : 20310 (java) S 20301 20304 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928367700648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20311] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20311/stat : 20311 (java) S 20301 20304 20050 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928366647848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20312] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20312/stat : 20312 (java) S 20301 20304 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928365595048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20313] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20313/stat : 20313 (java) S 20301 20304 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928364542248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20314] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20314/stat : 20314 (java) S 20301 20304 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928363489448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20315] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20315/stat : 20315 (java) S 20301 20304 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928362437672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20316] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20316/stat : 20316 (java) S 20301 20304 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928361384872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20304/tid=20317] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20317/stat : 20317 (java) S 20301 20304 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928360332072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20304/tid=20318] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20318/stat : 20318 (java) S 20301 20304 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928359279272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20319] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20319/stat : 20319 (java) S 20301 20304 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 115859921 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139928358226472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20320] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20320/stat : 20320 (java) S 20301 20304 20050 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 27 0 115859922 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927350143336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20321] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20321/stat : 20321 (java) S 20301 20304 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 115859922 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927349089400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20322] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20322/stat : 20322 (java) S 20301 20304 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 115859923 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927348036488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20323] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20323/stat : 20323 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 115859925 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927346986000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20324] ppid=20301 vsize=10162692 CPUtime=1.09 cores=0-3,8-11 /proc/20304/task/20324/stat : 20324 (java) S 20301 20304 20050 0 -1 4202560 10374 0 0 0 107 2 0 0 20 0 27 0 115859925 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927345933112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20325] ppid=20301 vsize=10162692 CPUtime=1.06 cores=0-3,8-11 /proc/20304/task/20325/stat : 20325 (java) S 20301 20304 20050 0 -1 4202560 6195 0 0 0 105 1 0 0 20 0 27 0 115859925 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927344880312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20326] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20326/stat : 20326 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 115859925 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927343827704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20327] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20327/stat : 20327 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 115859925 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927342775112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20328] ppid=20301 vsize=10162692 CPUtime=0.77 cores=0-3,8-11 /proc/20304/task/20328/stat : 20328 (java) R 20301 20304 20050 0 -1 4202560 21 0 0 0 77 0 0 0 20 0 27 0 115859989 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927341718192 139928240231035 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 [pid=20304/tid=20329] ppid=20301 vsize=10162692 CPUtime=0.77 cores=0-3,8-11 /proc/20304/task/20329/stat : 20329 (java) R 20301 20304 20050 0 -1 4202560 53 0 0 0 77 0 0 0 20 0 27 0 115859989 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927340666760 139928240384276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20304/tid=20330] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20330/stat : 20330 (java) S 20301 20304 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 115859992 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927339615016 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20331] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20331/stat : 20331 (java) S 20301 20304 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 115859992 10406596608 48407 33554432000 1073741824 1073778376 140737424731120 139927338563240 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 4.59 Current children cumulated vsize (KiB) 10162692 [startup+3.10098 s] /proc/loadavg: 3.87 3.96 2.99 6/308 20331 /proc/meminfo: memFree=30306688/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=10162692 CPUtime=6.35 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 20974 0 1 0 608 27 0 0 20 0 24 0 115859919 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2540673 53797 2289 9 0 2531350 0 [pid=20304/tid=20305] ppid=20301 vsize=10162692 CPUtime=0.7 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) S 20301 20304 20050 0 -1 4202560 2524 0 1 0 68 2 0 0 20 0 24 0 115859920 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928409367416 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20307] ppid=20301 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/20304/task/20307/stat : 20307 (java) S 20301 20304 20050 0 -1 4202560 57 0 0 0 0 2 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928370859048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20308] ppid=20301 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20304/task/20308/stat : 20308 (java) S 20301 20304 20050 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928369806248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20309] ppid=20301 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/20304/task/20309/stat : 20309 (java) S 20301 20304 20050 0 -1 4202560 56 0 0 0 2 2 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928368753448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20304/tid=20310] ppid=20301 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20304/task/20310/stat : 20310 (java) S 20301 20304 20050 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928367700648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20311] ppid=20301 vsize=10162692 CPUtime=0.03 cores=0-3,8-11 /proc/20304/task/20311/stat : 20311 (java) S 20301 20304 20050 0 -1 4202560 46 0 0 0 1 2 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928366647848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20312] ppid=20301 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/20304/task/20312/stat : 20312 (java) S 20301 20304 20050 0 -1 4202560 50 0 0 0 2 2 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928365595048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20313] ppid=20301 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20304/task/20313/stat : 20313 (java) S 20301 20304 20050 0 -1 4202560 46 0 0 0 0 1 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928364542248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20314] ppid=20301 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20304/task/20314/stat : 20314 (java) S 20301 20304 20050 0 -1 4202560 14 0 0 0 0 1 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928363489448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20315] ppid=20301 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20304/task/20315/stat : 20315 (java) S 20301 20304 20050 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928362437672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20316] ppid=20301 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/20304/task/20316/stat : 20316 (java) S 20301 20304 20050 0 -1 4202560 53 0 0 0 1 1 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928361384872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20304/tid=20317] ppid=20301 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/20304/task/20317/stat : 20317 (java) S 20301 20304 20050 0 -1 4202560 49 0 0 0 1 1 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928360332072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20318] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20318/stat : 20318 (java) S 20301 20304 20050 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928359279272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20304/tid=20319] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20319/stat : 20319 (java) S 20301 20304 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 115859921 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139928358226472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20320] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20320/stat : 20320 (java) S 20301 20304 20050 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 24 0 115859922 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927350143336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20304/tid=20321] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20321/stat : 20321 (java) S 20301 20304 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 115859922 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927349089400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20322] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20322/stat : 20322 (java) S 20301 20304 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 115859923 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927348036488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20323] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20323/stat : 20323 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 115859925 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927346986000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20324] ppid=20301 vsize=10162692 CPUtime=1.31 cores=0-3,8-11 /proc/20304/task/20324/stat : 20324 (java) S 20301 20304 20050 0 -1 4202560 10374 0 0 0 129 2 0 0 20 0 24 0 115859925 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927345933112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20325] ppid=20301 vsize=10162692 CPUtime=1.19 cores=0-3,8-11 /proc/20304/task/20325/stat : 20325 (java) S 20301 20304 20050 0 -1 4202560 6195 0 0 0 118 1 0 0 20 0 24 0 115859925 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927344880312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20326] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20326/stat : 20326 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 115859925 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927343827704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20327] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20327/stat : 20327 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 115859925 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927342775112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20334] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20334/stat : 20334 (java) S 20301 20304 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 115860141 10406596608 53797 33554432000 1073741824 1073778376 140737424731120 139927338562856 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.35 Current children cumulated vsize (KiB) 10162692 [startup+6.30117 s] /proc/loadavg: 3.72 3.93 2.98 5/311 20346 /proc/meminfo: memFree=29998220/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=10162692 CPUtime=13.4 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 25626 0 1 0 1291 49 0 0 20 0 27 0 115859919 10406596608 94314 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2540673 94314 2294 9 0 2531350 0 [pid=20304/tid=20305] ppid=20301 vsize=10162692 CPUtime=0.71 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) S 20301 20304 20050 0 -1 4202560 2526 0 1 0 69 2 0 0 20 0 27 0 115859920 10406596608 94314 33554432000 1073741824 1073778376 140737424731120 139928409367416 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20307] ppid=20301 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 ################ # More data... # ################ [pid=20304/tid=20324] ppid=20301 vsize=10162692 CPUtime=1.71 cores=0-3,8-11 /proc/20304/task/20324/stat : 20324 (java) S 20301 20304 20050 0 -1 4202560 10375 0 0 0 169 2 0 0 20 0 26 0 115859925 10406596608 1052413 33554432000 1073741824 1073778376 140737424731120 139927345933112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20325] ppid=20301 vsize=10162692 CPUtime=2.05 cores=0-3,8-11 /proc/20304/task/20325/stat : 20325 (java) S 20301 20304 20050 0 -1 4202560 10497 0 0 0 203 2 0 0 20 0 26 0 115859925 10406596608 1052413 33554432000 1073741824 1073778376 140737424731120 139927344880312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20326] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20326/stat : 20326 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 26 0 115859925 10406596608 1052413 33554432000 1073741824 1073778376 140737424731120 139927343827704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20327] ppid=20301 vsize=10162692 CPUtime=0.39 cores=0-3,8-11 /proc/20304/task/20327/stat : 20327 (java) S 20301 20304 20050 0 -1 4202560 97 0 0 0 20 19 0 0 20 0 26 0 115859925 10406596608 1052413 33554432000 1073741824 1073778376 140737424731120 139927342775112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20358] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20358/stat : 20358 (java) S 20301 20304 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 26 0 115860796 10406596608 1052413 33554432000 1073741824 1073778376 140737424731120 139927339615912 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20304/tid=20535] ppid=20301 vsize=10162692 CPUtime=123.14 cores=0-3,8-11 /proc/20304/task/20535/stat : 20535 (java) R 20301 20304 20050 0 -1 4202560 5 0 0 0 12313 1 0 0 20 0 26 0 116013734 10406596608 1052413 33554432000 1073741824 1073778376 140737424731120 139927340666704 139928240714757 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20536] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20536/stat : 20536 (java) S 20301 20304 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 26 0 116013834 10406596608 1052413 33554432000 1073741824 1073778376 140737424731120 139927338562888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 Current children cumulated CPU time (s) 1751.82 Current children cumulated vsize (KiB) 10162692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1706.21 s] /proc/loadavg: 3.02 3.03 3.00 4/310 20539 /proc/meminfo: memFree=24254880/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=10162692 CPUtime=1796.88 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 45374 0 1 0 178144 1544 0 0 20 0 26 0 115859919 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2540673 1052418 2302 9 0 2531350 0 [pid=20304/tid=20305] ppid=20301 vsize=10162692 CPUtime=1.26 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) S 20301 20304 20050 0 -1 4202560 2595 0 1 0 106 20 0 0 20 0 26 0 115859920 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928409367432 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20307] ppid=20301 vsize=10162692 CPUtime=4.56 cores=0-3,8-11 /proc/20304/task/20307/stat : 20307 (java) S 20301 20304 20050 0 -1 4202560 1012 0 0 0 353 103 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928370859048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20304/tid=20308] ppid=20301 vsize=10162692 CPUtime=4.58 cores=0-3,8-11 /proc/20304/task/20308/stat : 20308 (java) S 20301 20304 20050 0 -1 4202560 1022 0 0 0 347 111 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928369806248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20309] ppid=20301 vsize=10162692 CPUtime=4.56 cores=0-3,8-11 /proc/20304/task/20309/stat : 20309 (java) S 20301 20304 20050 0 -1 4202560 1094 0 0 0 351 105 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928368753448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20310] ppid=20301 vsize=10162692 CPUtime=4.3 cores=0-3,8-11 /proc/20304/task/20310/stat : 20310 (java) S 20301 20304 20050 0 -1 4202560 1012 0 0 0 329 101 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928367700648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20311] ppid=20301 vsize=10162692 CPUtime=4.86 cores=0-3,8-11 /proc/20304/task/20311/stat : 20311 (java) S 20301 20304 20050 0 -1 4202560 1050 0 0 0 376 110 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928366647848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20304/tid=20312] ppid=20301 vsize=10162692 CPUtime=5.03 cores=0-3,8-11 /proc/20304/task/20312/stat : 20312 (java) S 20301 20304 20050 0 -1 4202560 1182 0 0 0 379 124 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928365595048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20304/tid=20313] ppid=20301 vsize=10162692 CPUtime=4.98 cores=0-3,8-11 /proc/20304/task/20313/stat : 20313 (java) S 20301 20304 20050 0 -1 4202560 958 0 0 0 386 112 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928364542248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20314] ppid=20301 vsize=10162692 CPUtime=4.2 cores=0-3,8-11 /proc/20304/task/20314/stat : 20314 (java) S 20301 20304 20050 0 -1 4202560 827 0 0 0 329 91 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928363489448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20304/tid=20315] ppid=20301 vsize=10162692 CPUtime=4.76 cores=0-3,8-11 /proc/20304/task/20315/stat : 20315 (java) S 20301 20304 20050 0 -1 4202560 970 0 0 0 376 100 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928362437672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20316] ppid=20301 vsize=10162692 CPUtime=4.68 cores=0-3,8-11 /proc/20304/task/20316/stat : 20316 (java) S 20301 20304 20050 0 -1 4202560 1127 0 0 0 364 104 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928361384872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20317] ppid=20301 vsize=10162692 CPUtime=4.45 cores=0-3,8-11 /proc/20304/task/20317/stat : 20317 (java) S 20301 20304 20050 0 -1 4202560 996 0 0 0 338 107 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928360332072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20318] ppid=20301 vsize=10162692 CPUtime=4.84 cores=0-3,8-11 /proc/20304/task/20318/stat : 20318 (java) S 20301 20304 20050 0 -1 4202560 1011 0 0 0 370 114 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928359279272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20304/tid=20319] ppid=20301 vsize=10162692 CPUtime=5.04 cores=0-3,8-11 /proc/20304/task/20319/stat : 20319 (java) S 20301 20304 20050 0 -1 4202560 1115 0 0 0 386 118 0 0 20 0 26 0 115859921 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139928358226472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20320] ppid=20301 vsize=10162692 CPUtime=8.18 cores=0-3,8-11 /proc/20304/task/20320/stat : 20320 (java) S 20301 20304 20050 0 -1 4202560 4685 0 0 0 812 6 0 0 20 0 26 0 115859922 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927350143336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20321] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20321/stat : 20321 (java) S 20301 20304 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 26 0 115859922 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927349089432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20322] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20322/stat : 20322 (java) S 20301 20304 20050 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 26 0 115859923 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927348036520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20323] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20323/stat : 20323 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 26 0 115859925 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927346986000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20324] ppid=20301 vsize=10162692 CPUtime=1.71 cores=0-3,8-11 /proc/20304/task/20324/stat : 20324 (java) S 20301 20304 20050 0 -1 4202560 10375 0 0 0 169 2 0 0 20 0 26 0 115859925 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927345933112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20325] ppid=20301 vsize=10162692 CPUtime=2.05 cores=0-3,8-11 /proc/20304/task/20325/stat : 20325 (java) S 20301 20304 20050 0 -1 4202560 10497 0 0 0 203 2 0 0 20 0 26 0 115859925 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927344880312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20326] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20326/stat : 20326 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 26 0 115859925 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927343827704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20327] ppid=20301 vsize=10162692 CPUtime=0.39 cores=0-3,8-11 /proc/20304/task/20327/stat : 20327 (java) S 20301 20304 20050 0 -1 4202560 99 0 0 0 20 19 0 0 20 0 26 0 115859925 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927342775112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20358] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20358/stat : 20358 (java) S 20301 20304 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 26 0 115860796 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927339615912 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20304/tid=20535] ppid=20301 vsize=10162692 CPUtime=166.77 cores=0-3,8-11 /proc/20304/task/20535/stat : 20535 (java) R 20301 20304 20050 0 -1 4202560 5 0 0 0 16675 2 0 0 20 0 26 0 116013734 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927340666608 139928240389302 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20536] ppid=20301 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20536/stat : 20536 (java) S 20301 20304 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 26 0 116013834 10406596608 1052418 33554432000 1073741824 1073778376 140737424731120 139927338562888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 10162692 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20304 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1706.4 s] /proc/loadavg: 3.02 3.03 3.00 4/310 20539 /proc/meminfo: memFree=24254880/32872528 swapFree=9196/9196 [pid=20304] ppid=20301 vsize=10229256 CPUtime=1798.21 cores=0-3,8-11 /proc/20304/stat : 20304 (java) S 20301 20304 20050 0 -1 4202496 45408 0 1 0 178276 1545 0 0 20 0 26 0 115859919 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 140737424722256 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20304/statm: 2557314 1052442 2303 9 0 2547991 0 [pid=20304/tid=20305] ppid=20301 vsize=10229256 CPUtime=1.26 cores=0-3,8-11 /proc/20304/task/20305/stat : 20305 (java) S 20301 20304 20050 0 -1 4202560 2596 0 1 0 106 20 0 0 20 0 26 0 115859920 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928409367432 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20307] ppid=20301 vsize=10229256 CPUtime=4.63 cores=0-3,8-11 /proc/20304/task/20307/stat : 20307 (java) S 20301 20304 20050 0 -1 4202560 1013 0 0 0 360 103 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928370859048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20304/tid=20308] ppid=20301 vsize=10229256 CPUtime=4.66 cores=0-3,8-11 /proc/20304/task/20308/stat : 20308 (java) S 20301 20304 20050 0 -1 4202560 1022 0 0 0 355 111 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928369806248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20304/tid=20309] ppid=20301 vsize=10229256 CPUtime=4.64 cores=0-3,8-11 /proc/20304/task/20309/stat : 20309 (java) S 20301 20304 20050 0 -1 4202560 1095 0 0 0 359 105 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928368753448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20304/tid=20310] ppid=20301 vsize=10229256 CPUtime=4.41 cores=0-3,8-11 /proc/20304/task/20310/stat : 20310 (java) S 20301 20304 20050 0 -1 4202560 1012 0 0 0 340 101 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928367700648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20311] ppid=20301 vsize=10229256 CPUtime=4.94 cores=0-3,8-11 /proc/20304/task/20311/stat : 20311 (java) S 20301 20304 20050 0 -1 4202560 1051 0 0 0 384 110 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928366647848 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20312] ppid=20301 vsize=10229256 CPUtime=5.14 cores=0-3,8-11 /proc/20304/task/20312/stat : 20312 (java) S 20301 20304 20050 0 -1 4202560 1182 0 0 0 390 124 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928365595048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20304/tid=20313] ppid=20301 vsize=10229256 CPUtime=5.12 cores=0-3,8-11 /proc/20304/task/20313/stat : 20313 (java) S 20301 20304 20050 0 -1 4202560 960 0 0 0 400 112 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928364542248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20314] ppid=20301 vsize=10229256 CPUtime=4.26 cores=0-3,8-11 /proc/20304/task/20314/stat : 20314 (java) S 20301 20304 20050 0 -1 4202560 827 0 0 0 335 91 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928363489448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20315] ppid=20301 vsize=10229256 CPUtime=4.92 cores=0-3,8-11 /proc/20304/task/20315/stat : 20315 (java) S 20301 20304 20050 0 -1 4202560 970 0 0 0 392 100 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928362437672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20316] ppid=20301 vsize=10229256 CPUtime=4.77 cores=0-3,8-11 /proc/20304/task/20316/stat : 20316 (java) S 20301 20304 20050 0 -1 4202560 1128 0 0 0 373 104 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928361384872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20317] ppid=20301 vsize=10229256 CPUtime=4.61 cores=0-3,8-11 /proc/20304/task/20317/stat : 20317 (java) S 20301 20304 20050 0 -1 4202560 997 0 0 0 354 107 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928360332072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20318] ppid=20301 vsize=10229256 CPUtime=4.92 cores=0-3,8-11 /proc/20304/task/20318/stat : 20318 (java) S 20301 20304 20050 0 -1 4202560 1011 0 0 0 378 114 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928359279272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20304/tid=20319] ppid=20301 vsize=10229256 CPUtime=5.08 cores=0-3,8-11 /proc/20304/task/20319/stat : 20319 (java) S 20301 20304 20050 0 -1 4202560 1115 0 0 0 390 118 0 0 20 0 26 0 115859921 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139928358226472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20304/tid=20320] ppid=20301 vsize=10229256 CPUtime=8.18 cores=0-3,8-11 /proc/20304/task/20320/stat : 20320 (java) S 20301 20304 20050 0 -1 4202560 4686 0 0 0 812 6 0 0 20 0 26 0 115859922 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927350143336 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20304/tid=20321] ppid=20301 vsize=10229256 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20321/stat : 20321 (java) S 20301 20304 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 26 0 115859922 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927349089432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20322] ppid=20301 vsize=10229256 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20322/stat : 20322 (java) S 20301 20304 20050 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 26 0 115859923 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927348036520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20323] ppid=20301 vsize=10229256 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20323/stat : 20323 (java) S 20301 20304 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 26 0 115859925 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927346986000 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20324] ppid=20301 vsize=10229256 CPUtime=1.73 cores=0-3,8-11 /proc/20304/task/20324/stat : 20324 (java) R 20301 20304 20050 0 -1 4202560 10375 0 0 0 171 2 0 0 20 0 26 0 115859925 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927345911184 139928411454561 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 [pid=20304/tid=20325] ppid=20301 vsize=10229256 CPUtime=2.06 cores=0-3,8-11 /proc/20304/task/20325/stat : 20325 (java) R 20301 20304 20050 0 -1 4202560 10499 0 0 0 204 2 0 0 20 0 26 0 115859925 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927344880312 139928416341309 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20326] ppid=20301 vsize=10229256 CPUtime=0 cores=0-3,8-11 /proc/20304/task/20326/stat : 20326 (java) S 20301 20304 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 26 0 115859925 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927343827704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20304/tid=20327] ppid=20301 vsize=10229256 CPUtime=0.39 cores=0-3,8-11 /proc/20304/task/20327/stat : 20327 (java) S 20301 20304 20050 0 -1 4202560 99 0 0 0 20 19 0 0 20 0 26 0 115859925 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927342775112 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20304/tid=20535] ppid=20301 vsize=10229256 CPUtime=166.8 cores=0-3,8-11 /proc/20304/task/20535/stat : 20535 (java) R 20301 20304 20050 0 -1 4202560 5 0 0 0 16678 2 0 0 20 0 26 0 116013734 10474758144 1052442 33554432000 1073741824 1073778376 140737424731120 139927340665424 139928240389525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.21 Current children cumulated vsize (KiB) 10229256 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20304 and gives # childrusage.ru_utime.tv_sec=1782 # childrusage.ru_utime.tv_usec=192065 # childrusage.ru_stime.tv_sec=15 # childrusage.ru_stime.tv_usec=659619 # CPU time returned by wait4() is 1797.85 # while last known CPU time is 1798.21 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.23001 # lost CPU user time (s): 3.45996 # lost CPU system time (s): -0.23 Real time (s): 1706.43 CPU time (s): 1801.44 CPU user time (s): 1786.22 CPU system time (s): 15.22 CPU usage (%): 105.568 Max. virtual memory (cumulated for all children) (KiB): 10229256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.19 system time used= 15.6596 maximum resident set size= 4209776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45411 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1696 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 73781 involuntary context switches= 28233 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.6938 second user time and 16.4645 second system time The end
Begin job on node132 at 2016-06-08 00:56:19 IDJOB=4080999 IDBENCH=92685 IDSOLVER=2543 FILE ID=node132/4080999-1465340179 RUNJOBID= node132-1465339282-20066 PBS_JOBID= 19853401 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080999-1465340179/watcher-4080999-1465340179 -o /tmp/evaluation-result-4080999-1465340179/solver-4080999-1465340179 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20066 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080999-1465340179.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= e68c386be3005ac1db93713ad853c109 RANDOM SEED=491956800 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30518360 kB Buffers: 169744 kB Cached: 817568 kB SwapCached: 3220 kB Active: 934052 kB Inactive: 622776 kB Active(anon): 568612 kB Inactive(anon): 3312 kB Active(file): 365440 kB Inactive(file): 619464 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094612 kB Dirty: 14748 kB Writeback: 0 kB AnonPages: 589092 kB Mapped: 15428 kB Shmem: 0 kB Slab: 624060 kB SReclaimable: 63472 kB SUnreclaim: 560588 kB KernelStack: 2384 kB PageTables: 6120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1102024 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 538624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node132 at 2016-06-08 01:24:46