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

OK	1

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698593-1278327188/watcher-2698593-1278327188 -o /tmp/evaluation-result-2698593-1278327188/solver-2698593-1278327188 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698593-1278327188.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.01 1.92 3/196 4603
/proc/meminfo: memFree=32383608/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=13484 CPUtime=0
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 1109 0 0 0 0 0 0 0 25 0 2 0 932243 13807616 579 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 3371 579 262 10 0 1205 0
[pid=4603/tid=4604] ppid=4601 vsize=13480 CPUtime=0
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 70 0 0 0 0 0 0 0 25 0 2 0 932244 13803520 582 4089446400 134512640 134550932 4286928528 18446744073709551615 11375188 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.068223 s]
/proc/loadavg: 2.05 2.01 1.92 3/196 4603
/proc/meminfo: memFree=32383608/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1527840 CPUtime=0.05
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 4325 0 1 0 5 0 0 0 25 0 18 0 932243 1564508160 3762 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 381960 3770 1099 10 0 379263 0
[pid=4603/tid=4604] ppid=4601 vsize=1527840 CPUtime=0.05
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 3235 0 1 0 5 0 0 0 25 0 18 0 932244 1564508160 3772 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1527840

[startup+0.100215 s]
/proc/loadavg: 2.05 2.01 1.92 3/196 4603
/proc/meminfo: memFree=32383608/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1529888 CPUtime=0.11
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 5278 0 1 0 11 0 0 0 25 0 18 0 932243 1566605312 4714 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 382472 4714 1347 10 0 379775 0
[pid=4603/tid=4604] ppid=4601 vsize=1529888 CPUtime=0.08
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 3619 0 1 0 8 0 0 0 25 0 18 0 932244 1566605312 4714 4089446400 134512640 134550932 4286928528 18446744073709551615 4109124932 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1529888

[startup+0.300182 s]
/proc/loadavg: 2.05 2.01 1.92 3/196 4603
/proc/meminfo: memFree=32383608/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1533652 CPUtime=0.61
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 8477 0 1 0 60 1 0 0 25 0 18 0 932243 1570459648 7809 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 383413 7809 1413 10 0 380716 0
[pid=4603/tid=4604] ppid=4601 vsize=1533652 CPUtime=0.28
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 5722 0 1 0 27 1 0 0 25 0 18 0 932244 1570459648 7809 4089446400 134512640 134550932 4286928528 18446744073709551615 103615333 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 1533652

[startup+0.701112 s]
/proc/loadavg: 2.05 2.01 1.92 3/196 4603
/proc/meminfo: memFree=32383608/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1545884 CPUtime=1.77
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 16926 0 1 0 174 3 0 0 25 0 19 0 932243 1582985216 13048 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 386471 13048 1425 10 0 383774 0
[pid=4603/tid=4604] ppid=4601 vsize=1545884 CPUtime=0.68
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 7743 0 1 0 67 1 0 0 25 0 19 0 932244 1582985216 13048 4089446400 134512640 134550932 4286928528 18446744073709551615 4109163380 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 1545884

[startup+1.50108 s]
/proc/loadavg: 2.05 2.01 1.92 3/215 4622
/proc/meminfo: memFree=32330332/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1545884 CPUtime=2.63
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 20220 0 1 0 260 3 0 0 25 0 19 0 932243 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 386471 16322 1427 10 0 383774 0
[pid=4603/tid=4604] ppid=4601 vsize=1545884 CPUtime=1.48
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 11008 0 1 0 147 1 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4603/tid=4606] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4606/stat : 4606 (java) S 4601 4603 3781 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4607] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4607/stat : 4607 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4608] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4608/stat : 4608 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4609] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4609/stat : 4609 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4610] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4610/stat : 4610 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4611] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4611/stat : 4611 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4612] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4612/stat : 4612 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4613] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4613/stat : 4613 (java) S 4601 4603 3781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 16322 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4614] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4614/stat : 4614 (java) S 4601 4603 3781 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 932245 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4615] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4615/stat : 4615 (java) S 4601 4603 3781 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 932245 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4616] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4616/stat : 4616 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932245 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4617] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4617/stat : 4617 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932247 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4618] ppid=4601 vsize=1545884 CPUtime=0.55
/proc/4603/task/4618/stat : 4618 (java) S 4601 4603 3781 0 -1 4202560 5241 0 0 0 54 1 0 0 24 0 19 0 932247 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4619] ppid=4601 vsize=1545884 CPUtime=0.58
/proc/4603/task/4619/stat : 4619 (java) S 4601 4603 3781 0 -1 4202560 2897 0 0 0 58 0 0 0 20 0 19 0 932247 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4620] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4620/stat : 4620 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932247 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4621] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4621/stat : 4621 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 932247 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 2 0 0 0
[pid=4603/tid=4622] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4622/stat : 4622 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932279 1582985216 16323 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 1545884

