Trace number 2658679

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB Resolution 2.2.0 2010-05-26SAT (TO)27 1800.4 1797.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_021_area_delay.opb
MD5SUM5c1765191809ee7ecd7781ce5c7fb9aa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark10.4714
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables9333
Total number of constraints28773
Number of constraints which are clauses28773
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 4585
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4585
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4585
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100526
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.22/0.21	c Pseudo Boolean Optimization
0.22/0.21	c --- Begin Solver configuration ---
0.22/0.21	c Stops conflict analysis at the first Unique Implication Point
0.22/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.22/0.21	c Learn all clauses as in MiniSAT
0.22/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.21	c Expensive reason simplification
0.22/0.21	c Armin Biere (Picosat) restarts strategy
0.22/0.21	c Glucose learned constraints deletion strategy
0.22/0.21	c timeout=2147483s
0.22/0.21	c DB Simplification allowed=false
0.22/0.21	c --- End Solver configuration ---
0.22/0.21	c solving HOME/instance-2658679-1276630603.opb
0.22/0.21	c reading problem ... 
1.98/1.26	c ... done. Wall clock time 1.049s.
1.98/1.26	c #vars     9333
1.98/1.26	c #constraints  28773
1.98/1.26	c constraints type 
1.98/1.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757
1.98/1.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125
3.62/2.12	c SATISFIABLE
3.62/2.12	c OPTIMIZING...
3.62/2.12	c Got one! Elapsed wall clock time (in seconds):1.912
3.62/2.12	o 30
5.35/3.29	c Got one! Elapsed wall clock time (in seconds):3.077
5.35/3.29	o 29
8.01/5.87	c Got one! Elapsed wall clock time (in seconds):5.658
8.01/5.87	o 28
12.16/9.99	c cleaning 2494 clauses out of 5002 with flag 5002/5002
19.11/16.87	c cleaning 4250 clauses out of 8507 with flag 11001/11001
26.81/24.55	c cleaning 5624 clauses out of 11258 with flag 18002/18002
35.21/32.95	c cleaning 6814 clauses out of 13633 with flag 26001/26001
41.43/39.13	c Got one! Elapsed wall clock time (in seconds):38.921
41.43/39.13	o 27
43.88/41.53	c cleaning 7903 clauses out of 15818 with flag 35000/35000
53.10/50.72	c cleaning 8953 clauses out of 17915 with flag 45000/45000
64.89/62.51	c cleaning 9980 clauses out of 19963 with flag 56001/56001
78.39/76.04	c cleaning 10983 clauses out of 21982 with flag 68000/68000
92.29/89.97	c cleaning 11993 clauses out of 23999 with flag 81000/81000
106.39/104.06	c cleaning 12995 clauses out of 26006 with flag 95000/95000
120.20/117.82	c cleaning 14000 clauses out of 28012 with flag 110001/110001
136.60/134.29	c cleaning 15001 clauses out of 30011 with flag 126000/126000
154.40/152.10	c cleaning 16003 clauses out of 32013 with flag 143003/143003
172.59/170.25	c cleaning 16997 clauses out of 34008 with flag 161001/161001
190.89/188.56	c cleaning 17996 clauses out of 36010 with flag 180000/180000
210.49/208.16	c cleaning 19004 clauses out of 38016 with flag 200002/200002
232.19/229.88	c cleaning 19999 clauses out of 40011 with flag 221001/221001
257.09/254.71	c cleaning 20993 clauses out of 42011 with flag 243000/243000
283.29/280.95	c cleaning 22004 clauses out of 44020 with flag 266002/266002
308.69/306.32	c cleaning 22998 clauses out of 46014 with flag 290000/290000
332.69/330.35	c cleaning 23995 clauses out of 48016 with flag 315000/315000
362.00/359.63	c cleaning 25003 clauses out of 50021 with flag 341000/341000
388.40/386.07	c cleaning 26005 clauses out of 52019 with flag 368001/368001
415.30/412.97	c cleaning 27002 clauses out of 54013 with flag 396000/396000
443.61/441.28	c cleaning 27503 clauses out of 55012 with flag 424001/424001
469.41/467.08	c cleaning 27750 clauses out of 55509 with flag 452001/452001
499.11/496.75	c cleaning 27876 clauses out of 55759 with flag 480001/480001
525.32/522.93	c cleaning 27932 clauses out of 55883 with flag 508001/508001
549.93/547.55	c cleaning 27966 clauses out of 55950 with flag 536000/536000
575.32/572.94	c cleaning 27984 clauses out of 55986 with flag 564002/564002
602.74/600.32	c cleaning 27994 clauses out of 56000 with flag 592000/592000
630.94/628.53	c cleaning 27999 clauses out of 56008 with flag 620002/620002
663.14/660.72	c cleaning 27997 clauses out of 56008 with flag 648001/648001
690.75/688.39	c cleaning 28000 clauses out of 56011 with flag 676001/676001
718.05/715.68	c cleaning 28000 clauses out of 56010 with flag 704000/704000
747.27/744.87	c cleaning 27993 clauses out of 56010 with flag 732000/732000
778.75/776.34	c cleaning 27998 clauses out of 56017 with flag 760000/760000
806.97/804.50	c cleaning 28001 clauses out of 56021 with flag 788002/788002
832.27/829.82	c cleaning 28002 clauses out of 56019 with flag 816001/816001
858.66/856.27	c cleaning 27997 clauses out of 56021 with flag 844005/844005
884.88/882.44	c cleaning 27994 clauses out of 56020 with flag 872001/872001
912.07/909.65	c cleaning 28006 clauses out of 56025 with flag 900000/900000
938.78/936.36	c cleaning 27998 clauses out of 56020 with flag 928001/928001
966.39/963.96	c cleaning 28003 clauses out of 56022 with flag 956001/956001
995.48/993.06	c cleaning 27993 clauses out of 56018 with flag 984000/984000
1026.28/1023.87	c cleaning 27998 clauses out of 56025 with flag 1012000/1012000
1055.99/1053.54	c cleaning 28003 clauses out of 56027 with flag 1040000/1040000
1087.10/1084.64	c cleaning 27998 clauses out of 56024 with flag 1068000/1068000
1118.80/1116.32	c cleaning 28006 clauses out of 56026 with flag 1096000/1096000
1151.29/1148.81	c cleaning 28004 clauses out of 56021 with flag 1124001/1124001
1184.11/1181.67	c cleaning 27993 clauses out of 56017 with flag 1152001/1152001
1217.11/1214.68	c cleaning 28005 clauses out of 56024 with flag 1180001/1180001
1247.11/1244.63	c cleaning 27996 clauses out of 56018 with flag 1208000/1208000
1276.61/1274.20	c cleaning 27997 clauses out of 56022 with flag 1236000/1236000
1305.61/1303.18	c cleaning 28002 clauses out of 56025 with flag 1264000/1264000
1335.21/1332.71	c cleaning 28000 clauses out of 56023 with flag 1292000/1292000
1364.72/1362.27	c cleaning 27997 clauses out of 56023 with flag 1320000/1320000
1393.62/1391.11	c cleaning 28009 clauses out of 56026 with flag 1348000/1348000
1422.74/1420.26	c cleaning 27999 clauses out of 56017 with flag 1376000/1376000
1449.14/1446.64	c cleaning 27997 clauses out of 56019 with flag 1404001/1404001
1476.93/1474.46	c cleaning 27999 clauses out of 56022 with flag 1432001/1432001
1506.73/1504.22	c cleaning 28005 clauses out of 56023 with flag 1460001/1460001
1532.44/1529.93	c cleaning 27997 clauses out of 56018 with flag 1488001/1488001
1558.14/1555.60	c cleaning 28005 clauses out of 56023 with flag 1516003/1516003
1586.75/1584.25	c cleaning 28000 clauses out of 56016 with flag 1544001/1544001
1616.26/1613.79	c cleaning 27999 clauses out of 56018 with flag 1572003/1572003
1646.75/1644.27	c cleaning 27995 clauses out of 56016 with flag 1600000/1600000
1677.26/1674.75	c cleaning 28000 clauses out of 56022 with flag 1628001/1628001
1712.26/1709.73	c cleaning 28004 clauses out of 56021 with flag 1656000/1656000
1745.69/1743.12	c cleaning 27988 clauses out of 56017 with flag 1684000/1684000
1781.68/1779.13	c cleaning 28010 clauses out of 56033 with flag 1712004/1712004
1800.09/1797.52	c starts		: 213
1800.09/1797.52	c conflicts		: 1726105
1800.09/1797.52	c decisions		: 5863056
1800.09/1797.52	c propagations		: 3059934299
1800.09/1797.52	c inspects		: 3305235242
1800.09/1797.52	c learnt literals	: 0
1800.09/1797.52	c learnt binary clauses	: 0
1800.09/1797.52	c learnt ternary clauses	: 1
1800.09/1797.52	c learnt clauses	: 1726105
1800.09/1797.52	c ignored clauses	: 0
1800.09/1797.52	c root simplifications	: 0
1800.09/1797.52	c removed literals (reason simplification)	: 3605143
1800.09/1797.52	c reason swapping (by a shorter reason)	: 0
1800.09/1797.52	c Calls to reduceDB	: 71
1800.09/1797.52	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.52	c number of learned constraints concerned by reduction	: 0
1800.09/1797.52	c number of learning phase by resolution	: 0
1800.09/1797.52	c number of learning phase by cutting planes	: 0
1800.09/1797.52	c speed (assignments/second)	: 1740221.8766350464
1800.09/1797.52	c non guided choices	11249
1800.09/1797.58	c learnt constraints type 
1800.09/1797.58	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 42150
1800.09/1797.58	c constraints type 
1800.09/1797.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757
1800.09/1797.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1797.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125
1800.09/1797.58	s SATISFIABLE
1800.09/1797.60	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 
1800.28/1797.64	c objective function=27
1800.28/1797.64	c Total wall clock time (in seconds): 1797.428

