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

OK	1223633

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456411-1721721974/watcher-4456411-1721721974 -o /tmp/evaluation-result-4456411-1721721974/solver-4456411-1721721974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721718385-86938 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456411-1721721974.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=89457, runsolver pid=89454

[startup+0.100833 s]*
/proc/loadavg: 4.42 4.26 4.20 7/327 89475
/proc/meminfo: memFree=104279620/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=18975048 memory=63164 CPUtime=0.13 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 7198 0 0 0 11 2 0 0 20 0 18 0 8726036 19430449152 15791 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4743762 15791 5677 1 0 549317 0
[pid=89457/tid=89459] ppid=89454 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 1077936192 5729 0 0 0 6 2 0 0 20 0 18 0 8726036 19430449152 15791 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8726039 19430449152 15791 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=18975048 memory=14979961987553919 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8726039 19430449152 15791 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63164 KiB

[startup+0.211273 s]*
/proc/loadavg: 4.42 4.26 4.20 6/307 89477
/proc/meminfo: memFree=104381684/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=18975048 memory=91116 CPUtime=0.34 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 7964 0 0 0 31 3 0 0 20 0 18 0 8726036 19430449152 22779 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4743762 22779 5783 1 0 549913 0
[pid=89457/tid=89459] ppid=89454 vsize=18975048 memory=8026368251766898807 CPUtime=0.18 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 5908 0 0 0 16 2 0 0 20 0 18 0 8726036 19430449152 22779 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=18975048 memory=224261326099 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8726039 19430449152 22779 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=18975048 memory=30606 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8726039 19430449152 22779 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 91116 KiB

[startup+0.305597 s]*
/proc/loadavg: 4.42 4.26 4.20 8/307 89491
/proc/meminfo: memFree=104348532/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=18975048 memory=124628 CPUtime=0.52 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 9155 0 0 0 48 4 0 0 20 0 18 0 8726036 19430449152 31157 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4743762 31157 5783 1 0 550566 0
[pid=89457/tid=89459] ppid=89454 vsize=18975048 memory=-7387154157946764221 CPUtime=0.27 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 5925 0 0 0 24 3 0 0 20 0 18 0 8726036 19430449152 31157 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8726039 19430449152 31157 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8726039 19430449152 31157 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124628 KiB

[startup+0.700271 s]
/proc/loadavg: 4.42 4.26 4.20 7/305 89510
/proc/meminfo: memFree=104319940/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19041612 memory=148744 CPUtime=1.29 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 9622 0 0 0 124 5 0 0 20 0 19 0 8726036 19498610688 37186 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4760403 37186 5821 1 0 551074 0
[pid=89457/tid=89459] ppid=89454 vsize=19041612 memory=5440 CPUtime=0.62 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 6068 0 0 0 59 3 0 0 20 0 19 0 8726036 19498610688 37186 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19041612 memory=12316 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8726039 19498610688 37186 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8726039 19498610688 37186 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8726078 19498610688 37186 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 148744 KiB

[startup+1.50029 s]
/proc/loadavg: 4.42 4.26 4.20 10/329 89543
/proc/meminfo: memFree=104223220/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19041612 memory=162968 CPUtime=2.48 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 11261 0 0 0 243 5 0 0 20 0 19 0 8726036 19498610688 40742 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4760403 40742 5869 1 0 551322 0
[pid=89457/tid=89459] ppid=89454 vsize=19041612 memory=12316 CPUtime=1.4 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 6247 0 0 0 137 3 0 0 20 0 19 0 8726036 19498610688 40742 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8726039 19498610688 40742 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8726039 19498610688 40742 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19041612 memory=11356 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8726078 19498610688 40742 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162968 KiB

[startup+3.10627 s]
/proc/loadavg: 4.46 4.28 4.20 7/329 89611
/proc/meminfo: memFree=109243012/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=190068 CPUtime=4.09 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 12206 0 0 0 403 6 0 0 20 0 20 0 8726036 19566772224 47517 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 47517 5885 1 0 551611 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=0 CPUtime=2.95 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 6442 0 0 0 292 3 0 0 20 0 20 0 8726036 19566772224 47517 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 47517 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=2272 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 47517 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=32140 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 47517 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190068 KiB

[startup+6.30027 s]
/proc/loadavg: 4.46 4.28 4.20 5/330 89612
/proc/meminfo: memFree=109177896/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=190400 CPUtime=7.38 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 15272 0 0 0 732 6 0 0 20 0 20 0 8726036 19566772224 47600 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 47600 5885 1 0 551674 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=12316 CPUtime=6.12 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 7671 0 0 0 608 4 0 0 20 0 20 0 8726036 19566772224 47600 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 47600 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=7100839861465945203 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 47600 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 47600 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190400 KiB

