0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432252-1721089913.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
2.54/1.60	c ... done. Wall clock time 1.469s.
2.54/1.60	c declared #vars     10000
2.54/1.60	c #constraints  656900
2.54/1.60	c constraints type 
2.54/1.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.54/1.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.54/1.60	c 656900 constraints processed.
2.54/1.61	c objective function length is 10000 literals
2.93/1.87	c SATISFIABLE
2.93/1.87	c OPTIMIZING...
2.93/1.88	c Got one! Elapsed wall clock time (in seconds):1.754
2.93/1.88	o 1279
3.34/2.07	c Got one! Elapsed wall clock time (in seconds):1.939
3.34/2.07	o 1156
3.93/2.34	c Got one! Elapsed wall clock time (in seconds):2.214
3.93/2.34	o 1124
4.14/2.42	c Got one! Elapsed wall clock time (in seconds):2.301
4.14/2.42	o 1104
4.14/2.48	c Got one! Elapsed wall clock time (in seconds):2.362
4.14/2.48	o 779
5.99/3.63	c cleaning 2856 clauses out of 5712 with flag 13547/5712
7.68/5.14	c cleaning 4427 clauses out of 8856 with flag 31081/11712
9.46/6.85	c cleaning 5700 clauses out of 11429 with flag 51580/18712
11.62/8.92	c cleaning 6865 clauses out of 13729 with flag 73635/26712
13.82/11.11	c cleaning 7929 clauses out of 15865 with flag 103156/35713
16.21/13.45	c cleaning 8966 clauses out of 17935 with flag 133476/45712
18.70/15.97	c cleaning 9975 clauses out of 19971 with flag 165386/56714
21.70/18.92	c cleaning 10988 clauses out of 21994 with flag 200868/68712
25.25/22.32	c cleaning 11997 clauses out of 24007 with flag 242973/81713
28.73/25.90	c cleaning 13005 clauses out of 26009 with flag 286843/95712
32.89/30.01	c cleaning 13991 clauses out of 28004 with flag 339033/110712
37.21/34.25	c cleaning 15001 clauses out of 30015 with flag 389457/126714
41.60/38.65	c cleaning 15995 clauses out of 32014 with flag 444046/143714
46.42/43.33	c cleaning 16997 clauses out of 34017 with flag 501183/161712
51.08/48.08	c cleaning 18004 clauses out of 36020 with flag 560979/180712
56.14/53.17	c cleaning 19005 clauses out of 38017 with flag 628810/200713
61.92/58.88	c cleaning 20006 clauses out of 40015 with flag 698394/221716
67.68/64.45	c cleaning 21000 clauses out of 42005 with flag 761421/243712
73.57/70.32	c cleaning 22000 clauses out of 44005 with flag 828071/266712
80.32/76.94	c cleaning 22994 clauses out of 46005 with flag 898111/290712
86.61/83.27	c cleaning 23997 clauses out of 48011 with flag 972932/315712
93.43/89.94	c cleaning 25006 clauses out of 50014 with flag 1051746/341712
100.60/96.97	c cleaning 25989 clauses out of 52009 with flag 1133172/368713
107.71/103.97	c cleaning 27009 clauses out of 54019 with flag 1217633/396712
115.15/111.43	c cleaning 28007 clauses out of 56013 with flag 1304503/425715
123.17/119.49	c cleaning 28992 clauses out of 58006 with flag 1397455/455715
131.08/127.23	c cleaning 30004 clauses out of 60011 with flag 1492209/486712
139.64/135.61	c cleaning 31001 clauses out of 62007 with flag 1589959/518712
148.25/144.11	c cleaning 31997 clauses out of 64006 with flag 1693699/551712
157.07/152.86	c cleaning 32987 clauses out of 66009 with flag 1801446/585712
167.16/162.11	c cleaning 34000 clauses out of 68022 with flag 1918175/620712
177.25/172.13	c cleaning 35009 clauses out of 70027 with flag 2036475/656717
181.61/176.53	c Got one! Elapsed wall clock time (in seconds):176.407
181.61/176.53	o 777
183.41/178.27	c cleaning 27957 clauses out of 55913 with flag 14358/677612
185.76/180.45	c cleaning 16978 clauses out of 33956 with flag 33424/683612
188.21/182.81	c cleaning 11985 clauses out of 23978 with flag 57787/690612
190.70/185.34	c cleaning 9993 clauses out of 19992 with flag 82826/698611
193.60/188.25	c cleaning 9495 clauses out of 18999 with flag 111779/707611
196.91/191.43	c cleaning 9751 clauses out of 19505 with flag 145219/717612
200.40/194.90	c cleaning 10366 clauses out of 20753 with flag 181503/728611
204.20/198.71	c cleaning 11194 clauses out of 22387 with flag 222572/740611
208.42/202.86	c cleaning 12082 clauses out of 24195 with flag 265797/753613
212.62/207.02	c cleaning 13041 clauses out of 26112 with flag 313431/767612
217.73/212.00	c cleaning 14031 clauses out of 28070 with flag 365845/782611
222.91/217.24	c cleaning 15020 clauses out of 30040 with flag 423121/798612
228.44/222.66	c cleaning 15999 clauses out of 32019 with flag 480640/815611
234.11/228.31	c cleaning 17003 clauses out of 34020 with flag 542678/833611
240.40/234.64	c cleaning 18003 clauses out of 36018 with flag 609843/852612
247.43/241.55	c cleaning 19007 clauses out of 38016 with flag 686996/872613
254.97/248.97	c cleaning 20001 clauses out of 40007 with flag 764824/893611
262.16/256.15	c cleaning 21003 clauses out of 42008 with flag 842649/915613
270.06/263.96	c cleaning 21996 clauses out of 44003 with flag 930268/938611
279.00/272.77	c cleaning 23004 clauses out of 46008 with flag 1020724/962612
287.68/281.45	c cleaning 24002 clauses out of 48004 with flag 1112152/987612
297.00/290.60	c cleaning 24992 clauses out of 50001 with flag 1208050/1013611
306.76/300.23	c cleaning 25999 clauses out of 52009 with flag 1309517/1040611
316.93/309.65	c cleaning 26996 clauses out of 54011 with flag 1412295/1068612
327.57/320.22	c cleaning 28001 clauses out of 56016 with flag 1517784/1097613
337.75/330.44	c cleaning 29001 clauses out of 58016 with flag 1629925/1127614
348.79/341.31	c cleaning 29994 clauses out of 60012 with flag 1745007/1158611
359.92/352.35	c cleaning 30991 clauses out of 62018 with flag 1867529/1190611
371.87/364.13	c cleaning 32000 clauses out of 64028 with flag 2004299/1223612
384.72/376.94	c cleaning 33002 clauses out of 66028 with flag 2134823/1257612
397.70/389.88	c cleaning 34006 clauses out of 68025 with flag 2259549/1292611
411.04/403.03	c cleaning 35002 clauses out of 70021 with flag 2388679/1328613
424.77/416.65	c cleaning 36008 clauses out of 72017 with flag 2526403/1365611
438.18/429.90	c cleaning 36996 clauses out of 74010 with flag 2674015/1403612
452.19/443.85	c cleaning 37999 clauses out of 76013 with flag 2826921/1442611
467.25/458.76	c cleaning 38999 clauses out of 78014 with flag 2989844/1482611
482.00/472.66	c cleaning 40006 clauses out of 80016 with flag 3150329/1523612
496.42/486.94	c cleaning 40996 clauses out of 82010 with flag 3327753/1565612
512.26/502.67	c cleaning 41992 clauses out of 84014 with flag 3510178/1608612
528.62/518.61	c cleaning 43005 clauses out of 86021 with flag 3694053/1652611
544.77/534.61	c cleaning 43991 clauses out of 88016 with flag 3880182/1697611
561.16/550.97	c cleaning 44996 clauses out of 90026 with flag 4068093/1743612
578.85/568.32	c cleaning 45996 clauses out of 92029 with flag 4270779/1790611
596.67/586.04	c cleaning 47015 clauses out of 94037 with flag 4473357/1838615
615.04/604.31	c cleaning 48008 clauses out of 96018 with flag 4678218/1887611
634.89/623.85	c cleaning 48998 clauses out of 98010 with flag 4879096/1937611
653.74/642.61	c cleaning 49998 clauses out of 100012 with flag 5085593/1988611
674.53/663.03	c cleaning 50998 clauses out of 102014 with flag 5308203/2040611
694.18/682.41	c cleaning 51991 clauses out of 104017 with flag 5527414/2093612
714.76/702.75	c cleaning 53012 clauses out of 106027 with flag 5746978/2147613
737.30/724.34	c cleaning 54007 clauses out of 108014 with flag 5963801/2202612
759.98/746.71	c cleaning 55004 clauses out of 110007 with flag 6178339/2258612
781.64/768.25	c cleaning 55989 clauses out of 112003 with flag 6410319/2315612
804.44/790.71	c cleaning 57004 clauses out of 114013 with flag 6644100/2373611
825.67/811.88	c cleaning 57987 clauses out of 116009 with flag 6879495/2432611
849.78/835.75	c cleaning 59008 clauses out of 118024 with flag 7118611/2492613
873.13/858.93	c cleaning 60006 clauses out of 120014 with flag 7367856/2553611
898.23/883.84	c cleaning 60995 clauses out of 122008 with flag 7630531/2615611
923.29/908.69	c cleaning 62007 clauses out of 124013 with flag 7904383/2678611
947.00/932.06	c cleaning 62993 clauses out of 126007 with flag 8147158/2742612
969.90/954.86	c cleaning 63994 clauses out of 128014 with flag 8404982/2807612
995.90/980.34	c cleaning 64996 clauses out of 130019 with flag 8692883/2873611
1022.05/1006.25	c cleaning 65995 clauses out of 132023 with flag 8971434/2940611
1050.64/1032.85	c cleaning 67010 clauses out of 134028 with flag 9249845/3008611
1075.92/1058.00	c cleaning 68008 clauses out of 136018 with flag 9534634/3077611
1101.92/1083.75	c cleaning 68987 clauses out of 138010 with flag 9813931/3147611
1127.03/1108.67	c cleaning 70005 clauses out of 140024 with flag 10105724/3218612
1153.03/1134.19	c cleaning 70996 clauses out of 142018 with flag 10396687/3290611
1181.05/1162.05	c cleaning 72005 clauses out of 144023 with flag 10709929/3363612
1209.62/1190.39	c cleaning 72998 clauses out of 146017 with flag 11028226/3437611
1239.75/1220.15	c cleaning 74001 clauses out of 148019 with flag 11356589/3512611
1269.12/1249.43	c cleaning 75003 clauses out of 150021 with flag 11682162/3588614
1298.60/1278.69	c cleaning 76005 clauses out of 152016 with flag 12010308/3665612
1329.51/1309.32	c cleaning 76996 clauses out of 154010 with flag 12348059/3743611
1359.78/1339.15	c cleaning 77996 clauses out of 156014 with flag 12686545/3822611
1390.71/1369.56	c cleaning 79009 clauses out of 158018 with flag 13023124/3902611
1422.96/1401.53	c cleaning 80004 clauses out of 160010 with flag 13330920/3983612
1458.86/1435.88	c cleaning 81003 clauses out of 162005 with flag 13646819/4065611
1494.29/1471.08	c cleaning 81996 clauses out of 164002 with flag 13975560/4148611
1530.54/1506.91	c cleaning 82992 clauses out of 166008 with flag 14300712/4232613
1567.90/1543.81	c cleaning 84007 clauses out of 168014 with flag 14659802/4317611
1603.16/1578.51	c cleaning 84993 clauses out of 170008 with flag 14991971/4403612
1635.27/1610.45	c cleaning 86000 clauses out of 172014 with flag 15320305/4490611
1672.31/1647.19	c cleaning 87007 clauses out of 174014 with flag 15671929/4578611
1711.72/1686.14	c cleaning 87989 clauses out of 176007 with flag 16039071/4667611
1749.09/1723.38	c cleaning 89007 clauses out of 178018 with flag 16418639/4757611
1784.58/1758.30	c cleaning 89990 clauses out of 180011 with flag 16775357/4848611
1824.14/1797.39	c cleaning 90999 clauses out of 182023 with flag 17168737/4940613
1860.69/1833.34	c cleaning 92007 clauses out of 184022 with flag 17551940/5033611
1900.82/1871.57	c cleaning 92998 clauses out of 186015 with flag 17942248/5127611
1939.17/1909.26	c cleaning 94003 clauses out of 188017 with flag 18334499/5222611
1976.25/1945.63	c cleaning 95001 clauses out of 190014 with flag 18714496/5318611
2012.14/1981.34	c cleaning 96007 clauses out of 192014 with flag 19096768/5415612
2051.48/2020.07	c cleaning 96996 clauses out of 194007 with flag 19486968/5513612
2088.06/2056.33	c cleaning 98001 clauses out of 196011 with flag 19886737/5612612
2126.99/2094.75	c cleaning 99002 clauses out of 198009 with flag 20268016/5712611
2167.07/2134.06	c cleaning 100002 clauses out of 200007 with flag 20653341/5813611
2209.77/2176.49	c cleaning 100990 clauses out of 202006 with flag 21060363/5915612
2250.11/2216.28	c cleaning 101975 clauses out of 204015 with flag 21475618/6018611
2288.23/2254.11	c cleaning 103005 clauses out of 206042 with flag 21873870/6122613
2329.75/2295.06	c cleaning 104009 clauses out of 208036 with flag 22295180/6227612
2372.02/2336.57	c cleaning 105010 clauses out of 210026 with flag 22703373/6333611
2416.05/2380.37	c cleaning 106009 clauses out of 212020 with flag 23123857/6440615
2460.23/2423.96	c cleaning 106974 clauses out of 214009 with flag 23547699/6548613
2502.97/2464.34	c cleaning 107986 clauses out of 216033 with flag 23991570/6657611
2544.59/2505.71	c cleaning 108999 clauses out of 218047 with flag 24416322/6767611
2590.63/2550.50	c cleaning 110007 clauses out of 220048 with flag 24867193/6878611
2634.01/2593.90	c cleaning 110999 clauses out of 222041 with flag 25329490/6990611
2676.53/2635.73	c cleaning 112017 clauses out of 224046 with flag 25758101/7103615
2721.39/2680.45	c cleaning 113005 clauses out of 226026 with flag 26196670/7217612
2767.73/2726.26	c cleaning 114008 clauses out of 228020 with flag 26642756/7332611
2817.06/2775.28	c cleaning 114988 clauses out of 230013 with flag 27113428/7448612
2861.90/2819.46	c cleaning 115996 clauses out of 232024 with flag 27568579/7565611
2908.30/2865.51	c cleaning 117002 clauses out of 234028 with flag 28030728/7683611
2954.16/2910.78	c cleaning 117991 clauses out of 236028 with flag 28493350/7802613
3000.73/2957.29	c cleaning 118997 clauses out of 238036 with flag 28982521/7922612
3049.74/3005.86	c cleaning 120011 clauses out of 240038 with flag 29477889/8043611
3097.21/3050.66	c cleaning 120989 clauses out of 242028 with flag 29984762/8165612
3149.09/3101.91	c cleaning 122008 clauses out of 244038 with flag 30497612/8288611
3198.67/3150.79	c cleaning 122986 clauses out of 246031 with flag 31013481/8412612
3249.07/3200.63	c cleaning 124001 clauses out of 248044 with flag 31537166/8537611
3303.04/3253.89	c cleaning 125012 clauses out of 250044 with flag 32052998/8663612
3355.61/3305.59	c cleaning 126008 clauses out of 252032 with flag 32565981/8790612
3412.00/3360.77	c cleaning 127008 clauses out of 254023 with flag 33115847/8918611
3466.22/3414.16	c cleaning 127995 clauses out of 256015 with flag 33673120/9047611
3520.31/3467.40	c cleaning 129003 clauses out of 258020 with flag 34221599/9177611
3578.51/3521.42	c cleaning 130001 clauses out of 260019 with flag 34791587/9308613
3600.09/3542.72	c starts		: 22
3600.09/3542.72	c conflicts		: 9362972
3600.09/3542.72	c decisions		: 24770967
3600.09/3542.72	c propagations		: 2300126427
3600.09/3542.72	c inspects		: 4107290680
3600.09/3542.72	c shortcuts		: 0
3600.09/3542.72	c learnt literals	: 0
3600.09/3542.72	c learnt binary clauses	: 0
3600.09/3542.72	c learnt ternary clauses	: 0
3600.09/3542.72	c learnt constraints	: 9362972
3600.09/3542.72	c ignored constraints	: 0
3600.09/3542.72	c root simplifications	: 0
3600.09/3542.72	c removed literals (reason simplification)	: 0
3600.09/3542.72	c reason swapping (by a shorter reason)	: 0
3600.09/3542.73	c Calls to reduceDB	: 159
3600.09/3542.73	c Number of update (reduction) of LBD	: 3029034
3600.09/3542.73	c Imported unit clauses	: 0
3600.09/3542.73	c No decision after first conflict	: false
3600.09/3542.73	c number of reductions to clauses (during analyze)	: 0
3600.09/3542.73	c number of learned constraints concerned by reduction	: 0
3600.09/3542.73	c number of learning phase by resolution	: 0
3600.09/3542.73	c number of learning phase by cutting planes	: 0
3600.09/3542.73	c number of rounding to 1 operations	: 0
3600.09/3542.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3542.73	c number of reductions of the coefficients by power 2 	: 0
3600.09/3542.73	c number of right shift for reduction by power 2 	: 0
3600.09/3542.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3542.73	c number of ending skipping 	: 0
3600.09/3542.73	c number of internal skipping 	: 0
3600.09/3542.73	c number of derivation steps 	: 0
3600.09/3542.73	c number of skipped derivation steps 	: 0
3600.09/3542.73	c number of remaining unassigned 	: 0
3600.09/3542.73	c number of remaining assigned 	: 0
3600.09/3542.73	c number of falsified literals weakened from reason	: 0
3600.09/3542.73	c number of falsified literals weakened from conflict	: 0
3600.09/3542.73	c time for arithmetic operations	: 0
3600.09/3542.73	c minimum degree of deleted constraints	: null
3600.09/3542.73	c maximum degree of deleted constraints	: null
3600.09/3542.73	c number of deleted constraints	: 0
3600.09/3542.75	c speed (assignments/second)	: 649551.3899635706
3600.09/3542.75	c non guided choices	: 2
3600.29/3542.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 184377
3600.29/3542.82	s SATISFIABLE
3600.29/3542.82	c Found 6 solution(s)
3600.29/3542.83	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 x5940 -x5941 x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 x8905 -x8906 x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
3600.29/3542.85	c objective function=777
3600.29/3542.85	c Total wall clock time (in seconds): 3542.726

