Trace number 3458499

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 Resolution 2.3.0SAT (TO)31 1800.26 1798.2

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		12995394264
0.06/0.09	c Max memory 		13063553024
0.06/0.09	c Total memory 		13063553024
0.06/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458499-1307156675.opb
0.10/0.11	c reading problem ... 
1.00/0.57	c ... done. Wall clock time 0.455s.
1.00/0.57	c #vars     12852
1.00/0.57	c #constraints  41686
1.00/0.57	c constraints type 
1.00/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6595
1.00/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33897
1.40/0.72	c SATISFIABLE
1.40/0.72	c OPTIMIZING...
1.40/0.72	c Got one! Elapsed wall clock time (in seconds):0.608
1.40/0.72	o 38
1.82/0.97	c Got one! Elapsed wall clock time (in seconds):0.855
1.82/0.97	o 35
2.40/1.46	c Got one! Elapsed wall clock time (in seconds):1.352
2.40/1.46	o 34
3.16/2.14	c Got one! Elapsed wall clock time (in seconds):2.031
3.16/2.14	o 33
5.56/4.56	c cleaning 3126 clauses out of 6261 with flag 4001/6261
5.91/4.89	c Got one! Elapsed wall clock time (in seconds):4.775
5.91/4.89	o 32
8.66/7.54	c cleaning 4231 clauses out of 8470 with flag 5000/11596
10.47/9.31	c Got one! Elapsed wall clock time (in seconds):9.199
10.47/9.31	o 31
11.57/10.46	c cleaning 4661 clauses out of 9333 with flag 2000/16690
15.38/14.29	c cleaning 5336 clauses out of 10672 with flag 8000/22690
19.43/18.23	c cleaning 6162 clauses out of 12336 with flag 15000/29690
24.53/23.31	c cleaning 7077 clauses out of 14175 with flag 23001/37691
29.93/28.74	c cleaning 8034 clauses out of 16097 with flag 32000/46690
35.74/34.57	c cleaning 9026 clauses out of 18064 with flag 42001/56691
42.24/41.06	c cleaning 10010 clauses out of 20037 with flag 53000/67690
49.04/47.87	c cleaning 11008 clauses out of 22027 with flag 65000/79690
56.34/55.14	c cleaning 12007 clauses out of 24019 with flag 78000/92690
63.85/62.69	c cleaning 12992 clauses out of 26012 with flag 92000/106690
72.15/70.98	c cleaning 14003 clauses out of 28020 with flag 107000/121690
79.95/78.76	c cleaning 14990 clauses out of 30017 with flag 123000/137690
88.18/86.97	c cleaning 16006 clauses out of 32027 with flag 140000/154690
98.16/96.94	c cleaning 17010 clauses out of 34022 with flag 158001/172691
108.27/107.07	c cleaning 18002 clauses out of 36011 with flag 177000/191690
118.77/117.61	c cleaning 19003 clauses out of 38010 with flag 197001/211691
128.57/127.34	c cleaning 19996 clauses out of 40006 with flag 218000/232690
141.08/139.81	c cleaning 20992 clauses out of 42010 with flag 240000/254690
152.99/151.79	c cleaning 21996 clauses out of 44018 with flag 263000/277690
165.69/164.40	c cleaning 22996 clauses out of 46022 with flag 287000/301690
178.80/177.55	c cleaning 23996 clauses out of 48027 with flag 312001/326691
191.70/190.49	c cleaning 25007 clauses out of 50030 with flag 338000/352690
205.70/204.49	c cleaning 26007 clauses out of 52024 with flag 365001/379691
219.62/218.31	c cleaning 27000 clauses out of 54017 with flag 393001/407691
234.82/233.55	c cleaning 28003 clauses out of 56017 with flag 422001/436691
251.64/250.37	c cleaning 28999 clauses out of 58014 with flag 452001/466691
267.05/265.71	c cleaning 29991 clauses out of 60015 with flag 483001/497691
283.65/282.36	c cleaning 31002 clauses out of 62023 with flag 515000/529690
303.66/302.40	c cleaning 32000 clauses out of 64023 with flag 548002/562692
323.07/321.71	c cleaning 33006 clauses out of 66021 with flag 582000/596690
341.98/340.67	c cleaning 33999 clauses out of 68015 with flag 617000/631690
360.79/359.44	c cleaning 34999 clauses out of 70017 with flag 653001/667691
380.92/379.59	c cleaning 36004 clauses out of 72017 with flag 690000/704690
401.91/400.56	c cleaning 36999 clauses out of 74014 with flag 728001/742691
423.12/421.74	c cleaning 37997 clauses out of 76014 with flag 767000/781690
442.44/441.04	c cleaning 39000 clauses out of 78017 with flag 807000/821690
463.04/461.62	c cleaning 39999 clauses out of 80018 with flag 848001/862691
482.45/481.09	c cleaning 40500 clauses out of 81018 with flag 889000/903690
503.75/502.31	c cleaning 40751 clauses out of 81518 with flag 930000/944690
524.86/523.46	c cleaning 40873 clauses out of 81767 with flag 971000/985690
547.87/546.43	c cleaning 40939 clauses out of 81894 with flag 1012000/1026690
575.48/574.03	c cleaning 40963 clauses out of 81955 with flag 1053000/1067690
597.60/596.19	c cleaning 40987 clauses out of 81994 with flag 1094002/1108692
616.70/615.28	c cleaning 40995 clauses out of 82005 with flag 1135000/1149690
638.11/636.62	c cleaning 40991 clauses out of 82010 with flag 1176000/1190690
665.72/664.29	c cleaning 41007 clauses out of 82019 with flag 1217000/1231690
689.93/688.45	c cleaning 40994 clauses out of 82012 with flag 1258000/1272690
717.34/715.87	c cleaning 40989 clauses out of 82018 with flag 1299000/1313690
739.67/738.16	c cleaning 41007 clauses out of 82030 with flag 1340001/1354691
758.76/757.25	c cleaning 41007 clauses out of 82023 with flag 1381001/1395691
779.07/777.57	c cleaning 41001 clauses out of 82016 with flag 1422001/1436691
799.17/797.68	c cleaning 40994 clauses out of 82014 with flag 1463000/1477690
820.49/818.91	c cleaning 41001 clauses out of 82023 with flag 1504003/1518693
840.80/839.28	c cleaning 41001 clauses out of 82019 with flag 1545000/1559690
861.21/859.66	c cleaning 40992 clauses out of 82018 with flag 1586000/1600690
882.12/880.50	c cleaning 41009 clauses out of 82028 with flag 1627002/1641692
901.73/900.14	c cleaning 41001 clauses out of 82020 with flag 1668003/1682693
921.84/920.20	c cleaning 40999 clauses out of 82016 with flag 1709000/1723690
942.17/940.55	c cleaning 41000 clauses out of 82017 with flag 1750000/1764690
964.76/963.14	c cleaning 41001 clauses out of 82019 with flag 1791002/1805692
986.97/985.32	c cleaning 41001 clauses out of 82016 with flag 1832000/1846690
1009.50/1007.86	c cleaning 41000 clauses out of 82018 with flag 1873003/1887693
1031.80/1030.19	c cleaning 41001 clauses out of 82015 with flag 1914000/1928690
1054.71/1053.00	c cleaning 40992 clauses out of 82014 with flag 1955000/1969690
1076.91/1075.21	c cleaning 41008 clauses out of 82023 with flag 1996001/2010691
1098.82/1097.15	c cleaning 41003 clauses out of 82014 with flag 2037000/2051690
1120.93/1119.23	c cleaning 40994 clauses out of 82012 with flag 2078001/2092691
1142.74/1141.04	c cleaning 41000 clauses out of 82017 with flag 2119000/2133690
1166.05/1164.39	c cleaning 41004 clauses out of 82019 with flag 2160002/2174692
1185.96/1184.23	c cleaning 40996 clauses out of 82013 with flag 2201000/2215690
1205.87/1204.10	c cleaning 41004 clauses out of 82017 with flag 2242000/2256690
1226.18/1224.46	c cleaning 41003 clauses out of 82015 with flag 2283002/2297692
1250.39/1248.65	c cleaning 40995 clauses out of 82010 with flag 2324000/2338690
1273.31/1271.59	c cleaning 40995 clauses out of 82015 with flag 2365000/2379690
1296.21/1294.49	c cleaning 40999 clauses out of 82021 with flag 2406001/2420691
1317.44/1315.68	c cleaning 41006 clauses out of 82023 with flag 2447002/2461692
1336.82/1335.04	c cleaning 40996 clauses out of 82016 with flag 2488001/2502691
1356.63/1354.90	c cleaning 40999 clauses out of 82020 with flag 2529001/2543691
1376.43/1374.68	c cleaning 41000 clauses out of 82020 with flag 2570000/2584690
1396.84/1395.04	c cleaning 40997 clauses out of 82020 with flag 2611000/2625690
1417.85/1416.05	c cleaning 41005 clauses out of 82023 with flag 2652000/2666690
1442.76/1440.95	c cleaning 41005 clauses out of 82019 with flag 2693001/2707691
1467.16/1465.38	c cleaning 40994 clauses out of 82013 with flag 2734000/2748690
1490.57/1488.79	c cleaning 41001 clauses out of 82019 with flag 2775000/2789690
1514.47/1512.63	c cleaning 41000 clauses out of 82019 with flag 2816001/2830691
1537.99/1536.16	c cleaning 41001 clauses out of 82019 with flag 2857001/2871691
1561.40/1559.54	c cleaning 41003 clauses out of 82019 with flag 2898002/2912692
1585.20/1583.39	c cleaning 40995 clauses out of 82014 with flag 2939000/2953690
1608.01/1606.12	c cleaning 40992 clauses out of 82019 with flag 2980000/2994690
1628.72/1626.83	c cleaning 41009 clauses out of 82029 with flag 3021002/3035692
1648.32/1646.45	c cleaning 41002 clauses out of 82018 with flag 3062000/3076690
1669.55/1667.68	c cleaning 40992 clauses out of 82016 with flag 3103000/3117690
1691.56/1689.69	c cleaning 40999 clauses out of 82024 with flag 3144000/3158690
1713.75/1711.80	c cleaning 41007 clauses out of 82027 with flag 3185002/3199692
1736.05/1734.10	c cleaning 41002 clauses out of 82018 with flag 3226000/3240690
1759.67/1757.78	c cleaning 41001 clauses out of 82017 with flag 3267001/3281691
1781.79/1779.87	c cleaning 40998 clauses out of 82015 with flag 3308000/3322690
1800.08/1798.12	c starts		: 256
1800.08/1798.12	c conflicts		: 3356122
1800.08/1798.12	c decisions		: 12472143
1800.08/1798.12	c propagations		: 7696928507
1800.08/1798.12	c inspects		: 8580609681
1800.08/1798.12	c shortcuts		: 0
1800.08/1798.12	c learnt literals	: 0
1800.08/1798.12	c learnt binary clauses	: 0
1800.08/1798.12	c learnt ternary clauses	: 0
1800.08/1798.12	c learnt constraints	: 3356122
1800.08/1798.12	c ignored constraints	: 0
1800.08/1798.12	c root simplifications	: 0
1800.08/1798.12	c removed literals (reason simplification)	: 7626423
1800.08/1798.12	c reason swapping (by a shorter reason)	: 0
1800.08/1798.12	c Calls to reduceDB	: 99
1800.08/1798.12	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.12	c number of learned constraints concerned by reduction	: 0
1800.08/1798.12	c number of learning phase by resolution	: 0
1800.08/1798.12	c number of learning phase by cutting planes	: 0
1800.08/1798.12	c speed (assignments/second)	: 4302819.860790213
1800.08/1798.12	c non guided choices	22866
1800.08/1798.15	c learnt constraints type 
1800.08/1798.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 74484
1800.08/1798.15	c constraints type 
1800.08/1798.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6595
1800.08/1798.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1798.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33897
1800.08/1798.15	s SATISFIABLE
1800.08/1798.16	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 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 x11253 x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 x11273 x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 x11283 x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 x11571 x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 x11865 x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 x12245 x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12265 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 x12363 x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12427 -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 x12437 x12438 -x12439 -x12440 -x12441 -x12442 -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12454 -x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 -x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473 -x12474 -x12475 -x12476 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12490 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12526 -x12527 -x12528 -x12529 -x12530 x12531 x12532 -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12550 -x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 x12563 x12564 -x12565 -x12566 -x12567 -x12568 -x12569 -x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577 -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 -x12607 -x12608 -x12609 -x12610 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622 -x12623 -x12624 -x12625 -x12626 x12627 x12628 -x12629 -x12630 -x12631 -x12632 -x12633 -x12634 -x12635 -x12636 x12637 x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 -x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 -x12707 -x12708 -x12709 -x12710 -x12711 -x12712 -x12713 -x12714 -x12715 -x12716 -x12717 -x12718 -x12719 -x12720 -x12721 -x12722 -x12723 -x12724 -x12725 -x12726 -x12727 -x12728 -x12729 -x12730 x12731 x12732 -x12733 -x12734 -x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12741 -x12742 -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 -x12751 -x12752 -x12753 -x12754 -x12755 -x12756 -x12757 -x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 x12765 x12766 -x12767 -x12768 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 x12779 x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 x12791 x12792 -x12793 -x12794 -x12795 -x12796 -x12797 -x12798 -x12799 -x12800 -x12801 -x12802 -x12803 -x12804 -x12805 -x12806 -x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 -x12814 -x12815 -x12816 -x12817 -x12818 -x12819 -x12820 -x12821 -x12822 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 -x12830 -x12831 -x12832 -x12833 -x12834 -x12835 -x12836 -x12837 -x12838 -x12839 -x12840 -x12841 -x12842 -x12843 -x12844 -x12845 -x12846 -x12847 -x12848 -x12849 -x12850 x12851 x12852 
1800.08/1798.17	c objective function=31
1800.08/1798.17	c Total wall clock time (in seconds): 1798.059

