0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		12995394264
0.02/0.09	c Max memory 		13063553024
0.02/0.09	c Total memory 		13063553024
0.02/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458476-1307155989.opb
0.10/0.12	c reading problem ... 
1.00/0.50	c ... done. Wall clock time 0.381s.
1.00/0.50	c #vars     9709
1.00/0.50	c #constraints  29891
1.00/0.50	c constraints type 
1.00/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4950
1.00/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23997
1.22/0.62	c SATISFIABLE
1.22/0.62	c OPTIMIZING...
1.22/0.62	c Got one! Elapsed wall clock time (in seconds):0.502
1.22/0.62	o 39
1.47/0.70	c Got one! Elapsed wall clock time (in seconds):0.586
1.47/0.70	o 36
1.68/0.83	c Got one! Elapsed wall clock time (in seconds):0.712
1.68/0.83	o 34
1.83/1.01	c Got one! Elapsed wall clock time (in seconds):0.889
1.83/1.01	o 33
2.18/1.24	c Got one! Elapsed wall clock time (in seconds):1.129
2.18/1.24	o 32
2.30/1.35	c Got one! Elapsed wall clock time (in seconds):1.236
2.30/1.35	o 31
2.40/1.48	c Got one! Elapsed wall clock time (in seconds):1.363
2.40/1.48	o 30
5.01/4.03	c cleaning 3217 clauses out of 6445 with flag 5000/6445
7.69/6.63	c cleaning 4610 clauses out of 9228 with flag 11000/12445
10.57/9.57	c cleaning 5805 clauses out of 11619 with flag 18001/19446
13.77/12.77	c cleaning 6901 clauses out of 13814 with flag 26001/27446
17.42/16.35	c cleaning 7953 clauses out of 15914 with flag 35002/36447
21.22/20.17	c cleaning 8970 clauses out of 17959 with flag 45000/46445
25.92/24.80	c cleaning 9985 clauses out of 19989 with flag 56000/57445
30.92/29.84	c cleaning 10987 clauses out of 22004 with flag 68000/69445
36.42/35.37	c cleaning 11998 clauses out of 24017 with flag 81000/82445
42.32/41.28	c cleaning 12999 clauses out of 26019 with flag 95000/96445
48.83/47.78	c cleaning 14003 clauses out of 28021 with flag 110001/111446
55.13/54.07	c cleaning 15007 clauses out of 30019 with flag 126002/127447
61.54/60.43	c cleaning 15997 clauses out of 32010 with flag 143000/144445
68.64/67.59	c cleaning 17000 clauses out of 34013 with flag 161000/162445
76.24/75.12	c cleaning 18002 clauses out of 36013 with flag 180000/181445
84.65/83.58	c cleaning 19004 clauses out of 38011 with flag 200000/201445
94.56/93.49	c cleaning 19991 clauses out of 40007 with flag 221000/222445
104.46/103.40	c cleaning 21000 clauses out of 42017 with flag 243001/244446
113.46/112.36	c cleaning 22003 clauses out of 44017 with flag 266001/267446
123.56/122.42	c cleaning 22998 clauses out of 46015 with flag 290002/291447
134.56/133.40	c cleaning 23999 clauses out of 48016 with flag 315001/316446
145.57/144.43	c cleaning 24996 clauses out of 50016 with flag 341000/342445
157.07/155.94	c cleaning 26003 clauses out of 52020 with flag 368000/369445
168.40/167.27	c cleaning 27001 clauses out of 54017 with flag 396000/397445
180.08/178.98	c cleaning 27995 clauses out of 56016 with flag 425000/426445
192.29/191.10	c cleaning 28507 clauses out of 57021 with flag 454000/455445
203.99/202.85	c cleaning 28745 clauses out of 57514 with flag 483000/484445
215.60/214.48	c cleaning 28878 clauses out of 57769 with flag 512000/513445
227.90/226.76	c cleaning 28933 clauses out of 57891 with flag 541000/542445
240.10/238.90	c cleaning 28972 clauses out of 57960 with flag 570002/571447
251.81/250.64	c cleaning 28982 clauses out of 57986 with flag 599000/600445
263.92/262.79	c cleaning 28999 clauses out of 58004 with flag 628000/629445
275.93/274.74	c cleaning 28997 clauses out of 58006 with flag 657001/658446
288.24/287.04	c cleaning 29000 clauses out of 58009 with flag 686001/687446
299.14/298.00	c cleaning 28993 clauses out of 58009 with flag 715001/716446
315.14/313.90	c cleaning 29002 clauses out of 58015 with flag 744000/745445
330.64/329.48	c cleaning 28998 clauses out of 58014 with flag 773001/774446
342.65/341.41	c cleaning 28998 clauses out of 58015 with flag 802000/803445
353.17/351.98	c cleaning 28996 clauses out of 58017 with flag 831000/832445
363.96/362.72	c cleaning 29004 clauses out of 58021 with flag 860000/861445
375.28/374.08	c cleaning 29004 clauses out of 58017 with flag 889000/890445
386.29/385.07	c cleaning 28991 clauses out of 58013 with flag 918000/919445
397.29/396.09	c cleaning 29002 clauses out of 58022 with flag 947000/948445
408.07/406.82	c cleaning 29003 clauses out of 58021 with flag 976001/977446
419.58/418.38	c cleaning 29000 clauses out of 58018 with flag 1005001/1006446
430.79/429.58	c cleaning 28994 clauses out of 58017 with flag 1034000/1035445
441.49/440.20	c cleaning 28998 clauses out of 58023 with flag 1063000/1064445
451.80/450.50	c cleaning 29009 clauses out of 58025 with flag 1092000/1093445
462.11/460.89	c cleaning 29002 clauses out of 58016 with flag 1121000/1122445
473.01/471.77	c cleaning 28998 clauses out of 58015 with flag 1150001/1151446
484.51/483.25	c cleaning 29004 clauses out of 58016 with flag 1179000/1180445
497.22/495.95	c cleaning 28989 clauses out of 58012 with flag 1208000/1209445
508.83/507.52	c cleaning 29006 clauses out of 58023 with flag 1237000/1238445
520.83/519.53	c cleaning 29004 clauses out of 58019 with flag 1266002/1267447
532.65/531.34	c cleaning 29002 clauses out of 58013 with flag 1295000/1296445
545.44/544.17	c cleaning 28997 clauses out of 58011 with flag 1324000/1325445
556.95/555.68	c cleaning 28996 clauses out of 58014 with flag 1353000/1354445
568.05/566.71	c cleaning 29000 clauses out of 58019 with flag 1382001/1383446
579.97/578.66	c cleaning 28992 clauses out of 58018 with flag 1411000/1412445
590.47/589.14	c cleaning 29006 clauses out of 58028 with flag 1440002/1441447
602.67/601.33	c cleaning 29006 clauses out of 58020 with flag 1469000/1470445
616.88/615.55	c cleaning 29001 clauses out of 58014 with flag 1498000/1499445
628.59/627.25	c Got one! Elapsed wall clock time (in seconds):627.135
628.59/627.25	o 29
630.41/629.03	c cleaning 29486 clauses out of 58993 with flag 5000/1529425
632.83/631.42	c cleaning 17748 clauses out of 35508 with flag 11001/1535426
635.41/634.04	c cleaning 12367 clauses out of 24760 with flag 18001/1542426
638.41/637.06	c cleaning 10185 clauses out of 20393 with flag 26001/1550426
641.92/640.54	c cleaning 9592 clauses out of 19207 with flag 35000/1559425
645.82/644.44	c cleaning 9800 clauses out of 19616 with flag 45001/1569426
649.92/648.55	c cleaning 10400 clauses out of 20815 with flag 56000/1580425
654.52/653.18	c cleaning 11202 clauses out of 22416 with flag 68001/1592426
659.32/657.94	c cleaning 12096 clauses out of 24214 with flag 81001/1605426
664.42/663.08	c cleaning 13051 clauses out of 26117 with flag 95000/1619425
670.13/668.80	c cleaning 14028 clauses out of 28067 with flag 110001/1634426
676.43/675.01	c cleaning 15007 clauses out of 30038 with flag 126000/1650425
682.73/681.33	c cleaning 16006 clauses out of 32032 with flag 143001/1667426
689.64/688.25	c cleaning 17003 clauses out of 34025 with flag 161000/1685425
697.04/695.69	c cleaning 18003 clauses out of 36023 with flag 180001/1704426
704.94/703.52	c cleaning 19005 clauses out of 38021 with flag 200002/1724427
712.95/711.56	c cleaning 20002 clauses out of 40015 with flag 221001/1745426
721.65/720.21	c cleaning 20990 clauses out of 42012 with flag 243000/1767425
730.67/729.25	c cleaning 22005 clauses out of 44023 with flag 266001/1790426
739.47/738.06	c cleaning 23002 clauses out of 46018 with flag 290001/1814426
748.87/747.40	c cleaning 24003 clauses out of 48016 with flag 315001/1839426
758.29/756.85	c cleaning 24999 clauses out of 50013 with flag 341001/1865426
768.28/766.87	c cleaning 25998 clauses out of 52017 with flag 368004/1892429
778.98/777.54	c cleaning 27002 clauses out of 54017 with flag 396002/1920427
789.98/788.56	c cleaning 27996 clauses out of 56014 with flag 425001/1949426
800.68/799.28	c cleaning 28497 clauses out of 57017 with flag 454000/1978425
811.19/809.73	c cleaning 28754 clauses out of 57521 with flag 483001/2007426
821.19/819.76	c cleaning 28871 clauses out of 57766 with flag 512000/2036425
831.60/830.17	c cleaning 28940 clauses out of 57895 with flag 541000/2065425
843.30/841.89	c cleaning 28973 clauses out of 57955 with flag 570000/2094425
857.11/855.69	c cleaning 28983 clauses out of 57982 with flag 599000/2123425
867.48/866.04	c cleaning 28989 clauses out of 57999 with flag 628000/2152425
877.88/876.41	c cleaning 29002 clauses out of 58011 with flag 657001/2181426
890.31/888.84	c cleaning 28999 clauses out of 58010 with flag 686002/2210427
905.09/903.60	c cleaning 28997 clauses out of 58009 with flag 715000/2239425
920.70/919.20	c cleaning 28999 clauses out of 58012 with flag 744000/2268425
934.21/932.76	c cleaning 29000 clauses out of 58014 with flag 773001/2297426
944.41/942.91	c cleaning 29001 clauses out of 58014 with flag 802001/2326426
954.52/953.03	c cleaning 28996 clauses out of 58012 with flag 831000/2355425
964.52/963.09	c cleaning 29000 clauses out of 58016 with flag 860000/2384425
975.12/973.66	c cleaning 28999 clauses out of 58017 with flag 889001/2413426
985.94/984.42	c cleaning 29000 clauses out of 58018 with flag 918001/2442426
998.73/997.25	c cleaning 29000 clauses out of 58018 with flag 947001/2471426
1011.54/1010.00	c cleaning 29001 clauses out of 58019 with flag 976002/2500427
1023.35/1021.90	c cleaning 29001 clauses out of 58019 with flag 1005003/2529428
1034.85/1033.32	c cleaning 28997 clauses out of 58015 with flag 1034000/2558425
1046.85/1045.38	c cleaning 28996 clauses out of 58019 with flag 1063001/2587426
1059.25/1057.74	c cleaning 29002 clauses out of 58022 with flag 1092000/2616425
1072.36/1070.82	c cleaning 28995 clauses out of 58020 with flag 1121000/2645425
1084.56/1083.09	c cleaning 28993 clauses out of 58025 with flag 1150000/2674425
1096.67/1095.15	c cleaning 28996 clauses out of 58032 with flag 1179000/2703425
1108.57/1107.07	c cleaning 29003 clauses out of 58036 with flag 1208000/2732425
1121.68/1120.19	c cleaning 28992 clauses out of 58033 with flag 1237000/2761425
1133.89/1132.30	c cleaning 29012 clauses out of 58042 with flag 1266001/2790426
1147.09/1145.56	c cleaning 29005 clauses out of 58030 with flag 1295001/2819426
1159.91/1158.39	c cleaning 28991 clauses out of 58024 with flag 1324000/2848425
1172.81/1171.28	c cleaning 28987 clauses out of 58033 with flag 1353000/2877425
1185.41/1183.89	c cleaning 29013 clauses out of 58047 with flag 1382001/2906426
1198.43/1196.82	c cleaning 29010 clauses out of 58033 with flag 1411000/2935425
1210.92/1209.31	c cleaning 28997 clauses out of 58024 with flag 1440001/2964426
1223.52/1221.97	c cleaning 29010 clauses out of 58029 with flag 1469003/2993428
1234.52/1232.98	c cleaning 28997 clauses out of 58016 with flag 1498000/3022425
1245.93/1244.35	c cleaning 28992 clauses out of 58019 with flag 1527000/3051425
1256.53/1254.90	c cleaning 29003 clauses out of 58027 with flag 1556000/3080425
1268.75/1267.14	c cleaning 29003 clauses out of 58024 with flag 1585000/3109425
1280.85/1279.23	c cleaning 29006 clauses out of 58021 with flag 1614000/3138425
1293.07/1291.46	c cleaning 29000 clauses out of 58015 with flag 1643000/3167425
1305.75/1304.14	c cleaning 29003 clauses out of 58015 with flag 1672000/3196425
1319.06/1317.41	c cleaning 28999 clauses out of 58013 with flag 1701001/3225426
1331.77/1330.10	c cleaning 28992 clauses out of 58013 with flag 1730000/3254425
1343.97/1342.38	c cleaning 29003 clauses out of 58022 with flag 1759001/3283426
1354.08/1352.41	c cleaning 29000 clauses out of 58018 with flag 1788000/3312425
1364.28/1362.69	c cleaning 28996 clauses out of 58018 with flag 1817000/3341425
1374.89/1373.27	c cleaning 28996 clauses out of 58022 with flag 1846000/3370425
1384.99/1383.36	c cleaning 29003 clauses out of 58026 with flag 1875000/3399425
1395.20/1393.52	c cleaning 28998 clauses out of 58023 with flag 1904000/3428425
1408.80/1407.13	c cleaning 29009 clauses out of 58025 with flag 1933000/3457425
1422.50/1420.89	c cleaning 28998 clauses out of 58016 with flag 1962000/3486425
1436.01/1434.38	c cleaning 29006 clauses out of 58022 with flag 1991004/3515429
1449.81/1448.14	c cleaning 28999 clauses out of 58013 with flag 2020001/3544426
1463.31/1461.61	c cleaning 28997 clauses out of 58015 with flag 2049002/3573427
1476.52/1474.84	c cleaning 29002 clauses out of 58016 with flag 2078000/3602425
1490.32/1488.60	c cleaning 28995 clauses out of 58014 with flag 2107000/3631425
1503.02/1501.37	c cleaning 29006 clauses out of 58019 with flag 2136000/3660425
1513.82/1512.18	c cleaning 28996 clauses out of 58014 with flag 2165001/3689426
1524.24/1522.55	c cleaning 28996 clauses out of 58017 with flag 2194000/3718425
1534.64/1532.95	c cleaning 28997 clauses out of 58021 with flag 2223000/3747425
1544.75/1543.07	c cleaning 28998 clauses out of 58025 with flag 2252001/3776426
1554.75/1553.11	c cleaning 29002 clauses out of 58027 with flag 2281001/3805426
1565.35/1563.66	c cleaning 29002 clauses out of 58025 with flag 2310001/3834426
1575.56/1573.86	c cleaning 29001 clauses out of 58022 with flag 2339000/3863425
1585.78/1584.05	c cleaning 29002 clauses out of 58021 with flag 2368000/3892425
1596.06/1594.33	c cleaning 28997 clauses out of 58019 with flag 2397000/3921425
1606.57/1604.83	c cleaning 29000 clauses out of 58023 with flag 2426001/3950426
1616.48/1614.72	c cleaning 29003 clauses out of 58023 with flag 2455001/3979426
1627.78/1626.03	c cleaning 28997 clauses out of 58019 with flag 2484000/4008425
1639.38/1637.66	c cleaning 28995 clauses out of 58022 with flag 2513000/4037425
1650.88/1649.12	c cleaning 29003 clauses out of 58027 with flag 2542000/4066425
1663.39/1661.65	c cleaning 29001 clauses out of 58025 with flag 2571001/4095426
1675.21/1673.43	c cleaning 29000 clauses out of 58024 with flag 2600001/4124426
1689.01/1687.25	c cleaning 29002 clauses out of 58023 with flag 2629000/4153425
1702.11/1700.35	c cleaning 28997 clauses out of 58021 with flag 2658000/4182425
1714.92/1713.16	c cleaning 29003 clauses out of 58024 with flag 2687000/4211425
1728.23/1726.47	c cleaning 29000 clauses out of 58022 with flag 2716001/4240426
1740.95/1739.13	c cleaning 28997 clauses out of 58021 with flag 2745000/4269425
1753.94/1752.20	c cleaning 29002 clauses out of 58024 with flag 2774000/4298425
1765.94/1764.12	c cleaning 29002 clauses out of 58024 with flag 2803002/4327427
1779.05/1777.22	c cleaning 28995 clauses out of 58020 with flag 2832000/4356425
1790.85/1789.07	c cleaning 29004 clauses out of 58026 with flag 2861001/4385426
1800.06/1798.22	c starts		: 261
1800.06/1798.22	c conflicts		: 4407423
1800.06/1798.22	c decisions		: 16421293
1800.06/1798.22	c propagations		: 7925488968
1800.06/1798.22	c inspects		: 8900731910
1800.06/1798.22	c shortcuts		: 0
1800.06/1798.22	c learnt literals	: 0
1800.06/1798.22	c learnt binary clauses	: 0
1800.06/1798.22	c learnt ternary clauses	: 1
1800.06/1798.22	c learnt constraints	: 4407423
1800.06/1798.22	c ignored constraints	: 0
1800.06/1798.22	c root simplifications	: 0
1800.06/1798.22	c removed literals (reason simplification)	: 9175629
1800.06/1798.22	c reason swapping (by a shorter reason)	: 0
1800.06/1798.22	c Calls to reduceDB	: 171
1800.06/1798.22	c number of reductions to clauses (during analyze)	: 0
1800.06/1798.22	c number of learned constraints concerned by reduction	: 0
1800.06/1798.22	c number of learning phase by resolution	: 0
1800.06/1798.22	c number of learning phase by cutting planes	: 0
1800.06/1798.22	c speed (assignments/second)	: 6768317.302165983
1800.06/1798.22	c non guided choices	43040
1800.06/1798.24	c learnt constraints type 
1800.06/1798.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 51063
1800.06/1798.24	c constraints type 
1800.06/1798.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4950
1800.06/1798.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1798.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23997
1800.06/1798.24	s SATISFIABLE
1800.06/1798.26	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 
1800.06/1798.27	c objective function=29
1800.06/1798.27	c Total wall clock time (in seconds): 1798.15

