0.04/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3687607-1337873700.opb
0.07/0.12	c reading problem ... 
3.55/2.80	c ... done. Wall clock time 2.672s.
3.55/2.80	c declared #vars     10000
4.04/3.00	c #constraints  656900
4.04/3.00	c constraints type 
4.04/3.00	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
4.04/3.00	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
4.04/3.00	c 656900 constraints processed.
4.04/3.00	c objective function length is 10000 literals
4.04/3.08	c SATISFIABLE
4.04/3.08	c OPTIMIZING...
4.04/3.08	c Got one! Elapsed wall clock time (in seconds):2.952
4.04/3.08	o 1188
4.50/3.22	c Got one! Elapsed wall clock time (in seconds):3.091
4.50/3.22	o 1031
4.67/3.31	c Got one! Elapsed wall clock time (in seconds):3.189
4.67/3.31	o 788
5.91/4.48	c cleaning 2680 clauses out of 5359 with flag 5001/5359
7.76/6.09	c cleaning 4339 clauses out of 8678 with flag 11000/11358
9.56/7.86	c cleaning 5670 clauses out of 11339 with flag 18000/18358
11.59/9.89	c cleaning 6835 clauses out of 13669 with flag 26000/26358
14.03/12.28	c cleaning 7918 clauses out of 15835 with flag 35001/35359
16.55/14.74	c cleaning 8956 clauses out of 17918 with flag 45002/45360
19.43/17.59	c cleaning 9981 clauses out of 19961 with flag 56001/56359
22.58/20.61	c cleaning 10990 clauses out of 21979 with flag 68000/68358
26.10/24.11	c cleaning 11996 clauses out of 23991 with flag 81002/81360
29.63/27.69	c cleaning 12995 clauses out of 25993 with flag 95000/95358
33.65/31.63	c cleaning 13994 clauses out of 27998 with flag 110000/110358
37.68/35.67	c cleaning 15002 clauses out of 30004 with flag 126000/126358
42.14/40.10	c cleaning 15999 clauses out of 32002 with flag 143000/143358
46.68/44.57	c cleaning 16996 clauses out of 34003 with flag 161000/161358
51.50/49.38	c cleaning 18002 clauses out of 36008 with flag 180001/180359
56.53/54.35	c cleaning 18997 clauses out of 38006 with flag 200001/200359
61.78/59.53	c cleaning 19989 clauses out of 40008 with flag 221000/221358
67.21/64.97	c cleaning 20999 clauses out of 42019 with flag 243000/243358
72.95/70.64	c cleaning 22009 clauses out of 44022 with flag 266002/266360
79.28/76.93	c cleaning 22999 clauses out of 46011 with flag 290000/290358
85.76/83.32	c cleaning 24002 clauses out of 48012 with flag 315000/315358
93.43/90.96	c cleaning 25003 clauses out of 50012 with flag 341002/341360
100.47/97.87	c cleaning 25992 clauses out of 52007 with flag 368000/368358
107.60/104.95	c cleaning 27001 clauses out of 54015 with flag 396000/396358
115.04/112.30	c cleaning 28000 clauses out of 56014 with flag 425000/425358
122.26/119.59	c cleaning 28999 clauses out of 58015 with flag 455001/455359
130.90/128.17	c cleaning 30002 clauses out of 60015 with flag 486000/486358
139.07/136.28	c cleaning 31002 clauses out of 62015 with flag 518002/518360
147.43/144.51	c cleaning 31996 clauses out of 64011 with flag 551000/551358
157.29/154.37	c cleaning 32985 clauses out of 66015 with flag 585000/585358
166.96/163.99	c cleaning 34002 clauses out of 68030 with flag 620000/620358
176.33/173.24	c cleaning 35012 clauses out of 70029 with flag 656001/656359
186.30/183.13	c cleaning 35993 clauses out of 72016 with flag 693000/693358
196.05/192.88	c cleaning 37000 clauses out of 74023 with flag 731000/731358
206.30/203.04	c cleaning 37980 clauses out of 76026 with flag 770003/770361
217.18/213.87	c cleaning 39013 clauses out of 78044 with flag 810001/810359
229.87/226.46	c cleaning 40003 clauses out of 80031 with flag 851001/851359
245.62/242.00	c cleaning 41000 clauses out of 82027 with flag 893000/893358
259.88/256.20	c cleaning 42001 clauses out of 84031 with flag 936004/936362
271.66/267.74	c cleaning 43011 clauses out of 86026 with flag 980000/980358
283.90/279.97	c cleaning 43979 clauses out of 88015 with flag 1025000/1025358
295.75/291.76	c cleaning 44992 clauses out of 90037 with flag 1071001/1071359
307.60/303.52	c cleaning 46008 clauses out of 92044 with flag 1118000/1118358
319.73/315.61	c cleaning 46991 clauses out of 94036 with flag 1166000/1166358
332.98/328.81	c cleaning 48016 clauses out of 96045 with flag 1215000/1215358
346.65/342.41	c cleaning 49008 clauses out of 98030 with flag 1265001/1265359
359.92/355.61	c cleaning 49998 clauses out of 100021 with flag 1316000/1316358
373.14/368.79	c cleaning 50997 clauses out of 102023 with flag 1368000/1368358
386.80/382.37	c cleaning 51994 clauses out of 104026 with flag 1421000/1421358
400.27/395.73	c cleaning 53002 clauses out of 106032 with flag 1475000/1475358
414.34/409.79	c cleaning 53991 clauses out of 108030 with flag 1530000/1530358
428.99/424.33	c cleaning 55014 clauses out of 110039 with flag 1586000/1586358
443.85/439.19	c cleaning 55992 clauses out of 112025 with flag 1643000/1643358
459.72/454.96	c cleaning 56998 clauses out of 114033 with flag 1701000/1701358
475.90/471.02	c cleaning 58008 clauses out of 116036 with flag 1760001/1760359
493.40/488.42	c cleaning 59008 clauses out of 118027 with flag 1820000/1820358
509.22/504.11	c cleaning 60005 clauses out of 120019 with flag 1881000/1881358
526.54/521.33	c cleaning 60989 clauses out of 122015 with flag 1943001/1943359
542.43/537.18	c cleaning 61999 clauses out of 124025 with flag 2006000/2006358
558.61/553.23	c cleaning 62983 clauses out of 126026 with flag 2070000/2070358
575.16/569.79	c cleaning 64018 clauses out of 128043 with flag 2135000/2135358
593.36/587.89	c cleaning 65007 clauses out of 130025 with flag 2201000/2201358
613.45/607.83	c cleaning 65988 clauses out of 132018 with flag 2268000/2268358
631.91/626.17	c cleaning 67002 clauses out of 134035 with flag 2336005/2336363
650.79/644.93	c cleaning 67996 clauses out of 136028 with flag 2405000/2405358
669.97/664.06	c cleaning 68988 clauses out of 138034 with flag 2475002/2475360
692.27/686.25	c cleaning 70008 clauses out of 140045 with flag 2546001/2546359
710.43/704.29	c cleaning 71010 clauses out of 142037 with flag 2618001/2618359
729.24/723.05	c cleaning 71999 clauses out of 144026 with flag 2691000/2691358
748.50/742.20	c cleaning 73000 clauses out of 146027 with flag 2765000/2765358
769.33/763.01	c cleaning 74013 clauses out of 148028 with flag 2840001/2840359
791.24/784.95	c cleaning 74991 clauses out of 150014 with flag 2916000/2916358
813.75/807.44	c cleaning 76007 clauses out of 152023 with flag 2993000/2993358
833.76/827.49	c cleaning 76984 clauses out of 154016 with flag 3071000/3071358
854.66/848.37	c cleaning 78001 clauses out of 156032 with flag 3150000/3150358
875.86/869.54	c cleaning 78993 clauses out of 158032 with flag 3230001/3230359
897.76/891.40	c cleaning 80001 clauses out of 160041 with flag 3311003/3311361
919.45/913.17	c cleaning 81000 clauses out of 162037 with flag 3393000/3393358
942.15/935.81	c cleaning 82007 clauses out of 164037 with flag 3476000/3476358
964.25/957.94	c cleaning 83001 clauses out of 166030 with flag 3560000/3560358
987.84/981.51	c cleaning 83998 clauses out of 168029 with flag 3645000/3645358
1011.15/1004.84	c cleaning 85008 clauses out of 170032 with flag 3731001/3731359
1033.94/1027.61	c cleaning 86000 clauses out of 172025 with flag 3818002/3818360
1057.74/1051.44	c cleaning 87002 clauses out of 174023 with flag 3906000/3906358
1083.05/1076.73	c cleaning 87998 clauses out of 176021 with flag 3995000/3995358
1109.85/1103.50	c cleaning 88993 clauses out of 178023 with flag 4085000/4085358
1138.96/1132.60	c cleaning 90004 clauses out of 180032 with flag 4176002/4176360
1164.77/1158.47	c cleaning 90994 clauses out of 182027 with flag 4268001/4268359
1192.28/1185.99	c cleaning 91999 clauses out of 184032 with flag 4361000/4361358
1219.69/1213.33	c cleaning 93001 clauses out of 186033 with flag 4455000/4455358
1245.49/1239.16	c cleaning 93996 clauses out of 188032 with flag 4550000/4550358
1269.99/1263.66	c cleaning 95016 clauses out of 190038 with flag 4646002/4646360
1297.91/1291.50	c cleaning 96000 clauses out of 192022 with flag 4743002/4743360
1324.30/1317.97	c cleaning 96999 clauses out of 194020 with flag 4841000/4841358
1351.41/1345.06	c cleaning 97996 clauses out of 196021 with flag 4940000/4940358
1379.72/1373.34	c cleaning 99005 clauses out of 198029 with flag 5040004/5040362
1409.71/1403.34	c cleaning 99996 clauses out of 200020 with flag 5141000/5141358
1437.81/1431.48	c cleaning 101006 clauses out of 202024 with flag 5243000/5243358
1466.22/1459.82	c cleaning 102004 clauses out of 204019 with flag 5346001/5346359
1494.32/1487.95	c cleaning 103006 clauses out of 206016 with flag 5450002/5450360
1524.72/1518.39	c cleaning 103997 clauses out of 208008 with flag 5555000/5555358
1552.42/1546.00	c cleaning 104964 clauses out of 210011 with flag 5661000/5661358
1580.82/1574.46	c cleaning 106014 clauses out of 212047 with flag 5768000/5768358
1610.43/1604.06	c cleaning 107007 clauses out of 214033 with flag 5876000/5876358
1640.13/1633.78	c cleaning 107999 clauses out of 216026 with flag 5985000/5985358
1670.52/1664.16	c cleaning 109011 clauses out of 218029 with flag 6095002/6095360
1702.33/1695.94	c cleaning 110000 clauses out of 220017 with flag 6206001/6206359
1733.13/1726.72	c cleaning 110998 clauses out of 222016 with flag 6318000/6318358
1763.63/1757.20	c cleaning 112003 clauses out of 224019 with flag 6431001/6431359
1795.23/1788.87	c cleaning 113003 clauses out of 226017 with flag 6545002/6545360
1800.05/1793.61	c starts		: 279
1800.05/1793.61	c conflicts		: 6563719
1800.05/1793.61	c decisions		: 19629919
1800.05/1793.61	c propagations		: 1750642479
1800.05/1793.61	c inspects		: 2324090877
1800.05/1793.61	c shortcuts		: 0
1800.05/1793.61	c learnt literals	: 0
1800.05/1793.61	c learnt binary clauses	: 0
1800.05/1793.61	c learnt ternary clauses	: 0
1800.05/1793.61	c learnt constraints	: 6563720
1800.05/1793.61	c ignored constraints	: 0
1800.05/1793.61	c root simplifications	: 0
1800.05/1793.61	c removed literals (reason simplification)	: 0
1800.05/1793.61	c reason swapping (by a shorter reason)	: 0
1800.05/1793.61	c Calls to reduceDB	: 110
1800.05/1793.61	c number of reductions to clauses (during analyze)	: 0
1800.05/1793.61	c number of learned constraints concerned by reduction	: 0
1800.05/1793.61	c number of learning phase by resolution	: 0
1800.05/1793.61	c number of learning phase by cutting planes	: 0
1800.05/1793.61	c speed (assignments/second)	: 977592.0380618393
1800.05/1793.61	c non guided choices	0
1800.05/1793.64	c learnt constraints type 
1800.05/1793.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 131471
1800.05/1793.64	c constraints type 
1800.05/1793.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
1800.05/1793.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
1800.05/1793.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.05/1793.64	c 656901 constraints processed.
1800.05/1793.64	s SATISFIABLE
1800.05/1793.65	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 x8377 -x8378 x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 x8880 -x8881 -x8882 -x8883 -x8884 x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
1800.05/1793.66	c objective function=788
1800.05/1793.66	c Total wall clock time (in seconds): 1793.533

