Trace number 3454515

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 Res//CP 2.3.0SAT (TO)7726 1800.4 907.529

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM2b9af9044591fd3eb9f5def12c800cff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7677
Best CPU time to get the best result obtained on this benchmark8.15776
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7680
Optimality of the best value was proved NO
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
Number of bits of the biggest sum of numbers20
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454515-1307188030.opb
0.10/0.11	c reading problem ... 
1.43/0.61	c ... done. Wall clock time 0.504s.
1.43/0.61	c #vars     10724
1.43/0.61	c #constraints  2045
1.43/0.61	c constraints type 
1.43/0.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 523
1.43/0.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 1139
1.43/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 383
1.43/0.61	c constraints type 
1.43/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 523
1.43/0.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1139
1.43/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 383
3.67/1.22	c cleaning 2430 clauses out of 4862 with flag 5000/5000
4.36/1.59	c cleaning 3929 clauses out of 8310 with flag 11000/11000
5.25/2.00	c cleaning 5461 clauses out of 11157 with flag 18001/18001
6.50/2.54	c cleaning 6707 clauses out of 13413 with flag 26000/26000
7.74/3.18	c cleaning 7666 clauses out of 15338 with flag 35002/35002
9.13/3.89	c  And the winner is CuttingPlanes
9.38/4.21	c SATISFIABLE
9.38/4.21	c OPTIMIZING...
9.38/4.21	c Got one! Elapsed wall clock time (in seconds):4.1
9.38/4.21	o 10263
12.41/5.79	c cleaning 11096 clauses out of 22218 with flag 5001/49817
15.68/7.36	c  And the winner is CuttingPlanes
15.95/7.80	c Got one! Elapsed wall clock time (in seconds):7.692
15.95/7.80	o 9934
16.72/8.29	c cleaning 7729 clauses out of 16901 with flag 1000/55693
18.88/9.30	c  And the winner is CuttingPlanes
18.95/9.43	c Got one! Elapsed wall clock time (in seconds):9.318
18.95/9.43	o 8905
20.53/10.25	c  And the winner is CuttingPlanes
20.72/10.51	c Got one! Elapsed wall clock time (in seconds):10.398
20.72/10.51	o 8116
21.84/11.07	c  And the winner is CuttingPlanes
21.96/11.58	c Got one! Elapsed wall clock time (in seconds):11.471
21.96/11.58	o 7926
22.44/11.84	c  And the winner is CuttingPlanes
22.58/12.15	c Got one! Elapsed wall clock time (in seconds):12.042
22.58/12.15	o 7726
29.89/15.84	c cleaning 5822 clauses out of 15626 with flag 2001/62405
36.61/19.20	c cleaning 5209 clauses out of 15694 with flag 8014/68418
49.15/25.53	c cleaning 5883 clauses out of 17143 with flag 15003/75407
57.67/29.87	c cleaning 7254 clauses out of 19131 with flag 23002/83406
68.44/35.30	c cleaning 8323 clauses out of 20758 with flag 32007/92411
79.12/40.70	c cleaning 9166 clauses out of 22313 with flag 42000/102404
88.99/45.64	c cleaning 9211 clauses out of 23103 with flag 52011/112415
102.70/52.59	c cleaning 9180 clauses out of 23811 with flag 62000/122404
127.99/65.24	c cleaning 9467 clauses out of 24558 with flag 72005/132409
158.40/80.56	c cleaning 9762 clauses out of 25056 with flag 82012/142416
176.05/89.45	c cleaning 9463 clauses out of 25254 with flag 92006/152410
193.68/98.32	c cleaning 9403 clauses out of 25727 with flag 102001/162405
226.10/114.69	c cleaning 9717 clauses out of 26281 with flag 112000/172404
239.84/121.62	c cleaning 9358 clauses out of 26522 with flag 122000/182404
278.51/141.00	c cleaning 9720 clauses out of 27141 with flag 132009/192413
320.90/162.38	c cleaning 9892 clauses out of 27398 with flag 142008/202412
335.48/169.76	c cleaning 9621 clauses out of 27477 with flag 152000/212404
360.54/182.41	c cleaning 9777 clauses out of 27848 with flag 162010/222414
374.52/189.58	c cleaning 9482 clauses out of 28023 with flag 172000/232404
391.89/198.40	c cleaning 9583 clauses out of 28501 with flag 182002/242406
424.27/214.63	c cleaning 9963 clauses out of 28907 with flag 192006/252410
476.37/240.89	c cleaning 9977 clauses out of 28943 with flag 202009/262413
489.34/247.50	c cleaning 9566 clauses out of 28945 with flag 212001/272405
519.08/262.40	c cleaning 9890 clauses out of 29358 with flag 222000/282404
535.83/270.97	c cleaning 9588 clauses out of 29455 with flag 232001/292405
583.09/294.75	c cleaning 9958 clauses out of 29861 with flag 242000/302404
625.64/316.14	c cleaning 9877 clauses out of 29895 with flag 252001/312405
669.03/337.93	c cleaning 10108 clauses out of 30013 with flag 262000/322404
683.98/345.52	c cleaning 9544 clauses out of 29895 with flag 272005/332409
707.99/357.79	c cleaning 9824 clauses out of 30341 with flag 282001/342405
745.18/376.42	c cleaning 10052 clauses out of 30504 with flag 292005/352409
799.16/403.56	c cleaning 9797 clauses out of 30441 with flag 302000/362404
844.72/426.46	c cleaning 9928 clauses out of 30632 with flag 312000/372404
884.60/446.61	c cleaning 9915 clauses out of 30699 with flag 322000/382404
929.34/469.09	c cleaning 9991 clauses out of 30785 with flag 332001/392405
963.56/486.25	c cleaning 9871 clauses out of 30790 with flag 342002/402406
977.46/493.39	c cleaning 9850 clauses out of 30918 with flag 352012/412416
1025.67/517.63	c cleaning 9939 clauses out of 31056 with flag 362002/422406
1058.03/533.92	c cleaning 9904 clauses out of 31112 with flag 372000/432404
1102.79/556.50	c cleaning 9976 clauses out of 31205 with flag 382000/442404
1185.75/598.02	c cleaning 9953 clauses out of 31225 with flag 392000/452404
1239.79/625.24	c cleaning 10007 clauses out of 31272 with flag 402000/462404
1293.36/652.12	c cleaning 10054 clauses out of 31263 with flag 412001/472405
1324.90/668.05	c cleaning 9872 clauses out of 31208 with flag 422001/482405
1372.54/691.98	c cleaning 9999 clauses out of 31335 with flag 432000/492404
1419.90/715.83	c cleaning 10003 clauses out of 31338 with flag 442002/502406
1435.67/723.88	c cleaning 9728 clauses out of 31324 with flag 452002/512406
1457.78/735.09	c cleaning 9919 clauses out of 31573 with flag 462000/522404
1486.71/749.64	c cleaning 9922 clauses out of 31654 with flag 472001/532405
1530.90/771.96	c cleaning 9848 clauses out of 31730 with flag 482000/542404
1556.44/784.84	c cleaning 9867 clauses out of 31875 with flag 492000/552404
1673.85/843.65	c cleaning 9903 clauses out of 32007 with flag 502001/562405
1738.52/876.14	c cleaning 9964 clauses out of 32103 with flag 512004/572408
1785.83/900.01	c cleaning 9919 clauses out of 32135 with flag 522000/582404
1800.09/907.32	c starts		: 9
1800.09/907.32	c conflicts		: 4027
1800.09/907.32	c decisions		: 663621
1800.09/907.32	c propagations		: 2159791
1800.09/907.32	c inspects		: 32864931
1800.09/907.32	c shortcuts		: 0
1800.09/907.32	c learnt literals	: 1
1800.09/907.32	c learnt binary clauses	: 7
1800.09/907.32	c learnt ternary clauses	: 4
1800.09/907.32	c learnt constraints	: 4025
1800.09/907.32	c ignored constraints	: 0
1800.09/907.32	c root simplifications	: 0
1800.09/907.32	c removed literals (reason simplification)	: 0
1800.09/907.32	c reason swapping (by a shorter reason)	: 0
1800.09/907.32	c Calls to reduceDB	: 0
1800.09/907.32	c number of reductions to clauses (during analyze)	: 0
1800.09/907.32	c number of learned constraints concerned by reduction	: 0
1800.09/907.32	c number of learning phase by resolution	: 0
1800.09/907.32	c number of learning phase by cutting planes	: 0
1800.09/907.32	c speed (assignments/second)	: 2412.7483639759685
1800.09/907.32	c non guided choices	165
1800.09/907.33	c learnt constraints type 
1800.09/907.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4025
1800.09/907.33	c constraints type 
1800.09/907.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 523
1800.09/907.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 1139
1800.09/907.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 384
1800.09/907.33	c constraints type 
1800.09/907.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 523
1800.09/907.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1139
1800.09/907.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 384
1800.09/907.33	s SATISFIABLE
1800.09/907.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 x3576 -x3577 -x3578 -x3579 -x3580 x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 x4962 -x4963 -x4964 -x4965 -x4966 x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 x5678 -x5679 -x5680 -x5681 -x5682 x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 x6092 -x6093 x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 x6240 x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 x6453 -x6454 -x6455 -x6456 -x6457 x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 x6618 x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 x6653 -x6654 -x6655 -x6656 x6657 -x6658 -x6659 -x6660 x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 x6758 -x6759 -x6760 -x6761 x6762 -x6763 -x6764 -x6765 x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 x7041 -x7042 x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 x7101 -x7102 -x7103 -x7104 -x7105 x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 x7167 -x7168 x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 x7415 -x7416 -x7417 -x7418 -x7419 x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 x7544 -x7545 -x7546 -x7547 -x7548 x7549 -x7550 -x7551 -x7552 -x7553 x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 x7699 -x7700 -x7701 -x7702 -x7703 x7704 -x7705 -x7706 -x7707 -x7708 x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 x7784 -x7785 -x7786 -x7787 -x7788 x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 x7932 -x7933 x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 x8060 -x8061 -x8062 -x8063 -x8064 x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 x8128 -x8129 x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 x8227 -x8228 -x8229 x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 -x8472 -x8473 x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 x8605 -x8606 x8607 -x8608 -x8609 -x8610 -x8611 x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 x9276 -x9277 -x9278 -x9279 -x9280 x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 x9470 -x9471 -x9472 -x9473 -x9474 x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 x9622 -x9623 -x9624 -x9625 -x9626 x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 x9923 -x9924 -x9925 -x9926 -x9927 x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 x10022 -x10023 -x10024 -x10025 -x10026 x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 x10271 -x10272 -x10273 -x10274 x10275 -x10276 -x10277 -x10278 x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 x10373 -x10374 -x10375 -x10376 x10377 -x10378 -x10379 -x10380 x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 x10530 -x10531 -x10532 -x10533 -x10534 x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 x10620 -x10621 -x10622 -x10623 -x10624 x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 x10674 -x10675 -x10676 -x10677 x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 
1800.09/907.36	c objective function=7726
1800.09/907.36	c Total wall clock time (in seconds): 907.249