OK	29

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458476-1307155989/watcher-3458476-1307155989 -o /tmp/evaluation-result-3458476-1307155989/solver-3458476-1307155989 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458476-1307155989.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.84 2.01 1.99 2/476 13026
/proc/meminfo: memFree=27035320/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 1364 0 1 0 0 0 0 0 18 0 2 0 827201261 36679680 1066 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 8955 1066 828 9 0 386 0
[pid=13026/tid=13032] ppid=13024 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 4749 0 1 0 0 0 0 0 17 0 2 0 827201262 13850947584 5565 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0314209 s]
/proc/loadavg: 1.84 2.01 1.99 2/476 13026
/proc/meminfo: memFree=27035320/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13536868 CPUtime=0.02 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 12664 0 1 0 1 1 0 0 18 0 10 0 827201261 13861752832 12362 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3384217 12369 1096 9 0 3374965 0
[pid=13026/tid=13032] ppid=13024 vsize=13536868 CPUtime=0.02 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 11552 0 1 0 1 1 0 0 18 0 10 0 827201262 13861752832 12373 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912504009893 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13536868

[startup+0.105469 s]
/proc/loadavg: 1.84 2.01 1.99 2/476 13026
/proc/meminfo: memFree=27035320/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13622296 CPUtime=0.1 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 15507 0 1 0 9 1 0 0 18 0 18 0 827201261 13949231104 15203 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3405574 15203 2092 9 0 3396308 0
[pid=13026/tid=13032] ppid=13024 vsize=13622296 CPUtime=0.08 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 13596 0 1 0 7 1 0 0 18 0 18 0 827201262 13949231104 15204 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46922958678867 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622296

