0.14/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.16	c See www.sat4j.org for details.
0.14/0.17	c version CUSTOM.v20240707
0.14/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.20	c java.vm.version	22.0.1+8-16
0.14/0.20	c java.vm.vendor	Oracle Corporation
0.14/0.20	c sun.arch.data.model	64
0.14/0.20	c java.version		22.0.1
0.14/0.20	c os.name		Linux
0.14/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.20	c os.arch		amd64
0.14/0.22	c Free memory 		2113181440
0.14/0.22	c Max memory 		16282288128
0.14/0.22	c Total memory 		2122317824
0.14/0.22	c Number of processors 	2
0.32/0.31	--- Begin Solver configuration ---
0.32/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.31	Learn all clauses as in MiniSAT
0.32/0.31	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.31	No reason simplification
0.32/0.31	Glucose 2.1 dynamic restart strategy
0.32/0.31	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.32/0.31	timeout=2147483s
0.32/0.31	DB Simplification allowed=false
0.32/0.31	Listener: none
0.32/0.31	--- End Solver configuration ---
0.32/0.33	c Pseudo Boolean Optimization by upper bound
0.32/0.33	c --- Begin Solver configuration ---
0.32/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.33	c Learn all clauses as in MiniSAT
0.32/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.33	c No reason simplification
0.32/0.33	c Glucose 2.1 dynamic restart strategy
0.32/0.33	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.32/0.33	c timeout=2147483s
0.32/0.33	c DB Simplification allowed=false
0.32/0.33	c Listener: none
0.32/0.33	c --- End Solver configuration ---
0.32/0.33	c solving HOME/instance-4432535-1721175300.opb
0.32/0.33	c reading problem ... 
0.32/0.33	c  objective function found
1.19/0.71	c ... done. Wall clock time 0.39s.
1.19/0.71	c declared #vars     11744
1.19/0.71	c #constraints  798
1.19/0.71	c constraints type 
1.19/0.71	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 366
1.19/0.71	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65
1.19/0.71	c org.sat4j.specs.Constr$1 => 1
1.19/0.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 366
1.19/0.71	c 798 constraints processed.
1.19/0.75	c objective function length is 32 literals
3.75/2.08	c cleaning 2492 clauses out of 5003 with flag 19402/5003
4.49/2.55	c cleaning 4245 clauses out of 8510 with flag 51890/11002
5.30/3.34	c cleaning 5619 clauses out of 11263 with flag 102324/18000
6.79/4.32	c cleaning 6810 clauses out of 13645 with flag 158393/26001
8.02/5.41	c cleaning 7903 clauses out of 15834 with flag 220226/35000
9.10/6.43	c cleaning 8946 clauses out of 17931 with flag 278840/45000
10.19/7.57	c cleaning 9977 clauses out of 19985 with flag 354544/56000
11.37/8.67	c cleaning 11000 clauses out of 22008 with flag 425996/68000
12.07/9.36	c cleaning 11999 clauses out of 24008 with flag 454135/81000
13.53/10.51	c cleaning 12998 clauses out of 26009 with flag 490960/95000
14.81/11.74	c cleaning 13993 clauses out of 28011 with flag 542109/110000
16.26/13.12	c cleaning 14999 clauses out of 30018 with flag 598561/126000
17.69/14.58	c cleaning 15998 clauses out of 32019 with flag 653371/143000
19.73/16.42	c cleaning 17003 clauses out of 34022 with flag 717890/161001
21.43/18.13	c cleaning 17998 clauses out of 36018 with flag 784885/180000
23.18/19.85	c cleaning 18998 clauses out of 38020 with flag 852354/200000
25.36/21.91	c cleaning 19996 clauses out of 40023 with flag 928577/221001
27.47/24.04	c cleaning 21001 clauses out of 42026 with flag 1002232/243000
30.05/26.52	c cleaning 22000 clauses out of 44025 with flag 1080280/266000
32.74/29.15	c cleaning 23003 clauses out of 46026 with flag 1174568/290001
35.04/31.45	c cleaning 23998 clauses out of 48022 with flag 1256563/315000
38.03/34.39	c cleaning 24996 clauses out of 50024 with flag 1350194/341000
41.48/37.73	c cleaning 25999 clauses out of 52028 with flag 1438004/368000
44.31/40.40	c cleaning 27003 clauses out of 54029 with flag 1528535/396000
47.11/43.26	c cleaning 28000 clauses out of 56027 with flag 1623790/425001
50.39/46.44	c cleaning 29004 clauses out of 58029 with flag 1725871/455003
53.60/49.55	c cleaning 30000 clauses out of 60022 with flag 1824239/486000
57.11/53.04	c cleaning 30997 clauses out of 62023 with flag 1943506/518001
61.21/57.10	c cleaning 32002 clauses out of 64025 with flag 2059554/551000
65.09/60.86	c cleaning 33000 clauses out of 66024 with flag 2164903/585001
67.78/63.57	c cleaning 33998 clauses out of 68024 with flag 2277316/620001
71.43/67.18	c cleaning 34999 clauses out of 70025 with flag 2409463/656000
75.41/71.01	c cleaning 35999 clauses out of 72027 with flag 2532128/693001
80.31/75.82	c cleaning 36999 clauses out of 74028 with flag 2647209/731001
85.65/81.10	c cleaning 37998 clauses out of 76028 with flag 2781794/770000
90.57/85.86	c cleaning 39002 clauses out of 78032 with flag 2911528/810002
96.43/91.07	c cleaning 39990 clauses out of 80028 with flag 3045478/851000
102.54/97.10	c cleaning 40995 clauses out of 82039 with flag 3187133/893001
108.54/102.90	c cleaning 42000 clauses out of 84044 with flag 3332265/936001
114.55/108.89	c cleaning 43002 clauses out of 86044 with flag 3469062/980001
121.67/115.86	c cleaning 44005 clauses out of 88041 with flag 3613880/1025000
129.37/123.43	c cleaning 45003 clauses out of 90039 with flag 3785486/1071003
135.90/129.82	c cleaning 46000 clauses out of 92033 with flag 3931464/1118000
143.35/137.16	c cleaning 47000 clauses out of 94033 with flag 4087641/1166000
150.83/144.66	c cleaning 47998 clauses out of 96033 with flag 4239702/1215000
159.16/152.79	c cleaning 48999 clauses out of 98035 with flag 4404443/1265000
168.29/161.79	c cleaning 50001 clauses out of 100036 with flag 4581552/1316000
176.75/170.06	c cleaning 50995 clauses out of 102035 with flag 4762532/1368000
187.07/180.05	c cleaning 52006 clauses out of 104040 with flag 4937025/1421000
196.64/189.57	c cleaning 53000 clauses out of 106035 with flag 5106507/1475001
206.19/198.91	c cleaning 54005 clauses out of 108034 with flag 5299377/1530000
215.59/208.14	c cleaning 54998 clauses out of 110030 with flag 5475950/1586001
225.37/217.92	c cleaning 55995 clauses out of 112031 with flag 5648248/1643000
235.24/227.76	c cleaning 56999 clauses out of 114037 with flag 5819867/1701001
246.20/238.63	c cleaning 57999 clauses out of 116037 with flag 5995803/1760000
258.65/250.89	c cleaning 59003 clauses out of 118039 with flag 6194083/1820001
271.76/263.82	c cleaning 59998 clauses out of 120038 with flag 6394848/1881003
285.68/277.68	c cleaning 60997 clauses out of 122037 with flag 6606993/1943000
296.46/288.39	c cleaning 62000 clauses out of 124042 with flag 6812759/2006002
309.03/300.83	c cleaning 63000 clauses out of 126041 with flag 7038673/2070001
325.89/317.33	c cleaning 63996 clauses out of 128040 with flag 7242459/2135000
342.15/333.48	c cleaning 64999 clauses out of 130044 with flag 7425559/2201000
356.47/347.68	c cleaning 66003 clauses out of 132047 with flag 7691704/2268002
369.55/360.62	c cleaning 67003 clauses out of 134044 with flag 7938459/2336002
382.82/373.66	c cleaning 68000 clauses out of 136039 with flag 8186054/2405000
396.82/387.53	c cleaning 68998 clauses out of 138039 with flag 8453309/2475000
412.48/403.15	c cleaning 69997 clauses out of 140041 with flag 8691345/2546000
427.20/417.84	c cleaning 71008 clauses out of 142045 with flag 8917131/2618001
440.48/431.09	c cleaning 72001 clauses out of 144036 with flag 9162738/2691000
453.68/444.07	c cleaning 73003 clauses out of 146035 with flag 9406342/2765000
467.83/458.08	c cleaning 73998 clauses out of 148032 with flag 9638131/2840000
483.74/473.82	c cleaning 74997 clauses out of 150034 with flag 9898321/2916000
498.56/488.52	c cleaning 76001 clauses out of 152037 with flag 10151632/2993000
511.67/501.50	c cleaning 76999 clauses out of 154037 with flag 10417792/3071001
526.95/516.73	c cleaning 78003 clauses out of 156040 with flag 10679882/3150003
545.32/534.83	c cleaning 78995 clauses out of 158034 with flag 10949930/3230000
564.34/553.76	c cleaning 79998 clauses out of 160040 with flag 11227305/3311001
585.17/574.25	c cleaning 81002 clauses out of 162041 with flag 11524377/3393000
604.81/593.31	c cleaning 82001 clauses out of 164040 with flag 11788053/3476001
627.26/615.59	c cleaning 83000 clauses out of 166042 with flag 12154562/3560004
646.29/634.40	c cleaning 83999 clauses out of 168039 with flag 12483683/3645001
667.13/655.09	c cleaning 84998 clauses out of 170042 with flag 12796891/3731003
686.59/674.25	c cleaning 86003 clauses out of 172044 with flag 13089359/3818003
706.82/694.32	c cleaning 87004 clauses out of 174039 with flag 13386317/3906001
727.32/714.67	c cleaning 88001 clauses out of 176034 with flag 13668821/3995000
749.34/736.52	c cleaning 88998 clauses out of 178034 with flag 13975851/4085001
773.21/760.14	c cleaning 90000 clauses out of 180035 with flag 14260285/4176000
792.23/778.96	c cleaning 90999 clauses out of 182037 with flag 14569609/4268002
813.06/799.68	c cleaning 91999 clauses out of 184037 with flag 14846314/4361001
833.61/819.93	c cleaning 92992 clauses out of 186037 with flag 15176761/4455000
856.38/842.40	c cleaning 93999 clauses out of 188046 with flag 15537277/4550001
877.70/863.70	c cleaning 95004 clauses out of 190047 with flag 15868980/4646001
900.56/886.24	c cleaning 95997 clauses out of 192042 with flag 16197314/4743000
921.57/906.92	c cleaning 97007 clauses out of 194046 with flag 16550534/4841001
928.15/912.98	c cleaning 97999 clauses out of 196038 with flag 16805032/4940000
935.91/920.52	c cleaning 99001 clauses out of 198042 with flag 17104673/5040003
943.86/928.24	c cleaning 100003 clauses out of 200038 with flag 17325947/5141000
953.77/937.98	c cleaning 101005 clauses out of 202035 with flag 17550527/5243000
959.58/943.56	c cleaning 102007 clauses out of 204030 with flag 17825889/5346000
968.42/952.20	c cleaning 102998 clauses out of 206025 with flag 18148224/5450002
976.77/960.43	c cleaning 104004 clauses out of 208025 with flag 18387118/5555000
984.78/968.39	c cleaning 105003 clauses out of 210021 with flag 18619038/5661000
993.12/976.58	c cleaning 105996 clauses out of 212020 with flag 18851964/5768002
1002.24/985.57	c cleaning 106996 clauses out of 214024 with flag 19106438/5876002
1011.65/994.80	c cleaning 108004 clauses out of 216026 with flag 19345813/5985000
1017.30/1000.37	c cleaning 108997 clauses out of 218022 with flag 19612116/6095000
1024.52/1007.42	c cleaning 109999 clauses out of 220026 with flag 19834483/6206001
1031.11/1013.84	c cleaning 111007 clauses out of 222030 with flag 20058678/6318004
1037.70/1020.23	c cleaning 112000 clauses out of 224020 with flag 20284963/6431001
1044.37/1026.76	c cleaning 112999 clauses out of 226020 with flag 20513143/6545001
1050.46/1032.60	c cleaning 113998 clauses out of 228021 with flag 20761466/6660001
1057.64/1039.67	c cleaning 115001 clauses out of 230023 with flag 21053401/6776001
1065.89/1047.76	c cleaning 115996 clauses out of 232023 with flag 21326302/6893002
1075.87/1057.67	c cleaning 116995 clauses out of 234028 with flag 21609051/7011003
1083.76/1065.49	c cleaning 118005 clauses out of 236033 with flag 21884086/7130003
1093.54/1075.12	c cleaning 119007 clauses out of 238025 with flag 22177399/7250000
1101.72/1083.26	c cleaning 120001 clauses out of 240018 with flag 22453613/7371000
1117.88/1099.40	c cleaning 121000 clauses out of 242019 with flag 22722276/7493002
1125.26/1106.30	c cleaning 121998 clauses out of 244017 with flag 23050960/7616000
1132.06/1112.96	c cleaning 122995 clauses out of 246019 with flag 23381836/7740000
1140.20/1120.96	c cleaning 123999 clauses out of 248025 with flag 23774758/7865001
1151.25/1130.88	c cleaning 125006 clauses out of 250026 with flag 24210716/7991001
1159.97/1139.13	c cleaning 126000 clauses out of 252020 with flag 24614508/8118001
1170.12/1149.10	c cleaning 126998 clauses out of 254021 with flag 25005756/8246002
1180.43/1159.18	c cleaning 127992 clauses out of 256021 with flag 25378756/8375000
1187.23/1165.71	c cleaning 129008 clauses out of 258031 with flag 25709321/8505002
1196.40/1174.70	c cleaning 129991 clauses out of 260023 with flag 25998026/8636002
1213.43/1191.74	c cleaning 130996 clauses out of 262031 with flag 26310893/8768001
1229.95/1208.18	c cleaning 131997 clauses out of 264035 with flag 26635461/8901001
1246.39/1224.49	c cleaning 132993 clauses out of 266037 with flag 26961124/9035000
1262.53/1240.51	c cleaning 134003 clauses out of 268047 with flag 27289063/9170003
1279.75/1257.79	c cleaning 134999 clauses out of 270041 with flag 27618209/9306000
1290.29/1268.26	c cleaning 136010 clauses out of 272042 with flag 27945298/9443000
1298.92/1276.56	c cleaning 137013 clauses out of 274032 with flag 28309854/9581000
1307.16/1284.84	c cleaning 138000 clauses out of 276020 with flag 28588827/9720001
1314.82/1292.49	c cleaning 139000 clauses out of 278021 with flag 28868832/9860002
1330.77/1308.19	c cleaning 139992 clauses out of 280019 with flag 29374894/10001000
1338.98/1316.19	c cleaning 141004 clauses out of 282027 with flag 29708315/10143000
1351.14/1328.11	c cleaning 141987 clauses out of 284024 with flag 30049471/10286001
1369.10/1345.92	c cleaning 142998 clauses out of 286037 with flag 30354566/10430001
1383.18/1359.88	c cleaning 144009 clauses out of 288038 with flag 30675268/10575000
1393.78/1369.98	c cleaning 144998 clauses out of 290031 with flag 31018107/10721002
1413.02/1388.99	c cleaning 145995 clauses out of 292032 with flag 31361444/10868001
1436.14/1411.56	c cleaning 146999 clauses out of 294038 with flag 31711732/11016002
1458.60/1433.85	c cleaning 147996 clauses out of 296037 with flag 32059214/11165000
1487.75/1462.07	c cleaning 148995 clauses out of 298041 with flag 32424721/11315000
1512.46/1486.25	c cleaning 149995 clauses out of 300047 with flag 32786131/11466001
1532.00/1505.68	c cleaning 151006 clauses out of 302053 with flag 33139410/11618002
1555.68/1529.21	c cleaning 152006 clauses out of 304045 with flag 33498390/11771000
1574.07/1547.40	c cleaning 152992 clauses out of 306039 with flag 33898753/11925000
1585.23/1558.14	c cleaning 154007 clauses out of 308047 with flag 34312554/12080000
1596.02/1568.63	c cleaning 155013 clauses out of 310040 with flag 34718972/12236000
1616.96/1589.35	c cleaning 156010 clauses out of 312029 with flag 35118877/12393002
1628.35/1600.59	c cleaning 156996 clauses out of 314017 with flag 35478674/12551000
1641.19/1612.89	c cleaning 157993 clauses out of 316023 with flag 35888457/12710002
1651.97/1623.35	c cleaning 159003 clauses out of 318028 with flag 36252144/12870000
1666.43/1637.50	c cleaning 160006 clauses out of 320026 with flag 36635028/13031001
1681.72/1652.50	c cleaning 160992 clauses out of 322020 with flag 37144421/13193001
1704.59/1675.17	c cleaning 161994 clauses out of 324028 with flag 37496422/13356001
1718.73/1689.05	c cleaning 162999 clauses out of 326033 with flag 37849208/13520000
1739.29/1709.41	c cleaning 163998 clauses out of 328034 with flag 38204511/13685000
1759.70/1729.32	c cleaning 165002 clauses out of 330036 with flag 38566486/13851000
1782.76/1752.14	c cleaning 166002 clauses out of 332035 with flag 38927223/14018001
1801.47/1770.60	c cleaning 167002 clauses out of 334033 with flag 39300107/14186001
1822.45/1791.14	c cleaning 168005 clauses out of 336031 with flag 39667961/14355001
1844.88/1813.40	c cleaning 168994 clauses out of 338025 with flag 40036610/14525000
1868.52/1835.30	c cleaning 169998 clauses out of 340031 with flag 40400781/14696000
1891.91/1858.60	c cleaning 170997 clauses out of 342033 with flag 40768643/14868000
1914.89/1881.56	c cleaning 172003 clauses out of 344036 with flag 41137952/15041000
1936.77/1903.39	c cleaning 173000 clauses out of 346034 with flag 41510278/15215001
1960.75/1927.21	c cleaning 174002 clauses out of 348033 with flag 41884882/15390000
1982.96/1949.25	c cleaning 175000 clauses out of 350031 with flag 42274850/15566000
2005.73/1971.91	c cleaning 176004 clauses out of 352035 with flag 42657090/15743004
2031.18/1996.93	c cleaning 176996 clauses out of 354027 with flag 43047177/15921000
2057.25/2022.79	c cleaning 177999 clauses out of 356031 with flag 43438081/16100000
2068.02/2033.25	c cleaning 178983 clauses out of 358032 with flag 43918965/16280000
2080.35/2045.36	c cleaning 180010 clauses out of 360050 with flag 44329719/16461001
2090.28/2055.04	c cleaning 181009 clauses out of 362040 with flag 44785076/16643001
2102.33/2066.67	c cleaning 181998 clauses out of 364031 with flag 45265804/16826001
2111.88/2075.97	c cleaning 183006 clauses out of 366032 with flag 45691678/17010000
2124.78/2088.64	c cleaning 183999 clauses out of 368026 with flag 46165863/17195000
2137.21/2100.88	c cleaning 184996 clauses out of 370027 with flag 46683653/17381000
2152.33/2115.71	c cleaning 185999 clauses out of 372031 with flag 47150089/17568000
2182.33/2145.24	c cleaning 187005 clauses out of 374034 with flag 47558762/17756002
2194.65/2157.23	c cleaning 187994 clauses out of 376030 with flag 48064467/17945003
2206.09/2168.41	c cleaning 189002 clauses out of 378035 with flag 48519936/18135002
2218.22/2180.31	c cleaning 190007 clauses out of 380033 with flag 48996257/18326002
2234.83/2196.47	c cleaning 190999 clauses out of 382024 with flag 49563058/18518000
2251.00/2212.30	c cleaning 191999 clauses out of 384026 with flag 50045748/18711001
2266.08/2226.24	c cleaning 193012 clauses out of 386028 with flag 50568293/18905002
2287.69/2247.31	c cleaning 194003 clauses out of 388016 with flag 50988508/19100002
2298.71/2258.10	c cleaning 194992 clauses out of 390012 with flag 51431108/19296001
2315.83/2274.94	c cleaning 196000 clauses out of 392021 with flag 51825175/19493002
2331.93/2290.70	c cleaning 196998 clauses out of 394021 with flag 52229853/19691002
2345.02/2303.16	c cleaning 197997 clauses out of 396022 with flag 52719727/19890001
2358.11/2316.00	c cleaning 198994 clauses out of 398024 with flag 53157836/20090000
2371.10/2328.66	c cleaning 200000 clauses out of 400030 with flag 53582431/20291000
2374.40/2331.98	c SATISFIABLE
2374.40/2331.98	c OPTIMIZING...
2374.40/2331.98	c Got one! Elapsed wall clock time (in seconds):2331.671
2374.40/2331.99	o 32
2374.52/2332.02	c starts		: 8732
2374.52/2332.03	c conflicts		: 20345964
2374.52/2332.04	c decisions		: 32324324
2374.52/2332.04	c propagations		: 1371675333
2374.52/2332.04	c inspects		: 14219543231
2374.52/2332.04	c shortcuts		: 0
2374.52/2332.04	c learnt literals	: 0
2374.52/2332.04	c learnt binary clauses	: 0
2374.52/2332.04	c learnt ternary clauses	: 0
2374.52/2332.04	c learnt constraints	: 20345964
2374.52/2332.04	c ignored constraints	: 0
2374.52/2332.04	c root simplifications	: 0
2374.52/2332.04	c removed literals (reason simplification)	: 0
2374.52/2332.04	c reason swapping (by a shorter reason)	: 0
2374.52/2332.04	c Calls to reduceDB	: 197
2374.52/2332.04	c Number of update (reduction) of LBD	: 2080076
2374.52/2332.04	c Imported unit clauses	: 0
2374.52/2332.04	c No decision after first conflict	: false
2374.52/2332.04	c number of reductions to clauses (during analyze)	: 0
2374.52/2332.05	c number of learned constraints concerned by reduction	: 0
2374.52/2332.05	c number of learning phase by resolution	: 0
2374.52/2332.05	c number of learning phase by cutting planes	: 0
2374.52/2332.05	c number of rounding to 1 operations	: 0
2374.52/2332.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2374.52/2332.05	c number of reductions of the coefficients by power 2 	: 0
2374.52/2332.05	c number of right shift for reduction by power 2 	: 0
2374.52/2332.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
2374.52/2332.05	c number of ending skipping 	: 0
2374.52/2332.05	c number of internal skipping 	: 0
2374.52/2332.05	c number of derivation steps 	: 0
2374.52/2332.05	c number of skipped derivation steps 	: 0
2374.52/2332.05	c number of remaining unassigned 	: 0
2374.52/2332.05	c number of remaining assigned 	: 0
2374.52/2332.05	c number of falsified literals weakened from reason	: 0
2374.52/2332.05	c number of falsified literals weakened from conflict	: 0
2374.52/2332.05	c time for arithmetic operations	: 0
2374.52/2332.05	c minimum degree of deleted constraints	: null
2374.52/2332.05	c maximum degree of deleted constraints	: null
2374.52/2332.05	c number of deleted constraints	: 0
2374.52/2332.05	c speed (assignments/second)	: 588375.6015977407
2374.52/2332.05	c non guided choices	: 1656653
2374.68/2332.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 254994
2374.68/2332.12	s OPTIMUM FOUND
2374.68/2332.12	c Found 1 solution(s)
2374.68/2332.13	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 x2499 x2500 -x2501 x2502 x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 x3867 -x3868 -x3869 -x3870 -x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 -x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 x4372 -x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 x4650 -x4651 -x4652 -x4653 -x4654 -x4655 x4656 -x4657 -x4658 -x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 x5068 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 x5488 x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 x5519 -x5520 -x5521 x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 x5596 x5597 -x5598 -x5599 -x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 x5653 -x5654 -x5655 x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 x6212 -x6213 -x6214 -x6215 -x6216 x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 x6229 -x6230 -x6231 -x6232 x6233 x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 x6267 -x6268 -x6269 -x6270 -x6271 x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 x6440 -x6441 -x6442 -x6443 -x6444 x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 x6669 -x6670 -x6671 -x6672 -x6673 -x6674 x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 x6863 -x6864 x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 x7078 -x7079 -x7080 -x7081 x7082 -x7083 -x7084 x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 x7099 x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 x7273 -x7274 -x7275 -x7276 -x7277 -x7278 x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 x7419 -x7420 x7421 -x7422 x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 x7582 x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 x7687 -x7688 -x7689 -x7690 -x7691 x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 x7762 x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 x7781 -x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 x7850 -x7851 -x7852 -x7853 -x7854 x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 x8010 -x8011 -x8012 -x8013 x8014 -x8015 -x8016 -x8017 x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 x8401 -x8402 -x8403 x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 x8532 -x8533 x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 x8669 -x8670 -x8671 -x8672 -x8673 -x8674 x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 x9163 x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 x9339 -x9340 -x9341 -x9342 -x9343 x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 x9570 -x9571 -x9572 -x9573 -x9574 -x9575 x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 x9686 x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 x9845 -x9846 -x9847 -x9848 -x9849 x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 x9909 -x9910 -x9911 -x9912 -x9913 -x9914 x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 x10096 -x10097 -x10098 x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 x10115 -x10116 -x10117 x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 x10452 -x10453 -x10454 -x10455 -x10456 x10457 -x10458 x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 x10547 x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 x10732 -x10733 -x10734 x10735 -x10736 -x10737 -x10738 x10739 x10740 -x10741 -x10742 x10743 -x10744 -x10745 x10746 x10747 -x10748 -x10749 -x10750 -x10751 x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 x10769 -x10770 -x10771 -x10772 x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 x10882 -x10883 -x10884 -x10885 -x10886 -x10887 x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 x11268 -x11269 -x11270 x11271 x11272 x11273 -x11274 x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 x11386 -x11387 -x11388 -x11389 -x11390 -x11391 x11392 -x11393 -x11394 -x11395 -x11396 -x11397 x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 x11519 -x11520 -x11521 -x11522 x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 
2374.68/2332.13	c objective function=32
2374.68/2332.13	c Total wall clock time (in seconds): 2331.819