Verifier Data 

OK	27

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658679-1276630603/watcher-2658679-1276630603 -o /tmp/evaluation-result-2658679-1276630603/solver-2658679-1276630603 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658679-1276630603.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 1.00 3/106 11554
/proc/meminfo: memFree=1732900/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1832 CPUtime=0
/proc/11554/stat : 11554 (java6) S 11552 11554 11408 0 -1 4194304 245 0 0 0 0 0 0 0 16 0 1 0 4351130 1875968 148 1992294400 134512640 134550932 4288129808 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699383486 0 0 17 1 0 0 0
/proc/11554/statm: 458 148 111 10 0 63 0

[startup+0.102459 s]
/proc/loadavg: 1.00 0.99 1.00 3/106 11554
/proc/meminfo: memFree=1732900/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1524184 CPUtime=0.08
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 3962 0 1 0 6 2 0 0 15 0 12 0 4351130 1560764416 3401 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 381046 3401 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.20147 s]
/proc/loadavg: 1.00 0.99 1.00 3/106 11554
/proc/meminfo: memFree=1732900/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1526088 CPUtime=0.22
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 5004 0 1 0 19 3 0 0 15 0 12 0 4351130 1562714112 4441 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 381522 4441 1345 10 0 378824 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 1526088

[startup+0.301478 s]
/proc/loadavg: 1.00 0.99 1.00 3/106 11554
/proc/meminfo: memFree=1732900/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1526544 CPUtime=0.34
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 5389 0 1 0 31 3 0 0 15 0 12 0 4351130 1563181056 4826 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 381636 4826 1361 10 0 378938 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1526544

