0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		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.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4440524-1721820873.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.52/0.36	c ... done. Wall clock time 0.217s.
0.52/0.36	c declared #vars     9940
0.52/0.36	c #constraints  24512
0.52/0.36	c constraints type 
0.52/0.36	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390
0.52/0.36	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
0.52/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
0.52/0.36	c org.sat4j.specs.Constr$1 => 2
0.52/0.36	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
0.52/0.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486
0.52/0.36	c 24512 constraints processed.
0.52/0.36	c objective function length is 9730 literals
1.48/0.84	c SATISFIABLE
1.48/0.84	c OPTIMIZING...
1.48/0.84	c Got one! Elapsed wall clock time (in seconds):0.709
1.48/0.84	o 6145589
1.69/0.99	c Got one! Elapsed wall clock time (in seconds):0.862
1.69/1.00	o 5464331
1.89/1.05	c Got one! Elapsed wall clock time (in seconds):0.919
1.89/1.05	o 4717673
4.71/2.51	c cleaning 2688 clauses out of 5420 with flag 10444/5420
6.35/3.98	c cleaning 4347 clauses out of 8732 with flag 22612/11420
8.07/5.68	c cleaning 5670 clauses out of 11385 with flag 36946/18420
10.08/7.64	c cleaning 6832 clauses out of 13715 with flag 53192/26420
12.29/9.88	c cleaning 7922 clauses out of 15883 with flag 71577/35420
14.93/12.42	c cleaning 8956 clauses out of 17962 with flag 92255/45421
17.65/15.11	c cleaning 9981 clauses out of 20005 with flag 114687/56420
20.43/17.99	c cleaning 10989 clauses out of 22025 with flag 139058/68421
23.95/21.47	c cleaning 12014 clauses out of 24035 with flag 166204/81420
28.65/26.06	c cleaning 13011 clauses out of 26021 with flag 194835/95420
33.10/30.44	c cleaning 13999 clauses out of 28011 with flag 225876/110421
37.84/37.26	c cleaning 15002 clauses out of 30011 with flag 258916/126420
42.50/41.83	c cleaning 16001 clauses out of 32009 with flag 294033/143420
46.98/46.21	c cleaning 17003 clauses out of 34008 with flag 330712/161420
51.88/51.17	c cleaning 18003 clauses out of 36006 with flag 369744/180421
57.83/57.05	c cleaning 18999 clauses out of 38002 with flag 410451/200420
63.93/63.15	c cleaning 19999 clauses out of 40003 with flag 453295/221420
70.70/70.25	c cleaning 20999 clauses out of 42004 with flag 498293/243420
78.91/78.45	c cleaning 22002 clauses out of 44005 with flag 545218/266420
87.69/87.25	c cleaning 22997 clauses out of 46003 with flag 594206/290420
96.58/96.14	c cleaning 23998 clauses out of 48006 with flag 645066/315420
105.87/105.57	c cleaning 24996 clauses out of 50008 with flag 698014/341420
115.58/115.23	c cleaning 26003 clauses out of 52013 with flag 752959/368421
125.00/124.66	c cleaning 27005 clauses out of 54009 with flag 810676/396420
133.20/132.99	c cleaning 28003 clauses out of 56005 with flag 870164/425421
144.11/143.85	c cleaning 28995 clauses out of 58001 with flag 931901/455420
155.58/155.35	c cleaning 29999 clauses out of 60006 with flag 994877/486420
166.82/166.63	c cleaning 31000 clauses out of 62007 with flag 1060020/518420
178.43/178.22	c cleaning 31998 clauses out of 64007 with flag 1126938/551420
190.62/190.47	c cleaning 33000 clauses out of 66010 with flag 1196141/585421
203.35/203.26	c cleaning 34001 clauses out of 68009 with flag 1267323/620420
216.14/216.03	c cleaning 35002 clauses out of 70009 with flag 1340659/656421
229.96/229.99	c cleaning 36001 clauses out of 72006 with flag 1416215/693420
243.80/243.72	c cleaning 37002 clauses out of 74006 with flag 1493500/731421
258.24/258.29	c cleaning 38000 clauses out of 76003 with flag 1573020/770420
269.76/269.78	c cleaning 38994 clauses out of 78004 with flag 1655185/810421
281.16/281.19	c cleaning 39995 clauses out of 80009 with flag 1738952/851420
292.68/292.74	c cleaning 40998 clauses out of 82015 with flag 1824645/893421
304.92/304.93	c cleaning 42002 clauses out of 84016 with flag 1912624/936420
317.02/317.18	c cleaning 43000 clauses out of 86014 with flag 2002767/980420
329.93/330.09	c cleaning 43999 clauses out of 88015 with flag 2094948/1025421
343.86/343.93	c cleaning 44998 clauses out of 90016 with flag 2189288/1071421
357.88/358.02	c cleaning 46003 clauses out of 92018 with flag 2285524/1118421
371.42/371.55	c cleaning 47001 clauses out of 94015 with flag 2383628/1166421
388.79/389.00	c cleaning 48004 clauses out of 96013 with flag 2484212/1215420
402.74/403.01	c cleaning 48999 clauses out of 98009 with flag 2585819/1265420
416.61/417.39	c cleaning 50003 clauses out of 100011 with flag 2689796/1316421
430.68/431.33	c cleaning 50995 clauses out of 102008 with flag 2795647/1368421
448.69/449.48	c cleaning 52002 clauses out of 104013 with flag 2903720/1421421
467.04/467.80	c cleaning 53000 clauses out of 106010 with flag 3014032/1475420
485.38/486.18	c cleaning 53997 clauses out of 108012 with flag 3126567/1530422
504.79/505.65	c cleaning 55004 clauses out of 110014 with flag 3241369/1586421
522.09/522.91	c cleaning 55996 clauses out of 112009 with flag 3358126/1643420
539.01/540.08	c cleaning 57000 clauses out of 114014 with flag 3476565/1701421
556.41/557.48	c cleaning 57997 clauses out of 116013 with flag 3597026/1760420
573.43/574.54	c cleaning 59005 clauses out of 118017 with flag 3719545/1820421
591.75/593.05	c cleaning 60000 clauses out of 120011 with flag 3844290/1881420
609.47/610.74	c cleaning 61003 clauses out of 122012 with flag 3971237/1943421
628.88/630.24	c cleaning 61996 clauses out of 124009 with flag 4100729/2006421
648.51/649.81	c cleaning 62999 clauses out of 126012 with flag 4231696/2070420
668.90/670.55	c cleaning 64004 clauses out of 128013 with flag 4365151/2135420
689.04/690.84	c cleaning 65003 clauses out of 130009 with flag 4500412/2201420
710.84/712.61	c cleaning 65999 clauses out of 132007 with flag 4637983/2268421
733.51/735.67	c cleaning 66999 clauses out of 134007 with flag 4777215/2336420
756.78/759.04	c cleaning 68004 clauses out of 136008 with flag 4918444/2405420
776.51/778.85	c cleaning 69000 clauses out of 138005 with flag 5061894/2475421
796.23/798.56	c cleaning 70003 clauses out of 140007 with flag 5206802/2546423
817.56/819.93	c cleaning 70998 clauses out of 142001 with flag 5354676/2618420
840.74/843.23	c cleaning 71998 clauses out of 144004 with flag 5504175/2691421
866.59/870.87	c cleaning 73003 clauses out of 146005 with flag 5655749/2765420
888.41/892.78	c cleaning 74001 clauses out of 148003 with flag 5809130/2840421
909.83/914.28	c cleaning 74999 clauses out of 150001 with flag 5964340/2916420
931.80/936.23	c cleaning 76001 clauses out of 152003 with flag 6121130/2993421
954.19/958.60	c cleaning 76996 clauses out of 154001 with flag 6280829/3071420
979.23/983.46	c cleaning 77992 clauses out of 156005 with flag 6442535/3150420
1005.15/1009.50	c cleaning 79003 clauses out of 158013 with flag 6606122/3230420
1032.13/1036.66	c cleaning 79999 clauses out of 160011 with flag 6771463/3311421
1058.05/1062.84	c cleaning 80999 clauses out of 162012 with flag 6939514/3393421
1086.42/1091.35	c cleaning 82004 clauses out of 164012 with flag 7109130/3476420
1113.94/1118.82	c cleaning 82997 clauses out of 166008 with flag 7280909/3560420
1144.27/1149.26	c cleaning 84001 clauses out of 168012 with flag 7455539/3645421
1171.89/1176.95	c cleaning 85002 clauses out of 170011 with flag 7632337/3731421
1201.30/1206.38	c cleaning 85997 clauses out of 172010 with flag 7810000/3818422
1233.01/1238.05	c cleaning 87004 clauses out of 174012 with flag 7990798/3906421
1264.83/1269.91	c cleaning 88002 clauses out of 176007 with flag 8172538/3995420
1294.13/1299.23	c cleaning 88999 clauses out of 178006 with flag 8356618/4085421
1324.49/1329.74	c cleaning 90001 clauses out of 180007 with flag 8542380/4176421
1356.32/1361.64	c cleaning 90996 clauses out of 182006 with flag 8730200/4268421
1387.97/1393.37	c cleaning 91995 clauses out of 184009 with flag 8919289/4361420
1420.52/1425.98	c cleaning 93006 clauses out of 186015 with flag 9110248/4455421
1451.61/1457.13	c cleaning 93994 clauses out of 188008 with flag 9303792/4550420
1485.30/1491.20	c cleaning 95000 clauses out of 190014 with flag 9500110/4646420
1518.30/1524.14	c cleaning 95999 clauses out of 192015 with flag 9697892/4743421
1551.75/1557.69	c cleaning 97002 clauses out of 194015 with flag 9898268/4841420
1585.28/1591.21	c cleaning 97999 clauses out of 196014 with flag 10100168/4940421
1618.57/1624.88	c cleaning 98999 clauses out of 198014 with flag 10304032/5040420
1653.11/1659.59	c cleaning 100005 clauses out of 200016 with flag 10509555/5141421
1687.76/1694.36	c cleaning 101003 clauses out of 202012 with flag 10717316/5243422
1724.92/1731.60	c cleaning 102000 clauses out of 204008 with flag 10927455/5346421
1761.87/1768.59	c cleaning 102997 clauses out of 206007 with flag 11138410/5450420
1797.90/1804.79	c cleaning 103999 clauses out of 208010 with flag 11352080/5555420
1832.02/1838.96	c cleaning 105003 clauses out of 210011 with flag 11567536/5661420
1866.78/1873.70	c cleaning 106002 clauses out of 212008 with flag 11785070/5768420
1901.31/1908.28	c cleaning 107000 clauses out of 214008 with flag 12005400/5876422
1934.93/1941.90	c cleaning 108000 clauses out of 216007 with flag 12227048/5985421
1967.08/1974.18	c cleaning 108999 clauses out of 218006 with flag 12450328/6095420
1998.51/2005.66	c cleaning 109998 clauses out of 220007 with flag 12675115/6206420
2031.29/2038.41	c cleaning 111000 clauses out of 222010 with flag 12902301/6318421
2063.36/2070.50	c cleaning 111997 clauses out of 224009 with flag 13131023/6431420
2096.80/2104.19	c cleaning 112999 clauses out of 226012 with flag 13363651/6545420
2130.89/2138.39	c cleaning 114001 clauses out of 228014 with flag 13598075/6660421
2167.30/2174.79	c cleaning 115001 clauses out of 230013 with flag 13834726/6776421
2202.52/2210.07	c cleaning 116002 clauses out of 232012 with flag 14073455/6893421
2237.11/2244.65	c cleaning 117001 clauses out of 234010 with flag 14312744/7011421
2271.82/2279.45	c cleaning 117997 clauses out of 236008 with flag 14555348/7130420
2311.41/2319.22	c cleaning 119003 clauses out of 238012 with flag 14800097/7250421
2348.49/2356.34	c cleaning 120000 clauses out of 240008 with flag 15046299/7371420
2387.22/2395.07	c cleaning 121002 clauses out of 242008 with flag 15295311/7493420
2426.80/2434.62	c cleaning 121997 clauses out of 244007 with flag 15546081/7616421
2465.92/2473.86	c cleaning 123001 clauses out of 246011 with flag 15797793/7740422
2505.54/2513.14	c cleaning 123995 clauses out of 248008 with flag 16051491/7865420
2542.60/2550.28	c cleaning 125000 clauses out of 250013 with flag 16309289/7991420
2582.63/2590.28	c cleaning 126006 clauses out of 252015 with flag 16568414/8118422
2622.97/2630.79	c cleaning 127004 clauses out of 254007 with flag 16829112/8246420
2660.40/2668.28	c cleaning 127999 clauses out of 256003 with flag 17091013/8375420
2699.12/2707.07	c cleaning 128999 clauses out of 258005 with flag 17355522/8505421
2737.49/2745.49	c cleaning 129999 clauses out of 260005 with flag 17621025/8636420
2775.36/2783.47	c cleaning 130996 clauses out of 262006 with flag 17890433/8768420
2812.74/2820.83	c cleaning 131999 clauses out of 264010 with flag 18161207/8901420
2853.46/2861.54	c cleaning 133000 clauses out of 266012 with flag 18434304/9035421
2895.25/2903.45	c cleaning 134003 clauses out of 268012 with flag 18709150/9170421
2934.86/2943.16	c cleaning 135002 clauses out of 270009 with flag 18985024/9306421
2976.20/2984.53	c cleaning 135999 clauses out of 272006 with flag 19264029/9443420
3018.68/3027.11	c cleaning 137000 clauses out of 274007 with flag 19544015/9581420
3061.36/3069.82	c cleaning 137999 clauses out of 276007 with flag 19826024/9720420
3103.88/3112.13	c cleaning 138994 clauses out of 278008 with flag 20110747/9860420
3146.88/3157.21	c cleaning 140002 clauses out of 280015 with flag 20399650/10001421
3192.94/3204.33	c cleaning 141002 clauses out of 282013 with flag 20690494/10143421
3238.61/3252.07	c cleaning 142001 clauses out of 284010 with flag 20982906/10286420
3283.44/3297.08	c cleaning 143000 clauses out of 286009 with flag 21277400/10430420
3326.67/3340.82	c cleaning 144002 clauses out of 288009 with flag 21571898/10575420
3370.77/3385.72	c cleaning 145001 clauses out of 290009 with flag 21869172/10721422
3415.19/3430.95	c cleaning 145998 clauses out of 292007 with flag 22168800/10868421
3462.68/3478.53	c cleaning 146998 clauses out of 294009 with flag 22472005/11016421
3513.62/3529.60	c cleaning 148001 clauses out of 296011 with flag 22778529/11165421
3563.50/3579.82	c cleaning 149002 clauses out of 298011 with flag 23086292/11315422
3600.04/3616.62	c starts		: 8
3600.04/3616.62	c conflicts		: 11439636
3600.04/3616.62	c decisions		: 12738332
3600.04/3616.62	c propagations		: 176989229
3600.04/3616.62	c inspects		: 3127523865
3600.04/3616.62	c shortcuts		: 0
3600.04/3616.62	c learnt literals	: 0
3600.04/3616.62	c learnt binary clauses	: 0
3600.04/3616.62	c learnt ternary clauses	: 31
3600.04/3616.62	c learnt constraints	: 11439636
3600.04/3616.62	c ignored constraints	: 0
3600.04/3616.62	c root simplifications	: 0
3600.04/3616.62	c removed literals (reason simplification)	: 1497720951
3600.04/3616.62	c reason swapping (by a shorter reason)	: 0
3600.04/3616.62	c Calls to reduceDB	: 146
3600.04/3616.62	c Number of update (reduction) of LBD	: 247913
3600.04/3616.62	c Imported unit clauses	: 0
3600.04/3616.62	c No decision after first conflict	: false
3600.04/3616.62	c number of reductions to clauses (during analyze)	: 0
3600.04/3616.62	c number of learned constraints concerned by reduction	: 0
3600.04/3616.62	c number of learning phase by resolution	: 0
3600.04/3616.62	c number of learning phase by cutting planes	: 0
3600.04/3616.62	c number of rounding to 1 operations	: 0
3600.04/3616.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3616.62	c number of reductions of the coefficients by power 2 	: 0
3600.04/3616.62	c number of right shift for reduction by power 2 	: 0
3600.04/3616.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3616.62	c number of ending skipping 	: 0
3600.04/3616.62	c number of internal skipping 	: 0
3600.04/3616.62	c number of derivation steps 	: 0
3600.04/3616.62	c number of skipped derivation steps 	: 0
3600.04/3616.62	c number of remaining unassigned 	: 0
3600.04/3616.62	c number of remaining assigned 	: 0
3600.04/3616.62	c number of falsified literals weakened from reason	: 0
3600.04/3616.62	c number of falsified literals weakened from conflict	: 0
3600.04/3616.62	c time for arithmetic operations	: 0
3600.04/3616.62	c minimum degree of deleted constraints	: null
3600.04/3616.62	c maximum degree of deleted constraints	: null
3600.04/3616.62	c number of deleted constraints	: 0
3600.04/3616.62	c speed (assignments/second)	: 48942.928519342066
3600.04/3616.62	c non guided choices	: 27
3600.26/3616.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 273223
3600.26/3616.71	s SATISFIABLE
3600.26/3616.71	c Found 3 solution(s)
3600.26/3616.71	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.26/3616.73	c objective function=4717673
3600.26/3616.73	c Total wall clock time (in seconds): 3616.601

