0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.2.v20120418
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		501472288
0.06/0.09	c Max memory 		7480803328
0.06/0.09	c Total memory 		504102912
0.06/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687603-1337873699.opb
0.09/0.11	c reading problem ... 
3.47/2.77	c ... done. Wall clock time 2.656s.
3.47/2.77	c declared #vars     10000
3.47/2.77	c #constraints  656900
3.47/2.77	c constraints type 
3.47/2.77	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
3.47/2.77	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
3.47/2.77	c 656900 constraints processed.
3.47/2.77	c objective function length is 10000 literals
4.12/3.02	c SATISFIABLE
4.12/3.02	c OPTIMIZING...
4.12/3.03	c Got one! Elapsed wall clock time (in seconds):2.911
4.12/3.03	o 1314
4.36/3.17	c Got one! Elapsed wall clock time (in seconds):3.051
4.36/3.17	o 774
5.85/4.37	c cleaning 2604 clauses out of 5208 with flag 5001/5208
7.89/6.16	c cleaning 4302 clauses out of 8603 with flag 11000/11207
9.91/8.15	c cleaning 5650 clauses out of 11301 with flag 18000/18207
12.14/10.31	c cleaning 6826 clauses out of 13652 with flag 26001/26208
14.68/12.82	c cleaning 7905 clauses out of 15826 with flag 35001/35208
17.61/15.74	c cleaning 8957 clauses out of 17920 with flag 45000/45207
20.65/18.78	c cleaning 9982 clauses out of 19964 with flag 56001/56208
23.87/21.97	c cleaning 10991 clauses out of 21982 with flag 68001/68208
27.49/25.54	c cleaning 11994 clauses out of 23990 with flag 81000/81207
31.42/29.46	c cleaning 12998 clauses out of 25996 with flag 95000/95207
35.96/33.92	c cleaning 13990 clauses out of 27998 with flag 110000/110207
40.10/38.05	c cleaning 15004 clauses out of 30010 with flag 126002/126209
44.22/42.17	c cleaning 16001 clauses out of 32004 with flag 143000/143207
48.75/46.65	c cleaning 16999 clauses out of 34003 with flag 161000/161207
53.50/51.37	c cleaning 18002 clauses out of 36004 with flag 180000/180207
58.52/56.31	c cleaning 18995 clauses out of 38002 with flag 200000/200207
64.17/61.96	c cleaning 19999 clauses out of 40008 with flag 221001/221208
69.52/67.26	c cleaning 20995 clauses out of 42008 with flag 243000/243207
75.35/73.07	c cleaning 22005 clauses out of 44013 with flag 266000/266207
81.79/79.40	c cleaning 22984 clauses out of 46008 with flag 290000/290207
88.66/86.24	c cleaning 23999 clauses out of 48024 with flag 315000/315207
95.89/93.46	c cleaning 25008 clauses out of 50025 with flag 341000/341207
103.56/101.00	c cleaning 25990 clauses out of 52017 with flag 368000/368207
110.81/108.28	c cleaning 27007 clauses out of 54027 with flag 396000/396207
119.15/116.53	c cleaning 27997 clauses out of 56020 with flag 425000/425207
126.88/124.22	c cleaning 29001 clauses out of 58024 with flag 455001/455208
135.14/132.45	c cleaning 30001 clauses out of 60024 with flag 486002/486209
144.42/141.61	c cleaning 31008 clauses out of 62024 with flag 518003/518210
154.49/151.64	c cleaning 31997 clauses out of 64013 with flag 551000/551207
163.64/160.71	c cleaning 32984 clauses out of 66016 with flag 585000/585207
172.90/169.92	c cleaning 34015 clauses out of 68032 with flag 620000/620207
182.85/179.88	c cleaning 35005 clauses out of 70017 with flag 656000/656207
193.71/190.63	c cleaning 36003 clauses out of 72012 with flag 693000/693207
204.52/201.35	c cleaning 37006 clauses out of 74011 with flag 731002/731209
215.30/212.05	c cleaning 37998 clauses out of 76003 with flag 770000/770207
226.69/223.35	c cleaning 39001 clauses out of 78005 with flag 810000/810207
238.15/234.70	c cleaning 39990 clauses out of 80004 with flag 851000/851207
249.50/246.09	c cleaning 41004 clauses out of 82014 with flag 893000/893207
261.48/257.95	c cleaning 41995 clauses out of 84010 with flag 936000/936207
273.14/269.57	c cleaning 43006 clauses out of 86016 with flag 980001/980208
286.13/282.46	c cleaning 43991 clauses out of 88009 with flag 1025000/1025207
298.30/294.53	c cleaning 45003 clauses out of 90020 with flag 1071002/1071209
310.96/307.15	c cleaning 46004 clauses out of 92016 with flag 1118001/1118208
325.67/321.71	c cleaning 46987 clauses out of 94012 with flag 1166001/1166208
338.48/334.50	c cleaning 47996 clauses out of 96024 with flag 1215000/1215207
353.33/349.27	c cleaning 48990 clauses out of 98028 with flag 1265000/1265207
367.97/363.75	c cleaning 49982 clauses out of 100038 with flag 1316000/1316207
382.54/378.17	c cleaning 51021 clauses out of 102056 with flag 1368000/1368207
397.37/392.94	c cleaning 52011 clauses out of 104035 with flag 1421000/1421207
413.80/409.30	c cleaning 52992 clauses out of 106024 with flag 1475000/1475207
431.92/427.38	c cleaning 53998 clauses out of 108032 with flag 1530000/1530207
447.53/442.75	c cleaning 55011 clauses out of 110036 with flag 1586002/1586209
464.23/459.35	c cleaning 56006 clauses out of 112024 with flag 1643001/1643208
480.28/475.32	c cleaning 56985 clauses out of 114017 with flag 1701000/1701207
496.31/491.37	c cleaning 58011 clauses out of 116032 with flag 1760000/1760207
512.50/507.48	c cleaning 59008 clauses out of 118022 with flag 1820001/1820208
529.44/524.32	c cleaning 59993 clauses out of 120013 with flag 1881000/1881207
548.93/543.74	c cleaning 61000 clauses out of 122020 with flag 1943000/1943207
567.37/562.10	c cleaning 61993 clauses out of 124020 with flag 2006000/2006207
584.77/579.36	c cleaning 62989 clauses out of 126029 with flag 2070002/2070209
601.84/596.39	c cleaning 64005 clauses out of 128038 with flag 2135000/2135207
619.20/613.70	c cleaning 65011 clauses out of 130034 with flag 2201001/2201208
640.68/635.06	c cleaning 65998 clauses out of 132023 with flag 2268001/2268208
660.05/654.38	c cleaning 67005 clauses out of 134025 with flag 2336001/2336208
678.37/672.56	c cleaning 67984 clauses out of 136019 with flag 2405000/2405207
696.96/691.09	c cleaning 68999 clauses out of 138038 with flag 2475003/2475210
715.32/709.31	c cleaning 69998 clauses out of 140036 with flag 2546000/2546207
734.88/728.81	c cleaning 71002 clauses out of 142039 with flag 2618001/2618208
755.87/749.77	c cleaning 72005 clauses out of 144037 with flag 2691001/2691208
776.66/770.45	c cleaning 73000 clauses out of 146031 with flag 2765000/2765207
799.04/792.72	c cleaning 74000 clauses out of 148032 with flag 2840001/2840208
821.94/815.58	c cleaning 74988 clauses out of 150031 with flag 2916000/2916207
844.13/837.69	c cleaning 76013 clauses out of 152044 with flag 2993001/2993208
866.34/859.76	c cleaning 76993 clauses out of 154033 with flag 3071003/3071210
889.96/883.25	c cleaning 78012 clauses out of 156037 with flag 3150000/3150207
913.85/907.09	c cleaning 79002 clauses out of 158026 with flag 3230001/3230208
941.94/935.11	c cleaning 79998 clauses out of 160024 with flag 3311001/3311208
965.47/958.53	c cleaning 80991 clauses out of 162025 with flag 3393000/3393207
988.77/981.83	c cleaning 81998 clauses out of 164034 with flag 3476000/3476207
1013.67/1006.72	c cleaning 83004 clauses out of 166036 with flag 3560000/3560207
1039.16/1032.29	c cleaning 83982 clauses out of 168032 with flag 3645000/3645207
1063.15/1056.27	c cleaning 85011 clauses out of 170051 with flag 3731001/3731208
1088.85/1081.96	c cleaning 86004 clauses out of 172039 with flag 3818000/3818207
1115.54/1108.70	c cleaning 86998 clauses out of 174035 with flag 3906000/3906207
1142.55/1135.68	c cleaning 88006 clauses out of 176039 with flag 3995002/3995209
1166.84/1159.90	c cleaning 89010 clauses out of 178032 with flag 4085001/4085208
1194.53/1187.68	c cleaning 90001 clauses out of 180021 with flag 4176000/4176207
1219.73/1212.82	c cleaning 90995 clauses out of 182020 with flag 4268000/4268207
1248.94/1242.09	c cleaning 91982 clauses out of 184025 with flag 4361000/4361207
1279.04/1272.15	c cleaning 93002 clauses out of 186043 with flag 4455000/4455207
1306.34/1299.43	c cleaning 94010 clauses out of 188043 with flag 4550002/4550209
1332.64/1325.80	c cleaning 94987 clauses out of 190038 with flag 4646007/4646214
1363.85/1356.91	c cleaning 96013 clauses out of 192045 with flag 4743001/4743208
1395.55/1388.62	c cleaning 96993 clauses out of 194032 with flag 4841001/4841208
1425.85/1418.91	c cleaning 98001 clauses out of 196038 with flag 4940000/4940207
1454.75/1447.87	c cleaning 99005 clauses out of 198038 with flag 5040001/5040208
1483.84/1476.77	c cleaning 100009 clauses out of 200033 with flag 5141001/5141208
1517.03/1509.86	c cleaning 101003 clauses out of 202023 with flag 5243000/5243207
1549.68/1542.37	c cleaning 101991 clauses out of 204024 with flag 5346004/5346211
1581.14/1573.69	c cleaning 103007 clauses out of 206029 with flag 5450000/5450207
1619.28/1611.76	c cleaning 104008 clauses out of 208022 with flag 5555000/5555207
1655.68/1647.91	c cleaning 104989 clauses out of 210014 with flag 5661000/5661207
1686.18/1678.49	c cleaning 105990 clauses out of 212026 with flag 5768001/5768208
1722.58/1714.85	c cleaning 106999 clauses out of 214035 with flag 5876000/5876207
1755.77/1748.04	c cleaning 107996 clauses out of 216037 with flag 5985001/5985208
1788.61/1780.77	c cleaning 108997 clauses out of 218040 with flag 6095000/6095207
1800.01/1792.11	c starts		: 278
1800.01/1792.11	c conflicts		: 6129887
1800.01/1792.11	c decisions		: 19843142
1800.01/1792.11	c propagations		: 2071089542
1800.01/1792.11	c inspects		: 2197109921
1800.01/1792.11	c shortcuts		: 0
1800.01/1792.11	c learnt literals	: 0
1800.01/1792.11	c learnt binary clauses	: 0
1800.01/1792.11	c learnt ternary clauses	: 0
1800.01/1792.11	c learnt constraints	: 6129887
1800.01/1792.11	c ignored constraints	: 0
1800.01/1792.11	c root simplifications	: 0
1800.01/1792.11	c removed literals (reason simplification)	: 0
1800.01/1792.11	c reason swapping (by a shorter reason)	: 0
1800.01/1792.11	c Calls to reduceDB	: 106
1800.01/1792.11	c number of reductions to clauses (during analyze)	: 0
1800.01/1792.11	c number of learned constraints concerned by reduction	: 0
1800.01/1792.11	c number of learning phase by resolution	: 0
1800.01/1792.11	c number of learning phase by cutting planes	: 0
1800.01/1792.11	c speed (assignments/second)	: 1157486.2633432068
1800.01/1792.11	c non guided choices	0
1800.01/1792.14	c learnt constraints type 
1800.01/1792.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 143816
1800.01/1792.14	c constraints type 
1800.01/1792.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
1800.01/1792.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
1800.01/1792.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.01/1792.14	c 656901 constraints processed.
1800.01/1792.14	s SATISFIABLE
1800.01/1792.15	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 
1800.01/1792.16	c objective function=774
1800.01/1792.16	c Total wall clock time (in seconds): 1792.047

