0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432245-1721089864.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
2.60/1.60	c ... done. Wall clock time 1.479s.
2.60/1.60	c declared #vars     10000
2.60/1.60	c #constraints  656900
2.60/1.60	c constraints type 
2.60/1.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.60/1.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.60/1.60	c 656900 constraints processed.
2.60/1.62	c objective function length is 10000 literals
3.40/2.06	c SATISFIABLE
3.40/2.08	c OPTIMIZING...
3.40/2.08	c Got one! Elapsed wall clock time (in seconds):1.949
3.40/2.08	o 1515
3.81/2.24	c Got one! Elapsed wall clock time (in seconds):2.125
3.81/2.24	o 1318
4.19/2.41	c Got one! Elapsed wall clock time (in seconds):2.295
4.19/2.41	o 807
5.83/3.53	c cleaning 2717 clauses out of 5480 with flag 14944/5480
7.05/4.57	c cleaning 4350 clauses out of 8763 with flag 31078/11480
8.33/5.79	c cleaning 5707 clauses out of 11413 with flag 51145/18480
10.39/7.75	c cleaning 6847 clauses out of 13707 with flag 74343/26481
12.59/9.91	c cleaning 7919 clauses out of 15859 with flag 99616/35480
15.44/12.62	c cleaning 8964 clauses out of 17941 with flag 128689/45481
18.04/15.29	c cleaning 9988 clauses out of 19976 with flag 160018/56480
21.13/18.33	c cleaning 10993 clauses out of 21989 with flag 195250/68481
24.43/21.62	c cleaning 11997 clauses out of 23997 with flag 235515/81482
28.29/25.32	c cleaning 12992 clauses out of 25999 with flag 275137/95481
32.18/29.20	c cleaning 13991 clauses out of 28007 with flag 320488/110481
36.32/33.28	c cleaning 15005 clauses out of 30017 with flag 365887/126482
40.34/37.30	c cleaning 15999 clauses out of 32011 with flag 413343/143481
44.66/41.57	c cleaning 17000 clauses out of 34011 with flag 468433/161480
49.31/46.06	c cleaning 18001 clauses out of 36012 with flag 524673/180481
53.89/50.63	c cleaning 18991 clauses out of 38010 with flag 589323/200480
59.12/55.72	c cleaning 19997 clauses out of 40020 with flag 654722/221481
64.59/61.02	c cleaning 20995 clauses out of 42022 with flag 727466/243480
69.97/66.46	c cleaning 22013 clauses out of 44027 with flag 801461/266480
76.08/72.49	c cleaning 23005 clauses out of 46015 with flag 879915/290481
82.23/78.65	c cleaning 23990 clauses out of 48009 with flag 961694/315480
88.91/85.28	c cleaning 25003 clauses out of 50022 with flag 1050394/341483
95.86/92.06	c cleaning 26004 clauses out of 52016 with flag 1137475/368480
102.79/98.81	c cleaning 26996 clauses out of 54012 with flag 1230088/396480
109.53/105.62	c cleaning 27998 clauses out of 56016 with flag 1331270/425480
117.05/113.08	c cleaning 29004 clauses out of 58018 with flag 1437711/455480
124.97/120.86	c cleaning 29998 clauses out of 60015 with flag 1543765/486481
133.09/128.80	c cleaning 31004 clauses out of 62016 with flag 1651841/518480
141.30/136.90	c cleaning 31999 clauses out of 64012 with flag 1763488/551480
149.91/145.41	c cleaning 32992 clauses out of 66013 with flag 1885348/585480
159.38/154.14	c cleaning 34000 clauses out of 68021 with flag 2006930/620480
168.70/163.35	c cleaning 34999 clauses out of 70022 with flag 2134191/656481
178.95/173.41	c cleaning 35998 clauses out of 72022 with flag 2265944/693480
189.01/183.30	c cleaning 36996 clauses out of 74025 with flag 2403773/731481
198.74/192.92	c cleaning 38011 clauses out of 76029 with flag 2540064/770481
209.30/203.46	c cleaning 39008 clauses out of 78017 with flag 2680251/810480
220.16/214.21	c cleaning 40005 clauses out of 80010 with flag 2819726/851481
230.98/224.98	c cleaning 40997 clauses out of 82006 with flag 2961342/893482
241.72/235.54	c cleaning 41995 clauses out of 84007 with flag 3105453/936480
252.41/246.14	c cleaning 42996 clauses out of 86012 with flag 3254407/980480
263.69/257.20	c cleaning 44001 clauses out of 88016 with flag 3410877/1025480
276.09/268.75	c cleaning 45003 clauses out of 90015 with flag 3573193/1071480
287.92/280.43	c cleaning 46000 clauses out of 92013 with flag 3732240/1118481
300.08/292.47	c cleaning 47000 clauses out of 94013 with flag 3900819/1166481
313.17/305.20	c cleaning 47999 clauses out of 96012 with flag 4074773/1215480
326.69/318.63	c cleaning 48999 clauses out of 98016 with flag 4250105/1265483
340.02/331.97	c cleaning 49990 clauses out of 100014 with flag 4427855/1316480
354.00/345.56	c cleaning 51005 clauses out of 102025 with flag 4610466/1368481
368.03/359.51	c cleaning 52005 clauses out of 104019 with flag 4799665/1421480
384.01/374.28	c cleaning 52998 clauses out of 106015 with flag 5007260/1475481
398.53/388.75	c cleaning 54002 clauses out of 108016 with flag 5213426/1530480
414.32/404.35	c cleaning 54996 clauses out of 110014 with flag 5440052/1586480
429.24/419.27	c cleaning 56004 clauses out of 112020 with flag 5652379/1643482
445.60/435.38	c cleaning 56999 clauses out of 114014 with flag 5868435/1701480
462.09/451.72	c cleaning 57999 clauses out of 116017 with flag 6091783/1760482
478.49/467.92	c cleaning 59005 clauses out of 118017 with flag 6319684/1820481
495.24/484.67	c cleaning 59997 clauses out of 120011 with flag 6548835/1881480
512.60/501.77	c cleaning 60998 clauses out of 122015 with flag 6785569/1943481
529.57/518.49	c cleaning 62006 clauses out of 124017 with flag 7011528/2006481
546.82/535.46	c cleaning 62982 clauses out of 126010 with flag 7253856/2070480
564.48/552.82	c cleaning 64012 clauses out of 128028 with flag 7505093/2135480
583.88/570.60	c cleaning 64999 clauses out of 130017 with flag 7769885/2201481
602.29/588.58	c cleaning 66002 clauses out of 132018 with flag 8038643/2268481
621.33/607.19	c cleaning 66996 clauses out of 134015 with flag 8316747/2336480
640.49/626.12	c cleaning 68005 clauses out of 136019 with flag 8599586/2405480
659.93/645.29	c cleaning 68995 clauses out of 138015 with flag 8889073/2475481
679.68/664.54	c cleaning 69995 clauses out of 140019 with flag 9182287/2546480
699.03/683.64	c cleaning 71005 clauses out of 142024 with flag 9475018/2618480
719.62/703.99	c cleaning 72003 clauses out of 144022 with flag 9770400/2691483
740.64/724.77	c cleaning 72995 clauses out of 146016 with flag 10068348/2765480
761.67/745.44	c cleaning 74008 clauses out of 148021 with flag 10374203/2840480
783.55/766.95	c cleaning 74992 clauses out of 150013 with flag 10692441/2916480
805.72/789.05	c cleaning 76001 clauses out of 152022 with flag 11016387/2993481
828.59/811.52	c cleaning 76999 clauses out of 154020 with flag 11337565/3071480
851.91/834.66	c cleaning 77994 clauses out of 156021 with flag 11663749/3150480
876.17/857.05	c cleaning 79011 clauses out of 158027 with flag 11995521/3230480
898.98/879.73	c cleaning 79999 clauses out of 160016 with flag 12334229/3311480
922.53/902.86	c cleaning 80987 clauses out of 162018 with flag 12679440/3393481
945.96/926.15	c cleaning 82010 clauses out of 164032 with flag 13014381/3476482
971.08/950.81	c cleaning 83004 clauses out of 166020 with flag 13369468/3560480
995.07/974.62	c cleaning 84002 clauses out of 168016 with flag 13723586/3645480
1020.47/999.54	c cleaning 84993 clauses out of 170014 with flag 14079293/3731480
1046.62/1025.48	c cleaning 86007 clauses out of 172021 with flag 14446794/3818480
1072.62/1050.90	c cleaning 86990 clauses out of 174016 with flag 14809951/3906482
1097.70/1075.80	c cleaning 87996 clauses out of 176024 with flag 15184025/3995480
1124.15/1101.90	c cleaning 89005 clauses out of 178029 with flag 15552632/4085481
1150.22/1127.76	c cleaning 89993 clauses out of 180024 with flag 15920221/4176481
1178.89/1155.87	c cleaning 91010 clauses out of 182031 with flag 16318144/4268481
1205.41/1182.20	c cleaning 92000 clauses out of 184020 with flag 16708033/4361480
1232.27/1208.68	c cleaning 93000 clauses out of 186020 with flag 17122221/4455480
1261.64/1236.16	c cleaning 94002 clauses out of 188020 with flag 17539342/4550480
1291.92/1265.68	c cleaning 95009 clauses out of 190020 with flag 17957666/4646482
1321.66/1295.15	c cleaning 95991 clauses out of 192010 with flag 18386416/4743481
1350.37/1323.85	c cleaning 96999 clauses out of 194018 with flag 18808838/4841480
1380.88/1353.88	c cleaning 98003 clauses out of 196020 with flag 19254842/4940481
1412.90/1385.65	c cleaning 98996 clauses out of 198016 with flag 19699257/5040480
1443.98/1416.40	c cleaning 100003 clauses out of 200020 with flag 20151717/5141480
1474.81/1446.70	c cleaning 101003 clauses out of 202017 with flag 20612782/5243480
1504.41/1476.23	c cleaning 101995 clauses out of 204014 with flag 21074254/5346480
1536.01/1507.44	c cleaning 102999 clauses out of 206019 with flag 21533521/5450480
1567.93/1539.21	c cleaning 103991 clauses out of 208020 with flag 22009032/5555480
1601.57/1572.42	c cleaning 104997 clauses out of 210029 with flag 22469408/5661480
1634.52/1605.24	c cleaning 106010 clauses out of 212032 with flag 22937264/5768480
1669.64/1640.38	c cleaning 107003 clauses out of 214023 with flag 23409551/5876481
1704.29/1674.43	c cleaning 108008 clauses out of 216019 with flag 23891745/5985480
1739.35/1709.31	c cleaning 109001 clauses out of 218012 with flag 24373979/6095481
1775.40/1744.55	c cleaning 109995 clauses out of 220010 with flag 24858004/6206480
1812.88/1778.95	c cleaning 111004 clauses out of 222015 with flag 25363044/6318480
1849.59/1815.04	c cleaning 112000 clauses out of 224011 with flag 25867046/6431480
1885.64/1851.00	c cleaning 112995 clauses out of 226011 with flag 26382318/6545480
1922.26/1886.99	c cleaning 114006 clauses out of 228017 with flag 26887773/6660481
1959.20/1923.40	c cleaning 115005 clauses out of 230011 with flag 27415683/6776481
1997.74/1961.72	c cleaning 115986 clauses out of 232005 with flag 27946807/6893480
2035.60/1998.95	c cleaning 116996 clauses out of 234020 with flag 28470269/7011481
2072.77/2035.84	c cleaning 118001 clauses out of 236023 with flag 28996075/7130480
2112.79/2075.40	c cleaning 119001 clauses out of 238022 with flag 29537534/7250480
2153.22/2115.55	c cleaning 120004 clauses out of 240021 with flag 30073740/7371480
2193.13/2154.84	c cleaning 120989 clauses out of 242019 with flag 30605625/7493482
2232.85/2194.60	c cleaning 122006 clauses out of 244028 with flag 31157713/7616480
2272.45/2233.80	c cleaning 123010 clauses out of 246022 with flag 31713977/7740480
2312.99/2273.71	c cleaning 123993 clauses out of 248012 with flag 32267827/7865480
2352.94/2313.38	c cleaning 124998 clauses out of 250019 with flag 32827328/7991480
2397.91/2355.38	c cleaning 126001 clauses out of 252022 with flag 33397703/8118481
2440.54/2397.46	c cleaning 126989 clauses out of 254021 with flag 33966295/8246481
2482.36/2438.99	c cleaning 128008 clauses out of 256031 with flag 34534162/8375480
2525.81/2481.92	c cleaning 129005 clauses out of 258023 with flag 35097040/8505480
2567.71/2523.19	c cleaning 130000 clauses out of 260019 with flag 35672802/8636481
2608.60/2563.74	c cleaning 131003 clauses out of 262021 with flag 36238444/8768483
2652.33/2607.18	c cleaning 132001 clauses out of 264015 with flag 36832885/8901480
2696.48/2650.76	c cleaning 132997 clauses out of 266014 with flag 37440078/9035480
2741.62/2695.42	c cleaning 134005 clauses out of 268017 with flag 38036056/9170480
2787.23/2741.07	c cleaning 135002 clauses out of 270012 with flag 38634614/9306480
2831.76/2785.35	c cleaning 136000 clauses out of 272011 with flag 39240349/9443481
2877.65/2830.87	c cleaning 136989 clauses out of 274012 with flag 39871124/9581482
2922.99/2875.53	c cleaning 138001 clauses out of 276022 with flag 40502193/9720481
2969.61/2919.11	c cleaning 138999 clauses out of 278020 with flag 41140473/9860480
3014.28/2963.30	c cleaning 140000 clauses out of 280021 with flag 41773273/10001480
3059.77/3008.62	c cleaning 141004 clauses out of 282022 with flag 42433647/10143481
3105.04/3053.35	c cleaning 142003 clauses out of 284017 with flag 43087766/10286480
3150.47/3098.22	c cleaning 142981 clauses out of 286014 with flag 43743089/10430480
3198.78/3145.96	c cleaning 144010 clauses out of 288033 with flag 44413978/10575480
3247.88/3194.41	c cleaning 145006 clauses out of 290023 with flag 45063448/10721480
3296.57/3242.65	c cleaning 146000 clauses out of 292018 with flag 45722597/10868481
3345.31/3291.35	c cleaning 146996 clauses out of 294017 with flag 46410536/11016480
3394.38/3340.03	c cleaning 147999 clauses out of 296022 with flag 47127153/11165481
3443.22/3388.50	c cleaning 148994 clauses out of 298022 with flag 47824398/11315480
3496.74/3438.59	c cleaning 150008 clauses out of 300030 with flag 48525737/11466482
3547.77/3489.03	c cleaning 151003 clauses out of 302023 with flag 49229873/11618483
3599.16/3540.29	c cleaning 152003 clauses out of 304017 with flag 49922940/11771480
3600.06/3541.13	c starts		: 9
3600.06/3541.13	c conflicts		: 11774188
3600.06/3541.13	c decisions		: 26358768
3600.06/3541.13	c propagations		: 1830861224
3600.06/3541.13	c inspects		: 5248314749
3600.06/3541.13	c shortcuts		: 0
3600.06/3541.13	c learnt literals	: 0
3600.06/3541.13	c learnt binary clauses	: 0
3600.06/3541.13	c learnt ternary clauses	: 0
3600.06/3541.13	c learnt constraints	: 11774188
3600.06/3541.13	c ignored constraints	: 0
3600.06/3541.13	c root simplifications	: 0
3600.06/3541.13	c removed literals (reason simplification)	: 0
3600.06/3541.13	c reason swapping (by a shorter reason)	: 0
3600.06/3541.13	c Calls to reduceDB	: 149
3600.06/3541.13	c Number of update (reduction) of LBD	: 2973473
3600.06/3541.13	c Imported unit clauses	: 0
3600.06/3541.15	c No decision after first conflict	: false
3600.06/3541.15	c number of reductions to clauses (during analyze)	: 0
3600.06/3541.15	c number of learned constraints concerned by reduction	: 0
3600.06/3541.15	c number of learning phase by resolution	: 0
3600.06/3541.15	c number of learning phase by cutting planes	: 0
3600.06/3541.15	c number of rounding to 1 operations	: 0
3600.06/3541.15	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3541.15	c number of reductions of the coefficients by power 2 	: 0
3600.06/3541.15	c number of right shift for reduction by power 2 	: 0
3600.06/3541.15	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3541.15	c number of ending skipping 	: 0
3600.06/3541.15	c number of internal skipping 	: 0
3600.06/3541.15	c number of derivation steps 	: 0
3600.06/3541.15	c number of skipped derivation steps 	: 0
3600.06/3541.15	c number of remaining unassigned 	: 0
3600.06/3541.15	c number of remaining assigned 	: 0
3600.06/3541.15	c number of falsified literals weakened from reason	: 0
3600.06/3541.15	c number of falsified literals weakened from conflict	: 0
3600.06/3541.15	c time for arithmetic operations	: 0
3600.06/3541.15	c minimum degree of deleted constraints	: null
3600.06/3541.15	c maximum degree of deleted constraints	: null
3600.06/3541.15	c number of deleted constraints	: 0
3600.06/3541.16	c speed (assignments/second)	: 517262.865734826
3600.06/3541.16	c non guided choices	: 0
3600.06/3541.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 154722
3600.26/3541.21	s SATISFIABLE
3600.26/3541.24	c Found 3 solution(s)
3600.26/3541.24	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 
3600.26/3541.27	c objective function=807
3600.26/3541.27	c Total wall clock time (in seconds): 3541.149