OK	777

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.102544 s]*
/proc/loadavg: 4.59 4.30 4.25 5/334 826361
/proc/meminfo: memFree=120645788/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=18975048 memory=63320 CPUtime=0.13 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 7219 0 0 0 12 1 0 0 20 0 18 0 161151534 19430449152 15830 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4743762 15830 5691 1 0 549339 0
[pid=826343/tid=826345] ppid=826340 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) S 826340 826343 822101 0 -1 1077936192 5748 0 0 0 7 1 0 0 20 0 18 0 161151534 19430449152 15830 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161151537 19430449152 15830 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161151537 19430449152 15830 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63320 KiB

[startup+0.207953 s]*
/proc/loadavg: 4.59 4.30 4.25 6/334 826361
/proc/meminfo: memFree=120614600/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=18975048 memory=88320 CPUtime=0.33 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 8616 0 0 0 31 2 0 0 20 0 18 0 161151534 19430449152 22080 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4743762 22080 5845 1 0 550320 0
[pid=826343/tid=826345] ppid=826340 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 5895 0 0 0 17 1 0 0 20 0 18 0 161151534 19430449152 22080 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=18975048 memory=16967 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161151537 19430449152 22080 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=18975048 memory=16097074391287456 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161151537 19430449152 22080 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 88320 KiB