OK	788

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-3687607-1337873700/watcher-3687607-1337873700 -o /tmp/evaluation-result-3687607-1337873700/solver-3687607-1337873700 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687607-1337873700.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.71 3/195 21849
/proc/meminfo: memFree=29092424/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21849/stat : 21849 (java) D 21847 21849 21484 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253498647 9515008 183 33554432000 1073741824 1073778376 140736287577328 140736287568360 218213727925 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21849/statm: 2323 183 140 9 0 71 0

[startup+0.071025 s]
/proc/loadavg: 2.00 2.01 1.71 3/195 21849
/proc/meminfo: memFree=29092424/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9558380 CPUtime=0.04 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 3193 0 1 0 4 0 0 0 20 0 18 0 253498647 9787781120 4401 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2389595 4401 1744 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558380

[startup+0.10029 s]
/proc/loadavg: 2.00 2.01 1.71 3/195 21849
/proc/meminfo: memFree=29092424/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 3958 0 1 0 7 0 0 0 20 0 18 0 253498647 9787813888 5164 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2389603 5177 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.300294 s]
/proc/loadavg: 2.00 2.01 1.71 3/195 21849
/proc/meminfo: memFree=29092424/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 5491 0 1 0 45 1 0 0 20 0 18 0 253498647 9787813888 8645 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2389603 8645 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.70031 s]
/proc/loadavg: 2.00 2.01 1.71 3/195 21849
/proc/meminfo: memFree=29092424/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9558412 CPUtime=1.18 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 9130 0 1 0 114 4 0 0 20 0 18 0 253498647 9787813888 41377 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2389603 41377 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9558412