OK	807

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (46618 MiB free)
  memory of node 1: 64510 MiB (34523 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432245-1721089864/watcher-4432245-1721089864 -o /tmp/evaluation-result-4432245-1721089864/solver-4432245-1721089864 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822112 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432245-1721089864.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=826132, runsolver pid=826129

[startup+0.100058 s]*
/proc/loadavg: 4.21 4.20 4.22 5/334 826150
/proc/meminfo: memFree=83048284/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=18975048 memory=62652 CPUtime=0.13 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 7209 0 0 0 11 2 0 0 20 0 18 0 161146677 19430449152 15663 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4743762 15663 5569 1 0 549322 0
[pid=826132/tid=826134] ppid=826129 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 5757 0 0 0 7 1 0 0 20 0 18 0 161146677 19430449152 15663 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161146680 19430449152 15675 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161146681 19430449152 15675 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62652 KiB

[startup+0.20585 s]*
/proc/loadavg: 4.21 4.20 4.22 7/334 826150
/proc/meminfo: memFree=83030924/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=18975048 memory=81100 CPUtime=0.33 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 8031 0 0 0 31 2 0 0 20 0 18 0 161146677 19430449152 20275 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4743762 20275 5852 1 0 549949 0
[pid=826132/tid=826134] ppid=826129 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 5898 0 0 0 17 1 0 0 20 0 18 0 161146677 19430449152 20275 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=18975048 memory=16967 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161146680 19430449152 20275 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=18975048 memory=16097074391287456 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161146681 19430449152 20275 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81100 KiB

[startup+0.305865 s]*
/proc/loadavg: 4.21 4.20 4.22 6/334 826150
/proc/meminfo: memFree=82991684/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=18975048 memory=119664 CPUtime=0.53 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 9606 0 0 0 50 3 0 0 20 0 18 0 161146677 19430449152 29916 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4743762 29916 5852 1 0 550872 0
[pid=826132/tid=826134] ppid=826129 vsize=18975048 memory=-8528526207981298364 CPUtime=0.28 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 5918 0 0 0 26 2 0 0 20 0 18 0 161146677 19430449152 29916 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161146680 19430449152 29916 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161146681 19430449152 29916 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 119664 KiB

[startup+0.702622 s]
/proc/loadavg: 4.36 4.23 4.23 6/335 826151
/proc/meminfo: memFree=82932896/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19045032 memory=195580 CPUtime=1.27 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 15804 0 0 0 122 5 0 0 20 0 19 0 161146677 19502112768 48895 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4761258 48895 5868 1 0 555181 0
[pid=826132/tid=826134] ppid=826129 vsize=19045032 memory=5448 CPUtime=0.61 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) S 826129 826132 822101 0 -1 1077936192 5943 0 0 0 58 3 0 0 20 0 19 0 161146677 19502112768 48895 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19045032 memory=12740 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161146680 19502112768 48895 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19045032 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161146681 19502112768 48895 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19045032 KiB
Current children cumulated memory: 195580 KiB