OK	32

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: 64059 MiB (60447 MiB free)
  memory of node 1: 64510 MiB (61606 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432535-1721175300/watcher-4432535-1721175300 -o /tmp/evaluation-result-4432535-1721175300/solver-4432535-1721175300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721175312-874322 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432535-1721175300.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.104698 s]*
/proc/loadavg: 1.09 2.26 3.30 16/312 874452
/proc/meminfo: memFree=124848020/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=18975048 memory=56000 CPUtime=0.14 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 6459 0 0 0 11 3 0 0 20 0 18 0 169686134 19430449152 14000 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4743762 14000 5653 1 0 550826 0
[pid=874385/tid=874388] ppid=874381 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 5374 0 0 0 7 2 0 0 20 0 18 0 169686135 19430449152 14000 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 14000 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=18975048 memory=15255952358280619 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169686142 19430449152 14000 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56000 KiB

[startup+0.217763 s]*
/proc/loadavg: 1.09 2.26 3.30 16/312 874452
/proc/meminfo: memFree=124822120/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=18975048 memory=62772 CPUtime=0.32 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 7130 0 0 0 28 4 0 0 20 0 18 0 169686134 19430449152 15693 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4743762 15693 5661 1 0 551362 0
[pid=874385/tid=874388] ppid=874381 vsize=18975048 memory=4782652875487838339 CPUtime=0.21 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 5689 0 0 0 18 3 0 0 20 0 18 0 169686135 19430449152 15693 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=18975048 memory=3711 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 15693 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169686142 19430449152 15693 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62772 KiB

