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.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	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-4119838-1467278339.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.51/0.38	c ... done. Wall clock time 0.259s.
0.51/0.38	c declared #vars     10272
0.51/0.38	c #constraints  706
0.51/0.38	c constraints type 
0.51/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 320
0.51/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 320
0.51/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.51/0.38	c 706 constraints processed.
0.51/0.38	c objective function length is 32 literals
1.51/0.77	c SATISFIABLE
1.51/0.77	c OPTIMIZING...
1.51/0.77	c Got one! Elapsed wall clock time (in seconds):0.653
1.51/0.77	o 31
2.14/1.04	c Got one! Elapsed wall clock time (in seconds):0.921
2.14/1.04	o 30
2.27/1.15	c cleaning 2641 clauses out of 5294 with flag 3202/5294
2.93/1.72	c cleaning 4318 clauses out of 8654 with flag 30073/11295
3.54/2.35	c cleaning 5658 clauses out of 11335 with flag 69604/18294
4.44/3.25	c cleaning 6829 clauses out of 13677 with flag 113192/26294
5.55/4.33	c cleaning 7914 clauses out of 15848 with flag 166762/35294
6.25/5.06	c cleaning 8953 clauses out of 17935 with flag 203333/45295
7.48/6.22	c cleaning 9973 clauses out of 19982 with flag 226994/56295
9.09/7.86	c cleaning 10979 clauses out of 22008 with flag 252620/68294
11.08/9.89	c cleaning 11990 clauses out of 24032 with flag 280304/81297
13.58/12.35	c cleaning 12994 clauses out of 26040 with flag 310565/95295
16.48/15.23	c cleaning 13997 clauses out of 28045 with flag 342710/110294
19.68/18.48	c cleaning 14997 clauses out of 30048 with flag 376978/126294
23.48/22.21	c cleaning 15999 clauses out of 32051 with flag 413701/143294
27.78/26.58	c cleaning 17005 clauses out of 34053 with flag 452124/161295
32.64/31.35	c cleaning 18005 clauses out of 36049 with flag 492923/180296
37.44/36.17	c cleaning 18999 clauses out of 38044 with flag 535669/200296
42.64/41.37	c cleaning 20000 clauses out of 40044 with flag 580699/221295
46.65/45.38	c Got one! Elapsed wall clock time (in seconds):45.261
46.65/45.38	o 29
47.18/45.81	c cleaning 21052 clauses out of 42131 with flag 15094/243382
47.59/46.28	c cleaning 13523 clauses out of 27081 with flag 33788/249384
48.28/46.91	c cleaning 10263 clauses out of 20557 with flag 55501/256383
48.98/47.69	c cleaning 9129 clauses out of 18295 with flag 79712/264384
49.98/48.67	c cleaning 9068 clauses out of 18164 with flag 107535/273382
51.18/49.80	c cleaning 9529 clauses out of 19097 with flag 138422/283383
52.48/51.17	c cleaning 10268 clauses out of 20569 with flag 173657/294384
54.13/52.70	c cleaning 11131 clauses out of 22300 with flag 206533/306383
55.93/54.55	c cleaning 12062 clauses out of 24170 with flag 246000/319384
58.03/56.63	c cleaning 13030 clauses out of 26106 with flag 287066/333382
60.33/58.96	c cleaning 14017 clauses out of 28076 with flag 335083/348382
63.04/61.63	c cleaning 15007 clauses out of 30059 with flag 387186/364382
66.03/64.67	c cleaning 16005 clauses out of 32053 with flag 442780/381383
69.43/68.05	c cleaning 17000 clauses out of 34047 with flag 508773/399382
73.63/72.26	c cleaning 18005 clauses out of 36047 with flag 564743/418382
78.12/76.65	c cleaning 18998 clauses out of 38042 with flag 618775/438382
83.03/81.54	c cleaning 19995 clauses out of 40045 with flag 684211/459383
88.22/86.78	c cleaning 20997 clauses out of 42050 with flag 749694/481383
94.12/92.68	c cleaning 22001 clauses out of 44052 with flag 820504/504382
100.62/99.11	c cleaning 23001 clauses out of 46051 with flag 895017/528382
107.61/106.00	c cleaning 24002 clauses out of 48050 with flag 972367/553382
114.42/112.83	c cleaning 25004 clauses out of 50048 with flag 1058941/579382
122.22/120.69	c cleaning 25999 clauses out of 52044 with flag 1150590/606382
130.82/129.24	c cleaning 27000 clauses out of 54047 with flag 1246214/634384
140.10/138.33	c cleaning 27998 clauses out of 56045 with flag 1350532/663382
149.50/147.75	c cleaning 28999 clauses out of 58047 with flag 1448810/693382
157.10/155.31	c cleaning 30015 clauses out of 60049 with flag 1547762/724383
162.10/160.24	c cleaning 31008 clauses out of 62035 with flag 1620585/756384
167.50/165.60	c cleaning 31996 clauses out of 64025 with flag 1696556/789382
174.90/173.07	c cleaning 33004 clauses out of 66031 with flag 1773859/823384
182.57/180.62	c cleaning 34001 clauses out of 68025 with flag 1856342/858382
190.97/189.00	c cleaning 34996 clauses out of 70025 with flag 1939357/894383
199.36/197.34	c cleaning 35995 clauses out of 72030 with flag 2025840/931384
206.86/204.86	c cleaning 36998 clauses out of 74033 with flag 2111734/969382
215.34/213.21	c cleaning 37998 clauses out of 76036 with flag 2201954/1008383
227.34/225.23	c cleaning 38997 clauses out of 78037 with flag 2296667/1048382
239.41/237.20	c cleaning 39999 clauses out of 80041 with flag 2390179/1089383
252.22/250.09	c cleaning 41001 clauses out of 82042 with flag 2487536/1131383
267.42/265.16	c cleaning 42008 clauses out of 84042 with flag 2587192/1174384
282.92/280.61	c cleaning 43002 clauses out of 86033 with flag 2688540/1218383
297.42/295.06	c cleaning 44001 clauses out of 88031 with flag 2794115/1263383
310.54/308.04	c cleaning 44996 clauses out of 90029 with flag 2900729/1309382
323.43/320.97	c cleaning 45996 clauses out of 92034 with flag 3011167/1356383
338.27/335.67	c cleaning 47003 clauses out of 94037 with flag 3123140/1404382
352.36/349.65	c cleaning 47997 clauses out of 96034 with flag 3230747/1453382
367.35/364.62	c cleaning 49004 clauses out of 98038 with flag 3347497/1503383
382.32/379.53	c cleaning 50001 clauses out of 100033 with flag 3464420/1554382
390.94/388.08	c cleaning 51004 clauses out of 102032 with flag 3582047/1606382
415.64/412.79	c cleaning 52004 clauses out of 104029 with flag 3688128/1659383
456.29/453.35	c cleaning 52999 clauses out of 106026 with flag 3796183/1713384
511.15/508.11	c cleaning 53999 clauses out of 108028 with flag 3906234/1768385
580.97/577.93	c cleaning 55002 clauses out of 110029 with flag 4018264/1824385
598.93/595.80	c Got one! Elapsed wall clock time (in seconds):595.684
598.93/595.80	o 28
599.54/596.44	c cleaning 44029 clauses out of 88084 with flag 13788/1857442
599.94/596.88	c cleaning 25017 clauses out of 50055 with flag 30894/1863442
600.34/597.29	c cleaning 16009 clauses out of 32038 with flag 50968/1870442
601.14/598.04	c cleaning 12009 clauses out of 24032 with flag 67903/1878445
601.94/598.88	c cleaning 10503 clauses out of 21020 with flag 86671/1887442
602.94/599.86	c cleaning 10249 clauses out of 20520 with flag 108292/1897445
604.04/600.95	c cleaning 10626 clauses out of 21268 with flag 131758/1908442
605.50/602.32	c cleaning 11312 clauses out of 22643 with flag 156783/1920443
607.11/603.92	c cleaning 12155 clauses out of 24331 with flag 183674/1933443
608.90/605.71	c cleaning 13075 clauses out of 26175 with flag 213591/1947442
611.20/608.02	c cleaning 14033 clauses out of 28100 with flag 244950/1962442
613.70/610.59	c cleaning 15027 clauses out of 30070 with flag 278026/1978445
616.72/613.55	c cleaning 16006 clauses out of 32042 with flag 313564/1995444
620.02/616.81	c cleaning 17004 clauses out of 34034 with flag 351717/2013442
623.81/620.63	c cleaning 18006 clauses out of 36031 with flag 391173/2032443
627.91/624.75	c cleaning 18996 clauses out of 38024 with flag 432798/2052442
632.55/629.39	c cleaning 20006 clauses out of 40028 with flag 476433/2073442
637.95/634.79	c cleaning 21000 clauses out of 42022 with flag 522551/2095442
643.24/640.01	c cleaning 21999 clauses out of 44023 with flag 572229/2118443
649.33/646.15	c cleaning 22997 clauses out of 46024 with flag 623412/2142443
656.29/653.02	c cleaning 24005 clauses out of 48027 with flag 676288/2167443
663.99/660.71	c cleaning 24998 clauses out of 50023 with flag 731791/2193444
672.19/668.93	c cleaning 25998 clauses out of 52024 with flag 788965/2220443
680.80/677.60	c cleaning 27000 clauses out of 54025 with flag 847199/2248442
690.21/686.92	c cleaning 28003 clauses out of 56029 with flag 908281/2277446
700.35/697.06	c cleaning 28996 clauses out of 58022 with flag 971441/2307442
711.14/707.84	c cleaning 29995 clauses out of 60026 with flag 1036140/2338442
722.34/719.02	c cleaning 30998 clauses out of 62032 with flag 1102666/2370443
734.87/731.56	c cleaning 32004 clauses out of 64033 with flag 1170581/2403442
747.86/744.55	c cleaning 33004 clauses out of 66031 with flag 1240514/2437444
761.38/758.05	c cleaning 34004 clauses out of 68025 with flag 1313325/2472442
774.37/771.08	c cleaning 34997 clauses out of 70021 with flag 1392269/2508442
788.82/785.45	c cleaning 35997 clauses out of 72026 with flag 1470008/2545444
803.82/800.43	c cleaning 37002 clauses out of 74027 with flag 1548560/2583442
819.37/815.97	c cleaning 38002 clauses out of 76028 with flag 1630262/2622445
836.53/833.01	c cleaning 39003 clauses out of 78025 with flag 1712718/2662444
855.44/851.97	c cleaning 39999 clauses out of 80020 with flag 1798502/2703442
873.09/869.59	c cleaning 41000 clauses out of 82021 with flag 1892648/2745442
876.52/872.96	c cleaning 41998 clauses out of 84021 with flag 2001728/2788442
879.42/875.89	c cleaning 43009 clauses out of 86027 with flag 2117262/2832446
883.55/879.90	c cleaning 43998 clauses out of 88015 with flag 2216606/2877443
894.57/891.00	c cleaning 44997 clauses out of 90016 with flag 2317100/2923442
906.04/902.34	c cleaning 45994 clauses out of 92019 with flag 2419156/2970442
918.00/914.29	c cleaning 47004 clauses out of 94027 with flag 2523620/3018444
929.96/926.16	c cleaning 47999 clauses out of 96021 with flag 2629205/3067442
941.80/937.97	c cleaning 49003 clauses out of 98022 with flag 2737437/3117442
954.61/950.74	c cleaning 50001 clauses out of 100019 with flag 2847586/3168442
968.15/964.24	c cleaning 50998 clauses out of 102019 with flag 2960175/3220443
983.08/979.19	c cleaning 51997 clauses out of 104020 with flag 3075509/3273442
998.11/994.14	c cleaning 52998 clauses out of 106024 with flag 3194391/3327443
1014.02/1009.98	c cleaning 54006 clauses out of 108028 with flag 3313233/3382445
1030.88/1026.73	c cleaning 54993 clauses out of 110019 with flag 3437888/3438442
1047.95/1043.70	c cleaning 55999 clauses out of 112026 with flag 3561961/3495442
1066.39/1062.20	c cleaning 56999 clauses out of 114030 with flag 3687411/3553445
1085.93/1081.65	c cleaning 58000 clauses out of 116028 with flag 3814966/3612442
1107.30/1102.95	c cleaning 59003 clauses out of 118029 with flag 3944841/3672443
1129.37/1124.98	c cleaning 60002 clauses out of 120025 with flag 4078464/3733442
1152.62/1148.11	c cleaning 61001 clauses out of 122023 with flag 4214472/3795442
1174.48/1169.99	c cleaning 62005 clauses out of 124022 with flag 4352129/3858442
1196.80/1192.22	c cleaning 62996 clauses out of 126017 with flag 4494845/3922442
1203.79/1199.15	c cleaning 64001 clauses out of 128022 with flag 4639641/3987443
1236.69/1231.96	c cleaning 64999 clauses out of 130020 with flag 4771675/4053442
1275.95/1271.12	c cleaning 65997 clauses out of 132022 with flag 4905708/4120443
1319.16/1314.24	c cleaning 67003 clauses out of 134027 with flag 5041748/4188445
1374.82/1369.78	c cleaning 67995 clauses out of 136021 with flag 5179778/4257442
1442.11/1436.98	c cleaning 68999 clauses out of 138026 with flag 5319810/4327442
1455.99/1450.64	c cleaning 70008 clauses out of 140027 with flag 5522829/4398442
1483.70/1478.24	c cleaning 70997 clauses out of 142019 with flag 5671006/4470442
1490.25/1484.78	c cleaning 72000 clauses out of 144022 with flag 5869299/4543442
1498.68/1493.09	c cleaning 73003 clauses out of 146022 with flag 6079954/4617442
1518.85/1513.16	c cleaning 73999 clauses out of 148024 with flag 6257569/4692447
1563.46/1557.69	c cleaning 74992 clauses out of 150021 with flag 6409608/4768443
1601.91/1596.08	c cleaning 75998 clauses out of 152029 with flag 6568831/4845443
1645.74/1639.77	c cleaning 76996 clauses out of 154030 with flag 6724923/4923442
1667.68/1661.55	c cleaning 78010 clauses out of 156035 with flag 6892785/5002443
1679.37/1673.04	c cleaning 78995 clauses out of 158024 with flag 7088949/5082442
1691.12/1684.62	c cleaning 80002 clauses out of 160029 with flag 7309538/5163442
1726.16/1719.55	c cleaning 81002 clauses out of 162029 with flag 7490903/5245444
1747.71/1740.97	c cleaning 82004 clauses out of 164028 with flag 7682675/5328445
1756.46/1749.52	c cleaning 83008 clauses out of 166022 with flag 7897789/5412443
1767.55/1760.43	c cleaning 83991 clauses out of 168014 with flag 8081017/5497443
1780.62/1773.34	c cleaning 85003 clauses out of 170022 with flag 8271218/5583442
1787.97/1780.55	c cleaning 85992 clauses out of 172019 with flag 8472196/5670442
1800.09/1792.50	c starts		: 1700
1800.09/1792.50	c conflicts		: 5722912
1800.09/1792.50	c decisions		: 8101485
1800.09/1792.50	c propagations		: 366224404
1800.09/1792.50	c inspects		: 32105182764
1800.09/1792.50	c shortcuts		: 0
1800.09/1792.50	c learnt literals	: 0
1800.09/1792.50	c learnt binary clauses	: 0
1800.09/1792.50	c learnt ternary clauses	: 0
1800.09/1792.50	c learnt constraints	: 5722912
1800.09/1792.50	c ignored constraints	: 0
1800.09/1792.50	c root simplifications	: 0
1800.09/1792.50	c removed literals (reason simplification)	: 0
1800.09/1792.50	c reason swapping (by a shorter reason)	: 0
1800.09/1792.50	c Calls to reduceDB	: 152
1800.09/1792.50	c Number of update (reduction) of LBD	: 427191
1800.09/1792.50	c Imported unit clauses	: 0
1800.09/1792.50	c number of reductions to clauses (during analyze)	: 0
1800.09/1792.50	c number of learned constraints concerned by reduction	: 0
1800.09/1792.50	c number of learning phase by resolution	: 0
1800.09/1792.50	c number of learning phase by cutting planes	: 0
1800.09/1792.50	c speed (assignments/second)	: 204353.18380795876
1800.09/1792.50	c non guided choices	387776
1800.09/1792.53	c learnt constraints type 
1800.09/1792.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 138498
1800.09/1792.53	s SATISFIABLE
1800.09/1792.53	c Found 4 solution(s)
1800.09/1792.54	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 
1800.09/1792.55	c objective function=28
1800.09/1792.55	c Total wall clock time (in seconds): 1792.433