[startup+0.701513 s]
/proc/loadavg: 1.00 0.99 1.00 3/106 11554
/proc/meminfo: memFree=1732900/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1529220 CPUtime=1.1
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 7948 0 1 0 106 4 0 0 15 0 12 0 4351130 1565921280 7344 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 382305 7344 1402 10 0 379607 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 1529220

[startup+1.50158 s]
/proc/loadavg: 1.00 0.99 1.00 4/118 11566
/proc/meminfo: memFree=1682896/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1530108 CPUtime=2.42
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 19168 0 1 0 233 9 0 0 15 0 12 0 4351130 1566830592 18167 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 382527 18167 1420 10 0 379829 0
[pid=11554/tid=11556] ppid=11552 vsize=1530108 CPUtime=1.46
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 16072 0 1 0 139 7 0 0 25 0 12 0 4351132 1566830592 18167 1992294400 134512640 134550932 4291152912 18446744073709551615 4108964328 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1530108 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 4351133 1566830592 18167 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1530108 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 4351133 1566830592 18168 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1530108 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 4351135 1566830592 18168 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1530108 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 4351135 1566830592 18168 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1530108 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 12 0 4351135 1566830592 18168 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1530108 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 4351140 1566830592 18168 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1530108 CPUtime=0.12
/proc/11554/task/11563/stat : 11563 (java) R 11552 11554 11408 0 -1 4202560 139 0 0 0 12 0 0 0 16 0 12 0 4351140 1566830592 18169 1992294400 134512640 134550932 4291152912 18446744073709551615 105787600 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1530108 CPUtime=0.82
/proc/11554/task/11564/stat : 11564 (java) R 11552 11554 11408 0 -1 4202560 1893 0 0 0 82 0 0 0 16 0 12 0 4351140 1566830592 18169 1992294400 134512640 134550932 4291152912 18446744073709551615 104140803 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1530108 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 4351140 1566830592 18169 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1530108 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 4351140 1566830592 18169 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 1530108