Verifier Data

OK	7726

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454515-1307188030/watcher-3454515-1307188030 -o /tmp/evaluation-result-3454515-1307188030/solver-3454515-1307188030 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454515-1307188030.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.32 2.02 1.85 3/502 16251
/proc/meminfo: memFree=26917204/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 3980 0 1 0 0 0 0 0 25 0 2 0 830402677 10694979584 3683 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2611079 3697 917 9 0 2602235 0
[pid=16251/tid=16252] ppid=16249 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) R 16249 16251 13533 0 -1 4202560 4928 0 1 0 0 0 0 0 25 0 2 0 830402678 10694979584 5745 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.055696 s]
/proc/loadavg: 3.32 2.02 1.85 3/502 16251
/proc/meminfo: memFree=26917204/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10533152 CPUtime=0.04 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 11464 0 1 0 3 1 0 0 25 0 13 0 830402677 10785947648 11162 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2633288 11163 1685 9 0 2624036 0
[pid=16251/tid=16252] ppid=16249 vsize=10533152 CPUtime=0.04 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) R 16249 16251 13533 0 -1 4202560 10317 0 1 0 3 1 0 0 25 0 13 0 830402678 10785947648 11163 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092059083 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533152

[startup+0.100686 s]
/proc/loadavg: 3.32 2.02 1.85 3/502 16251
/proc/meminfo: memFree=26917204/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10539972 CPUtime=0.1 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 13059 0 1 0 8 2 0 0 25 0 18 0 830402677 10792931328 12718 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2634993 12718 2093 9 0 2625727 0
[pid=16251/tid=16252] ppid=16249 vsize=10539972 CPUtime=0.08 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) R 16249 16251 13533 0 -1 4202560 11101 0 1 0 7 1 0 0 25 0 18 0 830402678 10792931328 12718 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 47794454204967 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539972

