Trace number 3710152

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)495616 1800.08 1778.18

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-seymour1.opb
MD5SUM385b8c04483c735ba913a305372f124f
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark471080
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 456321
Optimality of the best value was proved NO
Number of variables10582
Total number of constraints5865
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198
Number of terms in the objective function 10582
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 2347111
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 2347111
Number of bits of the biggest sum of numbers22
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-2012 Artois University and CNRS
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.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.08	c version 2.3.2.v20120418
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		501472288
0.04/0.08	c Max memory 		7480803328
0.04/0.08	c Total memory 		504102912
0.04/0.08	c Number of processors 	8
0.09/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.11	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710152-1338133698.opb
0.09/0.12	c reading problem ... 
1.37/0.86	c ... done. Wall clock time 0.745s.
1.37/0.86	c declared #vars     10582
1.37/0.86	c #constraints  5865
1.37/0.86	c constraints type 
1.37/0.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 408
1.37/0.86	c org.sat4j.minisat.constraints.cnf.UnitClause => 79
1.37/0.86	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 164
1.37/0.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5214
1.37/0.86	c 5865 constraints processed.
1.68/1.07	c SATISFIABLE
1.68/1.07	c OPTIMIZING...
1.68/1.07	c Got one! Elapsed wall clock time (in seconds):0.949
1.68/1.07	o 496640
1.87/1.15	c Got one! Elapsed wall clock time (in seconds):1.031
1.87/1.15	o 495616
8.77/7.64	c cleaning 2494 clauses out of 5000 with flag 5000/5000
15.31/14.08	c cleaning 4246 clauses out of 8506 with flag 11000/11000
25.97/24.62	c cleaning 5624 clauses out of 11260 with flag 18000/18000
37.43/36.04	c cleaning 6814 clauses out of 13637 with flag 26001/26001
51.42/49.83	c cleaning 7905 clauses out of 15823 with flag 35001/35001
64.92/63.27	c cleaning 8955 clauses out of 17917 with flag 45000/45000
78.14/76.37	c cleaning 9976 clauses out of 19962 with flag 56000/56000
92.67/90.77	c cleaning 10991 clauses out of 21987 with flag 68001/68001
108.17/106.10	c cleaning 11994 clauses out of 23995 with flag 81000/81000
129.12/126.90	c cleaning 12995 clauses out of 26002 with flag 95001/95001
142.48/140.28	c cleaning 13998 clauses out of 28006 with flag 110000/110000
161.76/159.36	c cleaning 15002 clauses out of 30009 with flag 126001/126001
188.07/185.44	c cleaning 15997 clauses out of 32007 with flag 143001/143001
202.72/200.00	c cleaning 17003 clauses out of 34011 with flag 161002/161002
219.22/216.38	c cleaning 17997 clauses out of 36006 with flag 180000/180000
240.00/236.97	c cleaning 19001 clauses out of 38010 with flag 200001/200001
256.03/252.86	c cleaning 19997 clauses out of 40008 with flag 221000/221000
264.88/261.64	c cleaning 21000 clauses out of 42011 with flag 243000/243000
277.30/273.96	c cleaning 22000 clauses out of 44011 with flag 266000/266000
313.23/309.59	c cleaning 23001 clauses out of 46011 with flag 290000/290000
334.10/330.21	c cleaning 23998 clauses out of 48010 with flag 315000/315000
346.14/342.18	c cleaning 24999 clauses out of 50012 with flag 341000/341000
361.67/357.42	c cleaning 26001 clauses out of 52015 with flag 368002/368002
383.67/379.10	c cleaning 27004 clauses out of 54013 with flag 396001/396001
413.93/409.08	c cleaning 28000 clauses out of 56009 with flag 425001/425001
429.80/424.64	c cleaning 28997 clauses out of 58008 with flag 455000/455000
440.21/434.86	c cleaning 29994 clauses out of 60012 with flag 486001/486001
456.02/450.38	c cleaning 31001 clauses out of 62017 with flag 518000/518000
468.57/462.69	c cleaning 32002 clauses out of 64016 with flag 551000/551000
480.00/473.82	c cleaning 33000 clauses out of 66015 with flag 585001/585001
527.60/520.42	c cleaning 34002 clauses out of 68014 with flag 620000/620000
561.76/554.09	c cleaning 35002 clauses out of 70012 with flag 656000/656000
577.88/569.77	c cleaning 35996 clauses out of 72010 with flag 693000/693000
600.79/592.29	c cleaning 37000 clauses out of 74014 with flag 731000/731000
633.29/624.13	c cleaning 38001 clauses out of 76014 with flag 770000/770000
656.93/647.48	c cleaning 39000 clauses out of 78013 with flag 810000/810000
677.02/667.29	c cleaning 40000 clauses out of 80013 with flag 851000/851000
709.72/699.45	c cleaning 41003 clauses out of 82014 with flag 893001/893001
759.61/748.40	c cleaning 41999 clauses out of 84011 with flag 936001/936001
779.36/767.92	c cleaning 42998 clauses out of 86011 with flag 980000/980000
806.35/794.67	c cleaning 44003 clauses out of 88014 with flag 1025001/1025001
824.42/812.55	c cleaning 44998 clauses out of 90010 with flag 1071000/1071000
854.72/842.54	c cleaning 46001 clauses out of 92014 with flag 1118002/1118002
889.37/876.79	c cleaning 47000 clauses out of 94011 with flag 1166000/1166000
917.93/904.98	c cleaning 47997 clauses out of 96012 with flag 1215001/1215001
947.75/934.25	c cleaning 48997 clauses out of 98014 with flag 1265000/1265000
978.00/964.38	c cleaning 49999 clauses out of 100017 with flag 1316000/1316000
1039.70/1025.20	c cleaning 51006 clauses out of 102022 with flag 1368004/1368004
1072.75/1057.95	c cleaning 52004 clauses out of 104014 with flag 1421002/1421002
1095.40/1080.48	c cleaning 52998 clauses out of 106008 with flag 1475000/1475000
1118.07/1103.07	c cleaning 53996 clauses out of 108010 with flag 1530000/1530000
1148.21/1132.93	c cleaning 54999 clauses out of 110014 with flag 1586000/1586000
1177.10/1161.52	c cleaning 56001 clauses out of 112016 with flag 1643001/1643001
1207.50/1191.77	c cleaning 57000 clauses out of 114014 with flag 1701000/1701000
1237.72/1221.77	c cleaning 57996 clauses out of 116014 with flag 1760000/1760000
1281.57/1265.13	c cleaning 59003 clauses out of 118019 with flag 1820001/1820001
1332.41/1315.50	c cleaning 59998 clauses out of 120015 with flag 1881000/1881000
1385.42/1367.81	c cleaning 61001 clauses out of 122018 with flag 1943001/1943001
1445.84/1427.35	c cleaning 62003 clauses out of 124016 with flag 2006000/2006000
1496.22/1477.20	c cleaning 62999 clauses out of 126013 with flag 2070000/2070000
1525.44/1506.10	c cleaning 64003 clauses out of 128015 with flag 2135001/2135001
1564.40/1544.76	c cleaning 64998 clauses out of 130012 with flag 2201001/2201001
1612.94/1592.75	c cleaning 65998 clauses out of 132013 with flag 2268000/2268000
1668.03/1647.36	c cleaning 67002 clauses out of 134016 with flag 2336001/2336001
1728.63/1707.47	c cleaning 67998 clauses out of 136013 with flag 2405000/2405000
1785.73/1763.98	c cleaning 69000 clauses out of 138015 with flag 2475000/2475000
1800.08/1778.11	c starts		: 232
1800.08/1778.11	c conflicts		: 2492006
1800.08/1778.11	c decisions		: 4252123
1800.08/1778.11	c propagations		: 288290192
1800.08/1778.11	c inspects		: 9320258658
1800.08/1778.11	c shortcuts		: 0
1800.08/1778.11	c learnt literals	: 0
1800.08/1778.11	c learnt binary clauses	: 0
1800.08/1778.11	c learnt ternary clauses	: 0
1800.08/1778.11	c learnt constraints	: 2492005
1800.08/1778.11	c ignored constraints	: 0
1800.08/1778.11	c root simplifications	: 232
1800.08/1778.11	c removed literals (reason simplification)	: 1021683
1800.08/1778.11	c reason swapping (by a shorter reason)	: 0
1800.08/1778.11	c Calls to reduceDB	: 66
1800.08/1778.11	c number of reductions to clauses (during analyze)	: 0
1800.08/1778.11	c number of learned constraints concerned by reduction	: 0
1800.08/1778.11	c number of learning phase by resolution	: 0
1800.08/1778.11	c number of learning phase by cutting planes	: 0
1800.08/1778.11	c speed (assignments/second)	: 162213.03915301998
1800.08/1778.11	c non guided choices	554025
1800.08/1778.13	c learnt constraints type 
1800.08/1778.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 86047
1800.08/1778.13	c constraints type 
1800.08/1778.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 408
1800.08/1778.13	c org.sat4j.minisat.constraints.cnf.UnitClause => 79
1800.08/1778.13	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 164
1800.08/1778.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5215
1800.08/1778.13	c 5866 constraints processed.
1800.08/1778.13	s SATISFIABLE
1800.08/1778.15	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 
1800.08/1778.16	c objective function=495616
1800.08/1778.16	c Total wall clock time (in seconds): 1778.039

