| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 658 | 1800.05 | 902.286 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
| MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 378 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 443 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 492823 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 492823 |
| Number of bits of the biggest sum of numbers | 19 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 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 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081223-1465222183.opb 0.09/0.12 c reading problem ... 0.09/0.13 c objective function found 5.68/3.84 c ... done. Wall clock time 3.715s. 5.68/3.84 c declared #vars 10000 5.68/3.84 c #constraints 656900 5.68/3.84 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 5.68/3.84 c constraints type 5.68/3.84 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.68/3.84 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.68/3.84 c 656900 constraints processed. 5.68/3.84 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 5.68/3.84 c constraints type 5.68/3.84 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.68/3.84 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.68/3.84 c 656900 constraints processed. 5.68/3.84 c objective function length is 10000 literals 6.31/4.09 c And the winner is solver0 6.80/4.35 c SATISFIABLE 6.80/4.35 c OPTIMIZING... 6.80/4.35 c Got one! Elapsed wall clock time (in seconds):4.229 6.80/4.35 o 658 11.00/6.27 c cleaning 2551 clauses out of 5102 with flag 14157/5102 15.51/8.44 c cleaning 4273 clauses out of 8550 with flag 32203/11101 20.98/11.20 c cleaning 5639 clauses out of 11280 with flag 52654/18104 27.10/14.18 c cleaning 6819 clauses out of 13638 with flag 78402/26101 35.08/17.98 c cleaning 7910 clauses out of 15819 with flag 106467/35101 43.08/21.93 c cleaning 8954 clauses out of 17909 with flag 138428/45101 51.68/26.21 c cleaning 9972 clauses out of 19957 with flag 171995/56103 61.09/30.98 c cleaning 10989 clauses out of 21983 with flag 210259/68101 71.48/36.12 c cleaning 11990 clauses out of 23994 with flag 249465/81101 82.50/41.65 c cleaning 12997 clauses out of 26004 with flag 294241/95101 94.12/47.41 c cleaning 14000 clauses out of 28008 with flag 345295/110102 106.10/53.45 c cleaning 14994 clauses out of 30008 with flag 397916/126102 119.10/59.94 c cleaning 15999 clauses out of 32014 with flag 450583/143102 133.31/67.04 c cleaning 16995 clauses out of 34016 with flag 509957/161103 149.32/75.06 c cleaning 18006 clauses out of 36019 with flag 570354/180101 166.13/83.46 c cleaning 19007 clauses out of 38013 with flag 637432/200101 184.15/92.48 c cleaning 19999 clauses out of 40008 with flag 708814/221103 203.54/102.18 c cleaning 20998 clauses out of 42009 with flag 783308/243103 225.80/113.45 c cleaning 22001 clauses out of 44009 with flag 865726/266101 245.61/123.35 c cleaning 23003 clauses out of 46008 with flag 953509/290101 266.28/133.66 c cleaning 23997 clauses out of 48005 with flag 1042105/315101 287.11/144.06 c cleaning 24993 clauses out of 50008 with flag 1131787/341101 309.32/155.11 c cleaning 26000 clauses out of 52020 with flag 1223194/368106 331.73/166.32 c cleaning 27005 clauses out of 54016 with flag 1316703/396102 355.13/178.04 c cleaning 27993 clauses out of 56010 with flag 1416614/425101 379.33/190.14 c cleaning 29003 clauses out of 58017 with flag 1520368/455101 403.94/202.44 c cleaning 29997 clauses out of 60016 with flag 1632850/486103 430.16/215.43 c cleaning 31003 clauses out of 62020 with flag 1741416/518104 457.17/228.91 c cleaning 31997 clauses out of 64014 with flag 1857810/551101 484.96/242.88 c cleaning 32997 clauses out of 66017 with flag 1977562/585101 512.76/256.73 c cleaning 33995 clauses out of 68020 with flag 2099839/620101 541.55/271.11 c cleaning 35006 clauses out of 70025 with flag 2231412/656101 573.35/287.05 c cleaning 36005 clauses out of 72019 with flag 2362592/693101 607.45/304.58 c cleaning 36994 clauses out of 74014 with flag 2497115/731101 638.86/320.26 c cleaning 38005 clauses out of 76020 with flag 2643546/770101 670.46/336.09 c cleaning 38993 clauses out of 78015 with flag 2784453/810101 705.05/353.39 c cleaning 40007 clauses out of 80022 with flag 2945139/851101 739.05/370.37 c cleaning 41004 clauses out of 82016 with flag 3103598/893102 774.45/388.06 c cleaning 41999 clauses out of 84012 with flag 3255560/936102 817.00/408.91 c cleaning 43003 clauses out of 86013 with flag 3411687/980102 866.00/434.28 c cleaning 43997 clauses out of 88009 with flag 3576449/1025101 905.39/453.97 c cleaning 45006 clauses out of 90012 with flag 3739742/1071101 946.61/474.59 c cleaning 45997 clauses out of 92006 with flag 3905565/1118101 989.01/495.73 c cleaning 46993 clauses out of 94010 with flag 4076845/1166102 1034.71/518.13 c cleaning 48000 clauses out of 96016 with flag 4253328/1215101 1077.89/539.79 c cleaning 48996 clauses out of 98016 with flag 4433864/1265101 1119.10/560.38 c cleaning 49995 clauses out of 100020 with flag 4615588/1316101 1166.86/585.82 c cleaning 51004 clauses out of 102026 with flag 4793912/1368102 1209.45/607.20 c cleaning 52009 clauses out of 104022 with flag 4977381/1421102 1254.26/629.55 c cleaning 52993 clauses out of 106013 with flag 5169216/1475102 1300.46/652.69 c cleaning 53997 clauses out of 108019 with flag 5373337/1530101 1352.01/677.94 c cleaning 55003 clauses out of 110022 with flag 5585262/1586101 1407.61/705.40 c cleaning 56005 clauses out of 112023 with flag 5799751/1643105 1466.00/734.65 c cleaning 57006 clauses out of 114015 with flag 6024688/1701102 1521.53/761.95 c cleaning 57995 clauses out of 116012 with flag 6248437/1760105 1572.52/787.40 c cleaning 58995 clauses out of 118013 with flag 6472175/1820101 1627.51/814.94 c cleaning 59998 clauses out of 120018 with flag 6709631/1881101 1682.71/842.50 c cleaning 61007 clauses out of 122021 with flag 6963525/1943102 1748.33/876.83 c cleaning 61998 clauses out of 124014 with flag 7219621/2006102 1800.05/902.20 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.05/902.20 c starts : 5 1800.05/902.20 c conflicts : 2058994 1800.05/902.20 c decisions : 4944252 1800.05/902.20 c propagations : 459328753 1800.05/902.20 c inspects : 2320912466 1800.05/902.20 c shortcuts : 0 1800.05/902.20 c learnt literals : 0 1800.05/902.20 c learnt binary clauses : 0 1800.05/902.20 c learnt ternary clauses : 0 1800.05/902.20 c learnt constraints : 2058994 1800.05/902.20 c ignored constraints : 0 1800.05/902.20 c root simplifications : 0 1800.05/902.20 c removed literals (reason simplification) : 296161578 1800.05/902.20 c reason swapping (by a shorter reason) : 0 1800.05/902.20 c Calls to reduceDB : 59 1800.05/902.20 c Number of update (reduction) of LBD : 582505 1800.05/902.20 c Imported unit clauses : 0 1800.05/902.20 c number of reductions to clauses (during analyze) : 0 1800.05/902.20 c number of learned constraints concerned by reduction : 0 1800.05/902.20 c number of learning phase by resolution : 0 1800.05/902.20 c number of learning phase by cutting planes : 0 1800.05/902.20 c speed (assignments/second) : 511316.8986725294 1800.05/902.20 c non guided choices 0 1800.05/902.23 c learnt constraints type 1800.05/902.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 114908 1800.05/902.23 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.05/902.23 c starts : 12 1800.05/902.23 c conflicts : 1655 1800.05/902.23 c decisions : 120627 1800.05/902.23 c propagations : 1880200 1800.05/902.23 c inspects : 33195263 1800.05/902.23 c shortcuts : 0 1800.05/902.23 c learnt literals : 0 1800.05/902.23 c learnt binary clauses : 0 1800.05/902.23 c learnt ternary clauses : 0 1800.05/902.23 c learnt constraints : 1654 1800.05/902.23 c ignored constraints : 0 1800.05/902.23 c root simplifications : 0 1800.05/902.23 c removed literals (reason simplification) : 0 1800.05/902.23 c reason swapping (by a shorter reason) : 0 1800.05/902.23 c Calls to reduceDB : 0 1800.05/902.23 c Number of update (reduction) of LBD : 0 1800.05/902.23 c Imported unit clauses : 0 1800.05/902.23 c number of reductions to clauses (during analyze) : 0 1800.05/902.23 c number of learned constraints concerned by reduction : 0 1800.05/902.23 c number of learning phase by resolution : 0 1800.05/902.23 c number of learning phase by cutting planes : 0 1800.05/902.23 c speed (assignments/second) : 2094.19301950511 1800.05/902.23 c non guided choices 0 1800.05/902.23 c learnt constraints type 1800.05/902.23 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 109 1800.05/902.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1545 1800.05/902.23 s SATISFIABLE 1800.05/902.23 c Found 1 solution(s) 1800.05/902.24 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 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 1800.05/902.25 c objective function=658 1800.05/902.25 c Total wall clock time (in seconds): 902.13
OK 658
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-4081223-1465222183/watcher-4081223-1465222183 -o /tmp/evaluation-result-4081223-1465222183/solver-4081223-1465222183 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25467 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081223-1465222183.opb pid=29020 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.54 4.34 4.18 4/196 29023 /proc/meminfo: memFree=27971708/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/29023/stat : 29023 (java) D 29020 29023 25451 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 104150101 9515008 182 33554432000 1073741824 1073778376 140733784711440 140733784702472 211458801333 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2323 182 140 9 0 71 0 [startup+0.100089 s] /proc/loadavg: 4.54 4.34 4.18 4/196 29023 /proc/meminfo: memFree=27971708/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 104150101 9787879424 6027 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2389619 6027 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200272 s] /proc/loadavg: 4.54 4.34 4.18 4/196 29023 /proc/meminfo: memFree=27971708/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 4985 0 1 0 26 2 0 0 20 0 18 0 104150101 9787879424 6969 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2389619 6969 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300271 s] /proc/loadavg: 4.54 4.34 4.18 4/196 29023 /proc/meminfo: memFree=27971708/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9558476 CPUtime=0.46 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 5366 0 1 0 44 2 0 0 20 0 18 0 104150101 9787879424 8680 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2389619 8680 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.70019 s] /proc/loadavg: 4.54 4.34 4.18 4/196 29023 /proc/meminfo: memFree=27971708/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9559084 CPUtime=1.56 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 23153 0 1 0 151 5 0 0 20 0 18 0 104150101 9788502016 33461 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2389771 33461 2244 9 0 2380448 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 9559084 [startup+1.50078 s] /proc/loadavg: 4.54 4.34 4.18 4/214 29041 /proc/meminfo: memFree=27774152/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9558476 CPUtime=2.8 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 23420 0 1 0 270 10 0 0 20 0 18 0 104150101 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2389619 55959 2262 9 0 2380296 0 [pid=29023/tid=29025] ppid=29020 vsize=9558476 CPUtime=1.41 cores=0,2,4,6 /proc/29023/task/29025/stat : 29025 (java) R 29020 29023 25451 0 -1 4202560 2483 0 1 0 138 3 0 0 20 0 18 0 104150102 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094593646024 211462186253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29026] ppid=29020 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/29023/task/29026/stat : 29026 (java) S 29020 29023 25451 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 104150103 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094437492904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29027] ppid=29020 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/29023/task/29027/stat : 29027 (java) S 29020 29023 25451 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 104150103 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094436440360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29028] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29028/stat : 29028 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104150103 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094435387816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29029] ppid=29020 vsize=9558476 CPUtime=0.03 cores=0,2,4,6 /proc/29023/task/29029/stat : 29029 (java) S 29020 29023 25451 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 18 0 104150103 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094434335272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29030] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29030/stat : 29030 (java) S 29020 29023 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 104150103 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094433282728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29031] ppid=29020 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/29023/task/29031/stat : 29031 (java) S 29020 29023 25451 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 104150103 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094432230184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29032] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29032/stat : 29032 (java) S 29020 29023 25451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 104150103 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094431177640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29033] ppid=29020 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/29023/task/29033/stat : 29033 (java) S 29020 29023 25451 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 104150103 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094430125096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29034] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29034/stat : 29034 (java) S 29020 29023 25451 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104150104 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094417713256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29035] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29035/stat : 29035 (java) S 29020 29023 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104150105 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094416659576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29036] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29036/stat : 29036 (java) S 29020 29023 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104150105 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094415606920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29037] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29037/stat : 29037 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104150107 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094414555664 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29038] ppid=29020 vsize=9558476 CPUtime=0.58 cores=0,2,4,6 /proc/29023/task/29038/stat : 29038 (java) S 29020 29023 25451 0 -1 4202560 9157 0 0 0 56 2 0 0 20 0 18 0 104150107 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094413503032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29039] ppid=29020 vsize=9558476 CPUtime=0.58 cores=0,2,4,6 /proc/29023/task/29039/stat : 29039 (java) S 29020 29023 25451 0 -1 4202560 10386 0 0 0 56 2 0 0 20 0 18 0 104150107 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094412450488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29040] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29040/stat : 29040 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104150107 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094411398136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29041] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29041/stat : 29041 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104150107 9787879424 55959 33554432000 1073741824 1073778376 140736822916752 140094410345800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.8 Current children cumulated vsize (KiB) 9558476 [startup+3.10078 s] /proc/loadavg: 4.54 4.34 4.18 9/215 29042 /proc/meminfo: memFree=27609196/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9558476 CPUtime=4.67 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 23874 0 1 0 449 18 0 0 20 0 18 0 104150101 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2389619 115606 2262 9 0 2380296 0 [pid=29023/tid=29025] ppid=29020 vsize=9558476 CPUtime=2.91 cores=0,2,4,6 /proc/29023/task/29025/stat : 29025 (java) R 29020 29023 25451 0 -1 4202560 2570 0 1 0 285 6 0 0 20 0 18 0 104150102 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094593638352 211462186253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29026] ppid=29020 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/29023/task/29026/stat : 29026 (java) S 29020 29023 25451 0 -1 4202560 50 0 0 0 5 2 0 0 20 0 18 0 104150103 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094437492904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29027] ppid=29020 vsize=9558476 CPUtime=0.04 cores=0,2,4,6 /proc/29023/task/29027/stat : 29027 (java) S 29020 29023 25451 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 18 0 104150103 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094436440360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29028] ppid=29020 vsize=9558476 CPUtime=0.06 cores=0,2,4,6 /proc/29023/task/29028/stat : 29028 (java) S 29020 29023 25451 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 18 0 104150103 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094435387816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29029] ppid=29020 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/29023/task/29029/stat : 29029 (java) S 29020 29023 25451 0 -1 4202560 52 0 0 0 6 2 0 0 20 0 18 0 104150103 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094434335272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29030] ppid=29020 vsize=9558476 CPUtime=0.06 cores=0,2,4,6 /proc/29023/task/29030/stat : 29030 (java) S 29020 29023 25451 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 18 0 104150103 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094433282728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29031] ppid=29020 vsize=9558476 CPUtime=0.04 cores=0,2,4,6 /proc/29023/task/29031/stat : 29031 (java) S 29020 29023 25451 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 18 0 104150103 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094432230184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29032] ppid=29020 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/29023/task/29032/stat : 29032 (java) S 29020 29023 25451 0 -1 4202560 56 0 0 0 6 1 0 0 20 0 18 0 104150103 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094431177640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29033] ppid=29020 vsize=9558476 CPUtime=0.03 cores=0,2,4,6 /proc/29023/task/29033/stat : 29033 (java) S 29020 29023 25451 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 18 0 104150103 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094430125096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29034] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29034/stat : 29034 (java) S 29020 29023 25451 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104150104 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094417713256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29035] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29035/stat : 29035 (java) S 29020 29023 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104150105 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094416659576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29036] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29036/stat : 29036 (java) S 29020 29023 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104150105 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094415606920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29037] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29037/stat : 29037 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104150107 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094414555664 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29038] ppid=29020 vsize=9558476 CPUtime=0.58 cores=0,2,4,6 /proc/29023/task/29038/stat : 29038 (java) S 29020 29023 25451 0 -1 4202560 9157 0 0 0 56 2 0 0 20 0 18 0 104150107 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094413503032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29039] ppid=29020 vsize=9558476 CPUtime=0.58 cores=0,2,4,6 /proc/29023/task/29039/stat : 29039 (java) S 29020 29023 25451 0 -1 4202560 10386 0 0 0 56 2 0 0 20 0 18 0 104150107 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094412450488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29040] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29040/stat : 29040 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104150107 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094411398136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29041] ppid=29020 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29041/stat : 29041 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104150107 9787879424 115606 33554432000 1073741824 1073778376 140736822916752 140094410345800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.67 Current children cumulated vsize (KiB) 9558476 [startup+6.30076 s] /proc/loadavg: 4.89 4.42 4.21 5/219 29049 /proc/meminfo: memFree=27301972/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9824732 CPUtime=11.23 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 27629 0 1 0 1094 29 0 0 20 0 22 0 104150101 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2456183 168700 2290 9 0 2446860 0 [pid=29023/tid=29025] ppid=29020 vsize=9824732 CPUtime=3.61 cores=0,2,4,6 /proc/29023/task/29025/stat : 29025 (java) S 29020 29023 25451 0 -1 4202560 2671 0 1 0 353 8 0 0 20 0 22 0 104150102 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094593647480 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29026] ppid=29020 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/29023/task/29026/stat : 29026 (java) S 29020 29023 25451 0 -1 4202560 74 0 0 0 14 3 0 0 20 0 22 0 104150103 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094437492904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29027] ppid=29020 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/29023/task/29027/stat : 29027 (java) S 29020 29023 25451 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 22 0 104150103 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094436440360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29028] ppid=29020 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/29023/task/29028/stat : 29028 (java) S 29020 29023 25451 0 -1 4202560 49 0 0 0 8 1 0 0 20 0 22 0 104150103 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094435387816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29029] ppid=29020 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/29023/task/29029/stat : 29029 (java) S 29020 29023 25451 0 -1 4202560 66 0 0 0 9 2 0 0 20 0 22 0 104150103 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094434335272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29030] ppid=29020 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/29023/task/29030/stat : 29030 (java) S 29020 29023 25451 0 -1 4202560 47 0 0 0 8 1 0 0 20 0 22 0 104150103 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094433282728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29031] ppid=29020 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/29023/task/29031/stat : 29031 (java) S 29020 29023 25451 0 -1 4202560 111 0 0 0 6 1 0 0 20 0 22 0 104150103 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094432230184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29032] ppid=29020 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/29023/task/29032/stat : 29032 (java) S 29020 29023 25451 0 -1 4202560 92 0 0 0 15 2 0 0 20 0 22 0 104150103 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094431177640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29033] ppid=29020 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/29023/task/29033/stat : 29033 (java) S 29020 29023 25451 0 -1 4202560 46 0 0 0 6 0 0 0 20 0 22 0 104150103 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094430125096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29034] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29034/stat : 29034 (java) S 29020 29023 25451 0 -1 4202560 482 0 0 0 0 0 0 0 20 0 22 0 104150104 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094417713256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29035] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29035/stat : 29035 (java) S 29020 29023 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104150105 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094416659576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29036] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29036/stat : 29036 (java) S 29020 29023 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104150105 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094415606920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29037] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29037/stat : 29037 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094414555664 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29038] ppid=29020 vsize=9824732 CPUtime=1.07 cores=0,2,4,6 /proc/29023/task/29038/stat : 29038 (java) S 29020 29023 25451 0 -1 4202560 9165 0 0 0 105 2 0 0 20 0 22 0 104150107 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094413503032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29039] ppid=29020 vsize=9824732 CPUtime=1.2 cores=0,2,4,6 /proc/29023/task/29039/stat : 29039 (java) S 29020 29023 25451 0 -1 4202560 13461 0 0 0 117 3 0 0 20 0 22 0 104150107 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094412450488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29040] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29040/stat : 29040 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094411398136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29041] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29041/stat : 29041 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094410345800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29046] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29046/stat : 29046 (java) S 29020 29023 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104150489 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094406132904 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29047] ppid=29020 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/29023/task/29047/stat : 29047 (java) R 29020 29023 25451 0 -1 4202560 5 0 0 0 183 0 0 0 20 0 22 0 104150542 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094408229024 140094467252442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29048] ppid=29020 vsize=9824732 CPUtime=1.86 cores=0,2,4,6 /proc/29023/task/29048/stat : 29048 (java) R 29020 29023 25451 0 -1 4202560 4 0 0 0 186 0 0 0 20 0 22 0 104150542 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094409288584 140094467029349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29049] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29049/stat : 29049 (java) S 29020 29023 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104150542 10060525568 168700 33554432000 1073741824 1073778376 140736822916752 140094407185960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 11.23 ################ # More data... # ################ /proc/29023/task/29028/stat : 29028 (java) S 29020 29023 25451 0 -1 4202560 800 0 0 0 200 26 0 0 20 0 22 0 104150103 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094435387816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29029] ppid=29020 vsize=9824732 CPUtime=1.96 cores=0,2,4,6 /proc/29023/task/29029/stat : 29029 (java) S 29020 29023 25451 0 -1 4202560 706 0 0 0 172 24 0 0 20 0 22 0 104150103 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094434335272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29030] ppid=29020 vsize=9824732 CPUtime=2.33 cores=0,2,4,6 /proc/29023/task/29030/stat : 29030 (java) S 29020 29023 25451 0 -1 4202560 550 0 0 0 203 30 0 0 20 0 22 0 104150103 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094433282728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29031] ppid=29020 vsize=9824732 CPUtime=1.88 cores=0,2,4,6 /proc/29023/task/29031/stat : 29031 (java) S 29020 29023 25451 0 -1 4202560 635 0 0 0 163 25 0 0 20 0 22 0 104150103 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094432230184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29032] ppid=29020 vsize=9824732 CPUtime=2.46 cores=0,2,4,6 /proc/29023/task/29032/stat : 29032 (java) S 29020 29023 25451 0 -1 4202560 952 0 0 0 213 33 0 0 20 0 22 0 104150103 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094431177640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29033] ppid=29020 vsize=9824732 CPUtime=2.1 cores=0,2,4,6 /proc/29023/task/29033/stat : 29033 (java) S 29020 29023 25451 0 -1 4202560 627 0 0 0 181 29 0 0 20 0 22 0 104150103 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094430125096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29034] ppid=29020 vsize=9824732 CPUtime=9.6 cores=0,2,4,6 /proc/29023/task/29034/stat : 29034 (java) S 29020 29023 25451 0 -1 4202560 4369 0 0 0 951 9 0 0 20 0 22 0 104150104 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094417713256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29035] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29035/stat : 29035 (java) S 29020 29023 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104150105 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094416659576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29036] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29036/stat : 29036 (java) S 29020 29023 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104150105 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094415606920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29037] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29037/stat : 29037 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094414555664 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29038] ppid=29020 vsize=9824732 CPUtime=1.39 cores=0,2,4,6 /proc/29023/task/29038/stat : 29038 (java) S 29020 29023 25451 0 -1 4202560 9202 0 0 0 137 2 0 0 20 0 22 0 104150107 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094413503032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29039] ppid=29020 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/29023/task/29039/stat : 29039 (java) S 29020 29023 25451 0 -1 4202560 13469 0 0 0 151 3 0 0 20 0 22 0 104150107 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094412450488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29040] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29040/stat : 29040 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094411398136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29041] ppid=29020 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/29023/task/29041/stat : 29041 (java) S 29020 29023 25451 0 -1 4202560 47 0 0 0 9 10 0 0 20 0 22 0 104150107 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094410345800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29046] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29046/stat : 29046 (java) S 29020 29023 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104150489 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094406132904 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29047] ppid=29020 vsize=9824732 CPUtime=801.83 cores=0,2,4,6 /proc/29023/task/29047/stat : 29047 (java) R 29020 29023 25451 0 -1 4202560 50 0 0 0 80169 14 0 0 20 0 22 0 104150542 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094408229008 140094467252394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29048] ppid=29020 vsize=9824732 CPUtime=801.97 cores=0,2,4,6 /proc/29023/task/29048/stat : 29048 (java) R 29020 29023 25451 0 -1 4202560 1103 0 0 0 80170 27 0 0 20 0 22 0 104150542 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094409288256 140094466509133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29049] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29049/stat : 29049 (java) S 29020 29023 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104150542 10060525568 1060520 33554432000 1073741824 1073778376 140736822916752 140094407185960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1642.31 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.04 4.09 4.12 5/219 29145 /proc/meminfo: memFree=24173372/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9824732 CPUtime=1759.33 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 39486 0 1 0 175618 315 0 0 20 0 22 0 104150101 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2456183 1185406 2301 9 0 2446860 0 [pid=29023/tid=29025] ppid=29020 vsize=9824732 CPUtime=3.64 cores=0,2,4,6 /proc/29023/task/29025/stat : 29025 (java) S 29020 29023 25451 0 -1 4202560 2678 0 1 0 355 9 0 0 20 0 22 0 104150102 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094593647480 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29026] ppid=29020 vsize=9824732 CPUtime=2.76 cores=0,2,4,6 /proc/29023/task/29026/stat : 29026 (java) S 29020 29023 25451 0 -1 4202560 722 0 0 0 239 37 0 0 20 0 22 0 104150103 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094437492904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29027] ppid=29020 vsize=9824732 CPUtime=2.37 cores=0,2,4,6 /proc/29023/task/29027/stat : 29027 (java) S 29020 29023 25451 0 -1 4202560 762 0 0 0 207 30 0 0 20 0 22 0 104150103 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094436440360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29028] ppid=29020 vsize=9824732 CPUtime=2.68 cores=0,2,4,6 /proc/29023/task/29028/stat : 29028 (java) S 29020 29023 25451 0 -1 4202560 893 0 0 0 236 32 0 0 20 0 22 0 104150103 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094435387816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29029] ppid=29020 vsize=9824732 CPUtime=2.14 cores=0,2,4,6 /proc/29023/task/29029/stat : 29029 (java) S 29020 29023 25451 0 -1 4202560 749 0 0 0 188 26 0 0 20 0 22 0 104150103 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094434335272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29030] ppid=29020 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/29023/task/29030/stat : 29030 (java) S 29020 29023 25451 0 -1 4202560 602 0 0 0 226 33 0 0 20 0 22 0 104150103 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094433282728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29031] ppid=29020 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/29023/task/29031/stat : 29031 (java) S 29020 29023 25451 0 -1 4202560 727 0 0 0 192 31 0 0 20 0 22 0 104150103 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094432230184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29032] ppid=29020 vsize=9824732 CPUtime=2.78 cores=0,2,4,6 /proc/29023/task/29032/stat : 29032 (java) S 29020 29023 25451 0 -1 4202560 1049 0 0 0 240 38 0 0 20 0 22 0 104150103 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094431177640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29033] ppid=29020 vsize=9824732 CPUtime=2.43 cores=0,2,4,6 /proc/29023/task/29033/stat : 29033 (java) S 29020 29023 25451 0 -1 4202560 710 0 0 0 209 34 0 0 20 0 22 0 104150103 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094430125096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29034] ppid=29020 vsize=9824732 CPUtime=13.83 cores=0,2,4,6 /proc/29023/task/29034/stat : 29034 (java) S 29020 29023 25451 0 -1 4202560 5405 0 0 0 1372 11 0 0 20 0 22 0 104150104 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094417713256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29035] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29035/stat : 29035 (java) S 29020 29023 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104150105 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094416659576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29036] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29036/stat : 29036 (java) S 29020 29023 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104150105 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094415606920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29037] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29037/stat : 29037 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094414555664 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29038] ppid=29020 vsize=9824732 CPUtime=1.39 cores=0,2,4,6 /proc/29023/task/29038/stat : 29038 (java) S 29020 29023 25451 0 -1 4202560 9202 0 0 0 137 2 0 0 20 0 22 0 104150107 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094413503032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29039] ppid=29020 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/29023/task/29039/stat : 29039 (java) S 29020 29023 25451 0 -1 4202560 13470 0 0 0 151 3 0 0 20 0 22 0 104150107 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094412450488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29040] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29040/stat : 29040 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094411398136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29041] ppid=29020 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/29023/task/29041/stat : 29041 (java) S 29020 29023 25451 0 -1 4202560 51 0 0 0 9 11 0 0 20 0 22 0 104150107 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094410345800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29046] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29046/stat : 29046 (java) S 29020 29023 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104150489 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094406132904 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29047] ppid=29020 vsize=9824732 CPUtime=856.82 cores=0,2,4,6 /proc/29023/task/29047/stat : 29047 (java) R 29020 29023 25451 0 -1 4202560 50 0 0 0 85667 15 0 0 20 0 22 0 104150542 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094408229008 140094467039851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29048] ppid=29020 vsize=9824732 CPUtime=856.95 cores=0,2,4,6 /proc/29023/task/29048/stat : 29048 (java) R 29020 29023 25451 0 -1 4202560 1103 0 0 0 85667 28 0 0 20 0 22 0 104150542 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094409290488 140094466962567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29049] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29049/stat : 29049 (java) S 29020 29023 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104150542 10060525568 1185406 33554432000 1073741824 1073778376 140736822916752 140094407185960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1759.33 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.201 s] /proc/loadavg: 3.96 4.07 4.11 5/219 29146 /proc/meminfo: memFree=23703452/32872528 swapFree=11252/530428 [pid=29023] ppid=29020 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6 /proc/29023/stat : 29023 (java) S 29020 29023 25451 0 -1 4202496 39499 0 1 0 179689 316 0 0 20 0 22 0 104150101 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140736822907888 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29023/statm: 2456183 1185416 2301 9 0 2446860 0 [pid=29023/tid=29025] ppid=29020 vsize=9824732 CPUtime=3.64 cores=0,2,4,6 /proc/29023/task/29025/stat : 29025 (java) S 29020 29023 25451 0 -1 4202560 2678 0 1 0 355 9 0 0 20 0 22 0 104150102 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094593647480 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29026] ppid=29020 vsize=9824732 CPUtime=2.93 cores=0,2,4,6 /proc/29023/task/29026/stat : 29026 (java) S 29020 29023 25451 0 -1 4202560 724 0 0 0 256 37 0 0 20 0 22 0 104150103 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094437492904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29027] ppid=29020 vsize=9824732 CPUtime=2.56 cores=0,2,4,6 /proc/29023/task/29027/stat : 29027 (java) S 29020 29023 25451 0 -1 4202560 762 0 0 0 226 30 0 0 20 0 22 0 104150103 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094436440360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29028] ppid=29020 vsize=9824732 CPUtime=2.92 cores=0,2,4,6 /proc/29023/task/29028/stat : 29028 (java) S 29020 29023 25451 0 -1 4202560 893 0 0 0 260 32 0 0 20 0 22 0 104150103 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094435387816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29029] ppid=29020 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/29023/task/29029/stat : 29029 (java) S 29020 29023 25451 0 -1 4202560 753 0 0 0 212 26 0 0 20 0 22 0 104150103 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094434335272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29030] ppid=29020 vsize=9824732 CPUtime=2.77 cores=0,2,4,6 /proc/29023/task/29030/stat : 29030 (java) S 29020 29023 25451 0 -1 4202560 602 0 0 0 244 33 0 0 20 0 22 0 104150103 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094433282728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29031] ppid=29020 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/29023/task/29031/stat : 29031 (java) S 29020 29023 25451 0 -1 4202560 731 0 0 0 233 31 0 0 20 0 22 0 104150103 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094432230184 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29032] ppid=29020 vsize=9824732 CPUtime=3.01 cores=0,2,4,6 /proc/29023/task/29032/stat : 29032 (java) S 29020 29023 25451 0 -1 4202560 1049 0 0 0 263 38 0 0 20 0 22 0 104150103 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094431177640 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29033] ppid=29020 vsize=9824732 CPUtime=2.67 cores=0,2,4,6 /proc/29023/task/29033/stat : 29033 (java) S 29020 29023 25451 0 -1 4202560 710 0 0 0 232 35 0 0 20 0 22 0 104150103 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094430125096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29034] ppid=29020 vsize=9824732 CPUtime=13.83 cores=0,2,4,6 /proc/29023/task/29034/stat : 29034 (java) S 29020 29023 25451 0 -1 4202560 5405 0 0 0 1372 11 0 0 20 0 22 0 104150104 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094417713256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29035] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29035/stat : 29035 (java) S 29020 29023 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104150105 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094416659576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29036] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29036/stat : 29036 (java) S 29020 29023 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104150105 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094415606920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29037] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29037/stat : 29037 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094414555664 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29038] ppid=29020 vsize=9824732 CPUtime=1.39 cores=0,2,4,6 /proc/29023/task/29038/stat : 29038 (java) S 29020 29023 25451 0 -1 4202560 9202 0 0 0 137 2 0 0 20 0 22 0 104150107 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094413503032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29023/tid=29039] ppid=29020 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/29023/task/29039/stat : 29039 (java) S 29020 29023 25451 0 -1 4202560 13470 0 0 0 151 3 0 0 20 0 22 0 104150107 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094412450488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29023/tid=29040] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29040/stat : 29040 (java) S 29020 29023 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104150107 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094411398136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29041] ppid=29020 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/29023/task/29041/stat : 29041 (java) S 29020 29023 25451 0 -1 4202560 53 0 0 0 10 11 0 0 20 0 22 0 104150107 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094410345800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29046] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29046/stat : 29046 (java) S 29020 29023 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104150489 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094406132904 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29047] ppid=29020 vsize=9824732 CPUtime=876.19 cores=0,2,4,6 /proc/29023/task/29047/stat : 29047 (java) R 29020 29023 25451 0 -1 4202560 50 0 0 0 87604 15 0 0 20 0 22 0 104150542 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094408235872 140094466891120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29023/tid=29048] ppid=29020 vsize=9824732 CPUtime=876.31 cores=0,2,4,6 /proc/29023/task/29048/stat : 29048 (java) R 29020 29023 25451 0 -1 4202560 1104 0 0 0 87602 29 0 0 20 0 22 0 104150542 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094409289152 140094466962567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29023/tid=29049] ppid=29020 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29023/task/29049/stat : 29049 (java) S 29020 29023 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104150542 10060525568 1185416 33554432000 1073741824 1073778376 140736822916752 140094407185960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9824732 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 29023 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29023 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=429509 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=612450 # CPU time returned by wait4() is 1796.04 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 902.286 CPU time (s): 1800.05 CPU user time (s): 1796.89 CPU system time (s): 3.16 CPU usage (%): 199.499 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.43 system time used= 3.61245 maximum resident set size= 4741776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39538 page faults= 1 swaps= 0 block input operations= 0 block output operations= 792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22024 involuntary context switches= 22019 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.29304 second user time and 6.36403 second system time The end
Begin job on node141 at 2016-06-06 16:09:43 IDJOB=4081223 IDBENCH=1963 IDSOLVER=2543 FILE ID=node141/4081223-1465222183 RUNJOBID= node141-1465216745-25467 PBS_JOBID= 19843201 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081223-1465222183/watcher-4081223-1465222183 -o /tmp/evaluation-result-4081223-1465222183/solver-4081223-1465222183 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25467 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081223-1465222183.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED=1687410494 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 2666.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 2666.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27971972 kB Buffers: 9496 kB Cached: 63464 kB SwapCached: 1788 kB Active: 3627444 kB Inactive: 36132 kB Active(anon): 3590740 kB Inactive(anon): 2404 kB Active(file): 36704 kB Inactive(file): 33728 kB Unevictable: 530428 kB Mlocked: 11252 kB SwapTotal: 67108856 kB SwapFree: 67098100 kB Dirty: 17568 kB Writeback: 0 kB AnonPages: 4121032 kB Mapped: 15388 kB Shmem: 0 kB Slab: 567372 kB SReclaimable: 10432 kB SUnreclaim: 556940 kB KernelStack: 1600 kB PageTables: 12400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4694468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4061184 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= 71712 MiB End job on node141 at 2016-06-06 16:24:46