0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3690149-1337896437.opb
0.10/0.10	c reading problem ... 
1.08/0.52	c ... done. Wall clock time 0.419s.
1.08/0.52	c declared #vars     9940
1.08/0.52	c #constraints  24510
1.08/0.52	c constraints type 
1.08/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1.08/0.52	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.08/0.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.08/0.52	c ignored satisfied constraints => 2
1.08/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1.08/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
1.08/0.52	c 24512 constraints processed.
1.08/0.52	c objective function length is 9730 literals
1.84/0.94	c SATISFIABLE
1.84/0.94	c OPTIMIZING...
1.84/0.94	c Got one! Elapsed wall clock time (in seconds):0.843
1.84/0.94	o 4918901
3.98/2.96	c cleaning 2680 clauses out of 5360 with flag 5001/5360
6.08/4.96	c cleaning 4340 clauses out of 8680 with flag 11001/11360
8.19/7.06	c cleaning 5668 clauses out of 11340 with flag 18001/18360
10.70/9.54	c cleaning 6836 clauses out of 13671 with flag 26000/26359
13.66/12.46	c cleaning 7915 clauses out of 15836 with flag 35001/35360
16.59/15.37	c cleaning 8957 clauses out of 17921 with flag 45001/45360
20.10/18.85	c cleaning 9982 clauses out of 19964 with flag 56001/56360
23.62/22.39	c cleaning 10990 clauses out of 21981 with flag 68000/68359
28.04/26.75	c cleaning 11993 clauses out of 23992 with flag 81001/81360
32.47/31.14	c cleaning 12992 clauses out of 25998 with flag 95000/95359
37.29/35.98	c cleaning 14004 clauses out of 28007 with flag 110001/110360
42.33/40.94	c cleaning 14996 clauses out of 30002 with flag 126000/126359
47.95/46.54	c cleaning 15999 clauses out of 32006 with flag 143000/143359
53.46/52.00	c cleaning 17002 clauses out of 34007 with flag 161000/161359
59.27/57.84	c cleaning 17995 clauses out of 36005 with flag 180000/180359
65.29/63.82	c cleaning 18999 clauses out of 38011 with flag 200001/200360
71.11/69.68	c cleaning 19999 clauses out of 40011 with flag 221000/221359
77.45/75.98	c cleaning 20997 clauses out of 42012 with flag 243000/243359
84.17/82.67	c cleaning 22003 clauses out of 44016 with flag 266001/266360
91.50/89.92	c cleaning 23001 clauses out of 46012 with flag 290000/290359
99.11/97.54	c cleaning 24005 clauses out of 48013 with flag 315002/315361
106.83/105.28	c cleaning 24994 clauses out of 50006 with flag 341000/341359
114.67/113.06	c cleaning 26004 clauses out of 52012 with flag 368000/368359
123.60/121.92	c cleaning 26999 clauses out of 54009 with flag 396001/396360
132.74/131.02	c cleaning 28002 clauses out of 56009 with flag 425000/425359
141.50/139.77	c cleaning 28999 clauses out of 58009 with flag 455002/455361
150.73/148.92	c cleaning 30000 clauses out of 60008 with flag 486000/486359
160.16/158.34	c cleaning 31002 clauses out of 62008 with flag 518000/518359
170.59/168.73	c cleaning 31995 clauses out of 64009 with flag 551003/551362
180.51/178.69	c cleaning 32990 clauses out of 66011 with flag 585000/585359
192.25/190.32	c cleaning 34009 clauses out of 68021 with flag 620000/620359
202.98/201.01	c cleaning 34999 clauses out of 70013 with flag 656001/656360
213.41/211.41	c cleaning 36003 clauses out of 72013 with flag 693000/693359
224.54/222.53	c cleaning 36998 clauses out of 74010 with flag 731000/731359
236.15/234.11	c cleaning 38002 clauses out of 76012 with flag 770000/770359
247.50/245.45	c cleaning 39002 clauses out of 78011 with flag 810001/810360
259.83/257.70	c cleaning 39997 clauses out of 80009 with flag 851001/851360
272.64/270.53	c cleaning 41002 clauses out of 82012 with flag 893001/893360
285.86/283.76	c cleaning 42000 clauses out of 84009 with flag 936000/936359
299.24/297.03	c cleaning 43004 clauses out of 86010 with flag 980001/980360
312.47/310.20	c cleaning 43997 clauses out of 88006 with flag 1025001/1025360
325.90/323.65	c cleaning 45001 clauses out of 90009 with flag 1071001/1071360
340.23/337.92	c cleaning 45998 clauses out of 92007 with flag 1118000/1118359
354.67/352.37	c cleaning 47000 clauses out of 94010 with flag 1166001/1166360
369.11/366.74	c cleaning 47994 clauses out of 96010 with flag 1215001/1215360
383.82/381.45	c cleaning 48995 clauses out of 98016 with flag 1265001/1265360
399.06/396.64	c cleaning 49999 clauses out of 100021 with flag 1316001/1316360
414.94/412.49	c cleaning 51004 clauses out of 102022 with flag 1368001/1368360
430.49/427.95	c cleaning 51999 clauses out of 104017 with flag 1421000/1421359
447.22/444.67	c cleaning 52996 clauses out of 106019 with flag 1475001/1475360
464.68/462.05	c cleaning 54006 clauses out of 108022 with flag 1530000/1530359
480.82/478.10	c cleaning 55001 clauses out of 110016 with flag 1586000/1586359
497.75/495.07	c cleaning 56002 clauses out of 112015 with flag 1643000/1643359
515.17/512.43	c cleaning 57002 clauses out of 114013 with flag 1701000/1701359
532.51/529.76	c cleaning 57997 clauses out of 116012 with flag 1760001/1760360
550.04/547.24	c cleaning 59000 clauses out of 118015 with flag 1820001/1820360
567.85/565.04	c cleaning 59998 clauses out of 120014 with flag 1881000/1881359
586.99/584.12	c cleaning 61003 clauses out of 122017 with flag 1943001/1943360
606.05/603.13	c cleaning 62001 clauses out of 124014 with flag 2006001/2006360
625.28/622.35	c cleaning 62997 clauses out of 126012 with flag 2070000/2070359
644.52/641.53	c cleaning 64004 clauses out of 128016 with flag 2135001/2135360
662.85/659.90	c cleaning 64998 clauses out of 130011 with flag 2201000/2201359
683.28/680.23	c cleaning 66000 clauses out of 132013 with flag 2268000/2268359
704.72/701.56	c cleaning 66996 clauses out of 134014 with flag 2336001/2336360
727.27/724.03	c cleaning 68001 clauses out of 136017 with flag 2405000/2405359
748.79/745.59	c cleaning 69007 clauses out of 138017 with flag 2475001/2475360
769.12/765.84	c cleaning 69998 clauses out of 140009 with flag 2546000/2546359
790.58/787.27	c cleaning 70997 clauses out of 142012 with flag 2618001/2618360
812.13/808.70	c cleaning 71996 clauses out of 144014 with flag 2691000/2691359
833.65/830.21	c cleaning 72999 clauses out of 146018 with flag 2765000/2765359
856.18/852.79	c cleaning 74003 clauses out of 148019 with flag 2840000/2840359
878.30/874.84	c cleaning 75001 clauses out of 150017 with flag 2916001/2916360
901.83/898.37	c cleaning 76000 clauses out of 152015 with flag 2993000/2993359
925.69/922.13	c cleaning 77001 clauses out of 154016 with flag 3071001/3071360
950.01/946.47	c cleaning 77998 clauses out of 156014 with flag 3150000/3150359
974.23/970.69	c cleaning 79001 clauses out of 158016 with flag 3230000/3230359
998.24/994.63	c cleaning 80000 clauses out of 160015 with flag 3311000/3311359
1023.47/1019.85	c cleaning 80997 clauses out of 162016 with flag 3393001/3393360
1049.92/1046.22	c cleaning 81993 clauses out of 164018 with flag 3476000/3476359
1074.85/1071.16	c cleaning 82999 clauses out of 166026 with flag 3560001/3560360
1099.97/1096.23	c cleaning 83994 clauses out of 168026 with flag 3645000/3645359
1125.40/1121.61	c cleaning 85012 clauses out of 170033 with flag 3731001/3731360
1151.53/1147.78	c cleaning 86002 clauses out of 172020 with flag 3818000/3818359
1178.97/1175.15	c cleaning 87005 clauses out of 174019 with flag 3906001/3906360
1205.73/1201.81	c cleaning 87999 clauses out of 176013 with flag 3995000/3995359
1233.65/1229.79	c cleaning 89004 clauses out of 178015 with flag 4085001/4085360
1262.61/1258.67	c cleaning 90000 clauses out of 180011 with flag 4176001/4176360
1291.72/1287.70	c cleaning 91001 clauses out of 182010 with flag 4268000/4268359
1321.46/1317.43	c cleaning 92001 clauses out of 184011 with flag 4361002/4361361
1351.43/1347.34	c cleaning 92995 clauses out of 186008 with flag 4455000/4455359
1380.66/1376.56	c cleaning 94006 clauses out of 188014 with flag 4550001/4550360
1408.89/1404.75	c cleaning 94995 clauses out of 190007 with flag 4646000/4646359
1439.42/1435.22	c cleaning 96005 clauses out of 192013 with flag 4743001/4743360
1471.35/1467.16	c cleaning 97000 clauses out of 194008 with flag 4841001/4841360
1500.48/1496.11	c cleaning 97998 clauses out of 196007 with flag 4940000/4940359
1532.21/1527.84	c cleaning 98993 clauses out of 198009 with flag 5040000/5040359
1560.14/1555.65	c cleaning 99997 clauses out of 200018 with flag 5141002/5141361
1588.29/1583.74	c cleaning 100999 clauses out of 202019 with flag 5243000/5243359
1617.24/1612.65	c cleaning 101999 clauses out of 204021 with flag 5346001/5346360
1645.50/1640.83	c cleaning 102999 clauses out of 206022 with flag 5450001/5450360
1675.54/1670.85	c cleaning 103998 clauses out of 208023 with flag 5555001/5555360
1711.16/1706.45	c cleaning 105000 clauses out of 210025 with flag 5661001/5661360
1746.76/1741.91	c cleaning 106000 clauses out of 212024 with flag 5768000/5768359
1782.42/1777.52	c cleaning 107002 clauses out of 214024 with flag 5876000/5876359
1800.04/1795.12	c starts		: 276
1800.04/1795.12	c conflicts		: 5934051
1800.04/1795.12	c decisions		: 6255262
1800.04/1795.12	c propagations		: 144385911
1800.04/1795.12	c inspects		: 2062103074
1800.04/1795.12	c shortcuts		: 0
1800.04/1795.12	c learnt literals	: 0
1800.04/1795.12	c learnt binary clauses	: 0
1800.04/1795.12	c learnt ternary clauses	: 237
1800.04/1795.12	c learnt constraints	: 5934051
1800.04/1795.12	c ignored constraints	: 0
1800.04/1795.12	c root simplifications	: 0
1800.04/1795.12	c removed literals (reason simplification)	: 0
1800.04/1795.12	c reason swapping (by a shorter reason)	: 0
1800.04/1795.12	c Calls to reduceDB	: 104
1800.04/1795.12	c number of reductions to clauses (during analyze)	: 0
1800.04/1795.12	c number of learned constraints concerned by reduction	: 0
1800.04/1795.12	c number of learning phase by resolution	: 0
1800.04/1795.12	c number of learning phase by cutting planes	: 0
1800.04/1795.12	c speed (assignments/second)	: 80457.69345860845
1800.04/1795.12	c non guided choices	58
1800.04/1795.14	c learnt constraints type 
1800.04/1795.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 164796
1800.04/1795.14	c constraints type 
1800.04/1795.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1800.04/1795.14	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.04/1795.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.04/1795.14	c ignored satisfied constraints => 2
1800.04/1795.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1800.04/1795.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626
1800.04/1795.14	c 24513 constraints processed.
1800.04/1795.14	s SATISFIABLE
1800.04/1795.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 
1800.04/1795.16	c objective function=4918901
1800.04/1795.16	c Total wall clock time (in seconds): 1795.064