[startup+0.321697 s]*
/proc/loadavg: 1.09 2.26 3.30 17/312 874452
/proc/meminfo: memFree=124792416/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=18975048 memory=66336 CPUtime=0.5 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 7404 0 0 0 45 5 0 0 20 0 18 0 169686134 19430449152 16584 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4743762 16584 5771 1 0 551560 0
[pid=874385/tid=874388] ppid=874381 vsize=18975048 memory=-9103295919907250876 CPUtime=0.29 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 5864 0 0 0 26 3 0 0 20 0 18 0 169686135 19430449152 16584 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 16584 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169686142 19430449152 16584 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66336 KiB

[startup+0.700359 s]
/proc/loadavg: 1.09 2.26 3.30 13/312 874452
/proc/meminfo: memFree=124670676/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=18975048 memory=137648 CPUtime=1.19 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 9296 0 0 0 111 8 0 0 20 0 18 0 169686134 19430449152 34412 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4743762 34412 5857 1 0 552772 0
[pid=874385/tid=874388] ppid=874381 vsize=18975048 memory=5616 CPUtime=0.61 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 5960 0 0 0 56 5 0 0 20 0 18 0 169686135 19430449152 34412 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=18975048 memory=11884 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 34412 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169686142 19430449152 34412 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 137648 KiB