[startup+0.300337 s]
/proc/loadavg: 1.84 2.01 1.99 2/476 13026
/proc/meminfo: memFree=27035320/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13623620 CPUtime=0.49 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 18874 0 1 0 47 2 0 0 18 0 18 0 827201261 13950586880 18086 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3405905 18087 2200 9 0 3396639 0
[pid=13026/tid=13032] ppid=13024 vsize=13623620 CPUtime=0.27 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 15808 0 1 0 26 1 0 0 18 0 18 0 827201262 13950586880 18088 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912505576962 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13623620

[startup+0.700261 s]
/proc/loadavg: 1.84 2.01 1.99 2/476 13026
/proc/meminfo: memFree=27035320/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13628440 CPUtime=1.47 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 36581 0 1 0 143 4 0 0 18 0 19 0 827201261 13955522560 33446 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3407110 33446 2234 9 0 3397844 0
[pid=13026/tid=13032] ppid=13024 vsize=13628440 CPUtime=0.67 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 28758 0 1 0 64 3 0 0 19 0 19 0 827201262 13955522560 33446 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912505840032 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13628440

[startup+1.5011 s]
/proc/loadavg: 1.84 2.01 1.99 3/518 13070
/proc/meminfo: memFree=26752980/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13628440 CPUtime=2.5 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 38996 0 1 0 246 4 0 0 18 0 19 0 827201261 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3407110 35023 2238 9 0 3397844 0
[pid=13026/tid=13032] ppid=13024 vsize=13628440 CPUtime=1.46 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 30856 0 1 0 143 3 0 0 20 0 19 0 827201262 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912505885873 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13053] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13053/stat : 13053 (java) S 13024 13026 10080 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827201265 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 0 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13055] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13055/stat : 13055 (java) S 13024 13026 10080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827201265 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13056] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13056/stat : 13056 (java) S 13024 13026 10080 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827201265 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13059] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13059/stat : 13059 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201268 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447840689 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13060] ppid=13024 vsize=13628440 CPUtime=0.51 cores=1,3,5,7
/proc/13026/task/13060/stat : 13060 (java) S 13024 13026 10080 0 -1 4202560 1889 0 0 0 51 0 0 0 15 0 19 0 827201268 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13061] ppid=13024 vsize=13628440 CPUtime=0.51 cores=1,3,5,7
/proc/13026/task/13061/stat : 13061 (java) S 13024 13026 10080 0 -1 4202560 5090 0 0 0 51 0 0 0 15 0 19 0 827201268 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13062] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13062/stat : 13062 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827201268 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13063] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13063/stat : 13063 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827201268 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13069] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13069/stat : 13069 (java) S 13024 13026 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827201315 13955522560 35023 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13628440

