Trace number 4119826

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 Res+CP PB16OPT31 1432.71 717.607

General information on the benchmark

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

Verifier Data 

OK	31

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-4119826-1467271897/watcher-4119826-1467271897 -o /tmp/evaluation-result-4119826-1467271897/solver-4119826-1467271897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467270992-10265 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119826-1467271897.opb 

pid=10490
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.16 4.08 3.38 3/194 10493
/proc/meminfo: memFree=26726012/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 8157049 98570240 977 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 24065 977 743 9 0 16771 0
[pid=10493/tid=10494] ppid=10490 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) R 10490 10493 9951 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8157049 98570240 977 33554432000 1073741824 1073778376 140736057042400 140445629152808 213193147776 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 4.16 4.08 3.38 3/194 10493
/proc/meminfo: memFree=26726012/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 4446 0 1 0 9 1 0 0 20 0 18 0 8157049 9787879424 6074 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2389619 6074 2126 9 0 2380296 0
[pid=10493/tid=10494] ppid=10490 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) R 10490 10493 9951 0 -1 4202560 2419 0 1 0 7 0 0 0 20 0 18 0 8157049 9787879424 6076 33554432000 1073741824 1073778376 140736057042400 140445629156256 140445636310085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200325 s]
/proc/loadavg: 4.16 4.08 3.38 3/194 10493
/proc/meminfo: memFree=26726012/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 4787 0 1 0 25 1 0 0 20 0 18 0 8157049 9787879424 7356 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2389619 7356 2217 9 0 2380296 0
[pid=10493/tid=10494] ppid=10490 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) R 10490 10493 9951 0 -1 4202560 2433 0 1 0 16 1 0 0 20 0 18 0 8157049 9787879424 7356 33554432000 1073741824 1073778376 140736057042400 140445629156256 140445568927559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300281 s]
/proc/loadavg: 4.16 4.08 3.38 3/194 10493
/proc/meminfo: memFree=26726012/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 12746 0 1 0 54 3 0 0 20 0 18 0 8157049 9787879424 14293 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2389619 14293 2229 9 0 2380296 0
[pid=10493/tid=10494] ppid=10490 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) R 10490 10493 9951 0 -1 4202560 2438 0 1 0 26 1 0 0 20 0 18 0 8157049 9787879424 14293 33554432000 1073741824 1073778376 140736057042400 140445629154904 140445632443287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700222 s]
/proc/loadavg: 4.16 4.08 3.38 3/194 10493
/proc/meminfo: memFree=26726012/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 13892 0 1 0 178 5 0 0 20 0 22 0 8157049 10060525568 40229 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2456183 40229 2258 9 0 2446860 0
[pid=10493/tid=10494] ppid=10490 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) S 10490 10493 9951 0 -1 4202560 2501 0 1 0 50 3 0 0 20 0 22 0 8157049 10060525568 40229 33554432000 1073741824 1073778376 140736057042400 140445629158264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732