[startup+3.10271 s]
/proc/loadavg: 1.00 0.99 1.00 4/119 11567
/proc/meminfo: memFree=1655112/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1533980 CPUtime=5.25
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 22867 0 1 0 514 11 0 0 15 0 13 0 4351130 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383495 20785 1433 10 0 380797 0
[pid=11554/tid=11556] ppid=11552 vsize=1533980 CPUtime=3.02
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 17686 0 1 0 294 8 0 0 25 0 13 0 4351132 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4109235358 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 4351133 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 4351133 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 4351135 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 4351135 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 13 0 4351135 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 4351140 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1533980 CPUtime=0.75
/proc/11554/task/11563/stat : 11563 (java) S 11552 11554 11408 0 -1 4202560 587 0 0 0 75 0 0 0 15 0 13 0 4351140 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1533980 CPUtime=1.44
/proc/11554/task/11564/stat : 11564 (java) S 11552 11554 11408 0 -1 4202560 3525 0 0 0 144 0 0 0 15 0 13 0 4351140 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 4351140 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 4351140 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11567] ppid=11552 vsize=1533980 CPUtime=0
/proc/11554/task/11567/stat : 11567 (java) S 11552 11554 11408 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4351284 1570795520 20785 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 1533980

[startup+6.30199 s]
/proc/loadavg: 1.24 1.04 1.02 2/119 11567
/proc/meminfo: memFree=1649160/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1532440 CPUtime=8.54
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 25802 0 1 0 843 11 0 0 15 0 13 0 4351130 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383110 23376 1433 10 0 380412 0
[pid=11554/tid=11556] ppid=11552 vsize=1532440 CPUtime=6.19
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 20617 0 1 0 610 9 0 0 25 0 13 0 4351132 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4109416755 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 4351133 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 4351133 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 4351135 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 4351135 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 13 0 4351135 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 4351140 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1532440 CPUtime=0.86
/proc/11554/task/11563/stat : 11563 (java) S 11552 11554 11408 0 -1 4202560 591 0 0 0 86 0 0 0 15 0 13 0 4351140 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1532440 CPUtime=1.45
/proc/11554/task/11564/stat : 11564 (java) S 11552 11554 11408 0 -1 4202560 3525 0 0 0 145 0 0 0 15 0 13 0 4351140 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 4351140 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 4351140 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11567] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11567/stat : 11567 (java) S 11552 11554 11408 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4351284 1569218560 23376 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.54
Current children cumulated vsize (KiB) 1532440

