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

OK	1

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 /var/tmp/evaluation-result-3492271-1307908914/watcher-3492271-1307908914 -o /var/tmp/evaluation-result-3492271-1307908914/solver-3492271-1307908914 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492271-1307908914.wbo 

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.04 1.38 1/172 26901
/proc/meminfo: memFree=1216444/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=3528 CPUtime=0 cores=1,3,5,7
/proc/26901/stat : 26901 (java) D 26899 26901 24685 0 -1 4194304 92 0 1 0 0 0 0 0 22 0 1 0 883307564 3612672 45 33554432000 1073741824 1073778376 140736479343152 18446744073709551615 255101848486 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 0
/proc/26901/statm: 882 45 35 9 0 27 0

[startup+0.010636 s]
/proc/loadavg: 0.92 1.04 1.38 1/172 26901
/proc/meminfo: memFree=1216444/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/26901/stat : 26901 (java) D 26899 26901 24685 0 -1 4202496 427 0 2 0 0 0 0 0 22 0 1 0 883307564 9318400 172 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255101845223 0 0 4096 0 18446744071562234166 0 0 17 7 0 0 0
/proc/26901/statm: 2275 172 132 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100

[startup+0.100583 s]
/proc/loadavg: 0.92 1.04 1.38 1/172 26901
/proc/meminfo: memFree=1216444/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 1123 0 57 0 0 0 0 0 22 0 2 0 883307564 29065216 905 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 7096 905 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.301813 s]
/proc/loadavg: 0.92 1.04 1.38 1/172 26901
/proc/meminfo: memFree=1216444/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=10540436 CPUtime=0.1 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 12874 0 113 0 8 2 0 0 22 0 18 0 883307564 10793406464 12680 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 2635109 12680 2093 9 0 2625843 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540436

[startup+0.700552 s]
/proc/loadavg: 0.92 1.04 1.38 1/172 26901
/proc/meminfo: memFree=1216444/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=10545872 CPUtime=1.11 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 22100 0 113 0 108 3 0 0 22 0 19 0 883307564 10798972928 19818 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 2636468 19818 2232 9 0 2627202 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 10545872

[startup+1.50137 s]
/proc/loadavg: 0.92 1.04 1.38 3/214 26952
/proc/meminfo: memFree=1054248/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=10545872 CPUtime=2.05 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 24427 0 113 0 202 3 0 0 22 0 19 0 883307564 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 2636468 22145 2235 9 0 2627202 0
[pid=26901/tid=26916] ppid=26899 vsize=10545872 CPUtime=1.27 cores=1,3,5,7
/proc/26901/task/26916/stat : 26916 (java) R 26899 26901 24685 0 -1 4202560 18360 0 57 0 125 2 0 0 20 0 19 0 883307574 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 46912505832384 0 4 0 16800975 0 0 0 -1 3 0 0 10
[pid=26901/tid=26926] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26926/stat : 26926 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26928] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26928/stat : 26928 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26929] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26929/stat : 26929 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26930] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26930/stat : 26930 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26931] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26931/stat : 26931 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26932] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26932/stat : 26932 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26933] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26933/stat : 26933 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26934] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26934/stat : 26934 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26936] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26936/stat : 26936 (java) S 26899 26901 24685 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 883307581 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 0 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26938] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26938/stat : 26938 (java) S 26899 26901 24685 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 883307583 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26940] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26940/stat : 26940 (java) S 26899 26901 24685 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 883307583 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26942] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26942/stat : 26942 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118592433 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26944] ppid=26899 vsize=10545872 CPUtime=0.4 cores=1,3,5,7
/proc/26901/task/26944/stat : 26944 (java) S 26899 26901 24685 0 -1 4202560 2457 0 0 0 40 0 0 0 15 0 19 0 883307589 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26946] ppid=26899 vsize=10545872 CPUtime=0.36 cores=1,3,5,7
/proc/26901/task/26946/stat : 26946 (java) S 26899 26901 24685 0 -1 4202560 2503 0 0 0 36 0 0 0 16 0 19 0 883307589 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26948] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26948/stat : 26948 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26950] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26950/stat : 26950 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883307589 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26952] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26899 26901 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307620 10798972928 22145 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 10545872