[startup+1.5009 s]
/proc/loadavg: 4.23 4.10 3.39 6/219 10521
/proc/meminfo: memFree=26530484/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9824732 CPUtime=4.14 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 14037 0 1 0 406 8 0 0 20 0 22 0 8157049 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2456183 48521 2283 9 0 2446860 0
[pid=10493/tid=10494] ppid=10490 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) S 10490 10493 9951 0 -1 4202560 2501 0 1 0 50 3 0 0 20 0 22 0 8157049 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445629158264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10496] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10496/stat : 10496 (java) S 10490 10493 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445567887784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10497] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10497/stat : 10497 (java) S 10490 10493 9951 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445566835240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10498] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10498/stat : 10498 (java) S 10490 10493 9951 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445470111912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10499] ppid=10490 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10493/task/10499/stat : 10499 (java) S 10490 10493 9951 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445469059368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10500] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10500/stat : 10500 (java) S 10490 10493 9951 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445468007336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10501] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10501/stat : 10501 (java) S 10490 10493 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445466954792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10502] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10502/stat : 10502 (java) S 10490 10493 9951 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445465901736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10503] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10503/stat : 10503 (java) S 10490 10493 9951 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445464849192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10504] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10504/stat : 10504 (java) S 10490 10493 9951 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 8157051 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445452650856 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10505] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10505/stat : 10505 (java) S 10490 10493 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8157052 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445451597176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10506] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10506/stat : 10506 (java) S 10490 10493 9951 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 8157052 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445450544008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10507] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10507/stat : 10507 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445449492752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10508] ppid=10490 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/10493/task/10508/stat : 10508 (java) S 10490 10493 9951 0 -1 4202560 5267 0 0 0 81 0 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445448440632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10509] ppid=10490 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/10493/task/10509/stat : 10509 (java) S 10490 10493 9951 0 -1 4202560 4810 0 0 0 83 2 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445447388088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10510] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10510/stat : 10510 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445446335224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10511] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10511/stat : 10511 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445445282888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10515] ppid=10490 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/10493/task/10515/stat : 10515 (java) R 10490 10493 9951 0 -1 4202560 19 0 0 0 88 0 0 0 20 0 22 0 8157105 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445444225744 140445569759034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10516] ppid=10490 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/10493/task/10516/stat : 10516 (java) R 10490 10493 9951 0 -1 4202560 42 0 0 0 89 0 0 0 20 0 22 0 8157105 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445443173496 140445569769796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10517] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10517/stat : 10517 (java) S 10490 10493 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8157106 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445442122536 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10518] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10518/stat : 10518 (java) S 10490 10493 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8157106 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445441069992 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 4.23 4.10 3.39 3/216 10524
/proc/meminfo: memFree=26501948/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9824732 CPUtime=7.64 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 14038 0 1 0 756 8 0 0 20 0 22 0 8157049 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2456183 48521 2283 9 0 2446860 0
[pid=10493/tid=10494] ppid=10490 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) S 10490 10493 9951 0 -1 4202560 2501 0 1 0 50 3 0 0 20 0 22 0 8157049 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445629158264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10496] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10496/stat : 10496 (java) S 10490 10493 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445567887784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10497] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10497/stat : 10497 (java) S 10490 10493 9951 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445566835240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10498] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10498/stat : 10498 (java) S 10490 10493 9951 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445470111912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10499] ppid=10490 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10493/task/10499/stat : 10499 (java) S 10490 10493 9951 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445469059368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10500] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10500/stat : 10500 (java) S 10490 10493 9951 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445468007336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10501] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10501/stat : 10501 (java) S 10490 10493 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445466954792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10502] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10502/stat : 10502 (java) S 10490 10493 9951 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445465901736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10503] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10503/stat : 10503 (java) S 10490 10493 9951 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8157050 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445464849192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10504] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10504/stat : 10504 (java) S 10490 10493 9951 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 8157051 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445452650856 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10505] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10505/stat : 10505 (java) S 10490 10493 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8157052 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445451597176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10506] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10506/stat : 10506 (java) S 10490 10493 9951 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 8157052 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445450544008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10507] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10507/stat : 10507 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445449492752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10508] ppid=10490 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/10493/task/10508/stat : 10508 (java) S 10490 10493 9951 0 -1 4202560 5267 0 0 0 100 0 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445448440632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10509] ppid=10490 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/10493/task/10509/stat : 10509 (java) R 10490 10493 9951 0 -1 4202560 4810 0 0 0 95 2 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445447387968 140445631713313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10510] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10510/stat : 10510 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445446335224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10511] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10511/stat : 10511 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8157054 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445445282888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10515] ppid=10490 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/10493/task/10515/stat : 10515 (java) R 10490 10493 9951 0 -1 4202560 20 0 0 0 248 0 0 0 20 0 22 0 8157105 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445444227640 140445569694528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10516] ppid=10490 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/10493/task/10516/stat : 10516 (java) R 10490 10493 9951 0 -1 4202560 42 0 0 0 248 0 0 0 20 0 22 0 8157105 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445443174624 140445570198389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10517] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10517/stat : 10517 (java) S 10490 10493 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8157106 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445442122536 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10518] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10518/stat : 10518 (java) S 10490 10493 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8157106 10060525568 48521 33554432000 1073741824 1073778376 140736057042400 140445441069992 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 9824732