[startup+1.50886 s]
/proc/loadavg: 4.36 4.23 4.23 5/335 826151
/proc/meminfo: memFree=82872352/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19041612 memory=408600 CPUtime=2.48 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 17209 0 0 0 238 10 0 0 20 0 19 0 161146677 19498610688 102150 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4760403 102150 5884 1 0 976981 0
[pid=826132/tid=826134] ppid=826129 vsize=19041612 memory=12740 CPUtime=1.31 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) S 826129 826132 822101 0 -1 1077936192 6031 0 0 0 124 7 0 0 20 0 19 0 161146677 19498610688 102150 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161146680 19498610688 102150 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161146681 19498610688 102150 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 408600 KiB

[startup+3.10555 s]
/proc/loadavg: 4.36 4.23 4.23 5/336 826152
/proc/meminfo: memFree=82683980/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=426776 CPUtime=5.4 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 20017 0 0 0 529 11 0 0 20 0 20 0 161146677 19566772224 106694 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 106694 5936 1 0 978814 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=198340509722 CPUtime=2.84 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 6198 0 0 0 276 8 0 0 20 0 20 0 161146677 19566772224 106694 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 106694 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=12740 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 106694 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=422796 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 106694 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 426776 KiB

[startup+6.3002 s]
/proc/loadavg: 4.41 4.24 4.23 5/336 826152
/proc/meminfo: memFree=82467796/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=648396 CPUtime=8.98 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 21275 0 0 0 882 16 0 0 20 0 20 0 161146677 19566772224 162099 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 162099 5936 1 0 1601345 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=0 CPUtime=5.93 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 6370 0 0 0 583 10 0 0 20 0 20 0 161146677 19566772224 162099 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=12740 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 162099 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=426148 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 162099 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=638156 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 162099 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 648396 KiB