OK	4717673

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440524-1721820873/watcher-4440524-1721820873 -o /tmp/evaluation-result-4440524-1721820873/solver-4440524-1721820873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721817189-172940 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440524-1721820873 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440524-1721820873.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=175942, runsolver pid=175939

[startup+0.10276 s]*
/proc/loadavg: 4.31 4.25 4.14 7/337 175960
/proc/meminfo: memFree=119003516/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=18975048 memory=64844 CPUtime=0.14 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 7236 0 0 0 12 2 0 0 20 0 18 0 18617560 19430449152 16211 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4743762 16211 5614 1 0 549322 0
[pid=175942/tid=175944] ppid=175939 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 1077936192 5761 0 0 0 7 1 0 0 20 0 18 0 18617560 19430449152 16211 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18617563 19430449152 16211 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=18975048 memory=14692998043934266 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18617563 19430449152 16211 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64844 KiB

[startup+0.206102 s]*
/proc/loadavg: 4.31 4.25 4.14 7/337 175960
/proc/meminfo: memFree=118978648/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=18975048 memory=81816 CPUtime=0.33 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 8379 0 0 0 31 2 0 0 20 0 18 0 18617560 19430449152 20454 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4743762 20454 5842 1 0 550254 0
[pid=175942/tid=175944] ppid=175939 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 5953 0 0 0 16 1 0 0 20 0 18 0 18617560 19430449152 20454 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=18975048 memory=1318339 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18617563 19430449152 20454 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18617563 19430449152 20454 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81816 KiB