OK	4918901

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-3690149-1337896437/watcher-3690149-1337896437 -o /tmp/evaluation-result-3690149-1337896437/solver-3690149-1337896437 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690149-1337896437.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: 0.95 1.56 1.83 2/177 29560
/proc/meminfo: memFree=28587208/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 1205 0 0 0 0 0 0 0 20 0 2 0 255769671 94019584 917 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 23225 920 698 9 0 16769 0
[pid=29560/tid=29562] ppid=29558 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) D 29558 29560 29516 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 255769672 95129600 927 33554432000 1073741824 1073778376 140737133340576 140297853103656 226075176231 0 0 4096 0 18446744072100609316 0 0 -1 5 0 0 0 0 0

[startup+0.0329599 s]
/proc/loadavg: 0.95 1.56 1.83 2/177 29560
/proc/meminfo: memFree=28587208/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 3057 0 1 0 1 0 0 0 20 0 13 0 255769671 9446973440 3244 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2306390 3244 1691 9 0 2297091 0
[pid=29560/tid=29562] ppid=29558 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 1877 0 1 0 1 0 0 0 20 0 13 0 255769672 9446973440 3244 33554432000 1073741824 1073778376 140737133340576 140297853104368 140297857007431 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.10022 s]
/proc/loadavg: 0.95 1.56 1.83 2/177 29560
/proc/meminfo: memFree=28587208/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 4448 0 1 0 9 1 0 0 20 0 18 0 255769671 9787813888 6123 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2389603 6123 2123 9 0 2380296 0
[pid=29560/tid=29562] ppid=29558 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2487 0 1 0 6 1 0 0 20 0 18 0 255769672 9787813888 6123 33554432000 1073741824 1073778376 140737133340576 140297853106968 226087724301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300189 s]
/proc/loadavg: 0.95 1.56 1.83 2/177 29560
/proc/meminfo: memFree=28587208/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9558412 CPUtime=0.55 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 10162 0 1 0 53 2 0 0 20 0 18 0 255769671 9787813888 14614 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2389603 14616 2218 9 0 2380296 0
[pid=29560/tid=29562] ppid=29558 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2506 0 1 0 26 1 0 0 20 0 18 0 255769672 9787813888 14617 33554432000 1073741824 1073778376 140737133340576 140297853108184 140297793239992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412