[startup+1.50077 s]
/proc/loadavg: 2.16 2.04 1.72 3/213 21867
/proc/meminfo: memFree=28922908/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9558412 CPUtime=2.05 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 9215 0 1 0 197 8 0 0 20 0 18 0 253498647 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2389603 73636 2245 9 0 2380296 0
[pid=21849/tid=21851] ppid=21847 vsize=9558412 CPUtime=1.41 cores=1,3,5,7
/proc/21849/task/21851/stat : 21851 (java) R 21847 21849 21484 0 -1 4202560 2600 0 1 0 136 5 0 0 20 0 18 0 253498648 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639441535072 140639381743822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21852] ppid=21847 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21849/task/21852/stat : 21852 (java) S 21847 21849 21484 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253498649 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639380274088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21853] ppid=21847 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21849/task/21853/stat : 21853 (java) S 21847 21849 21484 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 253498649 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639379221544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21854] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21854/stat : 21854 (java) S 21847 21849 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 253498649 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639378168488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21855] ppid=21847 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21849/task/21855/stat : 21855 (java) S 21847 21849 21484 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 253498649 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639377115944 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21856] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21856/stat : 21856 (java) S 21847 21849 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 253498649 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639280511400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21857] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21857/stat : 21857 (java) S 21847 21849 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253498649 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639279458856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21858] ppid=21847 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21849/task/21858/stat : 21858 (java) S 21847 21849 21484 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253498649 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639278405800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21859] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21859/stat : 21859 (java) S 21847 21849 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 253498649 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639277353256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21860] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21860/stat : 21860 (java) S 21847 21849 21484 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253498651 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639265155944 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21861] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21861/stat : 21861 (java) S 21847 21849 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253498651 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639264102264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21862] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21862/stat : 21862 (java) S 21847 21849 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253498651 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639263049096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21863] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21863/stat : 21863 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253498654 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639261997840 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21864] ppid=21847 vsize=9558412 CPUtime=0.22 cores=1,3,5,7
/proc/21849/task/21864/stat : 21864 (java) S 21847 21849 21484 0 -1 4202560 2406 0 0 0 22 0 0 0 20 0 18 0 253498654 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639260944696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21865] ppid=21847 vsize=9558412 CPUtime=0.21 cores=1,3,5,7
/proc/21849/task/21865/stat : 21865 (java) S 21847 21849 21484 0 -1 4202560 2901 0 0 0 21 0 0 0 20 0 18 0 253498654 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639259892152 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21866] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21866/stat : 21866 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253498654 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639258839288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21867] ppid=21847 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21867/stat : 21867 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253498654 9787813888 73636 33554432000 1073741824 1073778376 140733207799008 140639257786952 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9558412