[startup+0.314585 s]*
/proc/loadavg: 4.59 4.30 4.25 7/334 826361
/proc/meminfo: memFree=120564332/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=18975048 memory=132156 CPUtime=0.54 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 9646 0 0 0 51 3 0 0 20 0 18 0 161151534 19430449152 33039 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4743762 33039 5845 1 0 550890 0
[pid=826343/tid=826345] ppid=826340 vsize=18975048 memory=-9176479405345972924 CPUtime=0.29 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 5917 0 0 0 27 2 0 0 20 0 18 0 161151534 19430449152 33039 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161151537 19430449152 33039 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161151537 19430449152 33039 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 132156 KiB

[startup+0.705584 s]
/proc/loadavg: 4.59 4.30 4.25 6/335 826362
/proc/meminfo: memFree=120515952/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19041612 memory=195860 CPUtime=1.28 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 16609 0 0 0 123 5 0 0 20 0 19 0 161151534 19498610688 48965 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4760403 48965 5845 1 0 555536 0
[pid=826343/tid=826345] ppid=826340 vsize=19041612 memory=5448 CPUtime=0.62 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 5935 0 0 0 59 3 0 0 20 0 19 0 161151534 19498610688 48965 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19041612 memory=12740 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161151537 19498610688 48965 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 161151537 19498610688 48965 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 195860 KiB

