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) | 922 | 1800.18 | 903.071 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb |
| MD5SUM | 3119db8d3d273f04fc4f3b1324a85224 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 296 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 452 |
| 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 | 493167 |
| 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 | 493167 |
| 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.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4081232-1465222273.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 5.49/3.64 c ... done. Wall clock time 3.521s. 5.49/3.64 c declared #vars 10000 5.49/3.64 c #constraints 656900 5.49/3.64 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 5.49/3.64 c constraints type 5.49/3.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.49/3.65 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.49/3.65 c 656900 constraints processed. 5.49/3.65 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 5.49/3.65 c constraints type 5.49/3.65 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.49/3.65 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.49/3.65 c 656900 constraints processed. 5.49/3.65 c objective function length is 10000 literals 6.50/3.93 c And the winner is solver0 6.62/4.16 c SATISFIABLE 6.73/4.28 c OPTIMIZING... 6.73/4.28 c Got one! Elapsed wall clock time (in seconds):4.036 6.73/4.28 o 1209 7.07/4.39 c And the winner is solver0 7.54/4.72 c Got one! Elapsed wall clock time (in seconds):4.604 7.54/4.72 o 1186 7.72/4.83 c And the winner is solver0 8.01/5.27 c Got one! Elapsed wall clock time (in seconds):5.148 8.01/5.27 o 1170 8.08/5.35 c And the winner is solver0 8.29/5.79 c Got one! Elapsed wall clock time (in seconds):5.674 8.29/5.79 o 932 10.22/6.76 c And the winner is solver0 10.57/7.07 c Got one! Elapsed wall clock time (in seconds):6.948 10.57/7.07 o 922 11.86/7.77 c cleaning 2948 clauses out of 5930 with flag 6578/5930 16.01/9.75 c cleaning 4467 clauses out of 8984 with flag 23865/11932 21.82/12.63 c cleaning 5746 clauses out of 11515 with flag 49295/18930 28.93/16.11 c cleaning 6879 clauses out of 13769 with flag 77654/26930 36.90/20.08 c cleaning 7936 clauses out of 15891 with flag 105296/35931 45.59/24.34 c cleaning 8974 clauses out of 17956 with flag 136561/45932 55.41/29.19 c cleaning 9983 clauses out of 19981 with flag 171224/56931 67.02/34.96 c cleaning 10995 clauses out of 21997 with flag 218849/68930 79.22/41.01 c cleaning 11987 clauses out of 24002 with flag 262007/81930 92.06/47.43 c cleaning 12999 clauses out of 26015 with flag 311300/95930 105.86/54.36 c cleaning 13998 clauses out of 28016 with flag 362710/110930 121.86/62.31 c cleaning 15001 clauses out of 30018 with flag 415738/126930 138.28/70.56 c cleaning 16008 clauses out of 32018 with flag 475138/143931 154.87/78.80 c cleaning 16995 clauses out of 34009 with flag 541966/161930 173.37/88.07 c cleaning 18007 clauses out of 36017 with flag 617222/180933 191.76/97.23 c cleaning 18993 clauses out of 38007 with flag 688421/200930 211.76/107.27 c cleaning 19990 clauses out of 40015 with flag 760249/221931 233.95/118.02 c cleaning 21003 clauses out of 42024 with flag 836105/243930 256.75/129.43 c cleaning 22010 clauses out of 44021 with flag 917074/266930 280.21/141.18 c cleaning 23006 clauses out of 46012 with flag 997121/290931 304.80/153.42 c cleaning 23985 clauses out of 48006 with flag 1092199/315931 330.00/166.07 c cleaning 25010 clauses out of 50021 with flag 1181678/341931 357.61/179.80 c cleaning 25997 clauses out of 52011 with flag 1279181/368931 385.01/193.56 c cleaning 27007 clauses out of 54015 with flag 1386554/396932 414.80/208.40 c cleaning 27998 clauses out of 56010 with flag 1488209/425934 446.55/224.65 c cleaning 29001 clauses out of 58008 with flag 1593821/455930 475.35/239.01 c cleaning 29995 clauses out of 60007 with flag 1702673/486930 505.76/254.26 c cleaning 31006 clauses out of 62012 with flag 1826524/518930 538.76/270.77 c cleaning 31993 clauses out of 64006 with flag 1941855/551930 573.14/287.95 c cleaning 33006 clauses out of 66015 with flag 2063704/585932 608.54/305.61 c cleaning 34001 clauses out of 68007 with flag 2187071/620930 645.34/324.05 c cleaning 34989 clauses out of 70006 with flag 2313616/656930 683.36/342.74 c cleaning 36002 clauses out of 72017 with flag 2444790/693930 723.97/363.07 c cleaning 37005 clauses out of 74015 with flag 2574453/731930 763.36/382.76 c cleaning 37999 clauses out of 76014 with flag 2707403/770934 802.17/402.17 c cleaning 39003 clauses out of 78011 with flag 2849506/810930 842.57/422.39 c cleaning 40003 clauses out of 80010 with flag 2996241/851932 886.79/444.48 c cleaning 40994 clauses out of 82007 with flag 3161498/893932 929.96/466.00 c cleaning 42002 clauses out of 84011 with flag 3316669/936930 977.56/489.84 c cleaning 42994 clauses out of 86011 with flag 3474395/980932 1024.55/513.38 c cleaning 44006 clauses out of 88018 with flag 3648233/1025933 1078.08/540.69 c cleaning 45002 clauses out of 90009 with flag 3824646/1071930 1126.68/564.92 c cleaning 45975 clauses out of 92007 with flag 3996718/1118930 1181.33/591.92 c cleaning 46999 clauses out of 94032 with flag 4168426/1166930 1240.14/622.17 c cleaning 48010 clauses out of 96033 with flag 4346514/1215930 1287.13/645.66 c cleaning 48998 clauses out of 98023 with flag 4538215/1265930 1336.12/670.13 c cleaning 50007 clauses out of 100025 with flag 4737922/1316930 1389.84/696.63 c cleaning 50995 clauses out of 102018 with flag 4926718/1368930 1440.65/722.02 c cleaning 52004 clauses out of 104023 with flag 5127100/1421930 1491.04/747.21 c cleaning 52999 clauses out of 106019 with flag 5321454/1475930 1554.96/780.72 c cleaning 54005 clauses out of 108022 with flag 5516215/1530932 1615.94/811.17 c cleaning 54992 clauses out of 110015 with flag 5723567/1586930 1676.74/841.52 c cleaning 56001 clauses out of 112023 with flag 5950651/1643930 1739.13/872.77 c cleaning 57000 clauses out of 114023 with flag 6181648/1701931 1798.19/902.07 c cleaning 57999 clauses out of 116024 with flag 6411696/1760932 1800.18/903.00 c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<< 1800.18/903.00 c starts : 15 1800.18/903.00 c conflicts : 1762916 1800.18/903.00 c decisions : 5025711 1800.18/903.00 c propagations : 524792326 1800.18/903.00 c inspects : 1680165552 1800.18/903.00 c shortcuts : 0 1800.18/903.00 c learnt literals : 0 1800.18/903.00 c learnt binary clauses : 0 1800.18/903.00 c learnt ternary clauses : 0 1800.18/903.00 c learnt constraints : 1762916 1800.18/903.00 c ignored constraints : 0 1800.18/903.00 c root simplifications : 0 1800.18/903.00 c removed literals (reason simplification) : 196147618 1800.18/903.00 c reason swapping (by a shorter reason) : 0 1800.18/903.00 c Calls to reduceDB : 55 1800.18/903.00 c Number of update (reduction) of LBD : 672834 1800.18/903.00 c Imported unit clauses : 0 1800.18/903.00 c number of reductions to clauses (during analyze) : 0 1800.18/903.00 c number of learned constraints concerned by reduction : 0 1800.18/903.00 c number of learning phase by resolution : 0 1800.18/903.00 c number of learning phase by cutting planes : 0 1800.18/903.00 c speed (assignments/second) : 583544.1328382922 1800.18/903.00 c non guided choices 0 1800.18/903.02 c learnt constraints type 1800.18/903.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 60009 1800.18/903.02 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.18/903.02 c starts : 14 1800.18/903.02 c conflicts : 1191 1800.18/903.02 c decisions : 162147 1800.18/903.02 c propagations : 1549444 1800.18/903.02 c inspects : 36313640 1800.18/903.02 c shortcuts : 0 1800.18/903.02 c learnt literals : 0 1800.18/903.02 c learnt binary clauses : 0 1800.18/903.02 c learnt ternary clauses : 0 1800.18/903.02 c learnt constraints : 1190 1800.18/903.02 c ignored constraints : 0 1800.18/903.02 c root simplifications : 0 1800.18/903.02 c removed literals (reason simplification) : 0 1800.18/903.02 c reason swapping (by a shorter reason) : 0 1800.18/903.02 c Calls to reduceDB : 0 1800.18/903.02 c Number of update (reduction) of LBD : 0 1800.18/903.02 c Imported unit clauses : 0 1800.18/903.02 c number of reductions to clauses (during analyze) : 0 1800.18/903.02 c number of learned constraints concerned by reduction : 0 1800.18/903.02 c number of learning phase by resolution : 0 1800.18/903.02 c number of learning phase by cutting planes : 0 1800.18/903.02 c speed (assignments/second) : 1729.4214293049026 1800.18/903.02 c non guided choices 0 1800.18/903.03 c learnt constraints type 1800.18/903.03 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 123 1800.18/903.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1067 1800.18/903.03 s SATISFIABLE 1800.18/903.03 c Found 5 solution(s) 1800.18/903.03 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.18/903.05 c objective function=922 1800.18/903.05 c Total wall clock time (in seconds): 902.93
OK 922
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-4081232-1465222273/watcher-4081232-1465222273 -o /tmp/evaluation-result-4081232-1465222273/solver-4081232-1465222273 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081232-1465222273.opb pid=21655 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.06 4.02 3.27 2/174 21658 /proc/meminfo: memFree=31443508/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/21658/stat : 21658 (java) D 21655 21658 21426 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 104159925 9515008 175 33554432000 1073741824 1073778376 140735309831616 140735309814344 206629061520 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/21658/statm: 2323 175 133 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.06 4.02 3.27 2/174 21658 /proc/meminfo: memFree=31443508/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 4439 0 1 0 7 1 0 0 20 0 18 0 104159925 9787879424 6056 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2389619 6056 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200206 s] /proc/loadavg: 4.06 4.02 3.27 2/174 21658 /proc/meminfo: memFree=31443508/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 5028 0 1 0 27 1 0 0 20 0 18 0 104159925 9787879424 6939 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2389619 6939 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300214 s] /proc/loadavg: 4.06 4.02 3.27 2/174 21658 /proc/meminfo: memFree=31443508/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9558476 CPUtime=0.47 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 5470 0 1 0 46 1 0 0 20 0 18 0 104159925 9787879424 8548 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2389619 8548 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700194 s] /proc/loadavg: 4.06 4.02 3.27 2/174 21658 /proc/meminfo: memFree=31443508/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9559084 CPUtime=1.6 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 23427 0 1 0 154 6 0 0 20 0 18 0 104159925 9788502016 34997 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2389771 34997 2244 9 0 2380448 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 9559084 [startup+1.50082 s] /proc/loadavg: 4.06 4.02 3.27 3/211 21739 /proc/meminfo: memFree=31195072/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9558476 CPUtime=2.84 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 23689 0 1 0 274 10 0 0 20 0 18 0 104159925 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2389619 63174 2262 9 0 2380296 0 [pid=21658/tid=21664] ppid=21655 vsize=9558476 CPUtime=1.41 cores=0,2,4,6 /proc/21658/task/21664/stat : 21664 (java) R 21655 21658 21426 0 -1 4202560 2493 0 1 0 137 4 0 0 20 0 18 0 104159926 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140671041572896 140670866448972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21669] ppid=21655 vsize=9558476 CPUtime=0.03 cores=0,2,4,6 /proc/21658/task/21669/stat : 21669 (java) S 21655 21658 21426 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 104159927 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140671003073320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21658/tid=21670] ppid=21655 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/21658/task/21670/stat : 21670 (java) S 21655 21658 21426 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 104159927 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140671002020520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21671] ppid=21655 vsize=9558476 CPUtime=0.02 cores=0,2,4,6 /proc/21658/task/21671/stat : 21671 (java) S 21655 21658 21426 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 104159927 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140671000968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21658/tid=21672] ppid=21655 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/21658/task/21672/stat : 21672 (java) S 21655 21658 21426 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 104159927 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670999915432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21673] ppid=21655 vsize=9558476 CPUtime=0.02 cores=0,2,4,6 /proc/21658/task/21673/stat : 21673 (java) S 21655 21658 21426 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 104159927 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670998862120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21674] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21674/stat : 21674 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104159927 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670997809320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21676] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21676/stat : 21676 (java) S 21655 21658 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 104159927 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670996757032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21677] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21677/stat : 21677 (java) S 21655 21658 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 104159927 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670995704232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21682] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21682/stat : 21682 (java) S 21655 21658 21426 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104159929 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670864972520 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21684] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21684/stat : 21684 (java) S 21655 21658 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104159929 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670863918584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21685] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21685/stat : 21685 (java) S 21655 21658 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104159929 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670862866184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21686] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21686/stat : 21686 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104159931 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670861814672 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21687] ppid=21655 vsize=9558476 CPUtime=0.62 cores=0,2,4,6 /proc/21658/task/21687/stat : 21687 (java) S 21655 21658 21426 0 -1 4202560 9282 0 0 0 60 2 0 0 20 0 18 0 104159931 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670860761272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21688] ppid=21655 vsize=9558476 CPUtime=0.59 cores=0,2,4,6 /proc/21658/task/21688/stat : 21688 (java) S 21655 21658 21426 0 -1 4202560 10520 0 0 0 57 2 0 0 20 0 18 0 104159931 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670859708472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21689] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21689/stat : 21689 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104159931 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670858656376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21690] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21690/stat : 21690 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104159931 9787879424 63174 33554432000 1073741824 1073778376 140735584646304 140670857603784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.84 Current children cumulated vsize (KiB) 9558476 [startup+3.10078 s] /proc/loadavg: 4.06 4.02 3.27 3/211 21739 /proc/meminfo: memFree=30841616/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9558476 CPUtime=4.72 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 24184 0 1 0 452 20 0 0 20 0 18 0 104159925 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2389619 134603 2262 9 0 2380296 0 [pid=21658/tid=21664] ppid=21655 vsize=9558476 CPUtime=2.9 cores=0,2,4,6 /proc/21658/task/21664/stat : 21664 (java) R 21655 21658 21426 0 -1 4202560 2603 0 1 0 283 7 0 0 20 0 18 0 104159926 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140671041572976 140670866495035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21669] ppid=21655 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/21658/task/21669/stat : 21669 (java) S 21655 21658 21426 0 -1 4202560 63 0 0 0 6 2 0 0 20 0 18 0 104159927 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140671003073320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21658/tid=21670] ppid=21655 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/21658/task/21670/stat : 21670 (java) S 21655 21658 21426 0 -1 4202560 56 0 0 0 7 1 0 0 20 0 18 0 104159927 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140671002020520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21671] ppid=21655 vsize=9558476 CPUtime=0.06 cores=0,2,4,6 /proc/21658/task/21671/stat : 21671 (java) S 21655 21658 21426 0 -1 4202560 38 0 0 0 5 1 0 0 20 0 18 0 104159927 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140671000968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21658/tid=21672] ppid=21655 vsize=9558476 CPUtime=0.05 cores=0,2,4,6 /proc/21658/task/21672/stat : 21672 (java) S 21655 21658 21426 0 -1 4202560 52 0 0 0 5 0 0 0 20 0 18 0 104159927 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670999915432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21673] ppid=21655 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/21658/task/21673/stat : 21673 (java) S 21655 21658 21426 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 18 0 104159927 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670998862120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21674] ppid=21655 vsize=9558476 CPUtime=0.03 cores=0,2,4,6 /proc/21658/task/21674/stat : 21674 (java) S 21655 21658 21426 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 18 0 104159927 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670997809320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21676] ppid=21655 vsize=9558476 CPUtime=0.03 cores=0,2,4,6 /proc/21658/task/21676/stat : 21676 (java) S 21655 21658 21426 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 104159927 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670996757032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21677] ppid=21655 vsize=9558476 CPUtime=0.05 cores=0,2,4,6 /proc/21658/task/21677/stat : 21677 (java) S 21655 21658 21426 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 18 0 104159927 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670995704232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21682] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21682/stat : 21682 (java) S 21655 21658 21426 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104159929 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670864972520 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21684] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21684/stat : 21684 (java) S 21655 21658 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104159929 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670863918584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21685] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21685/stat : 21685 (java) S 21655 21658 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104159929 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670862866184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21686] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21686/stat : 21686 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104159931 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670861814672 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21687] ppid=21655 vsize=9558476 CPUtime=0.62 cores=0,2,4,6 /proc/21658/task/21687/stat : 21687 (java) S 21655 21658 21426 0 -1 4202560 9282 0 0 0 60 2 0 0 20 0 18 0 104159931 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670860761272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21688] ppid=21655 vsize=9558476 CPUtime=0.59 cores=0,2,4,6 /proc/21658/task/21688/stat : 21688 (java) S 21655 21658 21426 0 -1 4202560 10520 0 0 0 57 2 0 0 20 0 18 0 104159931 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670859708472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21689] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21689/stat : 21689 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104159931 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670858656376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21690] ppid=21655 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21690/stat : 21690 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104159931 9787879424 134603 33554432000 1073741824 1073778376 140735584646304 140670857603784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.72 Current children cumulated vsize (KiB) 9558476 [startup+6.30079 s] /proc/loadavg: 3.97 4.01 3.27 1/213 21759 /proc/meminfo: memFree=30093484/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9824732 CPUtime=9.4 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 24810 0 1 0 905 35 0 0 20 0 22 0 104159925 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2456183 168249 2288 9 0 2446860 0 [pid=21658/tid=21664] ppid=21655 vsize=9824732 CPUtime=3.53 cores=0,2,4,6 /proc/21658/task/21664/stat : 21664 (java) S 21655 21658 21426 0 -1 4202560 2675 0 1 0 344 9 0 0 20 0 22 0 104159926 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140671041581944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21669] ppid=21655 vsize=9824732 CPUtime=0.12 cores=0,2,4,6 /proc/21658/task/21669/stat : 21669 (java) S 21655 21658 21426 0 -1 4202560 78 0 0 0 10 2 0 0 20 0 22 0 104159927 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140671003073320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21670] ppid=21655 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/21658/task/21670/stat : 21670 (java) S 21655 21658 21426 0 -1 4202560 78 0 0 0 11 2 0 0 20 0 22 0 104159927 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140671002020520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21671] ppid=21655 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21658/task/21671/stat : 21671 (java) S 21655 21658 21426 0 -1 4202560 46 0 0 0 7 2 0 0 20 0 22 0 104159927 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140671000968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21658/tid=21672] ppid=21655 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21658/task/21672/stat : 21672 (java) S 21655 21658 21426 0 -1 4202560 68 0 0 0 7 2 0 0 20 0 22 0 104159927 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670999915432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21673] ppid=21655 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/21658/task/21673/stat : 21673 (java) S 21655 21658 21426 0 -1 4202560 62 0 0 0 12 3 0 0 20 0 22 0 104159927 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670998862120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21674] ppid=21655 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/21658/task/21674/stat : 21674 (java) S 21655 21658 21426 0 -1 4202560 50 0 0 0 6 1 0 0 20 0 22 0 104159927 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670997809320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21676] ppid=21655 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/21658/task/21676/stat : 21676 (java) S 21655 21658 21426 0 -1 4202560 38 0 0 0 6 1 0 0 20 0 22 0 104159927 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670996757032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21677] ppid=21655 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/21658/task/21677/stat : 21677 (java) S 21655 21658 21426 0 -1 4202560 50 0 0 0 7 2 0 0 20 0 22 0 104159927 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670995704232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21682] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21682/stat : 21682 (java) S 21655 21658 21426 0 -1 4202560 482 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670864972520 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21684] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21684/stat : 21684 (java) S 21655 21658 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670863918584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21685] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21685/stat : 21685 (java) S 21655 21658 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670862866184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21686] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21686/stat : 21686 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670861814672 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21687] ppid=21655 vsize=9824732 CPUtime=1.29 cores=0,2,4,6 /proc/21658/task/21687/stat : 21687 (java) S 21655 21658 21426 0 -1 4202560 9293 0 0 0 127 2 0 0 20 0 22 0 104159931 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670860761272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21688] ppid=21655 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 /proc/21658/task/21688/stat : 21688 (java) S 21655 21658 21426 0 -1 4202560 10541 0 0 0 116 2 0 0 20 0 22 0 104159931 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670859708472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21689] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21689/stat : 21689 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670858656376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21690] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21690/stat : 21690 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670857603784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21743] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21743/stat : 21743 (java) S 21655 21658 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104160294 10060525568 168249 33554432000 1073741824 1073778376 140735584646304 140670853391912 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 9.4 Current children cumulated vsize (KiB) 9824732 [startup+12.7008 s] /proc/loadavg: 4.14 4.04 3.28 5/219 21768 /proc/meminfo: memFree=30092928/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9824732 CPUtime=22.03 cores=0,2,4,6 ################ # More data... # ################ /proc/21658/task/21671/stat : 21671 (java) S 21655 21658 21426 0 -1 4202560 1008 0 0 0 151 29 0 0 20 0 22 0 104159927 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140671000968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21672] ppid=21655 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/21658/task/21672/stat : 21672 (java) S 21655 21658 21426 0 -1 4202560 644 0 0 0 154 30 0 0 20 0 22 0 104159927 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670999915432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21673] ppid=21655 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/21658/task/21673/stat : 21673 (java) S 21655 21658 21426 0 -1 4202560 709 0 0 0 133 23 0 0 20 0 22 0 104159927 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670998862120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21674] ppid=21655 vsize=9824732 CPUtime=1.79 cores=0,2,4,6 /proc/21658/task/21674/stat : 21674 (java) S 21655 21658 21426 0 -1 4202560 803 0 0 0 149 30 0 0 20 0 22 0 104159927 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670997809320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21676] ppid=21655 vsize=9824732 CPUtime=1.53 cores=0,2,4,6 /proc/21658/task/21676/stat : 21676 (java) S 21655 21658 21426 0 -1 4202560 625 0 0 0 128 25 0 0 20 0 22 0 104159927 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670996757032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21677] ppid=21655 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/21658/task/21677/stat : 21677 (java) S 21655 21658 21426 0 -1 4202560 656 0 0 0 126 23 0 0 20 0 22 0 104159927 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670995704232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21682] ppid=21655 vsize=9824732 CPUtime=9.62 cores=0,2,4,6 /proc/21658/task/21682/stat : 21682 (java) S 21655 21658 21426 0 -1 4202560 3344 0 0 0 957 5 0 0 20 0 22 0 104159929 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670864972520 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21684] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21684/stat : 21684 (java) S 21655 21658 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670863918584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21685] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21685/stat : 21685 (java) S 21655 21658 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670862866184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21686] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21686/stat : 21686 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670861814672 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21687] ppid=21655 vsize=9824732 CPUtime=1.88 cores=0,2,4,6 /proc/21658/task/21687/stat : 21687 (java) S 21655 21658 21426 0 -1 4202560 9339 0 0 0 186 2 0 0 20 0 22 0 104159931 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670860761272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21688] ppid=21655 vsize=9824732 CPUtime=1.59 cores=0,2,4,6 /proc/21658/task/21688/stat : 21688 (java) S 21655 21658 21426 0 -1 4202560 10549 0 0 0 157 2 0 0 20 0 22 0 104159931 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670859708472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21689] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21689/stat : 21689 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670858656376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21690] ppid=21655 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/21658/task/21690/stat : 21690 (java) S 21655 21658 21426 0 -1 4202560 47 0 0 0 8 9 0 0 20 0 22 0 104159931 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670857603784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21743] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21743/stat : 21743 (java) S 21655 21658 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104160294 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670853391912 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21766] ppid=21655 vsize=9824732 CPUtime=800.21 cores=0,2,4,6 /proc/21658/task/21766/stat : 21766 (java) R 21655 21658 21426 0 -1 4202560 44 0 0 0 80007 14 0 0 20 0 22 0 104160635 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670855487776 140670867108774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21658/tid=21767] ppid=21655 vsize=9824732 CPUtime=800.26 cores=0,2,4,6 /proc/21658/task/21767/stat : 21767 (java) R 21655 21658 21426 0 -1 4202560 1498 0 0 0 79997 29 0 0 20 0 22 0 104160635 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670854442688 140670866897975 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21768] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21768/stat : 21768 (java) S 21655 21658 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104160635 10060525568 984054 33554432000 1073741824 1073778376 140735584646304 140670856550056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1638.33 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.04 4.07 3.75 5/219 21792 /proc/meminfo: memFree=22663156/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9824732 CPUtime=1758.79 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 34693 0 1 0 175609 270 0 0 20 0 22 0 104159925 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2456183 984113 2301 9 0 2446860 0 [pid=21658/tid=21664] ppid=21655 vsize=9824732 CPUtime=3.58 cores=0,2,4,6 /proc/21658/task/21664/stat : 21664 (java) S 21655 21658 21426 0 -1 4202560 2682 0 1 0 349 9 0 0 20 0 22 0 104159926 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140671041581944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21669] ppid=21655 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/21658/task/21669/stat : 21669 (java) S 21655 21658 21426 0 -1 4202560 525 0 0 0 143 19 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140671003073320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21670] ppid=21655 vsize=9824732 CPUtime=1.9 cores=0,2,4,6 /proc/21658/task/21670/stat : 21670 (java) S 21655 21658 21426 0 -1 4202560 802 0 0 0 157 33 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140671002020520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21671] ppid=21655 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/21658/task/21671/stat : 21671 (java) S 21655 21658 21426 0 -1 4202560 1008 0 0 0 156 29 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140671000968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21672] ppid=21655 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/21658/task/21672/stat : 21672 (java) S 21655 21658 21426 0 -1 4202560 644 0 0 0 165 30 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670999915432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21673] ppid=21655 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/21658/task/21673/stat : 21673 (java) S 21655 21658 21426 0 -1 4202560 709 0 0 0 144 23 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670998862120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21674] ppid=21655 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/21658/task/21674/stat : 21674 (java) S 21655 21658 21426 0 -1 4202560 812 0 0 0 161 30 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670997809320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21676] ppid=21655 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/21658/task/21676/stat : 21676 (java) S 21655 21658 21426 0 -1 4202560 625 0 0 0 141 25 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670996757032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21677] ppid=21655 vsize=9824732 CPUtime=1.65 cores=0,2,4,6 /proc/21658/task/21677/stat : 21677 (java) S 21655 21658 21426 0 -1 4202560 686 0 0 0 142 23 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670995704232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21682] ppid=21655 vsize=9824732 CPUtime=9.62 cores=0,2,4,6 /proc/21658/task/21682/stat : 21682 (java) S 21655 21658 21426 0 -1 4202560 3361 0 0 0 957 5 0 0 20 0 22 0 104159929 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670864972520 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21684] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21684/stat : 21684 (java) S 21655 21658 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670863918584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21685] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21685/stat : 21685 (java) S 21655 21658 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670862866184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21686] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21686/stat : 21686 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670861814672 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21687] ppid=21655 vsize=9824732 CPUtime=1.88 cores=0,2,4,6 /proc/21658/task/21687/stat : 21687 (java) S 21655 21658 21426 0 -1 4202560 9340 0 0 0 186 2 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670860761272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21688] ppid=21655 vsize=9824732 CPUtime=1.59 cores=0,2,4,6 /proc/21658/task/21688/stat : 21688 (java) S 21655 21658 21426 0 -1 4202560 10549 0 0 0 157 2 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670859708472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21689] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21689/stat : 21689 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670858656376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21690] ppid=21655 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/21658/task/21690/stat : 21690 (java) S 21655 21658 21426 0 -1 4202560 51 0 0 0 9 10 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670857603784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21743] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21743/stat : 21743 (java) S 21655 21658 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104160294 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670853391912 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21766] ppid=21655 vsize=9824732 CPUtime=859.84 cores=0,2,4,6 /proc/21658/task/21766/stat : 21766 (java) R 21655 21658 21426 0 -1 4202560 44 0 0 0 85969 15 0 0 20 0 22 0 104160635 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670855494640 140670867396301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21658/tid=21767] ppid=21655 vsize=9824732 CPUtime=859.89 cores=0,2,4,6 /proc/21658/task/21767/stat : 21767 (java) R 21655 21658 21426 0 -1 4202560 1499 0 0 0 85958 31 0 0 20 0 22 0 104160635 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670854443608 140670867195595 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21768] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21768/stat : 21768 (java) S 21655 21658 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104160635 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670856550056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1758.79 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+903.001 s] /proc/loadavg: 4.09 4.08 3.76 5/219 21793 /proc/meminfo: memFree=22662408/32872528 swapFree=12328/568296 [pid=21658] ppid=21655 vsize=9824732 CPUtime=1800.18 cores=0,2,4,6 /proc/21658/stat : 21658 (java) S 21655 21658 21426 0 -1 4202496 34695 0 1 0 179747 271 0 0 20 0 22 0 104159925 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140735584637440 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21658/statm: 2456183 984113 2301 9 0 2446860 0 [pid=21658/tid=21664] ppid=21655 vsize=9824732 CPUtime=3.58 cores=0,2,4,6 /proc/21658/task/21664/stat : 21664 (java) S 21655 21658 21426 0 -1 4202560 2682 0 1 0 349 9 0 0 20 0 22 0 104159926 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140671041581944 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21669] ppid=21655 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/21658/task/21669/stat : 21669 (java) S 21655 21658 21426 0 -1 4202560 525 0 0 0 143 19 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140671003073320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21670] ppid=21655 vsize=9824732 CPUtime=1.9 cores=0,2,4,6 /proc/21658/task/21670/stat : 21670 (java) S 21655 21658 21426 0 -1 4202560 802 0 0 0 157 33 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140671002020520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21671] ppid=21655 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/21658/task/21671/stat : 21671 (java) S 21655 21658 21426 0 -1 4202560 1008 0 0 0 156 29 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140671000968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21672] ppid=21655 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/21658/task/21672/stat : 21672 (java) S 21655 21658 21426 0 -1 4202560 644 0 0 0 165 30 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670999915432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21673] ppid=21655 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/21658/task/21673/stat : 21673 (java) S 21655 21658 21426 0 -1 4202560 709 0 0 0 144 23 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670998862120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21674] ppid=21655 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/21658/task/21674/stat : 21674 (java) S 21655 21658 21426 0 -1 4202560 812 0 0 0 161 30 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670997809320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21676] ppid=21655 vsize=9824732 CPUtime=1.66 cores=0,2,4,6 /proc/21658/task/21676/stat : 21676 (java) S 21655 21658 21426 0 -1 4202560 625 0 0 0 141 25 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670996757032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21677] ppid=21655 vsize=9824732 CPUtime=1.65 cores=0,2,4,6 /proc/21658/task/21677/stat : 21677 (java) S 21655 21658 21426 0 -1 4202560 686 0 0 0 142 23 0 0 20 0 22 0 104159927 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670995704232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21682] ppid=21655 vsize=9824732 CPUtime=9.62 cores=0,2,4,6 /proc/21658/task/21682/stat : 21682 (java) S 21655 21658 21426 0 -1 4202560 3361 0 0 0 957 5 0 0 20 0 22 0 104159929 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670864972520 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21684] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21684/stat : 21684 (java) S 21655 21658 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670863918584 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21685] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21685/stat : 21685 (java) S 21655 21658 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104159929 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670862866184 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21686] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21686/stat : 21686 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670861814672 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21658/tid=21687] ppid=21655 vsize=9824732 CPUtime=1.88 cores=0,2,4,6 /proc/21658/task/21687/stat : 21687 (java) S 21655 21658 21426 0 -1 4202560 9340 0 0 0 186 2 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670860761272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21688] ppid=21655 vsize=9824732 CPUtime=1.59 cores=0,2,4,6 /proc/21658/task/21688/stat : 21688 (java) S 21655 21658 21426 0 -1 4202560 10549 0 0 0 157 2 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670859708472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21689] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21689/stat : 21689 (java) S 21655 21658 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670858656376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21690] ppid=21655 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/21658/task/21690/stat : 21690 (java) S 21655 21658 21426 0 -1 4202560 53 0 0 0 9 10 0 0 20 0 22 0 104159931 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670857603784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21658/tid=21743] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21743/stat : 21743 (java) S 21655 21658 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104160294 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670853391912 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21766] ppid=21655 vsize=9824732 CPUtime=880.48 cores=0,2,4,6 /proc/21658/task/21766/stat : 21766 (java) R 21655 21658 21426 0 -1 4202560 44 0 0 0 88033 15 0 0 20 0 22 0 104160635 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670855487776 140670866581733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21658/tid=21767] ppid=21655 vsize=9824732 CPUtime=880.53 cores=0,2,4,6 /proc/21658/task/21767/stat : 21767 (java) R 21655 21658 21426 0 -1 4202560 1499 0 0 0 88022 31 0 0 20 0 22 0 104160635 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670854443608 140670866848844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21658/tid=21768] ppid=21655 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21658/task/21768/stat : 21768 (java) S 21655 21658 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104160635 10060525568 984113 33554432000 1073741824 1073778376 140735584646304 140670856550056 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 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 21658 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 21658 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=28418 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=130524 # CPU time returned by wait4() is 1796.16 # while last known CPU time is 1800.18 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 903.071 CPU time (s): 1800.18 CPU user time (s): 1797.47 CPU system time (s): 2.71 CPU usage (%): 199.34 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.03 system time used= 3.13052 maximum resident set size= 3965748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34737 page faults= 1 swaps= 0 block input operations= 8 block output operations= 776 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22060 involuntary context switches= 16433 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.12052 second user time and 3.54246 second system time The end
Begin job on node138 at 2016-06-06 16:11:14 IDJOB=4081232 IDBENCH=1965 IDSOLVER=2543 FILE ID=node138/4081232-1465222273 RUNJOBID= node138-1465221375-21442 PBS_JOBID= 19843229 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081232-1465222273/watcher-4081232-1465222273 -o /tmp/evaluation-result-4081232-1465222273/solver-4081232-1465222273 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081232-1465222273.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3119db8d3d273f04fc4f3b1324a85224 RANDOM SEED=447554372 node138.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.807 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.61 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.807 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.56 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.807 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.807 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.807 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.807 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.807 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.55 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.807 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: 31444036 kB Buffers: 11620 kB Cached: 98528 kB SwapCached: 46424 kB Active: 74552 kB Inactive: 85808 kB Active(anon): 5724 kB Inactive(anon): 47160 kB Active(file): 68828 kB Inactive(file): 38648 kB Unevictable: 568296 kB Mlocked: 12328 kB SwapTotal: 67108856 kB SwapFree: 67053444 kB Dirty: 17520 kB Writeback: 0 kB AnonPages: 645400 kB Mapped: 7196 kB Shmem: 0 kB Slab: 568088 kB SReclaimable: 11524 kB SUnreclaim: 556564 kB KernelStack: 1600 kB PageTables: 5316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 688284 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 628736 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node138 at 2016-06-06 16:26:17