[startup+3.10077 s]
/proc/loadavg: 2.16 2.04 1.72 10/213 21867
/proc/meminfo: memFree=28753724/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9624976 CPUtime=4.31 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 12480 0 1 0 417 14 0 0 20 0 19 0 253498647 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2406244 98731 2266 9 0 2396937 0
[pid=21849/tid=21851] ppid=21847 vsize=9624976 CPUtime=2.92 cores=1,3,5,7
/proc/21849/task/21851/stat : 21851 (java) R 21847 21849 21484 0 -1 4202560 2640 0 1 0 286 6 0 0 20 0 19 0 253498648 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639441543816 140639448971110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21852] ppid=21847 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21849/task/21852/stat : 21852 (java) S 21847 21849 21484 0 -1 4202560 39 0 0 0 3 1 0 0 20 0 19 0 253498649 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639380274088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21853] ppid=21847 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21849/task/21853/stat : 21853 (java) S 21847 21849 21484 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 253498649 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639379221544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21854] ppid=21847 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/21849/task/21854/stat : 21854 (java) S 21847 21849 21484 0 -1 4202560 27 0 0 0 4 2 0 0 20 0 19 0 253498649 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639378168488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21855] ppid=21847 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21849/task/21855/stat : 21855 (java) S 21847 21849 21484 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 253498649 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639377115944 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21856] ppid=21847 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21849/task/21856/stat : 21856 (java) S 21847 21849 21484 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 253498649 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639280511400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21857] ppid=21847 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21849/task/21857/stat : 21857 (java) S 21847 21849 21484 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 253498649 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639279458856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21858] ppid=21847 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21849/task/21858/stat : 21858 (java) S 21847 21849 21484 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 253498649 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639278405800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21859] ppid=21847 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21849/task/21859/stat : 21859 (java) S 21847 21849 21484 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 253498649 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639277353256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21860] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21860/stat : 21860 (java) S 21847 21849 21484 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639265155944 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21861] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21861/stat : 21861 (java) S 21847 21849 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639264102264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21862] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21862/stat : 21862 (java) S 21847 21849 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639263049096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21863] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21863/stat : 21863 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639261997840 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21864] ppid=21847 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/21849/task/21864/stat : 21864 (java) R 21847 21849 21484 0 -1 4202560 3802 0 0 0 45 0 0 0 20 0 19 0 253498654 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639260944696 140639448362114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21865] ppid=21847 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/21849/task/21865/stat : 21865 (java) R 21847 21849 21484 0 -1 4202560 4472 0 0 0 44 0 0 0 20 0 19 0 253498654 9855975424 98731 33554432000 1073741824 1073778376 140733207799008 140639259892152 140639444152930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21866] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21866/stat : 21866 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 98686 33554432000 1073741824 1073778376 140733207799008 140639258839288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21867] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21867/stat : 21867 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 98686 33554432000 1073741824 1073778376 140733207799008 140639257786952 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 9624976