OK	28

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-4119838-1467278339/watcher-4119838-1467278339 -o /tmp/evaluation-result-4119838-1467278339/solver-4119838-1467278339 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467278339-27634 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119838-1467278339.opb 

pid=27647
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.25 2.26 2.21 2/170 27650
/proc/meminfo: memFree=30151380/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27650/stat : 27650 (java) D 27647 27650 26626 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 17862489 9515008 175 33554432000 1073741824 1073778376 140737068165920 140737068148648 248790205328 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/27650/statm: 2323 175 133 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 2.25 2.26 2.21 2/170 27650
/proc/meminfo: memFree=30151380/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 4474 0 1 0 8 1 0 0 20 0 18 0 17862489 9787879424 5584 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2389619 5584 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200217 s]
/proc/loadavg: 2.25 2.26 2.21 2/170 27650
/proc/meminfo: memFree=30151380/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 6375 0 1 0 25 1 0 0 20 0 18 0 17862489 9787879424 7355 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2389619 7355 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.25 2.26 2.21 2/170 27650
/proc/meminfo: memFree=30151380/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 7016 0 1 0 49 2 0 0 20 0 18 0 17862489 9787879424 10201 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2389619 10201 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700195 s]
/proc/loadavg: 2.25 2.26 2.21 2/170 27650
/proc/meminfo: memFree=30151380/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 11883 0 1 0 147 4 0 0 20 0 19 0 17862489 9856040960 23730 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2406260 23730 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.39 2.29 2.22 5/213 27700
/proc/meminfo: memFree=29948628/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 15063 0 1 0 266 5 0 0 20 0 19 0 17862489 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2406260 27563 2265 9 0 2396937 0
[pid=27650/tid=27654] ppid=27647 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/27650/task/27654/stat : 27654 (java) R 27647 27650 26626 0 -1 4202560 2489 0 1 0 143 2 0 0 20 0 19 0 17862490 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139733139112392 139733011473184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27655] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27655/stat : 27655 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732983212840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27656] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27656/stat : 27656 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732982160040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27657] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27657/stat : 27657 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732981107752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27658] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27658/stat : 27658 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732980054952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27659] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27659/stat : 27659 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732979001640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27660] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27660/stat : 27660 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732977948840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27661] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27661/stat : 27661 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732976896552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27662] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27662/stat : 27662 (java) S 27647 27650 26626 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732975843752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27664] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27647 27650 26626 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 17862492 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732963433192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27669] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27647 27650 26626 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732962379256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27670] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27647 27650 26626 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732961326856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27677] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27677/stat : 27677 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732960275344 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27679] ppid=27647 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27647 27650 26626 0 -1 4202560 6353 0 0 0 55 1 0 0 20 0 19 0 17862495 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732959221944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27680] ppid=27647 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27647 27650 26626 0 -1 4202560 4945 0 0 0 64 0 0 0 20 0 19 0 17862495 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732958169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27681] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27681/stat : 27681 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732957117048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27682] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27682/stat : 27682 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732956064456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27699] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27699/stat : 27699 (java) S 27647 27650 26626 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 17862528 9856040960 27563 33554432000 1073741824 1073778376 140736022468992 139732954912168 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.39 2.29 2.22 3/213 27700
/proc/meminfo: memFree=29916792/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9625040 CPUtime=4.34 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 15082 0 1 0 429 5 0 0 20 0 19 0 17862489 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2406260 33202 2265 9 0 2396937 0
[pid=27650/tid=27654] ppid=27647 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/27650/task/27654/stat : 27654 (java) R 27647 27650 26626 0 -1 4202560 2501 0 1 0 302 2 0 0 20 0 19 0 17862490 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139733139112312 139733011704237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27655] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27655/stat : 27655 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732983212840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27656] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27656/stat : 27656 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732982160040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27657] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27657/stat : 27657 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732981107752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27658] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27658/stat : 27658 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732980054952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27659] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27659/stat : 27659 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732979001640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27660] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27660/stat : 27660 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732977948840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27661] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27661/stat : 27661 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732976896552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27662] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27662/stat : 27662 (java) S 27647 27650 26626 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732975843752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27664] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27647 27650 26626 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 17862492 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732963433192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27669] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27647 27650 26626 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732962379256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27670] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27647 27650 26626 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732961326856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27677] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27677/stat : 27677 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732960275344 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27679] ppid=27647 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27647 27650 26626 0 -1 4202560 6358 0 0 0 57 2 0 0 20 0 19 0 17862495 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732959221944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27680] ppid=27647 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27647 27650 26626 0 -1 4202560 4947 0 0 0 66 0 0 0 20 0 19 0 17862495 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732958169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27681] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27681/stat : 27681 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732957117048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27682] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27682/stat : 27682 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732956064456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27699] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27699/stat : 27699 (java) S 27647 27650 26626 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 17862528 9856040960 33202 33554432000 1073741824 1073778376 140736022468992 139732954912168 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.39 2.29 2.22 3/213 27700
/proc/meminfo: memFree=29847936/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9625040 CPUtime=7.58 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 15153 0 1 0 751 7 0 0 20 0 19 0 17862489 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2406260 44208 2279 9 0 2396937 0
[pid=27650/tid=27654] ppid=27647 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/27650/task/27654/stat : 27654 (java) R 27647 27650 26626 0 -1 4202560 2522 0 1 0 619 2 0 0 20 0 19 0 17862490 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139733139103424 139733011344703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27655] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27655/stat : 27655 (java) S 27647 27650 26626 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732983212840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27656] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27656/stat : 27656 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732982160040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27657] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27657/stat : 27657 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732981107752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27658] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27658/stat : 27658 (java) S 27647 27650 26626 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732980054952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27659] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27659/stat : 27659 (java) S 27647 27650 26626 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732979001640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27660] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27660/stat : 27660 (java) S 27647 27650 26626 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732977948840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27661] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27661/stat : 27661 (java) S 27647 27650 26626 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732976896552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27662] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27662/stat : 27662 (java) S 27647 27650 26626 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 17862491 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732975843752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27664] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27647 27650 26626 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 17862492 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732963433192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27669] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27647 27650 26626 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732962379256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27670] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27647 27650 26626 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732961326856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27677] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27677/stat : 27677 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732960275344 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27679] ppid=27647 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27647 27650 26626 0 -1 4202560 6358 0 0 0 57 2 0 0 20 0 19 0 17862495 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732959221944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27680] ppid=27647 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27647 27650 26626 0 -1 4202560 4950 0 0 0 67 0 0 0 20 0 19 0 17862495 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732958169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27681] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27681/stat : 27681 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732957117048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27682] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27682/stat : 27682 (java) S 27647 27650 26626 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732956064456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27699] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27699/stat : 27699 (java) S 27647 27650 26626 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 17862528 9856040960 44208 33554432000 1073741824 1073778376 140736022468992 139732954912168 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 9625040


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