[startup+12.7015 s]
/proc/loadavg: 1.22 1.04 1.02 3/119 11567
/proc/meminfo: memFree=1633660/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1532440 CPUtime=14.98
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 28376 0 1 0 1485 13 0 0 15 0 13 0 4351130 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383110 25944 1447 10 0 380412 0
[pid=11554/tid=11556] ppid=11552 vsize=1532440 CPUtime=12.49
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 20801 0 1 0 1240 9 0 0 25 0 13 0 4351132 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4109416652 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1532440 CPUtime=0.01
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 644 0 0 0 1 0 0 0 16 0 13 0 4351133 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1532440 CPUtime=0.01
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 487 0 0 0 1 0 0 0 18 0 13 0 4351133 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1532440 CPUtime=0.04
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 1254 0 0 0 4 0 0 0 15 0 13 0 4351135 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 4351140 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1532440 CPUtime=0.9
/proc/11554/task/11563/stat : 11563 (java) S 11552 11554 11408 0 -1 4202560 597 0 0 0 90 0 0 0 15 0 13 0 4351140 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1532440 CPUtime=1.46
/proc/11554/task/11564/stat : 11564 (java) S 11552 11554 11408 0 -1 4202560 3527 0 0 0 146 0 0 0 15 0 13 0 4351140 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 4351140 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 4351140 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11567] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11567/stat : 11567 (java) S 11552 11554 11408 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4351284 1569218560 25944 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.98
Current children cumulated vsize (KiB) 1532440

[startup+25.5016 s]
/proc/loadavg: 1.17 1.03 1.01 2/119 11567
/proc/meminfo: memFree=1631552/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1532440 CPUtime=27.81
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 28907 0 1 0 2768 13 0 0 15 0 13 0 4351130 1569218560 26473 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383110 26473 1447 10 0 380412 0
[pid=11554/tid=11556] ppid=11552 vsize=1532440 CPUtime=25.12
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 20803 0 1 0 2503 9 0 0 25 0 13 0 4351132 1569218560 26473 1992294400 134512640 134550932 4291152912 18446744073709551615 4109234952 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1532440 CPUtime=0.03
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 782 0 0 0 3 0 0 0 16 0 13 0 4351133 1569218560 26473 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1532440 CPUtime=0.02
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 587 0 0 0 2 0 0 0 18 0 13 0 4351133 1569218560 26473 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1532440 CPUtime=0.12
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 1537 0 0 0 12 0 0 0 16 0 13 0 4351135 1569218560 26473 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1532440 CPUtime=0

################
# More data... #
################

[pid=11554] ppid=11552 vsize=1532440 CPUtime=1664.86
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 35502 0 1 0 166443 43 0 0 15 0 13 0 4351130 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383110 32798 1447 10 0 380412 0
[pid=11554/tid=11556] ppid=11552 vsize=1532440 CPUtime=1656.66
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 20867 0 1 0 165632 34 0 0 25 0 13 0 4351132 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4109374296 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1532440 CPUtime=0.72
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 1800 0 0 0 71 1 0 0 15 0 13 0 4351133 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1532440 CPUtime=0.64
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 1709 0 0 0 63 1 0 0 16 0 13 0 4351133 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1532440 CPUtime=4.2
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 5822 0 0 0 418 2 0 0 15 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1532440 CPUtime=1.01
/proc/11554/task/11563/stat : 11563 (java) S 11552 11554 11408 0 -1 4202560 606 0 0 0 101 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1532440 CPUtime=1.55
/proc/11554/task/11564/stat : 11564 (java) S 11552 11554 11408 0 -1 4202560 3536 0 0 0 155 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11567] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11567/stat : 11567 (java) S 11552 11554 11408 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4351284 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1664.86
Current children cumulated vsize (KiB) 1532440