[startup+6.30088 s]
/proc/loadavg: 4.23 4.10 3.39 6/219 10527
/proc/meminfo: memFree=26433168/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9824732 CPUtime=14.42 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 14502 0 1 0 1429 13 0 0 20 0 22 0 8157049 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2456183 58824 2283 9 0 2446860 0
[pid=10493/tid=10494] ppid=10490 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) S 10490 10493 9951 0 -1 4202560 2501 0 1 0 50 3 0 0 20 0 22 0 8157049 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140445629158264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10496] ppid=10490 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10493/task/10496/stat : 10496 (java) S 10490 10493 9951 0 -1 4202560 86 0 0 0 1 1 0 0 20 0 22 0 8157050 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140445567887784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10497] ppid=10490 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10493/task/10497/stat : 10497 (java) S 10490 10493 9951 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 8157050 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140445566835240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10498] ppid=10490 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10493/task/10498/stat : 10498 (java) S 10490 10493 9951 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 8157050 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140445470111912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10499] ppid=10490 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10493/task/10499/stat : 10499 (java) S 10490 10493 9951 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 22 0 8157050 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140445469059368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10500] ppid=10490 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10493/task/10500/stat : 10500 (java) S 10490 10493 9951 0 -1 4202560 86 0 0 0 2 2 0 0 20 0 22 0 8157050 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140445468007336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10501] ppid=10490 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10493/task/10501/stat : 10501 (java) S 10490 10493 9951 0 -1 4202560 170 0 0 0 2 0 0 0 20 0 22 0 8157050 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140445466954792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10502] ppid=10490 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10493/task/10502/stat : 10502 (java) S 10490 10493 9951 0 -1 4202560 24 0 0 0 1 1 0 0 20 0 22 0 8157050 10060525568 58824 33554432000 1073741824 1073778376 140736057042400 140445465901736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10503] ppid=10490 vsize=9824732 CPUtime=0.02 cores=0,2,4,6

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

[pid=10493/tid=10511] ppid=10490 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/10493/task/10511/stat : 10511 (java) S 10490 10493 9951 0 -1 4202560 41 0 0 0 10 10 0 0 20 0 22 0 8157054 10060525568 772234 33554432000 1073741824 1073778376 140736057042400 140445445282888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10518] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10518/stat : 10518 (java) S 10490 10493 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8157106 10060525568 772234 33554432000 1073741824 1073778376 140736057042400 140445441069992 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10528] ppid=10490 vsize=9824732 CPUtime=677.93 cores=0,2,4,6
/proc/10493/task/10528/stat : 10528 (java) R 10490 10493 9951 0 -1 4202560 222 0 0 0 67781 12 0 0 20 0 22 0 8159456 10060525568 772234 33554432000 1073741824 1073778376 140736057042400 140445443166608 140445569574188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10529] ppid=10490 vsize=9824732 CPUtime=677.84 cores=0,2,4,6
/proc/10493/task/10529/stat : 10529 (java) R 10490 10493 9951 0 -1 4202560 304 0 0 0 67766 18 0 0 20 0 22 0 8159456 10060525568 772234 33554432000 1073741824 1073778376 140736057042400 140445444227008 140445569777590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10530] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10530/stat : 10530 (java) S 10490 10493 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 8159456 10060525568 772234 33554432000 1073741824 1073778376 140736057042400 140445442123048 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1428.16
Current children cumulated vsize (KiB) 9824732