[startup+12.7003 s]
/proc/loadavg: 4.67 4.32 4.22 5/330 89680
/proc/meminfo: memFree=109110436/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=248084 CPUtime=13.87 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 20624 0 0 0 1379 8 0 0 20 0 20 0 8726036 19566772224 62021 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 62021 5916 1 0 552773 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=0 CPUtime=12.4 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 8226 0 0 0 1236 4 0 0 20 0 20 0 8726036 19566772224 62021 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=248084 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 62021 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=153308 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 62021 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 62021 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 13.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 248084 KiB

[startup+25.5002 s]
/proc/loadavg: 4.59 4.32 4.22 5/331 89683
/proc/meminfo: memFree=108794780/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=323668 CPUtime=26.73 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 26032 0 0 0 2662 11 0 0 20 0 20 0 8726036 19566772224 80917 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 80917 5916 1 0 552773 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=248084 CPUtime=25.08 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 9703 0 0 0 2504 4 0 0 20 0 20 0 8726036 19566772224 80917 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 80917 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=323664 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 80917 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=323664 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 80917 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 26.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 323668 KiB

[startup+51.1055 s]
/proc/loadavg: 4.52 4.33 4.22 5/331 89687
/proc/meminfo: memFree=108317388/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=514228 CPUtime=52.4 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 31017 0 0 0 5224 16 0 0 20 0 20 0 8726036 19566772224 128557 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 128557 5922 1 0 552773 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=456792 CPUtime=50.39 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 11587 0 0 0 5035 4 0 0 20 0 20 0 8726036 19566772224 128557 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=190400 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 128557 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=97 CPUtime=0 cores=0,2

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

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/335 91498
/proc/meminfo: memFree=96305144/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=4533812 CPUtime=3349.7 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 167055 0 0 0 334795 175 0 0 20 0 20 0 8726036 19566772224 1133453 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 1133453 5937 1 0 1302284 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=32876 CPUtime=3313.66 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 50553 0 0 0 331307 59 0 0 20 0 20 0 8726036 19566772224 1133453 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=4533812 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133453 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=4533812 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 1734 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133453 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=21256 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 1133453 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 3349.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4533812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/335 91508
/proc/meminfo: memFree=96303372/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=4533816 CPUtime=3409.95 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 167271 0 0 0 340819 176 0 0 20 0 20 0 8726036 19566772224 1133454 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 1133454 5937 1 0 1302284 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=4533812 CPUtime=3373.08 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 50623 0 0 0 337249 59 0 0 20 0 20 0 8726036 19566772224 1133454 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=4533812 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133454 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=4533812 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 1734 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133454 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=4533816 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 1133454 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 3409.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4533816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/332 91518
/proc/meminfo: memFree=96299744/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=4533936 CPUtime=3470.05 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 169422 0 0 0 346827 178 0 0 20 0 20 0 8726036 19566772224 1133484 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 1133484 5937 1 0 1302284 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=4533812 CPUtime=3432.41 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 51215 0 0 0 343182 59 0 0 20 0 20 0 8726036 19566772224 1133484 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=4533812 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133484 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=4533936 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133484 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=11356 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 1133484 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 3470.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4533936 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/332 91531
/proc/meminfo: memFree=96298640/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=4533972 CPUtime=3529.88 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 169933 0 0 0 352809 179 0 0 20 0 20 0 8726036 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 1133493 5937 1 0 1302284 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=4533936 CPUtime=3491.52 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 51502 0 0 0 349093 59 0 0 20 0 20 0 8726036 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=4533936 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=2160 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=4533972 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 3529.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4533972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.18 4.18 5/331 91541
/proc/meminfo: memFree=96297992/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=4533972 CPUtime=3589.61 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 170315 0 0 0 358781 180 0 0 20 0 20 0 8726036 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 1133493 5937 1 0 1302284 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=32876 CPUtime=3551.16 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 51861 0 0 0 355057 59 0 0 20 0 20 0 8726036 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=4533972 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=4533972 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=1900 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 1133493 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 3589.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4533972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.71 s]
/proc/loadavg: 4.22 4.18 4.18 5/331 91543
/proc/meminfo: memFree=96297488/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=4566756 CPUtime=3600.08 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 170493 0 0 0 359827 181 0 0 20 0 20 0 8726036 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 1141689 5937 1 0 1302284 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=32876 CPUtime=3561.45 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) S 89454 89457 86928 0 -1 1077936192 51942 0 0 0 356086 59 0 0 20 0 20 0 8726036 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=4533972 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=2036 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=32876 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4566756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.85 s, system=1.83116 s

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

