Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 883 | 1800.06 | 902.085 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb |
| MD5SUM | 13c1b3915f4d316b882a7e551b1f0496 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 332 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 502 |
| 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 | 498884 |
| 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 | 498884 |
| 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@5d764be1 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@9f436f5 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@4413ee 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@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081226-1465222776.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 5.44/3.61 c ... done. Wall clock time 3.49s. 5.44/3.61 c declared #vars 10000 5.44/3.61 c #constraints 656900 5.44/3.61 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 5.44/3.61 c constraints type 5.44/3.61 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.44/3.61 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.44/3.61 c 656900 constraints processed. 5.44/3.61 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 5.44/3.61 c constraints type 5.44/3.61 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.44/3.61 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.44/3.61 c 656900 constraints processed. 5.44/3.61 c objective function length is 10000 literals 6.47/3.91 c And the winner is solver0 6.57/4.12 c SATISFIABLE 6.57/4.12 c OPTIMIZING... 6.57/4.12 c Got one! Elapsed wall clock time (in seconds):4.004 6.57/4.12 o 1331 7.13/4.30 c And the winner is solver0 7.28/4.68 c Got one! Elapsed wall clock time (in seconds):4.562 7.28/4.68 o 1235 7.32/4.79 c And the winner is solver0 7.64/5.22 c Got one! Elapsed wall clock time (in seconds):5.104 7.64/5.22 o 1197 7.81/5.31 c And the winner is solver0 7.98/5.75 c Got one! Elapsed wall clock time (in seconds):5.631 7.98/5.75 o 987 10.76/7.15 c cleaning 2759 clauses out of 5543 with flag 15632/5543 12.38/8.00 c And the winner is solver0 12.75/8.27 c Got one! Elapsed wall clock time (in seconds):8.155 12.75/8.27 o 984 12.78/8.32 c And the winner is solver0 12.93/8.80 c Got one! Elapsed wall clock time (in seconds):8.678 12.93/8.80 o 883 14.93/9.82 c cleaning 4058 clauses out of 8130 with flag 5058/10889 19.74/12.28 c cleaning 5031 clauses out of 10072 with flag 18921/16889 25.74/15.24 c cleaning 6020 clauses out of 12040 with flag 37102/23888 32.61/18.64 c cleaning 7007 clauses out of 14021 with flag 65494/31889 39.87/22.23 c cleaning 8005 clauses out of 16013 with flag 97167/40888 48.54/26.45 c cleaning 8999 clauses out of 18008 with flag 134384/50888 58.72/31.54 c cleaning 9999 clauses out of 20010 with flag 167647/61889 68.91/36.68 c cleaning 10998 clauses out of 22010 with flag 206566/73888 79.33/41.87 c cleaning 12004 clauses out of 24012 with flag 248859/86888 90.93/47.68 c cleaning 12992 clauses out of 26008 with flag 295970/100888 103.55/54.00 c cleaning 13998 clauses out of 28016 with flag 346227/115888 117.35/60.82 c cleaning 15002 clauses out of 30018 with flag 399591/131888 131.35/67.84 c cleaning 16001 clauses out of 32018 with flag 457359/148890 146.54/75.43 c cleaning 17000 clauses out of 34016 with flag 512971/166889 162.75/83.55 c cleaning 18000 clauses out of 36015 with flag 573960/185888 179.75/92.08 c cleaning 19003 clauses out of 38015 with flag 639476/205888 197.96/101.12 c cleaning 20004 clauses out of 40012 with flag 710690/226888 218.47/111.07 c cleaning 21004 clauses out of 42010 with flag 793612/248890 237.86/120.77 c cleaning 21999 clauses out of 44005 with flag 874356/271889 257.89/130.73 c cleaning 23001 clauses out of 46006 with flag 963643/295889 279.28/141.44 c cleaning 23995 clauses out of 48004 with flag 1047050/320888 300.89/152.26 c cleaning 24997 clauses out of 50010 with flag 1139009/346889 323.71/163.61 c cleaning 26004 clauses out of 52012 with flag 1230330/373888 348.51/176.04 c cleaning 27002 clauses out of 54008 with flag 1330002/401888 374.51/189.10 c cleaning 27986 clauses out of 56007 with flag 1431763/430889 402.30/202.95 c cleaning 29004 clauses out of 58020 with flag 1541353/460888 429.30/216.43 c cleaning 29999 clauses out of 60016 with flag 1654286/491888 457.09/230.30 c cleaning 31000 clauses out of 62017 with flag 1765380/523888 485.10/244.37 c cleaning 31999 clauses out of 64019 with flag 1877934/556890 515.24/259.28 c cleaning 33002 clauses out of 66018 with flag 1992605/590888 546.65/274.98 c cleaning 33998 clauses out of 68016 with flag 2114062/625888 579.24/291.23 c cleaning 34997 clauses out of 70020 with flag 2244045/661890 612.23/307.78 c cleaning 35997 clauses out of 72021 with flag 2379913/698888 647.63/325.48 c cleaning 37012 clauses out of 74024 with flag 2515235/736888 682.85/343.02 c cleaning 37991 clauses out of 76012 with flag 2649952/775888 718.66/360.99 c cleaning 38994 clauses out of 78021 with flag 2793697/815888 754.84/379.02 c cleaning 40002 clauses out of 80028 with flag 2933856/856889 792.83/398.00 c cleaning 41013 clauses out of 82025 with flag 3086418/898888 831.23/417.22 c cleaning 41979 clauses out of 84012 with flag 3244201/941888 871.63/437.40 c cleaning 43011 clauses out of 86034 with flag 3411414/985889 914.02/458.65 c cleaning 44001 clauses out of 88022 with flag 3579296/1030888 958.02/480.69 c cleaning 44997 clauses out of 90021 with flag 3767091/1076888 1004.21/503.72 c cleaning 46011 clauses out of 92025 with flag 3927813/1123889 1057.46/530.71 c cleaning 47007 clauses out of 94014 with flag 4103529/1171889 1107.26/555.68 c cleaning 47982 clauses out of 96007 with flag 4287500/1220889 1157.25/580.70 c cleaning 48998 clauses out of 98024 with flag 4461707/1270888 1207.24/605.68 c cleaning 49991 clauses out of 100026 with flag 4652683/1321888 1257.24/630.68 c cleaning 51007 clauses out of 102036 with flag 4844724/1373889 1310.03/657.09 c cleaning 52014 clauses out of 104028 with flag 5036957/1426888 1368.51/686.07 c cleaning 53005 clauses out of 106014 with flag 5239406/1480888 1423.30/713.42 c cleaning 53992 clauses out of 108009 with flag 5446065/1535888 1482.52/743.68 c cleaning 55007 clauses out of 110018 with flag 5666737/1591889 1540.92/772.80 c cleaning 56000 clauses out of 112011 with flag 5878119/1648889 1598.71/801.71 c cleaning 57004 clauses out of 114011 with flag 6109156/1706889 1656.71/830.79 c cleaning 57999 clauses out of 116007 with flag 6338270/1765889 1718.45/861.25 c cleaning 58995 clauses out of 118008 with flag 6560207/1825889 1780.85/892.41 c cleaning 60001 clauses out of 120012 with flag 6800799/1886888 1800.06/902.01 c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<< 1800.06/902.01 c starts : 17 1800.06/902.01 c conflicts : 1906048 1800.06/902.01 c decisions : 5153305 1800.06/902.01 c propagations : 397349754 1800.06/902.01 c inspects : 1794932677 1800.06/902.01 c shortcuts : 0 1800.06/902.01 c learnt literals : 0 1800.06/902.01 c learnt binary clauses : 0 1800.06/902.01 c learnt ternary clauses : 0 1800.06/902.01 c learnt constraints : 1906047 1800.06/902.01 c ignored constraints : 0 1800.06/902.01 c root simplifications : 0 1800.06/902.01 c removed literals (reason simplification) : 243695267 1800.06/902.01 c reason swapping (by a shorter reason) : 0 1800.06/902.01 c Calls to reduceDB : 58 1800.06/902.01 c Number of update (reduction) of LBD : 653934 1800.06/902.01 c Imported unit clauses : 0 1800.06/902.01 c number of reductions to clauses (during analyze) : 0 1800.06/902.01 c number of learned constraints concerned by reduction : 0 1800.06/902.01 c number of learning phase by resolution : 0 1800.06/902.01 c number of learning phase by cutting planes : 0 1800.06/902.01 c speed (assignments/second) : 442306.19830156985 1800.06/902.01 c non guided choices 812 1800.06/902.03 c learnt constraints type 1800.06/902.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 79171 1800.06/902.03 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.06/902.03 c starts : 12 1800.06/902.03 c conflicts : 740 1800.06/902.03 c decisions : 131597 1800.06/902.03 c propagations : 791923 1800.06/902.03 c inspects : 10428384 1800.06/902.03 c shortcuts : 0 1800.06/902.03 c learnt literals : 0 1800.06/902.03 c learnt binary clauses : 0 1800.06/902.03 c learnt ternary clauses : 0 1800.06/902.03 c learnt constraints : 739 1800.06/902.03 c ignored constraints : 0 1800.06/902.03 c root simplifications : 0 1800.06/902.03 c removed literals (reason simplification) : 0 1800.06/902.03 c reason swapping (by a shorter reason) : 0 1800.06/902.03 c Calls to reduceDB : 0 1800.06/902.03 c Number of update (reduction) of LBD : 0 1800.06/902.03 c Imported unit clauses : 0 1800.06/902.03 c number of reductions to clauses (during analyze) : 0 1800.06/902.03 c number of learned constraints concerned by reduction : 0 1800.06/902.03 c number of learning phase by resolution : 0 1800.06/902.03 c number of learning phase by cutting planes : 0 1800.06/902.03 c speed (assignments/second) : 886.6013891438987 1800.06/902.03 c non guided choices 0 1800.06/902.03 c learnt constraints type 1800.06/902.03 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 157 1800.06/902.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 582 1800.06/902.03 s SATISFIABLE 1800.06/902.03 c Found 6 solution(s) 1800.06/902.04 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.06/902.06 c objective function=883 1800.06/902.06 c Total wall clock time (in seconds): 901.937
OK 883
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-4081226-1465222776/watcher-4081226-1465222776 -o /tmp/evaluation-result-4081226-1465222776/solver-4081226-1465222776 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32163 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081226-1465222776.opb pid=4492 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.64 4.35 4.25 4/197 4495 /proc/meminfo: memFree=27457732/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/4495/stat : 4495 (java) D 4492 4495 32147 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 104212248 9515008 184 33554432000 1073741824 1073778376 140735937972656 140735937963880 219513777591 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/4495/statm: 2323 184 142 9 0 71 0 [startup+0.10014 s] /proc/loadavg: 4.64 4.35 4.25 4/197 4495 /proc/meminfo: memFree=27457732/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 104212248 9787879424 6045 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2389619 6045 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 4.64 4.35 4.25 4/197 4495 /proc/meminfo: memFree=27457732/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 5022 0 1 0 27 1 0 0 20 0 18 0 104212248 9787879424 7003 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2389619 7003 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300221 s] /proc/loadavg: 4.64 4.35 4.25 4/197 4495 /proc/meminfo: memFree=27457732/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9558476 CPUtime=0.47 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 5419 0 1 0 45 2 0 0 20 0 18 0 104212248 9787879424 9200 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2389619 9200 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700183 s] /proc/loadavg: 4.64 4.35 4.25 4/197 4495 /proc/meminfo: memFree=27457732/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9559084 CPUtime=1.59 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 23278 0 1 0 154 5 0 0 20 0 18 0 104212248 9788502016 35036 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2389771 35036 2244 9 0 2380448 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9559084 [startup+1.50082 s] /proc/loadavg: 4.43 4.31 4.24 4/215 4513 /proc/meminfo: memFree=27262152/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9558476 CPUtime=2.8 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 23885 0 1 0 270 10 0 0 20 0 18 0 104212248 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2389619 63256 2262 9 0 2380296 0 [pid=4495/tid=4497] ppid=4492 vsize=9558476 CPUtime=1.41 cores=0,2,4,6 /proc/4495/task/4497/stat : 4497 (java) R 4492 4495 32147 0 -1 4202560 2496 0 1 0 137 4 0 0 20 0 18 0 104212249 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138375184336 140138223745274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4498] ppid=4492 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/4495/task/4498/stat : 4498 (java) S 4492 4495 32147 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 104212251 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138347645096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4499] ppid=4492 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/4495/task/4499/stat : 4499 (java) S 4492 4495 32147 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 18 0 104212251 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138346592552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4500] ppid=4492 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/4495/task/4500/stat : 4500 (java) S 4492 4495 32147 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 104212251 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138345540008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4501] ppid=4492 vsize=9558476 CPUtime=0.02 cores=0,2,4,6 /proc/4495/task/4501/stat : 4501 (java) S 4492 4495 32147 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 104212251 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138344487464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4502] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4502/stat : 4502 (java) S 4492 4495 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 104212251 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138343434920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4503] ppid=4492 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/4495/task/4503/stat : 4503 (java) S 4492 4495 32147 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 104212251 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138342382376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4504] ppid=4492 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/4495/task/4504/stat : 4504 (java) S 4492 4495 32147 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 104212251 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138212010920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4505] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4505/stat : 4505 (java) S 4492 4495 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104212251 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140138210958376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4506] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4506/stat : 4506 (java) S 4492 4495 32147 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104212252 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140137728010344 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4507] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4507/stat : 4507 (java) S 4492 4495 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104212252 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140137726956664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4508] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4508/stat : 4508 (java) S 4492 4495 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104212252 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140137725904008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4509] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4509/stat : 4509 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104212255 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140137724852752 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4510] ppid=4492 vsize=9558476 CPUtime=0.59 cores=0,2,4,6 /proc/4495/task/4510/stat : 4510 (java) S 4492 4495 32147 0 -1 4202560 9076 0 0 0 58 1 0 0 20 0 18 0 104212255 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140137723800120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4511] ppid=4492 vsize=9558476 CPUtime=0.56 cores=0,2,4,6 /proc/4495/task/4511/stat : 4511 (java) S 4492 4495 32147 0 -1 4202560 10906 0 0 0 54 2 0 0 20 0 18 0 104212255 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140137722747576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4512] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4512/stat : 4512 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104212255 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140137721695224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4513] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4513/stat : 4513 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104212255 9787879424 63256 33554432000 1073741824 1073778376 140734534497056 140137720642888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.8 Current children cumulated vsize (KiB) 9558476 [startup+3.10085 s] /proc/loadavg: 4.43 4.31 4.24 9/215 4513 /proc/meminfo: memFree=27086956/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9558476 CPUtime=4.67 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 24356 0 1 0 447 20 0 0 20 0 18 0 104212248 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2389619 137233 2262 9 0 2380296 0 [pid=4495/tid=4497] ppid=4492 vsize=9558476 CPUtime=2.9 cores=0,2,4,6 /proc/4495/task/4497/stat : 4497 (java) R 4492 4495 32147 0 -1 4202560 2611 0 1 0 283 7 0 0 20 0 18 0 104212249 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138375191936 140138223515625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4498] ppid=4492 vsize=9558476 CPUtime=0.04 cores=0,2,4,6 /proc/4495/task/4498/stat : 4498 (java) S 4492 4495 32147 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 18 0 104212251 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138347645096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4499] ppid=4492 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/4495/task/4499/stat : 4499 (java) S 4492 4495 32147 0 -1 4202560 74 0 0 0 8 2 0 0 20 0 18 0 104212251 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138346592552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4500] ppid=4492 vsize=9558476 CPUtime=0.05 cores=0,2,4,6 /proc/4495/task/4500/stat : 4500 (java) S 4492 4495 32147 0 -1 4202560 38 0 0 0 4 1 0 0 20 0 18 0 104212251 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138345540008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4501] ppid=4492 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/4495/task/4501/stat : 4501 (java) S 4492 4495 32147 0 -1 4202560 43 0 0 0 6 1 0 0 20 0 18 0 104212251 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138344487464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4502] ppid=4492 vsize=9558476 CPUtime=0.04 cores=0,2,4,6 /proc/4495/task/4502/stat : 4502 (java) S 4492 4495 32147 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 18 0 104212251 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138343434920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4503] ppid=4492 vsize=9558476 CPUtime=0.05 cores=0,2,4,6 /proc/4495/task/4503/stat : 4503 (java) S 4492 4495 32147 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 18 0 104212251 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138342382376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4504] ppid=4492 vsize=9558476 CPUtime=0.04 cores=0,2,4,6 /proc/4495/task/4504/stat : 4504 (java) S 4492 4495 32147 0 -1 4202560 45 0 0 0 4 0 0 0 20 0 18 0 104212251 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138212010920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4505] ppid=4492 vsize=9558476 CPUtime=0.05 cores=0,2,4,6 /proc/4495/task/4505/stat : 4505 (java) S 4492 4495 32147 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 18 0 104212251 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140138210958376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4506] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4506/stat : 4506 (java) S 4492 4495 32147 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104212252 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140137728010344 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4507] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4507/stat : 4507 (java) S 4492 4495 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104212252 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140137726956664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4508] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4508/stat : 4508 (java) S 4492 4495 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104212252 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140137725904008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4509] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4509/stat : 4509 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104212255 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140137724852752 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4510] ppid=4492 vsize=9558476 CPUtime=0.59 cores=0,2,4,6 /proc/4495/task/4510/stat : 4510 (java) S 4492 4495 32147 0 -1 4202560 9076 0 0 0 58 1 0 0 20 0 18 0 104212255 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140137723800120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4511] ppid=4492 vsize=9558476 CPUtime=0.56 cores=0,2,4,6 /proc/4495/task/4511/stat : 4511 (java) S 4492 4495 32147 0 -1 4202560 10906 0 0 0 54 2 0 0 20 0 18 0 104212255 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140137722747576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4512] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4512/stat : 4512 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104212255 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140137721695224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4513] ppid=4492 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4513/stat : 4513 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104212255 9787879424 137233 33554432000 1073741824 1073778376 140734534497056 140137720642888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 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.43 4.31 4.24 3/216 4526 /proc/meminfo: memFree=26789348/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9824732 CPUtime=9.16 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 28026 0 1 0 881 35 0 0 20 0 22 0 104212248 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2456183 168582 2288 9 0 2446860 0 [pid=4495/tid=4497] ppid=4492 vsize=9824732 CPUtime=3.48 cores=0,2,4,6 /proc/4495/task/4497/stat : 4497 (java) S 4492 4495 32147 0 -1 4202560 2673 0 1 0 340 8 0 0 20 0 22 0 104212249 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138375193464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4498] ppid=4492 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/4495/task/4498/stat : 4498 (java) S 4492 4495 32147 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 22 0 104212251 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138347645096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4499] ppid=4492 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/4495/task/4499/stat : 4499 (java) S 4492 4495 32147 0 -1 4202560 109 0 0 0 14 3 0 0 20 0 22 0 104212251 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138346592552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4500] ppid=4492 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/4495/task/4500/stat : 4500 (java) S 4492 4495 32147 0 -1 4202560 50 0 0 0 8 2 0 0 20 0 22 0 104212251 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138345540008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4501] ppid=4492 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/4495/task/4501/stat : 4501 (java) S 4492 4495 32147 0 -1 4202560 49 0 0 0 8 2 0 0 20 0 22 0 104212251 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138344487464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4502] ppid=4492 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/4495/task/4502/stat : 4502 (java) S 4492 4495 32147 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 22 0 104212251 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138343434920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4503] ppid=4492 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/4495/task/4503/stat : 4503 (java) S 4492 4495 32147 0 -1 4202560 44 0 0 0 8 1 0 0 20 0 22 0 104212251 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138342382376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4504] ppid=4492 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/4495/task/4504/stat : 4504 (java) S 4492 4495 32147 0 -1 4202560 208 0 0 0 7 2 0 0 20 0 22 0 104212251 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138212010920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4505] ppid=4492 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/4495/task/4505/stat : 4505 (java) S 4492 4495 32147 0 -1 4202560 43 0 0 0 7 2 0 0 20 0 22 0 104212251 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140138210958376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4506] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4506/stat : 4506 (java) S 4492 4495 32147 0 -1 4202560 482 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137728010344 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4507] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4507/stat : 4507 (java) S 4492 4495 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137726956664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4508] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4508/stat : 4508 (java) S 4492 4495 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137725904008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4509] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4509/stat : 4509 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137724852752 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4510] ppid=4492 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/4495/task/4510/stat : 4510 (java) S 4492 4495 32147 0 -1 4202560 9157 0 0 0 116 2 0 0 20 0 22 0 104212255 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137723800120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4511] ppid=4492 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/4495/task/4511/stat : 4511 (java) S 4492 4495 32147 0 -1 4202560 13772 0 0 0 116 3 0 0 20 0 22 0 104212255 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137722747576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4512] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4512/stat : 4512 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137721695224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4513] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4513/stat : 4513 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137720642888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4516] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4516/stat : 4516 (java) S 4492 4495 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104212614 10060525568 168582 33554432000 1073741824 1073778376 140734534497056 140137717482536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 9.16 Current children cumulated vsize (KiB) 9824732 [startup+12.7009 s] /proc/loadavg: 4.28 4.28 4.23 5/218 4535 /proc/meminfo: memFree=26324356/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9824732 CPUtime=20.73 cores=0,2,4,6 ################ # More data... # ################ [pid=4495/tid=4501] ppid=4492 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/4495/task/4501/stat : 4501 (java) S 4492 4495 32147 0 -1 4202560 314 0 0 0 60 13 0 0 20 0 22 0 104212251 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140138344487464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4502] ppid=4492 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/4495/task/4502/stat : 4502 (java) S 4492 4495 32147 0 -1 4202560 336 0 0 0 59 16 0 0 20 0 22 0 104212251 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140138343434920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4503] ppid=4492 vsize=9824732 CPUtime=0.97 cores=0,2,4,6 /proc/4495/task/4503/stat : 4503 (java) S 4492 4495 32147 0 -1 4202560 427 0 0 0 77 20 0 0 20 0 22 0 104212251 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140138342382376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4504] ppid=4492 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/4495/task/4504/stat : 4504 (java) S 4492 4495 32147 0 -1 4202560 536 0 0 0 84 20 0 0 20 0 22 0 104212251 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140138212010920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4505] ppid=4492 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/4495/task/4505/stat : 4505 (java) S 4492 4495 32147 0 -1 4202560 341 0 0 0 58 15 0 0 20 0 22 0 104212251 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140138210958376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4506] ppid=4492 vsize=9824732 CPUtime=3.09 cores=0,2,4,6 /proc/4495/task/4506/stat : 4506 (java) S 4492 4495 32147 0 -1 4202560 1542 0 0 0 303 6 0 0 20 0 22 0 104212252 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137728010344 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4507] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4507/stat : 4507 (java) S 4492 4495 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137726956664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4508] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4508/stat : 4508 (java) S 4492 4495 32147 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137725904008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4509] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4509/stat : 4509 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137724852752 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4510] ppid=4492 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/4495/task/4510/stat : 4510 (java) S 4492 4495 32147 0 -1 4202560 9189 0 0 0 142 2 0 0 20 0 22 0 104212255 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137723800120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4511] ppid=4492 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/4495/task/4511/stat : 4511 (java) S 4492 4495 32147 0 -1 4202560 13794 0 0 0 158 3 0 0 20 0 22 0 104212255 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137722747576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4512] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4512/stat : 4512 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137721695224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4513] ppid=4492 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/4495/task/4513/stat : 4513 (java) S 4492 4495 32147 0 -1 4202560 47 0 0 0 8 8 0 0 20 0 22 0 104212255 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137720642888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4516] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4516/stat : 4516 (java) S 4492 4495 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104212614 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137717482536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4533] ppid=4492 vsize=9824732 CPUtime=806.77 cores=0,2,4,6 /proc/4495/task/4533/stat : 4533 (java) R 4492 4495 32147 0 -1 4202560 106 0 0 0 80662 15 0 0 20 0 22 0 104213131 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137719578640 140138223534815 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4534] ppid=4492 vsize=9824732 CPUtime=806.7 cores=0,2,4,6 /proc/4495/task/4534/stat : 4534 (java) R 4492 4495 32147 0 -1 4202560 1485 0 0 0 80640 30 0 0 20 0 22 0 104213131 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137716428240 140138224116065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4535] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4535/stat : 4535 (java) S 4492 4495 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104213131 10060525568 801633 33554432000 1073741824 1073778376 140734534497056 140137718535592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1639.91 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.22 4.19 4.18 6/219 4699 /proc/meminfo: memFree=23259584/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9824732 CPUtime=1760.66 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 33420 0 1 0 175866 200 0 0 20 0 22 0 104212248 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2456183 832881 2301 9 0 2446860 0 [pid=4495/tid=4497] ppid=4492 vsize=9824732 CPUtime=3.56 cores=0,2,4,6 /proc/4495/task/4497/stat : 4497 (java) S 4492 4495 32147 0 -1 4202560 2683 0 1 0 346 10 0 0 20 0 22 0 104212249 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138375193464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4498] ppid=4492 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/4495/task/4498/stat : 4498 (java) S 4492 4495 32147 0 -1 4202560 393 0 0 0 73 20 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138347645096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4499] ppid=4492 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/4495/task/4499/stat : 4499 (java) S 4492 4495 32147 0 -1 4202560 395 0 0 0 77 16 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138346592552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4500] ppid=4492 vsize=9824732 CPUtime=0.94 cores=0,2,4,6 /proc/4495/task/4500/stat : 4500 (java) S 4492 4495 32147 0 -1 4202560 327 0 0 0 78 16 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138345540008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4501] ppid=4492 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/4495/task/4501/stat : 4501 (java) S 4492 4495 32147 0 -1 4202560 345 0 0 0 79 14 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138344487464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4502] ppid=4492 vsize=9824732 CPUtime=0.91 cores=0,2,4,6 /proc/4495/task/4502/stat : 4502 (java) S 4492 4495 32147 0 -1 4202560 367 0 0 0 73 18 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138343434920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4503] ppid=4492 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/4495/task/4503/stat : 4503 (java) S 4492 4495 32147 0 -1 4202560 445 0 0 0 95 21 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138342382376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4504] ppid=4492 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/4495/task/4504/stat : 4504 (java) S 4492 4495 32147 0 -1 4202560 554 0 0 0 99 20 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138212010920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4505] ppid=4492 vsize=9824732 CPUtime=0.94 cores=0,2,4,6 /proc/4495/task/4505/stat : 4505 (java) S 4492 4495 32147 0 -1 4202560 368 0 0 0 77 17 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138210958376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4506] ppid=4492 vsize=9824732 CPUtime=3.09 cores=0,2,4,6 /proc/4495/task/4506/stat : 4506 (java) S 4492 4495 32147 0 -1 4202560 1544 0 0 0 303 6 0 0 20 0 22 0 104212252 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137728010344 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4507] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4507/stat : 4507 (java) S 4492 4495 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137726956664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4508] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4508/stat : 4508 (java) S 4492 4495 32147 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137725904008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4509] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4509/stat : 4509 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137724852752 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4510] ppid=4492 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/4495/task/4510/stat : 4510 (java) S 4492 4495 32147 0 -1 4202560 9189 0 0 0 142 2 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137723800120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4511] ppid=4492 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/4495/task/4511/stat : 4511 (java) S 4492 4495 32147 0 -1 4202560 13795 0 0 0 163 3 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137722747576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4512] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4512/stat : 4512 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137721695224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4513] ppid=4492 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/4495/task/4513/stat : 4513 (java) S 4492 4495 32147 0 -1 4202560 51 0 0 0 8 9 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137720642888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4516] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4516/stat : 4516 (java) S 4492 4495 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104212614 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137717482536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4533] ppid=4492 vsize=9824732 CPUtime=866.27 cores=0,2,4,6 /proc/4495/task/4533/stat : 4533 (java) R 4492 4495 32147 0 -1 4202560 107 0 0 0 86611 16 0 0 20 0 22 0 104213131 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137719578640 140138224120557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4534] ppid=4492 vsize=9824732 CPUtime=866.2 cores=0,2,4,6 /proc/4495/task/4534/stat : 4534 (java) R 4492 4495 32147 0 -1 4202560 1487 0 0 0 86589 31 0 0 20 0 22 0 104213131 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137716427360 140138224115931 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4535] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4535/stat : 4535 (java) S 4492 4495 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104213131 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137718535592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1760.66 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.001 s] /proc/loadavg: 4.63 4.27 4.21 5/219 4699 /proc/meminfo: memFree=23156820/32872528 swapFree=12208/1156848 [pid=4495] ppid=4492 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6 /proc/4495/stat : 4495 (java) S 4492 4495 32147 0 -1 4202496 33422 0 1 0 179805 201 0 0 20 0 22 0 104212248 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140734534488192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4495/statm: 2456183 832881 2301 9 0 2446860 0 [pid=4495/tid=4497] ppid=4492 vsize=9824732 CPUtime=3.56 cores=0,2,4,6 /proc/4495/task/4497/stat : 4497 (java) S 4492 4495 32147 0 -1 4202560 2683 0 1 0 346 10 0 0 20 0 22 0 104212249 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138375193464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4498] ppid=4492 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/4495/task/4498/stat : 4498 (java) S 4492 4495 32147 0 -1 4202560 393 0 0 0 73 20 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138347645096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4499] ppid=4492 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/4495/task/4499/stat : 4499 (java) S 4492 4495 32147 0 -1 4202560 395 0 0 0 77 16 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138346592552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4500] ppid=4492 vsize=9824732 CPUtime=0.94 cores=0,2,4,6 /proc/4495/task/4500/stat : 4500 (java) S 4492 4495 32147 0 -1 4202560 327 0 0 0 78 16 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138345540008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4501] ppid=4492 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/4495/task/4501/stat : 4501 (java) S 4492 4495 32147 0 -1 4202560 345 0 0 0 79 14 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138344487464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4502] ppid=4492 vsize=9824732 CPUtime=0.91 cores=0,2,4,6 /proc/4495/task/4502/stat : 4502 (java) S 4492 4495 32147 0 -1 4202560 367 0 0 0 73 18 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138343434920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4503] ppid=4492 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/4495/task/4503/stat : 4503 (java) S 4492 4495 32147 0 -1 4202560 445 0 0 0 95 21 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138342382376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4504] ppid=4492 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/4495/task/4504/stat : 4504 (java) S 4492 4495 32147 0 -1 4202560 554 0 0 0 99 20 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138212010920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4505] ppid=4492 vsize=9824732 CPUtime=0.94 cores=0,2,4,6 /proc/4495/task/4505/stat : 4505 (java) S 4492 4495 32147 0 -1 4202560 368 0 0 0 77 17 0 0 20 0 22 0 104212251 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140138210958376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4506] ppid=4492 vsize=9824732 CPUtime=3.09 cores=0,2,4,6 /proc/4495/task/4506/stat : 4506 (java) S 4492 4495 32147 0 -1 4202560 1544 0 0 0 303 6 0 0 20 0 22 0 104212252 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137728010344 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4507] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4507/stat : 4507 (java) S 4492 4495 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137726956664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4508] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4508/stat : 4508 (java) S 4492 4495 32147 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104212252 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137725904008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4509] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4509/stat : 4509 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137724852752 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4510] ppid=4492 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/4495/task/4510/stat : 4510 (java) S 4492 4495 32147 0 -1 4202560 9189 0 0 0 142 2 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137723800120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4511] ppid=4492 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/4495/task/4511/stat : 4511 (java) S 4492 4495 32147 0 -1 4202560 13795 0 0 0 163 3 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137722747576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4512] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4512/stat : 4512 (java) S 4492 4495 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137721695224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4495/tid=4513] ppid=4492 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/4495/task/4513/stat : 4513 (java) S 4492 4495 32147 0 -1 4202560 53 0 0 0 8 9 0 0 20 0 22 0 104212255 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137720642888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4516] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4516/stat : 4516 (java) S 4492 4495 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104212614 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137717482536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4495/tid=4533] ppid=4492 vsize=9824732 CPUtime=885.92 cores=0,2,4,6 /proc/4495/task/4533/stat : 4533 (java) R 4492 4495 32147 0 -1 4202560 107 0 0 0 88576 16 0 0 20 0 22 0 104213131 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137719578640 140138224120441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4495/tid=4534] ppid=4492 vsize=9824732 CPUtime=885.84 cores=0,2,4,6 /proc/4495/task/4534/stat : 4534 (java) R 4492 4495 32147 0 -1 4202560 1487 0 0 0 88553 31 0 0 20 0 22 0 104213131 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137716427360 140138224370254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4495/tid=4535] ppid=4492 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/4495/task/4535/stat : 4535 (java) S 4492 4495 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104213131 10060525568 832881 33554432000 1073741824 1073778376 140734534497056 140137718535592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 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 4495 sig 9 ??? kill -4495 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 4495 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=629326 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=481622 # CPU time returned by wait4() is 1796.11 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 902.085 CPU time (s): 1800.06 CPU user time (s): 1798.05 CPU system time (s): 2.01 CPU usage (%): 199.544 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.63 system time used= 2.48162 maximum resident set size= 3331636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33461 page faults= 1 swaps= 0 block input operations= 0 block output operations= 712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22043 involuntary context switches= 14816 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.36488 second user time and 5.29319 second system time The end
Begin job on node114 at 2016-06-06 16:19:37 IDJOB=4081226 IDBENCH=1973 IDSOLVER=2543 FILE ID=node114/4081226-1465222776 RUNJOBID= node114-1465217569-32163 PBS_JOBID= 19843208 Free space on /tmp= 71704 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_14.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081226-1465222776/watcher-4081226-1465222776 -o /tmp/evaluation-result-4081226-1465222776/solver-4081226-1465222776 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32163 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081226-1465222776.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496 RANDOM SEED=1394349050 node114.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.852 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.70 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.852 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.852 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.852 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.852 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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.54 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.852 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: 27458012 kB Buffers: 16316 kB Cached: 163140 kB SwapCached: 1736 kB Active: 3459324 kB Inactive: 89200 kB Active(anon): 3370400 kB Inactive(anon): 1200 kB Active(file): 88924 kB Inactive(file): 88000 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096588 kB Dirty: 17572 kB Writeback: 0 kB AnonPages: 4527440 kB Mapped: 15344 kB Shmem: 0 kB Slab: 567428 kB SReclaimable: 11316 kB SUnreclaim: 556112 kB KernelStack: 1624 kB PageTables: 12956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5019104 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4444160 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= 71720 MiB End job on node114 at 2016-06-06 16:34:39