[startup+12.7003 s]
/proc/loadavg: 4.54 4.27 4.24 5/335 826220
/proc/meminfo: memFree=96594804/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=1015732 CPUtime=15.54 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 24576 0 0 0 1531 23 0 0 20 0 20 0 161146677 19566772224 253933 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 253933 5968 1 0 1601354 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=785976 CPUtime=12.13 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 7279 0 0 0 1200 13 0 0 20 0 20 0 161146677 19566772224 253933 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=11400 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 253933 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 253933 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 253933 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 15.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1015732 KiB

[startup+25.5003 s]
/proc/loadavg: 4.53 4.28 4.25 5/336 826223
/proc/meminfo: memFree=95006352/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=1228804 CPUtime=28.49 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 28130 0 0 0 2820 29 0 0 20 0 20 0 161146677 19566772224 307201 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 307201 5968 1 0 1601371 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=1218564 CPUtime=24.72 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 8188 0 0 0 2459 13 0 0 20 0 20 0 161146677 19566772224 307201 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=1015740 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 307201 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 307201 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 307201 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 28.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1228804 KiB

[startup+51.1063 s]
/proc/loadavg: 4.78 4.35 4.27 7/336 826363
/proc/meminfo: memFree=120182264/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=1603640 CPUtime=54.4 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 34667 0 0 0 5401 39 0 0 20 0 20 0 161146677 19566772224 400910 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 400910 5968 1 0 1601371 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=1603640 CPUtime=49.88 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) S 826129 826132 822101 0 -1 1077936192 9905 0 0 0 4975 13 0 0 20 0 20 0 161146677 19566772224 400910 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=26100 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 400910 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=12740 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 400910 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 400910 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0

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

