Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 38008 | 1800.35 | 1167.1 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb |
MD5SUM | 7a59cd2d9b82be306fe717119e5558d0 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37941 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31955 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 426 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 404 |
Number of terms in the objective function | 7195 |
Biggest coefficient in the objective function | 2679 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3908448 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2679 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3908448 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.24/0.22 c Pseudo Boolean Optimization 0.24/0.22 c ManyCore solver with 2 solvers running in parallel 0.24/0.22 c --- Begin Solver configuration --- 0.24/0.22 c Stops conflict analysis at the first Unique Implication Point 0.24/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.24/0.22 c Learn all clauses as in MiniSAT 0.24/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.22 c Expensive reason simplification 0.24/0.22 c Armin Biere (Picosat) restarts strategy 0.24/0.22 c Glucose learned constraints deletion strategy 0.24/0.22 c timeout=2147483s 0.24/0.22 c DB Simplification allowed=false 0.24/0.22 c --- End Solver configuration --- 0.24/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.24/0.22 c --- Begin Solver configuration --- 0.24/0.22 c Stops conflict analysis at the first Unique Implication Point 0.24/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.24/0.22 c Learn all clauses as in MiniSAT 0.24/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.24/0.22 c No reason simplification 0.24/0.22 c Armin Biere (Picosat) restarts strategy 0.24/0.22 c Glucose learned constraints deletion strategy 0.24/0.22 c timeout=2147483s 0.24/0.22 c DB Simplification allowed=false 0.24/0.22 c --- End Solver configuration --- 0.24/0.22 0.24/0.22 c solving HOME/instance-2662425-1276347626.opb 0.24/0.22 c reading problem ... 1.65/1.10 c ... done. Wall clock time 0.874s. 1.65/1.10 c #vars 7195 1.65/1.10 c #constraints 852 1.65/1.10 c constraints type 1.65/1.10 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 426 1.65/1.10 c org.sat4j.minisat.constraints.card.MinWatchCard => 426 1.65/1.10 c constraints type 1.65/1.10 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 426 1.65/1.10 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 426 4.12/2.38 c And the winner is Resolution 4.30/3.18 c SATISFIABLE 4.30/3.18 c OPTIMIZING... 4.30/3.18 c Got one! Elapsed wall clock time (in seconds):2.961 4.30/3.18 o 43760 7.75/4.93 c And the winner is Resolution 7.93/5.32 c Got one! Elapsed wall clock time (in seconds):5.097 7.93/5.32 o 43646 11.23/7.05 c cleaning 2485 clauses out of 4991 with flag 5001/5001 12.93/7.93 c And the winner is Resolution 16.09/11.46 c Got one! Elapsed wall clock time (in seconds):11.239 16.09/11.46 o 43577 22.38/14.67 c And the winner is Resolution 22.55/15.56 c Got one! Elapsed wall clock time (in seconds):15.343 22.55/15.56 o 42913 23.43/16.03 c cleaning 4244 clauses out of 8502 with flag 11003/11003 34.46/21.69 c And the winner is Resolution 37.20/24.66 c Got one! Elapsed wall clock time (in seconds):24.439 37.20/24.66 o 42822 38.87/25.54 c cleaning 5561 clauses out of 11255 with flag 18001/18001 48.87/30.62 c And the winner is Resolution 49.04/31.76 c Got one! Elapsed wall clock time (in seconds):31.537 49.04/31.76 o 42685 53.30/33.96 c cleaning 6805 clauses out of 13687 with flag 26000/26000 55.13/34.94 c And the winner is Resolution 59.25/39.86 c Got one! Elapsed wall clock time (in seconds):39.635 59.25/39.86 o 42408 72.64/46.60 c And the winner is Resolution 75.16/49.95 c Got one! Elapsed wall clock time (in seconds):49.73 75.16/49.95 o 42400 76.07/50.49 c cleaning 7930 clauses out of 15867 with flag 35003/35003 87.05/56.02 c And the winner is Resolution 171.38/140.22 c Got one! Elapsed wall clock time (in seconds):139.996 171.38/140.22 o 41952 180.07/144.67 c cleaning 8941 clauses out of 17933 with flag 45001/45001 188.04/148.74 c And the winner is Resolution 191.40/152.38 c Got one! Elapsed wall clock time (in seconds):152.162 191.40/152.38 o 41871 202.75/158.14 c cleaning 9410 clauses out of 18989 with flag 55000/55000 221.76/167.81 c cleaning 9739 clauses out of 19576 with flag 65002/65002 247.27/180.88 c cleaning 9844 clauses out of 19825 with flag 75002/75002 267.13/190.99 c cleaning 9920 clauses out of 19979 with flag 85000/85000 281.77/198.43 c And the winner is Resolution 287.83/204.57 c Got one! Elapsed wall clock time (in seconds):204.351 287.83/204.57 o 41649 291.48/206.44 c cleaning 9964 clauses out of 20054 with flag 95000/95000 314.65/218.29 c cleaning 10000 clauses out of 20090 with flag 105000/105000 323.45/222.81 c And the winner is Resolution 376.79/276.90 c Got one! Elapsed wall clock time (in seconds):276.682 376.79/276.90 o 41548 389.06/283.17 c cleaning 9927 clauses out of 20079 with flag 115001/115001 405.06/291.32 c And the winner is Resolution 407.31/294.02 c Got one! Elapsed wall clock time (in seconds):293.799 407.31/294.02 o 41504 410.24/295.53 c cleaning 9978 clauses out of 20142 with flag 125001/125001 411.39/296.28 c And the winner is Resolution 425.26/310.14 c Got one! Elapsed wall clock time (in seconds):309.915 425.26/310.14 o 41462 428.77/311.91 c And the winner is Resolution 450.25/334.27 c Got one! Elapsed wall clock time (in seconds):334.047 450.25/334.27 o 41411 466.02/342.26 c cleaning 9871 clauses out of 20162 with flag 135001/135001 486.22/352.54 c cleaning 10061 clauses out of 20286 with flag 145002/145002 507.50/363.40 c cleaning 10026 clauses out of 20217 with flag 155000/155000 511.61/365.66 c And the winner is Resolution 512.71/366.71 c Got one! Elapsed wall clock time (in seconds):366.485 512.71/366.71 o 41308 528.53/374.79 c cleaning 10075 clauses out of 20190 with flag 165000/165000 548.50/384.96 c cleaning 9961 clauses out of 20115 with flag 175000/175000 555.59/388.64 c And the winner is Resolution 590.07/423.90 c Got one! Elapsed wall clock time (in seconds):423.681 590.07/423.90 o 40612 596.16/427.05 c And the winner is Resolution 599.22/430.01 c Got one! Elapsed wall clock time (in seconds):429.788 599.22/430.01 o 39075 605.14/433.01 c cleaning 9984 clauses out of 20154 with flag 185000/185000 606.20/433.73 c And the winner is Resolution 653.51/481.51 c Got one! Elapsed wall clock time (in seconds):481.282 653.51/481.51 o 38897 655.65/482.67 c And the winner is Resolution 677.65/504.63 c Got one! Elapsed wall clock time (in seconds):504.411 677.65/504.63 o 38535 679.16/505.40 c And the winner is Resolution 856.92/683.09 c Got one! Elapsed wall clock time (in seconds):682.87 856.92/683.09 o 38008 871.45/690.44 c cleaning 10000 clauses out of 20167 with flag 195000/195000 892.85/701.33 c cleaning 10021 clauses out of 20167 with flag 205000/205000 911.86/711.07 c cleaning 9985 clauses out of 20147 with flag 215001/215001 927.91/719.24 c cleaning 9995 clauses out of 20163 with flag 225002/225002 946.06/728.52 c cleaning 10032 clauses out of 20163 with flag 235000/235000 963.09/737.26 c cleaning 10023 clauses out of 20132 with flag 245001/245001 985.41/748.63 c cleaning 9990 clauses out of 20108 with flag 255001/255001 1005.23/758.77 c cleaning 9929 clauses out of 20116 with flag 265000/265000 1022.76/767.71 c cleaning 10027 clauses out of 20188 with flag 275001/275001 1038.18/775.67 c cleaning 10009 clauses out of 20160 with flag 285000/285000 1063.17/788.31 c cleaning 9997 clauses out of 20154 with flag 295003/295003 1087.31/800.61 c cleaning 9939 clauses out of 20154 with flag 305000/305000 1115.62/815.03 c cleaning 9965 clauses out of 20215 with flag 315000/315000 1136.15/825.88 c cleaning 10049 clauses out of 20245 with flag 325000/325000 1156.11/836.39 c cleaning 10051 clauses out of 20193 with flag 335000/335000 1175.71/846.38 c cleaning 9988 clauses out of 20144 with flag 345002/345002 1196.23/856.90 c cleaning 9955 clauses out of 20153 with flag 355000/355000 1219.31/868.64 c cleaning 10053 clauses out of 20197 with flag 365001/365001 1236.92/877.67 c cleaning 9977 clauses out of 20144 with flag 375002/375002 1253.29/886.01 c cleaning 9978 clauses out of 20165 with flag 385000/385000 1275.33/897.35 c cleaning 9997 clauses out of 20180 with flag 395001/395001 1296.07/907.98 c cleaning 9999 clauses out of 20183 with flag 405001/405001 1317.65/918.96 c cleaning 9999 clauses out of 20183 with flag 415000/415000 1340.02/930.38 c cleaning 10006 clauses out of 20184 with flag 425000/425000 1363.89/942.53 c cleaning 9979 clauses out of 20178 with flag 435000/435000 1382.08/951.89 c cleaning 10008 clauses out of 20199 with flag 445000/445000 1400.45/961.24 c cleaning 10018 clauses out of 20192 with flag 455001/455001 1421.18/971.81 c cleaning 10001 clauses out of 20172 with flag 465001/465001 1442.15/982.63 c cleaning 10027 clauses out of 20168 with flag 475000/475000 1462.85/993.22 c cleaning 9994 clauses out of 20142 with flag 485001/485001 1482.56/1003.34 c cleaning 9998 clauses out of 20148 with flag 495001/495001 1508.06/1016.39 c cleaning 9973 clauses out of 20147 with flag 505000/505000 1528.82/1027.09 c cleaning 9997 clauses out of 20175 with flag 515001/515001 1549.47/1037.68 c cleaning 10024 clauses out of 20176 with flag 525000/525000 1576.85/1051.62 c cleaning 10026 clauses out of 20153 with flag 535001/535001 1607.14/1067.16 c cleaning 9957 clauses out of 20127 with flag 545001/545001 1633.96/1080.97 c cleaning 10038 clauses out of 20171 with flag 555002/555002 1654.97/1091.72 c cleaning 9971 clauses out of 20133 with flag 565002/565002 1673.35/1101.23 c cleaning 10007 clauses out of 20161 with flag 575001/575001 1690.53/1110.18 c cleaning 9997 clauses out of 20153 with flag 585000/585000 1709.20/1119.81 c cleaning 10004 clauses out of 20156 with flag 595000/595000 1728.23/1129.63 c cleaning 9934 clauses out of 20150 with flag 605001/605001 1745.29/1138.43 c cleaning 9987 clauses out of 20217 with flag 615002/615002 1762.13/1147.13 c cleaning 9987 clauses out of 20228 with flag 625000/625000 1778.84/1155.84 c cleaning 10000 clauses out of 20243 with flag 635002/635002 1797.50/1165.41 c cleaning 10004 clauses out of 20243 with flag 645002/645002 1800.02/1166.91 c starts : 174 1800.02/1166.91 c conflicts : 646441 1800.02/1166.91 c decisions : 3822111 1800.02/1166.91 c propagations : 46747960 1800.02/1166.91 c inspects : 274406545 1800.02/1166.91 c learnt literals : 142 1800.02/1166.91 c learnt binary clauses : 188 1800.02/1166.91 c learnt ternary clauses : 219 1800.02/1166.91 c learnt clauses : 646298 1800.02/1166.91 c ignored clauses : 0 1800.02/1166.91 c root simplifications : 0 1800.02/1166.91 c removed literals (reason simplification) : 112083287 1800.02/1166.91 c reason swapping (by a shorter reason) : 0 1800.02/1166.91 c Calls to reduceDB : 66 1800.02/1166.91 c number of reductions to clauses (during analyze) : 0 1800.02/1166.91 c number of learned constraints concerned by reduction : 0 1800.02/1166.91 c number of learning phase by resolution : 0 1800.02/1166.91 c number of learning phase by cutting planes : 0 1800.02/1166.91 c speed (assignments/second) : 96627.62120319557 1800.02/1166.91 c non guided choices 700 1800.02/1166.98 c learnt constraints type 1800.02/1166.98 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11557 1800.02/1166.98 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 188 1800.02/1166.98 c constraints type 1800.02/1166.98 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 426 1800.02/1166.98 c org.sat4j.minisat.constraints.card.MinWatchCard => 426 1800.02/1166.98 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.02/1166.98 c constraints type 1800.02/1166.98 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 426 1800.02/1166.98 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 426 1800.02/1166.98 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.02/1166.98 s SATISFIABLE 1800.02/1167.01 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 1800.25/1167.05 c objective function=38008 1800.25/1167.05 c Total wall clock time (in seconds): 1166.825
OK 38008
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662425-1276347626/watcher-2662425-1276347626 -o /tmp/evaluation-result-2662425-1276347626/solver-2662425-1276347626 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662425-1276347626.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 0.99 3/106 12432 /proc/meminfo: memFree=1602924/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1752 CPUtime=0 /proc/12432/stat : 12432 (java6) R 12430 12432 11138 0 -1 4194304 162 0 0 0 0 0 0 0 19 0 1 0 10364206 1794048 79 1992294400 134512640 134550932 4291547456 18446744073709551615 2281478 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12432/statm: 438 81 63 10 0 30 0 [startup+0.0207041 s] /proc/loadavg: 0.92 1.00 0.99 3/106 12432 /proc/meminfo: memFree=1602924/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=13684 CPUtime=0.01 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 1185 0 0 0 0 1 0 0 15 0 2 0 10364206 14012416 631 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 3421 631 307 10 0 1206 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13684 [startup+0.101704 s] /proc/loadavg: 0.92 1.00 0.99 3/106 12432 /proc/meminfo: memFree=1602924/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1524180 CPUtime=0.08 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 3958 0 1 0 6 2 0 0 15 0 12 0 10364206 1560760320 3396 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 381045 3396 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.343089 s] /proc/loadavg: 0.92 1.00 0.99 3/106 12432 /proc/meminfo: memFree=1602924/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1526988 CPUtime=0.45 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 5691 0 1 0 42 3 0 0 15 0 12 0 10364206 1563635712 5127 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 381747 5127 1368 10 0 379050 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 1526988 [startup+0.700094 s] /proc/loadavg: 0.92 1.00 0.99 3/106 12432 /proc/meminfo: memFree=1602924/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1528132 CPUtime=1.13 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 8382 0 1 0 109 4 0 0 15 0 12 0 10364206 1564807168 7700 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 382033 7700 1402 10 0 379336 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 1528132 [startup+1.50111 s] /proc/loadavg: 0.92 1.00 0.99 2/118 12444 /proc/meminfo: memFree=1533452/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1530676 CPUtime=2.54 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 27688 0 1 0 243 11 0 0 15 0 16 0 10364206 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 382669 26723 1427 10 0 379972 0 [pid=12432/tid=12434] ppid=12430 vsize=1530676 CPUtime=1.06 /proc/12432/task/12434/stat : 12434 (java) S 12430 12432 11138 0 -1 4202560 21126 0 1 0 98 8 0 0 25 0 16 0 10364208 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12435] ppid=12430 vsize=1530676 CPUtime=0 /proc/12432/task/12435/stat : 12435 (java) S 12430 12432 11138 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 10364209 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12436] ppid=12430 vsize=1530676 CPUtime=0 /proc/12432/task/12436/stat : 12436 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 10364209 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12437] ppid=12430 vsize=1530676 CPUtime=0 /proc/12432/task/12437/stat : 12437 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 10364211 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12438] ppid=12430 vsize=1530676 CPUtime=0 /proc/12432/task/12438/stat : 12438 (java) S 12430 12432 11138 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 10364211 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12439] ppid=12430 vsize=1530676 CPUtime=0 /proc/12432/task/12439/stat : 12439 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 10364211 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12440] ppid=12430 vsize=1530676 CPUtime=0 /proc/12432/task/12440/stat : 12440 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 10364216 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12441] ppid=12430 vsize=1530676 CPUtime=0.25 /proc/12432/task/12441/stat : 12441 (java) R 12430 12432 11138 0 -1 4202560 131 0 0 0 25 0 0 0 19 0 16 0 10364216 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 104163913 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12432/tid=12442] ppid=12430 vsize=1530676 CPUtime=0.87 /proc/12432/task/12442/stat : 12442 (java) S 12430 12432 11138 0 -1 4202560 1744 0 0 0 87 0 0 0 16 0 16 0 10364216 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12443] ppid=12430 vsize=1530676 CPUtime=0 /proc/12432/task/12443/stat : 12443 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 10364216 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12444] ppid=12430 vsize=1530676 CPUtime=0 /proc/12432/task/12444/stat : 12444 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 10364216 1567412224 26723 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 1530676 [startup+3.10013 s] /proc/loadavg: 0.92 1.00 0.99 6/122 12448 /proc/meminfo: memFree=1497956/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1531540 CPUtime=4.3 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 29208 0 1 0 418 12 0 0 15 0 14 0 10364206 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 382885 27789 1432 10 0 380188 0 [pid=12432/tid=12434] ppid=12430 vsize=1531540 CPUtime=1.06 /proc/12432/task/12434/stat : 12434 (java) S 12430 12432 11138 0 -1 4202560 21126 0 1 0 98 8 0 0 18 0 14 0 10364208 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12435] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12435/stat : 12435 (java) S 12430 12432 11138 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 14 0 10364209 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12436] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12436/stat : 12436 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 14 0 10364209 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12437] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12437/stat : 12437 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 10364211 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12438] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12438/stat : 12438 (java) S 12430 12432 11138 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 14 0 10364211 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12439] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12439/stat : 12439 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 10364211 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12440] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12440/stat : 12440 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 10364216 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12441] ppid=12430 vsize=1531540 CPUtime=0.64 /proc/12432/task/12441/stat : 12441 (java) S 12430 12432 11138 0 -1 4202560 662 0 0 0 64 0 0 0 17 0 14 0 10364216 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12442] ppid=12430 vsize=1531540 CPUtime=1.56 /proc/12432/task/12442/stat : 12442 (java) S 12430 12432 11138 0 -1 4202560 1973 0 0 0 156 0 0 0 15 0 14 0 10364216 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12443] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12443/stat : 12443 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 10364216 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12444] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12444/stat : 12444 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 14 0 10364216 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12447] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12447/stat : 12447 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 10364352 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12448] ppid=12430 vsize=1531540 CPUtime=0 /proc/12432/task/12448/stat : 12448 (java) S 12430 12432 11138 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 14 0 10364354 1568296960 27789 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 1531540 [startup+6.30118 s] /proc/loadavg: 1.01 1.02 1.00 3/122 12454 /proc/meminfo: memFree=1464476/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1534720 CPUtime=9.85 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 42266 0 1 0 966 19 0 0 15 0 16 0 10364206 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 383680 39743 1442 10 0 380983 0 [pid=12432/tid=12434] ppid=12430 vsize=1534720 CPUtime=1.25 /proc/12432/task/12434/stat : 12434 (java) S 12430 12432 11138 0 -1 4202560 22162 0 1 0 117 8 0 0 19 0 16 0 10364208 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12435] ppid=12430 vsize=1534720 CPUtime=0.06 /proc/12432/task/12435/stat : 12435 (java) S 12430 12432 11138 0 -1 4202560 2850 0 0 0 5 1 0 0 16 0 16 0 10364209 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12436] ppid=12430 vsize=1534720 CPUtime=0.05 /proc/12432/task/12436/stat : 12436 (java) S 12430 12432 11138 0 -1 4202560 1939 0 0 0 5 0 0 0 18 0 16 0 10364209 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12437] ppid=12430 vsize=1534720 CPUtime=0 /proc/12432/task/12437/stat : 12437 (java) S 12430 12432 11138 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 16 0 10364211 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12438] ppid=12430 vsize=1534720 CPUtime=0 /proc/12432/task/12438/stat : 12438 (java) S 12430 12432 11138 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 10364211 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12439] ppid=12430 vsize=1534720 CPUtime=0 /proc/12432/task/12439/stat : 12439 (java) S 12430 12432 11138 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 10364211 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12440] ppid=12430 vsize=1534720 CPUtime=0 /proc/12432/task/12440/stat : 12440 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 10364216 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12441] ppid=12430 vsize=1534720 CPUtime=1.58 /proc/12432/task/12441/stat : 12441 (java) S 12430 12432 11138 0 -1 4202560 1723 0 0 0 157 1 0 0 16 0 16 0 10364216 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12442] ppid=12430 vsize=1534720 CPUtime=2.04 /proc/12432/task/12442/stat : 12442 (java) R 12430 12432 11138 0 -1 4202560 2711 0 0 0 204 0 0 0 16 0 16 0 10364216 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 103149434 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12432/tid=12443] ppid=12430 vsize=1534720 CPUtime=0 /proc/12432/task/12443/stat : 12443 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 10364216 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12444] ppid=12430 vsize=1534720 CPUtime=0 /proc/12432/task/12444/stat : 12444 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 10364216 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12447] ppid=12430 vsize=1534720 CPUtime=0 /proc/12432/task/12447/stat : 12447 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 10364352 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12448] ppid=12430 vsize=1534720 CPUtime=0 /proc/12432/task/12448/stat : 12448 (java) S 12430 12432 11138 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 10364354 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12453] ppid=12430 vsize=1534720 CPUtime=0.88 /proc/12432/task/12453/stat : 12453 (java) R 12430 12432 11138 0 -1 4202560 272 0 0 0 88 0 0 0 21 0 16 0 10364742 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4110008990 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12432/tid=12454] ppid=12430 vsize=1534720 CPUtime=0.67 /proc/12432/task/12454/stat : 12454 (java) R 12430 12432 11138 0 -1 4202560 1109 0 0 0 67 0 0 0 22 0 16 0 10364742 1571553280 39743 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 9.85 Current children cumulated vsize (KiB) 1534720 [startup+12.7013 s] /proc/loadavg: 1.01 1.02 1.00 3/122 12456 /proc/meminfo: memFree=1424424/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1533104 CPUtime=18.61 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 49661 0 1 0 1840 21 0 0 15 0 16 0 10364206 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 383276 46574 1447 10 0 380579 0 [pid=12432/tid=12434] ppid=12430 vsize=1533104 CPUtime=1.32 /proc/12432/task/12434/stat : 12434 (java) S 12430 12432 11138 0 -1 4202560 22162 0 1 0 124 8 0 0 18 0 16 0 10364208 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12435] ppid=12430 vsize=1533104 CPUtime=0.18 /proc/12432/task/12435/stat : 12435 (java) S 12430 12432 11138 0 -1 4202560 5066 0 0 0 16 2 0 0 15 0 16 0 10364209 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12436] ppid=12430 vsize=1533104 CPUtime=0.17 /proc/12432/task/12436/stat : 12436 (java) S 12430 12432 11138 0 -1 4202560 3830 0 0 0 16 1 0 0 16 0 16 0 10364209 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12437] ppid=12430 vsize=1533104 CPUtime=0.08 /proc/12432/task/12437/stat : 12437 (java) S 12430 12432 11138 0 -1 4202560 3126 0 0 0 8 0 0 0 15 0 16 0 10364211 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12438] ppid=12430 vsize=1533104 CPUtime=0 /proc/12432/task/12438/stat : 12438 (java) S 12430 12432 11138 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 10364211 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12439] ppid=12430 vsize=1533104 CPUtime=0 /proc/12432/task/12439/stat : 12439 (java) S 12430 12432 11138 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 10364211 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12440] ppid=12430 vsize=1533104 CPUtime=0 /proc/12432/task/12440/stat : 12440 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 10364216 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12441] ppid=12430 vsize=1533104 CPUtime=1.68 /proc/12432/task/12441/stat : 12441 (java) S 12430 12432 11138 0 -1 4202560 1730 0 0 0 167 1 0 0 15 0 16 0 10364216 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12442] ppid=12430 vsize=1533104 CPUtime=2.19 /proc/12432/task/12442/stat : 12442 (java) S 12430 12432 11138 0 -1 4202560 2720 0 0 0 219 0 0 0 15 0 16 0 10364216 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12443] ppid=12430 vsize=1533104 CPUtime=0 /proc/12432/task/12443/stat : 12443 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 10364216 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12444] ppid=12430 vsize=1533104 CPUtime=0 /proc/12432/task/12444/stat : 12444 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 10364216 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12447] ppid=12430 vsize=1533104 CPUtime=0 /proc/12432/task/12447/stat : 12447 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 10364352 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12448] ppid=12430 vsize=1533104 CPUtime=0 /proc/12432/task/12448/stat : 12448 (java) S 12430 12432 11138 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 10364354 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12455] ppid=12430 vsize=1533104 CPUtime=1.16 /proc/12432/task/12455/stat : 12455 (java) R 12430 12432 11138 0 -1 4202560 0 0 0 0 116 0 0 0 22 0 16 0 10365357 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4110261431 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12432/tid=12456] ppid=12430 vsize=1533104 CPUtime=1.1 /proc/12432/task/12456/stat : 12456 (java) R 12430 12432 11138 0 -1 4202560 2 0 0 0 110 0 0 0 23 0 16 0 10365357 1569898496 46574 1992294400 134512640 134550932 4291865504 18446744073709551615 4110351186 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 18.61 Current children cumulated vsize (KiB) 1533104 [startup+25.5015 s] ################ # More data... # ################ Current children cumulated vsize (KiB) 1533360 [startup+1062.3 s] /proc/loadavg: 2.03 1.80 1.40 3/122 12532 /proc/meminfo: memFree=1294844/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1533360 CPUtime=1597.65 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 87034 0 1 0 159652 113 0 0 15 0 16 0 10364206 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 383340 77672 1451 10 0 380643 0 [pid=12432/tid=12434] ppid=12430 vsize=1533360 CPUtime=2.73 /proc/12432/task/12434/stat : 12434 (java) S 12430 12432 11138 0 -1 4202560 22174 0 1 0 264 9 0 0 15 0 16 0 10364208 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12435] ppid=12430 vsize=1533360 CPUtime=7.12 /proc/12432/task/12435/stat : 12435 (java) S 12430 12432 11138 0 -1 4202560 21962 0 0 0 687 25 0 0 16 0 16 0 10364209 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12436] ppid=12430 vsize=1533360 CPUtime=7.05 /proc/12432/task/12436/stat : 12436 (java) S 12430 12432 11138 0 -1 4202560 21255 0 0 0 681 24 0 0 15 0 16 0 10364209 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12437] ppid=12430 vsize=1533360 CPUtime=15.99 /proc/12432/task/12437/stat : 12437 (java) S 12430 12432 11138 0 -1 4202560 3738 0 0 0 1585 14 0 0 15 0 16 0 10364211 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12438] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12438/stat : 12438 (java) S 12430 12432 11138 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 10364211 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12439] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12439/stat : 12439 (java) S 12430 12432 11138 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 10364211 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12440] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12440/stat : 12440 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 10364216 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12441] ppid=12430 vsize=1533360 CPUtime=2.14 /proc/12432/task/12441/stat : 12441 (java) S 12430 12432 11138 0 -1 4202560 2405 0 0 0 213 1 0 0 15 0 16 0 10364216 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12442] ppid=12430 vsize=1533360 CPUtime=2.41 /proc/12432/task/12442/stat : 12442 (java) S 12430 12432 11138 0 -1 4202560 2723 0 0 0 240 1 0 0 15 0 16 0 10364216 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12443] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12443/stat : 12443 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 10364216 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12444] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12444/stat : 12444 (java) S 12430 12432 11138 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 16 0 10364216 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12447] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12447/stat : 12447 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 10364352 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12448] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12448/stat : 12448 (java) S 12430 12432 11138 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 10364354 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12518] ppid=12430 vsize=1533360 CPUtime=361.99 /proc/12432/task/12518/stat : 12518 (java) R 12430 12432 11138 0 -1 4202560 451 0 0 0 36189 10 0 0 25 0 16 0 10432519 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4110331428 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12432/tid=12519] ppid=12430 vsize=1533360 CPUtime=360.58 /proc/12432/task/12519/stat : 12519 (java) R 12430 12432 11138 0 -1 4202560 162 0 0 0 36052 6 0 0 25 0 16 0 10432519 1570160640 77672 1992294400 134512640 134550932 4291865504 18446744073709551615 4109799284 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1597.65 Current children cumulated vsize (KiB) 1533360 [startup+1122.3 s] /proc/loadavg: 2.01 1.83 1.44 3/122 12532 /proc/meminfo: memFree=1286288/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1533360 CPUtime=1713.73 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 89506 0 1 0 171253 120 0 0 15 0 16 0 10364206 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 383340 79805 1451 10 0 380643 0 [pid=12432/tid=12434] ppid=12430 vsize=1533360 CPUtime=2.73 /proc/12432/task/12434/stat : 12434 (java) S 12430 12432 11138 0 -1 4202560 22176 0 1 0 264 9 0 0 15 0 16 0 10364208 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12435] ppid=12430 vsize=1533360 CPUtime=7.57 /proc/12432/task/12435/stat : 12435 (java) S 12430 12432 11138 0 -1 4202560 22966 0 0 0 731 26 0 0 16 0 16 0 10364209 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12436] ppid=12430 vsize=1533360 CPUtime=7.52 /proc/12432/task/12436/stat : 12436 (java) S 12430 12432 11138 0 -1 4202560 22625 0 0 0 726 26 0 0 16 0 16 0 10364209 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12437] ppid=12430 vsize=1533360 CPUtime=18.82 /proc/12432/task/12437/stat : 12437 (java) S 12430 12432 11138 0 -1 4202560 3742 0 0 0 1867 15 0 0 15 0 16 0 10364211 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12438] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12438/stat : 12438 (java) S 12430 12432 11138 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 10364211 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12439] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12439/stat : 12439 (java) S 12430 12432 11138 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 10364211 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12440] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12440/stat : 12440 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 10364216 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12441] ppid=12430 vsize=1533360 CPUtime=2.14 /proc/12432/task/12441/stat : 12441 (java) S 12430 12432 11138 0 -1 4202560 2405 0 0 0 213 1 0 0 15 0 16 0 10364216 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12442] ppid=12430 vsize=1533360 CPUtime=2.41 /proc/12432/task/12442/stat : 12442 (java) S 12430 12432 11138 0 -1 4202560 2723 0 0 0 240 1 0 0 15 0 16 0 10364216 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12443] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12443/stat : 12443 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 10364216 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12444] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12444/stat : 12444 (java) S 12430 12432 11138 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 16 0 10364216 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12447] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12447/stat : 12447 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 10364352 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12448] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12448/stat : 12448 (java) S 12430 12432 11138 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 10364354 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12518] ppid=12430 vsize=1533360 CPUtime=417.69 /proc/12432/task/12518/stat : 12518 (java) R 12430 12432 11138 0 -1 4202560 505 0 0 0 41759 10 0 0 25 0 16 0 10432519 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4109964133 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12432/tid=12519] ppid=12430 vsize=1533360 CPUtime=417.21 /proc/12432/task/12519/stat : 12519 (java) R 12430 12432 11138 0 -1 4202560 196 0 0 0 41713 8 0 0 25 0 16 0 10432519 1570160640 79805 1992294400 134512640 134550932 4291865504 18446744073709551615 4110307614 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1713.73 Current children cumulated vsize (KiB) 1533360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1166.9 s] /proc/loadavg: 2.00 1.86 1.46 3/122 12534 /proc/meminfo: memFree=1275996/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1533360 CPUtime=1800.02 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 92432 0 1 0 179876 126 0 0 15 0 16 0 10364206 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 383340 82348 1451 10 0 380643 0 [pid=12432/tid=12434] ppid=12430 vsize=1533360 CPUtime=2.73 /proc/12432/task/12434/stat : 12434 (java) S 12430 12432 11138 0 -1 4202560 22176 0 1 0 264 9 0 0 15 0 16 0 10364208 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12435] ppid=12430 vsize=1533360 CPUtime=7.97 /proc/12432/task/12435/stat : 12435 (java) S 12430 12432 11138 0 -1 4202560 24166 0 0 0 770 27 0 0 16 0 16 0 10364209 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12436] ppid=12430 vsize=1533360 CPUtime=7.92 /proc/12432/task/12436/stat : 12436 (java) S 12430 12432 11138 0 -1 4202560 24272 0 0 0 763 29 0 0 15 0 16 0 10364209 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12437] ppid=12430 vsize=1533360 CPUtime=21.21 /proc/12432/task/12437/stat : 12437 (java) S 12430 12432 11138 0 -1 4202560 3745 0 0 0 2105 16 0 0 16 0 16 0 10364211 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12438] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12438/stat : 12438 (java) S 12430 12432 11138 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 10364211 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12439] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12439/stat : 12439 (java) S 12430 12432 11138 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 10364211 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12440] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12440/stat : 12440 (java) S 12430 12432 11138 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 10364216 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12441] ppid=12430 vsize=1533360 CPUtime=2.14 /proc/12432/task/12441/stat : 12441 (java) S 12430 12432 11138 0 -1 4202560 2405 0 0 0 213 1 0 0 15 0 16 0 10364216 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12442] ppid=12430 vsize=1533360 CPUtime=2.41 /proc/12432/task/12442/stat : 12442 (java) S 12430 12432 11138 0 -1 4202560 2723 0 0 0 240 1 0 0 15 0 16 0 10364216 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12443] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12443/stat : 12443 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 10364216 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12444] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12444/stat : 12444 (java) S 12430 12432 11138 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 16 0 10364216 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12447] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12447/stat : 12447 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 10364352 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12448] ppid=12430 vsize=1533360 CPUtime=0 /proc/12432/task/12448/stat : 12448 (java) S 12430 12432 11138 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 10364354 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12518] ppid=12430 vsize=1533360 CPUtime=459.38 /proc/12432/task/12518/stat : 12518 (java) R 12430 12432 11138 0 -1 4202560 562 0 0 0 45927 11 0 0 25 0 16 0 10432519 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4110058058 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12432/tid=12519] ppid=12430 vsize=1533360 CPUtime=458.61 /proc/12432/task/12519/stat : 12519 (java) R 12430 12432 11138 0 -1 4202560 214 0 0 0 45853 8 0 0 24 0 16 0 10432519 1570160640 82348 1992294400 134512640 134550932 4291865504 18446744073709551615 4110348830 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1533360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1167.02 s] /proc/loadavg: 2.00 1.86 1.46 4/125 12537 /proc/meminfo: memFree=1275848/2059040 swapFree=4192956/4192956 [pid=12432] ppid=12430 vsize=1534008 CPUtime=1800.25 /proc/12432/stat : 12432 (java) S 12430 12432 11138 0 -1 4202496 92451 0 1 0 179899 126 0 0 15 0 18 0 10364206 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12432/statm: 383502 82367 1453 10 0 380805 0 [pid=12432/tid=12434] ppid=12430 vsize=1534008 CPUtime=2.73 /proc/12432/task/12434/stat : 12434 (java) S 12430 12432 11138 0 -1 4202560 22176 0 1 0 264 9 0 0 15 0 18 0 10364208 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12435] ppid=12430 vsize=1534008 CPUtime=7.97 /proc/12432/task/12435/stat : 12435 (java) S 12430 12432 11138 0 -1 4202560 24166 0 0 0 770 27 0 0 16 0 18 0 10364209 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12436] ppid=12430 vsize=1534008 CPUtime=7.92 /proc/12432/task/12436/stat : 12436 (java) S 12430 12432 11138 0 -1 4202560 24272 0 0 0 763 29 0 0 15 0 18 0 10364209 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12437] ppid=12430 vsize=1534008 CPUtime=21.21 /proc/12432/task/12437/stat : 12437 (java) S 12430 12432 11138 0 -1 4202560 3745 0 0 0 2105 16 0 0 16 0 18 0 10364211 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 0 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12438] ppid=12430 vsize=1534008 CPUtime=0 /proc/12432/task/12438/stat : 12438 (java) S 12430 12432 11138 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 10364211 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12439] ppid=12430 vsize=1534008 CPUtime=0 /proc/12432/task/12439/stat : 12439 (java) S 12430 12432 11138 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 10364211 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12440] ppid=12430 vsize=1534008 CPUtime=0 /proc/12432/task/12440/stat : 12440 (java) S 12430 12432 11138 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 18 0 10364216 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12441] ppid=12430 vsize=1534008 CPUtime=2.16 /proc/12432/task/12441/stat : 12441 (java) S 12430 12432 11138 0 -1 4202560 2407 0 0 0 215 1 0 0 15 0 18 0 10364216 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12442] ppid=12430 vsize=1534008 CPUtime=2.41 /proc/12432/task/12442/stat : 12442 (java) S 12430 12432 11138 0 -1 4202560 2723 0 0 0 240 1 0 0 15 0 18 0 10364216 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12443] ppid=12430 vsize=1534008 CPUtime=0 /proc/12432/task/12443/stat : 12443 (java) S 12430 12432 11138 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 18 0 10364216 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12444] ppid=12430 vsize=1534008 CPUtime=0 /proc/12432/task/12444/stat : 12444 (java) S 12430 12432 11138 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 10364216 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12447] ppid=12430 vsize=1534008 CPUtime=0 /proc/12432/task/12447/stat : 12447 (java) S 12430 12432 11138 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 10364352 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12448] ppid=12430 vsize=1534008 CPUtime=0 /proc/12432/task/12448/stat : 12448 (java) S 12430 12432 11138 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 18 0 10364354 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 1 0 0 0 [pid=12432/tid=12518] ppid=12430 vsize=1534008 CPUtime=459.43 /proc/12432/task/12518/stat : 12518 (java) R 12430 12432 11138 0 -1 4202560 562 0 0 0 45932 11 0 0 25 0 18 0 10432519 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4110057055 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12432/tid=12519] ppid=12430 vsize=1534008 CPUtime=458.73 /proc/12432/task/12519/stat : 12519 (java) R 12430 12432 11138 0 -1 4202560 214 0 0 0 45865 8 0 0 25 0 18 0 10432519 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4110351174 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12432/tid=12536] ppid=12430 vsize=1534008 CPUtime=0 /proc/12432/task/12536/stat : 12536 (java) S 12430 12432 11138 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 10480898 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 18446604437830396800 0 0 -1 0 0 0 0 [pid=12432/tid=12537] ppid=12430 vsize=1534008 CPUtime=0.03 /proc/12432/task/12537/stat : 12537 (java) R 12430 12432 11138 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 18 0 10480898 1570824192 82367 1992294400 134512640 134550932 4291865504 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 1534008 Child status: 143 Real time (s): 1167.1 CPU time (s): 1800.35 CPU user time (s): 1799.05 CPU system time (s): 1.2958 CPU usage (%): 154.259 Max. virtual memory (cumulated for all children) (KiB): 1535052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.05 system time used= 1.2958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92454 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45080 involuntary context switches= 53910 runsolver used 4.23436 second user time and 8.26074 second system time The end
Begin job on node010 at 2010-06-12 15:00:26 IDJOB=2662425 IDBENCH=1521 IDSOLVER=1166 FILE ID=node010/2662425-1276347626 PBS_JOBID= 11173181 Free space on /tmp= 62500 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662425-1276347626/watcher-2662425-1276347626 -o /tmp/evaluation-result-2662425-1276347626/solver-2662425-1276347626 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662425-1276347626.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0 RANDOM SEED=915821034 node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1603320 kB Buffers: 112444 kB Cached: 213960 kB SwapCached: 0 kB Active: 149600 kB Inactive: 235980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1603320 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 812 kB Writeback: 0 kB AnonPages: 59280 kB Mapped: 15348 kB Slab: 48320 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182688 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62496 MiB End job on node010 at 2010-06-12 15:19:55