OK	774

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.02 1.71 3/194 21198
/proc/meminfo: memFree=29674984/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/21198/stat : 21198 (java) D 21196 21198 20833 0 -1 4202496 79 0 0 0 0 0 0 0 20 0 1 0 253498465 278528 33 33554432000 1073741824 1073778376 140737142654640 140737142651816 249640873255 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 68 33 25 9 0 25 0

[startup+0.0863031 s]
/proc/loadavg: 2.08 2.02 1.71 3/194 21198
/proc/meminfo: memFree=29674984/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 3369 0 1 0 5 1 0 0 20 0 18 0 253498465 9787813888 4579 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2389603 4580 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100334 s]
/proc/loadavg: 2.08 2.02 1.71 3/194 21198
/proc/meminfo: memFree=29674984/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 4261 0 1 0 8 1 0 0 20 0 18 0 253498465 9787813888 5460 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2389603 5460 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300301 s]
/proc/loadavg: 2.08 2.02 1.71 3/194 21198
/proc/meminfo: memFree=29674984/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 5483 0 1 0 46 2 0 0 20 0 18 0 253498465 9787813888 9185 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2389603 9185 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700326 s]
/proc/loadavg: 2.08 2.02 1.71 3/194 21198
/proc/meminfo: memFree=29674984/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9558412 CPUtime=1.17 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 8949 0 1 0 112 5 0 0 20 0 18 0 253498465 9787813888 41372 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2389603 41372 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9558412

