Trace number 3718143

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.54 1757.88

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
MD5SUM5089c419eb4145debb9fb5e7fd1214f5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark9.92949
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10500
Total number of constraints205
Number of soft constraints132
Number of constraints which are clauses105
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint105
Top cost 6845
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6844
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 106
Number of bits of the biggest sum of numbers7
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.2.v20120528
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		501472288
0.03/0.08	c Max memory 		7480803328
0.03/0.08	c Total memory 		504102912
0.03/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3718143-1338250529.wbo
0.10/0.10	c reading problem ... 
0.57/0.31	c ... done. Wall clock time 0.205s.
0.57/0.31	c declared #vars     10500
0.57/0.31	c internal #vars     10632
0.57/0.31	c #constraints  205
0.57/0.31	c constraints type 
0.57/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105
0.57/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 35
0.57/0.31	c ignored satisfied constraints => 1
0.57/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65
0.57/0.31	c 206 constraints processed.
0.57/0.31	c objective function length is 132 literals
1.18/0.52	c SATISFIABLE
1.18/0.52	c OPTIMIZING...
1.18/0.52	c Got one! Elapsed wall clock time (in seconds):0.417
1.18/0.52	o 15
1.18/0.58	c Got one! Elapsed wall clock time (in seconds):0.48
1.18/0.58	o 9
1.57/0.70	c Got one! Elapsed wall clock time (in seconds):0.6
1.57/0.70	o 8
1.82/0.97	c Got one! Elapsed wall clock time (in seconds):0.863
1.82/0.97	o 6
2.23/1.31	c Got one! Elapsed wall clock time (in seconds):1.207
2.23/1.31	o 3
2.55/1.64	c cleaning 3763 clauses out of 7541 with flag 12534/7541
3.45/2.40	c cleaning 4870 clauses out of 9771 with flag 48156/13534
4.27/3.21	c cleaning 5931 clauses out of 11904 with flag 89532/20537
5.54/4.48	c cleaning 6956 clauses out of 13971 with flag 139056/28535
7.01/5.88	c cleaning 7970 clauses out of 16017 with flag 197542/37537
9.04/7.84	c cleaning 8951 clauses out of 18044 with flag 268951/47534
11.07/9.87	c cleaning 9992 clauses out of 20093 with flag 343586/58534
13.39/12.18	c cleaning 11012 clauses out of 22102 with flag 423627/70535
15.50/14.23	c cleaning 12023 clauses out of 24089 with flag 508821/83534
18.12/16.86	c cleaning 13009 clauses out of 26070 with flag 604391/97538
22.19/20.85	c cleaning 14009 clauses out of 28058 with flag 727747/112535
24.61/23.25	c cleaning 15013 clauses out of 30049 with flag 826250/128535
29.24/27.81	c cleaning 16011 clauses out of 32035 with flag 975587/145534
34.67/33.24	c cleaning 16990 clauses out of 34025 with flag 1129962/163535
39.15/37.62	c cleaning 17956 clauses out of 36034 with flag 1286290/182534
44.43/42.87	c cleaning 18997 clauses out of 38079 with flag 1438481/202535
50.09/48.46	c cleaning 20008 clauses out of 40082 with flag 1615629/223535
56.93/55.28	c cleaning 21022 clauses out of 42076 with flag 1804556/245537
63.02/61.25	c cleaning 22007 clauses out of 44052 with flag 1986219/268535
68.31/66.41	c cleaning 22984 clauses out of 46044 with flag 2160945/292534
76.06/74.18	c cleaning 24022 clauses out of 48060 with flag 2392552/317534
85.19/83.03	c cleaning 25007 clauses out of 50038 with flag 2635516/343534
97.39/95.17	c cleaning 26008 clauses out of 52032 with flag 2844194/370535
109.26/106.88	c cleaning 26979 clauses out of 54024 with flag 3067268/398535
118.49/115.96	c cleaning 28003 clauses out of 56045 with flag 3289125/427535
131.10/128.06	c cleaning 29014 clauses out of 58044 with flag 3546467/457537
142.37/138.91	c cleaning 29995 clauses out of 60027 with flag 3826985/488534
157.47/153.76	c cleaning 31000 clauses out of 62035 with flag 4102488/520537
170.62/166.58	c cleaning 32013 clauses out of 64033 with flag 4379331/553535
183.75/179.43	c cleaning 32999 clauses out of 66019 with flag 4664359/587534
194.21/189.40	c cleaning 33999 clauses out of 68022 with flag 4918619/622536
206.97/201.97	c cleaning 35002 clauses out of 70021 with flag 5198416/658534
220.93/215.67	c cleaning 36004 clauses out of 72019 with flag 5515459/695534
235.73/230.05	c cleaning 36997 clauses out of 74017 with flag 5852656/733536
255.32/249.28	c cleaning 37999 clauses out of 76019 with flag 6245408/772535
270.72/263.99	c cleaning 38985 clauses out of 78019 with flag 6649559/812534
293.28/285.97	c cleaning 40006 clauses out of 80034 with flag 7062942/853534
310.74/302.94	c cleaning 40993 clauses out of 82028 with flag 7463152/895534
324.86/316.68	c cleaning 42003 clauses out of 84035 with flag 7806613/938534
341.15/332.58	c cleaning 43007 clauses out of 86032 with flag 8203218/982534
362.06/353.04	c cleaning 44003 clauses out of 88028 with flag 8582320/1027537
387.64/378.17	c cleaning 44997 clauses out of 90024 with flag 9009618/1073536
409.83/399.79	c cleaning 45996 clauses out of 92025 with flag 9419397/1120534
432.32/421.53	c cleaning 47003 clauses out of 94029 with flag 9941149/1168534
455.72/444.44	c cleaning 47985 clauses out of 96026 with flag 10392597/1217534
481.46/469.52	c cleaning 48998 clauses out of 98043 with flag 10911900/1267536
510.96/498.48	c cleaning 49999 clauses out of 100046 with flag 11536332/1318537
527.32/514.16	c cleaning 50989 clauses out of 102048 with flag 11951249/1370538
545.46/531.98	c cleaning 52020 clauses out of 104056 with flag 12399167/1423535
570.04/555.84	c cleaning 52997 clauses out of 106035 with flag 12838194/1477534
595.86/581.18	c cleaning 54010 clauses out of 108040 with flag 13291165/1532536
623.23/607.81	c cleaning 55007 clauses out of 110030 with flag 13815374/1588536
646.94/629.68	c cleaning 55993 clauses out of 112021 with flag 14390924/1645534
686.78/668.61	c cleaning 57000 clauses out of 114028 with flag 15029244/1703534
725.51/706.57	c cleaning 58006 clauses out of 116029 with flag 15721467/1762535
750.99/731.47	c cleaning 58976 clauses out of 118024 with flag 16301342/1822536
789.35/769.03	c cleaning 60013 clauses out of 120051 with flag 16881316/1883539
823.65/802.75	c cleaning 61006 clauses out of 122034 with flag 17480973/1945535
847.97/826.17	c cleaning 61999 clauses out of 124029 with flag 18115630/2008536
875.12/852.61	c cleaning 63015 clauses out of 126051 with flag 18729441/2072557
904.64/881.59	c cleaning 63998 clauses out of 128014 with flag 19351495/2137535
940.38/916.57	c cleaning 64989 clauses out of 130017 with flag 19951616/2203536
978.72/954.16	c cleaning 66003 clauses out of 132026 with flag 20675425/2270534
1015.19/989.77	c cleaning 67000 clauses out of 134023 with flag 21322357/2338534
1066.68/1040.57	c cleaning 68001 clauses out of 136026 with flag 21997642/2407537
1102.99/1075.91	c cleaning 69002 clauses out of 138022 with flag 22625458/2477534
1149.93/1121.89	c cleaning 69999 clauses out of 140022 with flag 23355958/2548536
1193.15/1164.10	c cleaning 71001 clauses out of 142023 with flag 24098471/2620536
1229.26/1199.58	c cleaning 71996 clauses out of 144020 with flag 24851773/2693534
1270.58/1239.75	c cleaning 72997 clauses out of 146028 with flag 25506925/2767538
1314.55/1282.76	c cleaning 73997 clauses out of 148027 with flag 26147518/2842534
1362.87/1330.23	c cleaning 74998 clauses out of 150030 with flag 26848852/2918534
1400.09/1366.59	c cleaning 75998 clauses out of 152036 with flag 27644449/2995538
1430.47/1396.09	c cleaning 76999 clauses out of 154035 with flag 28331667/3073535
1466.77/1431.63	c cleaning 78004 clauses out of 156035 with flag 29104009/3152534
1503.51/1467.67	c cleaning 79010 clauses out of 158033 with flag 29814292/3232536
1543.87/1507.03	c cleaning 79970 clauses out of 160023 with flag 30579108/3313536
1600.34/1562.68	c cleaning 80988 clauses out of 162054 with flag 31415992/3395537
1643.74/1605.07	c cleaning 82029 clauses out of 164075 with flag 32277677/3478546
1701.63/1661.61	c cleaning 83010 clauses out of 166038 with flag 33118799/3562538
1771.36/1730.08	c cleaning 84003 clauses out of 168027 with flag 33970662/3647537
1800.03/1757.82	c starts		: 257
1800.03/1757.82	c conflicts		: 3704250
1800.03/1757.82	c decisions		: 6061131
1800.03/1757.82	c propagations		: 347000010
1800.03/1757.82	c inspects		: 11484628682
1800.03/1757.82	c shortcuts		: 0
1800.03/1757.82	c learnt literals	: 0
1800.03/1757.82	c learnt binary clauses	: 0
1800.03/1757.82	c learnt ternary clauses	: 0
1800.03/1757.82	c learnt constraints	: 3704250
1800.03/1757.82	c ignored constraints	: 0
1800.03/1757.82	c root simplifications	: 0
1800.03/1757.82	c removed literals (reason simplification)	: 0
1800.03/1757.82	c reason swapping (by a shorter reason)	: 0
1800.03/1757.82	c Calls to reduceDB	: 81
1800.03/1757.82	c Number of update (reduction) of LBD	: 2278386
1800.03/1757.82	c number of reductions to clauses (during analyze)	: 0
1800.03/1757.82	c number of learned constraints concerned by reduction	: 0
1800.03/1757.82	c number of learning phase by resolution	: 0
1800.03/1757.82	c number of learning phase by cutting planes	: 0
1800.03/1757.82	c speed (assignments/second)	: 197440.81584578907
1800.03/1757.82	c non guided choices	574657
1800.03/1757.84	c learnt constraints type 
1800.03/1757.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140751
1800.03/1757.84	c constraints type 
1800.03/1757.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105
1800.03/1757.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 35
1800.03/1757.84	c ignored satisfied constraints => 1
1800.03/1757.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
1800.03/1757.84	c 207 constraints processed.
1800.03/1757.84	s SATISFIABLE
1800.03/1757.85	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 
1800.03/1757.87	c objective function=3
1800.03/1757.87	c Total wall clock time (in seconds): 1757.762

