0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4119889-1467272603.opb
0.11/0.11	c reading problem ... 
0.11/0.12	c  objective function found
1.17/0.50	c ... done. Wall clock time 0.391s.
1.17/0.50	c declared #vars     10432
1.17/0.50	c #constraints  716
1.17/0.51	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.17/0.51	c constraints type 
1.17/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 325
1.17/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 325
1.17/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
1.17/0.51	c 716 constraints processed.
1.17/0.51	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.17/0.51	c constraints type 
1.17/0.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 325
1.17/0.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 325
1.17/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 66
1.17/0.51	c 716 constraints processed.
1.17/0.51	c objective function length is 32 literals
3.69/1.37	c cleaning 2491 clauses out of 5000 with flag 17560/5000
5.51/2.08	c cleaning 4242 clauses out of 8509 with flag 42668/11000
7.65/3.01	c cleaning 5619 clauses out of 11267 with flag 73973/18000
9.66/4.08	c cleaning 6806 clauses out of 13648 with flag 112360/26000
10.07/4.22	c And the winner is solver0
10.17/4.52	c SATISFIABLE
10.17/4.52	c OPTIMIZING...
10.17/4.52	c Got one! Elapsed wall clock time (in seconds):4.403
10.17/4.52	o 32
11.05/4.99	c cleaning 5993 clauses out of 12004 with flag 19050/31162
12.65/5.77	c cleaning 5999 clauses out of 12011 with flag 53884/37162
14.66/6.78	c cleaning 6497 clauses out of 13011 with flag 99621/44161
17.06/7.97	c cleaning 7248 clauses out of 14513 with flag 153386/52160
19.86/9.34	c cleaning 8120 clauses out of 16265 with flag 206308/61160
23.27/11.03	c cleaning 9064 clauses out of 18148 with flag 277038/71163
26.53/12.60	c cleaning 10027 clauses out of 20081 with flag 345374/82160
29.26/13.94	c cleaning 11007 clauses out of 22055 with flag 402862/94161
32.27/15.50	c cleaning 11997 clauses out of 24047 with flag 431155/107160
36.45/17.60	c cleaning 12998 clauses out of 26050 with flag 461247/121160
41.65/20.16	c cleaning 14005 clauses out of 28055 with flag 494796/136163
47.81/23.20	c cleaning 14997 clauses out of 30049 with flag 531023/152162
55.05/26.74	c cleaning 15993 clauses out of 32050 with flag 569235/169160
63.29/30.81	c cleaning 17002 clauses out of 34059 with flag 608220/187162
72.68/35.46	c cleaning 17999 clauses out of 36055 with flag 649386/206160
84.19/41.14	c cleaning 18995 clauses out of 38056 with flag 692814/226160
95.80/46.96	c cleaning 19999 clauses out of 40061 with flag 738223/247160
109.81/53.98	c cleaning 21001 clauses out of 42062 with flag 784702/269160
124.78/61.38	c cleaning 22003 clauses out of 44062 with flag 835387/292161
141.35/69.41	c cleaning 22999 clauses out of 46059 with flag 888892/316161
158.72/77.94	c cleaning 23999 clauses out of 48059 with flag 945413/341160
175.72/86.46	c cleaning 24996 clauses out of 50060 with flag 1001585/367160
194.92/96.08	c cleaning 25995 clauses out of 52064 with flag 1059144/394160
216.72/106.92	c cleaning 27004 clauses out of 54069 with flag 1123565/422160
233.52/115.31	c cleaning 28000 clauses out of 56066 with flag 1187927/451161
256.50/127.20	c cleaning 29000 clauses out of 58067 with flag 1254841/481162
279.51/138.63	c cleaning 29993 clauses out of 60065 with flag 1323710/512160
305.33/151.32	c cleaning 31004 clauses out of 62072 with flag 1394076/544160
335.31/166.33	c cleaning 32000 clauses out of 64069 with flag 1465394/577161
364.98/180.99	c cleaning 32997 clauses out of 66068 with flag 1537958/611160
394.57/195.70	c cleaning 34003 clauses out of 68072 with flag 1615117/646161
424.18/210.58	c cleaning 34999 clauses out of 70069 with flag 1695930/682161
443.74/221.02	c And the winner is solver0
444.22/221.49	c Got one! Elapsed wall clock time (in seconds):221.378
444.22/221.49	o 31
444.56/221.68	c And the winner is solver0
444.89/221.99	c Got one! Elapsed wall clock time (in seconds):221.879
444.89/221.99	o 30
445.91/222.51	c cleaning 31984 clauses out of 63993 with flag 12731/711084
447.11/223.12	c cleaning 18989 clauses out of 38008 with flag 34704/717083
448.51/223.86	c cleaning 12994 clauses out of 26019 with flag 63011/724083
450.33/224.76	c cleaning 10513 clauses out of 21026 with flag 94481/732084
451.73/225.44	c cleaning 9732 clauses out of 19512 with flag 119800/741083
453.53/226.32	c cleaning 9873 clauses out of 19780 with flag 149298/751083
456.13/227.64	c cleaning 10437 clauses out of 20907 with flag 193046/762083
459.13/229.18	c cleaning 11220 clauses out of 22472 with flag 235848/774085
462.73/230.96	c cleaning 12117 clauses out of 24252 with flag 283579/787085
466.73/232.92	c cleaning 13062 clauses out of 26134 with flag 331839/801084
469.93/234.53	c cleaning 14030 clauses out of 28071 with flag 372911/816083
472.73/235.99	c cleaning 15011 clauses out of 30043 with flag 430647/832085
478.13/238.69	c cleaning 16004 clauses out of 32030 with flag 464650/849083
483.93/241.53	c cleaning 16997 clauses out of 34026 with flag 500650/867083
490.72/244.98	c cleaning 18002 clauses out of 36032 with flag 538656/886086
497.85/248.46	c cleaning 19001 clauses out of 38029 with flag 578654/906085
505.85/252.44	c cleaning 19998 clauses out of 40026 with flag 620650/927083
515.05/257.07	c cleaning 21005 clauses out of 42032 with flag 664658/949087
525.45/262.28	c cleaning 21999 clauses out of 44025 with flag 710654/972085
536.05/267.58	c cleaning 22999 clauses out of 46025 with flag 758652/996084
548.45/273.71	c cleaning 23997 clauses out of 48026 with flag 808652/1021084
563.72/281.22	c cleaning 24999 clauses out of 50028 with flag 860650/1047083
577.93/288.32	c cleaning 26001 clauses out of 52031 with flag 914654/1074085
594.30/296.38	c cleaning 27001 clauses out of 54031 with flag 970656/1102086
612.30/305.30	c cleaning 27997 clauses out of 56027 with flag 1028650/1131083
631.50/314.94	c cleaning 29001 clauses out of 58031 with flag 1088652/1161084
648.30/323.36	c cleaning 30003 clauses out of 60036 with flag 1151562/1192090
668.84/333.34	c cleaning 30997 clauses out of 62026 with flag 1215978/1224083
686.82/342.34	c cleaning 31997 clauses out of 64029 with flag 1282495/1257083
707.42/352.64	c cleaning 33010 clauses out of 66037 with flag 1351356/1291088
735.65/366.50	c cleaning 34000 clauses out of 68023 with flag 1421356/1326084
762.05/379.63	c cleaning 34997 clauses out of 70022 with flag 1493544/1362083
790.84/394.08	c cleaning 35997 clauses out of 72026 with flag 1568471/1399084
822.06/409.41	c cleaning 37001 clauses out of 74030 with flag 1644918/1437085
858.56/427.41	c cleaning 38002 clauses out of 76031 with flag 1723597/1476087
897.95/447.11	c cleaning 38996 clauses out of 78028 with flag 1804028/1516086
924.31/460.04	c cleaning 40004 clauses out of 80029 with flag 1891223/1557083
944.51/470.18	c cleaning 41000 clauses out of 82027 with flag 1984490/1599085
965.52/480.70	c cleaning 42007 clauses out of 84025 with flag 2083445/1642083
981.89/489.90	c cleaning 43001 clauses out of 86018 with flag 2197094/1686083
994.70/496.35	c cleaning 44003 clauses out of 88017 with flag 2303356/1731083
1025.10/511.24	c cleaning 44997 clauses out of 90014 with flag 2402318/1777083
1062.36/529.77	c cleaning 45995 clauses out of 92017 with flag 2503448/1824083
1107.05/551.93	c cleaning 47003 clauses out of 94023 with flag 2608525/1872084
1151.00/573.77	c cleaning 47995 clauses out of 96021 with flag 2715340/1921085
1196.60/596.52	c cleaning 49000 clauses out of 98024 with flag 2827703/1971083
1251.60/623.88	c cleaning 49996 clauses out of 100025 with flag 2941984/2022084
1304.19/650.11	c cleaning 50999 clauses out of 102031 with flag 3055705/2074086
1364.80/680.28	c cleaning 51991 clauses out of 104030 with flag 3170617/2127084
1431.75/713.25	c cleaning 53001 clauses out of 106038 with flag 3289709/2181083
1484.95/739.87	c cleaning 54008 clauses out of 108040 with flag 3408651/2236086
1544.70/769.46	c cleaning 55002 clauses out of 110030 with flag 3528061/2292084
1613.24/803.45	c cleaning 55998 clauses out of 112027 with flag 3650883/2349083
1694.69/842.86	c cleaning 56999 clauses out of 114029 with flag 3774984/2407083
1772.59/881.40	c cleaning 58005 clauses out of 116031 with flag 3901585/2466084
1800.07/894.80	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.07/894.80	c starts		: 146
1800.07/894.80	c conflicts		: 2495488
1800.07/894.80	c decisions		: 2947764
1800.07/894.80	c propagations		: 146958078
1800.07/894.80	c inspects		: 15021465873
1800.07/894.80	c shortcuts		: 0
1800.07/894.80	c learnt literals	: 0
1800.07/894.80	c learnt binary clauses	: 0
1800.07/894.80	c learnt ternary clauses	: 0
1800.07/894.80	c learnt constraints	: 2495488
1800.07/894.80	c ignored constraints	: 0
1800.07/894.80	c root simplifications	: 0
1800.07/894.80	c removed literals (reason simplification)	: 193860
1800.07/894.80	c reason swapping (by a shorter reason)	: 0
1800.07/894.80	c Calls to reduceDB	: 91
1800.07/894.80	c Number of update (reduction) of LBD	: 170988
1800.07/894.80	c Imported unit clauses	: 0
1800.07/894.80	c number of reductions to clauses (during analyze)	: 0
1800.07/894.80	c number of learned constraints concerned by reduction	: 0
1800.07/894.80	c number of learning phase by resolution	: 0
1800.07/894.80	c number of learning phase by cutting planes	: 0
1800.07/894.80	c speed (assignments/second)	: 164330.98545088177
1800.07/894.80	c non guided choices	155170
1800.07/894.83	c learnt constraints type 
1800.07/894.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87430
1800.07/894.83	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/894.83	c starts		: 22
1800.07/894.83	c conflicts		: 3016
1800.07/894.83	c decisions		: 558527
1800.07/894.83	c propagations		: 1160766
1800.07/894.83	c inspects		: 158652183
1800.07/894.83	c shortcuts		: 0
1800.07/894.83	c learnt literals	: 0
1800.07/894.83	c learnt binary clauses	: 0
1800.07/894.83	c learnt ternary clauses	: 0
1800.07/894.83	c learnt constraints	: 3015
1800.07/894.83	c ignored constraints	: 0
1800.07/894.83	c root simplifications	: 0
1800.07/894.83	c removed literals (reason simplification)	: 0
1800.07/894.83	c reason swapping (by a shorter reason)	: 0
1800.07/894.83	c Calls to reduceDB	: 0
1800.07/894.83	c Number of update (reduction) of LBD	: 0
1800.07/894.83	c Imported unit clauses	: 0
1800.07/894.83	c number of reductions to clauses (during analyze)	: 0
1800.07/894.83	c number of learned constraints concerned by reduction	: 0
1800.07/894.83	c number of learning phase by resolution	: 0
1800.07/894.83	c number of learning phase by cutting planes	: 0
1800.07/894.83	c speed (assignments/second)	: 1725.1815818690113
1800.07/894.83	c non guided choices	23627
1800.07/894.83	c learnt constraints type 
1800.07/894.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3015
1800.07/894.83	s SATISFIABLE
1800.07/894.83	c Found 3 solution(s)
1800.07/894.84	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 
1800.07/894.86	c objective function=30
1800.07/894.86	c Total wall clock time (in seconds): 894.743