Verifier Data

OK	31

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458499-1307156675/watcher-3458499-1307156675 -o /tmp/evaluation-result-3458499-1307156675/solver-3458499-1307156675 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458499-1307156675.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.31 1.66 2/558 2360
/proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/2360/stat : 2360 (java) R 2358 2360 31166 0 -1 4202496 926 0 0 0 0 0 0 0 23 0 1 0 827266202 23580672 671 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251809277717 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2360/statm: 5757 683 499 9 0 124 0
[pid=2360/tid=2361] ppid=2358 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 6863 0 1 0 0 0 0 0 25 0 2 0 827266203 13850947584 7679 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0810479 s]
/proc/loadavg: 1.06 1.31 1.66 2/558 2360
/proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13620212 CPUtime=0.06 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 14419 0 1 0 5 1 0 0 23 0 18 0 827266202 13947097088 14117 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3405053 14118 1754 9 0 3395787 0
[pid=2360/tid=2361] ppid=2358 vsize=13620212 CPUtime=0.06 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 13247 0 1 0 5 1 0 0 25 0 18 0 827266203 13947097088 14118 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13620212

[startup+0.101046 s]
/proc/loadavg: 1.06 1.31 1.66 2/558 2360
/proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13621576 CPUtime=0.1 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 15487 0 1 0 9 1 0 0 23 0 18 0 827266202 13948493824 15185 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3405394 15185 2092 9 0 3396128 0
[pid=2360/tid=2361] ppid=2358 vsize=13621576 CPUtime=0.08 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 13557 0 1 0 7 1 0 0 25 0 18 0 827266203 13948493824 15185 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 47325259722659 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621576