[startup+3.10109 s]
/proc/loadavg: 0.92 1.04 1.38 3/214 26952
/proc/meminfo: memFree=1039616/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=10545872 CPUtime=3.67 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 26846 0 113 0 364 3 0 0 22 0 19 0 883307564 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 2636468 24562 2235 9 0 2627202 0
[pid=26901/tid=26916] ppid=26899 vsize=10545872 CPUtime=2.88 cores=1,3,5,7
/proc/26901/task/26916/stat : 26916 (java) R 26899 26901 24685 0 -1 4202560 20776 0 57 0 285 3 0 0 18 0 19 0 883307574 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 46912505742816 0 4 0 16800975 0 0 0 -1 3 0 0 10
[pid=26901/tid=26926] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26926/stat : 26926 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26928] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26928/stat : 26928 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26929] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26929/stat : 26929 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26930] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26930/stat : 26930 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26931] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26931/stat : 26931 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26932] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26932/stat : 26932 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26933] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26933/stat : 26933 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26934] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26934/stat : 26934 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26936] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26936/stat : 26936 (java) S 26899 26901 24685 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 883307581 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 0 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26938] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26938/stat : 26938 (java) S 26899 26901 24685 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 883307583 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26940] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26940/stat : 26940 (java) S 26899 26901 24685 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 883307583 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26942] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26942/stat : 26942 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118592433 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26944] ppid=26899 vsize=10545872 CPUtime=0.41 cores=1,3,5,7
/proc/26901/task/26944/stat : 26944 (java) S 26899 26901 24685 0 -1 4202560 2457 0 0 0 41 0 0 0 15 0 19 0 883307589 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26946] ppid=26899 vsize=10545872 CPUtime=0.37 cores=1,3,5,7
/proc/26901/task/26946/stat : 26946 (java) S 26899 26901 24685 0 -1 4202560 2505 0 0 0 37 0 0 0 15 0 19 0 883307589 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26948] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26948/stat : 26948 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26950] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26950/stat : 26950 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883307589 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26952] ppid=26899 vsize=10545872 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26899 26901 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307620 10798972928 24562 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 10545872

[startup+6.30053 s]
/proc/loadavg: 1.01 1.06 1.38 3/214 26952
/proc/meminfo: memFree=991876/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=10544780 CPUtime=6.88 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 30188 0 113 0 684 4 0 0 22 0 19 0 883307564 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 2636195 27655 2235 9 0 2626929 0
[pid=26901/tid=26916] ppid=26899 vsize=10544780 CPUtime=6.07 cores=1,3,5,7
/proc/26901/task/26916/stat : 26916 (java) R 26899 26901 24685 0 -1 4202560 24118 0 57 0 604 3 0 0 25 0 19 0 883307574 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 46912505804115 0 4 0 16800975 0 0 0 -1 3 0 0 10
[pid=26901/tid=26926] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26926/stat : 26926 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26928] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26928/stat : 26928 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26929] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26929/stat : 26929 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26930] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26930/stat : 26930 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26931] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26931/stat : 26931 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26932] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26932/stat : 26932 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26933] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26933/stat : 26933 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26934] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26934/stat : 26934 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26936] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26936/stat : 26936 (java) S 26899 26901 24685 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 883307581 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 0 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26938] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26938/stat : 26938 (java) S 26899 26901 24685 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 883307583 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26940] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26940/stat : 26940 (java) S 26899 26901 24685 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 883307583 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26942] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26942/stat : 26942 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118592433 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26944] ppid=26899 vsize=10544780 CPUtime=0.41 cores=1,3,5,7
/proc/26901/task/26944/stat : 26944 (java) S 26899 26901 24685 0 -1 4202560 2457 0 0 0 41 0 0 0 15 0 19 0 883307589 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26946] ppid=26899 vsize=10544780 CPUtime=0.37 cores=1,3,5,7
/proc/26901/task/26946/stat : 26946 (java) S 26899 26901 24685 0 -1 4202560 2505 0 0 0 37 0 0 0 15 0 19 0 883307589 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26948] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26948/stat : 26948 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26950] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26950/stat : 26950 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883307589 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26952] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26899 26901 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307620 10797854720 27655 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 10544780