[startup+0.700197 s]
/proc/loadavg: 0.95 1.56 1.83 2/177 29560
/proc/meminfo: memFree=28587208/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 10931 0 1 0 154 3 0 0 20 0 19 0 255769671 9855975424 24697 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2406244 24697 2251 9 0 2396937 0
[pid=29560/tid=29562] ppid=29558 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2537 0 1 0 65 2 0 0 20 0 19 0 255769672 9855975424 24697 33554432000 1073741824 1073778376 140737133340576 140297853109008 140297793583850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 0.95 1.56 1.83 4/214 29597
/proc/meminfo: memFree=28341296/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9624976 CPUtime=2.57 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 10940 0 1 0 253 4 0 0 20 0 19 0 255769671 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2406244 26238 2255 9 0 2396937 0
[pid=29560/tid=29562] ppid=29558 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2541 0 1 0 145 2 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297853107448 140297793733570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29564] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29564/stat : 29564 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297696394280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29565] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29565/stat : 29565 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297695341480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29566] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29566/stat : 29566 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297694288680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29567] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29567/stat : 29567 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297693235880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29568] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29568/stat : 29568 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297692183080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29569] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29569/stat : 29569 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297691130280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29571] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29571/stat : 29571 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297690077480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29572] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29572/stat : 29572 (java) S 29558 29560 29516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297689024680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29580] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29580/stat : 29580 (java) S 29558 29560 29516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255769673 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297676827624 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29582] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29582/stat : 29582 (java) S 29558 29560 29516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297675773688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29583] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29583/stat : 29583 (java) S 29558 29560 29516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297674720776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29587] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29587/stat : 29587 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297673669264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29589] ppid=29558 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/29560/task/29589/stat : 29589 (java) S 29558 29560 29516 0 -1 4202560 2806 0 0 0 59 0 0 0 20 0 19 0 255769676 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297672616376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29591] ppid=29558 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/29560/task/29591/stat : 29591 (java) S 29558 29560 29516 0 -1 4202560 4395 0 0 0 46 0 0 0 20 0 19 0 255769676 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297671563576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29593] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29593/stat : 29593 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297670510968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29595] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29595/stat : 29595 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297669458376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29596] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29596/stat : 29596 (java) S 29558 29560 29516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255769728 9855975424 26238 33554432000 1073741824 1073778376 140737133340576 140297668404904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9624976