[startup+1.50026 s]
/proc/loadavg: 4.59 4.30 4.25 6/335 826362
/proc/meminfo: memFree=120419376/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19041612 memory=435848 CPUtime=2.41 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 17780 0 0 0 230 11 0 0 20 0 19 0 161151534 19498610688 108962 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4760403 108962 5877 1 0 850061 0
[pid=826343/tid=826345] ppid=826340 vsize=19041612 memory=12740 CPUtime=1.28 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 6033 0 0 0 121 7 0 0 20 0 19 0 161151534 19498610688 108962 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161151537 19498610688 108962 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 161151537 19498610688 108962 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 435848 KiB

[startup+3.1056 s]
/proc/loadavg: 4.78 4.35 4.27 6/336 826363
/proc/meminfo: memFree=119948040/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=521576 CPUtime=5.32 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 19713 0 0 0 519 13 0 0 20 0 20 0 161151534 19566772224 130394 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 130394 5929 1 0 1498918 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=198340509722 CPUtime=2.76 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 6214 0 0 0 268 8 0 0 20 0 20 0 161151534 19566772224 130394 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 130394 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 130394 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=448424 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 130394 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 521576 KiB

[startup+6.30025 s]
/proc/loadavg: 4.78 4.35 4.27 6/336 826363
/proc/meminfo: memFree=119621552/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=605660 CPUtime=8.96 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 19897 0 0 0 880 16 0 0 20 0 20 0 161151534 19566772224 151415 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 151415 5929 1 0 1498966 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=0 CPUtime=5.95 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 6307 0 0 0 585 10 0 0 20 0 20 0 161151534 19566772224 151415 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 151415 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=449456 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 151415 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=593372 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 151415 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 605660 KiB