OK	30

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119889-1467272603/watcher-4119889-1467272603 -o /tmp/evaluation-result-4119889-1467272603/solver-4119889-1467272603 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467268188-8375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119889-1467272603.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.04 4.05 3.91 4/197 9887
/proc/meminfo: memFree=27272204/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/9887/stat : 9887 (java) R 9884 9887 7235 0 -1 4202496 1065 0 0 0 0 0 0 0 20 0 1 0 6291618 23793664 715 33554432000 1073741824 1073778376 140733207780848 140733207769912 224913306984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 5809 716 531 9 0 128 0

[startup+0.100113 s]
/proc/loadavg: 4.04 4.05 3.91 4/197 9887
/proc/meminfo: memFree=27272204/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 4425 0 1 0 9 2 0 0 20 0 18 0 6291618 9787879424 6031 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2389619 6031 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200277 s]
/proc/loadavg: 4.04 4.05 3.91 4/197 9887
/proc/meminfo: memFree=27272204/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 4790 0 1 0 25 2 0 0 20 0 18 0 6291618 9787879424 7349 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2389619 7349 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300296 s]
/proc/loadavg: 4.04 4.05 3.91 4/197 9887
/proc/meminfo: memFree=27272204/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 11911 0 1 0 54 3 0 0 20 0 18 0 6291618 9787879424 13492 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2389619 13492 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700186 s]
/proc/loadavg: 4.04 4.05 3.91 4/197 9887
/proc/meminfo: memFree=27272204/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 15646 0 1 0 188 5 0 0 20 0 22 0 6291618 10060525568 37484 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2456183 37484 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.04 4.05 3.91 6/219 9909
/proc/meminfo: memFree=27114060/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9824732 CPUtime=4.3 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 22934 0 1 0 421 9 0 0 20 0 22 0 6291618 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2456183 51776 2283 9 0 2446860 0
[pid=9887/tid=9889] ppid=9884 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/9887/task/9889/stat : 9889 (java) S 9884 9887 7235 0 -1 4202560 2459 0 1 0 46 3 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140140044309368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9890] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9890/stat : 9890 (java) S 9884 9887 7235 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140140022409384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9891] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9891/stat : 9891 (java) S 9884 9887 7235 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140140021356840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9892] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9892/stat : 9892 (java) S 9884 9887 7235 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140140020304296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9893] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9893/stat : 9893 (java) S 9884 9887 7235 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140140019251752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9894] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9894/stat : 9894 (java) S 9884 9887 7235 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139682589352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9895] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9895/stat : 9895 (java) S 9884 9887 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139681536808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9896] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9896/stat : 9896 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139680484264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9897] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9897/stat : 9897 (java) S 9884 9887 7235 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139679431720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9898] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9898/stat : 9898 (java) S 9884 9887 7235 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 6291620 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139667019880 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9899] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9899/stat : 9899 (java) S 9884 9887 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139665966200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9900] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9900/stat : 9900 (java) S 9884 9887 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139664913544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9901] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9901/stat : 9901 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139663862288 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9902] ppid=9884 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/9887/task/9902/stat : 9902 (java) R 9884 9887 7235 0 -1 4202560 12053 0 0 0 94 3 0 0 20 0 22 0 6291623 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139662798840 140140048426410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9903] ppid=9884 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/9887/task/9903/stat : 9903 (java) S 9884 9887 7235 0 -1 4202560 6948 0 0 0 81 2 0 0 20 0 22 0 6291623 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139661757112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9904] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9904/stat : 9904 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139660704760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9905] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9905/stat : 9905 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139659652424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9906] ppid=9884 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/9887/task/9906/stat : 9906 (java) R 9884 9887 7235 0 -1 4202560 24 0 0 0 93 0 0 0 20 0 22 0 6291669 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139658587808 140139900966838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9907] ppid=9884 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/9887/task/9907/stat : 9907 (java) R 9884 9887 7235 0 -1 4202560 49 0 0 0 93 0 0 0 20 0 22 0 6291669 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139657543112 140139901749193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9908] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9908/stat : 9908 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291671 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139656492072 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9909] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9909/stat : 9909 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291671 10060525568 51776 33554432000 1073741824 1073778376 140733207780848 140139655439528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9824732