Verifier Data

OK	3

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718143-1338250529/watcher-3718143-1338250529 -o /tmp/evaluation-result-3718143-1338250529/solver-3718143-1338250529 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718143-1338250529.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.85 1.97 1.85 3/194 21257
/proc/meminfo: memFree=28807616/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/21257/stat : 21257 (runsolver) D 21255 21257 18511 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 291178345 12095488 50 33554432000 4194304 5436572 140735473830080 140735473826376 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/21257/statm: 2953 50 31 304 0 2645 0

[startup+0.0540261 s]
/proc/loadavg: 1.85 1.97 1.85 3/194 21257
/proc/meminfo: memFree=28807616/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9558380 CPUtime=0.03 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 3158 0 1 0 3 0 0 0 20 0 18 0 291178345 9787781120 4366 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2389595 4366 1744 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558380

[startup+0.100257 s]
/proc/loadavg: 1.85 1.97 1.85 3/194 21257
/proc/meminfo: memFree=28807616/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 4388 0 1 0 9 1 0 0 20 0 18 0 291178345 9787817984 6095 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2389604 6095 2124 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300238 s]
/proc/loadavg: 1.85 1.97 1.85 3/194 21257
/proc/meminfo: memFree=28807616/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9558416 CPUtime=0.57 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 7477 0 1 0 56 1 0 0 20 0 18 0 291178345 9787817984 11939 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2389604 11939 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558416