[startup+0.306105 s]*
/proc/loadavg: 4.31 4.25 4.14 7/337 175960
/proc/meminfo: memFree=118938900/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=18975048 memory=112840 CPUtime=0.52 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 9261 0 0 0 49 3 0 0 20 0 18 0 18617560 19430449152 28210 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4743762 28210 5842 1 0 550796 0
[pid=175942/tid=175944] ppid=175939 vsize=18975048 memory=-8528235941123105468 CPUtime=0.27 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 5987 0 0 0 25 2 0 0 20 0 18 0 18617560 19430449152 28210 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18617563 19430449152 28210 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18617563 19430449152 28210 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112840 KiB

[startup+0.701102 s]
/proc/loadavg: 4.31 4.25 4.14 7/338 175961
/proc/meminfo: memFree=118897664/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=174044 CPUtime=1.29 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 9700 0 0 0 124 5 0 0 20 0 20 0 18617560 19566772224 43511 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 43511 5880 1 0 551578 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=5552 CPUtime=0.63 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 6138 0 0 0 60 3 0 0 20 0 20 0 18617560 19566772224 43511 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 43511 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 43511 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 43511 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174044 KiB

[startup+1.5061 s]
/proc/loadavg: 4.31 4.25 4.14 8/339 175962
/proc/meminfo: memFree=118810440/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=181400 CPUtime=2.87 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 15481 0 0 0 281 6 0 0 20 0 20 0 18617560 19566772224 45350 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 45350 5905 1 0 553289 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=12348 CPUtime=1.41 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 6545 0 0 0 137 4 0 0 20 0 20 0 18617560 19566772224 45350 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 45350 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 45350 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=280562833204496 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 45350 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181400 KiB

