0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.12	c version CUSTOM.v20240707
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.14	c Free memory 		2113181440
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.18	--- Begin Solver configuration ---
0.12/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	Learn all clauses as in MiniSAT
0.12/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	No reason simplification
0.12/0.18	Glucose 2.1 dynamic restart strategy
0.12/0.18	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.12/0.18	timeout=2147483s
0.12/0.18	DB Simplification allowed=false
0.12/0.18	Listener: none
0.12/0.18	--- End Solver configuration ---
0.12/0.18	c Pseudo Boolean Optimization by upper bound
0.12/0.18	c --- Begin Solver configuration ---
0.12/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	c Learn all clauses as in MiniSAT
0.12/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	c No reason simplification
0.12/0.18	c Glucose 2.1 dynamic restart strategy
0.12/0.18	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.12/0.18	c timeout=2147483s
0.12/0.18	c DB Simplification allowed=false
0.12/0.18	c Listener: none
0.12/0.18	c --- End Solver configuration ---
0.12/0.18	c solving HOME/instance-4425064-1720879102.wbo
0.12/0.18	c reading problem ... 
0.33/0.33	c ... done. Wall clock time 0.144s.
0.33/0.33	c declared #vars     10500
0.33/0.33	c internal #vars     10705
0.33/0.33	c #constraints  206
0.33/0.33	c constraints type 
0.33/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.33/0.33	c org.sat4j.specs.Constr$1 => 1
0.33/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 105
0.33/0.33	c 206 constraints processed.
0.52/0.35	c objective function length is 205 literals
3.02/1.94	c cleaning 2495 clauses out of 5000 with flag 31909/5000
4.68/3.45	c cleaning 4250 clauses out of 8507 with flag 65874/11002
8.04/6.43	c cleaning 5622 clauses out of 11255 with flag 113934/18000
12.08/10.18	c cleaning 6812 clauses out of 13634 with flag 164139/26001
16.70/14.68	c cleaning 7904 clauses out of 15821 with flag 218164/35000
22.31/19.97	c cleaning 8953 clauses out of 17917 with flag 273426/45000
29.38/26.77	c cleaning 9976 clauses out of 19964 with flag 336910/56000
37.43/34.61	c cleaning 10988 clauses out of 21989 with flag 421447/68001
47.48/44.39	c cleaning 11995 clauses out of 24000 with flag 515060/81000
59.44/56.15	c cleaning 12997 clauses out of 26005 with flag 620735/95000
71.41/67.78	c cleaning 13994 clauses out of 28008 with flag 719765/110000
87.20/82.36	c cleaning 14997 clauses out of 30014 with flag 830666/126000
103.14/97.95	c cleaning 15997 clauses out of 32018 with flag 941132/143001
119.52/114.07	c cleaning 17001 clauses out of 34020 with flag 1058034/161000
139.21/133.48	c cleaning 18004 clauses out of 36021 with flag 1187339/180002
160.86/154.70	c cleaning 19002 clauses out of 38019 with flag 1324925/200004
187.85/181.47	c cleaning 19996 clauses out of 40013 with flag 1461647/221000
217.32/209.94	c cleaning 20999 clauses out of 42017 with flag 1605122/243000
250.32/242.64	c cleaning 22001 clauses out of 44018 with flag 1766585/266000
281.48/273.31	c cleaning 23004 clauses out of 46018 with flag 1932892/290001
320.29/311.84	c cleaning 24001 clauses out of 48014 with flag 2100062/315001
362.82/353.21	c cleaning 24998 clauses out of 50012 with flag 2280731/341000
409.43/399.21	c cleaning 25999 clauses out of 52017 with flag 2465436/368003
453.87/443.09	c cleaning 26999 clauses out of 54015 with flag 2654350/396000
503.11/491.59	c cleaning 28003 clauses out of 56016 with flag 2860999/425000
503.72/492.20	c SATISFIABLE
503.72/492.20	c OPTIMIZING...
503.72/492.20	c Got one! Elapsed wall clock time (in seconds):492.022
503.72/492.21	o 78
510.53/498.56	c cleaning 16939 clauses out of 33896 with flag 43597/430883
514.32/502.22	c cleaning 11473 clauses out of 22959 with flag 91610/436885
517.97/505.69	c cleaning 9234 clauses out of 18484 with flag 144579/443883
521.40/508.97	c cleaning 8616 clauses out of 17252 with flag 204836/451885
526.48/513.90	c cleaning 8812 clauses out of 17637 with flag 271016/460886
531.12/518.58	c cleaning 9404 clauses out of 18822 with flag 342561/470883
537.08/524.45	c cleaning 10202 clauses out of 20418 with flag 431300/481883
544.14/531.44	c cleaning 11101 clauses out of 22216 with flag 522549/493883
552.63/539.85	c cleaning 12053 clauses out of 24117 with flag 635682/506885
563.14/550.18	c cleaning 13025 clauses out of 26062 with flag 744375/520883
575.70/561.97	c cleaning 14008 clauses out of 28037 with flag 851344/535883
588.32/574.27	c cleaning 15001 clauses out of 30029 with flag 970334/551883
606.98/592.78	c cleaning 16004 clauses out of 32030 with flag 1103610/568885
628.28/613.70	c cleaning 17002 clauses out of 34025 with flag 1259291/586884
649.63/634.94	c cleaning 18002 clauses out of 36023 with flag 1398647/605884
671.62/656.68	c cleaning 19003 clauses out of 38021 with flag 1549606/625884
698.17/682.81	c cleaning 20001 clauses out of 40017 with flag 1704178/646883
722.75/707.05	c cleaning 21000 clauses out of 42017 with flag 1862015/668884
753.33/737.35	c cleaning 21998 clauses out of 44017 with flag 2055148/691884
784.05/767.71	c cleaning 22998 clauses out of 46018 with flag 2243622/715883
818.46/801.89	c cleaning 23999 clauses out of 48020 with flag 2463262/740883
859.66/842.52	c cleaning 25003 clauses out of 50024 with flag 2679459/766886
899.98/881.52	c cleaning 26001 clauses out of 52020 with flag 2893099/793885
956.78/938.22	c cleaning 27002 clauses out of 54018 with flag 3117671/821884
1007.23/988.21	c cleaning 28001 clauses out of 56017 with flag 3361453/850885
1059.99/1040.64	c cleaning 28997 clauses out of 58014 with flag 3603743/880883
1118.65/1098.99	c cleaning 29997 clauses out of 60017 with flag 3873384/911883
1174.18/1154.02	c cleaning 30998 clauses out of 62023 with flag 4126707/943886
1181.92/1161.54	c Got one! Elapsed wall clock time (in seconds):1161.361
1181.92/1161.54	o 72
1182.24/1161.87	c Got one! Elapsed wall clock time (in seconds):1161.694
1182.24/1161.87	o 9
1189.53/1169.14	c cleaning 21224 clauses out of 42459 with flag 48990/955320
1195.87/1175.30	c cleaning 13612 clauses out of 27234 with flag 109980/961319
1202.16/1181.66	c cleaning 10304 clauses out of 20624 with flag 175381/968321
1208.71/1188.10	c cleaning 9156 clauses out of 18321 with flag 249687/976322
1214.38/1193.77	c cleaning 9078 clauses out of 18168 with flag 337043/985325
1220.73/1200.10	c cleaning 9531 clauses out of 19084 with flag 445653/995319
1228.82/1208.03	c cleaning 10273 clauses out of 20556 with flag 562819/1006322
1238.72/1217.88	c cleaning 11135 clauses out of 22281 with flag 688639/1018320
1249.44/1228.45	c cleaning 12068 clauses out of 24145 with flag 826694/1031319
1261.25/1240.12	c cleaning 13035 clauses out of 26079 with flag 979012/1045321
1275.17/1253.99	c cleaning 14019 clauses out of 28043 with flag 1134751/1060320
1292.39/1270.74	c cleaning 15003 clauses out of 30024 with flag 1299141/1076320
1313.69/1291.97	c cleaning 16008 clauses out of 32023 with flag 1471599/1093322
1335.38/1313.30	c cleaning 17006 clauses out of 34015 with flag 1658932/1111322
1361.65/1339.53	c cleaning 17998 clauses out of 36006 with flag 1835665/1130319
1387.12/1364.69	c cleaning 19001 clauses out of 38012 with flag 2042535/1150323
1416.39/1393.42	c cleaning 20001 clauses out of 40007 with flag 2265753/1171319
1439.63/1415.57	c cleaning 20995 clauses out of 42010 with flag 2478770/1193323
1461.56/1437.15	c cleaning 22001 clauses out of 44012 with flag 2678410/1216320
1487.08/1462.47	c cleaning 22996 clauses out of 46010 with flag 2888407/1240319
1514.56/1489.32	c cleaning 23999 clauses out of 48014 with flag 3113262/1265319
1545.52/1519.71	c cleaning 25002 clauses out of 50015 with flag 3353354/1291319
1578.88/1552.35	c cleaning 25999 clauses out of 52015 with flag 3620425/1318321
1624.45/1597.28	c cleaning 27004 clauses out of 54015 with flag 3896333/1346320
1682.51/1655.05	c cleaning 28001 clauses out of 56013 with flag 4180235/1375322
1741.27/1712.83	c cleaning 29001 clauses out of 58009 with flag 4454433/1405319
1806.52/1777.46	c cleaning 29999 clauses out of 60010 with flag 4758810/1436321
1871.91/1842.13	c cleaning 30996 clauses out of 62012 with flag 5087325/1468322
1930.51/1900.06	c cleaning 32000 clauses out of 64014 with flag 5412419/1501320
2001.64/1970.17	c cleaning 32998 clauses out of 66013 with flag 5765524/1535319
2074.97/2043.19	c cleaning 34003 clauses out of 68016 with flag 6144987/1570320
2149.54/2117.35	c cleaning 34995 clauses out of 70012 with flag 6517852/1606319
2226.53/2194.44	c cleaning 36005 clauses out of 72019 with flag 6887522/1643321
2317.90/2285.55	c cleaning 36994 clauses out of 74012 with flag 7308144/1681319
2417.61/2384.74	c cleaning 38002 clauses out of 76018 with flag 7723767/1720319
2519.01/2485.49	c cleaning 39005 clauses out of 78019 with flag 8132086/1760322
2620.37/2586.10	c cleaning 39998 clauses out of 80011 with flag 8541558/1801319
2719.80/2684.60	c cleaning 40996 clauses out of 82014 with flag 8980435/1843320
2820.87/2784.90	c cleaning 42002 clauses out of 84018 with flag 9429368/1886320
2933.06/2896.30	c cleaning 43000 clauses out of 86015 with flag 9855182/1930319
3062.00/3021.51	c cleaning 44002 clauses out of 88015 with flag 10287064/1975319
3194.64/3153.86	c cleaning 45000 clauses out of 90014 with flag 10715575/2021320
3325.35/3283.81	c cleaning 46003 clauses out of 92013 with flag 11149446/2068319
3470.20/3427.89	c cleaning 47003 clauses out of 94013 with flag 11634156/2116322
3600.02/3556.75	c starts		: 9
3600.02/3556.75	c conflicts		: 2165019
3600.02/3556.75	c decisions		: 2411869
3600.02/3556.75	c propagations		: 32522573
3600.02/3556.75	c inspects		: 9182441727
3600.02/3556.75	c shortcuts		: 0
3600.02/3556.78	c learnt literals	: 0
3600.02/3556.78	c learnt binary clauses	: 0
3600.02/3556.78	c learnt ternary clauses	: 0
3600.02/3556.78	c learnt constraints	: 2165019
3600.02/3556.78	c ignored constraints	: 0
3600.02/3556.78	c root simplifications	: 0
3600.02/3556.78	c removed literals (reason simplification)	: 0
3600.02/3556.78	c reason swapping (by a shorter reason)	: 0
3600.02/3556.78	c Calls to reduceDB	: 97
3600.02/3556.78	c Number of update (reduction) of LBD	: 907682
3600.02/3556.78	c Imported unit clauses	: 0
3600.02/3556.78	c No decision after first conflict	: false
3600.02/3556.78	c number of reductions to clauses (during analyze)	: 0
3600.02/3556.78	c number of learned constraints concerned by reduction	: 0
3600.02/3556.78	c number of learning phase by resolution	: 0
3600.02/3556.78	c number of learning phase by cutting planes	: 0
3600.02/3556.78	c number of rounding to 1 operations	: 0
3600.02/3556.78	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3556.78	c number of reductions of the coefficients by power 2 	: 0
3600.02/3556.78	c number of right shift for reduction by power 2 	: 0
3600.02/3556.78	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3556.78	c number of ending skipping 	: 0
3600.02/3556.78	c number of internal skipping 	: 0
3600.02/3556.78	c number of derivation steps 	: 0
3600.02/3556.78	c number of skipped derivation steps 	: 0
3600.02/3556.78	c number of remaining unassigned 	: 0
3600.02/3556.78	c number of remaining assigned 	: 0
3600.02/3556.78	c number of falsified literals weakened from reason	: 0
3600.02/3556.78	c number of falsified literals weakened from conflict	: 0
3600.02/3556.78	c time for arithmetic operations	: 0
3600.02/3556.81	c minimum degree of deleted constraints	: null
3600.24/3556.81	c maximum degree of deleted constraints	: null
3600.24/3556.81	c number of deleted constraints	: 0
3600.24/3556.81	c speed (assignments/second)	: 9144.637201445032
3600.24/3556.83	c non guided choices	: 38100
3600.43/3556.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 95707
3600.43/3556.97	s SATISFIABLE
3600.43/3556.97	c Found 3 solution(s)
3600.43/3556.98	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 
3600.63/3557.03	c objective function=9
3600.63/3557.03	c Total wall clock time (in seconds): 3556.858

