Trace number 4119892

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 2.3.6 Resolution PB16OPT29 403.408 400.632

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
MD5SUMab5ea8306af8700174d1bacaebcc6943
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark403.408
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

Quality of the solution as a function of time


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

Solver Data

0.06/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.06/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.20	c See www.sat4j.org for details.
0.06/0.21	c version PB16.v20160501
0.06/0.21	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.21	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.21	c java.vm.version	19.1-b02
0.06/0.21	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.21	c sun.arch.data.model	64
0.06/0.21	c java.version		1.6.0_24
0.06/0.21	c os.name		Linux
0.06/0.21	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.21	c os.arch		amd64
0.06/0.21	c Free memory 		501472288
0.06/0.21	c Max memory 		7480803328
0.06/0.21	c Total memory 		504102912
0.06/0.21	c Number of processors 	8
0.06/0.23	c Pseudo Boolean Optimization by upper bound
0.06/0.23	c --- Begin Solver configuration ---
0.06/0.23	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.06/0.23	c Learn all clauses as in MiniSAT
0.06/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.23	c No reason simplification
0.06/0.23	c Glucose 2.1 dynamic restart strategy
0.06/0.23	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.06/0.23	c timeout=2147483s
0.06/0.23	c DB Simplification allowed=false
0.06/0.23	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.06/0.23	c --- End Solver configuration ---
0.06/0.23	c solving HOME/instance-4119892-1467278960.opb
0.06/0.23	c reading problem ... 
0.06/0.24	c  objective function found
0.48/0.49	c ... done. Wall clock time 0.262s.
0.48/0.49	c declared #vars     10432
0.48/0.49	c #constraints  716
0.48/0.49	c constraints type 
0.75/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 325
0.75/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 325
0.75/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.75/0.50	c 716 constraints processed.
0.75/0.50	c objective function length is 32 literals
1.67/1.08	c cleaning 2488 clauses out of 5000 with flag 12361/5000
2.32/1.64	c cleaning 4241 clauses out of 8512 with flag 25288/11000
3.08/2.39	c cleaning 5627 clauses out of 11272 with flag 42671/18001
4.09/3.33	c cleaning 6811 clauses out of 13645 with flag 63514/26001
5.12/4.30	c SATISFIABLE
5.12/4.30	c OPTIMIZING...
5.12/4.30	c Got one! Elapsed wall clock time (in seconds):4.065
5.12/4.30	o 32
5.45/4.66	c cleaning 9855 clauses out of 19725 with flag 16443/38892
5.96/5.16	c cleaning 7925 clauses out of 15868 with flag 39555/44890
6.55/5.74	c cleaning 7462 clauses out of 14943 with flag 73286/51890
7.05/6.27	c Got one! Elapsed wall clock time (in seconds):6.034
7.05/6.27	o 31
7.52/6.70	c cleaning 9136 clauses out of 18293 with flag 18826/62702
8.12/7.25	c cleaning 7572 clauses out of 15158 with flag 47063/68703
8.72/7.82	c cleaning 7280 clauses out of 14585 with flag 72519/75702
9.62/8.70	c cleaning 7646 clauses out of 15305 with flag 99690/83702
10.62/9.70	c cleaning 8321 clauses out of 16659 with flag 136623/92702
11.82/10.97	c cleaning 9152 clauses out of 18338 with flag 183819/102702
13.22/12.39	c cleaning 10077 clauses out of 20186 with flag 219906/113702
14.92/14.02	c cleaning 11044 clauses out of 22111 with flag 268601/125704
16.92/16.04	c cleaning 12018 clauses out of 24067 with flag 314747/138704
19.22/18.30	c cleaning 13006 clauses out of 26048 with flag 365049/152703
21.82/20.93	c cleaning 14003 clauses out of 28041 with flag 410277/167702
24.37/23.44	c cleaning 15003 clauses out of 30038 with flag 477531/183702
27.48/26.54	c cleaning 16002 clauses out of 32035 with flag 543112/200702
30.97/30.04	c cleaning 17001 clauses out of 34034 with flag 623257/218703
34.37/33.40	c cleaning 18000 clauses out of 36032 with flag 689903/237702
38.27/37.32	c cleaning 18992 clauses out of 38032 with flag 749276/257702
42.47/41.54	c cleaning 20011 clauses out of 40042 with flag 816969/278704
47.00/46.05	c cleaning 20994 clauses out of 42029 with flag 894774/300702
51.50/50.52	c cleaning 22002 clauses out of 44035 with flag 968412/323702
56.39/55.42	c cleaning 22998 clauses out of 46033 with flag 1059417/347702
61.60/60.64	c cleaning 24002 clauses out of 48035 with flag 1143650/372702
67.18/66.16	c cleaning 25002 clauses out of 50033 with flag 1236145/398702
72.98/71.90	c cleaning 26001 clauses out of 52031 with flag 1330947/425702
79.18/78.15	c cleaning 27002 clauses out of 54032 with flag 1419553/453704
86.28/85.26	c cleaning 27995 clauses out of 56028 with flag 1509327/482702
93.29/92.15	c cleaning 29000 clauses out of 58034 with flag 1623391/512703
101.19/100.10	c cleaning 30005 clauses out of 60033 with flag 1741123/543702
110.00/108.84	c cleaning 30993 clauses out of 62030 with flag 1835727/575704
119.19/118.01	c cleaning 31996 clauses out of 64037 with flag 1949229/608704
129.02/127.75	c cleaning 33001 clauses out of 66039 with flag 2094872/642702
138.61/137.39	c cleaning 34000 clauses out of 68040 with flag 2227836/677704
149.96/148.55	c cleaning 34998 clauses out of 70040 with flag 2370700/713704
160.65/159.26	c cleaning 36000 clauses out of 72040 with flag 2514717/750702
172.05/170.66	c cleaning 36998 clauses out of 74040 with flag 2663428/788702
181.60/180.07	c cleaning 38004 clauses out of 76042 with flag 2806848/827702
183.30/181.78	c Got one! Elapsed wall clock time (in seconds):181.551
183.30/181.78	o 30
183.73/182.18	c cleaning 28563 clauses out of 57147 with flag 13047/846811
184.24/182.69	c cleaning 17278 clauses out of 34583 with flag 30799/852810
184.93/183.30	c cleaning 12134 clauses out of 24305 with flag 52021/859810
185.63/184.03	c cleaning 10072 clauses out of 20171 with flag 74709/867810
186.54/184.95	c cleaning 9533 clauses out of 19102 with flag 102635/876813
187.54/185.99	c cleaning 9769 clauses out of 19566 with flag 131691/886810
188.83/187.29	c cleaning 10385 clauses out of 20798 with flag 163985/897811
190.42/188.77	c cleaning 11189 clauses out of 22413 with flag 201495/909811
192.22/190.52	c cleaning 12097 clauses out of 24225 with flag 240387/922812
194.23/192.53	c cleaning 13049 clauses out of 26127 with flag 284651/936811
196.53/194.85	c cleaning 14026 clauses out of 28077 with flag 330434/951810
199.12/197.49	c cleaning 15012 clauses out of 30052 with flag 377730/967811
202.12/200.40	c cleaning 16002 clauses out of 32042 with flag 429609/984813
205.52/203.71	c cleaning 17002 clauses out of 34037 with flag 485142/1002810
208.82/207.09	c cleaning 18008 clauses out of 36036 with flag 540341/1021811
210.52/208.70	c cleaning 18992 clauses out of 38027 with flag 588935/1041810
213.42/211.68	c cleaning 19998 clauses out of 40035 with flag 634403/1062810
216.62/214.84	c cleaning 20999 clauses out of 42037 with flag 688751/1084810
220.27/218.44	c cleaning 22002 clauses out of 44039 with flag 742928/1107811
224.09/222.25	c cleaning 22992 clauses out of 46036 with flag 804997/1131810
227.88/226.05	c cleaning 24003 clauses out of 48045 with flag 863294/1156811
232.71/230.81	c cleaning 24998 clauses out of 50042 with flag 920667/1182811
237.91/236.02	c cleaning 26002 clauses out of 52043 with flag 982349/1209810
243.61/241.73	c cleaning 26996 clauses out of 54041 with flag 1047987/1237810
250.11/248.21	c cleaning 28002 clauses out of 56045 with flag 1115380/1266810
257.32/255.48	c cleaning 28995 clauses out of 58043 with flag 1182643/1296810
265.03/263.10	c cleaning 29997 clauses out of 60049 with flag 1253423/1327811
272.82/270.85	c cleaning 31000 clauses out of 62051 with flag 1329794/1359810
280.22/278.30	c cleaning 32003 clauses out of 64053 with flag 1405537/1392812
289.33/287.31	c cleaning 32996 clauses out of 66048 with flag 1482331/1426810
299.60/297.51	c cleaning 34001 clauses out of 68053 with flag 1560720/1461811
310.30/308.27	c cleaning 35000 clauses out of 70051 with flag 1640960/1497810
320.61/318.46	c cleaning 36002 clauses out of 72052 with flag 1724539/1534811
332.01/329.85	c cleaning 37001 clauses out of 74049 with flag 1810247/1572810
343.68/341.42	c cleaning 38003 clauses out of 76048 with flag 1899883/1611810
351.28/349.02	c cleaning 39013 clauses out of 78047 with flag 1998466/1651812
355.35/353.09	c cleaning 40006 clauses out of 80034 with flag 2105406/1692812
362.85/360.52	c cleaning 41002 clauses out of 82026 with flag 2194679/1734810
374.23/371.89	c cleaning 42000 clauses out of 84026 with flag 2284919/1777812
380.12/377.74	c cleaning 42996 clauses out of 86025 with flag 2379520/1821811
384.35/381.91	c cleaning 44002 clauses out of 88029 with flag 2513643/1866811
387.55/385.12	c cleaning 45005 clauses out of 90026 with flag 2630200/1912810
391.79/389.30	c cleaning 45993 clauses out of 92021 with flag 2755641/1959810
402.62/400.14	c Got one! Elapsed wall clock time (in seconds):399.91
402.62/400.14	o 29
403.06/400.59	c starts		: 570
403.06/400.59	c conflicts		: 2011492
403.06/400.59	c decisions		: 2973326
403.06/400.59	c propagations		: 129314024
403.06/400.59	c inspects		: 6912727417
403.06/400.59	c shortcuts		: 0
403.06/400.59	c learnt literals	: 9
403.06/400.59	c learnt binary clauses	: 7
403.06/400.59	c learnt ternary clauses	: 8
403.06/400.59	c learnt constraints	: 2011482
403.06/400.59	c ignored constraints	: 0
403.06/400.59	c root simplifications	: 0
403.06/400.59	c removed literals (reason simplification)	: 0
403.06/400.59	c reason swapping (by a shorter reason)	: 0
403.06/400.59	c Calls to reduceDB	: 85
403.06/400.59	c Number of update (reduction) of LBD	: 262423
403.06/400.59	c Imported unit clauses	: 0
403.06/400.59	c number of reductions to clauses (during analyze)	: 0
403.06/400.59	c number of learned constraints concerned by reduction	: 0
403.06/400.59	c number of learning phase by resolution	: 0
403.06/400.59	c number of learning phase by cutting planes	: 0
403.06/400.59	c speed (assignments/second)	: 323217.18439127784
403.06/400.59	c non guided choices	215789
403.06/400.59	c learnt constraints type 
403.06/400.59	s OPTIMUM FOUND
403.06/400.59	c Found 4 solution(s)
403.15/400.60	v x1 x2 x3 x4 x5 x6 x7 x8 x9 -x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 -x20 x21 x22 -x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 x3483 x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 x4342 -x4343 -x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5778 -x5779 -x5780 -x5781 -x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 x6567 x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 x6598 -x6599 -x6600 x6601 -x6602 x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 x6873 -x6874 -x6875 -x6876 x6877 -x6878 -x6879 -x6880 -x6881 -x6882 x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 x6998 -x6999 x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 x7642 -x7643 -x7644 -x7645 x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 x7676 -x7677 -x7678 -x7679 x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 x7779 -x7780 -x7781 x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 x8065 x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 x8122 x8123 -x8124 -x8125 -x8126 -x8127 -x8128 x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 -x8764 x8765 -x8766 x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 x8877 -x8878 x8879 x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 x9096 -x9097 -x9098 -x9099 x9100 -x9101 -x9102 x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 x9249 -x9250 -x9251 -x9252 -x9253 -x9254 x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -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 
403.15/400.61	c objective function=29
403.15/400.61	c Total wall clock time (in seconds): 400.382