[startup+3.10097 s]
/proc/loadavg: 4.12 4.06 3.92 5/219 9909
/proc/meminfo: memFree=27081048/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9824732 CPUtime=7.86 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 23919 0 1 0 776 10 0 0 20 0 22 0 6291618 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2456183 49572 2284 9 0 2446860 0
[pid=9887/tid=9889] ppid=9884 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/9887/task/9889/stat : 9889 (java) S 9884 9887 7235 0 -1 4202560 2459 0 1 0 46 3 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140140044309368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9890] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9890/stat : 9890 (java) S 9884 9887 7235 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140140022409384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9891] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9891/stat : 9891 (java) S 9884 9887 7235 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140140021356840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9892] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9892/stat : 9892 (java) S 9884 9887 7235 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140140020304296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9893] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9893/stat : 9893 (java) S 9884 9887 7235 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140140019251752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9894] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9894/stat : 9894 (java) S 9884 9887 7235 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139682589352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9895] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9895/stat : 9895 (java) S 9884 9887 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139681536808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9896] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9896/stat : 9896 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139680484264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9897] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9897/stat : 9897 (java) S 9884 9887 7235 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139679431720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9898] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9898/stat : 9898 (java) S 9884 9887 7235 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 6291620 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139667019880 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9899] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9899/stat : 9899 (java) S 9884 9887 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139665966200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9900] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9900/stat : 9900 (java) S 9884 9887 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139664913544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9901] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9901/stat : 9901 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139663862288 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9902] ppid=9884 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/9887/task/9902/stat : 9902 (java) S 9884 9887 7235 0 -1 4202560 13037 0 0 0 111 4 0 0 20 0 22 0 6291623 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139662809656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9903] ppid=9884 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/9887/task/9903/stat : 9903 (java) S 9884 9887 7235 0 -1 4202560 6948 0 0 0 102 2 0 0 20 0 22 0 6291623 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139661757112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9904] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9904/stat : 9904 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139660704760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9905] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9905/stat : 9905 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139659652424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9906] ppid=9884 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/9887/task/9906/stat : 9906 (java) R 9884 9887 7235 0 -1 4202560 24 0 0 0 251 0 0 0 20 0 22 0 6291669 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139658596600 140139901680771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9907] ppid=9884 vsize=9824732 CPUtime=2.53 cores=0,2,4,6
/proc/9887/task/9907/stat : 9907 (java) R 9884 9887 7235 0 -1 4202560 50 0 0 0 253 0 0 0 20 0 22 0 6291669 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139657543640 140139901578987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9908] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9908/stat : 9908 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291671 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139656492072 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9909] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9909/stat : 9909 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291671 10060525568 49572 33554432000 1073741824 1073778376 140733207780848 140139655439528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 9824732