[startup+0.301014 s]
/proc/loadavg: 1.06 1.31 1.66 2/558 2360
/proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13623192 CPUtime=0.49 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 19211 0 1 0 47 2 0 0 23 0 18 0 827266202 13950148608 18563 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3405798 18564 2200 9 0 3396532 0
[pid=2360/tid=2361] ppid=2358 vsize=13623192 CPUtime=0.27 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 16194 0 1 0 26 1 0 0 25 0 18 0 827266203 13950148608 18564 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13623192

[startup+0.700944 s]
/proc/loadavg: 1.06 1.31 1.66 2/558 2360
/proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13627824 CPUtime=1.4 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 40154 0 1 0 134 6 0 0 23 0 19 0 827266202 13954891776 38491 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3406956 38491 2228 9 0 3397690 0
[pid=2360/tid=2361] ppid=2358 vsize=13627824 CPUtime=0.67 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 34231 0 1 0 63 4 0 0 25 0 19 0 827266203 13954891776 38491 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505867054 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13627824

[startup+1.50084 s]
/proc/loadavg: 1.14 1.32 1.66 5/597 2412
/proc/meminfo: memFree=29651408/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13627280 CPUtime=2.55 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 42333 0 1 0 249 6 0 0 23 0 19 0 827266202 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3406820 39904 2237 9 0 3397554 0
[pid=2360/tid=2361] ppid=2358 vsize=13627280 CPUtime=1.48 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 35735 0 1 0 143 5 0 0 25 0 19 0 827266203 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505938160 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2360/tid=2363] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2364] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2365] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2366] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2368] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2370] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2372] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2373] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2375] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827266206 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2378] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827266206 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2379] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827266206 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2386] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2387] ppid=2358 vsize=13627280 CPUtime=0.58 cores=1,3,5,7
/proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2929 0 0 0 58 0 0 0 21 0 19 0 827266208 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2388] ppid=2358 vsize=13627280 CPUtime=0.47 cores=1,3,5,7
/proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2509 0 0 0 47 0 0 0 20 0 19 0 827266209 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2389] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2390] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827266209 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2412] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 13627280