[startup+6.30081 s]
/proc/loadavg: 2.16 2.04 1.72 3/214 21868
/proc/meminfo: memFree=28624012/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9624976 CPUtime=8.06 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 13596 0 1 0 787 19 0 0 20 0 19 0 253498647 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2406244 119685 2282 9 0 2396937 0
[pid=21849/tid=21851] ppid=21847 vsize=9624976 CPUtime=5.65 cores=1,3,5,7
/proc/21849/task/21851/stat : 21851 (java) R 21847 21849 21484 0 -1 4202560 2653 0 1 0 559 6 0 0 20 0 19 0 253498648 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639441543440 140639382222660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21852] ppid=21847 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/21849/task/21852/stat : 21852 (java) S 21847 21849 21484 0 -1 4202560 72 0 0 0 8 3 0 0 20 0 19 0 253498649 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639380274088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21853] ppid=21847 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21849/task/21853/stat : 21853 (java) S 21847 21849 21484 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 19 0 253498649 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639379221544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21854] ppid=21847 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/21849/task/21854/stat : 21854 (java) S 21847 21849 21484 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 253498649 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639378168488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21855] ppid=21847 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/21849/task/21855/stat : 21855 (java) S 21847 21849 21484 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 253498649 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639377115944 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21856] ppid=21847 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/21849/task/21856/stat : 21856 (java) S 21847 21849 21484 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 19 0 253498649 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639280511400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21857] ppid=21847 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21849/task/21857/stat : 21857 (java) S 21847 21849 21484 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 19 0 253498649 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639279458856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21858] ppid=21847 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/21849/task/21858/stat : 21858 (java) S 21847 21849 21484 0 -1 4202560 43 0 0 0 8 2 0 0 20 0 19 0 253498649 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639278405800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21859] ppid=21847 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21849/task/21859/stat : 21859 (java) S 21847 21849 21484 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 253498649 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639277353256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21860] ppid=21847 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/21849/task/21860/stat : 21860 (java) S 21847 21849 21484 0 -1 4202560 230 0 0 0 38 0 0 0 20 0 19 0 253498651 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639265155944 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21861] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21861/stat : 21861 (java) S 21847 21849 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639264102264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21862] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21862/stat : 21862 (java) S 21847 21849 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639263049096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21863] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21863/stat : 21863 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639261997840 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21864] ppid=21847 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/21849/task/21864/stat : 21864 (java) S 21847 21849 21484 0 -1 4202560 4357 0 0 0 61 0 0 0 20 0 19 0 253498654 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639260944696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21865] ppid=21847 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/21849/task/21865/stat : 21865 (java) S 21847 21849 21484 0 -1 4202560 4851 0 0 0 65 0 0 0 20 0 19 0 253498654 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639259892152 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21866] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21866/stat : 21866 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639258839288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21867] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21867/stat : 21867 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639257786952 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21868] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21868/stat : 21868 (java) S 21847 21849 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498931 9855975424 119685 33554432000 1073741824 1073778376 140733207799008 140639256733224 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]
/proc/loadavg: 2.13 2.04 1.72 3/214 21868
/proc/meminfo: memFree=28611368/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9624976 CPUtime=14.55 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 13610 0 1 0 1435 20 0 0 20 0 19 0 253498647 9855975424 122251 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0

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