[startup+0.300648 s]
/proc/loadavg: 3.32 2.02 1.85 3/502 16251
/proc/meminfo: memFree=26917204/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10545160 CPUtime=0.53 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 21685 0 1 0 50 3 0 0 25 0 18 0 830402677 10798243840 19942 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2636290 19942 2204 9 0 2627024 0
[pid=16251/tid=16252] ppid=16249 vsize=10545160 CPUtime=0.28 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) R 16249 16251 13533 0 -1 4202560 16199 0 1 0 26 2 0 0 25 0 18 0 830402678 10798243840 19942 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912505215955 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10545160

[startup+0.700574 s]
/proc/loadavg: 3.32 2.02 1.85 3/502 16251
/proc/meminfo: memFree=26917204/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10563056 CPUtime=1.8 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 64092 0 1 0 174 6 0 0 25 0 20 0 830402677 10816569344 56451 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2640764 56451 2223 9 0 2631498 0
[pid=16251/tid=16252] ppid=16249 vsize=10563056 CPUtime=0.6 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) S 16249 16251 13533 0 -1 4202560 45480 0 1 0 56 4 0 0 25 0 20 0 830402678 10816569344 56452 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10563056

[startup+1.50143 s]
/proc/loadavg: 3.32 2.02 1.85 7/524 16273
/proc/meminfo: memFree=26679588/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10630648 CPUtime=4.36 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 102256 0 1 0 424 12 0 0 25 0 22 0 830402677 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2657662 90176 2265 9 0 2648396 0
[pid=16251/tid=16252] ppid=16249 vsize=10630648 CPUtime=0.6 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) S 16249 16251 13533 0 -1 4202560 45480 0 1 0 56 4 0 0 20 0 22 0 830402678 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16254] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16254/stat : 16254 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830402680 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16255] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16255/stat : 16255 (java) S 16249 16251 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830402680 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16256] ppid=16249 vsize=10630648 CPUtime=0.01 cores=1,3,5,7
/proc/16251/task/16256/stat : 16256 (java) S 16249 16251 13533 0 -1 4202560 959 0 0 0 1 0 0 0 18 0 22 0 830402680 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16257] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16257/stat : 16257 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830402680 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16258] ppid=16249 vsize=10630648 CPUtime=0.01 cores=1,3,5,7
/proc/16251/task/16258/stat : 16258 (java) S 16249 16251 13533 0 -1 4202560 790 0 0 0 1 0 0 0 18 0 22 0 830402680 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16259] ppid=16249 vsize=10630648 CPUtime=0.01 cores=1,3,5,7
/proc/16251/task/16259/stat : 16259 (java) S 16249 16251 13533 0 -1 4202560 733 0 0 0 1 0 0 0 18 0 22 0 830402680 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16260] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16260/stat : 16260 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830402680 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16261] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16261/stat : 16261 (java) S 16249 16251 13533 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830402680 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16262] ppid=16249 vsize=10630648 CPUtime=0.03 cores=1,3,5,7
/proc/16251/task/16262/stat : 16262 (java) S 16249 16251 13533 0 -1 4202560 2477 0 0 0 3 0 0 0 16 0 22 0 830402681 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 0 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16263] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16263/stat : 16263 (java) S 16249 16251 13533 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830402681 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16264] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16264/stat : 16264 (java) S 16249 16251 13533 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830402681 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16265] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16265/stat : 16265 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092055985 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16266] ppid=16249 vsize=10630648 CPUtime=1.04 cores=1,3,5,7
/proc/16251/task/16266/stat : 16266 (java) S 16249 16251 13533 0 -1 4202560 13254 0 0 0 103 1 0 0 24 0 22 0 830402683 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16267] ppid=16249 vsize=10630648 CPUtime=0.98 cores=1,3,5,7
/proc/16251/task/16267/stat : 16267 (java) S 16249 16251 13533 0 -1 4202560 8113 0 0 0 98 0 0 0 16 0 22 0 830402683 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16268] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16268/stat : 16268 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16269] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16269/stat : 16269 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830402683 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16270] ppid=16249 vsize=10630648 CPUtime=0.81 cores=1,3,5,7
/proc/16251/task/16270/stat : 16270 (java) R 16249 16251 13533 0 -1 4202560 680 0 0 0 81 0 0 0 25 0 22 0 830402739 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912506058285 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16251/tid=16271] ppid=16249 vsize=10630648 CPUtime=0.79 cores=1,3,5,7
/proc/16251/task/16271/stat : 16271 (java) R 16249 16251 13533 0 -1 4202560 28607 0 0 0 76 3 0 0 25 0 22 0 830402739 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912505950080 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16251/tid=16272] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16272/stat : 16272 (java) S 16249 16251 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830402750 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16273] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16273/stat : 16273 (java) S 16249 16251 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830402750 10885783552 90176 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10630648