[startup+3.10062 s]
/proc/loadavg: 0.95 1.56 1.83 3/214 29597
/proc/meminfo: memFree=28313804/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9624976 CPUtime=4.23 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 11023 0 1 0 418 5 0 0 20 0 19 0 255769671 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2406244 33963 2281 9 0 2396937 0
[pid=29560/tid=29562] ppid=29558 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2549 0 1 0 301 2 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297853108616 140297793132772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29564] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29564/stat : 29564 (java) S 29558 29560 29516 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297696394280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29565] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29565/stat : 29565 (java) S 29558 29560 29516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297695341480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29566] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29566/stat : 29566 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297694288680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29567] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29567/stat : 29567 (java) S 29558 29560 29516 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297693235880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29568] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29568/stat : 29568 (java) S 29558 29560 29516 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297692183080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29569] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29569/stat : 29569 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297691130280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29571] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29571/stat : 29571 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297690077480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29572] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29572/stat : 29572 (java) S 29558 29560 29516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297689024680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29580] ppid=29558 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29560/task/29580/stat : 29580 (java) S 29558 29560 29516 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255769673 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297676827624 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29582] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29582/stat : 29582 (java) S 29558 29560 29516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297675773688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29583] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29583/stat : 29583 (java) S 29558 29560 29516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297674720776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29587] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29587/stat : 29587 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297673669264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29589] ppid=29558 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/29560/task/29589/stat : 29589 (java) S 29558 29560 29516 0 -1 4202560 2808 0 0 0 60 0 0 0 20 0 19 0 255769676 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297672616376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29591] ppid=29558 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/29560/task/29591/stat : 29591 (java) S 29558 29560 29516 0 -1 4202560 4399 0 0 0 49 0 0 0 20 0 19 0 255769676 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297671563576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29593] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29593/stat : 29593 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297670510968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29595] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29595/stat : 29595 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297669458376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29596] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29596/stat : 29596 (java) S 29558 29560 29516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255769728 9855975424 33963 33554432000 1073741824 1073778376 140737133340576 140297668404904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 0.95 1.55 1.82 3/213 29597
/proc/meminfo: memFree=28223708/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9624976 CPUtime=7.49 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 11048 0 1 0 744 5 0 0 20 0 19 0 255769671 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2406244 37423 2281 9 0 2396937 0
[pid=29560/tid=29562] ppid=29558 vsize=9624976 CPUtime=6.2 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2551 0 1 0 618 2 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297853108728 140297793733655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29564] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29564/stat : 29564 (java) S 29558 29560 29516 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297696394280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29565] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29565/stat : 29565 (java) S 29558 29560 29516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297695341480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29566] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29566/stat : 29566 (java) S 29558 29560 29516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297694288680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29567] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29567/stat : 29567 (java) S 29558 29560 29516 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297693235880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29568] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29568/stat : 29568 (java) S 29558 29560 29516 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297692183080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29569] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29569/stat : 29569 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297691130280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29571] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29571/stat : 29571 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297690077480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29572] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29572/stat : 29572 (java) S 29558 29560 29516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255769672 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297689024680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29580] ppid=29558 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/29560/task/29580/stat : 29580 (java) S 29558 29560 29516 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 19 0 255769673 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297676827624 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29582] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29582/stat : 29582 (java) S 29558 29560 29516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297675773688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29583] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29583/stat : 29583 (java) S 29558 29560 29516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297674720776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29587] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29587/stat : 29587 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297673669264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29589] ppid=29558 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/29560/task/29589/stat : 29589 (java) S 29558 29560 29516 0 -1 4202560 2808 0 0 0 62 0 0 0 20 0 19 0 255769676 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297672616376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29591] ppid=29558 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/29560/task/29591/stat : 29591 (java) S 29558 29560 29516 0 -1 4202560 4399 0 0 0 51 0 0 0 20 0 19 0 255769676 9855975424 37423 33554432000 1073741824 1073778376 140737133340576 140297671563576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