[startup+3.10572 s]
/proc/loadavg: 4.37 4.26 4.14 5/339 175962
/proc/meminfo: memFree=118675020/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=196660 CPUtime=5.47 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 18794 0 0 0 540 7 0 0 20 0 20 0 18617560 19566772224 49165 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 49165 5905 1 0 553334 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=0 CPUtime=2.94 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 7559 0 0 0 290 4 0 0 20 0 20 0 18617560 19566772224 49165 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 49165 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 49165 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 49165 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196660 KiB

[startup+6.30024 s]
/proc/loadavg: 4.37 4.26 4.14 5/339 175964
/proc/meminfo: memFree=118419420/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=369772 CPUtime=8.78 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 19162 0 0 0 866 12 0 0 20 0 20 0 18617560 19566772224 92443 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 92443 5905 1 0 553335 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=12348 CPUtime=6.12 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 7729 0 0 0 603 9 0 0 20 0 20 0 18617560 19566772224 92443 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 92443 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=181416 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 92443 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 92443 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 8.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 369772 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.25 4.14 5/339 175964
/proc/meminfo: memFree=117625144/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=1085268 CPUtime=15.23 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 23477 0 0 0 1495 28 0 0 20 0 20 0 18617560 19566772224 271317 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 271317 5921 1 0 553335 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=0 CPUtime=12.48 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 9001 0 0 0 1224 24 0 0 20 0 20 0 18617560 19566772224 271317 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=-8528235941123105468 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 271317 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=2228 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 271317 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 271317 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1085268 KiB

