0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4504212-1751444148.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
0.50/0.39	c ... done. Wall clock time 0.257s.
0.50/0.39	c declared #vars     9940
0.50/0.39	c #constraints  24512
0.50/0.39	c constraints type 
0.50/0.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390
0.50/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
0.50/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
0.50/0.39	c org.sat4j.specs.Constr$1 => 2
0.50/0.39	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
0.50/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486
0.50/0.39	c 24512 constraints processed.
0.69/0.41	c objective function length is 9730 literals
1.07/0.68	c SATISFIABLE
1.07/0.68	c OPTIMIZING...
1.07/0.68	c Got one! Elapsed wall clock time (in seconds):0.546
1.07/0.68	o 11385779
1.26/0.77	c Got one! Elapsed wall clock time (in seconds):0.635
1.26/0.77	o 4547283
1.46/0.82	c Got one! Elapsed wall clock time (in seconds):0.686
1.46/0.82	o 4278795
1.46/0.86	c Got one! Elapsed wall clock time (in seconds):0.731
1.46/0.86	o 4277815
1.66/0.93	c Got one! Elapsed wall clock time (in seconds):0.798
1.66/0.93	o 4276771
3.55/2.16	c cleaning 2652 clauses out of 5332 with flag 10023/5332
4.87/3.34	c cleaning 4327 clauses out of 8681 with flag 22025/11333
6.50/5.00	c cleaning 5676 clauses out of 11353 with flag 36051/18332
8.51/7.00	c cleaning 6839 clauses out of 13678 with flag 52143/26333
10.81/9.21	c cleaning 7913 clauses out of 15840 with flag 70247/35334
13.25/11.68	c cleaning 8961 clauses out of 17926 with flag 90384/45333
16.04/14.42	c cleaning 9981 clauses out of 19964 with flag 112498/56332
19.03/17.45	c cleaning 10992 clauses out of 21984 with flag 136659/68333
22.23/20.63	c cleaning 11994 clauses out of 23991 with flag 162905/81332
25.73/24.17	c cleaning 12998 clauses out of 25997 with flag 191164/95332
29.52/27.91	c cleaning 13999 clauses out of 27999 with flag 221468/110332
33.54/31.90	c cleaning 14997 clauses out of 30000 with flag 253742/126332
37.64/36.10	c cleaning 16000 clauses out of 32004 with flag 288028/143333
42.25/40.63	c cleaning 16996 clauses out of 34003 with flag 324372/161332
47.18/45.55	c cleaning 18003 clauses out of 36007 with flag 362790/180332
52.47/50.83	c cleaning 18997 clauses out of 38005 with flag 403047/200333
57.85/56.26	c cleaning 19996 clauses out of 40007 with flag 445365/221332
64.17/62.51	c cleaning 21003 clauses out of 42011 with flag 489710/243332
70.66/69.09	c cleaning 22000 clauses out of 44008 with flag 536424/266332
77.85/76.29	c cleaning 23001 clauses out of 46009 with flag 585151/290333
85.24/83.61	c cleaning 24000 clauses out of 48007 with flag 635799/315332
92.67/91.10	c cleaning 25003 clauses out of 50007 with flag 688893/341332
100.35/98.70	c cleaning 25998 clauses out of 52005 with flag 743604/368333
108.37/106.73	c cleaning 27000 clauses out of 54006 with flag 800881/396332
116.85/115.21	c cleaning 27999 clauses out of 56006 with flag 859856/425332
125.53/123.89	c cleaning 28999 clauses out of 58007 with flag 920474/455332
134.41/132.79	c cleaning 30004 clauses out of 60009 with flag 983558/486333
143.61/141.95	c cleaning 30996 clauses out of 62005 with flag 1048683/518333
152.93/151.26	c cleaning 32001 clauses out of 64009 with flag 1116040/551333
162.51/160.82	c cleaning 33001 clauses out of 66009 with flag 1185800/585334
172.81/171.13	c cleaning 34001 clauses out of 68007 with flag 1257221/620333
182.74/181.06	c cleaning 34997 clauses out of 70005 with flag 1331431/656332
193.31/191.62	c cleaning 35999 clauses out of 72008 with flag 1407509/693332
204.31/202.67	c cleaning 36999 clauses out of 74009 with flag 1485696/731332
215.90/214.23	c cleaning 37998 clauses out of 76010 with flag 1565345/770332
228.11/226.40	c cleaning 39003 clauses out of 78012 with flag 1646675/810332
240.19/238.54	c cleaning 40003 clauses out of 80009 with flag 1730418/851332
252.66/251.06	c cleaning 41003 clauses out of 82006 with flag 1816239/893332
265.55/263.98	c cleaning 42002 clauses out of 84003 with flag 1904190/936332
278.81/277.25	c cleaning 42999 clauses out of 86001 with flag 1994377/980332
292.59/291.02	c cleaning 43993 clauses out of 88002 with flag 2086027/1025332
306.35/304.80	c cleaning 45002 clauses out of 90011 with flag 2179713/1071334
320.49/318.93	c cleaning 45998 clauses out of 92008 with flag 2275444/1118333
334.57/333.01	c cleaning 47005 clauses out of 94009 with flag 2373707/1166332
349.33/347.83	c cleaning 47996 clauses out of 96005 with flag 2473297/1215333
364.47/362.99	c cleaning 48996 clauses out of 98008 with flag 2575939/1265332
380.04/378.55	c cleaning 50006 clauses out of 100014 with flag 2680230/1316334
395.90/394.43	c cleaning 51000 clauses out of 102007 with flag 2786975/1368333
412.44/410.95	c cleaning 52001 clauses out of 104006 with flag 2894970/1421332
429.10/427.68	c cleaning 53002 clauses out of 106006 with flag 3004464/1475333
446.03/444.22	c cleaning 53997 clauses out of 108004 with flag 3116416/1530333
463.59/461.86	c cleaning 55000 clauses out of 110007 with flag 3230525/1586333
481.45/479.79	c cleaning 55999 clauses out of 112006 with flag 3346385/1643332
500.16/498.42	c cleaning 57000 clauses out of 114007 with flag 3464572/1701332
519.32/517.66	c cleaning 58000 clauses out of 116008 with flag 3585067/1760333
538.48/536.80	c cleaning 58998 clauses out of 118007 with flag 3707226/1820332
558.70/557.04	c cleaning 60004 clauses out of 120010 with flag 3831096/1881333
578.35/576.72	c cleaning 61001 clauses out of 122006 with flag 3956580/1943333
597.81/596.24	c cleaning 61999 clauses out of 124004 with flag 4085272/2006332
617.87/616.24	c cleaning 63000 clauses out of 126005 with flag 4215980/2070332
639.23/637.62	c cleaning 64001 clauses out of 128005 with flag 4348746/2135332
659.99/658.49	c cleaning 65000 clauses out of 130006 with flag 4483561/2201334
681.29/679.74	c cleaning 66000 clauses out of 132005 with flag 4620656/2268333
703.45/701.91	c cleaning 66999 clauses out of 134005 with flag 4758676/2336333
725.61/724.16	c cleaning 67999 clauses out of 136005 with flag 4898265/2405332
748.25/746.83	c cleaning 68999 clauses out of 138007 with flag 5039677/2475333
769.41/767.93	c cleaning 70002 clauses out of 140009 with flag 5184034/2546334
791.56/790.15	c cleaning 70996 clauses out of 142006 with flag 5330594/2618333
814.51/813.19	c cleaning 72001 clauses out of 144009 with flag 5479151/2691332
839.26/837.93	c cleaning 73000 clauses out of 146008 with flag 5629522/2765332
863.70/862.49	c cleaning 74002 clauses out of 148010 with flag 5781520/2840334
889.16/887.84	c cleaning 75001 clauses out of 150006 with flag 5935413/2916332
914.10/912.81	c cleaning 75998 clauses out of 152005 with flag 6091781/2993332
938.56/937.35	c cleaning 76998 clauses out of 154007 with flag 6249172/3071332
964.48/963.25	c cleaning 78001 clauses out of 156009 with flag 6408833/3150332
990.03/988.85	c cleaning 78999 clauses out of 158008 with flag 6570707/3230332
1016.17/1015.03	c cleaning 80002 clauses out of 160010 with flag 6734493/3311333
1042.26/1040.82	c cleaning 81000 clauses out of 162008 with flag 6901925/3393333
1068.40/1067.07	c cleaning 81998 clauses out of 164008 with flag 7071610/3476333
1095.33/1094.07	c cleaning 82998 clauses out of 166009 with flag 7242976/3560332
1122.45/1121.26	c cleaning 84003 clauses out of 168013 with flag 7416409/3645334
1152.30/1151.10	c cleaning 84998 clauses out of 170008 with flag 7593332/3731332
1177.73/1176.50	c cleaning 85994 clauses out of 172010 with flag 7770912/3818332
1200.19/1199.01	c cleaning 87007 clauses out of 174017 with flag 7951099/3906333
1223.94/1222.80	c cleaning 88003 clauses out of 176012 with flag 8132856/3995335
1249.09/1248.04	c cleaning 89001 clauses out of 178007 with flag 8316607/4085333
1275.55/1274.44	c cleaning 89999 clauses out of 180005 with flag 8502130/4176332
1300.30/1299.23	c cleaning 90997 clauses out of 182006 with flag 8689691/4268332
1326.54/1325.52	c cleaning 92002 clauses out of 184009 with flag 8880175/4361332
1352.00/1351.05	c cleaning 93003 clauses out of 186007 with flag 9072107/4455332
1376.64/1375.79	c cleaning 93997 clauses out of 188005 with flag 9265446/4550333
1402.62/1401.76	c cleaning 94997 clauses out of 190007 with flag 9460674/4646332
1429.17/1428.30	c cleaning 95999 clauses out of 192011 with flag 9658011/4743333
1457.60/1456.85	c cleaning 97001 clauses out of 194012 with flag 9857550/4841333
1485.25/1484.50	c cleaning 98001 clauses out of 196010 with flag 10058978/4940332
1513.49/1512.85	c cleaning 99000 clauses out of 198010 with flag 10262968/5040333
1541.44/1540.84	c cleaning 99998 clauses out of 200009 with flag 10469172/5141332
1570.82/1570.12	c cleaning 101000 clauses out of 202011 with flag 10677467/5243332
1598.95/1598.35	c cleaning 101995 clauses out of 204011 with flag 10887261/5346332
1627.59/1627.10	c cleaning 103004 clauses out of 206017 with flag 11099411/5450333
1656.72/1656.04	c cleaning 104003 clauses out of 208012 with flag 11313019/5555332
1684.96/1684.35	c cleaning 105000 clauses out of 210010 with flag 11529262/5661333
1713.19/1712.60	c cleaning 106003 clauses out of 212010 with flag 11747218/5768333
1743.39/1742.32	c cleaning 106998 clauses out of 214007 with flag 11966896/5876333
1775.13/1774.17	c cleaning 108002 clauses out of 216010 with flag 12188634/5985334
1806.05/1805.02	c cleaning 109003 clauses out of 218006 with flag 12413399/6095332
1837.09/1836.14	c cleaning 109999 clauses out of 220004 with flag 12639196/6206333
1868.03/1867.16	c cleaning 110995 clauses out of 222004 with flag 12865939/6318332
1899.06/1898.15	c cleaning 111996 clauses out of 224009 with flag 13095457/6431332
1932.19/1931.31	c cleaning 113001 clauses out of 226013 with flag 13327940/6545332
1965.72/1964.97	c cleaning 114002 clauses out of 228012 with flag 13562446/6660332
1999.26/1998.56	c cleaning 114994 clauses out of 230010 with flag 13798816/6776332
2032.76/2032.04	c cleaning 116006 clauses out of 232016 with flag 14037107/6893332
2066.49/2065.85	c cleaning 116998 clauses out of 234011 with flag 14277421/7011333
2100.12/2099.51	c cleaning 118003 clauses out of 236014 with flag 14520052/7130334
2134.44/2133.99	c cleaning 119001 clauses out of 238009 with flag 14763697/7250332
2171.12/2170.59	c cleaning 119998 clauses out of 240008 with flag 15009699/7371332
2207.34/2206.80	c cleaning 121001 clauses out of 242011 with flag 15259307/7493333
2242.87/2242.43	c cleaning 122000 clauses out of 244009 with flag 15511791/7616332
2279.97/2279.41	c cleaning 123001 clauses out of 246009 with flag 15766240/7740332
2317.27/2316.82	c cleaning 124004 clauses out of 248009 with flag 16021470/7865333
2353.68/2353.32	c cleaning 124996 clauses out of 250005 with flag 16278363/7991333
2393.41/2392.63	c cleaning 125999 clauses out of 252009 with flag 16537704/8118333
2430.84/2430.13	c cleaning 126996 clauses out of 254009 with flag 16798722/8246332
2469.39/2468.73	c cleaning 128001 clauses out of 256013 with flag 17062313/8375332
2509.10/2508.57	c cleaning 129001 clauses out of 258013 with flag 17327574/8505333
2549.92/2549.49	c cleaning 130002 clauses out of 260011 with flag 17594535/8636332
2587.31/2586.89	c cleaning 130995 clauses out of 262009 with flag 17863326/8768332
2625.61/2625.21	c cleaning 132000 clauses out of 264014 with flag 18134669/8901332
2665.82/2665.59	c cleaning 133002 clauses out of 266014 with flag 18408028/9035332
2706.01/2705.83	c cleaning 133998 clauses out of 268012 with flag 18684050/9170332
2744.81/2744.68	c cleaning 135001 clauses out of 270015 with flag 18962248/9306333
2783.93/2783.89	c cleaning 136003 clauses out of 272015 with flag 19241584/9443334
2823.75/2823.75	c cleaning 136999 clauses out of 274010 with flag 19523721/9581332
2866.26/2866.31	c cleaning 138002 clauses out of 276011 with flag 19806333/9720332
2908.32/2908.32	c cleaning 139000 clauses out of 278009 with flag 20091730/9860332
2950.94/2951.07	c cleaning 140001 clauses out of 280009 with flag 20379184/10001332
2991.44/2991.67	c cleaning 140998 clauses out of 282009 with flag 20669766/10143333
3032.75/3032.83	c cleaning 142002 clauses out of 284010 with flag 20960919/10286332
3071.85/3072.10	c cleaning 143001 clauses out of 286008 with flag 21253038/10430332
3112.85/3113.15	c cleaning 143998 clauses out of 288007 with flag 21547154/10575332
3154.33/3154.66	c cleaning 145000 clauses out of 290011 with flag 21844039/10721334
3198.03/3198.48	c cleaning 146005 clauses out of 292009 with flag 22142595/10868332
3239.93/3240.33	c cleaning 147001 clauses out of 294005 with flag 22443281/11016333
3284.44/3284.92	c cleaning 147996 clauses out of 296004 with flag 22745985/11165333
3329.31/3329.11	c cleaning 148996 clauses out of 298008 with flag 23050832/11315333
3374.11/3374.04	c cleaning 150003 clauses out of 300011 with flag 23358387/11466332
3419.67/3419.67	c cleaning 151001 clauses out of 302008 with flag 23667603/11618332
3465.74/3465.86	c cleaning 152001 clauses out of 304007 with flag 23978674/11771332
3512.08/3512.10	c cleaning 152995 clauses out of 306007 with flag 24291574/11925333
3559.99/3560.12	c cleaning 154000 clauses out of 308011 with flag 24607057/12080332
3600.02/3600.13	c starts		: 9
3600.02/3600.13	c conflicts		: 12219173
3600.02/3600.13	c decisions		: 13410884
3600.02/3600.13	c propagations		: 209045595
3600.02/3600.13	c inspects		: 3637391773
3600.02/3600.13	c shortcuts		: 0
3600.02/3600.13	c learnt literals	: 0
3600.02/3600.13	c learnt binary clauses	: 0
3600.02/3600.13	c learnt ternary clauses	: 1
3600.02/3600.13	c learnt constraints	: 12219173
3600.02/3600.13	c ignored constraints	: 0
3600.02/3600.13	c root simplifications	: 0
3600.02/3600.13	c removed literals (reason simplification)	: 1620711914
3600.02/3600.13	c reason swapping (by a shorter reason)	: 0
3600.02/3600.13	c Calls to reduceDB	: 151
3600.02/3600.13	c Number of update (reduction) of LBD	: 221740
3600.02/3600.13	c Imported unit clauses	: 0
3600.02/3600.13	c No decision after first conflict	: false
3600.02/3600.13	c number of reductions to clauses (during analyze)	: 0
3600.02/3600.13	c number of learned constraints concerned by reduction	: 0
3600.02/3600.13	c number of learning phase by resolution	: 0
3600.02/3600.13	c number of learning phase by cutting planes	: 0
3600.02/3600.13	c number of rounding to 1 operations	: 0
3600.02/3600.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3600.13	c number of reductions of the coefficients by power 2 	: 0
3600.02/3600.13	c number of right shift for reduction by power 2 	: 0
3600.02/3600.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3600.14	c number of ending skipping 	: 0
3600.02/3600.14	c number of internal skipping 	: 0
3600.02/3600.14	c number of derivation steps 	: 0
3600.02/3600.14	c number of skipped derivation steps 	: 0
3600.02/3600.14	c number of remaining unassigned 	: 0
3600.02/3600.14	c number of remaining assigned 	: 0
3600.02/3600.14	c number of falsified literals weakened from reason	: 0
3600.02/3600.14	c number of falsified literals weakened from conflict	: 0
3600.02/3600.14	c time for arithmetic operations	: 0
3600.02/3600.14	c minimum degree of deleted constraints	: null
3600.02/3600.14	c maximum degree of deleted constraints	: null
3600.02/3600.15	c number of deleted constraints	: 0
3600.02/3600.15	c speed (assignments/second)	: 58072.656939071734
3600.02/3600.15	c non guided choices	: 4
3600.22/3600.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 292852
3600.22/3600.22	s SATISFIABLE
3600.22/3600.22	c Found 5 solution(s)
3600.22/3600.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 
3600.22/3600.25	c objective function=4276771
3600.22/3600.25	c Total wall clock time (in seconds): 3600.124