/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 99228 0 0 0 314564 68 0 0 20 0 20 0 161146677 19566772224 3779022 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=15116088 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 3779022 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=15116088 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 1379 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 3779022 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=15116088 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 3779022 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 3275.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15116088 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.30 4.28 5/334 827927
/proc/meminfo: memFree=64610620/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=15116108 CPUtime=3336.39 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 357931 0 0 0 333237 402 0 0 20 0 20 0 161146677 19566772224 3779027 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 3779027 5984 1 0 4087891 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=15116088 CPUtime=3204.77 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 100021 0 0 0 320409 68 0 0 20 0 20 0 161146677 19566772224 3779027 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=41832 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 3779027 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=15116088 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 1426 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 3779027 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=41832 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 3779027 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 3336.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15116108 KiB

[startup+3342.3 s]
/proc/loadavg: 4.40 4.32 4.28 6/334 827937
/proc/meminfo: memFree=64609912/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=15116116 CPUtime=3396.66 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 359555 0 0 0 339263 403 0 0 20 0 20 0 161146677 19566772224 3779029 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 3779029 5984 1 0 4087891 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=12740 CPUtime=3263.4 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 101160 0 0 0 326271 69 0 0 20 0 20 0 161146677 19566772224 3779029 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=15116088 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 3779029 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=11400 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 1426 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 3779029 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=41832 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 3779029 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 3396.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15116116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.29 4.27 5/335 827950
/proc/meminfo: memFree=64609148/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=15116124 CPUtime=3457.18 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 361017 0 0 0 345314 404 0 0 20 0 20 0 161146677 19566772224 3779031 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 3779031 5984 1 0 4087891 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=41832 CPUtime=3322.11 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 102107 0 0 0 332142 69 0 0 20 0 20 0 161146677 19566772224 3779031 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=15116116 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 3779031 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=15116116 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 1427 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 3779031 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=15116124 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 3779031 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 3457.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15116124 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.27 4.27 5/336 828130
/proc/meminfo: memFree=64603868/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=15120236 CPUtime=3520.58 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 382366 0 0 0 351650 408 0 0 20 0 20 0 161146677 19566772224 3780059 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 3780059 5984 1 0 4088906 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=15116116 CPUtime=3381.11 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 107367 0 0 0 338042 69 0 0 20 0 20 0 161146677 19566772224 3780059 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=15120236 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 3780059 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=15120236 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 1428 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 3780059 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=15120236 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 3780059 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 3520.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15120236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.23 4.25 5/336 828140
/proc/meminfo: memFree=64603304/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=15120240 CPUtime=3581.43 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 388773 0 0 0 357733 410 0 0 20 0 20 0 161146677 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 3780060 5984 1 0 4088906 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=15120236 CPUtime=3439.58 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 108905 0 0 0 343888 70 0 0 20 0 20 0 161146677 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=11400 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=15120240 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 1574 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=15120240 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 3581.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15120240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3541.11 s]
/proc/loadavg: 3.95 4.19 4.24 4/311 828234
/proc/meminfo: memFree=79254484/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19108176 memory=15120240 CPUtime=3600.06 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 389118 0 0 0 359596 410 0 0 20 0 20 0 161146677 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4777044 3780060 5984 1 0 4088906 0
[pid=826132/tid=826134] ppid=826129 vsize=19108176 memory=15120240 CPUtime=3458.21 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 109250 0 0 0 345751 70 0 0 20 0 20 0 161146677 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19108176 memory=15120240 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161146680 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19108176 memory=15120240 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 1574 0 0 0 0 0 0 0 20 0 20 0 161146681 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826152] ppid=826129 vsize=19108176 memory=15120240 CPUtime=0 cores=4,6
/proc/826132/task/826152/stat : 826152 (Timer-0) S 826129 826132 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161146840 19566772224 3780060 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15120240 KiB

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