OK	9

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425064-1720879102/watcher-4425064-1720879102 -o /tmp/evaluation-result-4425064-1720879102/solver-4425064-1720879102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720879115-709547 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425064-1720879102.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=709573, runsolver pid=709570

[startup+0.100305 s]*
/proc/loadavg: 1.09 1.20 2.00 6/269 709636
/proc/meminfo: memFree=129985240/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=18975048 memory=56488 CPUtime=0.12 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 6596 0 0 0 10 2 0 0 20 0 18 0 140068319 19430449152 14122 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4743762 14122 5618 1 0 550925 0
[pid=709573/tid=709578] ppid=709570 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 5502 0 0 0 7 1 0 0 20 0 18 0 140068319 19430449152 14122 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=18975048 memory=694 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140068322 19430449152 14122 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=18975048 memory=15536340708104212 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 140068323 19430449152 14122 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56488 KiB

[startup+0.213823 s]*
/proc/loadavg: 1.09 1.20 2.00 12/311 709678
/proc/meminfo: memFree=129915888/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=18975048 memory=70536 CPUtime=0.33 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 7431 0 0 0 30 3 0 0 20 0 18 0 140068319 19430449152 17634 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4743762 17634 5750 1 0 551590 0
[pid=709573/tid=709578] ppid=709570 vsize=18975048 memory=3461362060219711619 CPUtime=0.19 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 5962 0 0 0 18 1 0 0 20 0 18 0 140068319 19430449152 17634 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=18975048 memory=694 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140068322 19430449152 17634 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=18975048 memory=15536340708104212 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 140068323 19430449152 17634 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70536 KiB