[startup+3.10112 s]
/proc/loadavg: 3.32 2.02 1.85 6/524 16273
/proc/meminfo: memFree=26515408/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10630648 CPUtime=7.74 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 119685 0 1 0 760 14 0 0 25 0 22 0 830402677 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2657662 106202 2265 9 0 2648396 0
[pid=16251/tid=16252] ppid=16249 vsize=10630648 CPUtime=0.6 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) S 16249 16251 13533 0 -1 4202560 45480 0 1 0 56 4 0 0 15 0 22 0 830402678 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16254] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16254/stat : 16254 (java) S 16249 16251 13533 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 22 0 830402680 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16255] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16255/stat : 16255 (java) S 16249 16251 13533 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 22 0 830402680 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16256] ppid=16249 vsize=10630648 CPUtime=0.02 cores=1,3,5,7
/proc/16251/task/16256/stat : 16256 (java) S 16249 16251 13533 0 -1 4202560 974 0 0 0 2 0 0 0 15 0 22 0 830402680 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16257] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16257/stat : 16257 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830402680 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16258] ppid=16249 vsize=10630648 CPUtime=0.01 cores=1,3,5,7
/proc/16251/task/16258/stat : 16258 (java) S 16249 16251 13533 0 -1 4202560 1004 0 0 0 1 0 0 0 15 0 22 0 830402680 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16259] ppid=16249 vsize=10630648 CPUtime=0.02 cores=1,3,5,7
/proc/16251/task/16259/stat : 16259 (java) S 16249 16251 13533 0 -1 4202560 748 0 0 0 2 0 0 0 15 0 22 0 830402680 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16260] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16260/stat : 16260 (java) S 16249 16251 13533 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 22 0 830402680 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16261] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16261/stat : 16261 (java) S 16249 16251 13533 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 22 0 830402680 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16262] ppid=16249 vsize=10630648 CPUtime=0.16 cores=1,3,5,7
/proc/16251/task/16262/stat : 16262 (java) S 16249 16251 13533 0 -1 4202560 4189 0 0 0 16 0 0 0 15 0 22 0 830402681 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 0 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16263] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16263/stat : 16263 (java) S 16249 16251 13533 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830402681 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16264] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16264/stat : 16264 (java) S 16249 16251 13533 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830402681 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16265] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16265/stat : 16265 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092055985 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16266] ppid=16249 vsize=10630648 CPUtime=1.26 cores=1,3,5,7
/proc/16251/task/16266/stat : 16266 (java) S 16249 16251 13533 0 -1 4202560 14686 0 0 0 124 2 0 0 16 0 22 0 830402683 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16267] ppid=16249 vsize=10630648 CPUtime=1.06 cores=1,3,5,7
/proc/16251/task/16267/stat : 16267 (java) S 16249 16251 13533 0 -1 4202560 8122 0 0 0 106 0 0 0 15 0 22 0 830402683 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16268] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16268/stat : 16268 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16269] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16269/stat : 16269 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830402683 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16270] ppid=16249 vsize=10630648 CPUtime=2.26 cores=1,3,5,7
/proc/16251/task/16270/stat : 16270 (java) R 16249 16251 13533 0 -1 4202560 682 0 0 0 226 0 0 0 25 0 22 0 830402739 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912506085466 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16251/tid=16271] ppid=16249 vsize=10630648 CPUtime=2.24 cores=1,3,5,7
/proc/16251/task/16271/stat : 16271 (java) R 16249 16251 13533 0 -1 4202560 41947 0 0 0 220 4 0 0 25 0 22 0 830402739 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912505998253 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16251/tid=16272] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16272/stat : 16272 (java) S 16249 16251 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830402750 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16273] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16273/stat : 16273 (java) S 16249 16251 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830402750 10885783552 106202 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 10630648