[startup+3541.32 s]
# the end of solver process 826132 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3596.28 s, system=4.1574 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3541.21 s]
/proc/loadavg: 3.95 4.19 4.24 4/311 828234
/proc/meminfo: memFree=79254484/131524600 swapFree=131071996/131071996
[pid=826132] ppid=826129 vsize=19307868 memory=15120852 CPUtime=3600.26 cores=4,6
/proc/826132/stat : 826132 (java) S 826129 826132 822101 0 -1 1077936128 391916 0 0 0 359615 411 0 0 20 0 21 0 161146677 19771256832 3780213 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
/proc/826132/statm: 4826967 3780213 5983 1 0 4089795 0
[pid=826132/tid=826134] ppid=826129 vsize=19307868 memory=-8528526207981298364 CPUtime=3458.31 cores=4,6
/proc/826132/task/826134/stat : 826134 (java) R 826129 826132 822101 0 -1 4194368 109356 0 0 0 345761 70 0 0 20 0 21 0 161146677 19771256832 3780213 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826143] ppid=826129 vsize=19307868 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826143/stat : 826143 (Finalizer) S 826129 826132 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161146680 19771256832 3780213 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
[pid=826132/tid=826150] ppid=826129 vsize=19307868 memory=0 CPUtime=0 cores=4,6
/proc/826132/task/826150/stat : 826150 (Common-Cleaner) S 826129 826132 822101 0 -1 1077936192 1574 0 0 0 0 0 0 0 20 0 21 0 161146681 19771256832 3780213 134679101440 93927537852416 93927537856112 140729831375536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93927537863928 93927537864720 93927559438336 140729831379975 140729831380065 140729831380065 140729831387080 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15120852 KiB