[startup+1.50069 s]
/proc/loadavg: 1.09 2.26 3.30 13/317 874457
/proc/meminfo: memFree=124495312/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19041612 memory=166224 CPUtime=2.77 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 19102 0 0 0 267 10 0 0 20 0 19 0 169686134 19498610688 41556 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4760403 41556 5895 1 0 557399 0
[pid=874385/tid=874388] ppid=874381 vsize=19041612 memory=11884 CPUtime=1.32 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 6174 0 0 0 127 5 0 0 20 0 19 0 169686135 19498610688 41556 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169686141 19498610688 41556 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169686142 19498610688 41556 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169686211 19498610688 41556 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166224 KiB

[startup+3.11251 s]
/proc/loadavg: 1.56 2.34 3.32 8/320 874460
/proc/meminfo: memFree=124167700/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=204172 CPUtime=5.12 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 20633 0 0 0 500 12 0 0 20 0 20 0 169686134 19566772224 51043 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 51043 5927 1 0 557736 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=0 CPUtime=2.9 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 6833 0 0 0 284 6 0 0 20 0 20 0 169686135 19566772224 51043 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 51043 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 51043 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 51043 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204172 KiB

[startup+6.30041 s]
/proc/loadavg: 1.56 2.34 3.32 7/320 874462
/proc/meminfo: memFree=123615096/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=294716 CPUtime=9 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 22232 0 0 0 886 14 0 0 20 0 20 0 169686134 19566772224 73679 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 73679 5943 1 0 557739 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=0 CPUtime=5.9 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 6919 0 0 0 584 6 0 0 20 0 20 0 169686135 19566772224 73679 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 73679 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 73679 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=42360 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 73679 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 294716 KiB