[startup+3.1006 s]
/proc/loadavg: 1.14 1.32 1.66 3/598 2413
/proc/meminfo: memFree=29637760/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13627280 CPUtime=4.16 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 43035 0 1 0 410 6 0 0 23 0 19 0 827266202 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3406820 40605 2237 9 0 3397554 0
[pid=2360/tid=2361] ppid=2358 vsize=13627280 CPUtime=3.08 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36435 0 1 0 303 5 0 0 25 0 19 0 827266203 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 47325264190291 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2360/tid=2363] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2364] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2365] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2366] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2368] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2370] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2372] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2373] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2375] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827266206 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2378] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827266206 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2379] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827266206 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2386] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2387] ppid=2358 vsize=13627280 CPUtime=0.58 cores=1,3,5,7
/proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2929 0 0 0 58 0 0 0 15 0 19 0 827266208 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2388] ppid=2358 vsize=13627280 CPUtime=0.48 cores=1,3,5,7
/proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2510 0 0 0 48 0 0 0 15 0 19 0 827266209 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2389] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2390] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827266209 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2412] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13627280

[startup+6.301 s]
/proc/loadavg: 1.14 1.32 1.66 3/598 2413
/proc/meminfo: memFree=29618704/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13626068 CPUtime=7.44 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 47105 0 1 0 737 7 0 0 23 0 19 0 827266202 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3406517 44275 2263 9 0 3397251 0
[pid=2360/tid=2361] ppid=2358 vsize=13626068 CPUtime=6.23 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36635 0 1 0 618 5 0 0 25 0 19 0 827266203 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505938353 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2360/tid=2363] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2364] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2365] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2366] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2368] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 172 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2370] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 665 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2372] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 618 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2373] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 295 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2375] ppid=2358 vsize=13626068 CPUtime=0.03 cores=1,3,5,7
/proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 2108 0 0 0 3 0 0 0 15 0 19 0 827266206 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2378] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2379] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2386] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2387] ppid=2358 vsize=13626068 CPUtime=0.61 cores=1,3,5,7
/proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2938 0 0 0 61 0 0 0 15 0 19 0 827266208 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2388] ppid=2358 vsize=13626068 CPUtime=0.5 cores=1,3,5,7
/proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2520 0 0 0 50 0 0 0 15 0 19 0 827266209 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0

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