[startup+0.700232 s]
/proc/loadavg: 1.85 1.97 1.85 3/194 21257
/proc/meminfo: memFree=28807616/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9624980 CPUtime=1.57 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 11580 0 1 0 155 2 0 0 20 0 19 0 291178345 9855979520 15227 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406245 15227 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9624980

[startup+1.50069 s]
/proc/loadavg: 1.85 1.97 1.85 3/213 21276
/proc/meminfo: memFree=28734260/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9624980 CPUtime=2.45 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 12011 0 1 0 242 3 0 0 20 0 19 0 291178345 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406245 20861 2256 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624980 CPUtime=1.47 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 18511 0 -1 4202560 2481 0 1 0 145 2 0 0 20 0 19 0 291178346 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140441165517496 140441018948803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140441137970088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140441136917544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140441007205032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140441006152488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140441005099432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140441004046888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140441002993832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 18511 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440531626280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 18511 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440519428968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 18511 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440518375288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440517322120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440516270864 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 18511 0 -1 4202560 4364 0 0 0 47 0 0 0 20 0 19 0 291178350 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440515217720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 18511 0 -1 4202560 3964 0 0 0 46 2 0 0 20 0 19 0 291178350 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440514165176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440513112312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440512059976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178378 9855979520 20861 33554432000 1073741824 1073778376 140734008257856 140440510969384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9624980