[startup+12.7005 s]
/proc/loadavg: 1.76 2.37 3.32 9/320 874462
/proc/meminfo: memFree=122655440/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=507776 CPUtime=15.81 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 27127 0 0 0 1562 19 0 0 20 0 20 0 169686134 19566772224 126944 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 126944 5954 1 0 772871 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=140928 CPUtime=11.96 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 7672 0 0 0 1189 7 0 0 20 0 20 0 169686135 19566772224 126944 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=462720 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 126944 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=204172 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 126944 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 126944 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 15.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 507776 KiB

[startup+25.5005 s]
/proc/loadavg: 2.33 2.47 3.34 9/320 874465
/proc/meminfo: memFree=120434760/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=872608 CPUtime=29.05 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 29819 0 0 0 2878 27 0 0 20 0 20 0 169686134 19566772224 218152 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 218152 5954 1 0 772881 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=462720 CPUtime=24.29 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 8457 0 0 0 2421 8 0 0 20 0 20 0 169686135 19566772224 218152 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=727144 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 218152 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 218152 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 218152 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 29.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 872608 KiB

[startup+51.1128 s]
/proc/loadavg: 2.98 2.61 3.37 7/317 874470
/proc/meminfo: memFree=116823756/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=1513004 CPUtime=55.21 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 35764 0 0 0 5479 42 0 0 20 0 20 0 169686134 19566772224 378251 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 378251 5954 1 0 906570 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=1195324 CPUtime=49.22 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 10182 0 0 0 4912 10 0 0 20 0 20 0 169686135 19566772224 378251 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=1332572 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 378251 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 378251 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0

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

Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9012464 KiB