[pid=2360/tid=2370] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7
/proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 984 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2372] ppid=2358 vsize=13626360 CPUtime=0.16 cores=1,3,5,7
/proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 759 0 0 0 16 0 0 0 15 0 19 0 827266205 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2373] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7
/proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 710 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2375] ppid=2358 vsize=13626360 CPUtime=4.02 cores=1,3,5,7
/proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 7670 0 0 0 401 1 0 0 15 0 19 0 827266206 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2378] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2379] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2386] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2387] ppid=2358 vsize=13626360 CPUtime=0.7 cores=1,3,5,7
/proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2968 0 0 0 70 0 0 0 15 0 19 0 827266208 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2388] ppid=2358 vsize=13626360 CPUtime=0.52 cores=1,3,5,7
/proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2524 0 0 0 52 0 0 0 15 0 19 0 827266209 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2389] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2390] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827266209 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2412] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.25
Current children cumulated vsize (KiB) 13626360

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/598 2464
/proc/meminfo: memFree=29478548/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13626360 CPUtime=1784.27 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 57199 0 1 0 178417 10 0 0 23 0 19 0 827266202 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3406590 54055 2264 9 0 3397324 0
[pid=2360/tid=2361] ppid=2358 vsize=13626360 CPUtime=1777.7 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36734 0 1 0 177765 5 0 0 25 0 19 0 827266203 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505938045 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2360/tid=2363] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7
/proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 959 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2364] ppid=2358 vsize=13626360 CPUtime=0.15 cores=1,3,5,7
/proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 469 0 0 0 15 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2365] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7
/proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 656 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2366] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7
/proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 616 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2368] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7
/proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 768 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2370] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7
/proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 984 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2372] ppid=2358 vsize=13626360 CPUtime=0.17 cores=1,3,5,7
/proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 759 0 0 0 17 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2373] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7
/proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 710 0 0 0 12 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2375] ppid=2358 vsize=13626360 CPUtime=4.15 cores=1,3,5,7
/proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 7800 0 0 0 414 1 0 0 15 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2378] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2379] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2386] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2387] ppid=2358 vsize=13626360 CPUtime=0.7 cores=1,3,5,7
/proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2968 0 0 0 70 0 0 0 15 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2388] ppid=2358 vsize=13626360 CPUtime=0.52 cores=1,3,5,7
/proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2524 0 0 0 52 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2389] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2390] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2412] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.27
Current children cumulated vsize (KiB) 13626360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.1 s]
/proc/loadavg: 2.00 2.02 1.94 2/578 2467
/proc/meminfo: memFree=29900412/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13626360 CPUtime=1800.08 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 57201 0 1 0 179998 10 0 0 23 0 19 0 827266202 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3406590 54055 2264 9 0 3397324 0
[pid=2360/tid=2361] ppid=2358 vsize=13626360 CPUtime=1793.52 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36734 0 1 0 179347 5 0 0 25 0 19 0 827266203 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505948799 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2360/tid=2363] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7
/proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 959 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2364] ppid=2358 vsize=13626360 CPUtime=0.15 cores=1,3,5,7
/proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 469 0 0 0 15 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2365] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7
/proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 656 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2366] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7
/proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 616 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2368] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7
/proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 768 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2370] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7
/proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 984 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2372] ppid=2358 vsize=13626360 CPUtime=0.17 cores=1,3,5,7
/proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 759 0 0 0 17 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2373] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7
/proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 710 0 0 0 12 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2375] ppid=2358 vsize=13626360 CPUtime=4.15 cores=1,3,5,7
/proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 7800 0 0 0 414 1 0 0 15 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2378] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2379] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2386] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2387] ppid=2358 vsize=13626360 CPUtime=0.7 cores=1,3,5,7
/proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2968 0 0 0 70 0 0 0 15 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2388] ppid=2358 vsize=13626360 CPUtime=0.52 cores=1,3,5,7
/proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2524 0 0 0 52 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2389] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2390] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2412] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13626360

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

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