[startup+0.323307 s]*
/proc/loadavg: 1.09 1.20 2.00 12/311 709678
/proc/meminfo: memFree=129885128/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=18975048 memory=85460 CPUtime=0.52 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 7612 0 0 0 49 3 0 0 20 0 18 0 140068319 19430449152 21365 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4743762 21365 5772 1 0 551703 0
[pid=709573/tid=709578] ppid=709570 vsize=18975048 memory=-8528802172548588220 CPUtime=0.29 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 6030 0 0 0 28 1 0 0 20 0 18 0 140068319 19430449152 21365 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140068322 19430449152 21365 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 140068323 19430449152 21365 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 85460 KiB

[startup+0.7043 s]
/proc/loadavg: 1.09 1.20 2.00 12/313 709680
/proc/meminfo: memFree=129853512/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19041612 memory=99856 CPUtime=1.22 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 11149 0 0 0 118 4 0 0 20 0 19 0 140068319 19498610688 24964 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4760403 24964 5874 1 0 553853 0
[pid=709573/tid=709578] ppid=709570 vsize=19041612 memory=2216 CPUtime=0.65 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 6106 0 0 0 64 1 0 0 20 0 19 0 140068319 19498610688 24964 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19041612 memory=12676 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140068322 19498610688 24964 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19041612 memory=2008 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 140068323 19498610688 24964 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19041612 memory=31900 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140068354 19498610688 24964 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99856 KiB