[startup+3592.81 s]
/proc/loadavg: 4.22 4.18 4.18 5/331 91543
/proc/meminfo: memFree=96297488/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19108176 memory=4566756 CPUtime=3600.28 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 170617 0 0 0 359847 181 0 0 20 0 20 0 8726036 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4777044 1141689 5937 1 0 1302284 0
[pid=89457/tid=89459] ppid=89454 vsize=19108176 memory=4533972 CPUtime=3561.45 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) S 89454 89457 86928 0 -1 1077936192 51942 0 0 0 356086 59 0 0 20 0 20 0 8726036 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19108176 memory=2740 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19108176 memory=-6000919489886446439 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 20 0 8726039 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89501] ppid=89454 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/89457/task/89501/stat : 89501 (Timer-0) S 89454 89457 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726078 19566772224 1141689 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4566756 KiB

[startup+3593 s]*
/proc/loadavg: 4.29 4.19 4.18 11/329 91549
/proc/meminfo: memFree=96263316/131524600 swapFree=131071996/131071996
[pid=89457] ppid=89454 vsize=19307868 memory=4567424 CPUtime=3600.65 cores=0,2
/proc/89457/stat : 89457 (java) S 89454 89457 86928 0 -1 1077936128 173147 0 0 0 359884 181 0 0 20 0 17 0 8726036 19771256832 1141856 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
/proc/89457/statm: 4826967 1141856 5936 1 0 1303190 0
[pid=89457/tid=89459] ppid=89454 vsize=19307868 memory=-6000919481296380775 CPUtime=3561.56 cores=0,2
/proc/89457/task/89459/stat : 89459 (java) R 89454 89457 86928 0 -1 4194368 52042 0 0 0 356097 59 0 0 20 0 16 0 8726036 19771256832 1141874 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89468] ppid=89454 vsize=19307868 memory=8008 CPUtime=0 cores=0,2
/proc/89457/task/89468/stat : 89468 (Finalizer) S 89454 89457 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 8726039 19771256832 1141874 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
[pid=89457/tid=89475] ppid=89454 vsize=19307868 memory=20624 CPUtime=0 cores=0,2
/proc/89457/task/89475/stat : 89475 (Common-Cleaner) S 89454 89457 86928 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 16 0 8726039 19771256832 1141874 134679101440 94143836946432 94143836950128 140735655123728 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94143836957944 94143836958736 94143848202240 140735655130118 140735655130208 140735655130208 140735655137224 0
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4567424 KiB

Child status: 143

Real time (s): 3593.02
CPU time (s): 3600.68
CPU user time (s): 3598.85
CPU system time (s): 1.83116
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4567456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.83116
maximum resident set size= 4568328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109821
involuntary context switches= 31861


# summary of solver processes directly reported to runsolver:
#   pid: 89457
#   total CPU time (s): 3600.68
#   total CPU user time (s): 3598.85
#   total CPU system time (s): 1.83116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63429 second user time and 17.5096 second system time

The end

Begin job on nodeC021 at 2024-07-23 10:06:14
IDJOB=4456411
IDBENCH=143976
IDSOLVER=3037
FILE ID=nodeC021/4456411-1721721974
RUNJOBID= nodeC021-1721718385-86938
SLURM_JOB_ID= 7770403
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-capmo3_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456411-1721721974/watcher-4456411-1721721974 -o /tmp/evaluation-result-4456411-1721721974/solver-4456411-1721721974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721718385-86938 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4456411-1721721974.wbo

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

MD5SUM BENCH= a6ee01287cd5e8ae1d72d6c38154c871
RANDOM SEED=1655461432

nodeC021.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		: 3631.744
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	: 7000.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.182
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	: 7007.41
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		: 3639.584
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	: 7000.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.181
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	: 7007.41
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		: 3612.332
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	: 7000.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.183
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	: 7007.41
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		: 3675.698
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	: 7000.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.182
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104322128 kB
MemAvailable:   124171748 kB
Buffers:          151088 kB
Cached:         20432812 kB
SwapCached:            0 kB
Active:           925188 kB
Inactive:       25518724 kB
Active(anon):       1556 kB
Inactive(anon):  5896180 kB
Active(file):     923632 kB
Inactive(file): 19622544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4912 kB
Writeback:             0 kB
AnonPages:       5859748 kB
Mapped:           120396 kB
Shmem:             37720 kB
KReclaimable:     286184 kB
Slab:             394600 kB
SReclaimable:     286184 kB
SUnreclaim:       108416 kB
KernelStack:        4992 kB
PageTables:        21476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12022852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18272 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5535744 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:      297684 kB
DirectMap2M:    31981568 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC021 at 2024-07-23 11:06:07