[startup+1.50069 s]
/proc/loadavg: 2.08 2.02 1.71 3/212 21216
/proc/meminfo: memFree=29505568/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9558412 CPUtime=2.09 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 9058 0 1 0 197 12 0 0 20 0 18 0 253498465 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2389603 78238 2245 9 0 2380296 0
[pid=21198/tid=21200] ppid=21196 vsize=9558412 CPUtime=1.4 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21198 20833 0 -1 4202560 2563 0 1 0 135 5 0 0 20 0 18 0 253498466 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158987513336 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) R 21196 21198 20833 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 253498467 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158949005784 140158989985473 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) R 21196 21198 20833 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 253498467 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158947952808 140158991689903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) R 21196 21198 20833 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 253498467 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158946900400 140158994412792 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) R 21196 21198 20833 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 18 0 253498467 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158945847560 140158991689903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) R 21196 21198 20833 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253498467 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158944795608 140158989985473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) R 21196 21198 20833 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253498467 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158825392984 140158989985473 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) R 21196 21198 20833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253498467 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158824340544 249653420469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) R 21196 21198 20833 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 253498467 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158823287720 140158991676229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 20833 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253498469 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158811088008 249653408828 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253498469 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158810035192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253498469 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158204634376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253498471 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158203582864 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9558412 CPUtime=0.23 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 20833 0 -1 4202560 2510 0 0 0 23 0 0 0 20 0 18 0 253498471 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158202530488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9558412 CPUtime=0.2 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 20833 0 -1 4202560 2656 0 0 0 20 0 0 0 20 0 18 0 253498471 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158201477688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253498471 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158200425592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253498471 9787813888 78238 33554432000 1073741824 1073778376 140734474193216 140158199373000 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9558412