[startup+3.10081 s]
/proc/loadavg: 2.05 2.01 1.92 3/215 4622
/proc/meminfo: memFree=32318304/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1545884 CPUtime=4.23
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 23045 0 1 0 419 4 0 0 25 0 19 0 932243 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 386471 19146 1427 10 0 383774 0
[pid=4603/tid=4604] ppid=4601 vsize=1545884 CPUtime=3.08
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 13833 0 1 0 306 2 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4603/tid=4606] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4606/stat : 4606 (java) S 4601 4603 3781 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4607] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4607/stat : 4607 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4608] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4608/stat : 4608 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4609] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4609/stat : 4609 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4610] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4610/stat : 4610 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4611] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4611/stat : 4611 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4612] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4612/stat : 4612 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4613] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4613/stat : 4613 (java) S 4601 4603 3781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 932244 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4614] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4614/stat : 4614 (java) S 4601 4603 3781 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 932245 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4615] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4615/stat : 4615 (java) S 4601 4603 3781 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 932245 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4616] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4616/stat : 4616 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932245 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4617] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4617/stat : 4617 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932247 1582985216 19146 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4618] ppid=4601 vsize=1545884 CPUtime=0.55
/proc/4603/task/4618/stat : 4618 (java) S 4601 4603 3781 0 -1 4202560 5241 0 0 0 54 1 0 0 24 0 19 0 932247 1582985216 19147 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4619] ppid=4601 vsize=1545884 CPUtime=0.58
/proc/4603/task/4619/stat : 4619 (java) S 4601 4603 3781 0 -1 4202560 2897 0 0 0 58 0 0 0 20 0 19 0 932247 1582985216 19147 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4620] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4620/stat : 4620 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932247 1582985216 19147 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4621] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4621/stat : 4621 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 932247 1582985216 19147 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 7 0 0 0
[pid=4603/tid=4622] ppid=4601 vsize=1545884 CPUtime=0
/proc/4603/task/4622/stat : 4622 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932279 1582985216 19147 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 1545884

[startup+6.30113 s]
/proc/loadavg: 2.05 2.01 1.92 3/215 4623
/proc/meminfo: memFree=32285300/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1545200 CPUtime=7.49
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 29627 0 1 0 745 4 0 0 25 0 19 0 932243 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 386300 25445 1442 10 0 383603 0
[pid=4603/tid=4604] ppid=4601 vsize=1545200 CPUtime=6.24
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 14488 0 1 0 622 2 0 0 25 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4109742468 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4603/tid=4606] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4606/stat : 4606 (java) S 4601 4603 3781 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 7 0 0 0
[pid=4603/tid=4607] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4607/stat : 4607 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4608] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4608/stat : 4608 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 4 0 0 0
[pid=4603/tid=4609] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4609/stat : 4609 (java) S 4601 4603 3781 0 -1 4202560 472 0 0 0 0 0 0 0 18 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 4 0 0 0
[pid=4603/tid=4610] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4610/stat : 4610 (java) S 4601 4603 3781 0 -1 4202560 446 0 0 0 0 0 0 0 18 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4611] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4611/stat : 4611 (java) S 4601 4603 3781 0 -1 4202560 880 0 0 0 0 0 0 0 18 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4612] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4612/stat : 4612 (java) S 4601 4603 3781 0 -1 4202560 1050 0 0 0 0 0 0 0 18 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 7 0 0 0
[pid=4603/tid=4613] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4613/stat : 4613 (java) S 4601 4603 3781 0 -1 4202560 151 0 0 0 0 0 0 0 18 0 19 0 932244 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4614] ppid=4601 vsize=1545200 CPUtime=0.01
/proc/4603/task/4614/stat : 4614 (java) S 4601 4603 3781 0 -1 4202560 2793 0 0 0 1 0 0 0 15 0 19 0 932245 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4615] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4615/stat : 4615 (java) S 4601 4603 3781 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932245 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4616] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4616/stat : 4616 (java) S 4601 4603 3781 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932245 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4617] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4617/stat : 4617 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932247 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4618] ppid=4601 vsize=1545200 CPUtime=0.57
/proc/4603/task/4618/stat : 4618 (java) S 4601 4603 3781 0 -1 4202560 5247 0 0 0 56 1 0 0 18 0 19 0 932247 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4619] ppid=4601 vsize=1545200 CPUtime=0.62
/proc/4603/task/4619/stat : 4619 (java) S 4601 4603 3781 0 -1 4202560 3029 0 0 0 62 0 0 0 15 0 19 0 932247 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4620] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4620/stat : 4620 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932247 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4621] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4621/stat : 4621 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 932247 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 7 0 0 0
[pid=4603/tid=4622] ppid=4601 vsize=1545200 CPUtime=0
/proc/4603/task/4622/stat : 4622 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932279 1582284800 25445 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 1545200


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