Verifier Data 

OK	495616

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3710152-1338133698/watcher-3710152-1338133698 -o /tmp/evaluation-result-3710152-1338133698/solver-3710152-1338133698 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710152-1338133698.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 19283
/proc/meminfo: memFree=27360644/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19283/stat : 19283 (java) R 19281 19283 16973 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 279495541 9515008 182 33554432000 1073741824 1073778376 140733755841088 140733755832120 270330052277 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2323 182 140 9 0 71 0

[startup+0.071684 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 19283
/proc/meminfo: memFree=27360644/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 3325 0 1 0 4 0 0 0 20 0 18 0 279495541 9787842560 4533 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2389610 4534 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100212 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 19283
/proc/meminfo: memFree=27360644/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 4281 0 1 0 8 1 0 0 20 0 18 0 279495541 9787842560 5998 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2389610 5998 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300159 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 19283
/proc/meminfo: memFree=27360644/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9558440 CPUtime=0.51 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 7319 0 1 0 49 2 0 0 20 0 18 0 279495541 9787842560 11125 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2389610 11125 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558440

[startup+0.700228 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 19283
/proc/meminfo: memFree=27360644/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9558440 CPUtime=1.27 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 11036 0 1 0 121 6 0 0 20 0 18 0 279495541 9787842560 43937 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2389610 43937 2261 9 0 2380296 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9558440

[startup+1.50062 s]
/proc/loadavg: 1.93 2.00 1.99 4/213 19302
/proc/meminfo: memFree=27191964/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9625004 CPUtime=2.43 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 11104 0 1 0 237 6 0 0 20 0 19 0 279495541 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2406251 44489 2276 9 0 2396937 0
[pid=19283/tid=19285] ppid=19281 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) R 19281 19283 16973 0 -1 4202560 2567 0 1 0 141 3 0 0 20 0 19 0 279495542 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837205086328 139837039063477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19286] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19283 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837166578344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19287] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19283 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837165525800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19288] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19283 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837164473256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19289] ppid=19281 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19283 16973 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 279495543 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837163420712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19290] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19283 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837162367144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19291] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19283 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837161314600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19292] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19283 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837160262056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19293] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19283 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837159209512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19294] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19283 16973 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837028915816 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19295] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19283 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837027862136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19296] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19283 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837026809480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19297] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837025758224 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19298] ppid=19281 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/19283/task/19298/stat : 19298 (java) S 19281 19283 16973 0 -1 4202560 2783 0 0 0 43 0 0 0 20 0 19 0 279495547 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837024704568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19299] ppid=19281 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/19283/task/19299/stat : 19299 (java) S 19281 19283 16973 0 -1 4202560 4454 0 0 0 42 1 0 0 20 0 19 0 279495547 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139837023652024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19300] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19300/stat : 19300 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139836149197304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19301] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19301/stat : 19301 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139836148144968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19302] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19302/stat : 19302 (java) S 19281 19283 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279495629 9856004096 44489 33554432000 1073741824 1073778376 140736207194416 139836147090728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625004