[startup+3.1008 s]
/proc/loadavg: 2.08 2.02 1.71 3/212 21216
/proc/meminfo: memFree=29335524/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9624976 CPUtime=4.36 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 12373 0 1 0 418 18 0 0 20 0 19 0 253498465 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2406244 99054 2266 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624976 CPUtime=2.93 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 20833 0 -1 4202560 2601 0 1 0 286 7 0 0 20 0 19 0 253498466 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158987514536 140158826215908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 20833 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 253498467 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158949005608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 20833 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 253498467 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158947952808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 20833 0 -1 4202560 17 0 0 0 3 1 0 0 20 0 19 0 253498467 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158946900520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 20833 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 19 0 253498467 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158945847720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 20833 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 253498467 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158944795432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 20833 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 253498467 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158825392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 20833 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 253498467 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158824340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 20833 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 19 0 253498467 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158823287720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 20833 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158811089128 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158810035192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158204634376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158203582864 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) R 21196 21198 20833 0 -1 4202560 3641 0 0 0 49 0 0 0 20 0 19 0 253498471 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158202530488 140158991631722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) R 21196 21198 20833 0 -1 4202560 4543 0 0 0 42 1 0 0 20 0 19 0 253498471 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158201477688 140158991628683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158200425592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 99054 33554432000 1073741824 1073778376 140734474193216 140158199373000 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 9624976