[startup+25.5003 s]
/proc/loadavg: 4.42 4.27 4.15 5/339 175965
/proc/meminfo: memFree=116734492/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=1335772 CPUtime=28.15 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 30400 0 0 0 2774 41 0 0 20 0 20 0 18617560 19566772224 333943 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 333943 5921 1 0 553369 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=11576 CPUtime=25.22 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 10257 0 0 0 2486 36 0 0 20 0 20 0 18617560 19566772224 333943 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 333943 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=384108 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 333943 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=280562833151280 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 333943 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 28.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1335772 KiB

[startup+51.1057 s]
/proc/loadavg: 4.27 4.25 4.14 5/335 175970
/proc/meminfo: memFree=115973732/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=1351760 CPUtime=51.88 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 37449 0 0 0 5137 51 0 0 20 0 20 0 18617560 19566772224 337940 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 337940 5921 1 0 553568 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=1347652 CPUtime=48.64 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 12269 0 0 0 4820 44 0 0 20 0 20 0 18617560 19566772224 337940 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 206 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=280562833900928 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 337940 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0

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

/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=2167516 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 3152 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 3210.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2167516 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/337 177755
/proc/meminfo: memFree=88294988/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3268.69 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 201885 0 0 0 325737 1132 0 0 20 0 20 0 18617560 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 541879 5921 1 0 553911 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3236.9 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 80899 0 0 0 322687 1003 0 0 20 0 20 0 18617560 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1947 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=2167516 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 3209 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=2167516 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 3268.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2167516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/337 177766
/proc/meminfo: memFree=87932000/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3328.16 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 204547 0 0 0 331663 1153 0 0 20 0 20 0 18617560 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 541879 5921 1 0 553911 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3295.85 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 82467 0 0 0 328563 1022 0 0 20 0 20 0 18617560 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1988 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=132 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 3269 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=2167516 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 3328.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2167516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.13 5/338 177836
/proc/meminfo: memFree=87558640/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3386.82 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 206939 0 0 0 337510 1172 0 0 20 0 20 0 18617560 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 541879 5921 1 0 553911 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=61340 CPUtime=3354.06 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 83594 0 0 0 334367 1039 0 0 20 0 20 0 18617560 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2117 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=2167516 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 3328 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 3386.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2167516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.12 4.14 5/338 177846
/proc/meminfo: memFree=87200836/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3445.89 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 208795 0 0 0 343397 1192 0 0 20 0 20 0 18617560 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 541879 5921 1 0 553911 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3412.68 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 84950 0 0 0 340211 1057 0 0 20 0 20 0 18617560 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2206 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 3422 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=2167516 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 541879 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 3445.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2167516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/338 177858
/proc/meminfo: memFree=86570412/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=2167592 CPUtime=3506.26 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 218194 0 0 0 349411 1215 0 0 20 0 20 0 18617560 19566772224 541898 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 541898 5921 1 0 553925 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3471.82 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 86795 0 0 0 346106 1076 0 0 20 0 20 0 18617560 19566772224 541898 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2238 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=2167516 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541898 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=2167592 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 3452 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541898 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=2167592 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 541898 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 3506.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2167592 KiB