[pid=21849/tid=21864] ppid=21847 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/21849/task/21864/stat : 21864 (java) S 21847 21849 21484 0 -1 4202560 5136 0 0 0 77 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639260944696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21865] ppid=21847 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/21849/task/21865/stat : 21865 (java) S 21847 21849 21484 0 -1 4202560 4852 0 0 0 66 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639259892152 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21866] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21866/stat : 21866 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639258839288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21867] ppid=21847 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/21849/task/21867/stat : 21867 (java) S 21847 21849 21484 0 -1 4202560 94 0 0 0 26 15 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639257786952 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21868] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21868/stat : 21868 (java) S 21847 21849 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498931 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639256733224 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1668.72
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/213 21964
/proc/meminfo: memFree=28230592/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9624976 CPUtime=1728.72 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 15781 0 1 0 172791 81 0 0 20 0 19 0 253498647 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2406244 190793 2283 9 0 2396937 0
[pid=21849/tid=21851] ppid=21847 vsize=9624976 CPUtime=1689.44 cores=1,3,5,7
/proc/21849/task/21851/stat : 21851 (java) R 21847 21849 21484 0 -1 4202560 2754 0 1 0 168912 32 0 0 20 0 19 0 253498648 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639441543440 140639382308140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21852] ppid=21847 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/21849/task/21852/stat : 21852 (java) S 21847 21849 21484 0 -1 4202560 200 0 0 0 93 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639380274088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21853] ppid=21847 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/21849/task/21853/stat : 21853 (java) S 21847 21849 21484 0 -1 4202560 205 0 0 0 64 4 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639379221544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21854] ppid=21847 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21849/task/21854/stat : 21854 (java) S 21847 21849 21484 0 -1 4202560 170 0 0 0 79 6 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639378168488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21855] ppid=21847 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21849/task/21855/stat : 21855 (java) S 21847 21849 21484 0 -1 4202560 177 0 0 0 77 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639377115944 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21856] ppid=21847 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/21849/task/21856/stat : 21856 (java) S 21847 21849 21484 0 -1 4202560 142 0 0 0 67 6 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639280511400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21857] ppid=21847 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/21849/task/21857/stat : 21857 (java) S 21847 21849 21484 0 -1 4202560 163 0 0 0 73 7 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639279458856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21858] ppid=21847 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/21849/task/21858/stat : 21858 (java) S 21847 21849 21484 0 -1 4202560 194 0 0 0 82 9 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639278405800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21859] ppid=21847 vsize=9624976 CPUtime=0.89 cores=1,3,5,7
/proc/21849/task/21859/stat : 21859 (java) S 21847 21849 21484 0 -1 4202560 160 0 0 0 81 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639277353256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21860] ppid=21847 vsize=9624976 CPUtime=26.3 cores=1,3,5,7
/proc/21849/task/21860/stat : 21860 (java) S 21847 21849 21484 0 -1 4202560 344 0 0 0 2628 2 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639265155944 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21861] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21861/stat : 21861 (java) S 21847 21849 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639264102264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21862] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21862/stat : 21862 (java) S 21847 21849 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639263049096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21863] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21863/stat : 21863 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639261997840 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21864] ppid=21847 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/21849/task/21864/stat : 21864 (java) S 21847 21849 21484 0 -1 4202560 5136 0 0 0 77 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639260944696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21865] ppid=21847 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/21849/task/21865/stat : 21865 (java) S 21847 21849 21484 0 -1 4202560 4852 0 0 0 66 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639259892152 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21866] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21866/stat : 21866 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639258839288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21867] ppid=21847 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21849/task/21867/stat : 21867 (java) S 21847 21849 21484 0 -1 4202560 98 0 0 0 27 16 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639257786952 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21868] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21868/stat : 21868 (java) S 21847 21849 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498931 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639256733224 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.72
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/213 21964
/proc/meminfo: memFree=28229724/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9624976 CPUtime=1788.73 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 15791 0 1 0 178791 82 0 0 20 0 19 0 253498647 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2406244 190793 2283 9 0 2396937 0
[pid=21849/tid=21851] ppid=21847 vsize=9624976 CPUtime=1748.62 cores=1,3,5,7
/proc/21849/task/21851/stat : 21851 (java) R 21847 21849 21484 0 -1 4202560 2756 0 1 0 174829 33 0 0 20 0 19 0 253498648 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639441543440 140639382222655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21852] ppid=21847 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/21849/task/21852/stat : 21852 (java) S 21847 21849 21484 0 -1 4202560 200 0 0 0 93 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639380274088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21853] ppid=21847 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/21849/task/21853/stat : 21853 (java) S 21847 21849 21484 0 -1 4202560 205 0 0 0 64 4 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639379221544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21854] ppid=21847 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21849/task/21854/stat : 21854 (java) S 21847 21849 21484 0 -1 4202560 170 0 0 0 79 6 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639378168488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21855] ppid=21847 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21849/task/21855/stat : 21855 (java) S 21847 21849 21484 0 -1 4202560 177 0 0 0 77 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639377115944 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21856] ppid=21847 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/21849/task/21856/stat : 21856 (java) S 21847 21849 21484 0 -1 4202560 142 0 0 0 67 6 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639280511400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21857] ppid=21847 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/21849/task/21857/stat : 21857 (java) S 21847 21849 21484 0 -1 4202560 163 0 0 0 73 7 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639279458856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21858] ppid=21847 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/21849/task/21858/stat : 21858 (java) S 21847 21849 21484 0 -1 4202560 194 0 0 0 82 9 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639278405800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21859] ppid=21847 vsize=9624976 CPUtime=0.89 cores=1,3,5,7
/proc/21849/task/21859/stat : 21859 (java) S 21847 21849 21484 0 -1 4202560 160 0 0 0 81 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639277353256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21860] ppid=21847 vsize=9624976 CPUtime=26.97 cores=1,3,5,7
/proc/21849/task/21860/stat : 21860 (java) S 21847 21849 21484 0 -1 4202560 348 0 0 0 2695 2 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639265155944 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21861] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21861/stat : 21861 (java) S 21847 21849 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639264102264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21862] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21862/stat : 21862 (java) S 21847 21849 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639263049096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21863] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21863/stat : 21863 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639261997840 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21864] ppid=21847 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/21849/task/21864/stat : 21864 (java) S 21847 21849 21484 0 -1 4202560 5136 0 0 0 77 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639260944696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21865] ppid=21847 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/21849/task/21865/stat : 21865 (java) S 21847 21849 21484 0 -1 4202560 4852 0 0 0 66 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639259892152 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21866] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21866/stat : 21866 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639258839288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21867] ppid=21847 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/21849/task/21867/stat : 21867 (java) S 21847 21849 21484 0 -1 4202560 102 0 0 0 28 17 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639257786952 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21868] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21868/stat : 21868 (java) S 21847 21849 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498931 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639256733224 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.6 s]
/proc/loadavg: 2.00 2.01 1.93 3/213 21964
/proc/meminfo: memFree=28227676/32873844 swapFree=7620/7620
[pid=21849] ppid=21847 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/21849/stat : 21849 (java) S 21847 21849 21484 0 -1 4202496 15794 0 1 0 179922 83 0 0 20 0 19 0 253498647 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140733207790144 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21849/statm: 2406244 190793 2283 9 0 2396937 0
[pid=21849/tid=21851] ppid=21847 vsize=9624976 CPUtime=1759.64 cores=1,3,5,7
/proc/21849/task/21851/stat : 21851 (java) R 21847 21849 21484 0 -1 4202560 2757 0 1 0 175931 33 0 0 20 0 19 0 253498648 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639441543440 140639382250429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21852] ppid=21847 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/21849/task/21852/stat : 21852 (java) S 21847 21849 21484 0 -1 4202560 200 0 0 0 93 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639380274088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21853] ppid=21847 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/21849/task/21853/stat : 21853 (java) S 21847 21849 21484 0 -1 4202560 205 0 0 0 64 4 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639379221544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21854] ppid=21847 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21849/task/21854/stat : 21854 (java) S 21847 21849 21484 0 -1 4202560 170 0 0 0 79 6 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639378168488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21855] ppid=21847 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21849/task/21855/stat : 21855 (java) S 21847 21849 21484 0 -1 4202560 177 0 0 0 77 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639377115944 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21856] ppid=21847 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/21849/task/21856/stat : 21856 (java) S 21847 21849 21484 0 -1 4202560 142 0 0 0 67 6 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639280511400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21857] ppid=21847 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/21849/task/21857/stat : 21857 (java) S 21847 21849 21484 0 -1 4202560 163 0 0 0 73 7 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639279458856 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21849/tid=21858] ppid=21847 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/21849/task/21858/stat : 21858 (java) S 21847 21849 21484 0 -1 4202560 194 0 0 0 82 9 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639278405800 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21849/tid=21859] ppid=21847 vsize=9624976 CPUtime=0.89 cores=1,3,5,7
/proc/21849/task/21859/stat : 21859 (java) S 21847 21849 21484 0 -1 4202560 160 0 0 0 81 8 0 0 20 0 19 0 253498649 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639277353256 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21860] ppid=21847 vsize=9624976 CPUtime=27.23 cores=1,3,5,7
/proc/21849/task/21860/stat : 21860 (java) S 21847 21849 21484 0 -1 4202560 350 0 0 0 2720 3 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639265155944 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21861] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21861/stat : 21861 (java) S 21847 21849 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639264102264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21862] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21862/stat : 21862 (java) S 21847 21849 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253498651 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639263049096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21863] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21863/stat : 21863 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639261997840 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21864] ppid=21847 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/21849/task/21864/stat : 21864 (java) S 21847 21849 21484 0 -1 4202560 5136 0 0 0 77 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639260944696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21865] ppid=21847 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/21849/task/21865/stat : 21865 (java) S 21847 21849 21484 0 -1 4202560 4852 0 0 0 66 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639259892152 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21866] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21866/stat : 21866 (java) S 21847 21849 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639258839288 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21849/tid=21867] ppid=21847 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/21849/task/21867/stat : 21867 (java) S 21847 21849 21484 0 -1 4202560 102 0 0 0 28 17 0 0 20 0 19 0 253498654 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639257786952 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21849/tid=21868] ppid=21847 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21849/task/21868/stat : 21868 (java) S 21847 21849 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253498931 9855975424 190793 33554432000 1073741824 1073778376 140733207799008 140639256733224 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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

