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

OK	37

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (11925 MiB free)
  memory of node 1: 64510 MiB (46580 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100068 s]*
/proc/loadavg: 0.09 0.09 0.09 4/273 229152
/proc/meminfo: memFree=59825828/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=18175400 memory=37140 CPUtime=0.03 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 4347 0 26 0 1 2 0 0 20 0 7 0 18022065 18611609600 9285 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16784588 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4543850 9285 3787 1 0 544764 0
[pid=229104/tid=229117] ppid=229097 vsize=18175400 memory=4026531971 CPUtime=0.03 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) D 229097 229104 229052 0 -1 4194368 3831 0 18 0 1 2 0 0 20 0 7 0 18022067 18611609600 9349 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 4 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 37140 KiB

[startup+0.215304 s]*
/proc/loadavg: 0.09 0.09 0.09 4/319 229198
/proc/meminfo: memFree=59750540/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=18975048 memory=57776 CPUtime=0.17 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 6462 0 36 0 12 5 0 0 20 0 18 0 18022065 19430449152 14444 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4743762 14444 5646 1 0 550869 0
[pid=229104/tid=229117] ppid=229097 vsize=18975048 memory=8737651120394928259 CPUtime=0.12 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 5380 0 27 0 8 4 0 0 20 0 18 0 18022067 19430449152 14497 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=18975048 memory=948383 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022080 19430449152 14497 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18022081 19430449152 14497 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57776 KiB

[startup+0.315852 s]*
/proc/loadavg: 0.09 0.09 0.09 12/319 229198
/proc/meminfo: memFree=59733428/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=18975048 memory=62208 CPUtime=0.31 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 7006 0 36 0 26 5 0 0 20 0 18 0 18022065 19430449152 15552 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4743762 15552 5684 1 0 551325 0
[pid=229104/tid=229117] ppid=229097 vsize=18975048 memory=-8960590284347646652 CPUtime=0.2 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 5629 0 27 0 16 4 0 0 20 0 18 0 18022067 19430449152 15552 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=18975048 memory=1471337235681608281 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022080 19430449152 15552 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18022081 19430449152 15552 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62208 KiB

[startup+0.700373 s]
/proc/loadavg: 1.36 0.36 0.18 14/320 229199
/proc/meminfo: memFree=59699732/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=18975048 memory=88632 CPUtime=0.98 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 8807 0 37 0 90 8 0 0 20 0 18 0 18022065 19430449152 22158 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4743762 22158 5835 1 0 552514 0
[pid=229104/tid=229117] ppid=229097 vsize=18975048 memory=11904 CPUtime=0.5 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 5898 0 28 0 45 5 0 0 20 0 18 0 18022067 19430449152 22158 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=18975048 memory=5468 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022080 19430449152 22158 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18022081 19430449152 22158 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 88632 KiB

[startup+1.50652 s]
/proc/loadavg: 1.36 0.36 0.18 12/322 229201
/proc/meminfo: memFree=59446240/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19041612 memory=159184 CPUtime=2.55 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 20532 0 37 0 243 12 0 0 20 0 19 0 18022065 19498610688 39796 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4760403 39796 5889 1 0 558743 0
[pid=229104/tid=229117] ppid=229097 vsize=19041612 memory=0 CPUtime=1.23 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 6486 0 28 0 116 7 0 0 20 0 19 0 18022067 19498610688 39796 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19041612 memory=26124 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18022080 19498610688 39796 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19041612 memory=5468 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18022081 19498610688 39796 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19041612 memory=11644 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18022157 19498610688 39796 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159184 KiB

[startup+3.10651 s]
/proc/loadavg: 1.36 0.36 0.18 8/328 229207
/proc/meminfo: memFree=59192708/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=196488 CPUtime=5.17 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 24130 0 37 0 503 14 0 0 20 0 20 0 18022065 19566772224 49122 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 49122 5921 1 0 559496 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=0 CPUtime=2.79 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 6879 0 28 0 271 8 0 0 20 0 20 0 18022067 19566772224 49122 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=5468 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 49122 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 49122 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=71368 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 49122 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196488 KiB

[startup+6.30051 s]
/proc/loadavg: 1.66 0.44 0.20 8/328 229207
/proc/meminfo: memFree=59187980/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=194196 CPUtime=9.94 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 29135 0 37 0 979 15 0 0 20 0 20 0 18022065 19566772224 48549 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 48549 5937 1 0 559551 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=0 CPUtime=5.93 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 7808 0 28 0 584 9 0 0 20 0 20 0 18022067 19566772224 48549 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=197588 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 48549 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=5468 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 48549 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 48549 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194196 KiB