[startup+715.207 s]
/proc/loadavg: 4.13 4.21 3.84 5/217 10549
/proc/meminfo: memFree=20255012/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9824732 CPUtime=1427.51 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 30114 0 1 0 142471 280 0 0 20 0 21 0 8157049 10060525568 772230 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2456183 772230 2294 9 0 2446860 0
[pid=10493/tid=10494] ppid=10490 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) S 10490 10493 9951 0 -1 4202560 2508 0 1 0 52 5 0 0 20 0 21 0 8157049 10060525568 772230 33554432000 1073741824 1073778376 140736057042400 140445629158264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10496] ppid=10490 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/10493/task/10496/stat : 10496 (java) S 10490 10493 9951 0 -1 4202560 1679 0 0 0 108 23 0 0 20 0 21 0 8157050 10060525568 772228 33554432000 1073741824 1073778376 140736057042400 140445567887784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10497] ppid=10490 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/10493/task/10497/stat : 10497 (java) S 10490 10493 9951 0 -1 4202560 1927 0 0 0 133 30 0 0 20 0 20 0 8157050 10060525568 772228 33554432000 1073741824 1073778376 140736057042400 140445566835240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10498] ppid=10490 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/10493/task/10498/stat : 10498 (java) S 10490 10493 9951 0 -1 4202560 1467 0 0 0 136 29 0 0 20 0 20 0 8157050 10060525568 772228 33554432000 1073741824 1073778376 140736057042400 140445470111912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10499] ppid=10490 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/10493/task/10499/stat : 10499 (java) S 10490 10493 9951 0 -1 4202560 1370 0 0 0 108 28 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445469059368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10500] ppid=10490 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/10493/task/10500/stat : 10500 (java) S 10490 10493 9951 0 -1 4202560 1357 0 0 0 160 40 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445468007336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10501] ppid=10490 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/10493/task/10501/stat : 10501 (java) S 10490 10493 9951 0 -1 4202560 2130 0 0 0 119 27 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445466954792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10502] ppid=10490 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/10493/task/10502/stat : 10502 (java) S 10490 10493 9951 0 -1 4202560 1306 0 0 0 114 24 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445465901736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10503] ppid=10490 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/10493/task/10503/stat : 10503 (java) S 10490 10493 9951 0 -1 4202560 1694 0 0 0 116 25 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445464849192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10504] ppid=10490 vsize=9824732 CPUtime=6.69 cores=0,2,4,6
/proc/10493/task/10504/stat : 10504 (java) S 10490 10493 9951 0 -1 4202560 2426 0 0 0 666 3 0 0 20 0 19 0 8157051 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445452650856 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10505] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10505/stat : 10505 (java) S 10490 10493 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8157052 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445451597176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10506] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10506/stat : 10506 (java) S 10490 10493 9951 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8157052 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445450544008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10507] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10507/stat : 10507 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445449492752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10508] ppid=10490 vsize=9824732 CPUtime=1.51 cores=0,2,4,6
/proc/10493/task/10508/stat : 10508 (java) R 10490 10493 9951 0 -1 4202560 5319 0 0 0 151 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445448430000 140445633244313 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10509] ppid=10490 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/10493/task/10509/stat : 10509 (java) S 10490 10493 9951 0 -1 4202560 4965 0 0 0 139 2 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445447388088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10510] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10510/stat : 10510 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445446335224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10511] ppid=10490 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/10493/task/10511/stat : 10511 (java) S 10490 10493 9951 0 -1 4202560 41 0 0 0 10 10 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445445282888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10518] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10518/stat : 10518 (java) S 10490 10493 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8157106 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445441069992 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1427.51
Current children cumulated vsize (KiB) 9824732