[startup+3582.3 s]
/proc/loadavg: 4.52 4.25 4.18 5/337 178005
/proc/meminfo: memFree=107122872/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=2167596 CPUtime=3566 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 220704 0 0 0 355368 1232 0 0 20 0 20 0 18617560 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 541899 5921 1 0 553925 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=2167516 CPUtime=3530.92 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 88225 0 0 0 352000 1092 0 0 20 0 20 0 18617560 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2280 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=2167596 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=2167596 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 3510 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=16012 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 3566 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2167596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.6 s]
/proc/loadavg: 4.35 4.24 4.18 5/337 178011
/proc/meminfo: memFree=105518168/131524600 swapFree=131055772/131071996
[pid=175942] ppid=175939 vsize=19108176 memory=2167596 CPUtime=3600.04 cores=5,7
/proc/175942/stat : 175942 (java) S 175939 175942 172927 0 -1 1077936128 222246 0 0 0 358761 1243 0 0 20 0 20 0 18617560 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
/proc/175942/statm: 4777044 541899 5921 1 0 553925 0
[pid=175942/tid=175944] ppid=175939 vsize=19108176 memory=39132 CPUtime=3564.62 cores=5,7
/proc/175942/task/175944/stat : 175944 (java) R 175939 175942 172927 0 -1 4194368 88662 0 0 0 355360 1102 0 0 20 0 20 0 18617560 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2315 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175953] ppid=175939 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/175942/task/175953/stat : 175953 (Finalizer) S 175939 175942 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175960] ppid=175939 vsize=19108176 memory=5436 CPUtime=0 cores=5,7
/proc/175942/task/175960/stat : 175960 (Common-Cleaner) S 175939 175942 172927 0 -1 1077936192 3570 0 0 0 0 0 0 0 20 0 20 0 18617563 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
[pid=175942/tid=175961] ppid=175939 vsize=19108176 memory=33188 CPUtime=0 cores=5,7
/proc/175942/task/175961/stat : 175961 (Timer-0) S 175939 175942 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18617598 19566772224 541899 134679101440 94039931236352 94039931240048 140736182213232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94039931247864 94039931248656 94039932284928 140736182215595 140736182215777 140736182215777 140736182222792 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2167596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.87 s, system=12.4576 s

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