[startup+12.7005 s]
/proc/loadavg: 2.00 0.53 0.23 5/326 229208
/proc/meminfo: memFree=59141100/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=202028 CPUtime=18.1 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 39151 0 37 0 1793 17 0 0 20 0 20 0 18022065 19566772224 50507 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 50507 5953 1 0 559551 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=11644 CPUtime=12.24 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 8990 0 28 0 1215 9 0 0 20 0 20 0 18022067 19566772224 50507 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=202000 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 50507 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 50507 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 50507 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 18.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202028 KiB

[startup+25.5005 s]
/proc/loadavg: 2.31 0.64 0.27 5/326 229210
/proc/meminfo: memFree=58711040/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=304544 CPUtime=30.96 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 43415 0 37 0 3075 21 0 0 20 0 20 0 18022065 19566772224 76136 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 76136 5953 1 0 559551 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=249240 CPUtime=24.89 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 10166 0 28 0 2478 11 0 0 20 0 20 0 18022067 19566772224 76136 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 76136 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 76136 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 76136 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 30.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 304544 KiB

[startup+51.1139 s]
/proc/loadavg: 3.05 0.98 0.40 5/326 229215
/proc/meminfo: memFree=57281548/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=656884 CPUtime=56.24 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 47478 0 37 0 5593 31 0 0 20 0 20 0 18022065 19566772224 164221 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 164221 5953 1 0 559551 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=421340 CPUtime=50.12 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 11959 0 28 0 4992 20 0 0 20 0 20 0 18022067 19566772224 164221 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 36 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=380340 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 164221 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=-8670672157847298748 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 164221 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=380340 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 164221 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 56.24 s

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

[startup+3282.3 s]
/proc/loadavg: 4.34 4.43 4.18 5/321 230599
/proc/meminfo: memFree=39974168/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=1908252 CPUtime=3251.13 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 122902 0 37 0 324713 400 0 0 20 0 20 0 18022065 19566772224 477063 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 477063 5969 1 0 559559 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=71368 CPUtime=3234.11 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 48298 0 28 0 323145 266 0 0 20 0 20 0 18022067 19566772224 477063 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2934 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=71368 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 477063 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=26500 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 2193 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 477063 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=1908252 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 477063 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 3251.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1908252 KiB

[startup+3342.3 s]
/proc/loadavg: 4.83 4.55 4.24 5/323 230613
/proc/meminfo: memFree=39771752/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=1932940 CPUtime=3309.16 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 124295 0 37 0 330509 407 0 0 20 0 20 0 18022065 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 483235 5969 1 0 559559 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=1908252 CPUtime=3291.92 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 48958 0 28 0 328921 271 0 0 20 0 20 0 18022067 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3117 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=26124 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=1908252 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 2322 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=1932940 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 3309.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1932940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.50 4.52 4.25 5/325 230626
/proc/meminfo: memFree=39583176/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=1932940 CPUtime=3368.86 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 124614 0 37 0 336472 414 0 0 20 0 20 0 18022065 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 483235 5969 1 0 559559 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=1908252 CPUtime=3351.42 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 49193 0 28 0 334866 276 0 0 20 0 20 0 18022067 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3138 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=1932940 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=-8670672157847298748 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 2322 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=1932940 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 483235 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 3368.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1932940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.99 4.66 4.31 5/325 230637
/proc/meminfo: memFree=39363168/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=1969824 CPUtime=3428.76 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 125531 0 37 0 342455 421 0 0 20 0 20 0 18022065 19566772224 492456 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 492456 5969 1 0 559559 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=1908252 CPUtime=3411.1 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 49879 0 28 0 340829 281 0 0 20 0 20 0 18022067 19566772224 492456 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3141 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=1932940 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 492456 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=11904 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 2323 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 492456 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=16192 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 492456 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 3428.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1969824 KiB