[startup+3.10065 s]
/proc/loadavg: 1.85 1.97 1.85 3/213 21276
/proc/meminfo: memFree=28686408/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9624980 CPUtime=4.16 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 12131 0 1 0 410 6 0 0 20 0 19 0 291178345 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406245 34739 2283 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624980 CPUtime=3.01 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 18511 0 -1 4202560 2486 0 1 0 299 2 0 0 20 0 19 0 291178346 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140441165517088 140441018857162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140441137970088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140441136917544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 18511 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140441007205032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 18511 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140441006152488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140441005099432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140441004046888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140441002993832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 18511 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440531626280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 18511 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 19 0 291178348 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440519428968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440518375288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440517322120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440516270864 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 18511 0 -1 4202560 4369 0 0 0 51 0 0 0 20 0 19 0 291178350 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440515217720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 18511 0 -1 4202560 3965 0 0 0 50 2 0 0 20 0 19 0 291178350 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440514165176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440513112312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440512059976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178378 9855979520 34739 33554432000 1073741824 1073778376 140734008257856 140440510969384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9624980

[startup+6.30065 s]
/proc/loadavg: 1.86 1.97 1.85 3/213 21276
/proc/meminfo: memFree=28637628/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9624980 CPUtime=7.54 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 12655 0 1 0 746 8 0 0 20 0 19 0 291178345 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406245 40272 2283 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624980 CPUtime=6.11 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 18511 0 -1 4202560 2488 0 1 0 609 2 0 0 20 0 19 0 291178346 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140441165517088 140441018882919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 18511 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 291178347 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140441137970088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 18511 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140441136917544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 18511 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 291178347 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140441007205032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 18511 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 291178347 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140441006152488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 18511 0 -1 4202560 128 0 0 0 1 0 0 0 20 0 19 0 291178347 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140441005099432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 18511 0 -1 4202560 207 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140441004046888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 18511 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140441002993832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 18511 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 19 0 291178347 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440531626280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 18511 0 -1 4202560 45 0 0 0 10 0 0 0 20 0 19 0 291178348 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440519428968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440518375288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440517322120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440516270864 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 18511 0 -1 4202560 4379 0 0 0 62 0 0 0 20 0 19 0 291178350 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440515217720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 18511 0 -1 4202560 3966 0 0 0 51 2 0 0 20 0 19 0 291178350 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440514165176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440513112312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440512059976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178378 9855979520 40272 33554432000 1073741824 1073778376 140734008257856 140440510969384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

