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

OK	3

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4090933-1466067589/watcher-4090933-1466067589 -o /tmp/evaluation-result-4090933-1466067589/solver-4090933-1466067589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466062110-11146 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090933-1466067589.wbo 

pid=12329
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.11 2.08 2.06 3/194 12332
/proc/meminfo: memFree=30956964/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/12332/stat : 12332 (java) R 12329 12332 11130 0 -1 4202496 386 0 0 0 0 0 0 0 20 0 1 0 8804567 5767168 56 33554432000 1073741824 1073778376 140734622731776 140734622728904 206619840800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 1408 56 43 9 0 30 0

[startup+0.100065 s]
/proc/loadavg: 2.11 2.08 2.06 3/194 12332
/proc/meminfo: memFree=30956964/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 8804567 9787879424 6044 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2389619 6044 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200267 s]
/proc/loadavg: 2.11 2.08 2.06 3/194 12332
/proc/meminfo: memFree=30956964/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 4891 0 1 0 25 1 0 0 20 0 18 0 8804567 9787879424 6936 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2389619 6936 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300291 s]
/proc/loadavg: 2.11 2.08 2.06 3/194 12332
/proc/meminfo: memFree=30956964/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 7191 0 1 0 50 2 0 0 20 0 18 0 8804567 9787879424 10365 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2389619 10365 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700233 s]
/proc/loadavg: 2.11 2.08 2.06 3/194 12332
/proc/meminfo: memFree=30956964/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9625040 CPUtime=1.4 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 10435 0 1 0 137 3 0 0 20 0 19 0 8804567 9856040960 14754 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2406260 14754 2267 9 0 2396937 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.11 2.08 2.06 3/213 12351
/proc/meminfo: memFree=30897676/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 10465 0 1 0 225 3 0 0 20 0 19 0 8804567 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2406260 18858 2274 9 0 2396937 0
[pid=12332/tid=12334] ppid=12329 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/12332/task/12334/stat : 12334 (java) R 12329 12332 11130 0 -1 4202560 2431 0 1 0 143 2 0 0 20 0 19 0 8804567 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029433092712 140029306072087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12335] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12335/stat : 12335 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029276928552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12336] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12336/stat : 12336 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029275875752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12337] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12337/stat : 12337 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029274822952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12338] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12338/stat : 12338 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029273770152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12339] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12339/stat : 12339 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029272718376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12340] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12340/stat : 12340 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029271665576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12341] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12341/stat : 12341 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029270612776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12342] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12342/stat : 12342 (java) S 12329 12332 11130 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029269559976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12343] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12343/stat : 12343 (java) S 12329 12332 11130 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029257361896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12344] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12344/stat : 12344 (java) S 12329 12332 11130 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029256307960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12345] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12345/stat : 12345 (java) S 12329 12332 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029255255048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12346] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12346/stat : 12346 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029254203536 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12347] ppid=12329 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/12332/task/12347/stat : 12347 (java) S 12329 12332 11130 0 -1 4202560 4362 0 0 0 43 0 0 0 20 0 19 0 8804573 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029253151672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12348] ppid=12329 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/12332/task/12348/stat : 12348 (java) S 12329 12332 11130 0 -1 4202560 2393 0 0 0 36 0 0 0 20 0 19 0 8804573 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029252098872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12349] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12349/stat : 12349 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029251046264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12350] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12350/stat : 12350 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029249993672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12351] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12351/stat : 12351 (java) S 12329 12332 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8804603 9856040960 18858 33554432000 1073741824 1073778376 140734622731776 140029248890024 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.10 2.08 2.06 3/213 12351
/proc/meminfo: memFree=30876452/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 10479 0 1 0 387 3 0 0 20 0 19 0 8804567 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2406260 25514 2274 9 0 2396937 0
[pid=12332/tid=12334] ppid=12329 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/12332/task/12334/stat : 12334 (java) R 12329 12332 11130 0 -1 4202560 2445 0 1 0 302 2 0 0 20 0 19 0 8804567 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029433094584 140029306130580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12335] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12335/stat : 12335 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029276928552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12336] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12336/stat : 12336 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029275875752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12337] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12337/stat : 12337 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029274822952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12338] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12338/stat : 12338 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029273770152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12339] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12339/stat : 12339 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029272718376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12340] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12340/stat : 12340 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029271665576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12341] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12341/stat : 12341 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029270612776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12342] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12342/stat : 12342 (java) S 12329 12332 11130 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029269559976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12343] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12343/stat : 12343 (java) S 12329 12332 11130 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029257361896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12344] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12344/stat : 12344 (java) S 12329 12332 11130 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029256307960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12345] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12345/stat : 12345 (java) S 12329 12332 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029255255048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12346] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12346/stat : 12346 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029254203536 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12347] ppid=12329 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/12332/task/12347/stat : 12347 (java) S 12329 12332 11130 0 -1 4202560 4362 0 0 0 45 0 0 0 20 0 19 0 8804573 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029253151672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12348] ppid=12329 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/12332/task/12348/stat : 12348 (java) S 12329 12332 11130 0 -1 4202560 2393 0 0 0 38 0 0 0 20 0 19 0 8804573 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029252098872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12349] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12349/stat : 12349 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029251046264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12350] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12350/stat : 12350 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029249993672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12351] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12351/stat : 12351 (java) S 12329 12332 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8804603 9856040960 25514 33554432000 1073741824 1073778376 140734622731776 140029248890024 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.10 2.08 2.06 4/213 12351
/proc/meminfo: memFree=30825208/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9625040 CPUtime=7.13 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 10505 0 1 0 709 4 0 0 20 0 19 0 8804567 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2406260 37641 2274 9 0 2396937 0
[pid=12332/tid=12334] ppid=12329 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/12332/task/12334/stat : 12334 (java) R 12329 12332 11130 0 -1 4202560 2471 0 1 0 620 3 0 0 20 0 19 0 8804567 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029433094584 140029306009608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12335] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12335/stat : 12335 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029276928552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12336] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12336/stat : 12336 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029275875752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12337] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12337/stat : 12337 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029274822952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12338] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12338/stat : 12338 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029273770152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12339] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12339/stat : 12339 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029272718376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12340] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12340/stat : 12340 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029271665576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12341] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12341/stat : 12341 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029270612776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12342] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12342/stat : 12342 (java) S 12329 12332 11130 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8804569 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029269559976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12343] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12343/stat : 12343 (java) S 12329 12332 11130 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029257361896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12344] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12344/stat : 12344 (java) S 12329 12332 11130 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029256307960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12345] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12345/stat : 12345 (java) S 12329 12332 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029255255048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12346] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12346/stat : 12346 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029254203536 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12347] ppid=12329 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/12332/task/12347/stat : 12347 (java) S 12329 12332 11130 0 -1 4202560 4362 0 0 0 48 0 0 0 20 0 19 0 8804573 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029253151672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12348] ppid=12329 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/12332/task/12348/stat : 12348 (java) S 12329 12332 11130 0 -1 4202560 2393 0 0 0 39 0 0 0 20 0 19 0 8804573 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029252098872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12349] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12349/stat : 12349 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029251046264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12350] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12350/stat : 12350 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029249993672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12351] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12351/stat : 12351 (java) S 12329 12332 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8804603 9856040960 37641 33554432000 1073741824 1073778376 140734622731776 140029248890024 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9625040


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