[startup+1.5003 s]
/proc/loadavg: 1.09 1.20 2.00 11/315 709682
/proc/meminfo: memFree=129786020/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19041612 memory=139384 CPUtime=2.46 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 12773 0 0 0 241 5 0 0 20 0 19 0 140068319 19498610688 34846 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4760403 34846 5874 1 0 553854 0
[pid=709573/tid=709578] ppid=709570 vsize=19041612 memory=12676 CPUtime=1.43 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 6251 0 0 0 141 2 0 0 20 0 19 0 140068319 19498610688 34846 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140068322 19498610688 34846 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 140068323 19498610688 34846 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19041612 memory=2008 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140068354 19498610688 34846 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139384 KiB

[startup+3.10629 s]
/proc/loadavg: 1.40 1.27 2.02 7/317 709684
/proc/meminfo: memFree=129477176/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=201580 CPUtime=4.39 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 15713 0 0 0 431 8 0 0 20 0 20 0 140068319 19566772224 50395 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 50395 5906 1 0 554199 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=2008 CPUtime=2.87 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 7345 0 0 0 284 3 0 0 20 0 20 0 140068319 19566772224 50395 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 50395 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 50395 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=101904 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 50395 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201580 KiB

[startup+6.30031 s]
/proc/loadavg: 1.40 1.27 2.02 5/318 709685
/proc/meminfo: memFree=129213080/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=352776 CPUtime=7.93 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 17104 0 0 0 782 11 0 0 20 0 20 0 140068319 19566772224 88194 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 88194 5906 1 0 554262 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=12676 CPUtime=5.78 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 7446 0 0 0 575 3 0 0 20 0 20 0 140068319 19566772224 88194 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 88194 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=-9175632768541303484 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 88194 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 88194 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 7.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 352776 KiB