[startup+12.7014 s]

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

[pid=26901/tid=26932] ppid=26899 vsize=10544780 CPUtime=0.43 cores=1,3,5,7
/proc/26901/task/26932/stat : 26932 (java) S 26899 26901 24685 0 -1 4202560 7484 0 0 0 42 1 0 0 16 0 19 0 883307578 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26933] ppid=26899 vsize=10544780 CPUtime=0.45 cores=1,3,5,7
/proc/26901/task/26933/stat : 26933 (java) S 26899 26901 24685 0 -1 4202560 10445 0 0 0 43 2 0 0 16 0 19 0 883307578 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26934] ppid=26899 vsize=10544780 CPUtime=0.44 cores=1,3,5,7
/proc/26901/task/26934/stat : 26934 (java) S 26899 26901 24685 0 -1 4202560 8317 0 0 0 43 1 0 0 15 0 19 0 883307578 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26936] ppid=26899 vsize=10544780 CPUtime=3.47 cores=1,3,5,7
/proc/26901/task/26936/stat : 26936 (java) S 26899 26901 24685 0 -1 4202560 16757 0 0 0 345 2 0 0 15 0 19 0 883307581 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 0 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26938] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26938/stat : 26938 (java) S 26899 26901 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26940] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26940/stat : 26940 (java) S 26899 26901 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26942] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26942/stat : 26942 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118592433 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26944] ppid=26899 vsize=10544780 CPUtime=0.51 cores=1,3,5,7
/proc/26901/task/26944/stat : 26944 (java) S 26899 26901 24685 0 -1 4202560 3133 0 0 0 51 0 0 0 15 0 19 0 883307589 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26946] ppid=26899 vsize=10544780 CPUtime=0.42 cores=1,3,5,7
/proc/26901/task/26946/stat : 26946 (java) S 26899 26901 24685 0 -1 4202560 2517 0 0 0 42 0 0 0 15 0 19 0 883307589 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26948] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26948/stat : 26948 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26950] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26950/stat : 26950 (java) S 26899 26901 24685 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 883307589 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26952] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26899 26901 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307620 10797854720 119962 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.54
Current children cumulated vsize (KiB) 10544780

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/214 27001
/proc/meminfo: memFree=374064/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=10544780 CPUtime=1725.62 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 123616 0 113 0 172543 19 0 0 22 0 19 0 883307564 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 2636195 119967 2262 9 0 2626929 0
[pid=26901/tid=26916] ppid=26899 vsize=10544780 CPUtime=1717.42 cores=1,3,5,7
/proc/26901/task/26916/stat : 26916 (java) R 26899 26901 24685 0 -1 4202560 43288 0 57 0 171737 5 0 0 25 0 19 0 883307574 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 46912505775159 0 4 0 16800975 0 0 0 -1 3 0 0 10
[pid=26901/tid=26926] ppid=26899 vsize=10544780 CPUtime=0.4 cores=1,3,5,7
/proc/26901/task/26926/stat : 26926 (java) S 26899 26901 24685 0 -1 4202560 7776 0 0 0 39 1 0 0 15 0 19 0 883307578 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26928] ppid=26899 vsize=10544780 CPUtime=0.41 cores=1,3,5,7
/proc/26901/task/26928/stat : 26928 (java) S 26899 26901 24685 0 -1 4202560 5157 0 0 0 41 0 0 0 16 0 19 0 883307578 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26929] ppid=26899 vsize=10544780 CPUtime=0.42 cores=1,3,5,7
/proc/26901/task/26929/stat : 26929 (java) S 26899 26901 24685 0 -1 4202560 5892 0 0 0 41 1 0 0 15 0 19 0 883307578 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26930] ppid=26899 vsize=10544780 CPUtime=0.4 cores=1,3,5,7
/proc/26901/task/26930/stat : 26930 (java) S 26899 26901 24685 0 -1 4202560 4357 0 0 0 40 0 0 0 16 0 19 0 883307578 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26931] ppid=26899 vsize=10544780 CPUtime=0.51 cores=1,3,5,7
/proc/26901/task/26931/stat : 26931 (java) S 26899 26901 24685 0 -1 4202560 7290 0 0 0 50 1 0 0 15 0 19 0 883307578 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26932] ppid=26899 vsize=10544780 CPUtime=0.44 cores=1,3,5,7
/proc/26901/task/26932/stat : 26932 (java) S 26899 26901 24685 0 -1 4202560 7484 0 0 0 43 1 0 0 15 0 19 0 883307578 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26933] ppid=26899 vsize=10544780 CPUtime=0.46 cores=1,3,5,7
/proc/26901/task/26933/stat : 26933 (java) S 26899 26901 24685 0 -1 4202560 10445 0 0 0 44 2 0 0 15 0 19 0 883307578 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26934] ppid=26899 vsize=10544780 CPUtime=0.46 cores=1,3,5,7
/proc/26901/task/26934/stat : 26934 (java) S 26899 26901 24685 0 -1 4202560 8317 0 0 0 45 1 0 0 15 0 19 0 883307578 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26936] ppid=26899 vsize=10544780 CPUtime=3.66 cores=1,3,5,7
/proc/26901/task/26936/stat : 26936 (java) S 26899 26901 24685 0 -1 4202560 16761 0 0 0 364 2 0 0 15 0 19 0 883307581 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 0 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26938] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26938/stat : 26938 (java) S 26899 26901 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26940] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26940/stat : 26940 (java) S 26899 26901 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26942] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26942/stat : 26942 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118592433 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26944] ppid=26899 vsize=10544780 CPUtime=0.51 cores=1,3,5,7
/proc/26901/task/26944/stat : 26944 (java) S 26899 26901 24685 0 -1 4202560 3133 0 0 0 51 0 0 0 15 0 19 0 883307589 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26946] ppid=26899 vsize=10544780 CPUtime=0.42 cores=1,3,5,7
/proc/26901/task/26946/stat : 26946 (java) S 26899 26901 24685 0 -1 4202560 2517 0 0 0 42 0 0 0 15 0 19 0 883307589 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26948] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26948/stat : 26948 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26950] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26950/stat : 26950 (java) S 26899 26901 24685 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 883307589 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26952] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26899 26901 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307620 10797854720 119967 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.62
Current children cumulated vsize (KiB) 10544780

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/214 27002
/proc/meminfo: memFree=373500/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=10544780 CPUtime=1785.7 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 123628 0 113 0 178551 19 0 0 22 0 19 0 883307564 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 2636195 119971 2262 9 0 2626929 0
[pid=26901/tid=26916] ppid=26899 vsize=10544780 CPUtime=1777.3 cores=1,3,5,7
/proc/26901/task/26916/stat : 26916 (java) R 26899 26901 24685 0 -1 4202560 43290 0 57 0 177725 5 0 0 25 0 19 0 883307574 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 46912505742880 0 4 0 16800975 0 0 0 -1 3 0 0 10
[pid=26901/tid=26926] ppid=26899 vsize=10544780 CPUtime=0.43 cores=1,3,5,7
/proc/26901/task/26926/stat : 26926 (java) S 26899 26901 24685 0 -1 4202560 7776 0 0 0 42 1 0 0 16 0 19 0 883307578 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26928] ppid=26899 vsize=10544780 CPUtime=0.44 cores=1,3,5,7
/proc/26901/task/26928/stat : 26928 (java) S 26899 26901 24685 0 -1 4202560 5161 0 0 0 44 0 0 0 16 0 19 0 883307578 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26929] ppid=26899 vsize=10544780 CPUtime=0.43 cores=1,3,5,7
/proc/26901/task/26929/stat : 26929 (java) S 26899 26901 24685 0 -1 4202560 5892 0 0 0 42 1 0 0 15 0 19 0 883307578 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26930] ppid=26899 vsize=10544780 CPUtime=0.41 cores=1,3,5,7
/proc/26901/task/26930/stat : 26930 (java) S 26899 26901 24685 0 -1 4202560 4357 0 0 0 41 0 0 0 15 0 19 0 883307578 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26931] ppid=26899 vsize=10544780 CPUtime=0.52 cores=1,3,5,7
/proc/26901/task/26931/stat : 26931 (java) S 26899 26901 24685 0 -1 4202560 7290 0 0 0 51 1 0 0 16 0 19 0 883307578 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26932] ppid=26899 vsize=10544780 CPUtime=0.44 cores=1,3,5,7
/proc/26901/task/26932/stat : 26932 (java) S 26899 26901 24685 0 -1 4202560 7484 0 0 0 43 1 0 0 15 0 19 0 883307578 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26933] ppid=26899 vsize=10544780 CPUtime=0.47 cores=1,3,5,7
/proc/26901/task/26933/stat : 26933 (java) S 26899 26901 24685 0 -1 4202560 10445 0 0 0 45 2 0 0 16 0 19 0 883307578 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26934] ppid=26899 vsize=10544780 CPUtime=0.46 cores=1,3,5,7
/proc/26901/task/26934/stat : 26934 (java) S 26899 26901 24685 0 -1 4202560 8317 0 0 0 45 1 0 0 15 0 19 0 883307578 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26936] ppid=26899 vsize=10544780 CPUtime=3.75 cores=1,3,5,7
/proc/26901/task/26936/stat : 26936 (java) S 26899 26901 24685 0 -1 4202560 16765 0 0 0 373 2 0 0 15 0 19 0 883307581 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 0 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26938] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26938/stat : 26938 (java) S 26899 26901 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26940] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26940/stat : 26940 (java) S 26899 26901 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26942] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26942/stat : 26942 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118592433 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26944] ppid=26899 vsize=10544780 CPUtime=0.51 cores=1,3,5,7
/proc/26901/task/26944/stat : 26944 (java) S 26899 26901 24685 0 -1 4202560 3133 0 0 0 51 0 0 0 15 0 19 0 883307589 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26946] ppid=26899 vsize=10544780 CPUtime=0.42 cores=1,3,5,7
/proc/26901/task/26946/stat : 26946 (java) S 26899 26901 24685 0 -1 4202560 2517 0 0 0 42 0 0 0 15 0 19 0 883307589 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26948] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26948/stat : 26948 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26950] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26950/stat : 26950 (java) S 26899 26901 24685 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 883307589 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26952] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26899 26901 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307620 10797854720 119971 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.7
Current children cumulated vsize (KiB) 10544780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 1.88 2/194 27006
/proc/meminfo: memFree=724308/32951124 swapFree=67055536/67111528
[pid=26901] ppid=26899 vsize=10544780 CPUtime=1800.06 cores=1,3,5,7
/proc/26901/stat : 26901 (java) S 26899 26901 24685 0 -1 4202496 124279 0 113 0 179987 19 0 0 22 0 19 0 883307564 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/26901/statm: 2636195 120617 2262 9 0 2626929 0
[pid=26901/tid=26916] ppid=26899 vsize=10544780 CPUtime=1791.54 cores=1,3,5,7
/proc/26901/task/26916/stat : 26916 (java) R 26899 26901 24685 0 -1 4202560 43291 0 57 0 179149 5 0 0 25 0 19 0 883307574 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 46912505832384 0 4 0 16800975 0 0 0 -1 3 0 0 10
[pid=26901/tid=26926] ppid=26899 vsize=10544780 CPUtime=0.44 cores=1,3,5,7
/proc/26901/task/26926/stat : 26926 (java) S 26899 26901 24685 0 -1 4202560 7987 0 0 0 43 1 0 0 16 0 19 0 883307578 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26928] ppid=26899 vsize=10544780 CPUtime=0.46 cores=1,3,5,7
/proc/26901/task/26928/stat : 26928 (java) S 26899 26901 24685 0 -1 4202560 5324 0 0 0 46 0 0 0 16 0 19 0 883307578 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26929] ppid=26899 vsize=10544780 CPUtime=0.43 cores=1,3,5,7
/proc/26901/task/26929/stat : 26929 (java) S 26899 26901 24685 0 -1 4202560 5892 0 0 0 42 1 0 0 15 0 19 0 883307578 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26930] ppid=26899 vsize=10544780 CPUtime=0.41 cores=1,3,5,7
/proc/26901/task/26930/stat : 26930 (java) S 26899 26901 24685 0 -1 4202560 4357 0 0 0 41 0 0 0 15 0 19 0 883307578 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26931] ppid=26899 vsize=10544780 CPUtime=0.54 cores=1,3,5,7
/proc/26901/task/26931/stat : 26931 (java) S 26899 26901 24685 0 -1 4202560 7384 0 0 0 53 1 0 0 16 0 19 0 883307578 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26932] ppid=26899 vsize=10544780 CPUtime=0.46 cores=1,3,5,7
/proc/26901/task/26932/stat : 26932 (java) S 26899 26901 24685 0 -1 4202560 7662 0 0 0 45 1 0 0 16 0 19 0 883307578 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26933] ppid=26899 vsize=10544780 CPUtime=0.47 cores=1,3,5,7
/proc/26901/task/26933/stat : 26933 (java) S 26899 26901 24685 0 -1 4202560 10445 0 0 0 45 2 0 0 15 0 19 0 883307578 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26934] ppid=26899 vsize=10544780 CPUtime=0.46 cores=1,3,5,7
/proc/26901/task/26934/stat : 26934 (java) S 26899 26901 24685 0 -1 4202560 8317 0 0 0 45 1 0 0 15 0 19 0 883307578 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 3 0 0 0
[pid=26901/tid=26936] ppid=26899 vsize=10544780 CPUtime=3.8 cores=1,3,5,7
/proc/26901/task/26936/stat : 26936 (java) S 26899 26901 24685 0 -1 4202560 16767 0 0 0 378 2 0 0 15 0 19 0 883307581 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 0 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26938] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26938/stat : 26938 (java) S 26899 26901 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26940] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26940/stat : 26940 (java) S 26899 26901 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26942] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26942/stat : 26942 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118592433 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26944] ppid=26899 vsize=10544780 CPUtime=0.51 cores=1,3,5,7
/proc/26901/task/26944/stat : 26944 (java) S 26899 26901 24685 0 -1 4202560 3133 0 0 0 51 0 0 0 15 0 19 0 883307589 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26946] ppid=26899 vsize=10544780 CPUtime=0.42 cores=1,3,5,7
/proc/26901/task/26946/stat : 26946 (java) S 26899 26901 24685 0 -1 4202560 2517 0 0 0 42 0 0 0 15 0 19 0 883307589 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 5 0 0 0
[pid=26901/tid=26948] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26948/stat : 26948 (java) S 26899 26901 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118584729 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
[pid=26901/tid=26950] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26950/stat : 26950 (java) S 26899 26901 24685 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 883307589 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 1 0 0 0
[pid=26901/tid=26952] ppid=26899 vsize=10544780 CPUtime=0 cores=1,3,5,7
/proc/26901/task/26952/stat : 26952 (java) S 26899 26901 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307620 10797854720 120617 33554432000 1073741824 1073778376 140735063695840 18446744073709551615 255118585344 0 4 0 16800975 18446604471159080256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10544780

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

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