[pid=4603/tid=4611] ppid=4601 vsize=1546224 CPUtime=0.38
/proc/4603/task/4611/stat : 4611 (java) S 4601 4603 3781 0 -1 4202560 6113 0 0 0 36 2 0 0 16 0 19 0 932244 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4612] ppid=4601 vsize=1546224 CPUtime=0.4
/proc/4603/task/4612/stat : 4612 (java) S 4601 4603 3781 0 -1 4202560 6885 0 0 0 37 3 0 0 15 0 19 0 932244 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 3 0 0 0
[pid=4603/tid=4613] ppid=4601 vsize=1546224 CPUtime=0.46
/proc/4603/task/4613/stat : 4613 (java) S 4601 4603 3781 0 -1 4202560 6779 0 0 0 42 4 0 0 16 0 19 0 932244 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4614] ppid=4601 vsize=1546224 CPUtime=2.79
/proc/4603/task/4614/stat : 4614 (java) S 4601 4603 3781 0 -1 4202560 4973 0 0 0 278 1 0 0 15 0 19 0 932245 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446604453982587840 0 0 -1 4 0 0 0
[pid=4603/tid=4615] ppid=4601 vsize=1546224 CPUtime=0
/proc/4603/task/4615/stat : 4615 (java) S 4601 4603 3781 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932245 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4616] ppid=4601 vsize=1546224 CPUtime=0
/proc/4603/task/4616/stat : 4616 (java) S 4601 4603 3781 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932245 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4617] ppid=4601 vsize=1546224 CPUtime=0
/proc/4603/task/4617/stat : 4617 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932247 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4618] ppid=4601 vsize=1546224 CPUtime=0.64
/proc/4603/task/4618/stat : 4618 (java) S 4601 4603 3781 0 -1 4202560 5279 0 0 0 63 1 0 0 15 0 19 0 932247 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4619] ppid=4601 vsize=1546224 CPUtime=0.66
/proc/4603/task/4619/stat : 4619 (java) S 4601 4603 3781 0 -1 4202560 3072 0 0 0 66 0 0 0 15 0 19 0 932247 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4620] ppid=4601 vsize=1546224 CPUtime=0
/proc/4603/task/4620/stat : 4620 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932247 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4621] ppid=4601 vsize=1546224 CPUtime=0
/proc/4603/task/4621/stat : 4621 (java) S 4601 4603 3781 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 932247 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4622] ppid=4601 vsize=1546224 CPUtime=0
/proc/4603/task/4622/stat : 4622 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932279 1583333376 80955 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1726.42
Current children cumulated vsize (KiB) 1546224