[startup+12.7004 s]
/proc/loadavg: 1.80 1.36 2.04 5/319 709856
/proc/meminfo: memFree=128568824/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=586528 CPUtime=14.8 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 23141 0 0 0 1463 17 0 0 20 0 20 0 140068319 19566772224 146632 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 146632 5922 1 0 860398 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=0 CPUtime=11.9 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 8404 0 0 0 1185 5 0 0 20 0 20 0 140068319 19566772224 146632 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=32136 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 146632 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 146632 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 146632 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 14.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 586528 KiB

[startup+25.5004 s]
/proc/loadavg: 2.21 1.46 2.06 5/319 709858
/proc/meminfo: memFree=127100532/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=1062096 CPUtime=28.18 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 27611 0 0 0 2791 27 0 0 20 0 20 0 140068319 19566772224 265524 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 265524 5922 1 0 860407 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=12440 CPUtime=24.12 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 9360 0 0 0 2406 6 0 0 20 0 20 0 140068319 19566772224 265524 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=937168 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 265524 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 265524 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=-9175632768541303484 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 265524 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 28.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1062096 KiB

[startup+51.1132 s]
/proc/loadavg: 2.82 1.67 2.12 5/320 709864
/proc/meminfo: memFree=125147852/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=1874516 CPUtime=54.46 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 32292 0 0 0 5399 47 0 0 20 0 20 0 140068319 19566772224 468629 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 468629 5933 1 0 989921 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=0 CPUtime=48.72 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 10836 0 0 0 4863 9 0 0 20 0 20 0 140068319 19566772224 468629 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=-9175632768541303484 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 468629 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=12440 CPUtime=0 cores=0,2

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