[pid=27650/tid=27699] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27699/stat : 27699 (java) S 27647 27650 26626 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 17862528 9856040960 90091 33554432000 1073741824 1073778376 140736022468992 139732954912168 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.99
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.21 2.22 2.18 4/213 27744
/proc/meminfo: memFree=29455064/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9625040 CPUtime=1789.79 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 19005 0 1 0 178890 89 0 0 20 0 19 0 17862489 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2406260 87030 2288 9 0 2396937 0
[pid=27650/tid=27654] ppid=27647 vsize=9625040 CPUtime=1773.59 cores=1,3,5,7
/proc/27650/task/27654/stat : 27654 (java) R 27647 27650 26626 0 -1 4202560 2645 0 1 0 177329 30 0 0 20 0 19 0 17862490 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139733139111088 139733011321132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27655] ppid=27647 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/27650/task/27655/stat : 27655 (java) S 27647 27650 26626 0 -1 4202560 605 0 0 0 101 7 0 0 20 0 19 0 17862491 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732983212840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27656] ppid=27647 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/27650/task/27656/stat : 27656 (java) S 27647 27650 26626 0 -1 4202560 126 0 0 0 89 7 0 0 20 0 19 0 17862491 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732982160040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27657] ppid=27647 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/27650/task/27657/stat : 27657 (java) S 27647 27650 26626 0 -1 4202560 574 0 0 0 100 7 0 0 20 0 19 0 17862491 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732981107752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27658] ppid=27647 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/27650/task/27658/stat : 27658 (java) S 27647 27650 26626 0 -1 4202560 345 0 0 0 102 6 0 0 20 0 19 0 17862491 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732980054952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27659] ppid=27647 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/27650/task/27659/stat : 27659 (java) S 27647 27650 26626 0 -1 4202560 403 0 0 0 107 8 0 0 20 0 19 0 17862491 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732979001640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27660] ppid=27647 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/27650/task/27660/stat : 27660 (java) S 27647 27650 26626 0 -1 4202560 193 0 0 0 107 6 0 0 20 0 19 0 17862491 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732977948840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27661] ppid=27647 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/27650/task/27661/stat : 27661 (java) S 27647 27650 26626 0 -1 4202560 692 0 0 0 107 7 0 0 20 0 19 0 17862491 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732976896552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27662] ppid=27647 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/27650/task/27662/stat : 27662 (java) S 27647 27650 26626 0 -1 4202560 410 0 0 0 97 7 0 0 20 0 19 0 17862491 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732975843752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27664] ppid=27647 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27647 27650 26626 0 -1 4202560 331 0 0 0 126 4 0 0 20 0 19 0 17862492 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732963433192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27669] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27647 27650 26626 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732962379256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27670] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27647 27650 26626 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732961326856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27677] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27677/stat : 27677 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732960275344 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27679] ppid=27647 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27647 27650 26626 0 -1 4202560 6358 0 0 0 57 2 0 0 20 0 19 0 17862495 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732959221944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27680] ppid=27647 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27647 27650 26626 0 -1 4202560 4958 0 0 0 73 0 0 0 20 0 19 0 17862495 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732958169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27681] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27681/stat : 27681 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732957117048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27682] ppid=27647 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/27650/task/27682/stat : 27682 (java) S 27647 27650 26626 0 -1 4202560 103 0 0 0 24 30 0 0 20 0 19 0 17862495 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732956064456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27699] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27699/stat : 27699 (java) S 27647 27650 26626 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 17862528 9856040960 87030 33554432000 1073741824 1073778376 140736022468992 139732954912168 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1789.79
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.5 s]
/proc/loadavg: 2.33 2.24 2.19 3/213 27744
/proc/meminfo: memFree=29450104/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 19704 0 1 0 179919 90 0 0 20 0 19 0 17862489 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2406260 88744 2288 9 0 2396937 0
[pid=27650/tid=27654] ppid=27647 vsize=9625040 CPUtime=1783.72 cores=1,3,5,7
/proc/27650/task/27654/stat : 27654 (java) R 27647 27650 26626 0 -1 4202560 2647 0 1 0 178341 31 0 0 20 0 19 0 17862490 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139733139111120 139733011459390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27655] ppid=27647 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/27650/task/27655/stat : 27655 (java) S 27647 27650 26626 0 -1 4202560 799 0 0 0 103 8 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732983212840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27656] ppid=27647 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
/proc/27650/task/27656/stat : 27656 (java) S 27647 27650 26626 0 -1 4202560 126 0 0 0 91 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732982160040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27657] ppid=27647 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/27650/task/27657/stat : 27657 (java) S 27647 27650 26626 0 -1 4202560 574 0 0 0 102 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732981107752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27658] ppid=27647 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/27650/task/27658/stat : 27658 (java) S 27647 27650 26626 0 -1 4202560 345 0 0 0 103 6 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732980054952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27659] ppid=27647 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/27650/task/27659/stat : 27659 (java) S 27647 27650 26626 0 -1 4202560 567 0 0 0 109 8 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732979001640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27660] ppid=27647 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/27650/task/27660/stat : 27660 (java) S 27647 27650 26626 0 -1 4202560 369 0 0 0 108 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732977948840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27661] ppid=27647 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/27650/task/27661/stat : 27661 (java) S 27647 27650 26626 0 -1 4202560 853 0 0 0 109 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732976896552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27662] ppid=27647 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/27650/task/27662/stat : 27662 (java) S 27647 27650 26626 0 -1 4202560 410 0 0 0 99 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732975843752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27664] ppid=27647 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27647 27650 26626 0 -1 4202560 333 0 0 0 126 4 0 0 20 0 19 0 17862492 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732963433192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27669] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27647 27650 26626 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732962379256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27670] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27647 27650 26626 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732961326856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27677] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27677/stat : 27677 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732960275344 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27679] ppid=27647 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27647 27650 26626 0 -1 4202560 6358 0 0 0 57 2 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732959221944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27680] ppid=27647 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27647 27650 26626 0 -1 4202560 4958 0 0 0 73 0 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732958169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27681] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27681/stat : 27681 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732957117048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27682] ppid=27647 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/27650/task/27682/stat : 27682 (java) S 27647 27650 26626 0 -1 4202560 103 0 0 0 24 30 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732956064456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27699] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27699/stat : 27699 (java) S 27647 27650 26626 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 17862528 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732954912168 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 27650 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1792.5 s]
/proc/loadavg: 2.33 2.24 2.19 3/213 27744
/proc/meminfo: memFree=29450104/32872528 swapFree=1394328/1580332
[pid=27650] ppid=27647 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27647 27650 26626 0 -1 4202496 19704 0 1 0 179919 90 0 0 20 0 19 0 17862489 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 140736022460128 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27650/statm: 2406260 88744 2288 9 0 2396937 0
[pid=27650/tid=27654] ppid=27647 vsize=9625040 CPUtime=1783.72 cores=1,3,5,7
/proc/27650/task/27654/stat : 27654 (java) R 27647 27650 26626 0 -1 4202560 2647 0 1 0 178341 31 0 0 20 0 19 0 17862490 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139733139111120 139733011459390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27655] ppid=27647 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/27650/task/27655/stat : 27655 (java) S 27647 27650 26626 0 -1 4202560 799 0 0 0 103 8 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732983212840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27656] ppid=27647 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
/proc/27650/task/27656/stat : 27656 (java) S 27647 27650 26626 0 -1 4202560 126 0 0 0 91 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732982160040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27657] ppid=27647 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/27650/task/27657/stat : 27657 (java) S 27647 27650 26626 0 -1 4202560 574 0 0 0 102 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732981107752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27658] ppid=27647 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/27650/task/27658/stat : 27658 (java) S 27647 27650 26626 0 -1 4202560 345 0 0 0 103 6 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732980054952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27659] ppid=27647 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/27650/task/27659/stat : 27659 (java) S 27647 27650 26626 0 -1 4202560 567 0 0 0 109 8 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732979001640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27650/tid=27660] ppid=27647 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/27650/task/27660/stat : 27660 (java) S 27647 27650 26626 0 -1 4202560 369 0 0 0 108 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732977948840 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27661] ppid=27647 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/27650/task/27661/stat : 27661 (java) S 27647 27650 26626 0 -1 4202560 853 0 0 0 109 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732976896552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27662] ppid=27647 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/27650/task/27662/stat : 27662 (java) S 27647 27650 26626 0 -1 4202560 410 0 0 0 99 7 0 0 20 0 19 0 17862491 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732975843752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27664] ppid=27647 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27647 27650 26626 0 -1 4202560 333 0 0 0 126 4 0 0 20 0 19 0 17862492 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732963433192 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27669] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27647 27650 26626 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732962379256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27670] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27647 27650 26626 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 17862493 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732961326856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27677] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27677/stat : 27677 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732960275344 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27679] ppid=27647 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27647 27650 26626 0 -1 4202560 6358 0 0 0 57 2 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732959221944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27650/tid=27680] ppid=27647 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27647 27650 26626 0 -1 4202560 4958 0 0 0 73 0 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732958169144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27681] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27681/stat : 27681 (java) S 27647 27650 26626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732957117048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27650/tid=27682] ppid=27647 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/27650/task/27682/stat : 27682 (java) S 27647 27650 26626 0 -1 4202560 103 0 0 0 24 30 0 0 20 0 19 0 17862495 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732956064456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27650/tid=27699] ppid=27647 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27699/stat : 27699 (java) S 27647 27650 26626 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 17862528 9856040960 88744 33554432000 1073741824 1073778376 140736022468992 139732954912168 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1792.56
CPU time (s): 1800.09
CPU user time (s): 1799.19
CPU system time (s): 0.9
CPU usage (%): 100.42
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.38179
maximum resident set size= 600144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19756
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41613
involuntary context switches= 24697

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4303 second user time and 12.2961 second system time