Verifier Data

OK	29

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119892-1467278960/watcher-4119892-1467278960 -o /tmp/evaluation-result-4119892-1467278960/solver-4119892-1467278960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467278960-13409 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119892-1467278960.opb 

pid=13424
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 2.07 2.01 3/172 13427
/proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/13427/stat : 13427 (java) R 13424 13427 11473 0 -1 4202496 158 0 1 0 0 0 0 0 20 0 1 0 9002358 278528 34 33554432000 1073741824 1073778376 140735317314912 140735317312088 247055084725 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13427/statm: 68 34 25 9 0 25 0

[startup+0.100074 s]
/proc/loadavg: 2.03 2.07 2.01 3/172 13427
/proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9016616 CPUtime=0.01 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 2464 0 25 0 0 1 0 0 20 0 10 0 9002358 9233014784 3109 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2254154 3109 1231 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.200256 s]
/proc/loadavg: 2.03 2.07 2.01 3/172 13427
/proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 3686 0 26 0 5 1 0 0 20 0 18 0 9002358 9787879424 4842 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2389619 4852 1920 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476

[startup+0.300169 s]
/proc/loadavg: 2.03 2.07 2.01 3/172 13427
/proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 4688 0 26 0 21 2 0 0 20 0 18 0 9002358 9787879424 6788 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2389619 6788 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.700175 s]
/proc/loadavg: 2.03 2.07 2.01 3/172 13427
/proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 9474 0 26 0 125 4 0 0 20 0 19 0 9002358 9856040960 22590 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2406260 22590 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.03 2.07 2.01 4/213 13475
/proc/meminfo: memFree=30129320/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 10118 0 26 0 214 5 0 0 20 0 19 0 9002358 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2406260 25159 2265 9 0 2396937 0
[pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2429 0 7 0 131 3 0 0 20 0 19 0 9002365 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891489141080 139891330136475 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0
[pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9002369 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 2814 0 0 0 40 0 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3614 0 0 0 40 2 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.03 2.07 2.01 3/213 13475
/proc/meminfo: memFree=30112052/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 11111 0 26 0 384 5 0 0 20 0 19 0 9002358 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2406260 28743 2265 9 0 2396937 0
[pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2437 0 7 0 290 3 0 0 20 0 19 0 9002365 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891489141048 139891330358266 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0
[pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9002369 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 3799 0 0 0 48 0 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3614 0 0 0 42 2 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.03 2.06 2.01 3/213 13475
/proc/meminfo: memFree=30020080/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9625040 CPUtime=7.19 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 11575 0 26 0 713 6 0 0 20 0 19 0 9002358 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2406260 39117 2266 9 0 2396937 0
[pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=6.12 cores=1,3,5,7
/proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2459 0 7 0 609 3 0 0 20 0 19 0 9002365 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891489132240 139891330213888 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0
[pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9002369 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 4170 0 0 0 52 1 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 47 2 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 9625040


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

[pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 179 0 0 0 21 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 254 0 0 0 17 5 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 279 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 136 0 0 0 19 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 238 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 252 0 0 0 21 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 142 0 0 0 16 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 9002369 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 4677 0 0 0 57 1 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 47 2 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 24 0 0 0 3 5 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 400.92
Current children cumulated vsize (KiB) 9625040

[startup+400.001 s]
/proc/loadavg: 2.13 2.09 2.02 3/213 13486
/proc/meminfo: memFree=28313604/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9625040 CPUtime=402.52 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 13899 0 26 0 40192 60 0 0 20 0 19 0 9002358 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2406260 123225 2288 9 0 2396937 0
[pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=399.14 cores=1,3,5,7
/proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2485 0 7 0 39904 10 0 0 20 0 19 0 9002365 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891489139936 139891330092274 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0
[pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 177 0 0 0 23 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 179 0 0 0 21 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 254 0 0 0 17 5 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 279 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 136 0 0 0 19 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 238 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 252 0 0 0 21 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 142 0 0 0 16 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 9002369 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 4677 0 0 0 57 1 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 47 2 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 24 0 0 0 3 5 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.52
Current children cumulated vsize (KiB) 9625040

[startup+400.401 s]
/proc/loadavg: 2.12 2.09 2.02 3/213 13486
/proc/meminfo: memFree=28313604/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9625040 CPUtime=402.95 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 13901 0 26 0 40235 60 0 0 20 0 19 0 9002358 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2406260 123225 2288 9 0 2396937 0
[pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=399.54 cores=1,3,5,7
/proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2486 0 7 0 39944 10 0 0 20 0 19 0 9002365 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891489139912 139891330370484 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0
[pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 177 0 0 0 23 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 179 0 0 0 21 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 254 0 0 0 17 5 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 279 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 136 0 0 0 19 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 238 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 252 0 0 0 21 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 142 0 0 0 16 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 9002369 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/13427/task/13465/stat : 13465 (java) R 13424 13427 11473 0 -1 4202560 4678 0 0 0 59 1 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 48 2 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 24 0 0 0 3 5 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.95
Current children cumulated vsize (KiB) 9625040

[startup+400.601 s]
/proc/loadavg: 2.12 2.09 2.02 3/213 13486
/proc/meminfo: memFree=28313604/32872528 swapFree=242912/249044
[pid=13427] ppid=13424 vsize=9691604 CPUtime=403.15 cores=1,3,5,7
/proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 13911 0 26 0 40255 60 0 0 20 0 19 0 9002358 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0
/proc/13427/statm: 2422901 123233 2289 9 0 2413578 0
[pid=13427/tid=13429] ppid=13424 vsize=9691604 CPUtime=399.74 cores=1,3,5,7
/proc/13427/task/13429/stat : 13429 (java) S 13424 13427 11473 0 -1 4202560 2488 0 7 0 39964 10 0 0 20 0 19 0 9002365 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891489141464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 5 0 0
[pid=13427/tid=13435] ppid=13424 vsize=9691604 CPUtime=0.3 cores=1,3,5,7
/proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 177 0 0 0 23 7 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13436] ppid=13424 vsize=9691604 CPUtime=0.27 cores=1,3,5,7
/proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 179 0 0 0 21 6 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13427/tid=13437] ppid=13424 vsize=9691604 CPUtime=0.22 cores=1,3,5,7
/proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 254 0 0 0 17 5 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13438] ppid=13424 vsize=9691604 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 279 0 0 0 20 6 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13439] ppid=13424 vsize=9691604 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 136 0 0 0 19 7 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13440] ppid=13424 vsize=9691604 CPUtime=0.26 cores=1,3,5,7
/proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 238 0 0 0 20 6 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13427/tid=13441] ppid=13424 vsize=9691604 CPUtime=0.28 cores=1,3,5,7
/proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 252 0 0 0 21 7 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13442] ppid=13424 vsize=9691604 CPUtime=0.22 cores=1,3,5,7
/proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 142 0 0 0 16 6 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13450] ppid=13424 vsize=9691604 CPUtime=0.1 cores=1,3,5,7
/proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 9002369 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13459] ppid=13424 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9002370 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13460] ppid=13424 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9002370 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13464] ppid=13424 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13465] ppid=13424 vsize=9691604 CPUtime=0.6 cores=1,3,5,7
/proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 4678 0 0 0 59 1 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13466] ppid=13424 vsize=9691604 CPUtime=0.5 cores=1,3,5,7
/proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 48 2 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13427/tid=13467] ppid=13424 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13427/tid=13469] ppid=13424 vsize=9691604 CPUtime=0.08 cores=1,3,5,7
/proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 24 0 0 0 3 5 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 403.15
Current children cumulated vsize (KiB) 9691604