/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 81769 0 0 0 322365 61 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=-9175632768541303484 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 1337 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 3323.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12236552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/321 711178
/proc/meminfo: memFree=96728076/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3384.35 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 243206 0 0 0 337993 442 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 3059138 5930 1 0 3925996 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3283.44 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 83974 0 0 0 328283 61 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=12236420 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=129 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 1337 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 3384.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12236552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/321 711189
/proc/meminfo: memFree=96292268/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3444.91 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 248714 0 0 0 344045 446 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 3059138 5930 1 0 3925996 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3342.31 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 85806 0 0 0 334170 61 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=-9175632768541303484 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 1477 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 3444.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12236552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.18 4.11 5/320 711584
/proc/meminfo: memFree=96285188/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3504.41 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 250923 0 0 0 349992 449 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 3059138 5930 1 0 3925996 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=12440 CPUtime=3401.76 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 87748 0 0 0 340114 62 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 1477 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 3504.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12236552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/320 711594
/proc/meminfo: memFree=95944016/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3565 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 256682 0 0 0 356048 452 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 3059138 5930 1 0 3925996 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3460.79 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 89371 0 0 0 346017 62 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 1568 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 3565 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12236552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3556.7 s]
/proc/loadavg: 4.40 4.21 4.12 7/321 711669
/proc/meminfo: memFree=105193440/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3600.02 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 257822 0 0 0 359549 453 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4777044 3059138 5930 1 0 3925996 0
[pid=709573/tid=709578] ppid=709570 vsize=19108176 memory=12236552 CPUtime=3494.21 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 89824 0 0 0 349359 62 0 0 20 0 20 0 140068319 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140068322 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19108176 memory=12236552 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 1568 0 0 0 0 0 0 0 20 0 20 0 140068323 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709679] ppid=709570 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/709573/task/709679/stat : 709679 (Timer-0) S 709570 709573 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140068354 19566772224 3059138 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12236552 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.17 s, system=4.59264 s

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

[startup+3556.81 s]
/proc/loadavg: 4.40 4.21 4.12 7/321 711669
/proc/meminfo: memFree=105193440/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19307868 memory=12237208 CPUtime=3600.24 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 260301 0 0 0 359570 454 0 0 20 0 21 0 140068319 19771256832 3059302 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4826967 3059302 5929 1 0 3926899 0
[pid=709573/tid=709578] ppid=709570 vsize=19307868 memory=12236552 CPUtime=3494.32 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 89957 0 0 0 349370 62 0 0 20 0 21 0 140068319 19771256832 3059302 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19307868 memory=-9175632768541303484 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 140068322 19771256832 3059302 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19307868 memory=37036 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 1568 0 0 0 0 0 0 0 20 0 21 0 140068323 19771256832 3059302 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12237208 KiB