[startup+3.10062 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 19302
/proc/meminfo: memFree=27165388/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9625004 CPUtime=4.19 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 11632 0 1 0 409 10 0 0 20 0 19 0 279495541 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2406251 50972 2276 9 0 2396937 0
[pid=19283/tid=19285] ppid=19281 vsize=9625004 CPUtime=3.01 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) R 19281 19283 16973 0 -1 4202560 2569 0 1 0 298 3 0 0 20 0 19 0 279495542 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837205086792 139837039047497 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19286] ppid=19281 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19283 16973 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 279495543 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837166578344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19287] ppid=19281 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19283 16973 0 -1 4202560 104 0 0 0 1 0 0 0 20 0 19 0 279495543 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837165525800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19288] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19283 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837164473256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19289] ppid=19281 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19283 16973 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 279495543 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837163420712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19290] ppid=19281 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19283 16973 0 -1 4202560 118 0 0 0 1 1 0 0 20 0 19 0 279495543 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837162367144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19291] ppid=19281 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19283 16973 0 -1 4202560 87 0 0 0 2 0 0 0 20 0 19 0 279495543 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837161314600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19292] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19283 16973 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 19 0 279495543 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837160262056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19293] ppid=19281 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19283 16973 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 279495543 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837159209512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19294] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19283 16973 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837028915816 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19295] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19283 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837027862136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19296] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19283 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837026809480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19297] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837025758224 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19298] ppid=19281 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/19283/task/19298/stat : 19298 (java) S 19281 19283 16973 0 -1 4202560 2927 0 0 0 49 0 0 0 20 0 19 0 279495547 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837024704568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19299] ppid=19281 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/19283/task/19299/stat : 19299 (java) S 19281 19283 16973 0 -1 4202560 4454 0 0 0 42 1 0 0 20 0 19 0 279495547 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139837023652024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19300] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19300/stat : 19300 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139836149197304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19301] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19301/stat : 19301 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139836148144968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19302] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19302/stat : 19302 (java) S 19281 19283 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279495629 9856004096 50972 33554432000 1073741824 1073778376 140736207194416 139836147090728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 1.94 2.00 1.99 3/213 19302
/proc/meminfo: memFree=27014892/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9625004 CPUtime=7.47 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 11924 0 1 0 732 15 0 0 20 0 19 0 279495541 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2406251 88498 2276 9 0 2396937 0
[pid=19283/tid=19285] ppid=19281 vsize=9625004 CPUtime=6.15 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) R 19281 19283 16973 0 -1 4202560 2629 0 1 0 611 4 0 0 20 0 19 0 279495542 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837205084544 139837039134133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19286] ppid=19281 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19283 16973 0 -1 4202560 37 0 0 0 3 1 0 0 20 0 19 0 279495543 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837166578344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19287] ppid=19281 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19283 16973 0 -1 4202560 117 0 0 0 1 1 0 0 20 0 19 0 279495543 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837165525800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19288] ppid=19281 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19283 16973 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 279495543 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837164473256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19289] ppid=19281 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19283 16973 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 279495543 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837163420712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19290] ppid=19281 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19283 16973 0 -1 4202560 126 0 0 0 2 2 0 0 20 0 19 0 279495543 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837162367144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19291] ppid=19281 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19283 16973 0 -1 4202560 95 0 0 0 3 0 0 0 20 0 19 0 279495543 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837161314600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19292] ppid=19281 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19283 16973 0 -1 4202560 97 0 0 0 1 1 0 0 20 0 19 0 279495543 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837160262056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19293] ppid=19281 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19283 16973 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 279495543 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837159209512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19294] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19283 16973 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837028915816 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19295] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19283 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837027862136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19296] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19283 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837026809480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19297] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837025758224 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19298] ppid=19281 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/19283/task/19298/stat : 19298 (java) S 19281 19283 16973 0 -1 4202560 2929 0 0 0 49 0 0 0 20 0 19 0 279495547 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837024704568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19299] ppid=19281 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/19283/task/19299/stat : 19299 (java) S 19281 19283 16973 0 -1 4202560 4454 0 0 0 42 1 0 0 20 0 19 0 279495547 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139837023652024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19300] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19300/stat : 19300 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139836149197304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19301] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19301/stat : 19301 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139836148144968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19302] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19302/stat : 19302 (java) S 19281 19283 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279495629 9856004096 88498 33554432000 1073741824 1073778376 140736207194416 139836147090728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=19283/tid=19298] ppid=19281 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/19283/task/19298/stat : 19298 (java) S 19281 19283 16973 0 -1 4202560 3392 0 0 0 58 0 0 0 20 0 19 0 279495547 9856004096 529515 33554432000 1073741824 1073778376 140736207194416 139837024704568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19299] ppid=19281 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/19283/task/19299/stat : 19299 (java) S 19281 19283 16973 0 -1 4202560 4458 0 0 0 46 1 0 0 20 0 19 0 279495547 9856004096 529515 33554432000 1073741824 1073778376 140736207194416 139837023652024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19300] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19300/stat : 19300 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 529515 33554432000 1073741824 1073778376 140736207194416 139836149197304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19301] ppid=19281 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/19283/task/19301/stat : 19301 (java) S 19281 19283 16973 0 -1 4202560 93 0 0 0 22 21 0 0 20 0 19 0 279495547 9856004096 529515 33554432000 1073741824 1073778376 140736207194416 139836148144968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19302] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19302/stat : 19302 (java) S 19281 19283 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279495629 9856004096 529515 33554432000 1073741824 1073778376 140736207194416 139836147090728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1622.66
Current children cumulated vsize (KiB) 9625004

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/213 19400
/proc/meminfo: memFree=23919404/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9625004 CPUtime=1683.16 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 31927 0 1 0 167910 406 0 0 20 0 19 0 279495541 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2406251 493568 2291 9 0 2396937 0
[pid=19283/tid=19285] ppid=19281 vsize=9625004 CPUtime=1643.61 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) R 19281 19283 16973 0 -1 4202560 4523 0 1 0 164321 40 0 0 20 0 19 0 279495542 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837205085536 139837039244139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19286] ppid=19281 vsize=9625004 CPUtime=3.39 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19283 16973 0 -1 4202560 2632 0 0 0 294 45 0 0 20 0 19 0 279495543 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837166578344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19287] ppid=19281 vsize=9625004 CPUtime=3.37 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19283 16973 0 -1 4202560 1934 0 0 0 289 48 0 0 20 0 19 0 279495543 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837165525800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19288] ppid=19281 vsize=9625004 CPUtime=3.51 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19283 16973 0 -1 4202560 1772 0 0 0 306 45 0 0 20 0 19 0 279495543 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837164473256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19289] ppid=19281 vsize=9625004 CPUtime=3.36 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19283 16973 0 -1 4202560 1770 0 0 0 293 43 0 0 20 0 19 0 279495543 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837163420712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19290] ppid=19281 vsize=9625004 CPUtime=3.43 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19283 16973 0 -1 4202560 1674 0 0 0 299 44 0 0 20 0 19 0 279495543 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837162367144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19291] ppid=19281 vsize=9625004 CPUtime=3.42 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19283 16973 0 -1 4202560 1624 0 0 0 296 46 0 0 20 0 19 0 279495543 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837161314600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19292] ppid=19281 vsize=9625004 CPUtime=3.42 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19283 16973 0 -1 4202560 2141 0 0 0 297 45 0 0 20 0 19 0 279495543 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837160262056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19293] ppid=19281 vsize=9625004 CPUtime=3.47 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19283 16973 0 -1 4202560 1462 0 0 0 303 44 0 0 20 0 19 0 279495543 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837159209512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19294] ppid=19281 vsize=9625004 CPUtime=6.36 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19283 16973 0 -1 4202560 3269 0 0 0 626 10 0 0 20 0 19 0 279495544 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837028915816 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19295] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19283 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837027862136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19296] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19283 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837026809480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19297] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837025758224 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19298] ppid=19281 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/19283/task/19298/stat : 19298 (java) S 19281 19283 16973 0 -1 4202560 3392 0 0 0 58 0 0 0 20 0 19 0 279495547 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837024704568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19299] ppid=19281 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/19283/task/19299/stat : 19299 (java) S 19281 19283 16973 0 -1 4202560 4458 0 0 0 46 1 0 0 20 0 19 0 279495547 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139837023652024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19300] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19300/stat : 19300 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139836149197304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19301] ppid=19281 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/19283/task/19301/stat : 19301 (java) S 19281 19283 16973 0 -1 4202560 95 0 0 0 23 21 0 0 20 0 19 0 279495547 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139836148144968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19302] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19302/stat : 19302 (java) S 19281 19283 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279495629 9856004096 493568 33554432000 1073741824 1073778376 140736207194416 139836147090728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1683.16
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/213 19400
/proc/meminfo: memFree=24031616/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9625004 CPUtime=1743.7 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 31985 0 1 0 173964 406 0 0 20 0 19 0 279495541 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2406251 465547 2291 9 0 2396937 0
[pid=19283/tid=19285] ppid=19281 vsize=9625004 CPUtime=1703.16 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) R 19281 19283 16973 0 -1 4202560 4528 0 1 0 170275 41 0 0 20 0 19 0 279495542 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837205085536 139837039279003 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19286] ppid=19281 vsize=9625004 CPUtime=3.47 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19283 16973 0 -1 4202560 2632 0 0 0 302 45 0 0 20 0 19 0 279495543 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837166578344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19287] ppid=19281 vsize=9625004 CPUtime=3.46 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19283 16973 0 -1 4202560 1934 0 0 0 298 48 0 0 20 0 19 0 279495543 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837165525800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19288] ppid=19281 vsize=9625004 CPUtime=3.6 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19283 16973 0 -1 4202560 1772 0 0 0 315 45 0 0 20 0 19 0 279495543 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837164473256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19289] ppid=19281 vsize=9625004 CPUtime=3.43 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19283 16973 0 -1 4202560 1770 0 0 0 300 43 0 0 20 0 19 0 279495543 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837163420712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19290] ppid=19281 vsize=9625004 CPUtime=3.58 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19283 16973 0 -1 4202560 1674 0 0 0 314 44 0 0 20 0 19 0 279495543 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837162367144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19291] ppid=19281 vsize=9625004 CPUtime=3.49 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19283 16973 0 -1 4202560 1631 0 0 0 303 46 0 0 20 0 19 0 279495543 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837161314600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19292] ppid=19281 vsize=9625004 CPUtime=3.54 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19283 16973 0 -1 4202560 2141 0 0 0 309 45 0 0 20 0 19 0 279495543 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837160262056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19293] ppid=19281 vsize=9625004 CPUtime=3.55 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19283 16973 0 -1 4202560 1462 0 0 0 311 44 0 0 20 0 19 0 279495543 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837159209512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19294] ppid=19281 vsize=9625004 CPUtime=6.47 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19283 16973 0 -1 4202560 3311 0 0 0 637 10 0 0 20 0 19 0 279495544 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837028915816 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19295] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19283 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837027862136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19296] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19283 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837026809480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19297] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837025758224 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19298] ppid=19281 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/19283/task/19298/stat : 19298 (java) S 19281 19283 16973 0 -1 4202560 3392 0 0 0 58 0 0 0 20 0 19 0 279495547 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837024704568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19299] ppid=19281 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/19283/task/19299/stat : 19299 (java) S 19281 19283 16973 0 -1 4202560 4458 0 0 0 46 1 0 0 20 0 19 0 279495547 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139837023652024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19300] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19300/stat : 19300 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139836149197304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19301] ppid=19281 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/19283/task/19301/stat : 19301 (java) S 19281 19283 16973 0 -1 4202560 99 0 0 0 24 22 0 0 20 0 19 0 279495547 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139836148144968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19302] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19302/stat : 19302 (java) S 19281 19283 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279495629 9856004096 465547 33554432000 1073741824 1073778376 140736207194416 139836147090728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1743.7
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.1 s]
/proc/loadavg: 2.01 2.05 2.02 3/213 19400
/proc/meminfo: memFree=24108196/32873660 swapFree=7120/7120
[pid=19283] ppid=19281 vsize=9625004 CPUtime=1800.08 cores=0,2,4,6
/proc/19283/stat : 19283 (java) S 19281 19283 16973 0 -1 4202496 32049 0 1 0 179600 408 0 0 20 0 19 0 279495541 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 140736207185552 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19283/statm: 2406251 446323 2291 9 0 2396937 0
[pid=19283/tid=19285] ppid=19281 vsize=9625004 CPUtime=1758.51 cores=0,2,4,6
/proc/19283/task/19285/stat : 19285 (java) R 19281 19283 16973 0 -1 4202560 4534 0 1 0 175809 42 0 0 20 0 19 0 279495542 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837205085536 139837039235743 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19286] ppid=19281 vsize=9625004 CPUtime=3.55 cores=0,2,4,6
/proc/19283/task/19286/stat : 19286 (java) S 19281 19283 16973 0 -1 4202560 2632 0 0 0 310 45 0 0 20 0 19 0 279495543 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837166578344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19287] ppid=19281 vsize=9625004 CPUtime=3.53 cores=0,2,4,6
/proc/19283/task/19287/stat : 19287 (java) S 19281 19283 16973 0 -1 4202560 1934 0 0 0 305 48 0 0 20 0 19 0 279495543 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837165525800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19288] ppid=19281 vsize=9625004 CPUtime=3.72 cores=0,2,4,6
/proc/19283/task/19288/stat : 19288 (java) S 19281 19283 16973 0 -1 4202560 1772 0 0 0 327 45 0 0 20 0 19 0 279495543 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837164473256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19289] ppid=19281 vsize=9625004 CPUtime=3.5 cores=0,2,4,6
/proc/19283/task/19289/stat : 19289 (java) S 19281 19283 16973 0 -1 4202560 1770 0 0 0 307 43 0 0 20 0 19 0 279495543 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837163420712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19290] ppid=19281 vsize=9625004 CPUtime=3.72 cores=0,2,4,6
/proc/19283/task/19290/stat : 19290 (java) S 19281 19283 16973 0 -1 4202560 1674 0 0 0 328 44 0 0 20 0 19 0 279495543 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837162367144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19291] ppid=19281 vsize=9625004 CPUtime=3.59 cores=0,2,4,6
/proc/19283/task/19291/stat : 19291 (java) S 19281 19283 16973 0 -1 4202560 1631 0 0 0 313 46 0 0 20 0 19 0 279495543 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837161314600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19292] ppid=19281 vsize=9625004 CPUtime=3.66 cores=0,2,4,6
/proc/19283/task/19292/stat : 19292 (java) S 19281 19283 16973 0 -1 4202560 2141 0 0 0 321 45 0 0 20 0 19 0 279495543 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837160262056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19293] ppid=19281 vsize=9625004 CPUtime=3.64 cores=0,2,4,6
/proc/19283/task/19293/stat : 19293 (java) S 19281 19283 16973 0 -1 4202560 1462 0 0 0 320 44 0 0 20 0 19 0 279495543 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837159209512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19294] ppid=19281 vsize=9625004 CPUtime=6.58 cores=0,2,4,6
/proc/19283/task/19294/stat : 19294 (java) S 19281 19283 16973 0 -1 4202560 3365 0 0 0 648 10 0 0 20 0 19 0 279495544 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837028915816 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19283/tid=19295] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19295/stat : 19295 (java) S 19281 19283 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837027862136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19296] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19296/stat : 19296 (java) S 19281 19283 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279495544 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837026809480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19297] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19297/stat : 19297 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837025758224 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19298] ppid=19281 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/19283/task/19298/stat : 19298 (java) S 19281 19283 16973 0 -1 4202560 3392 0 0 0 58 0 0 0 20 0 19 0 279495547 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837024704568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19299] ppid=19281 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/19283/task/19299/stat : 19299 (java) S 19281 19283 16973 0 -1 4202560 4458 0 0 0 46 1 0 0 20 0 19 0 279495547 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139837023652024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19283/tid=19300] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19300/stat : 19300 (java) S 19281 19283 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279495547 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139836149197304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19283/tid=19301] ppid=19281 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/19283/task/19301/stat : 19301 (java) S 19281 19283 16973 0 -1 4202560 103 0 0 0 25 23 0 0 20 0 19 0 279495547 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139836148144968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19283/tid=19302] ppid=19281 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/19283/task/19302/stat : 19302 (java) S 19281 19283 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279495629 9856004096 446323 33554432000 1073741824 1073778376 140736207194416 139836147090728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19283 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=419662
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=501315
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1778.18
CPU time (s): 1800.08
CPU user time (s): 1796
CPU system time (s): 4.08
CPU usage (%): 101.232
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.42
system time used= 4.50131
maximum resident set size= 2118200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32082
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50056
involuntary context switches= 49897

runsolver used 8.03078 second user time and 12.2821 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-27 17:48:18
IDJOB=3710152
IDBENCH=1506
IDSOLVER=2289
FILE ID=node117/3710152-1338133698
RUNJOBID= node117-1338124635-16989
PBS_JOBID= 14624513
Free space on /tmp= 70040 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710152-1338133698/watcher-3710152-1338133698 -o /tmp/evaluation-result-3710152-1338133698/solver-3710152-1338133698 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710152-1338133698.opb

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

MD5SUM BENCH= 385b8c04483c735ba913a305372f124f
RANDOM SEED=1166210417

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27360644 kB
Buffers:          325544 kB
Cached:          4053420 kB
SwapCached:            0 kB
Active:          2448460 kB
Inactive:        2186436 kB
Active(anon):     247140 kB
Inactive(anon):    11356 kB
Active(file):    2201320 kB
Inactive(file):  2175080 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4332 kB
Writeback:             0 kB
AnonPages:        264864 kB
Mapped:            22568 kB
Shmem:               200 kB
Slab:             734920 kB
SReclaimable:     179176 kB
SUnreclaim:       555744 kB
KernelStack:        1600 kB
PageTables:         4308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     825936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70044 MiB
End job on node117 at 2012-05-27 18:17:58