[startup+2322.3 s]
/proc/loadavg: 4.23 4.23 4.18 10/319 875499
/proc/meminfo: memFree=87052184/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=9012480 CPUtime=2364.83 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 205944 0 0 0 236155 328 0 0 20 0 20 0 169686134 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 2253120 5954 1 0 2267464 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=9012464 CPUtime=2268.69 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 42976 0 0 0 226817 52 0 0 20 0 20 0 169686135 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=3776 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=9012476 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 638 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=9012476 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2364.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9012480 KiB

[startup+2332.18 s]
# the end of solver process 874385 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2371.43 s, system=3.31978 s

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

[startup+2323.2 s]
/proc/loadavg: 4.23 4.23 4.18 9/319 875499
/proc/meminfo: memFree=87052200/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=9012480 CPUtime=2365.72 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 205962 0 0 0 236244 328 0 0 20 0 20 0 169686134 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 2253120 5954 1 0 2267464 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=11884 CPUtime=2269.58 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 42994 0 0 0 226906 52 0 0 20 0 20 0 169686135 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=9012476 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=9012476 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 638 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=9012476 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2365.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9012480 KiB

[startup+2326.4 s]
/proc/loadavg: 4.21 4.23 4.18 10/319 875501
/proc/meminfo: memFree=87052172/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=9012480 CPUtime=2368.91 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 205966 0 0 0 236563 328 0 0 20 0 20 0 169686134 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 2253120 5954 1 0 2267464 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=9012480 CPUtime=2272.76 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 42998 0 0 0 227224 52 0 0 20 0 20 0 169686135 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=16216 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 638 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=9012476 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2368.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9012480 KiB