[startup+716.801 s]
/proc/loadavg: 4.04 4.19 3.83 5/216 10552
/proc/meminfo: memFree=20254888/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9824732 CPUtime=1428.63 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 30115 0 1 0 142583 280 0 0 20 0 19 0 8157049 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2456183 772226 2294 9 0 2446860 0
[pid=10493/tid=10494] ppid=10490 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) R 10490 10493 9951 0 -1 4202560 2508 0 1 0 162 5 0 0 20 0 19 0 8157049 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445629155840 140445569116086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10496] ppid=10490 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/10493/task/10496/stat : 10496 (java) S 10490 10493 9951 0 -1 4202560 1679 0 0 0 108 23 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445567887784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10497] ppid=10490 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/10493/task/10497/stat : 10497 (java) S 10490 10493 9951 0 -1 4202560 1927 0 0 0 133 30 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445566835240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10498] ppid=10490 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/10493/task/10498/stat : 10498 (java) S 10490 10493 9951 0 -1 4202560 1467 0 0 0 136 29 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445470111912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10499] ppid=10490 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/10493/task/10499/stat : 10499 (java) S 10490 10493 9951 0 -1 4202560 1370 0 0 0 108 28 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445469059368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10500] ppid=10490 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/10493/task/10500/stat : 10500 (java) S 10490 10493 9951 0 -1 4202560 1357 0 0 0 160 40 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445468007336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10501] ppid=10490 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/10493/task/10501/stat : 10501 (java) S 10490 10493 9951 0 -1 4202560 2130 0 0 0 119 27 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445466954792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10502] ppid=10490 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/10493/task/10502/stat : 10502 (java) S 10490 10493 9951 0 -1 4202560 1306 0 0 0 114 24 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445465901736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10503] ppid=10490 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/10493/task/10503/stat : 10503 (java) S 10490 10493 9951 0 -1 4202560 1694 0 0 0 116 25 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445464849192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10504] ppid=10490 vsize=9824732 CPUtime=6.69 cores=0,2,4,6
/proc/10493/task/10504/stat : 10504 (java) S 10490 10493 9951 0 -1 4202560 2426 0 0 0 666 3 0 0 20 0 19 0 8157051 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445452650856 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10505] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10505/stat : 10505 (java) S 10490 10493 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8157052 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445451597176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10506] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10506/stat : 10506 (java) S 10490 10493 9951 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8157052 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445450544008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10507] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10507/stat : 10507 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445449492752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10508] ppid=10490 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/10493/task/10508/stat : 10508 (java) S 10490 10493 9951 0 -1 4202560 5319 0 0 0 154 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445448440632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10509] ppid=10490 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/10493/task/10509/stat : 10509 (java) S 10490 10493 9951 0 -1 4202560 4965 0 0 0 139 2 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445447388088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10510] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10510/stat : 10510 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445446335224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10511] ppid=10490 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/10493/task/10511/stat : 10511 (java) S 10490 10493 9951 0 -1 4202560 41 0 0 0 10 10 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445445282888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10518] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10518/stat : 10518 (java) S 10490 10493 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8157106 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445441069992 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1428.63
Current children cumulated vsize (KiB) 9824732

[startup+717.201 s]
/proc/loadavg: 4.04 4.19 3.83 5/216 10552
/proc/meminfo: memFree=20254912/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=9824732 CPUtime=1429.04 cores=0,2,4,6
/proc/10493/stat : 10493 (java) S 10490 10493 9951 0 -1 4202496 30116 0 1 0 142624 280 0 0 20 0 19 0 8157049 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140736057033536 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10493/statm: 2456183 772226 2294 9 0 2446860 0
[pid=10493/tid=10494] ppid=10490 vsize=9824732 CPUtime=2.08 cores=0,2,4,6
/proc/10493/task/10494/stat : 10494 (java) R 10490 10493 9951 0 -1 4202560 2509 0 1 0 203 5 0 0 20 0 19 0 8157049 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445629155840 140445570208075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10496] ppid=10490 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/10493/task/10496/stat : 10496 (java) S 10490 10493 9951 0 -1 4202560 1679 0 0 0 108 23 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445567887784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10497] ppid=10490 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/10493/task/10497/stat : 10497 (java) S 10490 10493 9951 0 -1 4202560 1927 0 0 0 133 30 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445566835240 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10498] ppid=10490 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/10493/task/10498/stat : 10498 (java) S 10490 10493 9951 0 -1 4202560 1467 0 0 0 136 29 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445470111912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10499] ppid=10490 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/10493/task/10499/stat : 10499 (java) S 10490 10493 9951 0 -1 4202560 1370 0 0 0 108 28 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445469059368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10500] ppid=10490 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/10493/task/10500/stat : 10500 (java) S 10490 10493 9951 0 -1 4202560 1357 0 0 0 160 40 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445468007336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10501] ppid=10490 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/10493/task/10501/stat : 10501 (java) S 10490 10493 9951 0 -1 4202560 2130 0 0 0 119 27 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445466954792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10502] ppid=10490 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/10493/task/10502/stat : 10502 (java) S 10490 10493 9951 0 -1 4202560 1306 0 0 0 114 24 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445465901736 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10503] ppid=10490 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/10493/task/10503/stat : 10503 (java) S 10490 10493 9951 0 -1 4202560 1694 0 0 0 116 25 0 0 20 0 19 0 8157050 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445464849192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10504] ppid=10490 vsize=9824732 CPUtime=6.69 cores=0,2,4,6
/proc/10493/task/10504/stat : 10504 (java) S 10490 10493 9951 0 -1 4202560 2426 0 0 0 666 3 0 0 20 0 19 0 8157051 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445452650856 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10505] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10505/stat : 10505 (java) S 10490 10493 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8157052 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445451597176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10506] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10506/stat : 10506 (java) S 10490 10493 9951 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8157052 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445450544008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10507] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10507/stat : 10507 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445449492752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10508] ppid=10490 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/10493/task/10508/stat : 10508 (java) S 10490 10493 9951 0 -1 4202560 5319 0 0 0 154 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445448440632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10493/tid=10509] ppid=10490 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/10493/task/10509/stat : 10509 (java) S 10490 10493 9951 0 -1 4202560 4965 0 0 0 139 2 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445447388088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10493/tid=10510] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10510/stat : 10510 (java) S 10490 10493 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445446335224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10493/tid=10511] ppid=10490 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/10493/task/10511/stat : 10511 (java) S 10490 10493 9951 0 -1 4202560 41 0 0 0 10 10 0 0 20 0 19 0 8157054 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445445282888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10493/tid=10518] ppid=10490 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10518/stat : 10518 (java) S 10490 10493 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8157106 10060525568 772226 33554432000 1073741824 1073778376 140736057042400 140445441069992 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1429.04
Current children cumulated vsize (KiB) 9824732