[pid=21257/tid=21265] ppid=21255 vsize=9624980 CPUtime=6.45 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 18511 0 -1 4202560 5219 0 0 0 611 34 0 0 20 0 19 0 291178347 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140441004046888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624980 CPUtime=6.5 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 18511 0 -1 4202560 4986 0 0 0 614 36 0 0 20 0 19 0 291178347 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140441002993832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624980 CPUtime=6.34 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 18511 0 -1 4202560 2847 0 0 0 604 30 0 0 20 0 19 0 291178347 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440531626280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624980 CPUtime=6.73 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 18511 0 -1 4202560 2294 0 0 0 664 9 0 0 20 0 19 0 291178348 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440519428968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440518375288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440517322120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440516270864 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 18511 0 -1 4202560 4381 0 0 0 63 0 0 0 20 0 19 0 291178350 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440515217720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 18511 0 -1 4202560 3966 0 0 0 51 2 0 0 20 0 19 0 291178350 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440514165176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440513112312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 18511 0 -1 4202560 93 0 0 0 25 27 0 0 20 0 19 0 291178350 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440512059976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178378 9855979520 267715 33554432000 1073741824 1073778376 140734008257856 140440510969384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1640.97
Current children cumulated vsize (KiB) 9624980

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/213 21292
/proc/meminfo: memFree=26355580/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9624980 CPUtime=1702.41 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 49125 0 1 0 169909 332 0 0 20 0 19 0 291178345 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406245 285568 2284 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624980 CPUtime=1640 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 18511 0 -1 4202560 3231 0 1 0 163969 31 0 0 20 0 19 0 291178346 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140441165517088 140441018878286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624980 CPUtime=6.79 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 18511 0 -1 4202560 4189 0 0 0 645 34 0 0 20 0 19 0 291178347 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140441137970088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624980 CPUtime=6.9 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 18511 0 -1 4202560 4210 0 0 0 653 37 0 0 20 0 19 0 291178347 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140441136917544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624980 CPUtime=6.78 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 18511 0 -1 4202560 3409 0 0 0 640 38 0 0 20 0 19 0 291178347 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140441007205032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624980 CPUtime=6.56 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 18511 0 -1 4202560 3890 0 0 0 622 34 0 0 20 0 19 0 291178347 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140441006152488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624980 CPUtime=6.67 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 18511 0 -1 4202560 4946 0 0 0 635 32 0 0 20 0 19 0 291178347 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140441005099432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624980 CPUtime=6.69 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 18511 0 -1 4202560 5359 0 0 0 631 38 0 0 20 0 19 0 291178347 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140441004046888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624980 CPUtime=6.79 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 18511 0 -1 4202560 5021 0 0 0 641 38 0 0 20 0 19 0 291178347 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140441002993832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624980 CPUtime=6.58 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 18511 0 -1 4202560 2886 0 0 0 626 32 0 0 20 0 19 0 291178347 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440531626280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624980 CPUtime=7.03 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 18511 0 -1 4202560 2355 0 0 0 693 10 0 0 20 0 19 0 291178348 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440519428968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440518375288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440517322120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440516270864 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 18511 0 -1 4202560 4381 0 0 0 63 0 0 0 20 0 19 0 291178350 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440515217720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 18511 0 -1 4202560 3966 0 0 0 51 2 0 0 20 0 19 0 291178350 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440514165176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440513112312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 18511 0 -1 4202560 95 0 0 0 26 28 0 0 20 0 19 0 291178350 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440512059976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178378 9855979520 285568 33554432000 1073741824 1073778376 140734008257856 140440510969384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1702.41
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/213 21292
/proc/meminfo: memFree=26330200/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9624980 CPUtime=1763.58 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 49511 0 1 0 176017 341 0 0 20 0 19 0 291178345 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406245 292057 2284 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624980 CPUtime=1699.52 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 18511 0 -1 4202560 3246 0 1 0 169919 33 0 0 20 0 19 0 291178346 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140441165516144 140441018948694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624980 CPUtime=6.98 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 18511 0 -1 4202560 4199 0 0 0 663 35 0 0 20 0 19 0 291178347 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140441137970088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624980 CPUtime=7.08 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 18511 0 -1 4202560 4217 0 0 0 670 38 0 0 20 0 19 0 291178347 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140441136917544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624980 CPUtime=6.99 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 18511 0 -1 4202560 3473 0 0 0 660 39 0 0 20 0 19 0 291178347 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140441007205032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624980 CPUtime=6.76 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 18511 0 -1 4202560 3973 0 0 0 640 36 0 0 20 0 19 0 291178347 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140441006152488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624980 CPUtime=6.87 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 18511 0 -1 4202560 4947 0 0 0 654 33 0 0 20 0 19 0 291178347 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140441005099432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624980 CPUtime=6.88 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 18511 0 -1 4202560 5429 0 0 0 650 38 0 0 20 0 19 0 291178347 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140441004046888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624980 CPUtime=7 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 18511 0 -1 4202560 5035 0 0 0 660 40 0 0 20 0 19 0 291178347 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140441002993832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624980 CPUtime=6.83 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 18511 0 -1 4202560 2961 0 0 0 649 34 0 0 20 0 19 0 291178347 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440531626280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624980 CPUtime=7.03 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 18511 0 -1 4202560 2398 0 0 0 693 10 0 0 20 0 19 0 291178348 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440519428968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440518375288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440517322120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440516270864 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 18511 0 -1 4202560 4381 0 0 0 63 0 0 0 20 0 19 0 291178350 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440515217720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 18511 0 -1 4202560 3966 0 0 0 51 2 0 0 20 0 19 0 291178350 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440514165176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440513112312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 18511 0 -1 4202560 99 0 0 0 27 29 0 0 20 0 19 0 291178350 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440512059976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178378 9855979520 292057 33554432000 1073741824 1073778376 140734008257856 140440510969384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1763.58
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1757.81 s]
/proc/loadavg: 2.00 2.00 1.95 4/213 21292
/proc/meminfo: memFree=26350676/32873648 swapFree=6864/6864
[pid=21257] ppid=21255 vsize=9624980 CPUtime=1800.03 cores=0,2,4,6
/proc/21257/stat : 21257 (java) S 21255 21257 18511 0 -1 4202496 49618 0 1 0 179657 346 0 0 20 0 19 0 291178345 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140734008248992 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21257/statm: 2406245 298746 2284 9 0 2396937 0
[pid=21257/tid=21259] ppid=21255 vsize=9624980 CPUtime=1734.54 cores=0,2,4,6
/proc/21257/task/21259/stat : 21259 (java) R 21255 21257 18511 0 -1 4202560 3259 0 1 0 173420 34 0 0 20 0 19 0 291178346 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140441165516144 140441018978605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21260] ppid=21255 vsize=9624980 CPUtime=7.09 cores=0,2,4,6
/proc/21257/task/21260/stat : 21260 (java) S 21255 21257 18511 0 -1 4202560 4199 0 0 0 674 35 0 0 20 0 19 0 291178347 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140441137970088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21261] ppid=21255 vsize=9624980 CPUtime=7.3 cores=0,2,4,6
/proc/21257/task/21261/stat : 21261 (java) S 21255 21257 18511 0 -1 4202560 4228 0 0 0 690 40 0 0 20 0 19 0 291178347 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140441136917544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21262] ppid=21255 vsize=9624980 CPUtime=7.13 cores=0,2,4,6
/proc/21257/task/21262/stat : 21262 (java) S 21255 21257 18511 0 -1 4202560 3476 0 0 0 674 39 0 0 20 0 19 0 291178347 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140441007205032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21263] ppid=21255 vsize=9624980 CPUtime=6.92 cores=0,2,4,6
/proc/21257/task/21263/stat : 21263 (java) S 21255 21257 18511 0 -1 4202560 3979 0 0 0 656 36 0 0 20 0 19 0 291178347 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140441006152488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21264] ppid=21255 vsize=9624980 CPUtime=7.05 cores=0,2,4,6
/proc/21257/task/21264/stat : 21264 (java) S 21255 21257 18511 0 -1 4202560 4957 0 0 0 671 34 0 0 20 0 19 0 291178347 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140441005099432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21265] ppid=21255 vsize=9624980 CPUtime=7 cores=0,2,4,6
/proc/21257/task/21265/stat : 21265 (java) S 21255 21257 18511 0 -1 4202560 5445 0 0 0 661 39 0 0 20 0 19 0 291178347 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140441004046888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21266] ppid=21255 vsize=9624980 CPUtime=7.2 cores=0,2,4,6
/proc/21257/task/21266/stat : 21266 (java) S 21255 21257 18511 0 -1 4202560 5048 0 0 0 679 41 0 0 20 0 19 0 291178347 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140441002993832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21267] ppid=21255 vsize=9624980 CPUtime=7.01 cores=0,2,4,6
/proc/21257/task/21267/stat : 21267 (java) S 21255 21257 18511 0 -1 4202560 2967 0 0 0 667 34 0 0 20 0 19 0 291178347 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440531626280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21268] ppid=21255 vsize=9624980 CPUtime=7.17 cores=0,2,4,6
/proc/21257/task/21268/stat : 21268 (java) S 21255 21257 18511 0 -1 4202560 2425 0 0 0 707 10 0 0 20 0 19 0 291178348 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440519428968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21269] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21269/stat : 21269 (java) S 21255 21257 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440518375288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21270] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21270/stat : 21270 (java) S 21255 21257 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291178348 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440517322120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21271] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21271/stat : 21271 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440516270864 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21257/tid=21272] ppid=21255 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/21257/task/21272/stat : 21272 (java) S 21255 21257 18511 0 -1 4202560 4381 0 0 0 63 0 0 0 20 0 19 0 291178350 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440515217720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21257/tid=21273] ppid=21255 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/21257/task/21273/stat : 21273 (java) S 21255 21257 18511 0 -1 4202560 3966 0 0 0 51 2 0 0 20 0 19 0 291178350 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440514165176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21274] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21274/stat : 21274 (java) S 21255 21257 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291178350 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440513112312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21257/tid=21275] ppid=21255 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/21257/task/21275/stat : 21275 (java) S 21255 21257 18511 0 -1 4202560 101 0 0 0 28 30 0 0 20 0 19 0 291178350 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440512059976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21257/tid=21276] ppid=21255 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/21257/task/21276/stat : 21276 (java) S 21255 21257 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291178378 9855979520 298746 33554432000 1073741824 1073778376 140734008257856 140440510969384 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143
Real time (s): 1757.88
CPU time (s): 1800.54
CPU user time (s): 1796.66
CPU system time (s): 3.88141
CPU usage (%): 102.427
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.66
system time used= 3.88141
maximum resident set size= 1201088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49651
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60899
involuntary context switches= 91558