[startup+12.7003 s]
/proc/loadavg: 4.81 4.37 4.28 6/336 826365
/proc/meminfo: memFree=118952112/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=870292 CPUtime=15.51 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 25177 0 0 0 1530 21 0 0 20 0 20 0 161151534 19566772224 217573 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 217573 5961 1 0 1498975 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=741112 CPUtime=12.22 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 7148 0 0 0 1210 12 0 0 20 0 20 0 161151534 19566772224 217573 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 217573 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=6085036466925822803 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 217573 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 217573 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 15.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 870292 KiB

[startup+25.5006 s]
/proc/loadavg: 4.69 4.36 4.27 6/336 826366
/proc/meminfo: memFree=118042612/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=1071068 CPUtime=28.43 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 28346 0 0 0 2817 26 0 0 20 0 20 0 161151534 19566772224 267767 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 267767 5961 1 0 1498993 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=6085036466925822803 CPUtime=24.79 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 7897 0 0 0 2467 12 0 0 20 0 20 0 161151534 19566772224 267767 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 267767 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=21244 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 267767 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=-9176479405345972924 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 267767 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 28.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1071068 KiB

[startup+51.1066 s]
/proc/loadavg: 4.65 4.37 4.28 6/336 826371
/proc/meminfo: memFree=116114892/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=1417240 CPUtime=54.16 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 33279 0 0 0 5383 33 0 0 20 0 20 0 161151534 19566772224 354310 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 354310 5961 1 0 1498993 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=1417240 CPUtime=49.82 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 9415 0 0 0 4970 12 0 0 20 0 20 0 161151534 19566772224 354310 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 354310 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 354310 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 354310 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0

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