[pid=12332/tid=12344] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12344/stat : 12344 (java) S 12329 12332 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 145318 33554432000 1073741824 1073778376 140734622731776 140029256307960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12345] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12345/stat : 12345 (java) S 12329 12332 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 145318 33554432000 1073741824 1073778376 140734622731776 140029255255048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12346] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12346/stat : 12346 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 145318 33554432000 1073741824 1073778376 140734622731776 140029254203536 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12347] ppid=12329 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12332/task/12347/stat : 12347 (java) S 12329 12332 11130 0 -1 4202560 4377 0 0 0 51 0 0 0 20 0 19 0 8804573 9856040960 145318 33554432000 1073741824 1073778376 140734622731776 140029253151672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12348] ppid=12329 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/12332/task/12348/stat : 12348 (java) S 12329 12332 11130 0 -1 4202560 4761 0 0 0 58 0 0 0 20 0 19 0 8804573 9856040960 145318 33554432000 1073741824 1073778376 140734622731776 140029252098872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12349] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12349/stat : 12349 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 145318 33554432000 1073741824 1073778376 140734622731776 140029251046264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12350] ppid=12329 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12332/task/12350/stat : 12350 (java) S 12329 12332 11130 0 -1 4202560 91 0 0 0 22 29 0 0 20 0 19 0 8804573 9856040960 145318 33554432000 1073741824 1073778376 140734622731776 140029249993672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12351] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12351/stat : 12351 (java) S 12329 12332 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8804603 9856040960 145318 33554432000 1073741824 1073778376 140734622731776 140029248890024 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1621.54
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/213 12481
/proc/meminfo: memFree=30544688/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9625040 CPUtime=1682.49 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 37100 0 1 0 167964 285 0 0 20 0 19 0 8804567 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2406260 99225 2296 9 0 2396937 0
[pid=12332/tid=12334] ppid=12329 vsize=9625040 CPUtime=1649.04 cores=0,2,4,6
/proc/12332/task/12334/stat : 12334 (java) R 12329 12332 11130 0 -1 4202560 2921 0 1 0 164872 32 0 0 20 0 19 0 8804567 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029433093360 140029306072318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12335] ppid=12329 vsize=9625040 CPUtime=3.58 cores=0,2,4,6
/proc/12332/task/12335/stat : 12335 (java) S 12329 12332 11130 0 -1 4202560 2607 0 0 0 325 33 0 0 20 0 19 0 8804569 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029276928552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12336] ppid=12329 vsize=9625040 CPUtime=3.55 cores=0,2,4,6
/proc/12332/task/12336/stat : 12336 (java) S 12329 12332 11130 0 -1 4202560 2516 0 0 0 325 30 0 0 20 0 19 0 8804569 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029275875752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12337] ppid=12329 vsize=9625040 CPUtime=3.32 cores=0,2,4,6
/proc/12332/task/12337/stat : 12337 (java) S 12329 12332 11130 0 -1 4202560 2497 0 0 0 303 29 0 0 20 0 19 0 8804569 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029274822952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12338] ppid=12329 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/12332/task/12338/stat : 12338 (java) S 12329 12332 11130 0 -1 4202560 3605 0 0 0 314 37 0 0 20 0 19 0 8804569 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029273770152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12339] ppid=12329 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/12332/task/12339/stat : 12339 (java) S 12329 12332 11130 0 -1 4202560 2027 0 0 0 314 31 0 0 20 0 19 0 8804569 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029272718376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12340] ppid=12329 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/12332/task/12340/stat : 12340 (java) S 12329 12332 11130 0 -1 4202560 1308 0 0 0 298 29 0 0 20 0 19 0 8804569 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029271665576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12341] ppid=12329 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/12332/task/12341/stat : 12341 (java) S 12329 12332 11130 0 -1 4202560 3297 0 0 0 297 30 0 0 20 0 19 0 8804569 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029270612776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12342] ppid=12329 vsize=9625040 CPUtime=3.23 cores=0,2,4,6
/proc/12332/task/12342/stat : 12342 (java) S 12329 12332 11130 0 -1 4202560 3357 0 0 0 294 29 0 0 20 0 19 0 8804569 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029269559976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12343] ppid=12329 vsize=9625040 CPUtime=5.22 cores=0,2,4,6
/proc/12332/task/12343/stat : 12343 (java) S 12329 12332 11130 0 -1 4202560 2468 0 0 0 515 7 0 0 20 0 19 0 8804570 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029257361896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12344] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12344/stat : 12344 (java) S 12329 12332 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029256307960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12345] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12345/stat : 12345 (java) S 12329 12332 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029255255048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12346] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12346/stat : 12346 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029254203536 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12347] ppid=12329 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12332/task/12347/stat : 12347 (java) S 12329 12332 11130 0 -1 4202560 4377 0 0 0 51 0 0 0 20 0 19 0 8804573 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029253151672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12348] ppid=12329 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/12332/task/12348/stat : 12348 (java) S 12329 12332 11130 0 -1 4202560 4761 0 0 0 58 0 0 0 20 0 19 0 8804573 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029252098872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12349] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12349/stat : 12349 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029251046264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12350] ppid=12329 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/12332/task/12350/stat : 12350 (java) S 12329 12332 11130 0 -1 4202560 95 0 0 0 23 30 0 0 20 0 19 0 8804573 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029249993672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12351] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12351/stat : 12351 (java) S 12329 12332 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8804603 9856040960 99225 33554432000 1073741824 1073778376 140734622731776 140029248890024 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1682.49
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.27 2.13 2.10 3/213 12483
/proc/meminfo: memFree=30476236/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9625040 CPUtime=1743.48 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 37397 0 1 0 174056 292 0 0 20 0 19 0 8804567 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2406260 111188 2296 9 0 2396937 0
[pid=12332/tid=12334] ppid=12329 vsize=9625040 CPUtime=1708.42 cores=0,2,4,6
/proc/12332/task/12334/stat : 12334 (java) R 12329 12332 11130 0 -1 4202560 2948 0 1 0 170810 32 0 0 20 0 19 0 8804567 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029433093480 140029306037783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12335] ppid=12329 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/12332/task/12335/stat : 12335 (java) S 12329 12332 11130 0 -1 4202560 2646 0 0 0 342 35 0 0 20 0 19 0 8804569 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029276928552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12336] ppid=12329 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/12332/task/12336/stat : 12336 (java) S 12329 12332 11130 0 -1 4202560 2543 0 0 0 343 31 0 0 20 0 19 0 8804569 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029275875752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12337] ppid=12329 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/12332/task/12337/stat : 12337 (java) S 12329 12332 11130 0 -1 4202560 2538 0 0 0 318 30 0 0 20 0 19 0 8804569 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029274822952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12338] ppid=12329 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/12332/task/12338/stat : 12338 (java) S 12329 12332 11130 0 -1 4202560 3627 0 0 0 338 38 0 0 20 0 19 0 8804569 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029273770152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12339] ppid=12329 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/12332/task/12339/stat : 12339 (java) S 12329 12332 11130 0 -1 4202560 2087 0 0 0 332 31 0 0 20 0 19 0 8804569 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029272718376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12340] ppid=12329 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/12332/task/12340/stat : 12340 (java) S 12329 12332 11130 0 -1 4202560 1348 0 0 0 315 30 0 0 20 0 19 0 8804569 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029271665576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12341] ppid=12329 vsize=9625040 CPUtime=3.42 cores=0,2,4,6
/proc/12332/task/12341/stat : 12341 (java) S 12329 12332 11130 0 -1 4202560 3301 0 0 0 312 30 0 0 20 0 19 0 8804569 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029270612776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12342] ppid=12329 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/12332/task/12342/stat : 12342 (java) S 12329 12332 11130 0 -1 4202560 3368 0 0 0 314 29 0 0 20 0 19 0 8804569 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029269559976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12343] ppid=12329 vsize=9625040 CPUtime=5.37 cores=0,2,4,6
/proc/12332/task/12343/stat : 12343 (java) S 12329 12332 11130 0 -1 4202560 2490 0 0 0 530 7 0 0 20 0 19 0 8804570 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029257361896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12344] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12344/stat : 12344 (java) S 12329 12332 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029256307960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12345] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12345/stat : 12345 (java) S 12329 12332 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029255255048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12346] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12346/stat : 12346 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029254203536 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12347] ppid=12329 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12332/task/12347/stat : 12347 (java) S 12329 12332 11130 0 -1 4202560 4377 0 0 0 51 0 0 0 20 0 19 0 8804573 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029253151672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12348] ppid=12329 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/12332/task/12348/stat : 12348 (java) S 12329 12332 11130 0 -1 4202560 4761 0 0 0 58 0 0 0 20 0 19 0 8804573 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029252098872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12349] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12349/stat : 12349 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029251046264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12350] ppid=12329 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12332/task/12350/stat : 12350 (java) S 12329 12332 11130 0 -1 4202560 99 0 0 0 24 31 0 0 20 0 19 0 8804573 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029249993672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12351] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12351/stat : 12351 (java) S 12329 12332 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8804603 9856040960 111188 33554432000 1073741824 1073778376 140734622731776 140029248890024 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1743.48
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778 s]
/proc/loadavg: 2.19 2.13 2.10 3/213 12483
/proc/meminfo: memFree=30366392/32872528 swapFree=532956/565660
[pid=12332] ppid=12329 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/12332/stat : 12332 (java) S 12329 12332 11130 0 -1 4202496 38748 0 1 0 179704 304 0 0 20 0 19 0 8804567 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140734622722912 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12332/statm: 2406260 132276 2296 9 0 2396937 0
[pid=12332/tid=12334] ppid=12329 vsize=9625040 CPUtime=1763.59 cores=0,2,4,6
/proc/12332/task/12334/stat : 12334 (java) R 12329 12332 11130 0 -1 4202560 2963 0 1 0 176326 33 0 0 20 0 19 0 8804567 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029433093360 140029306072332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12335] ppid=12329 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/12332/task/12335/stat : 12335 (java) S 12329 12332 11130 0 -1 4202560 2729 0 0 0 353 37 0 0 20 0 19 0 8804569 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029276928552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12336] ppid=12329 vsize=9625040 CPUtime=3.95 cores=0,2,4,6
/proc/12332/task/12336/stat : 12336 (java) S 12329 12332 11130 0 -1 4202560 2812 0 0 0 363 32 0 0 20 0 19 0 8804569 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029275875752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12337] ppid=12329 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/12332/task/12337/stat : 12337 (java) S 12329 12332 11130 0 -1 4202560 2558 0 0 0 332 31 0 0 20 0 19 0 8804569 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029274822952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12338] ppid=12329 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/12332/task/12338/stat : 12338 (java) S 12329 12332 11130 0 -1 4202560 4007 0 0 0 351 39 0 0 20 0 19 0 8804569 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029273770152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12339] ppid=12329 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/12332/task/12339/stat : 12339 (java) S 12329 12332 11130 0 -1 4202560 2104 0 0 0 347 32 0 0 20 0 19 0 8804569 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029272718376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12340] ppid=12329 vsize=9625040 CPUtime=3.59 cores=0,2,4,6
/proc/12332/task/12340/stat : 12340 (java) S 12329 12332 11130 0 -1 4202560 1465 0 0 0 329 30 0 0 20 0 19 0 8804569 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029271665576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12332/tid=12341] ppid=12329 vsize=9625040 CPUtime=3.57 cores=0,2,4,6
/proc/12332/task/12341/stat : 12341 (java) S 12329 12332 11130 0 -1 4202560 3402 0 0 0 326 31 0 0 20 0 19 0 8804569 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029270612776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12342] ppid=12329 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/12332/task/12342/stat : 12342 (java) S 12329 12332 11130 0 -1 4202560 3551 0 0 0 329 32 0 0 20 0 19 0 8804569 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029269559976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12343] ppid=12329 vsize=9625040 CPUtime=5.53 cores=0,2,4,6
/proc/12332/task/12343/stat : 12343 (java) S 12329 12332 11130 0 -1 4202560 2654 0 0 0 546 7 0 0 20 0 19 0 8804570 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029257361896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12344] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12344/stat : 12344 (java) S 12329 12332 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029256307960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12345] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12345/stat : 12345 (java) S 12329 12332 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8804570 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029255255048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12346] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12346/stat : 12346 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029254203536 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12347] ppid=12329 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12332/task/12347/stat : 12347 (java) S 12329 12332 11130 0 -1 4202560 4377 0 0 0 51 0 0 0 20 0 19 0 8804573 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029253151672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12332/tid=12348] ppid=12329 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/12332/task/12348/stat : 12348 (java) S 12329 12332 11130 0 -1 4202560 4761 0 0 0 58 0 0 0 20 0 19 0 8804573 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029252098872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12349] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12349/stat : 12349 (java) S 12329 12332 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8804573 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029251046264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12332/tid=12350] ppid=12329 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/12332/task/12350/stat : 12350 (java) S 12329 12332 11130 0 -1 4202560 101 0 0 0 25 32 0 0 20 0 19 0 8804573 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029249993672 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12332/tid=12351] ppid=12329 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12332/task/12351/stat : 12351 (java) S 12329 12332 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8804603 9856040960 132276 33554432000 1073741824 1073778376 140734622731776 140029248890024 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12332 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1778.06
CPU time (s): 1801.1
CPU user time (s): 1797.6
CPU system time (s): 3.50547
CPU usage (%): 101.296
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.6
system time used= 3.50547
maximum resident set size= 848332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38787
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53074
involuntary context switches= 53779

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.981 second user time and 10.6754 second system time

The end

Begin job on node138 at 2016-06-16 10:59:49
IDJOB=4090933
IDBENCH=79183
IDSOLVER=2551
FILE ID=node138/4090933-1466067589
RUNJOBID= node138-1466062110-11146
PBS_JOBID= 19904002
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090933-1466067589/watcher-4090933-1466067589 -o /tmp/evaluation-result-4090933-1466067589/solver-4090933-1466067589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466062110-11146 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090933-1466067589.wbo

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

MD5SUM BENCH= 74ceb63f540b1c0e7b9983b4b6436598
RANDOM SEED=25181311

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30957136 kB
Buffers:            8376 kB
Cached:            41024 kB
SwapCached:         1388 kB
Active:           624368 kB
Inactive:          27704 kB
Active(anon):     603276 kB
Inactive(anon):     1812 kB
Active(file):      21092 kB
Inactive(file):    25892 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099628 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       1288372 kB
Mapped:            15364 kB
Shmem:                 0 kB
Slab:             565040 kB
SReclaimable:       8816 kB
SUnreclaim:       556224 kB
KernelStack:        1768 kB
PageTables:         6544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1479164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    741376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node138 at 2016-06-16 11:29:28