Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPT | 13 | 534.904 | 270.02 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb |
| MD5SUM | 24615c0f37d61401b7b7596da6e70ed8 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 3.54146 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.10 c java.version 1.6.0_24 0.00/0.10 c os.name Linux 0.00/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.10 c os.arch amd64 0.00/0.10 c Free memory 501472288 0.00/0.10 c Max memory 7480803328 0.00/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.13 c No reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4119961-1467273498.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 1.11/0.57 c ... done. Wall clock time 0.442s. 1.11/0.57 c declared #vars 11200 1.11/0.57 c #constraints 478 1.11/0.57 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.11/0.57 c constraints type 1.11/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 174 1.11/0.57 c org.sat4j.minisat.constraints.card.MinWatchCard => 174 1.11/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 130 1.11/0.57 c 478 constraints processed. 1.11/0.57 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.11/0.57 c constraints type 1.11/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 174 1.11/0.57 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 174 1.11/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPb => 130 1.11/0.57 c 478 constraints processed. 1.11/0.57 c objective function length is 64 literals 2.63/0.92 c And the winner is solver0 3.10/1.23 c SATISFIABLE 3.10/1.23 c OPTIMIZING... 3.10/1.23 c Got one! Elapsed wall clock time (in seconds):1.104 3.10/1.23 o 25 3.10/1.29 c And the winner is solver0 3.69/1.73 c Got one! Elapsed wall clock time (in seconds):1.606 3.69/1.73 o 24 3.69/1.77 c And the winner is solver0 4.08/2.23 c Got one! Elapsed wall clock time (in seconds):2.107 4.08/2.23 o 21 4.51/2.43 c And the winner is solver0 4.71/2.73 c Got one! Elapsed wall clock time (in seconds):2.608 4.71/2.73 o 20 4.71/2.77 c And the winner is solver0 5.01/3.23 c Got one! Elapsed wall clock time (in seconds):3.109 5.01/3.23 o 19 5.01/3.30 c And the winner is solver0 5.44/3.74 c Got one! Elapsed wall clock time (in seconds):3.61 5.44/3.74 o 18 5.59/3.82 c And the winner is solver0 5.83/4.24 c Got one! Elapsed wall clock time (in seconds):4.111 5.83/4.24 o 17 5.95/4.35 c And the winner is solver0 6.21/4.74 c Got one! Elapsed wall clock time (in seconds):4.612 6.21/4.74 o 16 6.63/4.95 c cleaning 3950 clauses out of 7900 with flag 6017/7900 7.80/5.41 c cleaning 4975 clauses out of 9949 with flag 18028/13899 9.14/6.00 c cleaning 5987 clauses out of 11974 with flag 32030/20899 10.57/6.75 c cleaning 6994 clauses out of 13991 with flag 48127/28903 12.78/7.75 c cleaning 7996 clauses out of 15993 with flag 66137/37899 14.87/8.76 c cleaning 8999 clauses out of 17998 with flag 86358/47900 17.75/10.03 c cleaning 9999 clauses out of 19998 with flag 108474/58899 20.53/11.40 c cleaning 10999 clauses out of 22001 with flag 132585/70901 23.68/12.99 c cleaning 11998 clauses out of 24000 with flag 159749/83899 27.28/14.77 c cleaning 12995 clauses out of 26004 with flag 187981/97901 31.55/16.75 c cleaning 14003 clauses out of 28007 with flag 218037/112899 35.95/18.99 c cleaning 15000 clauses out of 30004 with flag 250086/128899 40.96/21.40 c cleaning 16002 clauses out of 32006 with flag 284179/145901 46.59/24.22 c cleaning 17000 clauses out of 34003 with flag 320330/163900 53.51/27.53 c cleaning 18002 clauses out of 36004 with flag 358411/182901 60.89/31.29 c cleaning 19001 clauses out of 38004 with flag 398605/202903 68.91/35.23 c cleaning 20001 clauses out of 40001 with flag 440875/223901 77.49/39.60 c cleaning 20997 clauses out of 41998 with flag 485546/245899 87.52/44.33 c cleaning 22002 clauses out of 44004 with flag 531805/268902 97.72/49.44 c cleaning 22999 clauses out of 46002 with flag 579974/292902 109.81/55.22 c cleaning 23997 clauses out of 48002 with flag 630728/317901 121.82/61.24 c cleaning 24997 clauses out of 50003 with flag 682834/343899 134.22/67.47 c cleaning 26006 clauses out of 52011 with flag 737311/370904 147.42/74.00 c cleaning 27000 clauses out of 54001 with flag 793411/398900 161.02/80.83 c cleaning 27997 clauses out of 56000 with flag 851472/427899 174.61/87.63 c cleaning 29002 clauses out of 58003 with flag 912308/457899 189.21/94.99 c cleaning 30000 clauses out of 60001 with flag 975946/488899 204.02/102.31 c cleaning 31002 clauses out of 62004 with flag 1042021/520902 220.20/110.47 c cleaning 32000 clauses out of 63999 with flag 1109881/553899 240.41/120.84 c cleaning 32999 clauses out of 65999 with flag 1178820/587899 259.24/130.06 c cleaning 33993 clauses out of 68000 with flag 1250658/622899 276.65/138.76 c And the winner is solver1 276.81/139.08 c Got one! Elapsed wall clock time (in seconds):138.952 276.81/139.08 o 15 284.34/142.61 c cleaning 34632 clauses out of 69263 with flag 11434/658155 287.36/144.13 c cleaning 20315 clauses out of 40635 with flag 25187/664159 289.56/145.30 c cleaning 13659 clauses out of 27317 with flag 41639/671156 291.76/146.35 c cleaning 10829 clauses out of 21663 with flag 60311/679161 293.96/147.41 c cleaning 9910 clauses out of 19830 with flag 81358/688157 296.16/148.59 c cleaning 9953 clauses out of 19919 with flag 104602/698156 298.94/149.93 c cleaning 10479 clauses out of 20965 with flag 131178/709155 301.74/151.39 c cleaning 11240 clauses out of 22486 with flag 159811/721155 304.96/152.99 c cleaning 12123 clauses out of 24248 with flag 190705/734157 308.54/154.79 c cleaning 13058 clauses out of 26125 with flag 224196/748157 312.94/156.94 c cleaning 14029 clauses out of 28065 with flag 261097/763155 317.74/159.35 c cleaning 15018 clauses out of 30037 with flag 299917/779156 322.94/161.99 c cleaning 16006 clauses out of 32018 with flag 344078/796155 329.15/165.03 c cleaning 17004 clauses out of 34012 with flag 389651/814155 336.14/168.54 c cleaning 18005 clauses out of 36009 with flag 437301/833156 343.94/172.40 c cleaning 19003 clauses out of 38007 with flag 488054/853159 352.34/176.66 c cleaning 19999 clauses out of 40001 with flag 540858/874156 366.78/184.60 c cleaning 21003 clauses out of 42005 with flag 595166/896159 377.17/189.84 c cleaning 21994 clauses out of 43998 with flag 653774/919155 389.68/195.79 c cleaning 22999 clauses out of 46004 with flag 715744/943155 403.29/202.53 c cleaning 24002 clauses out of 48007 with flag 785279/968157 420.99/211.20 c cleaning 25002 clauses out of 50009 with flag 865990/994161 421.78/211.56 c And the winner is solver1 421.94/211.97 c Got one! Elapsed wall clock time (in seconds):211.84 421.94/211.97 o 14 423.40/212.76 c cleaning 15031 clauses out of 30071 with flag 7175/999225 425.20/213.64 c cleaning 10514 clauses out of 21036 with flag 21878/1005221 426.80/214.50 c cleaning 8754 clauses out of 17522 with flag 39184/1012221 428.80/215.44 c cleaning 8377 clauses out of 16770 with flag 59233/1020223 431.90/216.74 c cleaning 8691 clauses out of 17393 with flag 82124/1029223 434.30/217.91 c cleaning 9350 clauses out of 18701 with flag 107313/1039222 436.88/219.20 c cleaning 10172 clauses out of 20351 with flag 135055/1050222 440.08/220.83 c cleaning 11084 clauses out of 22178 with flag 165346/1062221 443.88/222.74 c cleaning 12047 clauses out of 24094 with flag 199242/1075221 448.08/224.82 c cleaning 13021 clauses out of 26048 with flag 234926/1089222 452.68/227.19 c cleaning 14013 clauses out of 28029 with flag 271862/1104224 457.68/229.65 c cleaning 15003 clauses out of 30013 with flag 311328/1120221 463.08/232.39 c cleaning 16002 clauses out of 32010 with flag 355245/1137221 469.49/235.58 c cleaning 17003 clauses out of 34008 with flag 401875/1155221 476.88/239.21 c cleaning 18000 clauses out of 36005 with flag 451266/1174221 484.89/243.26 c cleaning 19003 clauses out of 38005 with flag 503920/1194221 495.74/248.15 c cleaning 20000 clauses out of 40003 with flag 558424/1215222 505.94/253.22 c cleaning 21000 clauses out of 42004 with flag 616831/1237223 521.05/261.87 c cleaning 22002 clauses out of 44004 with flag 675593/1260223 523.45/263.06 c And the winner is solver1 523.58/263.11 c Got one! Elapsed wall clock time (in seconds):262.984 523.58/263.11 o 13 525.81/264.28 c cleaning 16314 clauses out of 32627 with flag 12360/1270848 528.98/265.57 c cleaning 11156 clauses out of 22315 with flag 27288/1276850 530.78/266.47 c cleaning 9080 clauses out of 18159 with flag 44558/1283850 531.78/266.96 c And the winner is solver1 534.63/269.96 c >>>>>>>>>> Solver number 0 (8 answers) <<<<<<<<<<<<<<<<<< 534.63/269.96 c starts : 12477 534.63/269.96 c conflicts : 1288718 534.63/269.96 c decisions : 2013567 534.63/269.96 c propagations : 195337984 534.63/269.96 c inspects : 4406044629 534.63/269.96 c shortcuts : 0 534.63/269.96 c learnt literals : 0 534.63/269.96 c learnt binary clauses : 0 534.63/269.96 c learnt ternary clauses : 0 534.63/269.96 c learnt constraints : 1288718 534.63/269.96 c ignored constraints : 0 534.63/269.96 c root simplifications : 0 534.63/269.96 c removed literals (reason simplification) : 11050048 534.63/269.96 c reason swapping (by a shorter reason) : 0 534.63/269.96 c Calls to reduceDB : 75 534.63/269.96 c Number of update (reduction) of LBD : 124480 534.63/269.96 c Imported unit clauses : 0 534.63/269.96 c number of reductions to clauses (during analyze) : 0 534.63/269.96 c number of learned constraints concerned by reduction : 0 534.63/269.96 c number of learning phase by resolution : 0 534.63/269.96 c number of learning phase by cutting planes : 0 534.63/269.96 c speed (assignments/second) : 2.8504010506347585E7 534.63/269.96 c non guided choices 42856 534.63/269.96 c learnt constraints type 534.63/269.96 c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<< 534.63/269.96 c starts : 20 534.63/269.96 c conflicts : 1086 534.63/269.96 c decisions : 82235 534.63/269.96 c propagations : 383088 534.63/269.96 c inspects : 76701446 534.63/269.96 c shortcuts : 0 534.63/269.96 c learnt literals : 0 534.63/269.96 c learnt binary clauses : 0 534.63/269.96 c learnt ternary clauses : 0 534.63/269.96 c learnt constraints : 1085 534.63/269.96 c ignored constraints : 0 534.63/269.96 c root simplifications : 0 534.63/269.96 c removed literals (reason simplification) : 0 534.63/269.96 c reason swapping (by a shorter reason) : 0 534.63/269.96 c Calls to reduceDB : 0 534.63/269.96 c Number of update (reduction) of LBD : 0 534.63/269.96 c Imported unit clauses : 0 534.63/269.96 c number of reductions to clauses (during analyze) : 0 534.63/269.96 c number of learned constraints concerned by reduction : 0 534.63/269.96 c number of learning phase by resolution : 0 534.63/269.96 c number of learning phase by cutting planes : 0 534.63/269.96 c speed (assignments/second) : 1444.3887265529265 534.63/269.96 c non guided choices 22923 534.63/269.96 c learnt constraints type 534.63/269.96 s OPTIMUM FOUND 534.63/269.96 c Found 11 solution(s) 534.63/269.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 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 534.63/269.99 c objective function=13 534.63/269.99 c Total wall clock time (in seconds): 269.864
OK 13
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119961-1467273498/watcher-4119961-1467273498 -o /tmp/evaluation-result-4119961-1467273498/solver-4119961-1467273498 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467268188-8375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119961-1467273498.opb pid=10052 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.43 4.21 4.04 4/197 10055 /proc/meminfo: memFree=27805212/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/10055/stat : 10055 (java) D 10052 10055 7235 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 6381161 9515008 182 33554432000 1073741824 1073778376 140735242681264 140735242672296 224922517173 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2323 182 140 9 0 71 0 [startup+0.100119 s] /proc/loadavg: 4.43 4.21 4.04 4/197 10055 /proc/meminfo: memFree=27805212/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 6381161 9787879424 6020 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2389619 6020 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200281 s] /proc/loadavg: 4.43 4.21 4.04 4/197 10055 /proc/meminfo: memFree=27805212/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9558476 CPUtime=0.24 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 4791 0 1 0 23 1 0 0 20 0 18 0 6381161 9787879424 6860 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2389619 6860 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300287 s] /proc/loadavg: 4.43 4.21 4.04 4/197 10055 /proc/meminfo: memFree=27805212/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9558476 CPUtime=0.53 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 12650 0 1 0 49 4 0 0 20 0 18 0 6381161 9787879424 14014 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2389619 14014 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558476 [startup+0.700185 s] /proc/loadavg: 4.43 4.21 4.04 4/197 10055 /proc/meminfo: memFree=27805212/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 16932 0 1 0 178 5 0 0 20 0 22 0 6381161 10060525568 32067 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2456183 32067 2259 9 0 2446860 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 9824732 [startup+1.50081 s] /proc/loadavg: 4.43 4.21 4.04 4/217 10077 /proc/meminfo: memFree=27678492/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9824732 CPUtime=3.66 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 19656 0 1 0 357 9 0 0 20 0 20 0 6381161 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2456183 37734 2267 9 0 2446860 0 [pid=10055/tid=10057] ppid=10052 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/10055/task/10057/stat : 10057 (java) S 10052 10055 7235 0 -1 4202560 2457 0 1 0 52 3 0 0 20 0 20 0 6381162 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804040491896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10058] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10058/stat : 10058 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381163 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804012943528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10059] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10059/stat : 10059 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381163 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804011890984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10060] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10060/stat : 10060 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381163 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804010838440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10061] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10061/stat : 10061 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381163 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804009785896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10062] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10062/stat : 10062 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381163 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804008733352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10063] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10063/stat : 10063 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381163 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804007680808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10064] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10064/stat : 10064 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381163 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804006628264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10065] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10065/stat : 10065 (java) S 10052 10055 7235 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 6381163 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139804005575720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10066] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10066/stat : 10066 (java) S 10052 10055 7235 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 6381164 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803393755240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10067] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10067/stat : 10067 (java) S 10052 10055 7235 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 6381165 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803392701560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10068] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10068/stat : 10068 (java) S 10052 10055 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 6381165 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803391648904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10069] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10069/stat : 10069 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381167 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803390597648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10070] ppid=10052 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/10055/task/10070/stat : 10070 (java) S 10052 10055 7235 0 -1 4202560 9485 0 0 0 82 3 0 0 20 0 20 0 6381167 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803389545016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10071] ppid=10052 vsize=9824732 CPUtime=0.92 cores=0,2,4,6 /proc/10055/task/10071/stat : 10071 (java) S 10052 10055 7235 0 -1 4202560 6360 0 0 0 92 0 0 0 20 0 20 0 6381167 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803388492472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10072] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10072/stat : 10072 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381167 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803387440120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10073] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10073/stat : 10073 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 6381167 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803386387784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10076] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10076/stat : 10076 (java) S 10052 10055 7235 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 6381220 10060525568 37734 33554432000 1073741824 1073778376 140736985840224 139803383227432 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 9824732 [startup+3.10088 s] /proc/loadavg: 4.31 4.19 4.03 3/216 10083 /proc/meminfo: memFree=27643660/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9824732 CPUtime=5.01 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 19813 0 1 0 483 18 0 0 20 0 19 0 6381161 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2456183 48058 2280 9 0 2446860 0 [pid=10055/tid=10057] ppid=10052 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/10055/task/10057/stat : 10057 (java) S 10052 10055 7235 0 -1 4202560 2458 0 1 0 52 3 0 0 20 0 19 0 6381162 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804040491896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10058] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10058/stat : 10058 (java) S 10052 10055 7235 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6381163 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804012943528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10059] ppid=10052 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/10055/task/10059/stat : 10059 (java) S 10052 10055 7235 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 6381163 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804011890984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10060] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10060/stat : 10060 (java) S 10052 10055 7235 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6381163 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804010838440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10061] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10061/stat : 10061 (java) S 10052 10055 7235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6381163 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804009785896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10062] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10062/stat : 10062 (java) S 10052 10055 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6381163 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804008733352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10063] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10063/stat : 10063 (java) S 10052 10055 7235 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 6381163 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804007680808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10064] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10064/stat : 10064 (java) S 10052 10055 7235 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6381163 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804006628264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10065] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10065/stat : 10065 (java) S 10052 10055 7235 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6381163 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139804005575720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10066] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10066/stat : 10066 (java) S 10052 10055 7235 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 6381164 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803393755240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10067] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10067/stat : 10067 (java) S 10052 10055 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6381165 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803392701560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10068] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10068/stat : 10068 (java) S 10052 10055 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6381165 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803391648904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10069] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10069/stat : 10069 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803390597648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10070] ppid=10052 vsize=9824732 CPUtime=0.92 cores=0,2,4,6 /proc/10055/task/10070/stat : 10070 (java) S 10052 10055 7235 0 -1 4202560 9486 0 0 0 89 3 0 0 20 0 19 0 6381167 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803389545016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10071] ppid=10052 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/10055/task/10071/stat : 10071 (java) S 10052 10055 7235 0 -1 4202560 6360 0 0 0 104 0 0 0 20 0 19 0 6381167 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803388492472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10072] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10072/stat : 10072 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803387440120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10073] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10073/stat : 10073 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803386387784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10076] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10076/stat : 10076 (java) S 10052 10055 7235 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6381220 10060525568 48058 33554432000 1073741824 1073778376 140736985840224 139803383227432 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 5.01 Current children cumulated vsize (KiB) 9824732 [startup+6.30094 s] /proc/loadavg: 4.31 4.19 4.03 6/219 10101 /proc/meminfo: memFree=27584668/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9824732 CPUtime=9.76 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 22271 0 1 0 947 29 0 0 20 0 22 0 6381161 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2456183 62603 2285 9 0 2446860 0 [pid=10055/tid=10057] ppid=10052 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/10055/task/10057/stat : 10057 (java) S 10052 10055 7235 0 -1 4202560 2459 0 1 0 52 3 0 0 20 0 22 0 6381162 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804040491896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10058] ppid=10052 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/10055/task/10058/stat : 10058 (java) S 10052 10055 7235 0 -1 4202560 162 0 0 0 1 0 0 0 20 0 22 0 6381163 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804012943528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10059] ppid=10052 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/10055/task/10059/stat : 10059 (java) S 10052 10055 7235 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 22 0 6381163 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804011890984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10060] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10060/stat : 10060 (java) S 10052 10055 7235 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6381163 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804010838440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10061] ppid=10052 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/10055/task/10061/stat : 10061 (java) S 10052 10055 7235 0 -1 4202560 121 0 0 0 1 0 0 0 20 0 22 0 6381163 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804009785896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10062] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10062/stat : 10062 (java) S 10052 10055 7235 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 6381163 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804008733352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10063] ppid=10052 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/10055/task/10063/stat : 10063 (java) S 10052 10055 7235 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 6381163 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804007680808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10064] ppid=10052 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/10055/task/10064/stat : 10064 (java) S 10052 10055 7235 0 -1 4202560 54 0 0 0 3 0 0 0 20 0 22 0 6381163 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804006628264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10065] ppid=10052 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/10055/task/10065/stat : 10065 (java) S 10052 10055 7235 0 -1 4202560 42 0 0 0 2 0 0 0 20 0 22 0 6381163 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139804005575720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10066] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10066/stat : 10066 (java) S 10052 10055 7235 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 6381164 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803393755240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10067] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10067/stat : 10067 (java) S 10052 10055 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6381165 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803392701560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10068] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10068/stat : 10068 (java) S 10052 10055 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 6381165 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803391648904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10069] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10069/stat : 10069 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6381167 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803390597648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10070] ppid=10052 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/10055/task/10070/stat : 10070 (java) S 10052 10055 7235 0 -1 4202560 11213 0 0 0 123 3 0 0 20 0 22 0 6381167 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803389545016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10071] ppid=10052 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/10055/task/10071/stat : 10071 (java) S 10052 10055 7235 0 -1 4202560 6649 0 0 0 124 2 0 0 20 0 22 0 6381167 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803388492472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10072] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10072/stat : 10072 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6381167 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803387440120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10073] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10073/stat : 10073 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6381167 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803386387784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10076] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10076/stat : 10076 (java) S 10052 10055 7235 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 6381220 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803383227432 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10099] ppid=10052 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/10055/task/10099/stat : 10099 (java) R 10052 10055 7235 0 -1 4202560 6 0 0 0 149 0 0 0 20 0 22 0 6381635 10060525568 62603 33554432000 1073741824 1073778376 140736985840224 139803382174056 139803887273511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10100] ppid=10052 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 ################ # More data... # ################ [pid=10055/tid=10058] ppid=10052 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/10055/task/10058/stat : 10058 (java) S 10052 10055 7235 0 -1 4202560 817 0 0 0 171 28 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804012943528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10059] ppid=10052 vsize=9824732 CPUtime=2.21 cores=0,2,4,6 /proc/10055/task/10059/stat : 10059 (java) S 10052 10055 7235 0 -1 4202560 943 0 0 0 194 27 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804011890984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10060] ppid=10052 vsize=9824732 CPUtime=2.27 cores=0,2,4,6 /proc/10055/task/10060/stat : 10060 (java) S 10052 10055 7235 0 -1 4202560 1035 0 0 0 197 30 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804010838440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10061] ppid=10052 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/10055/task/10061/stat : 10061 (java) S 10052 10055 7235 0 -1 4202560 632 0 0 0 161 26 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804009785896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10062] ppid=10052 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/10055/task/10062/stat : 10062 (java) S 10052 10055 7235 0 -1 4202560 717 0 0 0 187 28 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804008733352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10063] ppid=10052 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/10055/task/10063/stat : 10063 (java) S 10052 10055 7235 0 -1 4202560 835 0 0 0 175 29 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804007680808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10064] ppid=10052 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/10055/task/10064/stat : 10064 (java) S 10052 10055 7235 0 -1 4202560 708 0 0 0 140 21 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804006628264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10065] ppid=10052 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/10055/task/10065/stat : 10065 (java) S 10052 10055 7235 0 -1 4202560 576 0 0 0 175 24 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804005575720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10066] ppid=10052 vsize=9824732 CPUtime=6.17 cores=0,2,4,6 /proc/10055/task/10066/stat : 10066 (java) S 10052 10055 7235 0 -1 4202560 3133 0 0 0 611 6 0 0 20 0 19 0 6381164 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803393755240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10067] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10067/stat : 10067 (java) S 10052 10055 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6381165 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803392701560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10068] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10068/stat : 10068 (java) S 10052 10055 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6381165 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803391648904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10069] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10069/stat : 10069 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803390597648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10070] ppid=10052 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/10055/task/10070/stat : 10070 (java) S 10052 10055 7235 0 -1 4202560 11845 0 0 0 157 3 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803389545016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10071] ppid=10052 vsize=9824732 CPUtime=1.54 cores=0,2,4,6 /proc/10055/task/10071/stat : 10071 (java) S 10052 10055 7235 0 -1 4202560 6665 0 0 0 152 2 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803388492472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10072] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10072/stat : 10072 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803387440120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10073] ppid=10052 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/10055/task/10073/stat : 10073 (java) S 10052 10055 7235 0 -1 4202560 15 0 0 0 3 4 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803386387784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10101] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10101/stat : 10101 (java) S 10052 10055 7235 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6381635 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803384280232 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 531.91 Current children cumulated vsize (KiB) 9824732 [startup+268.801 s] /proc/loadavg: 2.71 3.67 3.87 2/188 10174 /proc/meminfo: memFree=27529672/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9824732 CPUtime=533.52 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 33403 0 1 0 53072 280 0 0 20 0 19 0 6381161 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2456183 958559 2294 9 0 2446860 0 [pid=10055/tid=10057] ppid=10052 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/10055/task/10057/stat : 10057 (java) R 10052 10055 7235 0 -1 4202560 2467 0 1 0 211 4 0 0 20 0 19 0 6381162 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804040491560 139803886884802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10058] ppid=10052 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/10055/task/10058/stat : 10058 (java) S 10052 10055 7235 0 -1 4202560 817 0 0 0 171 28 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804012943528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10059] ppid=10052 vsize=9824732 CPUtime=2.21 cores=0,2,4,6 /proc/10055/task/10059/stat : 10059 (java) S 10052 10055 7235 0 -1 4202560 943 0 0 0 194 27 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804011890984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10060] ppid=10052 vsize=9824732 CPUtime=2.27 cores=0,2,4,6 /proc/10055/task/10060/stat : 10060 (java) S 10052 10055 7235 0 -1 4202560 1035 0 0 0 197 30 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804010838440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10061] ppid=10052 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/10055/task/10061/stat : 10061 (java) S 10052 10055 7235 0 -1 4202560 632 0 0 0 161 26 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804009785896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10062] ppid=10052 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/10055/task/10062/stat : 10062 (java) S 10052 10055 7235 0 -1 4202560 717 0 0 0 187 28 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804008733352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10063] ppid=10052 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/10055/task/10063/stat : 10063 (java) S 10052 10055 7235 0 -1 4202560 835 0 0 0 175 29 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804007680808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10064] ppid=10052 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/10055/task/10064/stat : 10064 (java) S 10052 10055 7235 0 -1 4202560 708 0 0 0 140 21 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804006628264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10065] ppid=10052 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/10055/task/10065/stat : 10065 (java) S 10052 10055 7235 0 -1 4202560 576 0 0 0 175 24 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804005575720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10066] ppid=10052 vsize=9824732 CPUtime=6.17 cores=0,2,4,6 /proc/10055/task/10066/stat : 10066 (java) S 10052 10055 7235 0 -1 4202560 3133 0 0 0 611 6 0 0 20 0 19 0 6381164 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803393755240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10067] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10067/stat : 10067 (java) S 10052 10055 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6381165 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803392701560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10068] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10068/stat : 10068 (java) S 10052 10055 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6381165 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803391648904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10069] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10069/stat : 10069 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803390597648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10070] ppid=10052 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/10055/task/10070/stat : 10070 (java) S 10052 10055 7235 0 -1 4202560 11845 0 0 0 158 3 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803389545016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10071] ppid=10052 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/10055/task/10071/stat : 10071 (java) S 10052 10055 7235 0 -1 4202560 6665 0 0 0 155 2 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803388492472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10072] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10072/stat : 10072 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803387440120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10073] ppid=10052 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/10055/task/10073/stat : 10073 (java) S 10052 10055 7235 0 -1 4202560 15 0 0 0 4 4 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803386387784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10101] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10101/stat : 10101 (java) S 10052 10055 7235 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6381635 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803384280232 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 533.52 Current children cumulated vsize (KiB) 9824732 [startup+269.608 s] /proc/loadavg: 2.71 3.67 3.87 2/188 10174 /proc/meminfo: memFree=27529672/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9824732 CPUtime=534.33 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 33403 0 1 0 53153 280 0 0 20 0 19 0 6381161 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2456183 958559 2294 9 0 2446860 0 [pid=10055/tid=10057] ppid=10052 vsize=9824732 CPUtime=2.96 cores=0,2,4,6 /proc/10055/task/10057/stat : 10057 (java) R 10052 10055 7235 0 -1 4202560 2467 0 1 0 292 4 0 0 20 0 19 0 6381162 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804040491656 139803887585164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10058] ppid=10052 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/10055/task/10058/stat : 10058 (java) S 10052 10055 7235 0 -1 4202560 817 0 0 0 171 28 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804012943528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10059] ppid=10052 vsize=9824732 CPUtime=2.21 cores=0,2,4,6 /proc/10055/task/10059/stat : 10059 (java) S 10052 10055 7235 0 -1 4202560 943 0 0 0 194 27 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804011890984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10060] ppid=10052 vsize=9824732 CPUtime=2.27 cores=0,2,4,6 /proc/10055/task/10060/stat : 10060 (java) S 10052 10055 7235 0 -1 4202560 1035 0 0 0 197 30 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804010838440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10061] ppid=10052 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/10055/task/10061/stat : 10061 (java) S 10052 10055 7235 0 -1 4202560 632 0 0 0 161 26 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804009785896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10062] ppid=10052 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/10055/task/10062/stat : 10062 (java) S 10052 10055 7235 0 -1 4202560 717 0 0 0 187 28 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804008733352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10063] ppid=10052 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/10055/task/10063/stat : 10063 (java) S 10052 10055 7235 0 -1 4202560 835 0 0 0 175 29 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804007680808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10064] ppid=10052 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/10055/task/10064/stat : 10064 (java) S 10052 10055 7235 0 -1 4202560 708 0 0 0 140 21 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804006628264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10065] ppid=10052 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/10055/task/10065/stat : 10065 (java) S 10052 10055 7235 0 -1 4202560 576 0 0 0 175 24 0 0 20 0 19 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804005575720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10066] ppid=10052 vsize=9824732 CPUtime=6.17 cores=0,2,4,6 /proc/10055/task/10066/stat : 10066 (java) S 10052 10055 7235 0 -1 4202560 3133 0 0 0 611 6 0 0 20 0 19 0 6381164 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803393755240 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10067] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10067/stat : 10067 (java) S 10052 10055 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6381165 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803392701560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10068] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10068/stat : 10068 (java) S 10052 10055 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6381165 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803391648904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10069] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10069/stat : 10069 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803390597648 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10070] ppid=10052 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/10055/task/10070/stat : 10070 (java) S 10052 10055 7235 0 -1 4202560 11845 0 0 0 158 3 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803389545016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10071] ppid=10052 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/10055/task/10071/stat : 10071 (java) S 10052 10055 7235 0 -1 4202560 6665 0 0 0 155 2 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803388492472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10072] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10072/stat : 10072 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803387440120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10073] ppid=10052 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/10055/task/10073/stat : 10073 (java) S 10052 10055 7235 0 -1 4202560 15 0 0 0 4 4 0 0 20 0 19 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803386387784 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10101] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10101/stat : 10101 (java) S 10052 10055 7235 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6381635 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803384280232 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 534.33 Current children cumulated vsize (KiB) 9824732 [startup+270.001 s] /proc/loadavg: 2.71 3.67 3.87 2/188 10174 /proc/meminfo: memFree=27529672/32872528 swapFree=171304/177436 [pid=10055] ppid=10052 vsize=9824732 CPUtime=534.76 cores=0,2,4,6 /proc/10055/stat : 10055 (java) S 10052 10055 7235 0 -1 4202496 33411 0 1 0 53193 283 0 0 20 0 17 0 6381161 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 140736985831360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10055/statm: 2456183 958559 2296 9 0 2446860 0 [pid=10055/tid=10057] ppid=10052 vsize=9824732 CPUtime=3.32 cores=0,2,4,6 /proc/10055/task/10057/stat : 10057 (java) S 10052 10055 7235 0 -1 4202560 2468 0 1 0 328 4 0 0 20 0 17 0 6381162 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804040491704 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10058] ppid=10052 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/10055/task/10058/stat : 10058 (java) S 10052 10055 7235 0 -1 4202560 817 0 0 0 171 28 0 0 20 0 17 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804012943528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10059] ppid=10052 vsize=9824732 CPUtime=2.21 cores=0,2,4,6 /proc/10055/task/10059/stat : 10059 (java) S 10052 10055 7235 0 -1 4202560 943 0 0 0 194 27 0 0 20 0 17 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804011890984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10060] ppid=10052 vsize=9824732 CPUtime=2.27 cores=0,2,4,6 /proc/10055/task/10060/stat : 10060 (java) S 10052 10055 7235 0 -1 4202560 1035 0 0 0 197 30 0 0 20 0 17 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804010838440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10061] ppid=10052 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/10055/task/10061/stat : 10061 (java) S 10052 10055 7235 0 -1 4202560 632 0 0 0 161 26 0 0 20 0 17 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804009785896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10062] ppid=10052 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/10055/task/10062/stat : 10062 (java) S 10052 10055 7235 0 -1 4202560 717 0 0 0 187 28 0 0 20 0 17 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804008733352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10063] ppid=10052 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/10055/task/10063/stat : 10063 (java) S 10052 10055 7235 0 -1 4202560 835 0 0 0 175 29 0 0 20 0 17 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804007680808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10064] ppid=10052 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/10055/task/10064/stat : 10064 (java) S 10052 10055 7235 0 -1 4202560 708 0 0 0 140 21 0 0 20 0 17 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804006628264 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10065] ppid=10052 vsize=9824732 CPUtime=1.99 cores=0,2,4,6 /proc/10055/task/10065/stat : 10065 (java) S 10052 10055 7235 0 -1 4202560 576 0 0 0 175 24 0 0 20 0 17 0 6381163 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139804005575720 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10066] ppid=10052 vsize=9824732 CPUtime=6.18 cores=0,2,4,6 /proc/10055/task/10066/stat : 10066 (java) S 10052 10055 7235 0 -1 4202560 3134 0 0 0 612 6 0 0 20 0 17 0 6381164 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803393754792 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10055/tid=10067] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10067/stat : 10067 (java) S 10052 10055 7235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 6381165 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803392701560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10068] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10068/stat : 10068 (java) S 10052 10055 7235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 6381165 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803391648904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10069] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10069/stat : 10069 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803390596680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10055/tid=10070] ppid=10052 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/10055/task/10070/stat : 10070 (java) S 10052 10055 7235 0 -1 4202560 11846 0 0 0 158 3 0 0 20 0 17 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803389521944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10055/tid=10071] ppid=10052 vsize=9824732 CPUtime=1.59 cores=0,2,4,6 /proc/10055/task/10071/stat : 10071 (java) S 10052 10055 7235 0 -1 4202560 6666 0 0 0 157 2 0 0 20 0 17 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803388469400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10055/tid=10072] ppid=10052 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10055/task/10072/stat : 10072 (java) S 10052 10055 7235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 6381167 10060525568 958559 33554432000 1073741824 1073778376 140736985840224 139803387440120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 534.76 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 270.02 CPU time (s): 534.904 CPU user time (s): 531.89 CPU system time (s): 3.01354 CPU usage (%): 198.098 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 531.89 system time used= 3.01354 maximum resident set size= 3834264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33411 page faults= 1 swaps= 0 block input operations= 0 block output operations= 312 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7423 involuntary context switches= 10732 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.85672 second user time and 2.52761 second system time The end
Begin job on node105 at 2016-06-30 09:58:18 IDJOB=4119961 IDBENCH=111825 IDSOLVER=2543 FILE ID=node105/4119961-1467273498 RUNJOBID= node105-1467268188-8375 PBS_JOBID= 20004488 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119961-1467273498/watcher-4119961-1467273498 -o /tmp/evaluation-result-4119961-1467273498/solver-4119961-1467273498 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467268188-8375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119961-1467273498.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24615c0f37d61401b7b7596da6e70ed8 RANDOM SEED=1588694457 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.487 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27805104 kB Buffers: 132184 kB Cached: 436704 kB SwapCached: 0 kB Active: 3723424 kB Inactive: 407624 kB Active(anon): 3556660 kB Inactive(anon): 7948 kB Active(file): 166764 kB Inactive(file): 399676 kB Unevictable: 177436 kB Mlocked: 171304 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 3782408 kB Mapped: 22232 kB Shmem: 204 kB Slab: 610132 kB SReclaimable: 54164 kB SUnreclaim: 555968 kB KernelStack: 1808 kB PageTables: 11852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4162420 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3436544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71728 MiB End job on node105 at 2016-06-30 10:02:48