Child status: 30
Real time (s): 400.632
CPU time (s): 403.408
CPU user time (s): 402.562
CPU system time (s): 0.845871
CPU usage (%): 100.693
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 402.562
system time used= 0.845871
maximum resident set size= 581436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13919
page faults= 26
swaps= 0
block input operations= 18224
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9431
involuntary context switches= 2754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.84357 second user time and 3.70544 second system time

The end

Launcher Data

Begin job on node103 at 2016-06-30 11:29:20
IDJOB=4119892
IDBENCH=111817
IDSOLVER=2546
FILE ID=node103/4119892-1467278960
RUNJOBID= node103-1467278960-13409
PBS_JOBID= 20004489
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119892-1467278960/watcher-4119892-1467278960 -o /tmp/evaluation-result-4119892-1467278960/solver-4119892-1467278960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467278960-13409 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119892-1467278960.opb

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

MD5SUM BENCH= ab5ea8306af8700174d1bacaebcc6943
RANDOM SEED=2031853035

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30419936 kB
Buffers:          100328 kB
Cached:          1338792 kB
SwapCached:            0 kB
Active:           679932 kB
Inactive:         782952 kB
Active(anon):      17792 kB
Inactive(anon):     8560 kB
Active(file):     662140 kB
Inactive(file):   774392 kB
Unevictable:      249044 kB
Mlocked:          242912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1188 kB
Writeback:             0 kB
AnonPages:        377404 kB
Mapped:            13912 kB
Shmem:               204 kB
Slab:             607588 kB
SReclaimable:      51896 kB
SUnreclaim:       555692 kB
KernelStack:        1416 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     355612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node103 at 2016-06-30 11:36:01