[startup+717.601 s]
/proc/loadavg: 4.04 4.19 3.83 5/216 10552
/proc/meminfo: memFree=20254912/32872528 swapFree=11740/941760
[pid=10493] ppid=10490 vsize=0 CPUtime=1429.62 cores=0,2,4,6
/proc/10493/stat : 10493 (java) Z 10490 10493 9951 0 -1 4203532 30132 0 1 0 142666 296 0 0 20 0 2 0 8157049 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10493/statm: 0 0 0 0 0 0 0
[pid=10493/tid=10510] ppid=10490 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/10493/task/10510/stat : 10510 (java) R 10490 10493 9951 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 2 0 8157054 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1429.62
Current children cumulated vsize (KiB) 0

Child status: 30

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.06995
#  lost CPU user time (s): 3.28003
#  lost CPU system time (s): -0.21

Real time (s): 717.607
CPU time (s): 1432.71
CPU user time (s): 1429.94
CPU system time (s): 2.76155
CPU usage (%): 199.65
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1426.66
system time used= 2.97155
maximum resident set size= 3088936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30132
page faults= 1
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18137
involuntary context switches= 18387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99124 second user time and 6.74097 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-30 09:31:37
IDJOB=4119826
IDBENCH=111810
IDSOLVER=2543
FILE ID=node113/4119826-1467271897
RUNJOBID= node113-1467270992-10265
PBS_JOBID= 20004491
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm95p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119826-1467271897/watcher-4119826-1467271897 -o /tmp/evaluation-result-4119826-1467271897/solver-4119826-1467271897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467270992-10265 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119826-1467271897.opb

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

MD5SUM BENCH= 4d2a39c7c3be3238c64434e8dc719d9f
RANDOM SEED=489893366

node113.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.947
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
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.947
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	: 5325.52
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.947
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.56
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.947
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.54
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.947
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.56
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.947
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.947
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.56
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.947
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:        26726540 kB
Buffers:          105676 kB
Cached:          4161400 kB
SwapCached:            0 kB
Active:          2994368 kB
Inactive:        1446644 kB
Active(anon):     170748 kB
Inactive(anon):     5656 kB
Active(file):    2823620 kB
Inactive(file):  1440988 kB
Unevictable:      941760 kB
Mlocked:           11740 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2564 kB
Writeback:             0 kB
AnonPages:       1103396 kB
Mapped:            21576 kB
Shmem:               204 kB
Slab:             628620 kB
SReclaimable:      72388 kB
SUnreclaim:       556232 kB
KernelStack:        1600 kB
PageTables:         6180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1635492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1040384 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= 71732 MiB
End job on node113 at 2016-06-30 09:43:35