[startup+2329.6 s]
/proc/loadavg: 4.20 4.22 4.18 9/319 875501
/proc/meminfo: memFree=87052180/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=9012480 CPUtime=2372.1 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 205967 0 0 0 236882 328 0 0 20 0 20 0 169686134 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 2253120 5954 1 0 2267464 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=42360 CPUtime=2275.96 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 42999 0 0 0 227544 52 0 0 20 0 20 0 169686135 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=9012480 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=40472 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 638 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2372.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9012480 KiB

[startup+2331.2 s]
/proc/loadavg: 4.20 4.22 4.18 9/319 875501
/proc/meminfo: memFree=87052172/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=9012480 CPUtime=2373.7 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 205967 0 0 0 237042 328 0 0 20 0 20 0 169686134 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 2253120 5954 1 0 2267464 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=5616 CPUtime=2277.55 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 42999 0 0 0 227703 52 0 0 20 0 20 0 169686135 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=16216 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 638 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=26108 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2373.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9012480 KiB

[startup+2331.6 s]
/proc/loadavg: 4.20 4.22 4.18 9/319 875501
/proc/meminfo: memFree=87052172/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19108176 memory=9012480 CPUtime=2374.1 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 205967 0 0 0 237082 328 0 0 20 0 20 0 169686134 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777044 2253120 5954 1 0 2267464 0
[pid=874385/tid=874388] ppid=874381 vsize=19108176 memory=1808 CPUtime=2277.95 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) R 874381 874385 871785 0 -1 4194368 42999 0 0 0 227743 52 0 0 20 0 20 0 169686135 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19108176 memory=32868 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19108176 memory=21440 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 638 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686211 19566772224 2253120 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2374.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9012480 KiB