OK	4276771

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: 63708 MiB (62112 MiB free)
  memory of node 1: 64465 MiB (63659 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504212-1751444148/watcher-4504212-1751444148 -o /tmp/evaluation-result-4504212-1751444148/solver-4504212-1751444148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751440544-63651 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4504212-1751444148.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64210, runsolver pid=64207
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.23 4.17 4.12 6/336 64228
/proc/meminfo: memFree=128762132/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=18930384 memory=57724 CPUtime=0.12 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 6584 0 0 0 11 1 0 0 20 0 18 0 60092260 19384713216 14431 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4732596 14431 5333 1 0 547621 0
[pid=64210/tid=64212] ppid=64207 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 5079 0 0 0 7 1 0 0 20 0 18 0 60092261 19384713216 14431 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60092263 19384713216 14431 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=18930384 memory=58485492697507 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60092264 19384713216 14431 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57724 KiB

[startup+0.205576 s]*
/proc/loadavg: 4.23 4.17 4.12 8/336 64228
/proc/meminfo: memFree=128758036/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=18930384 memory=68724 CPUtime=0.32 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 7170 0 0 0 30 2 0 0 20 0 18 0 60092260 19384713216 17181 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4732596 17181 5429 1 0 548076 0
[pid=64210/tid=64212] ppid=64207 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 5276 0 0 0 16 1 0 0 20 0 18 0 60092261 19384713216 17181 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=18930384 memory=2630 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60092263 19384713216 17181 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60092264 19384713216 17181 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68724 KiB

[startup+0.305558 s]*
/proc/loadavg: 4.23 4.17 4.12 7/336 64228
/proc/meminfo: memFree=128736864/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=18930384 memory=92184 CPUtime=0.5 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 9128 0 0 0 47 3 0 0 20 0 18 0 60092260 19384713216 23046 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4732596 23046 5429 1 0 549246 0
[pid=64210/tid=64212] ppid=64207 vsize=18930384 memory=-6000919477085562985 CPUtime=0.24 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 5291 0 0 0 22 2 0 0 20 0 18 0 60092261 19384713216 23046 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60092263 19384713216 23046 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60092264 19384713216 23046 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 92184 KiB

[startup+0.700215 s]
/proc/loadavg: 4.23 4.17 4.12 6/337 64229
/proc/meminfo: memFree=128699244/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=18996948 memory=140768 CPUtime=1.26 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 10927 0 0 0 121 5 0 0 20 0 19 0 60092260 19452874752 35192 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4749237 35192 5461 1 0 550707 0
[pid=64210/tid=64212] ppid=64207 vsize=18996948 memory=14848 CPUtime=0.58 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 5431 0 0 0 55 3 0 0 20 0 19 0 60092261 19452874752 35192 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 60092263 19452874752 35192 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 60092264 19452874752 35192 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 60092302 19452874752 35192 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 140768 KiB

[startup+1.50021 s]
/proc/loadavg: 4.23 4.17 4.12 6/337 64229
/proc/meminfo: memFree=128629992/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=18996948 memory=168680 CPUtime=2.81 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 18615 0 0 0 275 6 0 0 20 0 19 0 60092260 19452874752 42170 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4749237 42170 5461 1 0 552950 0
[pid=64210/tid=64212] ppid=64207 vsize=18996948 memory=0 CPUtime=1.36 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 5681 0 0 0 132 4 0 0 20 0 19 0 60092261 19452874752 42170 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 60092263 19452874752 42170 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 60092264 19452874752 42170 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 60092302 19452874752 42170 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 168680 KiB

[startup+3.10533 s]
/proc/loadavg: 4.22 4.17 4.12 5/338 64230
/proc/meminfo: memFree=128415356/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=186028 CPUtime=4.68 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 20475 0 0 0 462 6 0 0 20 0 20 0 60092260 19521036288 46507 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 46507 5525 1 0 553286 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=10752 CPUtime=2.92 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 6480 0 0 0 288 4 0 0 20 0 20 0 60092261 19521036288 46507 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=-6000919477085562985 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 46507 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 46507 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 46507 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186028 KiB

[startup+6.30015 s]
/proc/loadavg: 4.22 4.17 4.12 5/338 64230
/proc/meminfo: memFree=128040856/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=177544 CPUtime=7.91 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 20769 0 0 0 784 7 0 0 20 0 20 0 60092260 19521036288 44386 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 44386 5557 1 0 553287 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=0 CPUtime=6.1 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 6637 0 0 0 606 4 0 0 20 0 20 0 60092261 19521036288 44386 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 44386 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 44386 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=168808 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 44386 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177544 KiB

[startup+12.7001 s]
/proc/loadavg: 4.20 4.17 4.12 5/338 64230
/proc/meminfo: memFree=127220660/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=178184 CPUtime=14.35 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 24917 0 0 0 1428 7 0 0 20 0 20 0 60092260 19521036288 44546 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 44546 5557 1 0 553287 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=168808 CPUtime=12.49 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 7894 0 0 0 1245 4 0 0 20 0 20 0 60092261 19521036288 44546 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 44546 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=178184 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 44546 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 44546 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.16 4.12 5/339 64231
/proc/meminfo: memFree=125856904/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=186524 CPUtime=27.12 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 26964 0 0 0 2705 7 0 0 20 0 20 0 60092260 19521036288 46631 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 46631 5557 1 0 553287 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=-6000919477085562985 CPUtime=25.23 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 8350 0 0 0 2519 4 0 0 20 0 20 0 60092261 19521036288 46631 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 46631 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 75 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 46631 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 46631 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 27.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186524 KiB

[startup+51.1054 s]
/proc/loadavg: 4.17 4.16 4.12 5/340 64233
/proc/meminfo: memFree=124324052/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=246252 CPUtime=52.77 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 28102 0 0 0 5269 8 0 0 20 0 20 0 60092260 19521036288 61563 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 61563 5557 1 0 553287 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=246252 CPUtime=50.72 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 8425 0 0 0 5068 4 0 0 20 0 20 0 60092261 19521036288 61563 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=196892 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 61563 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0

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

[startup+3282.3 s]
/proc/loadavg: 4.38 4.27 4.21 5/341 64404
/proc/meminfo: memFree=107183740/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=2153616 CPUtime=3281.84 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 87517 0 0 0 328092 92 0 0 20 0 20 0 60092260 19521036288 538404 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 538404 5557 1 0 553416 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=2153616 CPUtime=3270.5 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 32372 0 0 0 327033 17 0 0 20 0 20 0 60092261 19521036288 538404 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 538404 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 1606 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 538404 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 538404 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 3281.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.27 4.21 5/341 64407
/proc/meminfo: memFree=107183460/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=2153744 CPUtime=3342.47 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 90124 0 0 0 334153 94 0 0 20 0 20 0 60092260 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 538436 5557 1 0 553461 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=5148 CPUtime=3330.26 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 33000 0 0 0 333009 17 0 0 20 0 20 0 60092261 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=2153616 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=2153744 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 1684 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 3342.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.25 4.20 5/342 64412
/proc/meminfo: memFree=107183416/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=2153744 CPUtime=3402.4 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 90550 0 0 0 340146 94 0 0 20 0 20 0 60092260 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 538436 5557 1 0 553461 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=2153744 CPUtime=3390.06 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 33371 0 0 0 338989 17 0 0 20 0 20 0 60092261 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=2153744 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=2153744 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 1684 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=2153744 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 3402.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.19 5/342 64480
/proc/meminfo: memFree=122709284/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=2153744 CPUtime=3462.25 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 91748 0 0 0 346130 95 0 0 20 0 20 0 60092260 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 538436 5557 1 0 553461 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=2153744 CPUtime=3449.9 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 34397 0 0 0 344973 17 0 0 20 0 20 0 60092261 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=2153616 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 1764 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=2153744 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 538436 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 3462.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.19 4.18 5/341 64482
/proc/meminfo: memFree=122701968/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=2153872 CPUtime=3522.26 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 93902 0 0 0 352129 97 0 0 20 0 20 0 60092260 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 538468 5557 1 0 553461 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=2153744 CPUtime=3509.59 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 35175 0 0 0 350941 18 0 0 20 0 20 0 60092261 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=2153744 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=2153744 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=2153872 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 3522.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153872 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.23 4.19 5/339 64618
/proc/meminfo: memFree=125931892/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=2153872 CPUtime=3582.13 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 93991 0 0 0 358116 97 0 0 20 0 20 0 60092260 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 538468 5557 1 0 553461 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=2153872 CPUtime=3569.44 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 35260 0 0 0 356926 18 0 0 20 0 20 0 60092261 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=2153872 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 3582.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.11 s]
/proc/loadavg: 4.24 4.21 4.19 5/339 64619
/proc/meminfo: memFree=125927812/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19063512 memory=2153872 CPUtime=3600.02 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 94248 0 0 0 359905 97 0 0 20 0 20 0 60092260 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4765878 538468 5557 1 0 553462 0
[pid=64210/tid=64212] ppid=64207 vsize=19063512 memory=2153744 CPUtime=3587.06 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 35376 0 0 0 358688 18 0 0 20 0 20 0 60092261 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19063512 memory=2153872 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60092263 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19063512 memory=2153872 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 20 0 60092264 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64229] ppid=64207 vsize=19063512 memory=2153872 CPUtime=0 cores=1,3
/proc/64210/task/64229/stat : 64229 (Timer-0) S 64207 64210 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60092302 19521036288 538468 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153872 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.35 s, system=0.99199 s

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