/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 90486 0 0 0 315766 73 0 0 20 0 20 0 161151534 19566772224 3712253 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=14849012 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712253 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=14849012 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 1633 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712253 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=14849012 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 3712253 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 3271.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14849012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.32 4.28 5/334 827935
/proc/meminfo: memFree=64609852/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=14849048 CPUtime=3331.93 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 364935 0 0 0 332796 397 0 0 20 0 20 0 161151534 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 3712262 5993 1 0 4087919 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=14849048 CPUtime=3217.05 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 92090 0 0 0 321632 73 0 0 20 0 20 0 161151534 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=14849048 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=14849048 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 1633 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=16028 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 3331.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14849048 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.31 4.28 6/335 827948
/proc/meminfo: memFree=64609216/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=14849048 CPUtime=3393.21 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 367944 0 0 0 338923 398 0 0 20 0 20 0 161151534 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 3712262 5993 1 0 4087919 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=14849048 CPUtime=3275.41 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 94063 0 0 0 327467 74 0 0 20 0 20 0 161151534 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=14849048 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=14849048 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 1680 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=14849048 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14849048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.28 4.27 5/336 828129
/proc/meminfo: memFree=64603864/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=14849048 CPUtime=3453.9 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 369456 0 0 0 344991 399 0 0 20 0 20 0 161151534 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 3712262 5993 1 0 4087919 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=68 CPUtime=3334.15 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 95047 0 0 0 333341 74 0 0 20 0 20 0 161151534 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=14849012 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=14849048 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 1680 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=41832 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 3712262 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 3453.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14849048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.24 4.26 6/336 828139
/proc/meminfo: memFree=64603380/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=14849056 CPUtime=3515.25 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 375270 0 0 0 351124 401 0 0 20 0 20 0 161151534 19566772224 3712264 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 3712264 5993 1 0 4087919 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=14849012 CPUtime=3392.41 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 96275 0 0 0 339167 74 0 0 20 0 20 0 161151534 19566772224 3712264 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=14849048 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712264 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=14849048 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 1832 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3712264 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=14849056 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 3712264 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 3515.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14849056 KiB