[startup+2332 s]*
/proc/loadavg: 4.20 4.22 4.18 8/320 875502
/proc/meminfo: memFree=87052004/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19109204 memory=9012764 CPUtime=2374.52 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 207762 0 0 0 237124 328 0 0 20 0 21 0 169686134 19567824896 2253191 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4777301 2253191 5953 1 0 2267804 0
[pid=874385/tid=874388] ppid=874381 vsize=19109204 memory=-9103295919907250876 CPUtime=2278.34 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) S 874381 874385 871785 0 -1 1077936192 44086 0 0 0 227782 52 0 0 20 0 21 0 169686135 19567824896 2253191 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19109204 memory=-8621784606502011033 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169686141 19567824896 2253191 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19109204 memory=21440 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 638 0 0 0 0 0 0 0 20 0 21 0 169686142 19567824896 2253191 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874456] ppid=874381 vsize=19109204 memory=100 CPUtime=0 cores=4,6
/proc/874385/task/874456/stat : 874456 (Timer-0) S 874381 874385 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 169686211 19567824896 2253191 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=875502] ppid=874381 vsize=19109204 memory=2312 CPUtime=0 cores=4,6
/proc/874385/task/875502/stat : 875502 (java) R 874381 874385 871785 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 21 0 169919334 19567824896 2253191 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2374.52 s
Current children cumulated vsize: 19109204 KiB
Current children cumulated memory: 9012764 KiB

[startup+2332.12 s]
/proc/loadavg: 4.20 4.22 4.18 8/320 875502
/proc/meminfo: memFree=87052004/131655788 swapFree=131071996/131071996
[pid=874385] ppid=874381 vsize=19241304 memory=9013064 CPUtime=2374.68 cores=4,6
/proc/874385/stat : 874385 (java) S 874381 874385 871785 0 -1 1077936128 208187 0 0 0 237140 328 0 0 20 0 20 0 169686134 19703095296 2253266 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
/proc/874385/statm: 4810326 2253266 5953 1 0 2268152 0
[pid=874385/tid=874388] ppid=874381 vsize=19241304 memory=3776 CPUtime=2278.34 cores=4,6
/proc/874385/task/874388/stat : 874388 (java) S 874381 874385 871785 0 -1 1077936192 44091 0 0 0 227782 52 0 0 20 0 20 0 169686135 19703095296 2253266 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874437] ppid=874381 vsize=19241304 memory=9012476 CPUtime=0 cores=4,6
/proc/874385/task/874437/stat : 874437 (Finalizer) S 874381 874385 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19703095296 2253266 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=874452] ppid=874381 vsize=19241304 memory=9012472 CPUtime=0 cores=4,6
/proc/874385/task/874452/stat : 874452 (Common-Cleaner) S 874381 874385 871785 0 -1 1077936192 638 0 0 0 0 0 0 0 20 0 20 0 169686142 19703095296 2253266 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
[pid=874385/tid=875502] ppid=874381 vsize=19241304 memory=32256 CPUtime=0.08 cores=4,6
/proc/874385/task/875502/stat : 875502 (Thread-0) R 874381 874385 871785 0 -1 4194368 202 0 0 0 8 0 0 0 20 0 20 0 169919334 19703095296 2253266 134679101440 94430792044544 94430792048240 140731997505856 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94430792056056 94430792056848 94430797647872 140731997512711 140731997512801 140731997512801 140731997519816 0
Current children cumulated CPU time: 2374.68 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 9013064 KiB

Child status: 30

Real time (s): 2332.18
CPU time (s): 2374.75
CPU user time (s): 2371.43
CPU system time (s): 3.31978
CPU usage (%): 101.825
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 9013064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2371.43
system time used= 3.31978
maximum resident set size= 9014172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79726
involuntary context switches= 9820


# summary of solver processes directly reported to runsolver:
#   pid: 874385
#   total CPU time (s): 2374.75
#   total CPU user time (s): 2371.43
#   total CPU system time (s): 3.31978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4497 second user time and 20.6426 second system time

The end

Begin job on nodeC003 at 2024-07-17 02:15:12
IDJOB=4432535
IDBENCH=158625
IDSOLVER=3058
FILE ID=nodeC003/4432535-1721175300
RUNJOBID= nodeC003-1721175312-874322
SLURM_JOB_ID= 7505806
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432535-1721175300/watcher-4432535-1721175300 -o /tmp/evaluation-result-4432535-1721175300/solver-4432535-1721175300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721175312-874322 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432535-1721175300.opb

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

MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=1164166739

nodeC003.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	: 0xb00001f
cpu MHz		: 1197.224
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 3491.899
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.222
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.217
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.219
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.218
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.226
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.227
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124988312 kB
MemAvailable:   129860708 kB
Buffers:          444624 kB
Cached:          5208812 kB
SwapCached:            0 kB
Active:           772032 kB
Inactive:        5232432 kB
Active(anon):       1364 kB
Inactive(anon):   387036 kB
Active(file):     770668 kB
Inactive(file):  4845396 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:        350708 kB
Mapped:           104624 kB
Shmem:             37704 kB
KReclaimable:     192728 kB
Slab:             303368 kB
SReclaimable:     192728 kB
SUnreclaim:       110640 kB
KernelStack:        3748 kB
PageTables:         9720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     741704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-17 02:54:05