[startup+6.30157 s]
/proc/loadavg: 3.45 2.07 1.87 5/524 16277
/proc/meminfo: memFree=26187040/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10630648 CPUtime=13.64 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 218400 0 1 0 1339 25 0 0 25 0 22 0 830402677 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2657662 204500 2266 9 0 2648396 0
[pid=16251/tid=16252] ppid=16249 vsize=10630648 CPUtime=0.68 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) S 16249 16251 13533 0 -1 4202560 46307 0 1 0 64 4 0 0 15 0 22 0 830402678 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16254] ppid=16249 vsize=10630648 CPUtime=0.01 cores=1,3,5,7
/proc/16251/task/16254/stat : 16254 (java) S 16249 16251 13533 0 -1 4202560 15 0 0 0 1 0 0 0 15 0 22 0 830402680 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16255] ppid=16249 vsize=10630648 CPUtime=0.01 cores=1,3,5,7
/proc/16251/task/16255/stat : 16255 (java) S 16249 16251 13533 0 -1 4202560 561 0 0 0 1 0 0 0 15 0 22 0 830402680 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16256] ppid=16249 vsize=10630648 CPUtime=0.02 cores=1,3,5,7
/proc/16251/task/16256/stat : 16256 (java) S 16249 16251 13533 0 -1 4202560 1260 0 0 0 2 0 0 0 16 0 22 0 830402680 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16257] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16257/stat : 16257 (java) S 16249 16251 13533 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830402680 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16258] ppid=16249 vsize=10630648 CPUtime=0.01 cores=1,3,5,7
/proc/16251/task/16258/stat : 16258 (java) S 16249 16251 13533 0 -1 4202560 1004 0 0 0 1 0 0 0 15 0 22 0 830402680 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16259] ppid=16249 vsize=10630648 CPUtime=0.02 cores=1,3,5,7
/proc/16251/task/16259/stat : 16259 (java) S 16249 16251 13533 0 -1 4202560 1023 0 0 0 2 0 0 0 15 0 22 0 830402680 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16260] ppid=16249 vsize=10630648 CPUtime=0.01 cores=1,3,5,7
/proc/16251/task/16260/stat : 16260 (java) S 16249 16251 13533 0 -1 4202560 217 0 0 0 1 0 0 0 16 0 22 0 830402680 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16261] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16261/stat : 16261 (java) S 16249 16251 13533 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 22 0 830402680 10885783552 204500 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0

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