[pid=29560/tid=29569] ppid=29558 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/29560/task/29569/stat : 29569 (java) S 29558 29560 29516 0 -1 4202560 187 0 0 0 62 5 0 0 20 0 19 0 255769672 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297691130280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29571] ppid=29558 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/29560/task/29571/stat : 29571 (java) S 29558 29560 29516 0 -1 4202560 135 0 0 0 58 3 0 0 20 0 19 0 255769672 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297690077480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29572] ppid=29558 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/29560/task/29572/stat : 29572 (java) S 29558 29560 29516 0 -1 4202560 319 0 0 0 63 5 0 0 20 0 19 0 255769672 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297689024680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29580] ppid=29558 vsize=9624976 CPUtime=5.53 cores=1,3,5,7
/proc/29560/task/29580/stat : 29580 (java) S 29558 29560 29516 0 -1 4202560 171 0 0 0 551 2 0 0 20 0 19 0 255769673 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297676827624 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29582] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29582/stat : 29582 (java) S 29558 29560 29516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297675773688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29583] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29583/stat : 29583 (java) S 29558 29560 29516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297674720776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29587] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29587/stat : 29587 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297673669264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29589] ppid=29558 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29560/task/29589/stat : 29589 (java) S 29558 29560 29516 0 -1 4202560 2808 0 0 0 63 0 0 0 20 0 19 0 255769676 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297672616376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29591] ppid=29558 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29560/task/29591/stat : 29591 (java) S 29558 29560 29516 0 -1 4202560 4482 0 0 0 58 0 0 0 20 0 19 0 255769676 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297671563576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29593] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29593/stat : 29593 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297670510968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29595] ppid=29558 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/29560/task/29595/stat : 29595 (java) S 29558 29560 29516 0 -1 4202560 99 0 0 0 10 11 0 0 20 0 19 0 255769676 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297669458376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29596] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29596/stat : 29596 (java) S 29558 29560 29516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255769728 9855975424 121004 33554432000 1073741824 1073778376 140737133340576 140297668404904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.16
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 1.96 3/213 29635
/proc/meminfo: memFree=27695724/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9624976 CPUtime=1787.23 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 13446 0 1 0 178672 51 0 0 20 0 19 0 255769671 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2406244 121028 2282 9 0 2396937 0
[pid=29560/tid=29562] ppid=29558 vsize=9624976 CPUtime=1775.16 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2674 0 1 0 177487 29 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297853108496 140297793517311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29564] ppid=29558 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29560/task/29564/stat : 29564 (java) S 29558 29560 29516 0 -1 4202560 245 0 0 0 59 4 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297696394280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29565] ppid=29558 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29560/task/29565/stat : 29565 (java) S 29558 29560 29516 0 -1 4202560 391 0 0 0 53 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297695341480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29566] ppid=29558 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/29560/task/29566/stat : 29566 (java) S 29558 29560 29516 0 -1 4202560 212 0 0 0 60 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297694288680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29567] ppid=29558 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/29560/task/29567/stat : 29567 (java) S 29558 29560 29516 0 -1 4202560 347 0 0 0 63 3 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297693235880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29568] ppid=29558 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/29560/task/29568/stat : 29568 (java) S 29558 29560 29516 0 -1 4202560 183 0 0 0 52 4 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297692183080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29569] ppid=29558 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/29560/task/29569/stat : 29569 (java) S 29558 29560 29516 0 -1 4202560 187 0 0 0 63 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297691130280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29571] ppid=29558 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/29560/task/29571/stat : 29571 (java) S 29558 29560 29516 0 -1 4202560 135 0 0 0 61 3 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297690077480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29572] ppid=29558 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/29560/task/29572/stat : 29572 (java) S 29558 29560 29516 0 -1 4202560 319 0 0 0 64 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297689024680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29580] ppid=29558 vsize=9624976 CPUtime=5.71 cores=1,3,5,7
/proc/29560/task/29580/stat : 29580 (java) S 29558 29560 29516 0 -1 4202560 175 0 0 0 569 2 0 0 20 0 19 0 255769673 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297676827624 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29582] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29582/stat : 29582 (java) S 29558 29560 29516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297675773688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29583] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29583/stat : 29583 (java) S 29558 29560 29516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297674720776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29587] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29587/stat : 29587 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297673669264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29589] ppid=29558 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29560/task/29589/stat : 29589 (java) S 29558 29560 29516 0 -1 4202560 2808 0 0 0 63 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297672616376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29591] ppid=29558 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29560/task/29591/stat : 29591 (java) S 29558 29560 29516 0 -1 4202560 4482 0 0 0 58 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297671563576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29593] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29593/stat : 29593 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297670510968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29595] ppid=29558 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/29560/task/29595/stat : 29595 (java) S 29558 29560 29516 0 -1 4202560 103 0 0 0 11 11 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297669458376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29596] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29596/stat : 29596 (java) S 29558 29560 29516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255769728 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297668404904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.23
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.1 s]
/proc/loadavg: 2.03 2.04 1.96 3/213 29635
/proc/meminfo: memFree=27695728/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 13446 0 1 0 179953 51 0 0 20 0 19 0 255769671 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2406244 121028 2282 9 0 2396937 0
[pid=29560/tid=29562] ppid=29558 vsize=9624976 CPUtime=1787.98 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2674 0 1 0 178768 30 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297853108496 140297793733525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29564] ppid=29558 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29560/task/29564/stat : 29564 (java) S 29558 29560 29516 0 -1 4202560 245 0 0 0 59 4 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297696394280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29565] ppid=29558 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29560/task/29565/stat : 29565 (java) S 29558 29560 29516 0 -1 4202560 391 0 0 0 53 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297695341480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29566] ppid=29558 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/29560/task/29566/stat : 29566 (java) S 29558 29560 29516 0 -1 4202560 212 0 0 0 60 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297694288680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29567] ppid=29558 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/29560/task/29567/stat : 29567 (java) S 29558 29560 29516 0 -1 4202560 347 0 0 0 63 3 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297693235880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29568] ppid=29558 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/29560/task/29568/stat : 29568 (java) S 29558 29560 29516 0 -1 4202560 183 0 0 0 52 4 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297692183080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29569] ppid=29558 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/29560/task/29569/stat : 29569 (java) S 29558 29560 29516 0 -1 4202560 187 0 0 0 63 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297691130280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29571] ppid=29558 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/29560/task/29571/stat : 29571 (java) S 29558 29560 29516 0 -1 4202560 135 0 0 0 61 3 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297690077480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29572] ppid=29558 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/29560/task/29572/stat : 29572 (java) S 29558 29560 29516 0 -1 4202560 319 0 0 0 64 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297689024680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29580] ppid=29558 vsize=9624976 CPUtime=5.71 cores=1,3,5,7
/proc/29560/task/29580/stat : 29580 (java) S 29558 29560 29516 0 -1 4202560 175 0 0 0 569 2 0 0 20 0 19 0 255769673 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297676827624 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29582] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29582/stat : 29582 (java) S 29558 29560 29516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297675773688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29583] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29583/stat : 29583 (java) S 29558 29560 29516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297674720776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29587] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29587/stat : 29587 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297673669264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29589] ppid=29558 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29560/task/29589/stat : 29589 (java) S 29558 29560 29516 0 -1 4202560 2808 0 0 0 63 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297672616376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29591] ppid=29558 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29560/task/29591/stat : 29591 (java) S 29558 29560 29516 0 -1 4202560 4482 0 0 0 58 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297671563576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29593] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29593/stat : 29593 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297670510968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29595] ppid=29558 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/29560/task/29595/stat : 29595 (java) S 29558 29560 29516 0 -1 4202560 103 0 0 0 11 11 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297669458376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29596] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29596/stat : 29596 (java) S 29558 29560 29516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255769728 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297668404904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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+1795.1 s]
/proc/loadavg: 2.03 2.04 1.96 3/213 29635
/proc/meminfo: memFree=27695728/32873648 swapFree=6864/6864
[pid=29560] ppid=29558 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/29560/stat : 29560 (java) S 29558 29560 29516 0 -1 4202496 13446 0 1 0 179953 51 0 0 20 0 19 0 255769671 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140737133331712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29560/statm: 2406244 121028 2282 9 0 2396937 0
[pid=29560/tid=29562] ppid=29558 vsize=9624976 CPUtime=1787.98 cores=1,3,5,7
/proc/29560/task/29562/stat : 29562 (java) R 29558 29560 29516 0 -1 4202560 2674 0 1 0 178768 30 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297853108496 140297793733525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29564] ppid=29558 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29560/task/29564/stat : 29564 (java) S 29558 29560 29516 0 -1 4202560 245 0 0 0 59 4 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297696394280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29565] ppid=29558 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29560/task/29565/stat : 29565 (java) S 29558 29560 29516 0 -1 4202560 391 0 0 0 53 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297695341480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29566] ppid=29558 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/29560/task/29566/stat : 29566 (java) S 29558 29560 29516 0 -1 4202560 212 0 0 0 60 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297694288680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29567] ppid=29558 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/29560/task/29567/stat : 29567 (java) S 29558 29560 29516 0 -1 4202560 347 0 0 0 63 3 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297693235880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29568] ppid=29558 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/29560/task/29568/stat : 29568 (java) S 29558 29560 29516 0 -1 4202560 183 0 0 0 52 4 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297692183080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29569] ppid=29558 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/29560/task/29569/stat : 29569 (java) S 29558 29560 29516 0 -1 4202560 187 0 0 0 63 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297691130280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29560/tid=29571] ppid=29558 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/29560/task/29571/stat : 29571 (java) S 29558 29560 29516 0 -1 4202560 135 0 0 0 61 3 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297690077480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29572] ppid=29558 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/29560/task/29572/stat : 29572 (java) S 29558 29560 29516 0 -1 4202560 319 0 0 0 64 5 0 0 20 0 19 0 255769672 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297689024680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29580] ppid=29558 vsize=9624976 CPUtime=5.71 cores=1,3,5,7
/proc/29560/task/29580/stat : 29580 (java) S 29558 29560 29516 0 -1 4202560 175 0 0 0 569 2 0 0 20 0 19 0 255769673 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297676827624 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29582] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29582/stat : 29582 (java) S 29558 29560 29516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297675773688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29583] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29583/stat : 29583 (java) S 29558 29560 29516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255769674 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297674720776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29587] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29587/stat : 29587 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297673669264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29560/tid=29589] ppid=29558 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29560/task/29589/stat : 29589 (java) S 29558 29560 29516 0 -1 4202560 2808 0 0 0 63 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297672616376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29560/tid=29591] ppid=29558 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29560/task/29591/stat : 29591 (java) S 29558 29560 29516 0 -1 4202560 4482 0 0 0 58 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297671563576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29593] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29593/stat : 29593 (java) S 29558 29560 29516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297670510968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29595] ppid=29558 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/29560/task/29595/stat : 29595 (java) S 29558 29560 29516 0 -1 4202560 103 0 0 0 11 11 0 0 20 0 19 0 255769676 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297669458376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29560/tid=29596] ppid=29558 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29560/task/29596/stat : 29596 (java) S 29558 29560 29516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255769728 9855975424 121028 33554432000 1073741824 1073778376 140737133340576 140297668404904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1795.17
CPU time (s): 1800.61
CPU user time (s): 1799.69
CPU system time (s): 0.921859
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.921859
maximum resident set size= 484236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13479
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41051
involuntary context switches= 9240