[startup+6.30089 s]
/proc/loadavg: 2.15 2.04 1.72 3/213 21217
/proc/meminfo: memFree=29213444/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9624976 CPUtime=8.1 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 14827 0 1 0 786 24 0 0 20 0 19 0 253498465 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2406244 116898 2282 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624976 CPUtime=5.71 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21198 20833 0 -1 4202560 2610 0 1 0 564 7 0 0 20 0 19 0 253498466 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158987514264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 20833 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 19 0 253498467 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158949005608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 20833 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 253498467 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158947952808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 20833 0 -1 4202560 29 0 0 0 4 2 0 0 20 0 19 0 253498467 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158946900520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 20833 0 -1 4202560 70 0 0 0 8 3 0 0 20 0 19 0 253498467 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158945847720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 20833 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 253498467 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158944795432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 20833 0 -1 4202560 60 0 0 0 8 3 0 0 20 0 19 0 253498467 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158825392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 20833 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 19 0 253498467 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158824340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 20833 0 -1 4202560 57 0 0 0 8 3 0 0 20 0 19 0 253498467 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158823287720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) R 21196 21198 20833 0 -1 4202560 227 0 0 0 33 0 0 0 20 0 19 0 253498469 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158811088104 140158994022472 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158810035192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158204634376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158203582864 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 20833 0 -1 4202560 4930 0 0 0 64 0 0 0 20 0 19 0 253498471 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158202530488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 20833 0 -1 4202560 5536 0 0 0 61 1 0 0 20 0 19 0 253498471 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158201477688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158200425592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158199373000 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498746 9855975424 116898 33554432000 1073741824 1073778376 140734474193216 140158198317992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]
/proc/loadavg: 2.14 2.04 1.72 2/193 21220
/proc/meminfo: memFree=29454584/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9624976 CPUtime=14.58 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 15047 0 1 0 1433 25 0 0 20 0 19 0 253498465 9855975424 120602 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0

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