[startup+1782.3 s]
/proc/loadavg: 1.47 1.90 1.95 2/189 4706
/proc/meminfo: memFree=32116708/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1547248 CPUtime=1786.55
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 103305 0 1 0 178613 42 0 0 25 0 19 0 932243 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 386812 91981 1442 10 0 384115 0
[pid=4603/tid=4604] ppid=4601 vsize=1547248 CPUtime=1778.79
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 32119 0 1 0 177874 5 0 0 25 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4109699777 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4603/tid=4606] ppid=4601 vsize=1547248 CPUtime=0.46
/proc/4603/task/4606/stat : 4606 (java) S 4601 4603 3781 0 -1 4202560 8158 0 0 0 42 4 0 0 16 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
[pid=4603/tid=4607] ppid=4601 vsize=1547248 CPUtime=0.38
/proc/4603/task/4607/stat : 4607 (java) S 4601 4603 3781 0 -1 4202560 6031 0 0 0 35 3 0 0 15 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 3 0 0 0
[pid=4603/tid=4608] ppid=4601 vsize=1547248 CPUtime=0.4
/proc/4603/task/4608/stat : 4608 (java) S 4601 4603 3781 0 -1 4202560 6875 0 0 0 36 4 0 0 15 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4609] ppid=4601 vsize=1547248 CPUtime=0.45
/proc/4603/task/4609/stat : 4609 (java) S 4601 4603 3781 0 -1 4202560 6253 0 0 0 42 3 0 0 16 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 2 0 0 0
[pid=4603/tid=4610] ppid=4601 vsize=1547248 CPUtime=0.5
/proc/4603/task/4610/stat : 4610 (java) S 4601 4603 3781 0 -1 4202560 6359 0 0 0 46 4 0 0 15 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 7 0 0 0
[pid=4603/tid=4611] ppid=4601 vsize=1547248 CPUtime=0.39
/proc/4603/task/4611/stat : 4611 (java) S 4601 4603 3781 0 -1 4202560 6965 0 0 0 37 2 0 0 16 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4612] ppid=4601 vsize=1547248 CPUtime=0.43
/proc/4603/task/4612/stat : 4612 (java) S 4601 4603 3781 0 -1 4202560 8128 0 0 0 39 4 0 0 16 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 5 0 0 0
[pid=4603/tid=4613] ppid=4601 vsize=1547248 CPUtime=0.48
/proc/4603/task/4613/stat : 4613 (java) S 4601 4603 3781 0 -1 4202560 7922 0 0 0 44 4 0 0 16 0 19 0 932244 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4614] ppid=4601 vsize=1547248 CPUtime=2.84
/proc/4603/task/4614/stat : 4614 (java) S 4601 4603 3781 0 -1 4202560 4975 0 0 0 283 1 0 0 15 0 19 0 932245 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446604453982587840 0 0 -1 4 0 0 0
[pid=4603/tid=4615] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4615/stat : 4615 (java) S 4601 4603 3781 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932245 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4616] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4616/stat : 4616 (java) S 4601 4603 3781 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932245 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4617] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4617/stat : 4617 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932247 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4618] ppid=4601 vsize=1547248 CPUtime=0.64
/proc/4603/task/4618/stat : 4618 (java) S 4601 4603 3781 0 -1 4202560 5279 0 0 0 63 1 0 0 15 0 19 0 932247 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4619] ppid=4601 vsize=1547248 CPUtime=0.66
/proc/4603/task/4619/stat : 4619 (java) S 4601 4603 3781 0 -1 4202560 3072 0 0 0 66 0 0 0 15 0 19 0 932247 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4620] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4620/stat : 4620 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932247 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4621] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4621/stat : 4621 (java) S 4601 4603 3781 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 932247 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
[pid=4603/tid=4622] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4622/stat : 4622 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932279 1584381952 91981 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (KiB) 1547248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 1.37 1.85 1.94 2/189 4706
/proc/meminfo: memFree=32115828/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1547248 CPUtime=1800.05
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 103680 0 1 0 179962 43 0 0 25 0 19 0 932243 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 386812 92320 1442 10 0 384115 0
[pid=4603/tid=4604] ppid=4601 vsize=1547248 CPUtime=1792.18
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 32132 0 1 0 179213 5 0 0 25 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4109927996 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4603/tid=4606] ppid=4601 vsize=1547248 CPUtime=0.47
/proc/4603/task/4606/stat : 4606 (java) S 4601 4603 3781 0 -1 4202560 8208 0 0 0 43 4 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
[pid=4603/tid=4607] ppid=4601 vsize=1547248 CPUtime=0.39
/proc/4603/task/4607/stat : 4607 (java) S 4601 4603 3781 0 -1 4202560 6050 0 0 0 36 3 0 0 15 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 3 0 0 0
[pid=4603/tid=4608] ppid=4601 vsize=1547248 CPUtime=0.41
/proc/4603/task/4608/stat : 4608 (java) S 4601 4603 3781 0 -1 4202560 6910 0 0 0 37 4 0 0 15 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 4 0 0 0
[pid=4603/tid=4609] ppid=4601 vsize=1547248 CPUtime=0.46
/proc/4603/task/4609/stat : 4609 (java) S 4601 4603 3781 0 -1 4202560 6315 0 0 0 43 3 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 2 0 0 0
[pid=4603/tid=4610] ppid=4601 vsize=1547248 CPUtime=0.51
/proc/4603/task/4610/stat : 4610 (java) S 4601 4603 3781 0 -1 4202560 6410 0 0 0 47 4 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 7 0 0 0
[pid=4603/tid=4611] ppid=4601 vsize=1547248 CPUtime=0.42
/proc/4603/task/4611/stat : 4611 (java) S 4601 4603 3781 0 -1 4202560 7020 0 0 0 39 3 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4612] ppid=4601 vsize=1547248 CPUtime=0.44
/proc/4603/task/4612/stat : 4612 (java) S 4601 4603 3781 0 -1 4202560 8173 0 0 0 40 4 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 5 0 0 0
[pid=4603/tid=4613] ppid=4601 vsize=1547248 CPUtime=0.49
/proc/4603/task/4613/stat : 4613 (java) S 4601 4603 3781 0 -1 4202560 7965 0 0 0 45 4 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4614] ppid=4601 vsize=1547248 CPUtime=2.84
/proc/4603/task/4614/stat : 4614 (java) S 4601 4603 3781 0 -1 4202560 4977 0 0 0 283 1 0 0 15 0 19 0 932245 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446604453982587840 0 0 -1 4 0 0 0
[pid=4603/tid=4615] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4615/stat : 4615 (java) S 4601 4603 3781 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932245 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4616] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4616/stat : 4616 (java) S 4601 4603 3781 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932245 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4617] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4617/stat : 4617 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4618] ppid=4601 vsize=1547248 CPUtime=0.64
/proc/4603/task/4618/stat : 4618 (java) S 4601 4603 3781 0 -1 4202560 5279 0 0 0 63 1 0 0 15 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4619] ppid=4601 vsize=1547248 CPUtime=0.66
/proc/4603/task/4619/stat : 4619 (java) S 4601 4603 3781 0 -1 4202560 3072 0 0 0 66 0 0 0 15 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4620] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4620/stat : 4620 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4621] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4621/stat : 4621 (java) S 4601 4603 3781 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
[pid=4603/tid=4622] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4622/stat : 4622 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932279 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1547248

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

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