[startup+6.30086 s]
/proc/loadavg: 4.12 4.06 3.92 5/219 9912
/proc/meminfo: memFree=27048960/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9824732 CPUtime=13.85 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 24325 0 1 0 1370 15 0 0 20 0 22 0 6291618 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2456183 57715 2286 9 0 2446860 0
[pid=9887/tid=9889] ppid=9884 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/9887/task/9889/stat : 9889 (java) S 9884 9887 7235 0 -1 4202560 2459 0 1 0 46 3 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140140044309368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9890] ppid=9884 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9887/task/9890/stat : 9890 (java) S 9884 9887 7235 0 -1 4202560 123 0 0 0 4 0 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140140022409384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9891] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9891/stat : 9891 (java) S 9884 9887 7235 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140140021356840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9892] ppid=9884 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9887/task/9892/stat : 9892 (java) S 9884 9887 7235 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140140020304296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9893] ppid=9884 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9887/task/9893/stat : 9893 (java) S 9884 9887 7235 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140140019251752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9894] ppid=9884 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9887/task/9894/stat : 9894 (java) S 9884 9887 7235 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140139682589352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9895] ppid=9884 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9887/task/9895/stat : 9895 (java) S 9884 9887 7235 0 -1 4202560 117 0 0 0 2 1 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140139681536808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9896] ppid=9884 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9887/task/9896/stat : 9896 (java) S 9884 9887 7235 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140139680484264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9897] ppid=9884 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9887/task/9897/stat : 9897 (java) S 9884 9887 7235 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 6291619 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140139679431720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9898] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9898/stat : 9898 (java) S 9884 9887 7235 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 6291620 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140139667019880 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9899] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9899/stat : 9899 (java) S 9884 9887 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140139665966200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9900] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9900/stat : 9900 (java) S 9884 9887 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140139664913544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9901] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9901/stat : 9901 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 57715 33554432000 1073741824 1073778376 140733207780848 140139663862288 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9902] ppid=9884 vsize=9824732 CPUtime=1.19 cores=0,2,4,6

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