[startup+3522.3 s]
/proc/loadavg: 3.56 4.08 4.20 3/284 828275
/proc/meminfo: memFree=94319412/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=14933072 CPUtime=3579.4 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 398120 0 0 0 357533 407 0 0 20 0 20 0 161151534 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 3733268 5993 1 0 4089475 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=14849056 CPUtime=3451.05 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 102720 0 0 0 345030 75 0 0 20 0 20 0 161151534 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=14849056 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=14849056 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 1832 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 3579.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14933072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3542.7 s]
/proc/loadavg: 3.19 3.96 4.16 3/284 828278
/proc/meminfo: memFree=94319172/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19108176 memory=14933072 CPUtime=3600.09 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 398833 0 0 0 359601 408 0 0 20 0 20 0 161151534 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4777044 3733268 5993 1 0 4089475 0
[pid=826343/tid=826345] ppid=826340 vsize=19108176 memory=41832 CPUtime=3471.08 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 103244 0 0 0 347033 75 0 0 20 0 20 0 161151534 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19108176 memory=5448 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19108176 memory=14933072 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 1832 0 0 0 0 0 0 0 20 0 20 0 161151537 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826363] ppid=826340 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/826343/task/826363/stat : 826363 (Timer-0) S 826340 826343 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151696 19566772224 3733268 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14933072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.32 s, system=4.12607 s

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