[pid=21198/tid=21213] ppid=21196 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 20833 0 -1 4202560 4931 0 0 0 65 0 0 0 20 0 19 0 253498471 9855975424 240320 33554432000 1073741824 1073778376 140734474193216 140158202530488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 20833 0 -1 4202560 5751 0 0 0 68 1 0 0 20 0 19 0 253498471 9855975424 240320 33554432000 1073741824 1073778376 140734474193216 140158201477688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 240320 33554432000 1073741824 1073778376 140734474193216 140158200425592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 20833 0 -1 4202560 99 0 0 0 20 21 0 0 20 0 19 0 253498471 9855975424 240320 33554432000 1073741824 1073778376 140734474193216 140158199373000 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498746 9855975424 240320 33554432000 1073741824 1073778376 140734474193216 140158198317992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1730.07
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.06 2.00 1.91 3/213 21313
/proc/meminfo: memFree=28206248/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9624976 CPUtime=1790.21 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 46403 0 1 0 178922 99 0 0 20 0 19 0 253498465 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2406244 240453 2283 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624976 CPUtime=1749.21 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 20833 0 -1 4202560 2748 0 1 0 174885 36 0 0 20 0 19 0 253498466 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158987514144 140158826387917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 20833 0 -1 4202560 3566 0 0 0 109 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158949005608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 20833 0 -1 4202560 4458 0 0 0 105 8 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158947952808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 20833 0 -1 4202560 2964 0 0 0 94 9 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158946900520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624976 CPUtime=1.2 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 20833 0 -1 4202560 4699 0 0 0 110 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158945847720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 20833 0 -1 4202560 2608 0 0 0 103 7 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158944795432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 20833 0 -1 4202560 4873 0 0 0 112 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158825392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 20833 0 -1 4202560 3858 0 0 0 98 8 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158824340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 20833 0 -1 4202560 4315 0 0 0 103 7 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158823287720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624976 CPUtime=25.79 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 20833 0 -1 4202560 345 0 0 0 2576 3 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158811089128 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158810035192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158204634376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158203582864 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 20833 0 -1 4202560 4931 0 0 0 65 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158202530488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 20833 0 -1 4202560 5751 0 0 0 68 1 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158201477688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158200425592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 20833 0 -1 4202560 103 0 0 0 20 22 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158199373000 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498746 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158198317992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1790.21
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.1 s]
/proc/loadavg: 2.05 2.00 1.91 3/213 21313
/proc/meminfo: memFree=28206496/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 46403 0 1 0 179902 99 0 0 20 0 19 0 253498465 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2406244 240453 2283 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624976 CPUtime=1758.99 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 20833 0 -1 4202560 2748 0 1 0 175863 36 0 0 20 0 19 0 253498466 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158987514144 140158826135544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 20833 0 -1 4202560 3566 0 0 0 109 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158949005608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 20833 0 -1 4202560 4458 0 0 0 105 8 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158947952808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 20833 0 -1 4202560 2964 0 0 0 94 9 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158946900520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624976 CPUtime=1.2 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 20833 0 -1 4202560 4699 0 0 0 110 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158945847720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 20833 0 -1 4202560 2608 0 0 0 103 7 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158944795432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 20833 0 -1 4202560 4873 0 0 0 112 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158825392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 20833 0 -1 4202560 3858 0 0 0 98 8 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158824340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 20833 0 -1 4202560 4315 0 0 0 103 7 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158823287720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624976 CPUtime=25.79 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 20833 0 -1 4202560 345 0 0 0 2576 3 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158811089128 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158810035192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158204634376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158203582864 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 20833 0 -1 4202560 4931 0 0 0 65 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158202530488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 20833 0 -1 4202560 5751 0 0 0 68 1 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158201477688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158200425592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 20833 0 -1 4202560 103 0 0 0 21 22 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158199373000 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498746 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158198317992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1792.1 s]
/proc/loadavg: 2.05 2.00 1.91 3/213 21313
/proc/meminfo: memFree=28206496/32873844 swapFree=7100/7100
[pid=21198] ppid=21196 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 20833 0 -1 4202496 46403 0 1 0 179902 99 0 0 20 0 19 0 253498465 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140734474184352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21198/statm: 2406244 240453 2283 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624976 CPUtime=1758.99 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 20833 0 -1 4202560 2748 0 1 0 175863 36 0 0 20 0 19 0 253498466 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158987514144 140158826135544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 20833 0 -1 4202560 3566 0 0 0 109 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158949005608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 20833 0 -1 4202560 4458 0 0 0 105 8 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158947952808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 20833 0 -1 4202560 2964 0 0 0 94 9 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158946900520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624976 CPUtime=1.2 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 20833 0 -1 4202560 4699 0 0 0 110 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158945847720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 20833 0 -1 4202560 2608 0 0 0 103 7 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158944795432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 20833 0 -1 4202560 4873 0 0 0 112 10 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158825392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 20833 0 -1 4202560 3858 0 0 0 98 8 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158824340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 20833 0 -1 4202560 4315 0 0 0 103 7 0 0 20 0 19 0 253498467 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158823287720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624976 CPUtime=25.79 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 20833 0 -1 4202560 345 0 0 0 2576 3 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158811089128 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158810035192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498469 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158204634376 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158203582864 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 20833 0 -1 4202560 4931 0 0 0 65 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158202530488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 20833 0 -1 4202560 5751 0 0 0 68 1 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158201477688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158200425592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 20833 0 -1 4202560 103 0 0 0 21 22 0 0 20 0 19 0 253498471 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158199373000 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498746 9855975424 240453 33554432000 1073741824 1073778376 140734474193216 140158198317992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21198 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=500194
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=474775
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.18
CPU time (s): 1800.01
CPU user time (s): 1799.02
CPU system time (s): 0.99
CPU usage (%): 100.437
Max. virtual memory (cumulated for all children) (KiB): 9625292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 1.47477
maximum resident set size= 961936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46436
page faults= 1
swaps= 0
block input operations= 72
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41562
involuntary context switches= 23234

runsolver used 6.19206 second user time and 15.6316 second system time

The end

Begin job on node102 at 2012-05-24 17:34:59
IDJOB=3687603
IDBENCH=1967
IDSOLVER=2269
FILE ID=node102/3687603-1337873699
RUNJOBID= node102-1337871881-20850
PBS_JOBID= 14620102
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687603-1337873699/watcher-3687603-1337873699 -o /tmp/evaluation-result-3687603-1337873699/solver-3687603-1337873699 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687603-1337873699.opb

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

MD5SUM BENCH= 8eed52e8cea562b1b1ee5bae07565266
RANDOM SEED=2118794574

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29675364 kB
Buffers:          195012 kB
Cached:          1964652 kB
SwapCached:            0 kB
Active:           920456 kB
Inactive:        1507292 kB
Active(anon):     270608 kB
Inactive(anon):        0 kB
Active(file):     649848 kB
Inactive(file):  1507292 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17132 kB
Writeback:             0 kB
AnonPages:        282720 kB
Mapped:            22468 kB
Shmem:               200 kB
Slab:             623088 kB
SReclaimable:      65732 kB
SUnreclaim:       557356 kB
KernelStack:        1600 kB
PageTables:         4728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node102 at 2012-05-24 18:04:53