runsolver used 6.68198 second user time and 14.4618 second system time

The end

Launcher Data

Begin job on node125 at 2012-05-29 02:15:29
IDJOB=3718143
IDBENCH=78726
IDSOLVER=2301
FILE ID=node125/3718143-1338250529
RUNJOBID= node125-1338248733-21054
PBS_JOBID= 14624654
Free space on /tmp= 71260 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718143-1338250529/watcher-3718143-1338250529 -o /tmp/evaluation-result-3718143-1338250529/solver-3718143-1338250529 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718143-1338250529.wbo

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

MD5SUM BENCH= 5089c419eb4145debb9fb5e7fd1214f5
RANDOM SEED=1949986728

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28808408 kB
Buffers:          553424 kB
Cached:          2520144 kB
SwapCached:         2300 kB
Active:          1599900 kB
Inactive:        1556560 kB
Active(anon):      74080 kB
Inactive(anon):     9556 kB
Active(file):    1525820 kB
Inactive(file):  1547004 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102620 kB
Dirty:              1088 kB
Writeback:             0 kB
AnonPages:        110844 kB
Mapped:            22420 kB
Shmem:               104 kB
Slab:             742872 kB
SReclaimable:     186444 kB
SUnreclaim:       556428 kB
KernelStack:        1608 kB
PageTables:         4472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     695920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71260 MiB
End job on node125 at 2012-05-29 02:44:49