[startup+3542.8 s]
/proc/loadavg: 3.19 3.96 4.16 3/284 828278
/proc/meminfo: memFree=94319172/131524600 swapFree=131071996/131071996
[pid=826343] ppid=826340 vsize=19307868 memory=14933676 CPUtime=3600.29 cores=5,7
/proc/826343/stat : 826343 (java) S 826340 826343 822101 0 -1 1077936128 400715 0 0 0 359621 408 0 0 20 0 21 0 161151534 19771256832 3733419 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
/proc/826343/statm: 4826967 3733419 5992 1 0 4090364 0
[pid=826343/tid=826345] ppid=826340 vsize=19307868 memory=12740 CPUtime=3471.18 cores=5,7
/proc/826343/task/826345/stat : 826345 (java) R 826340 826343 822101 0 -1 4194368 103307 0 0 0 347043 75 0 0 20 0 21 0 161151534 19771256832 3733419 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826354] ppid=826340 vsize=19307868 memory=-9176479405345972924 CPUtime=0 cores=5,7
/proc/826343/task/826354/stat : 826354 (Finalizer) S 826340 826343 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161151537 19771256832 3733419 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
[pid=826343/tid=826361] ppid=826340 vsize=19307868 memory=100 CPUtime=0 cores=5,7
/proc/826343/task/826361/stat : 826361 (Common-Cleaner) S 826340 826343 822101 0 -1 1077936192 1832 0 0 0 0 0 0 0 20 0 21 0 161151537 19771256832 3733419 134679101440 94807105417216 94807105420912 140734578811872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94807105428728 94807105429520 94807126777856 140734578816007 140734578816097 140734578816097 140734578823112 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14933676 KiB

[startup+3542.9 s]*
/proc/loadavg: 3.10 3.93 4.15 3/266 828281
/proc/meminfo: memFree=108883528/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3542.91
CPU time (s): 3600.45
CPU user time (s): 3596.32
CPU system time (s): 4.12607
CPU usage (%): 101.624
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14933676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.32
system time used= 4.12607
maximum resident set size= 14934572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114972
involuntary context switches= 18271


# summary of solver processes directly reported to runsolver:
#   pid: 826343
#   total CPU time (s): 3600.45
#   total CPU user time (s): 3596.32
#   total CPU system time (s): 4.12607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42708 second user time and 18.2044 second system time

The end

Begin job on nodeC015 at 2024-07-16 02:32:05
IDJOB=4432252
IDBENCH=147555
IDSOLVER=3058
FILE ID=nodeC015/4432252-1721089913
RUNJOBID= nodeC015-1721083519-822114
SLURM_JOB_ID= 7505571
Free space on /tmp= 890016 MiB

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

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=515395916

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120697924 kB
MemAvailable:   126073240 kB
Buffers:          372076 kB
Cached:          5831892 kB
SwapCached:            0 kB
Active:          1250428 kB
Inactive:        8956240 kB
Active(anon):       1580 kB
Inactive(anon):  4038520 kB
Active(file):    1248848 kB
Inactive(file):  4917720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             35964 kB
Writeback:             0 kB
AnonPages:       4000692 kB
Mapped:           124608 kB
Shmem:             37720 kB
KReclaimable:      96788 kB
Slab:             204188 kB
SReclaimable:      96788 kB
SUnreclaim:       107400 kB
KernelStack:        5080 kB
PageTables:        17780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   19856416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3764224 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC015 at 2024-07-16 03:31:08