[startup+3616.8 s]*
/proc/loadavg: 4.35 4.24 4.18 4/319 178014
/proc/meminfo: memFree=107655928/131524600 swapFree=131055772/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3616.87
CPU time (s): 3600.33
CPU user time (s): 3587.87
CPU system time (s): 12.4576
CPU usage (%): 99.5428
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2168272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.87
system time used= 12.4576
maximum resident set size= 2169112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21627096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124568
involuntary context switches= 10387


# summary of solver processes directly reported to runsolver:
#   pid: 175942
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3587.87
#   total CPU system time (s): 12.4576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57693 second user time and 18.2138 second system time

The end

Begin job on nodeC035 at 2024-07-24 13:34:33
IDJOB=4440524
IDBENCH=155609
IDSOLVER=3079
FILE ID=nodeC035/4440524-1721820873
RUNJOBID= nodeC035-1721817189-172940
SLURM_JOB_ID= 7816901
Free space on /tmp= 889980 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440524-1721820873/watcher-4440524-1721820873 -o /tmp/evaluation-result-4440524-1721820873/solver-4440524-1721820873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721817189-172940 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440524-1721820873 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440524-1721820873.opb

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

MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=234759222

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119062996 kB
MemAvailable:   123944960 kB
Buffers:          248796 kB
Cached:          5415640 kB
SwapCached:         3464 kB
Active:          2342252 kB
Inactive:        9424800 kB
Active(anon):       1932 kB
Inactive(anon):  6146052 kB
Active(file):    2340320 kB
Inactive(file):  3278748 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055772 kB
Dirty:             90428 kB
Writeback:             0 kB
AnonPages:       6098368 kB
Mapped:           127384 kB
Shmem:             45208 kB
KReclaimable:     205088 kB
Slab:             328316 kB
SReclaimable:     205088 kB
SUnreclaim:       123228 kB
KernelStack:        5168 kB
PageTables:        21780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   17883516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5765120 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      414420 kB
DirectMap2M:    48642048 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890036 MiB
End job on nodeC035 at 2024-07-24 14:34:50