[startup+1722.3 s]
/proc/loadavg: 1.10 1.04 1.01 2/119 11620
/proc/meminfo: memFree=1603900/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1532440 CPUtime=1724.88
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 35510 0 1 0 172445 43 0 0 15 0 13 0 4351130 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383110 32798 1447 10 0 380412 0
[pid=11554/tid=11556] ppid=11552 vsize=1532440 CPUtime=1716.46
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 20868 0 1 0 171611 35 0 0 25 0 13 0 4351132 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4109374301 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1532440 CPUtime=0.74
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 1800 0 0 0 73 1 0 0 16 0 13 0 4351133 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1532440 CPUtime=0.66
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 1709 0 0 0 65 1 0 0 15 0 13 0 4351133 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1532440 CPUtime=4.36
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 5823 0 0 0 434 2 0 0 15 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1532440 CPUtime=1.01
/proc/11554/task/11563/stat : 11563 (java) S 11552 11554 11408 0 -1 4202560 606 0 0 0 101 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1532440 CPUtime=1.58
/proc/11554/task/11564/stat : 11564 (java) S 11552 11554 11408 0 -1 4202560 3538 0 0 0 158 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11567] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11567/stat : 11567 (java) S 11552 11554 11408 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4351284 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.88
Current children cumulated vsize (KiB) 1532440