[startup+822.301 s]
/proc/loadavg: 4.18 4.15 4.01 5/219 10007
/proc/meminfo: memFree=23861092/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9824732 CPUtime=1651.62 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 47153 0 1 0 164884 278 0 0 20 0 22 0 6291618 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2456183 971121 2294 9 0 2446860 0
[pid=9887/tid=9889] ppid=9884 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/9887/task/9889/stat : 9889 (java) S 9884 9887 7235 0 -1 4202560 2467 0 1 0 48 5 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140140044309368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9890] ppid=9884 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/9887/task/9890/stat : 9890 (java) S 9884 9887 7235 0 -1 4202560 1437 0 0 0 274 21 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140140022409384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9891] ppid=9884 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/9887/task/9891/stat : 9891 (java) S 9884 9887 7235 0 -1 4202560 2689 0 0 0 267 25 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140140021356840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9892] ppid=9884 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/9887/task/9892/stat : 9892 (java) S 9884 9887 7235 0 -1 4202560 2516 0 0 0 286 29 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140140020304296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9893] ppid=9884 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/9887/task/9893/stat : 9893 (java) S 9884 9887 7235 0 -1 4202560 2084 0 0 0 309 29 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140140019251752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9894] ppid=9884 vsize=9824732 CPUtime=3.42 cores=0,2,4,6
/proc/9887/task/9894/stat : 9894 (java) S 9884 9887 7235 0 -1 4202560 2518 0 0 0 315 27 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139682589352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9895] ppid=9884 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/9887/task/9895/stat : 9895 (java) S 9884 9887 7235 0 -1 4202560 2806 0 0 0 279 28 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139681536808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9896] ppid=9884 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/9887/task/9896/stat : 9896 (java) S 9884 9887 7235 0 -1 4202560 2222 0 0 0 261 25 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139680484264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9897] ppid=9884 vsize=9824732 CPUtime=3.62 cores=0,2,4,6
/proc/9887/task/9897/stat : 9897 (java) S 9884 9887 7235 0 -1 4202560 1583 0 0 0 338 24 0 0 20 0 22 0 6291619 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139679431720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9898] ppid=9884 vsize=9824732 CPUtime=6.01 cores=0,2,4,6
/proc/9887/task/9898/stat : 9898 (java) S 9884 9887 7235 0 -1 4202560 2939 0 0 0 592 9 0 0 20 0 22 0 6291620 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139667019880 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9899] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9899/stat : 9899 (java) S 9884 9887 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139665966200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9900] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9900/stat : 9900 (java) S 9884 9887 7235 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139664913544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9901] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9901/stat : 9901 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139663862288 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9902] ppid=9884 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/9887/task/9902/stat : 9902 (java) S 9884 9887 7235 0 -1 4202560 14039 0 0 0 138 4 0 0 20 0 22 0 6291623 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139662809656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9903] ppid=9884 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/9887/task/9903/stat : 9903 (java) S 9884 9887 7235 0 -1 4202560 6950 0 0 0 137 2 0 0 20 0 22 0 6291623 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139661757112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9904] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9904/stat : 9904 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139660704760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9905] ppid=9884 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/9887/task/9905/stat : 9905 (java) S 9884 9887 7235 0 -1 4202560 47 0 0 0 12 11 0 0 20 0 22 0 6291623 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139659652424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9908] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9908/stat : 9908 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291671 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139656492072 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9989] ppid=9884 vsize=9824732 CPUtime=592.55 cores=0,2,4,6
/proc/9887/task/9989/stat : 9989 (java) R 9884 9887 7235 0 -1 4202560 6 0 0 0 59246 9 0 0 20 0 22 0 6313818 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139657542032 140139901494649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9990] ppid=9884 vsize=9824732 CPUtime=592.59 cores=0,2,4,6
/proc/9887/task/9990/stat : 9990 (java) R 9884 9887 7235 0 -1 4202560 22 0 0 0 59250 9 0 0 20 0 22 0 6313818 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139658595968 140139902159243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9991] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9991/stat : 9991 (java) S 9884 9887 7235 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6313818 10060525568 971121 33554432000 1073741824 1073778376 140733207780848 140139655439656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1651.62
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.51 4.22 4.04 5/219 10008
/proc/meminfo: memFree=23745664/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9824732 CPUtime=1774.4 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 47500 0 1 0 177147 293 0 0 20 0 22 0 6291618 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2456183 1015236 2294 9 0 2446860 0
[pid=9887/tid=9889] ppid=9884 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/9887/task/9889/stat : 9889 (java) S 9884 9887 7235 0 -1 4202560 2467 0 1 0 48 5 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140140044309368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9890] ppid=9884 vsize=9824732 CPUtime=3.52 cores=0,2,4,6
/proc/9887/task/9890/stat : 9890 (java) S 9884 9887 7235 0 -1 4202560 1461 0 0 0 330 22 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140140022409384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9891] ppid=9884 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/9887/task/9891/stat : 9891 (java) S 9884 9887 7235 0 -1 4202560 2722 0 0 0 328 26 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140140021356840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9892] ppid=9884 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/9887/task/9892/stat : 9892 (java) S 9884 9887 7235 0 -1 4202560 2532 0 0 0 349 30 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140140020304296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9893] ppid=9884 vsize=9824732 CPUtime=4.15 cores=0,2,4,6
/proc/9887/task/9893/stat : 9893 (java) S 9884 9887 7235 0 -1 4202560 2130 0 0 0 383 32 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140140019251752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9894] ppid=9884 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/9887/task/9894/stat : 9894 (java) S 9884 9887 7235 0 -1 4202560 2558 0 0 0 392 30 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139682589352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9895] ppid=9884 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/9887/task/9895/stat : 9895 (java) S 9884 9887 7235 0 -1 4202560 2849 0 0 0 362 30 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139681536808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9896] ppid=9884 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/9887/task/9896/stat : 9896 (java) S 9884 9887 7235 0 -1 4202560 2338 0 0 0 345 26 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139680484264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9897] ppid=9884 vsize=9824732 CPUtime=4.14 cores=0,2,4,6
/proc/9887/task/9897/stat : 9897 (java) S 9884 9887 7235 0 -1 4202560 1602 0 0 0 389 25 0 0 20 0 22 0 6291619 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139679431720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9898] ppid=9884 vsize=9824732 CPUtime=6.02 cores=0,2,4,6
/proc/9887/task/9898/stat : 9898 (java) S 9884 9887 7235 0 -1 4202560 2941 0 0 0 593 9 0 0 20 0 22 0 6291620 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139667019880 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9899] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9899/stat : 9899 (java) S 9884 9887 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139665966200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9900] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9900/stat : 9900 (java) S 9884 9887 7235 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139664913544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9901] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9901/stat : 9901 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139663862288 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9902] ppid=9884 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/9887/task/9902/stat : 9902 (java) S 9884 9887 7235 0 -1 4202560 14039 0 0 0 138 4 0 0 20 0 22 0 6291623 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139662809656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9903] ppid=9884 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/9887/task/9903/stat : 9903 (java) S 9884 9887 7235 0 -1 4202560 6950 0 0 0 137 2 0 0 20 0 22 0 6291623 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139661757112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9904] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9904/stat : 9904 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139660704760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9905] ppid=9884 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/9887/task/9905/stat : 9905 (java) S 9884 9887 7235 0 -1 4202560 51 0 0 0 12 13 0 0 20 0 22 0 6291623 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139659652424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9908] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9908/stat : 9908 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291671 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139656492072 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9989] ppid=9884 vsize=9824732 CPUtime=651.14 cores=0,2,4,6
/proc/9887/task/9989/stat : 9989 (java) R 9884 9887 7235 0 -1 4202560 6 0 0 0 65105 9 0 0 20 0 22 0 6313818 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139657535376 140139901196816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9990] ppid=9884 vsize=9824732 CPUtime=651.16 cores=0,2,4,6
/proc/9887/task/9990/stat : 9990 (java) R 9884 9887 7235 0 -1 4202560 26 0 0 0 65107 9 0 0 20 0 22 0 6313818 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139658595808 140139901750384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9991] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9991/stat : 9991 (java) S 9884 9887 7235 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6313818 10060525568 1015236 33554432000 1073741824 1073778376 140733207780848 140139655439656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1774.4
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.801 s]
/proc/loadavg: 4.43 4.21 4.04 5/219 10008
/proc/meminfo: memFree=23745544/32872528 swapFree=171304/177436
[pid=9887] ppid=9884 vsize=9824732 CPUtime=1800.07 cores=0,2,4,6
/proc/9887/stat : 9887 (java) S 9884 9887 7235 0 -1 4202496 47697 0 1 0 179710 297 0 0 20 0 22 0 6291618 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140733207771984 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9887/statm: 2456183 1035307 2294 9 0 2446860 0
[pid=9887/tid=9889] ppid=9884 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/9887/task/9889/stat : 9889 (java) S 9884 9887 7235 0 -1 4202560 2467 0 1 0 48 5 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140140044309368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9890] ppid=9884 vsize=9824732 CPUtime=3.59 cores=0,2,4,6
/proc/9887/task/9890/stat : 9890 (java) S 9884 9887 7235 0 -1 4202560 1463 0 0 0 337 22 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140140022409384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9891] ppid=9884 vsize=9824732 CPUtime=3.63 cores=0,2,4,6
/proc/9887/task/9891/stat : 9891 (java) S 9884 9887 7235 0 -1 4202560 2732 0 0 0 336 27 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140140021356840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9892] ppid=9884 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/9887/task/9892/stat : 9892 (java) S 9884 9887 7235 0 -1 4202560 2647 0 0 0 381 31 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140140020304296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9893] ppid=9884 vsize=9824732 CPUtime=4.43 cores=0,2,4,6
/proc/9887/task/9893/stat : 9893 (java) S 9884 9887 7235 0 -1 4202560 2150 0 0 0 410 33 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140140019251752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9894] ppid=9884 vsize=9824732 CPUtime=4.32 cores=0,2,4,6
/proc/9887/task/9894/stat : 9894 (java) S 9884 9887 7235 0 -1 4202560 2561 0 0 0 402 30 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139682589352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9895] ppid=9884 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/9887/task/9895/stat : 9895 (java) S 9884 9887 7235 0 -1 4202560 2871 0 0 0 389 31 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139681536808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9896] ppid=9884 vsize=9824732 CPUtime=3.84 cores=0,2,4,6
/proc/9887/task/9896/stat : 9896 (java) S 9884 9887 7235 0 -1 4202560 2348 0 0 0 358 26 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139680484264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9897] ppid=9884 vsize=9824732 CPUtime=4.26 cores=0,2,4,6
/proc/9887/task/9897/stat : 9897 (java) S 9884 9887 7235 0 -1 4202560 1606 0 0 0 401 25 0 0 20 0 22 0 6291619 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139679431720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9898] ppid=9884 vsize=9824732 CPUtime=6.02 cores=0,2,4,6
/proc/9887/task/9898/stat : 9898 (java) S 9884 9887 7235 0 -1 4202560 2951 0 0 0 593 9 0 0 20 0 22 0 6291620 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139667019880 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9899] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9899/stat : 9899 (java) S 9884 9887 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139665966200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9900] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9900/stat : 9900 (java) S 9884 9887 7235 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 6291621 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139664913544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9901] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9901/stat : 9901 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139663862288 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9902] ppid=9884 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/9887/task/9902/stat : 9902 (java) S 9884 9887 7235 0 -1 4202560 14039 0 0 0 138 4 0 0 20 0 22 0 6291623 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139662809656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9887/tid=9903] ppid=9884 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/9887/task/9903/stat : 9903 (java) S 9884 9887 7235 0 -1 4202560 6950 0 0 0 137 2 0 0 20 0 22 0 6291623 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139661757112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9904] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9904/stat : 9904 (java) S 9884 9887 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6291623 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139660704760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9887/tid=9905] ppid=9884 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/9887/task/9905/stat : 9905 (java) S 9884 9887 7235 0 -1 4202560 51 0 0 0 12 13 0 0 20 0 22 0 6291623 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139659652424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9908] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9908/stat : 9908 (java) S 9884 9887 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6291671 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139656492072 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9989] ppid=9884 vsize=9824732 CPUtime=663.28 cores=0,2,4,6
/proc/9887/task/9989/stat : 9989 (java) R 9884 9887 7235 0 -1 4202560 6 0 0 0 66318 10 0 0 20 0 22 0 6313818 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139657542360 140139901196816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9887/tid=9990] ppid=9884 vsize=9824732 CPUtime=663.3 cores=0,2,4,6
/proc/9887/task/9990/stat : 9990 (java) R 9884 9887 7235 0 -1 4202560 27 0 0 0 66320 10 0 0 20 0 22 0 6313818 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139658595808 140139901579264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9887/tid=9991] ppid=9884 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9887/task/9991/stat : 9991 (java) S 9884 9887 7235 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6313818 10060525568 1035307 33554432000 1073741824 1073778376 140733207780848 140139655439656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9887 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 894.889
CPU time (s): 1800.6
CPU user time (s): 1797.23
CPU system time (s): 3.37149
CPU usage (%): 201.209
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.23
system time used= 3.37149
maximum resident set size= 4141368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47742
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22621
involuntary context switches= 23808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71113 second user time and 7.2159 second system time

The end

Begin job on node105 at 2016-06-30 09:43:23
IDJOB=4119889
IDBENCH=111817
IDSOLVER=2543
FILE ID=node105/4119889-1467272603
RUNJOBID= node105-1467268188-8375
PBS_JOBID= 20004488
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= ab5ea8306af8700174d1bacaebcc6943
RANDOM SEED=1999913027

node105.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.487
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.97
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.487
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27272832 kB
Buffers:          131408 kB
Cached:           436012 kB
SwapCached:            0 kB
Active:          4266676 kB
Inactive:         407224 kB
Active(anon):    4100540 kB
Inactive(anon):     8648 kB
Active(file):     166136 kB
Inactive(file):   398576 kB
Unevictable:      177436 kB
Mlocked:          171304 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               960 kB
Writeback:             0 kB
AnonPages:       4284236 kB
Mapped:            22156 kB
Shmem:               204 kB
Slab:             610240 kB
SReclaimable:      54136 kB
SUnreclaim:       556104 kB
KernelStack:        1632 kB
PageTables:        12520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4874204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3971072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node105 at 2016-06-30 09:58:18