[startup+1798.1 s]
/proc/loadavg: 2.00 2.02 1.94 2/578 2467
/proc/meminfo: memFree=29900412/32950928 swapFree=41528364/67111528
[pid=2360] ppid=2358 vsize=13626360 CPUtime=1800.08 cores=1,3,5,7
/proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 57201 0 1 0 179998 10 0 0 23 0 19 0 827266202 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2360/statm: 3406590 54055 2264 9 0 3397324 0
[pid=2360/tid=2361] ppid=2358 vsize=13626360 CPUtime=1793.52 cores=1,3,5,7
/proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36734 0 1 0 179347 5 0 0 25 0 19 0 827266203 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505948799 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2360/tid=2363] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7
/proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 959 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2364] ppid=2358 vsize=13626360 CPUtime=0.15 cores=1,3,5,7
/proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 469 0 0 0 15 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2365] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7
/proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 656 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2366] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7
/proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 616 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2368] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7
/proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 768 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2370] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7
/proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 984 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2372] ppid=2358 vsize=13626360 CPUtime=0.17 cores=1,3,5,7
/proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 759 0 0 0 17 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2373] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7
/proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 710 0 0 0 12 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2375] ppid=2358 vsize=13626360 CPUtime=4.15 cores=1,3,5,7
/proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 7800 0 0 0 414 1 0 0 15 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2378] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2379] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2386] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2387] ppid=2358 vsize=13626360 CPUtime=0.7 cores=1,3,5,7
/proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2968 0 0 0 70 0 0 0 15 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0
[pid=2360/tid=2388] ppid=2358 vsize=13626360 CPUtime=0.52 cores=1,3,5,7
/proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2524 0 0 0 52 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
[pid=2360/tid=2389] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0
[pid=2360/tid=2390] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0
[pid=2360/tid=2412] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13626360