[startup+3541.3 s]*
/proc/loadavg: 4.27 4.25 4.26 5/293 828237
/proc/meminfo: memFree=88363320/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3541.32
CPU time (s): 3600.44
CPU user time (s): 3596.28
CPU system time (s): 4.1574
CPU usage (%): 101.669
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15120852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.28
system time used= 4.1574
maximum resident set size= 15121792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393098
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114753
involuntary context switches= 26696


# summary of solver processes directly reported to runsolver:
#   pid: 826132
#   total CPU time (s): 3600.44
#   total CPU user time (s): 3596.28
#   total CPU system time (s): 4.1574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01008 second user time and 16.9585 second system time

The end

Begin job on nodeC015 at 2024-07-16 02:31:17
IDJOB=4432245
IDBENCH=147551
IDSOLVER=3058
FILE ID=nodeC015/4432245-1721089864
RUNJOBID= nodeC015-1721083519-822112
SLURM_JOB_ID= 7505571
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432245-1721089864/watcher-4432245-1721089864 -o /tmp/evaluation-result-4432245-1721089864/solver-4432245-1721089864 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822112 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432245-1721089864.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=515395916

nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.919
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3677.145
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3613.638
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.025
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.053
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.656
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3638.115
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.986
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        83090260 kB
MemAvailable:   88413120 kB
Buffers:          371952 kB
Cached:          5779916 kB
SwapCached:            0 kB
Active:          1199620 kB
Inactive:       46540512 kB
Active(anon):       1548 kB
Inactive(anon): 41624468 kB
Active(file):    1198072 kB
Inactive(file):  4916044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17704 kB
Writeback:             0 kB
AnonPages:      41586620 kB
Mapped:           124372 kB
Shmem:             37720 kB
KReclaimable:      96780 kB
Slab:             204404 kB
SReclaimable:      96780 kB
SUnreclaim:       107624 kB
KernelStack:        5088 kB
PageTables:        91184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   46580900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:  41060352 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC015 at 2024-07-16 03:30:18