/proc/16251/task/16256/stat : 16256 (java) S 16249 16251 13533 0 -1 4202560 27284 0 0 0 59 3 0 0 15 0 22 0 830402680 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16257] ppid=16249 vsize=10630648 CPUtime=0.47 cores=1,3,5,7
/proc/16251/task/16257/stat : 16257 (java) S 16249 16251 13533 0 -1 4202560 21369 0 0 0 45 2 0 0 16 0 22 0 830402680 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16258] ppid=16249 vsize=10630648 CPUtime=0.46 cores=1,3,5,7
/proc/16251/task/16258/stat : 16258 (java) S 16249 16251 13533 0 -1 4202560 24420 0 0 0 44 2 0 0 16 0 22 0 830402680 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16259] ppid=16249 vsize=10630648 CPUtime=0.55 cores=1,3,5,7
/proc/16251/task/16259/stat : 16259 (java) S 16249 16251 13533 0 -1 4202560 26457 0 0 0 52 3 0 0 16 0 22 0 830402680 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16260] ppid=16249 vsize=10630648 CPUtime=0.57 cores=1,3,5,7
/proc/16251/task/16260/stat : 16260 (java) S 16249 16251 13533 0 -1 4202560 24044 0 0 0 54 3 0 0 16 0 22 0 830402680 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16261] ppid=16249 vsize=10630648 CPUtime=0.47 cores=1,3,5,7
/proc/16251/task/16261/stat : 16261 (java) S 16249 16251 13533 0 -1 4202560 17386 0 0 0 45 2 0 0 15 0 22 0 830402680 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16262] ppid=16249 vsize=10630648 CPUtime=13.37 cores=1,3,5,7
/proc/16251/task/16262/stat : 16262 (java) S 16249 16251 13533 0 -1 4202560 52751 0 0 0 1331 6 0 0 15 0 22 0 830402681 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 0 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16263] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16263/stat : 16263 (java) S 16249 16251 13533 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830402681 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16264] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16264/stat : 16264 (java) S 16249 16251 13533 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830402681 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16265] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16265/stat : 16265 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092055985 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16266] ppid=16249 vsize=10630648 CPUtime=1.38 cores=1,3,5,7
/proc/16251/task/16266/stat : 16266 (java) S 16249 16251 13533 0 -1 4202560 15103 0 0 0 136 2 0 0 15 0 22 0 830402683 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16267] ppid=16249 vsize=10630648 CPUtime=1.43 cores=1,3,5,7
/proc/16251/task/16267/stat : 16267 (java) S 16249 16251 13533 0 -1 4202560 8165 0 0 0 143 0 0 0 15 0 22 0 830402683 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16268] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16268/stat : 16268 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16269] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16269/stat : 16269 (java) S 16249 16251 13533 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830402683 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16272] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16272/stat : 16272 (java) S 16249 16251 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830402750 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16290] ppid=16249 vsize=10630648 CPUtime=795.76 cores=1,3,5,7
/proc/16251/task/16290/stat : 16290 (java) R 16249 16251 13533 0 -1 4202560 3832 0 0 0 79576 0 0 0 25 0 22 0 830403894 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912506031091 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16251/tid=16291] ppid=16249 vsize=10630648 CPUtime=795.79 cores=1,3,5,7
/proc/16251/task/16291/stat : 16291 (java) R 16249 16251 13533 0 -1 4202560 548781 0 0 0 79519 60 0 0 25 0 22 0 830403894 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912506124192 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16251/tid=16292] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16292/stat : 16292 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830403895 10885783552 1005283 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1631.18
Current children cumulated vsize (KiB) 10630648