The end

Begin job on node139 at 2016-06-30 11:18:59
IDJOB=4119838
IDBENCH=111811
IDSOLVER=2546
FILE ID=node139/4119838-1467278339
RUNJOBID= node139-1467278339-27634
PBS_JOBID= 20004498
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119838-1467278339/watcher-4119838-1467278339 -o /tmp/evaluation-result-4119838-1467278339/solver-4119838-1467278339 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467278339-27634 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119838-1467278339.opb

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

MD5SUM BENCH= f03240b9a734d8daafc38104f404b1a5
RANDOM SEED=1920816974

node139.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		: 2667.092
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	: 5334.18
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		: 2667.092
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		: 2667.092
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		: 2667.092
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		: 2667.092
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.56
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		: 2667.092
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		: 2667.092
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.48
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		: 2667.092
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30151776 kB
Buffers:          164916 kB
Cached:           235968 kB
SwapCached:         3080 kB
Active:           138460 kB
Inactive:         266448 kB
Active(anon):       3576 kB
Inactive(anon):     3176 kB
Active(file):     134884 kB
Inactive(file):   263272 kB
Unevictable:     1580332 kB
Mlocked:         1394328 kB
SwapTotal:      67108856 kB
SwapFree:       67097568 kB
Dirty:              1192 kB
Writeback:            12 kB
AnonPages:       1582644 kB
Mapped:             7648 kB
Shmem:                 0 kB
Slab:             602216 kB
SReclaimable:      46148 kB
SUnreclaim:       556068 kB
KernelStack:        1432 kB
PageTables:         7080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1675768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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= 71708 MiB
End job on node139 at 2016-06-30 11:48:52