[startup+3522.3 s]
/proc/loadavg: 4.47 4.58 4.31 5/325 230647
/proc/meminfo: memFree=39167712/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=1969880 CPUtime=3488.64 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 126497 0 37 0 348437 427 0 0 20 0 20 0 18022065 19566772224 492470 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 492470 5969 1 0 559559 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=1932940 CPUtime=3470.8 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 50287 0 28 0 346795 285 0 0 20 0 20 0 18022067 19566772224 492470 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3143 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=1932940 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 492470 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=1969824 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 2411 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 492470 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=1969880 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 492470 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 3488.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1969880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.50 4.30 5/325 230657
/proc/meminfo: memFree=38946144/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=1988328 CPUtime=3548.48 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 126850 0 37 0 354414 434 0 0 20 0 20 0 18022065 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 497082 5969 1 0 559562 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=1969880 CPUtime=3530.43 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 50529 0 28 0 352753 290 0 0 20 0 20 0 18022067 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3145 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=1988328 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=1988328 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 2411 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=1988328 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 3548.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1988328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3634 s]*
/proc/loadavg: 4.57 4.53 4.32 6/326 231119
/proc/meminfo: memFree=43616376/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19108176 memory=1988328 CPUtime=3600.02 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 127127 0 37 0 359563 439 0 0 20 0 20 0 18022065 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4777044 497082 5969 1 0 559562 0
[pid=229104/tid=229117] ppid=229097 vsize=19108176 memory=-8742729786228187836 CPUtime=3581.94 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 50799 0 28 0 357900 294 0 0 20 0 20 0 18022067 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3148 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19108176 memory=4628977602522342541 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19108176 memory=4570472635747831158 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 2412 0 0 0 0 0 0 0 20 0 20 0 18022081 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229201] ppid=229097 vsize=19108176 memory=7245577201579234449 CPUtime=0 cores=0,2
/proc/229104/task/229201/stat : 229201 (Timer-0) S 229097 229104 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022157 19566772224 497082 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1988328 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.93 s, system=4.42152 s

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

[startup+3634.12 s]
/proc/loadavg: 4.57 4.53 4.32 6/326 231119
/proc/meminfo: memFree=43616376/131655788 swapFree=131065036/131071996
[pid=229104] ppid=229097 vsize=19307868 memory=1989060 CPUtime=3600.24 cores=0,2
/proc/229104/stat : 229104 (java) S 229097 229104 229052 0 -1 1077936128 129338 0 37 0 359584 440 0 0 20 0 21 0 18022065 19771256832 497265 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
/proc/229104/statm: 4826967 497265 5968 1 0 560501 0
[pid=229104/tid=229117] ppid=229097 vsize=19307868 memory=11644 CPUtime=3582.05 cores=0,2
/proc/229104/task/229117/stat : 229117 (java) R 229097 229104 229052 0 -1 4194368 50986 0 28 0 357911 294 0 0 20 0 21 0 18022067 19771256832 497265 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 3148 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229165] ppid=229097 vsize=19307868 memory=11904 CPUtime=0 cores=0,2
/proc/229104/task/229165/stat : 229165 (Finalizer) S 229097 229104 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18022080 19771256832 497265 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
[pid=229104/tid=229196] ppid=229097 vsize=19307868 memory=1988328 CPUtime=0 cores=0,2
/proc/229104/task/229196/stat : 229196 (Common-Cleaner) S 229097 229104 229052 0 -1 1077936192 2412 0 0 0 0 0 0 0 20 0 21 0 18022081 19771256832 497265 134679101440 94314650517504 94314650521200 140727740879232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314650529016 94314650529808 94314673397760 140727740883883 140727740884065 140727740884065 140727740891080 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1989060 KiB

Child status: 143

Real time (s): 3634.19
CPU time (s): 3600.35
CPU user time (s): 3595.93
CPU system time (s): 4.42152
CPU usage (%): 99.0688
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1989060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.93
system time used= 4.42152
maximum resident set size= 1989780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130038
page faults= 37
swaps= 0
block input operations= 11984
block output operations= 4464816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107983
involuntary context switches= 27077


# summary of solver processes directly reported to runsolver:
#   pid: 229104
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3595.93
#   total CPU system time (s): 4.42152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5306 second user time and 35.135 second system time

The end

Begin job on nodeC010 at 2024-07-24 13:25:25
IDJOB=4440379
IDBENCH=148164
IDSOLVER=3079
FILE ID=nodeC010/4440379-1721820325
RUNJOBID= nodeC010-1721820325-229062
SLURM_JOB_ID= 7891462
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440379-1721820325/watcher-4440379-1721820325 -o /tmp/evaluation-result-4440379-1721820325/solver-4440379-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721820325-229062 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440379-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440379-1721820325.opb

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

MD5SUM BENCH= 8c829249b2b00c19bbbec969c36f23bb
RANDOM SEED=1968991675

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        59912140 kB
MemAvailable:   129780784 kB
Buffers:          241752 kB
Cached:         69954196 kB
SwapCached:         3992 kB
Active:          2221692 kB
Inactive:       68292456 kB
Active(anon):       1576 kB
Inactive(anon):   370772 kB
Active(file):    2220116 kB
Inactive(file): 67921684 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131065036 kB
Dirty:              2864 kB
Writeback:             0 kB
AnonPages:        315196 kB
Mapped:           100504 kB
Shmem:             53752 kB
KReclaimable:     788588 kB
Slab:             909744 kB
SReclaimable:     788588 kB
SUnreclaim:       121156 kB
KernelStack:        3748 kB
PageTables:        10156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     611108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18816 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC010 at 2024-07-24 14:25:59