[startup+3.10083 s]
/proc/loadavg: 1.84 2.01 1.99 3/518 13070
/proc/meminfo: memFree=26735620/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13628440 CPUtime=4.11 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 39223 0 1 0 407 4 0 0 18 0 19 0 827201261 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3407110 35249 2238 9 0 3397844 0
[pid=13026/tid=13032] ppid=13024 vsize=13628440 CPUtime=3.06 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 31082 0 1 0 303 3 0 0 25 0 19 0 827201262 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912505885252 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201264 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13053] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13053/stat : 13053 (java) S 13024 13026 10080 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827201265 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 0 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13055] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13055/stat : 13055 (java) S 13024 13026 10080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827201265 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13056] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13056/stat : 13056 (java) S 13024 13026 10080 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827201265 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13059] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13059/stat : 13059 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201268 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447840689 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13060] ppid=13024 vsize=13628440 CPUtime=0.51 cores=1,3,5,7
/proc/13026/task/13060/stat : 13060 (java) S 13024 13026 10080 0 -1 4202560 1889 0 0 0 51 0 0 0 15 0 19 0 827201268 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13061] ppid=13024 vsize=13628440 CPUtime=0.52 cores=1,3,5,7
/proc/13026/task/13061/stat : 13061 (java) S 13024 13026 10080 0 -1 4202560 5090 0 0 0 52 0 0 0 15 0 19 0 827201268 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13062] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13062/stat : 13062 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827201268 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13063] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13063/stat : 13063 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827201268 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13069] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13069/stat : 13069 (java) S 13024 13026 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827201315 13955522560 35249 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 13628440