Child status: 143

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

Real time (s): 1793.67
CPU time (s): 1800.05
CPU user time (s): 1799.22
CPU system time (s): 0.83
CPU usage (%): 100.356
Max. virtual memory (cumulated for all children) (KiB): 9625292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.63
system time used= 1.23181
maximum resident set size= 763292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15826
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40027
involuntary context switches= 23012

runsolver used 6.01209 second user time and 15.2307 second system time

The end

Begin job on node107 at 2012-05-24 17:35:01
IDJOB=3687607
IDBENCH=1969
IDSOLVER=2269
FILE ID=node107/3687607-1337873700
RUNJOBID= node107-1337871881-21501
PBS_JOBID= 14620097
Free space on /tmp= 71644 MiB

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

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

MD5SUM BENCH= 325852af8542a0f454599a2893f1b120
RANDOM SEED=2125905257

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29093068 kB
Buffers:          198216 kB
Cached:          2571776 kB
SwapCached:            0 kB
Active:           763188 kB
Inactive:        2251252 kB
Active(anon):     247204 kB
Inactive(anon):        0 kB
Active(file):     515984 kB
Inactive(file):  2251252 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17164 kB
Writeback:             0 kB
AnonPages:        251528 kB
Mapped:            22520 kB
Shmem:               200 kB
Slab:             626024 kB
SReclaimable:      68584 kB
SUnreclaim:       557440 kB
KernelStack:        1608 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node107 at 2012-05-24 18:04:57