[startup+1782.3 s]
/proc/loadavg: 1.09 1.04 1.01 2/119 11622
/proc/meminfo: memFree=1603776/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1532440 CPUtime=1784.88
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 35518 0 1 0 178444 44 0 0 15 0 13 0 4351130 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383110 32798 1447 10 0 380412 0
[pid=11554/tid=11556] ppid=11552 vsize=1532440 CPUtime=1776.28
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 20870 0 1 0 177593 35 0 0 25 0 13 0 4351132 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4109234850 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1532440 CPUtime=0.76
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 1800 0 0 0 75 1 0 0 16 0 13 0 4351133 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1532440 CPUtime=0.68
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 1709 0 0 0 67 1 0 0 15 0 13 0 4351133 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1532440 CPUtime=4.49
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 5827 0 0 0 447 2 0 0 15 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1532440 CPUtime=1.01
/proc/11554/task/11563/stat : 11563 (java) S 11552 11554 11408 0 -1 4202560 606 0 0 0 101 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1532440 CPUtime=1.58
/proc/11554/task/11564/stat : 11564 (java) S 11552 11554 11408 0 -1 4202560 3538 0 0 0 158 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11567] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11567/stat : 11567 (java) S 11552 11554 11408 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4351284 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.88
Current children cumulated vsize (KiB) 1532440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 1.06 1.04 1.01 2/119 11622
/proc/meminfo: memFree=1603776/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1532440 CPUtime=1800.09
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 35520 0 1 0 179965 44 0 0 15 0 13 0 4351130 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383110 32798 1447 10 0 380412 0
[pid=11554/tid=11556] ppid=11552 vsize=1532440 CPUtime=1791.49
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 20870 0 1 0 179114 35 0 0 25 0 13 0 4351132 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4109387462 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1532440 CPUtime=0.76
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 1800 0 0 0 75 1 0 0 16 0 13 0 4351133 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1532440 CPUtime=0.68
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 1709 0 0 0 67 1 0 0 15 0 13 0 4351133 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1532440 CPUtime=4.49
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 5827 0 0 0 447 2 0 0 15 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 4351135 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1532440 CPUtime=1.01
/proc/11554/task/11563/stat : 11563 (java) S 11552 11554 11408 0 -1 4202560 606 0 0 0 101 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1532440 CPUtime=1.58
/proc/11554/task/11564/stat : 11564 (java) S 11552 11554 11408 0 -1 4202560 3538 0 0 0 158 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 4351140 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11567] ppid=11552 vsize=1532440 CPUtime=0
/proc/11554/task/11567/stat : 11567 (java) S 11552 11554 11408 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4351284 1569218560 32798 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1532440

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1797.62 s]
/proc/loadavg: 1.06 1.04 1.01 2/119 11622
/proc/meminfo: memFree=1603776/2059040 swapFree=4192956/4192956
[pid=11554] ppid=11552 vsize=1533088 CPUtime=1800.28
/proc/11554/stat : 11554 (java) S 11552 11554 11408 0 -1 4202496 35539 0 1 0 179984 44 0 0 15 0 15 0 4351130 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11554/statm: 383272 32815 1447 10 0 380574 0
[pid=11554/tid=11556] ppid=11552 vsize=1533088 CPUtime=1791.59
/proc/11554/task/11556/stat : 11556 (java) R 11552 11554 11408 0 -1 4202560 20870 0 1 0 179124 35 0 0 25 0 15 0 4351132 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4109245811 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=1533088 CPUtime=0.76
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 11408 0 -1 4202560 1800 0 0 0 75 1 0 0 16 0 15 0 4351133 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=1533088 CPUtime=0.68
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 11408 0 -1 4202560 1709 0 0 0 67 1 0 0 15 0 15 0 4351133 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=1533088 CPUtime=4.49
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 11408 0 -1 4202560 5827 0 0 0 447 2 0 0 15 0 15 0 4351135 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 0 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=1533088 CPUtime=0
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 11408 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 15 0 4351135 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=1533088 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 11408 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 15 0 4351135 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=1533088 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 11408 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 15 0 4351140 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11563] ppid=11552 vsize=1533088 CPUtime=1.01
/proc/11554/task/11563/stat : 11563 (java) S 11552 11554 11408 0 -1 4202560 606 0 0 0 101 0 0 0 15 0 15 0 4351140 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
[pid=11554/tid=11564] ppid=11552 vsize=1533088 CPUtime=1.63
/proc/11554/task/11564/stat : 11564 (java) S 11552 11554 11408 0 -1 4202560 3539 0 0 0 163 0 0 0 15 0 15 0 4351140 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11565] ppid=11552 vsize=1533088 CPUtime=0
/proc/11554/task/11565/stat : 11565 (java) S 11552 11554 11408 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 15 0 4351140 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11566] ppid=11552 vsize=1533088 CPUtime=0
/proc/11554/task/11566/stat : 11566 (java) S 11552 11554 11408 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 15 0 4351140 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 0 0 0 0
[pid=11554/tid=11567] ppid=11552 vsize=1533088 CPUtime=0
/proc/11554/task/11567/stat : 11567 (java) S 11552 11554 11408 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 4351284 1569882112 32815 1992294400 134512640 134550932 4291152912 18446744073709551615 4294960144 0 4 0 16800975 18446604437835764032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 1533088

Child status: 143
Real time (s): 1797.7
CPU time (s): 1800.4
CPU user time (s): 1799.94
CPU system time (s): 0.461929
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 1535276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.461929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35543
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37438
involuntary context switches= 18370

runsolver used 3.98339 second user time and 9.2066 second system time

The end

Launcher Data 

Begin job on node057 at 2010-06-15 21:36:43
IDJOB=2658679
IDBENCH=24975
IDSOLVER=1164
FILE ID=node057/2658679-1276630603
PBS_JOBID= 11172359
Free space on /tmp= 62532 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658679-1276630603/watcher-2658679-1276630603 -o /tmp/evaluation-result-2658679-1276630603/solver-2658679-1276630603 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658679-1276630603.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa
RANDOM SEED=1086904341

node057.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1733172 kB
Buffers:         50336 kB
Cached:         139840 kB
SwapCached:          0 kB
Active:         117180 kB
Inactive:       132292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1733172 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1156 kB
Writeback:           0 kB
AnonPages:       59364 kB
Mapped:          15464 kB
Slab:            54412 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180596 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node057 at 2010-06-15 22:06:43