runsolver used 5.98109 second user time and 13.094 second system time

The end

Begin job on node120 at 2012-05-24 23:53:57
IDJOB=3690149
IDBENCH=92727
IDSOLVER=2269
FILE ID=node120/3690149-1337896437
RUNJOBID= node120-1337896437-29533
PBS_JOBID= 14620108
Free space on /tmp= 71628 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_8.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690149-1337896437/watcher-3690149-1337896437 -o /tmp/evaluation-result-3690149-1337896437/solver-3690149-1337896437 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3690149-1337896437.opb

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

MD5SUM BENCH= c9443936e5641d3aca30cbd92e359860
RANDOM SEED=1446131616

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

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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	: 5331.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28588380 kB
Buffers:          202108 kB
Cached:          3304780 kB
SwapCached:          492 kB
Active:           552600 kB
Inactive:        2966508 kB
Active(anon):       2604 kB
Inactive(anon):    12388 kB
Active(file):     549996 kB
Inactive(file):  2954120 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:              3128 kB
Writeback:             0 kB
AnonPages:         20576 kB
Mapped:            12776 kB
Shmem:               120 kB
Slab:             627648 kB
SReclaimable:      71700 kB
SUnreclaim:       555948 kB
KernelStack:        1392 kB
PageTables:         3856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     105272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71628 MiB
End job on node120 at 2012-05-25 00:23:54