[startup+1795.7 s]
/proc/loadavg: 1.37 1.85 1.94 2/189 4706
/proc/meminfo: memFree=32115828/32950928 swapFree=4192956/4192956
[pid=4603] ppid=4601 vsize=1547248 CPUtime=1800.05
/proc/4603/stat : 4603 (java) S 4601 4603 3781 0 -1 4202496 103680 0 1 0 179962 43 0 0 25 0 19 0 932243 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 386812 92320 1442 10 0 384115 0
[pid=4603/tid=4604] ppid=4601 vsize=1547248 CPUtime=1792.18
/proc/4603/task/4604/stat : 4604 (java) R 4601 4603 3781 0 -1 4202560 32132 0 1 0 179213 5 0 0 25 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4109927996 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4603/tid=4606] ppid=4601 vsize=1547248 CPUtime=0.47
/proc/4603/task/4606/stat : 4606 (java) S 4601 4603 3781 0 -1 4202560 8208 0 0 0 43 4 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
[pid=4603/tid=4607] ppid=4601 vsize=1547248 CPUtime=0.39
/proc/4603/task/4607/stat : 4607 (java) S 4601 4603 3781 0 -1 4202560 6050 0 0 0 36 3 0 0 15 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 3 0 0 0
[pid=4603/tid=4608] ppid=4601 vsize=1547248 CPUtime=0.41
/proc/4603/task/4608/stat : 4608 (java) S 4601 4603 3781 0 -1 4202560 6910 0 0 0 37 4 0 0 15 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 4 0 0 0
[pid=4603/tid=4609] ppid=4601 vsize=1547248 CPUtime=0.46
/proc/4603/task/4609/stat : 4609 (java) S 4601 4603 3781 0 -1 4202560 6315 0 0 0 43 3 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 2 0 0 0
[pid=4603/tid=4610] ppid=4601 vsize=1547248 CPUtime=0.51
/proc/4603/task/4610/stat : 4610 (java) S 4601 4603 3781 0 -1 4202560 6410 0 0 0 47 4 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 7 0 0 0
[pid=4603/tid=4611] ppid=4601 vsize=1547248 CPUtime=0.42
/proc/4603/task/4611/stat : 4611 (java) S 4601 4603 3781 0 -1 4202560 7020 0 0 0 39 3 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4612] ppid=4601 vsize=1547248 CPUtime=0.44
/proc/4603/task/4612/stat : 4612 (java) S 4601 4603 3781 0 -1 4202560 8173 0 0 0 40 4 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 5 0 0 0
[pid=4603/tid=4613] ppid=4601 vsize=1547248 CPUtime=0.49
/proc/4603/task/4613/stat : 4613 (java) S 4601 4603 3781 0 -1 4202560 7965 0 0 0 45 4 0 0 16 0 19 0 932244 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4614] ppid=4601 vsize=1547248 CPUtime=2.84
/proc/4603/task/4614/stat : 4614 (java) S 4601 4603 3781 0 -1 4202560 4977 0 0 0 283 1 0 0 15 0 19 0 932245 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 0 0 16800975 18446604453982587840 0 0 -1 4 0 0 0
[pid=4603/tid=4615] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4615/stat : 4615 (java) S 4601 4603 3781 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932245 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4616] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4616/stat : 4616 (java) S 4601 4603 3781 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932245 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4617] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4617/stat : 4617 (java) S 4601 4603 3781 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4618] ppid=4601 vsize=1547248 CPUtime=0.64
/proc/4603/task/4618/stat : 4618 (java) S 4601 4603 3781 0 -1 4202560 5279 0 0 0 63 1 0 0 15 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4619] ppid=4601 vsize=1547248 CPUtime=0.66
/proc/4603/task/4619/stat : 4619 (java) S 4601 4603 3781 0 -1 4202560 3072 0 0 0 66 0 0 0 15 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 0 0 0 0
[pid=4603/tid=4620] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4620/stat : 4620 (java) S 4601 4603 3781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 6 0 0 0
[pid=4603/tid=4621] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4621/stat : 4621 (java) S 4601 4603 3781 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 932247 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
[pid=4603/tid=4622] ppid=4601 vsize=1547248 CPUtime=0
/proc/4603/task/4622/stat : 4622 (java) S 4601 4603 3781 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 932279 1584381952 92320 4089446400 134512640 134550932 4286928528 18446744073709551615 4294960144 0 4 0 16800975 18446604453982587840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1547248