[startup+882.302 s]
/proc/loadavg: 3.68 3.62 2.98 5/524 16324
/proc/meminfo: memFree=22655368/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10630648 CPUtime=1750.37 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 1023887 0 1 0 174918 119 0 0 25 0 22 0 830402677 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2657662 1005289 2267 9 0 2648396 0
[pid=16251/tid=16252] ppid=16249 vsize=10630648 CPUtime=1.05 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) S 16249 16251 13533 0 -1 4202560 47135 0 1 0 100 5 0 0 15 0 22 0 830402678 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16254] ppid=16249 vsize=10630648 CPUtime=0.42 cores=1,3,5,7
/proc/16251/task/16254/stat : 16254 (java) S 16249 16251 13533 0 -1 4202560 17766 0 0 0 40 2 0 0 15 0 22 0 830402680 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16255] ppid=16249 vsize=10630648 CPUtime=0.52 cores=1,3,5,7
/proc/16251/task/16255/stat : 16255 (java) S 16249 16251 13533 0 -1 4202560 25944 0 0 0 49 3 0 0 16 0 22 0 830402680 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16256] ppid=16249 vsize=10630648 CPUtime=0.65 cores=1,3,5,7
/proc/16251/task/16256/stat : 16256 (java) S 16249 16251 13533 0 -1 4202560 27284 0 0 0 62 3 0 0 16 0 22 0 830402680 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16257] ppid=16249 vsize=10630648 CPUtime=0.48 cores=1,3,5,7
/proc/16251/task/16257/stat : 16257 (java) S 16249 16251 13533 0 -1 4202560 21369 0 0 0 46 2 0 0 16 0 22 0 830402680 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16258] ppid=16249 vsize=10630648 CPUtime=0.5 cores=1,3,5,7
/proc/16251/task/16258/stat : 16258 (java) S 16249 16251 13533 0 -1 4202560 24426 0 0 0 48 2 0 0 15 0 22 0 830402680 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16259] ppid=16249 vsize=10630648 CPUtime=0.59 cores=1,3,5,7
/proc/16251/task/16259/stat : 16259 (java) S 16249 16251 13533 0 -1 4202560 26457 0 0 0 56 3 0 0 15 0 22 0 830402680 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16260] ppid=16249 vsize=10630648 CPUtime=0.59 cores=1,3,5,7
/proc/16251/task/16260/stat : 16260 (java) S 16249 16251 13533 0 -1 4202560 24044 0 0 0 56 3 0 0 15 0 22 0 830402680 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16261] ppid=16249 vsize=10630648 CPUtime=0.5 cores=1,3,5,7
/proc/16251/task/16261/stat : 16261 (java) S 16249 16251 13533 0 -1 4202560 17386 0 0 0 48 2 0 0 16 0 22 0 830402680 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16262] ppid=16249 vsize=10630648 CPUtime=14.3 cores=1,3,5,7
/proc/16251/task/16262/stat : 16262 (java) S 16249 16251 13533 0 -1 4202560 52755 0 0 0 1424 6 0 0 15 0 22 0 830402681 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 0 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16263] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16263/stat : 16263 (java) S 16249 16251 13533 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830402681 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16264] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16264/stat : 16264 (java) S 16249 16251 13533 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830402681 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16265] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16265/stat : 16265 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092055985 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16266] ppid=16249 vsize=10630648 CPUtime=1.38 cores=1,3,5,7
/proc/16251/task/16266/stat : 16266 (java) S 16249 16251 13533 0 -1 4202560 15103 0 0 0 136 2 0 0 15 0 22 0 830402683 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16267] ppid=16249 vsize=10630648 CPUtime=1.43 cores=1,3,5,7
/proc/16251/task/16267/stat : 16267 (java) S 16249 16251 13533 0 -1 4202560 8165 0 0 0 143 0 0 0 15 0 22 0 830402683 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16268] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16268/stat : 16268 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16269] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16269/stat : 16269 (java) S 16249 16251 13533 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830402683 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16272] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16272/stat : 16272 (java) S 16249 16251 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830402750 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16290] ppid=16249 vsize=10630648 CPUtime=854.76 cores=1,3,5,7
/proc/16251/task/16290/stat : 16290 (java) R 16249 16251 13533 0 -1 4202560 3835 0 0 0 85476 0 0 0 25 0 22 0 830403894 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912506030976 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16251/tid=16291] ppid=16249 vsize=10630648 CPUtime=854.79 cores=1,3,5,7
/proc/16251/task/16291/stat : 16291 (java) R 16249 16251 13533 0 -1 4202560 548784 0 0 0 85419 60 0 0 25 0 22 0 830403894 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912506123990 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16251/tid=16292] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16292/stat : 16292 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830403895 10885783552 1005289 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1750.37
Current children cumulated vsize (KiB) 10630648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+907.301 s]
/proc/loadavg: 3.52 3.58 2.98 4/524 16325
/proc/meminfo: memFree=22651884/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=10630648 CPUtime=1800.09 cores=1,3,5,7
/proc/16251/stat : 16251 (java) S 16249 16251 13533 0 -1 4202496 1023903 0 1 0 179890 119 0 0 25 0 22 0 830402677 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 2657662 1005302 2267 9 0 2648396 0
[pid=16251/tid=16252] ppid=16249 vsize=10630648 CPUtime=1.05 cores=1,3,5,7
/proc/16251/task/16252/stat : 16252 (java) S 16249 16251 13533 0 -1 4202560 47135 0 1 0 100 5 0 0 15 0 22 0 830402678 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16254] ppid=16249 vsize=10630648 CPUtime=0.42 cores=1,3,5,7
/proc/16251/task/16254/stat : 16254 (java) S 16249 16251 13533 0 -1 4202560 17766 0 0 0 40 2 0 0 15 0 22 0 830402680 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16255] ppid=16249 vsize=10630648 CPUtime=0.54 cores=1,3,5,7
/proc/16251/task/16255/stat : 16255 (java) S 16249 16251 13533 0 -1 4202560 25944 0 0 0 51 3 0 0 15 0 22 0 830402680 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16256] ppid=16249 vsize=10630648 CPUtime=0.66 cores=1,3,5,7
/proc/16251/task/16256/stat : 16256 (java) S 16249 16251 13533 0 -1 4202560 27284 0 0 0 63 3 0 0 15 0 22 0 830402680 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16257] ppid=16249 vsize=10630648 CPUtime=0.5 cores=1,3,5,7
/proc/16251/task/16257/stat : 16257 (java) S 16249 16251 13533 0 -1 4202560 21369 0 0 0 48 2 0 0 16 0 22 0 830402680 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16258] ppid=16249 vsize=10630648 CPUtime=0.51 cores=1,3,5,7
/proc/16251/task/16258/stat : 16258 (java) S 16249 16251 13533 0 -1 4202560 24426 0 0 0 49 2 0 0 15 0 22 0 830402680 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16259] ppid=16249 vsize=10630648 CPUtime=0.61 cores=1,3,5,7
/proc/16251/task/16259/stat : 16259 (java) S 16249 16251 13533 0 -1 4202560 26458 0 0 0 58 3 0 0 15 0 22 0 830402680 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16260] ppid=16249 vsize=10630648 CPUtime=0.64 cores=1,3,5,7
/proc/16251/task/16260/stat : 16260 (java) S 16249 16251 13533 0 -1 4202560 24056 0 0 0 61 3 0 0 15 0 22 0 830402680 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 1 0 0 0
[pid=16251/tid=16261] ppid=16249 vsize=10630648 CPUtime=0.52 cores=1,3,5,7
/proc/16251/task/16261/stat : 16261 (java) S 16249 16251 13533 0 -1 4202560 17386 0 0 0 50 2 0 0 15 0 22 0 830402680 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16262] ppid=16249 vsize=10630648 CPUtime=14.67 cores=1,3,5,7
/proc/16251/task/16262/stat : 16262 (java) S 16249 16251 13533 0 -1 4202560 52755 0 0 0 1461 6 0 0 15 0 22 0 830402681 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 0 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16263] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16263/stat : 16263 (java) S 16249 16251 13533 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830402681 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16264] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16264/stat : 16264 (java) S 16249 16251 13533 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830402681 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16265] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16265/stat : 16265 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092055985 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16266] ppid=16249 vsize=10630648 CPUtime=1.38 cores=1,3,5,7
/proc/16251/task/16266/stat : 16266 (java) S 16249 16251 13533 0 -1 4202560 15103 0 0 0 136 2 0 0 15 0 22 0 830402683 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16267] ppid=16249 vsize=10630648 CPUtime=1.43 cores=1,3,5,7
/proc/16251/task/16267/stat : 16267 (java) S 16249 16251 13533 0 -1 4202560 8165 0 0 0 143 0 0 0 15 0 22 0 830402683 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16268] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16268/stat : 16268 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830402683 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048281 0 4 0 16800975 18446604470148799360 0 0 -1 5 0 0 0
[pid=16251/tid=16269] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16269/stat : 16269 (java) S 16249 16251 13533 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830402683 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 3 0 0 0
[pid=16251/tid=16272] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16272/stat : 16272 (java) S 16249 16251 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830402750 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
[pid=16251/tid=16290] ppid=16249 vsize=10630648 CPUtime=879.36 cores=1,3,5,7
/proc/16251/task/16290/stat : 16290 (java) R 16249 16251 13533 0 -1 4202560 3838 0 0 0 87936 0 0 0 25 0 22 0 830403894 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912506031034 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16251/tid=16291] ppid=16249 vsize=10630648 CPUtime=879.38 cores=1,3,5,7
/proc/16251/task/16291/stat : 16291 (java) R 16249 16251 13533 0 -1 4202560 548784 0 0 0 87878 60 0 0 25 0 22 0 830403894 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 46912506123599 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16251/tid=16292] ppid=16249 vsize=10630648 CPUtime=0 cores=1,3,5,7
/proc/16251/task/16292/stat : 16292 (java) S 16249 16251 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830403895 10885783552 1005302 33554432000 1073741824 1073778376 140735276702304 18446744073709551615 208092048896 0 4 0 16800975 18446604470148799360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10630648

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

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