[startup+6.30119 s]
/proc/loadavg: 1.85 2.01 1.99 3/518 13070
/proc/meminfo: memFree=26718476/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13628440 CPUtime=7.37 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 42085 0 1 0 732 5 0 0 18 0 19 0 827201261 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3407110 38089 2264 9 0 3397844 0
[pid=13026/tid=13032] ppid=13024 vsize=13628440 CPUtime=6.22 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 31216 0 1 0 619 3 0 0 18 0 19 0 827201262 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912505885675 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 10080 0 -1 4202560 468 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 10080 0 -1 4202560 494 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 10080 0 -1 4202560 394 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827201264 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13053] ppid=13024 vsize=13628440 CPUtime=0.02 cores=1,3,5,7
/proc/13026/task/13053/stat : 13053 (java) S 13024 13026 10080 0 -1 4202560 1358 0 0 0 2 0 0 0 15 0 19 0 827201265 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 0 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13055] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13055/stat : 13055 (java) S 13024 13026 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13056] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13056/stat : 13056 (java) S 13024 13026 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13059] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13059/stat : 13059 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201268 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447840689 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13060] ppid=13024 vsize=13628440 CPUtime=0.54 cores=1,3,5,7
/proc/13026/task/13060/stat : 13060 (java) S 13024 13026 10080 0 -1 4202560 1897 0 0 0 54 0 0 0 16 0 19 0 827201268 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13061] ppid=13024 vsize=13628440 CPUtime=0.54 cores=1,3,5,7
/proc/13026/task/13061/stat : 13061 (java) S 13024 13026 10080 0 -1 4202560 5102 0 0 0 54 0 0 0 15 0 19 0 827201268 13955522560 38089 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0

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