[startup+3557.01 s]*
/proc/loadavg: 4.40 4.21 4.12 8/322 711672
/proc/meminfo: memFree=105192868/131655788 swapFree=131071996/131071996
[pid=709573] ppid=709570 vsize=19307868 memory=12237280 CPUtime=3600.63 cores=0,2
/proc/709573/stat : 709573 (java) S 709570 709573 706088 0 -1 1077936128 260723 0 0 0 359609 454 0 0 20 0 21 0 140068319 19771256832 3059320 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
/proc/709573/statm: 4826967 3059320 5929 1 0 3926915 0
[pid=709573/tid=709578] ppid=709570 vsize=19307868 memory=-8816188158113129148 CPUtime=3494.52 cores=0,2
/proc/709573/task/709578/stat : 709578 (java) R 709570 709573 706088 0 -1 4194368 89957 0 0 0 349390 62 0 0 20 0 21 0 140068319 19771256832 3059320 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709602] ppid=709570 vsize=19307868 memory=5004 CPUtime=0 cores=0,2
/proc/709573/task/709602/stat : 709602 (Finalizer) S 709570 709573 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 140068322 19771256832 3059320 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=709610] ppid=709570 vsize=19307868 memory=1320444 CPUtime=0 cores=0,2
/proc/709573/task/709610/stat : 709610 (Common-Cleaner) S 709570 709573 706088 0 -1 1077936192 1568 0 0 0 0 0 0 0 20 0 21 0 140068323 19771256832 3059320 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
[pid=709573/tid=711671] ppid=709570 vsize=19307868 memory=2660 CPUtime=0.16 cores=0,2
/proc/709573/task/711671/stat : 711671 (Thread-0) R 709570 709573 706088 0 -1 4194368 802 0 0 0 16 0 0 0 20 0 21 0 140423991 19771256832 3059320 134679101440 94377978208256 94377978211952 140736750980736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94377978219768 94377978220560 94378000293888 140736750986221 140736750986311 140736750986311 140736750993352 0
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12237280 KiB

[startup+3557.11 s]*
/proc/loadavg: 4.40 4.21 4.12 9/304 711672
/proc/meminfo: memFree=117090992/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3557.12
CPU time (s): 3600.76
CPU user time (s): 3596.17
CPU system time (s): 4.59264
CPU usage (%): 101.227
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12237280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.17
system time used= 4.59264
maximum resident set size= 12238228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111371
involuntary context switches= 30137


# summary of solver processes directly reported to runsolver:
#   pid: 709573
#   total CPU time (s): 3600.76
#   total CPU user time (s): 3596.17
#   total CPU system time (s): 4.59264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5343 second user time and 33.5892 second system time

The end

Begin job on nodeC002 at 2024-07-13 15:58:35
IDJOB=4425064
IDBENCH=143164
IDSOLVER=3037
FILE ID=nodeC002/4425064-1720879102
RUNJOBID= nodeC002-1720879115-709547
SLURM_JOB_ID= 7483750
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425064-1720879102/watcher-4425064-1720879102 -o /tmp/evaluation-result-4425064-1720879102/solver-4425064-1720879102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720879115-709547 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4425064-1720879102.wbo

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

MD5SUM BENCH= c66f98de66363c027b91b13746033783
RANDOM SEED=1472407246

nodeC002.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		: 3050.274
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.38
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.184
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.31
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.159
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.38
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.179
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.31
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.209
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.38
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.172
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.31
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.183
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.38
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.213
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130075408 kB
MemAvailable:   129955376 kB
Buffers:          325184 kB
Cached:           403168 kB
SwapCached:            0 kB
Active:           478252 kB
Inactive:         603128 kB
Active(anon):       2588 kB
Inactive(anon):   388140 kB
Active(file):     475664 kB
Inactive(file):   214988 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1032 kB
Writeback:             0 kB
AnonPages:        352628 kB
Mapped:           101092 kB
Shmem:             37704 kB
KReclaimable:      58696 kB
Slab:             148832 kB
SReclaimable:      58696 kB
SUnreclaim:        90136 kB
KernelStack:        3680 kB
PageTables:         9544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     762200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            47264 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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:      160584 kB
DirectMap2M:     7084032 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC002 at 2024-07-13 16:57:52