Child status: 143
Real time (s): 1795.81
CPU time (s): 1800.25
CPU user time (s): 1799.8
CPU system time (s): 0.444932
CPU usage (%): 100.247
Max. virtual memory (cumulated for all children) (KiB): 1548200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.444932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103705
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38663
involuntary context switches= 63446

runsolver used 3.34549 second user time and 6.88995 second system time

The end

Begin job on node124 at 2010-07-05 12:53:08
IDJOB=2698593
IDBENCH=79183
IDSOLVER=1211
FILE ID=node124/2698593-1278327188
PBS_JOBID= 11207448
Free space on /tmp= 130648 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.1
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698593-1278327188/watcher-2698593-1278327188 -o /tmp/evaluation-result-2698593-1278327188/solver-2698593-1278327188 -C 1800 -W 2000 -M 3800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698593-1278327188.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 74ceb63f540b1c0e7b9983b4b6436598
RANDOM SEED=1524072840

node124.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.846
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.69
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.846
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.14
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.846
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.846
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.82
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.846
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.846
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.846
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.76
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32384012 kB
Buffers:         24924 kB
Cached:         314748 kB
SwapCached:          0 kB
Active:         240488 kB
Inactive:       258300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32384012 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             492 kB
Writeback:           0 kB
AnonPages:      159232 kB
Mapped:          20368 kB
Slab:            36108 kB
PageTables:       5372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:  1636384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130648 MiB
End job on node124 at 2010-07-05 13:23:06