Child status: 143
Real time (s): 1798.2
CPU time (s): 1800.26
CPU user time (s): 1800.15
CPU system time (s): 0.115982
CPU usage (%): 100.115
Max. virtual memory (cumulated for all children) (KiB): 13630096

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

runsolver used 10.3924 second user time and 23.4204 second system time

The end

Launcher Data

Begin job on node126 at 2011-06-04 05:04:35
IDJOB=3458499
IDBENCH=25001
IDSOLVER=1952
FILE ID=node126/3458499-1307156675
RUNJOBID= node126-1307156675-2346
PBS_JOBID= 13508790
Free space on /tmp= 73796 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458499-1307156675/watcher-3458499-1307156675 -o /tmp/evaluation-result-3458499-1307156675/solver-3458499-1307156675 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458499-1307156675.opb

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

MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4
RANDOM SEED=289487750

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30118336 kB
Buffers:        299944 kB
Cached:         454188 kB
SwapCached:      15388 kB
Active:        2092596 kB
Inactive:       420396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30118336 kB
SwapTotal:    67111528 kB
SwapFree:     41528364 kB
Dirty:            5260 kB
Writeback:           0 kB
AnonPages:     1756272 kB
Mapped:          23296 kB
Slab:           147524 kB
PageTables:      99328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 176379128 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73792 MiB
End job on node126 at 2011-06-04 05:34:35