[startup+3600.2 s]
/proc/loadavg: 4.24 4.21 4.19 5/339 64619
/proc/meminfo: memFree=125927812/131249996 swapFree=33006296/33010684
[pid=64210] ppid=64207 vsize=19263204 memory=2154768 CPUtime=3600.22 cores=1,3
/proc/64210/stat : 64210 (java) S 64207 64210 63635 0 -1 4194304 96273 0 0 0 359924 98 0 0 20 0 21 0 60092260 19725520896 538692 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
/proc/64210/statm: 4815801 538692 5589 1 0 554417 0
[pid=64210/tid=64212] ppid=64207 vsize=19263204 memory=12416 CPUtime=3587.15 cores=1,3
/proc/64210/task/64212/stat : 64212 (java) R 64207 64210 63635 0 -1 4194368 35576 0 0 0 358697 18 0 0 20 0 21 0 60092261 19725520896 538692 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64221] ppid=64207 vsize=19263204 memory=2736 CPUtime=0 cores=1,3
/proc/64210/task/64221/stat : 64221 (Finalizer) S 64207 64210 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 60092263 19725520896 538692 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
[pid=64210/tid=64228] ppid=64207 vsize=19263204 memory=17020 CPUtime=0 cores=1,3
/proc/64210/task/64228/stat : 64228 (Common-Cleaner) S 64207 64210 63635 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 21 0 60092264 19725520896 538692 18446744073709551615 94599666589696 94599666593392 140729137595968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94599666601208 94599666602000 94599681556480 140729137604993 140729137605094 140729137605094 140729137610696 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2154768 KiB