[pid=13026/tid=13041] ppid=13024 vsize=13628440 CPUtime=0.14 cores=1,3,5,7
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 10080 0 -1 4202560 650 0 0 0 14 0 0 0 15 0 19 0 827201264 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=13628440 CPUtime=0.19 cores=1,3,5,7
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 10080 0 -1 4202560 864 0 0 0 19 0 0 0 16 0 19 0 827201264 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=13628440 CPUtime=0.16 cores=1,3,5,7
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 10080 0 -1 4202560 324 0 0 0 16 0 0 0 15 0 19 0 827201264 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13053] ppid=13024 vsize=13628440 CPUtime=5.85 cores=1,3,5,7
/proc/13026/task/13053/stat : 13053 (java) S 13024 13026 10080 0 -1 4202560 6291 0 0 0 582 3 0 0 15 0 19 0 827201265 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 0 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13055] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13055/stat : 13055 (java) S 13024 13026 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13056] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13056/stat : 13056 (java) S 13024 13026 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13059] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13059/stat : 13059 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201268 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447840689 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13060] ppid=13024 vsize=13628440 CPUtime=0.61 cores=1,3,5,7
/proc/13026/task/13060/stat : 13060 (java) S 13024 13026 10080 0 -1 4202560 1909 0 0 0 61 0 0 0 15 0 19 0 827201268 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13061] ppid=13024 vsize=13628440 CPUtime=0.55 cores=1,3,5,7
/proc/13026/task/13061/stat : 13061 (java) S 13024 13026 10080 0 -1 4202560 5103 0 0 0 55 0 0 0 15 0 19 0 827201268 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13062] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13062/stat : 13062 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827201268 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13063] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13063/stat : 13063 (java) S 13024 13026 10080 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827201268 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13069] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13069/stat : 13069 (java) S 13024 13026 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827201315 13955522560 45385 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.11
Current children cumulated vsize (KiB) 13628440

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/518 13135
/proc/meminfo: memFree=26638272/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13628440 CPUtime=1724.13 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 49919 0 1 0 172401 12 0 0 18 0 19 0 827201261 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3407110 45560 2265 9 0 3397844 0
[pid=13026/tid=13032] ppid=13024 vsize=13628440 CPUtime=1715.56 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 31379 0 1 0 171552 4 0 0 25 0 19 0 827201262 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912505971798 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=13628440 CPUtime=0.17 cores=1,3,5,7
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 10080 0 -1 4202560 636 0 0 0 17 0 0 0 15 0 19 0 827201264 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=13628440 CPUtime=0.17 cores=1,3,5,7
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 10080 0 -1 4202560 592 0 0 0 17 0 0 0 16 0 19 0 827201264 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=13628440 CPUtime=0.18 cores=1,3,5,7
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 10080 0 -1 4202560 545 0 0 0 18 0 0 0 16 0 19 0 827201264 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=13628440 CPUtime=0.14 cores=1,3,5,7
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 10080 0 -1 4202560 161 0 0 0 14 0 0 0 15 0 19 0 827201264 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=13628440 CPUtime=0.13 cores=1,3,5,7
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 10080 0 -1 4202560 37 0 0 0 13 0 0 0 16 0 19 0 827201264 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=13628440 CPUtime=0.14 cores=1,3,5,7
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 10080 0 -1 4202560 650 0 0 0 14 0 0 0 15 0 19 0 827201264 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=13628440 CPUtime=0.19 cores=1,3,5,7
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 10080 0 -1 4202560 864 0 0 0 19 0 0 0 15 0 19 0 827201264 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=13628440 CPUtime=0.16 cores=1,3,5,7
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 10080 0 -1 4202560 324 0 0 0 16 0 0 0 15 0 19 0 827201264 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13053] ppid=13024 vsize=13628440 CPUtime=6.01 cores=1,3,5,7
/proc/13026/task/13053/stat : 13053 (java) S 13024 13026 10080 0 -1 4202560 6468 0 0 0 598 3 0 0 15 0 19 0 827201265 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 0 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13055] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13055/stat : 13055 (java) S 13024 13026 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13056] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13056/stat : 13056 (java) S 13024 13026 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13059] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13059/stat : 13059 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201268 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447840689 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13060] ppid=13024 vsize=13628440 CPUtime=0.61 cores=1,3,5,7
/proc/13026/task/13060/stat : 13060 (java) S 13024 13026 10080 0 -1 4202560 1909 0 0 0 61 0 0 0 15 0 19 0 827201268 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13061] ppid=13024 vsize=13628440 CPUtime=0.55 cores=1,3,5,7
/proc/13026/task/13061/stat : 13061 (java) S 13024 13026 10080 0 -1 4202560 5103 0 0 0 55 0 0 0 15 0 19 0 827201268 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13062] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13062/stat : 13062 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827201268 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13063] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13063/stat : 13063 (java) S 13024 13026 10080 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827201268 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13069] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13069/stat : 13069 (java) S 13024 13026 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827201315 13955522560 45560 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.13
Current children cumulated vsize (KiB) 13628440

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/518 13138
/proc/meminfo: memFree=26637240/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13628440 CPUtime=1784.15 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 49948 0 1 0 178403 12 0 0 18 0 19 0 827201261 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3407110 45578 2265 9 0 3397844 0
[pid=13026/tid=13032] ppid=13024 vsize=13628440 CPUtime=1775.34 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 31384 0 1 0 177530 4 0 0 25 0 19 0 827201262 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912505825914 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=13628440 CPUtime=0.17 cores=1,3,5,7
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 10080 0 -1 4202560 636 0 0 0 17 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=13628440 CPUtime=0.17 cores=1,3,5,7
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 10080 0 -1 4202560 592 0 0 0 17 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=13628440 CPUtime=0.18 cores=1,3,5,7
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 10080 0 -1 4202560 545 0 0 0 18 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=13628440 CPUtime=0.15 cores=1,3,5,7
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 10080 0 -1 4202560 161 0 0 0 15 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=13628440 CPUtime=0.14 cores=1,3,5,7
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 10080 0 -1 4202560 37 0 0 0 14 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=13628440 CPUtime=0.15 cores=1,3,5,7
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 10080 0 -1 4202560 650 0 0 0 15 0 0 0 16 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=13628440 CPUtime=0.2 cores=1,3,5,7
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 10080 0 -1 4202560 864 0 0 0 20 0 0 0 16 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=13628440 CPUtime=0.17 cores=1,3,5,7
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 10080 0 -1 4202560 324 0 0 0 17 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13053] ppid=13024 vsize=13628440 CPUtime=6.22 cores=1,3,5,7
/proc/13026/task/13053/stat : 13053 (java) S 13024 13026 10080 0 -1 4202560 6490 0 0 0 618 4 0 0 15 0 19 0 827201265 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 0 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13055] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13055/stat : 13055 (java) S 13024 13026 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13056] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13056/stat : 13056 (java) S 13024 13026 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13059] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13059/stat : 13059 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447840689 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13060] ppid=13024 vsize=13628440 CPUtime=0.61 cores=1,3,5,7
/proc/13026/task/13060/stat : 13060 (java) S 13024 13026 10080 0 -1 4202560 1909 0 0 0 61 0 0 0 15 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13061] ppid=13024 vsize=13628440 CPUtime=0.55 cores=1,3,5,7
/proc/13026/task/13061/stat : 13061 (java) S 13024 13026 10080 0 -1 4202560 5103 0 0 0 55 0 0 0 15 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13062] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13062/stat : 13062 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13063] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13063/stat : 13063 (java) S 13024 13026 10080 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13069] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13069/stat : 13069 (java) S 13024 13026 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827201315 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.15
Current children cumulated vsize (KiB) 13628440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.01 2.02 2.00 2/498 13141
/proc/meminfo: memFree=26852896/32951124 swapFree=38422276/67111528
[pid=13026] ppid=13024 vsize=13628440 CPUtime=1800.06 cores=1,3,5,7
/proc/13026/stat : 13026 (java) S 13024 13026 10080 0 -1 4202496 49953 0 1 0 179994 12 0 0 18 0 19 0 827201261 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13026/statm: 3407110 45578 2265 9 0 3397844 0
[pid=13026/tid=13032] ppid=13024 vsize=13628440 CPUtime=1791.22 cores=1,3,5,7
/proc/13026/task/13032/stat : 13032 (java) R 13024 13026 10080 0 -1 4202560 31385 0 1 0 179118 4 0 0 25 0 19 0 827201262 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 46912505825871 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=13628440 CPUtime=0.17 cores=1,3,5,7
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 10080 0 -1 4202560 636 0 0 0 17 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=13628440 CPUtime=0.18 cores=1,3,5,7
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 10080 0 -1 4202560 592 0 0 0 18 0 0 0 16 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=13628440 CPUtime=0.18 cores=1,3,5,7
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 10080 0 -1 4202560 545 0 0 0 18 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=13628440 CPUtime=0.15 cores=1,3,5,7
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 10080 0 -1 4202560 161 0 0 0 15 0 0 0 16 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=13628440 CPUtime=0.14 cores=1,3,5,7
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 10080 0 -1 4202560 37 0 0 0 14 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=13628440 CPUtime=0.15 cores=1,3,5,7
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 10080 0 -1 4202560 650 0 0 0 15 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=13628440 CPUtime=0.2 cores=1,3,5,7
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 10080 0 -1 4202560 864 0 0 0 20 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=13628440 CPUtime=0.17 cores=1,3,5,7
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 10080 0 -1 4202560 324 0 0 0 17 0 0 0 15 0 19 0 827201264 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13053] ppid=13024 vsize=13628440 CPUtime=6.26 cores=1,3,5,7
/proc/13026/task/13053/stat : 13053 (java) S 13024 13026 10080 0 -1 4202560 6492 0 0 0 622 4 0 0 15 0 19 0 827201265 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 0 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13055] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13055/stat : 13055 (java) S 13024 13026 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13056] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13056/stat : 13056 (java) S 13024 13026 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827201265 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13059] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13059/stat : 13059 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447840689 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13060] ppid=13024 vsize=13628440 CPUtime=0.61 cores=1,3,5,7
/proc/13026/task/13060/stat : 13060 (java) S 13024 13026 10080 0 -1 4202560 1909 0 0 0 61 0 0 0 15 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 5 0 0 0
[pid=13026/tid=13061] ppid=13024 vsize=13628440 CPUtime=0.55 cores=1,3,5,7
/proc/13026/task/13061/stat : 13061 (java) S 13024 13026 10080 0 -1 4202560 5103 0 0 0 55 0 0 0 15 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13062] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13062/stat : 13062 (java) S 13024 13026 10080 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447832985 0 4 0 16800975 18446604462730354816 0 0 -1 3 0 0 0
[pid=13026/tid=13063] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13063/stat : 13063 (java) S 13024 13026 10080 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827201268 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 1 0 0 0
[pid=13026/tid=13069] ppid=13024 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/13026/task/13069/stat : 13069 (java) S 13024 13026 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827201315 13955522560 45578 33554432000 1073741824 1073778376 140736774385856 18446744073709551615 212447833600 0 4 0 16800975 18446604462730354816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13628440

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

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