[startup+907.425 s]
/proc/loadavg: 3.52 3.58 2.98 3/505 16328
/proc/meminfo: memFree=24043884/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/16251/stat : 16251 (java) Z 16249 16251 13533 0 -1 4203548 1023972 0 1 0 179904 126 0 0 17 0 2 0 830402677 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 0 0 0 0 0 0 0
[pid=16251/tid=16290] ppid=16249 vsize=0 CPUtime=879.48 cores=1,3,5,7
/proc/16251/task/16290/stat : 16290 (java) R 16249 16251 13533 0 -1 4203588 3838 0 0 0 87940 8 0 0 25 0 2 0 830403894 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

[startup+907.519 s]
/proc/loadavg: 3.52 3.58 2.98 3/505 16328
/proc/meminfo: memFree=24043884/32950928 swapFree=39617324/67111528
[pid=16251] ppid=16249 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/16251/stat : 16251 (java) Z 16249 16251 13533 0 -1 4203548 1023972 0 1 0 179904 134 0 0 17 0 2 0 830402677 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16251/statm: 0 0 0 0 0 0 0
[pid=16251/tid=16290] ppid=16249 vsize=0 CPUtime=879.56 cores=1,3,5,7
/proc/16251/task/16290/stat : 16290 (java) R 16249 16251 13533 0 -1 4203588 3838 0 0 0 87940 16 0 0 25 0 2 0 830403894 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 907.529
CPU time (s): 1800.4
CPU user time (s): 1799.04
CPU system time (s): 1.35679
CPU usage (%): 198.385
Max. virtual memory (cumulated for all children) (KiB): 10630648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.35679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1023972
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= 24122
involuntary context switches= 21074

runsolver used 4.30135 second user time and 10.6064 second system time

The end

Launcher Data

Begin job on node127 at 2011-06-04 13:47:10
IDJOB=3454515
IDBENCH=1882
IDSOLVER=1950
FILE ID=node127/3454515-1307188030
RUNJOBID= node127-1307187918-15913
PBS_JOBID= 13508856
Free space on /tmp= 73948 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454515-1307188030/watcher-3454515-1307188030 -o /tmp/evaluation-result-3454515-1307188030/solver-3454515-1307188030 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454515-1307188030.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=234373280

node127.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26917484 kB
Buffers:        331116 kB
Cached:         923360 kB
SwapCached:      59160 kB
Active:        3747792 kB
Inactive:      1995996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26917484 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:             868 kB
Writeback:          36 kB
AnonPages:     4436948 kB
Mapped:          30340 kB
Slab:           123932 kB
PageTables:      96448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 130116748 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node127 at 2011-06-04 14:02:19