Child status: 143

Real time (s): 3600.27
CPU time (s): 3600.34
CPU user time (s): 3599.35
CPU system time (s): 0.99199
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2154768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.35
system time used= 0.99199
maximum resident set size= 2154896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106376
involuntary context switches= 7126


# summary of solver processes directly reported to runsolver:
#   pid: 64210
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3599.35
#   total CPU system time (s): 0.99199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95322 second user time and 15.9897 second system time

The end

Begin job on nodeC015 at 2025-07-02 10:15:48
IDJOB=4504212
IDBENCH=155636
IDSOLVER=3363
FILE ID=nodeC015/4504212-1751444148
RUNJOBID= nodeC015-1751440544-63651
SLURM_JOB_ID= 9598400
Free space on /tmp= 432368 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504212-1751444148/watcher-4504212-1751444148 -o /tmp/evaluation-result-4504212-1751444148/solver-4504212-1751444148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751440544-63651 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4504212-1751444148.opb

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

MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93
RANDOM SEED=1432604989

nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.064
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.020
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3601.168
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3608.397
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.086
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.074
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.068
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.503
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128791048 kB
MemAvailable:   129238064 kB
Buffers:            1508 kB
Cached:          1231548 kB
SwapCached:         3880 kB
Active:           822184 kB
Inactive:         993752 kB
Active(anon):     548168 kB
Inactive(anon):    48864 kB
Active(file):     274016 kB
Inactive(file):   944888 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4040 kB
Writeback:             0 kB
AnonPages:        582508 kB
Mapped:           120044 kB
Shmem:             14152 kB
KReclaimable:     134700 kB
Slab:             225656 kB
SReclaimable:     134700 kB
SUnreclaim:        90956 kB
KernelStack:        5184 kB
PageTables:         4840 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7064220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    405504 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432340 MiB
End job on nodeC015 at 2025-07-02 11:15:48