Child status: 143
Real time (s): 1796.68
CPU time (s): 1800.18
CPU user time (s): 1799.96
CPU system time (s): 0.216967
CPU usage (%): 100.195
Max. virtual memory (cumulated for all children) (KiB): 10545872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124459
page faults= 113
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39559
involuntary context switches= 8298

runsolver used 2.92955 second user time and 6.89195 second system time

The end

Begin job on node144 at 2011-06-12 22:01:54
IDJOB=3492271
IDBENCH=78716
IDSOLVER=1982
FILE ID=node144/3492271-1307908914
RUNJOBID= node144-1307908914-26888
PBS_JOBID= 13559564
Free space on /var/tmp= 2912 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492271-1307908914/watcher-3492271-1307908914 -o /var/tmp/evaluation-result-3492271-1307908914/solver-3492271-1307908914 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492271-1307908914.wbo

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

MD5SUM BENCH= 7f95aa45daecbcbe8d128ff4aa3d1714
RANDOM SEED=705213759

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1217128 kB
Buffers:         60548 kB
Cached:       30696592 kB
SwapCached:       9264 kB
Active:       15500256 kB
Inactive:     15275504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1217128 kB
SwapTotal:    67111528 kB
SwapFree:     67055536 kB
Dirty:             400 kB
Writeback:           0 kB
AnonPages:       16164 kB
Mapped:          12448 kB
Slab:           892804 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2912 MiB
End job on node144 at 2011-06-12 22:31:53