Child status: 143
Real time (s): 1798.28
CPU time (s): 1800.22
CPU user time (s): 1800.08
CPU system time (s): 0.134979
CPU usage (%): 100.108
Max. virtual memory (cumulated for all children) (KiB): 13628440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50122
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= 40985
involuntary context switches= 15750

runsolver used 8.33873 second user time and 20.9878 second system time

The end

Begin job on node102 at 2011-06-04 04:53:09
IDJOB=3458476
IDBENCH=24978
IDSOLVER=1952
FILE ID=node102/3458476-1307155989
RUNJOBID= node102-1307155989-13011
PBS_JOBID= 13508814
Free space on /tmp= 73960 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458476-1307155989/watcher-3458476-1307155989 -o /tmp/evaluation-result-3458476-1307155989/solver-3458476-1307155989 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458476-1307155989.opb

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

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=611429865

node102.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.828
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.65
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.828
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.15
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.828
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.82
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.828
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.75
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.828
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.82
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.828
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.75
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.828
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.82
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27035616 kB
Buffers:        316168 kB
Cached:        1571740 kB
SwapCached:      86940 kB
Active:         833604 kB
Inactive:      4779448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27035616 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:            2532 kB
Writeback:           0 kB
AnonPages:     3661352 kB
Mapped:          12860 kB
Slab:           132688 kB
PageTables:     100004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135453340 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73960 MiB
End job on node102 at 2011-06-04 05:23:09