| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT | 797.083 | 404.34 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K98.opb |
| MD5SUM | 0d56c20200c8726f988a44319a68d2e3 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 165.396 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6664 |
| Total number of constraints | 6862 |
| Number of constraints which are clauses | 6764 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 99 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100531 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 1349517296 0.00/0.07 c Max memory 1356595200 0.00/0.07 c Total memory 1356595200 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c ManyCore solver with 2 solvers running in parallel 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 0.11/0.10 c solving HOME/instance-3742067-1338784870.opb 0.11/0.10 c reading problem ... 0.82/0.45 c ... done. Wall clock time 0.355s. 0.82/0.45 c #vars 6664 0.82/0.45 c #constraints 6862 0.82/0.45 c constraints type 0.82/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5501 0.82/0.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 98 0.82/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1261 0.82/0.45 c constraints type 0.82/0.45 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1261 0.82/0.45 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5501 0.82/0.45 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 98 5.62/2.12 c cleaning 2482 clauses out of 4987 with flag 5000/5000 9.18/3.69 c cleaning 4244 clauses out of 8499 with flag 11000/11000 13.04/5.52 c cleaning 5585 clauses out of 11251 with flag 18000/18000 17.29/7.70 c cleaning 6781 clauses out of 13663 with flag 26000/26000 22.79/10.36 c cleaning 7864 clauses out of 15879 with flag 35000/35000 29.08/13.40 c cleaning 8919 clauses out of 18014 with flag 45000/45000 34.46/16.14 c cleaning 9512 clauses out of 19096 with flag 55003/55003 40.44/19.11 c cleaning 9699 clauses out of 19585 with flag 65004/65004 46.80/22.35 c cleaning 9911 clauses out of 19880 with flag 75000/75000 53.40/25.69 c cleaning 9861 clauses out of 19967 with flag 85002/85002 60.77/29.35 c cleaning 9908 clauses out of 20104 with flag 95000/95000 66.34/32.11 c cleaning 9901 clauses out of 20195 with flag 105001/105001 75.65/36.88 c cleaning 9970 clauses out of 20293 with flag 115000/115000 81.82/39.92 c cleaning 10047 clauses out of 20323 with flag 125000/125000 89.78/44.00 c cleaning 10102 clauses out of 20275 with flag 135001/135001 95.15/46.63 c cleaning 10023 clauses out of 20174 with flag 145002/145002 100.86/49.55 c cleaning 9922 clauses out of 20145 with flag 155001/155001 107.61/52.90 c cleaning 9960 clauses out of 20222 with flag 165000/165000 113.17/55.76 c cleaning 9999 clauses out of 20263 with flag 175001/175001 119.32/58.86 c cleaning 9841 clauses out of 20264 with flag 185002/185002 128.42/63.49 c cleaning 9972 clauses out of 20421 with flag 195000/195000 135.76/67.16 c cleaning 10001 clauses out of 20443 with flag 205000/205000 145.34/71.93 c cleaning 9484 clauses out of 20440 with flag 215000/215000 153.27/75.94 c cleaning 9681 clauses out of 20957 with flag 225001/225001 165.75/82.24 c cleaning 9516 clauses out of 21275 with flag 235000/235000 171.65/85.29 c cleaning 9630 clauses out of 21758 with flag 245000/245000 177.95/88.46 c cleaning 9424 clauses out of 22128 with flag 255000/255000 185.07/92.00 c cleaning 9693 clauses out of 22702 with flag 265000/265000 191.72/95.50 c cleaning 9540 clauses out of 23010 with flag 275001/275001 202.08/100.67 c cleaning 9736 clauses out of 23469 with flag 285000/285000 207.81/103.59 c cleaning 9622 clauses out of 23732 with flag 295000/295000 215.34/107.36 c cleaning 9589 clauses out of 24113 with flag 305003/305003 221.41/110.46 c cleaning 9517 clauses out of 24520 with flag 315001/315001 228.51/114.04 c cleaning 9555 clauses out of 25001 with flag 325000/325000 236.05/117.84 c cleaning 9680 clauses out of 25446 with flag 335000/335000 246.61/123.12 c cleaning 9711 clauses out of 25766 with flag 345000/345000 254.85/127.35 c cleaning 9630 clauses out of 26055 with flag 355000/355000 263.94/131.97 c cleaning 9606 clauses out of 26427 with flag 365002/365002 281.25/140.66 c cleaning 9631 clauses out of 26819 with flag 375000/375000 287.12/143.60 c cleaning 9674 clauses out of 27188 with flag 385001/385001 297.73/149.08 c cleaning 9644 clauses out of 27513 with flag 395000/395000 309.41/155.00 c cleaning 9571 clauses out of 27868 with flag 405000/405000 326.96/163.76 c cleaning 9805 clauses out of 28297 with flag 415000/415000 346.71/173.69 c cleaning 9539 clauses out of 28495 with flag 425003/425003 360.71/180.78 c cleaning 9838 clauses out of 28953 with flag 435000/435000 377.64/189.21 c cleaning 9850 clauses out of 29115 with flag 445000/445000 383.90/192.41 c cleaning 9624 clauses out of 29263 with flag 455001/455001 389.75/195.46 c cleaning 9572 clauses out of 29638 with flag 465000/465000 398.64/200.02 c cleaning 9482 clauses out of 30067 with flag 475001/475001 412.17/206.82 c cleaning 9961 clauses out of 30584 with flag 485000/485000 420.18/210.92 c cleaning 0 clauses out of 5000 with flag 0/5000 427.43/214.58 c cleaning 9704 clauses out of 30622 with flag 495000/495000 438.53/220.21 c cleaning 9500 clauses out of 30919 with flag 505001/505001 446.93/224.54 c cleaning 9999 clauses out of 31421 with flag 515003/515003 456.14/229.20 c cleaning 9556 clauses out of 31421 with flag 525002/525002 470.96/236.77 c cleaning 9719 clauses out of 31864 with flag 535001/535001 484.23/243.57 c cleaning 9575 clauses out of 32144 with flag 545001/545001 499.25/251.14 c cleaning 9508 clauses out of 32570 with flag 555002/555002 512.29/257.75 c cleaning 9727 clauses out of 33063 with flag 565003/565003 525.51/264.41 c cleaning 9546 clauses out of 33333 with flag 575000/575000 536.78/270.28 c cleaning 9674 clauses out of 33788 with flag 585001/585001 544.93/274.48 c cleaning 9443 clauses out of 34112 with flag 595000/595000 554.54/279.37 c cleaning 9634 clauses out of 34670 with flag 605001/605001 563.37/283.83 c cleaning 9562 clauses out of 35037 with flag 615002/615002 576.01/290.37 c cleaning 9738 clauses out of 35474 with flag 625001/625001 599.11/301.97 c cleaning 10007 clauses out of 35738 with flag 635003/635003 607.49/306.27 c cleaning 9782 clauses out of 35732 with flag 645004/645004 613.88/309.53 c cleaning 9975 clauses out of 35948 with flag 655002/655002 621.31/313.50 c cleaning 9601 clauses out of 35973 with flag 665004/665004 630.09/317.93 c cleaning 9601 clauses out of 36368 with flag 675000/675000 638.66/322.30 c cleaning 9715 clauses out of 36765 with flag 685000/685000 645.84/326.00 c cleaning 9507 clauses out of 37050 with flag 695000/695000 653.04/329.81 c cleaning 9345 clauses out of 37543 with flag 705000/705000 659.64/333.29 c cleaning 9786 clauses out of 38198 with flag 715000/715000 667.18/337.18 c cleaning 9516 clauses out of 38412 with flag 725000/725000 676.21/341.76 c cleaning 9738 clauses out of 38897 with flag 735001/735001 688.44/348.01 c cleaning 9757 clauses out of 39159 with flag 745001/745001 694.98/351.46 c cleaning 9728 clauses out of 39401 with flag 755000/755000 705.93/357.02 c cleaning 9429 clauses out of 39674 with flag 765001/765001 719.11/363.74 c cleaning 9675 clauses out of 40244 with flag 775000/775000 736.74/372.75 c cleaning 9828 clauses out of 40573 with flag 785004/785004 744.53/376.77 c cleaning 10076 clauses out of 40742 with flag 795001/795001 761.53/385.37 c cleaning 9562 clauses out of 40666 with flag 805001/805001 769.49/389.45 c cleaning 9881 clauses out of 41106 with flag 815003/815003 778.04/393.98 c cleaning 9565 clauses out of 41222 with flag 825000/825000 786.78/398.47 c cleaning 9972 clauses out of 41657 with flag 835000/835000 795.91/403.14 c And the winner is Resolution 795.33/404.29 c starts : 170 795.33/404.29 c conflicts : 843488 795.33/404.29 c decisions : 9725203 795.33/404.29 c propagations : 299904496 795.33/404.29 c inspects : 798640481 795.33/404.29 c learnt literals : 75 795.33/404.29 c learnt binary clauses : 26495 795.33/404.29 c learnt ternary clauses : 35132 795.33/404.29 c learnt clauses : 843413 795.33/404.29 c ignored clauses : 0 795.33/404.29 c root simplifications : 0 795.33/404.29 c removed literals (reason simplification) : 16357442 795.33/404.29 c reason swapping (by a shorter reason) : 0 795.33/404.29 c Calls to reduceDB : 85 795.33/404.29 c number of reductions to clauses (during analyze) : 0 795.33/404.29 c number of learned constraints concerned by reduction : 0 795.33/404.29 c number of learning phase by resolution : 0 795.33/404.29 c number of learning phase by cutting planes : 0 795.33/404.29 c speed (assignments/second) : 742631.9730586371 795.33/404.29 c non guided choices 5753 795.34/404.31 c learnt constraints type 795.34/404.31 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 13678 795.34/404.31 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 26495 795.34/404.31 c constraints type 795.34/404.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5501 795.34/404.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 98 795.34/404.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1261 795.34/404.31 c constraints type 795.34/404.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1261 795.34/404.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5501 795.34/404.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 98 795.34/404.31 s SATISFIABLE 795.34/404.32 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 795.34/404.33 c Total wall clock time (in seconds): 404.231
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742067-1338784870/watcher-3742067-1338784870 -o /tmp/evaluation-result-3742067-1338784870/solver-3742067-1338784870 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742067-1338784870.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.41 3.81 3.55 4/197 24523 /proc/meminfo: memFree=27368880/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/24523/stat : 24523 (java) R 24521 24523 24165 0 -1 4202496 914 0 0 0 0 0 0 0 20 0 1 0 344613819 23793664 641 33554432000 1073741824 1073778376 140734277179072 140734277168136 213183937075 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 5809 654 484 9 0 128 0 [startup+0.0904031 s] /proc/loadavg: 3.41 3.81 3.55 4/197 24523 /proc/meminfo: memFree=27368880/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2699928 CPUtime=0.09 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 4747 0 1 0 8 1 0 0 20 0 18 0 344613819 2764726272 6454 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 674982 6454 2109 9 0 665676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2699928 [startup+0.100194 s] /proc/loadavg: 3.41 3.81 3.55 4/197 24523 /proc/meminfo: memFree=27368880/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2699928 CPUtime=0.11 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 4841 0 1 0 10 1 0 0 20 0 18 0 344613819 2764726272 6536 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 674982 6536 2142 9 0 665676 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 2699928 [startup+0.300176 s] /proc/loadavg: 3.41 3.81 3.55 4/197 24523 /proc/meminfo: memFree=27368880/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2699928 CPUtime=0.59 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 7488 0 1 0 57 2 0 0 20 0 18 0 344613819 2764726272 11258 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 674982 11258 2223 9 0 665676 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 2699928 [startup+0.700188 s] /proc/loadavg: 3.41 3.81 3.55 4/197 24523 /proc/meminfo: memFree=27368880/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2966184 CPUtime=1.96 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 13706 0 1 0 192 4 0 0 20 0 22 0 344613819 3037372416 22531 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 741546 22531 2254 9 0 732240 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 2966184 [startup+1.50081 s] /proc/loadavg: 3.54 3.82 3.55 7/219 24545 /proc/meminfo: memFree=27228912/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2966184 CPUtime=4.36 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 21938 0 1 0 428 8 0 0 20 0 22 0 344613819 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 741546 83713 2260 9 0 732240 0 [pid=24523/tid=24525] ppid=24521 vsize=2966184 CPUtime=0.43 cores=1,3,5,7 /proc/24523/task/24525/stat : 24525 (java) S 24521 24523 24165 0 -1 4202560 2823 0 1 0 42 1 0 0 20 0 22 0 344613819 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139547808920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24526] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24526/stat : 24526 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139414153896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24527] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24527/stat : 24527 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139413101352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24528] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24528/stat : 24528 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139412048808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24529] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24529/stat : 24529 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139410996264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24530] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24530/stat : 24530 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139409942696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24531] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24531/stat : 24531 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139408890152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24532] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24532/stat : 24532 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139407837608 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24533] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24533/stat : 24533 (java) S 24521 24523 24165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139406785064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24534] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24534/stat : 24534 (java) S 24521 24523 24165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344613821 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139394587240 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24535] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24535/stat : 24535 (java) S 24521 24523 24165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344613822 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139393533560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24536] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24536/stat : 24536 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344613822 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139392480904 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24537] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24537/stat : 24537 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139391429648 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24538] ppid=24521 vsize=2966184 CPUtime=0.87 cores=1,3,5,7 /proc/24523/task/24538/stat : 24538 (java) R 24521 24523 24165 0 -1 4202560 10500 0 0 0 85 2 0 0 20 0 22 0 344613824 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139390375872 140139551818401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24539] ppid=24521 vsize=2966184 CPUtime=0.94 cores=1,3,5,7 /proc/24523/task/24539/stat : 24539 (java) S 24521 24523 24165 0 -1 4202560 7204 0 0 0 92 2 0 0 20 0 22 0 344613824 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139389323448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24540] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24540/stat : 24540 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139388271096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24541] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24541/stat : 24541 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139387218760 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24542] ppid=24521 vsize=2966184 CPUtime=1.02 cores=1,3,5,7 /proc/24523/task/24542/stat : 24542 (java) R 24521 24523 24165 0 -1 4202560 29 0 0 0 102 0 0 0 20 0 22 0 344613865 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139386161720 140139488377644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24543] ppid=24521 vsize=2966184 CPUtime=1.02 cores=1,3,5,7 /proc/24523/task/24543/stat : 24543 (java) R 24521 24523 24165 0 -1 4202560 180 0 0 0 99 3 0 0 20 0 22 0 344613865 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139385109048 140139488180444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24544] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24544/stat : 24544 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344613866 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139384059432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24545] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24545/stat : 24545 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344613866 3037372416 83713 33554432000 1073741824 1073778376 140734277179072 140139383006888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 2966184 [startup+3.10073 s] /proc/loadavg: 3.54 3.82 3.55 6/219 24545 /proc/meminfo: memFree=26955040/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2966184 CPUtime=8.11 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 25608 0 1 0 799 12 0 0 20 0 22 0 344613819 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 741546 106308 2284 9 0 732240 0 [pid=24523/tid=24525] ppid=24521 vsize=2966184 CPUtime=0.43 cores=1,3,5,7 /proc/24523/task/24525/stat : 24525 (java) S 24521 24523 24165 0 -1 4202560 2823 0 1 0 42 1 0 0 20 0 22 0 344613819 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139547808920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24526] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24526/stat : 24526 (java) S 24521 24523 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139414153896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24527] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24527/stat : 24527 (java) S 24521 24523 24165 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139413101352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24528] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24528/stat : 24528 (java) S 24521 24523 24165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139412048808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24529] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24529/stat : 24529 (java) S 24521 24523 24165 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139410996264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24530] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24530/stat : 24530 (java) S 24521 24523 24165 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139409942696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24531] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24531/stat : 24531 (java) S 24521 24523 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139408890152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24532] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24532/stat : 24532 (java) S 24521 24523 24165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139407837608 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24533] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24533/stat : 24533 (java) S 24521 24523 24165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139406785064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24534] ppid=24521 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/24523/task/24534/stat : 24534 (java) S 24521 24523 24165 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 344613821 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139394587240 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24535] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24535/stat : 24535 (java) S 24521 24523 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344613822 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139393533560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24536] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24536/stat : 24536 (java) S 24521 24523 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344613822 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139392480904 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24537] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24537/stat : 24537 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139391429648 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24538] ppid=24521 vsize=2966184 CPUtime=1.03 cores=1,3,5,7 /proc/24523/task/24538/stat : 24538 (java) S 24521 24523 24165 0 -1 4202560 10512 0 0 0 101 2 0 0 20 0 22 0 344613824 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139390375992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24539] ppid=24521 vsize=2966184 CPUtime=1.35 cores=1,3,5,7 /proc/24523/task/24539/stat : 24539 (java) S 24521 24523 24165 0 -1 4202560 10749 0 0 0 132 3 0 0 20 0 22 0 344613824 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139389323448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24540] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24540/stat : 24540 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139388271096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24541] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24541/stat : 24541 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139387218760 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24542] ppid=24521 vsize=2966184 CPUtime=2.57 cores=1,3,5,7 /proc/24523/task/24542/stat : 24542 (java) R 24521 24523 24165 0 -1 4202560 29 0 0 0 257 0 0 0 20 0 22 0 344613865 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139386162080 140139488407919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24543] ppid=24521 vsize=2966184 CPUtime=2.57 cores=1,3,5,7 /proc/24523/task/24543/stat : 24543 (java) R 24521 24523 24165 0 -1 4202560 216 0 0 0 253 4 0 0 20 0 22 0 344613865 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139385109872 140139488481116 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24544] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24544/stat : 24544 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344613866 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139384059432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24545] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24545/stat : 24545 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344613866 3037372416 106308 33554432000 1073741824 1073778376 140734277179072 140139383006888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 8.11 Current children cumulated vsize (KiB) 2966184 [startup+6.30078 s] /proc/loadavg: 3.54 3.82 3.55 5/219 24545 /proc/meminfo: memFree=26939392/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2966184 CPUtime=14.61 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 25660 0 1 0 1447 14 0 0 20 0 22 0 344613819 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 741546 110492 2284 9 0 732240 0 [pid=24523/tid=24525] ppid=24521 vsize=2966184 CPUtime=0.43 cores=1,3,5,7 /proc/24523/task/24525/stat : 24525 (java) S 24521 24523 24165 0 -1 4202560 2823 0 1 0 42 1 0 0 20 0 22 0 344613819 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139547808920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24526] ppid=24521 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/24523/task/24526/stat : 24526 (java) S 24521 24523 24165 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 344613820 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139414153896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24527] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24527/stat : 24527 (java) S 24521 24523 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139413101352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24528] ppid=24521 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/24523/task/24528/stat : 24528 (java) S 24521 24523 24165 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 344613820 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139412048808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24529] ppid=24521 vsize=2966184 CPUtime=0.02 cores=1,3,5,7 /proc/24523/task/24529/stat : 24529 (java) S 24521 24523 24165 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 344613820 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139410996264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24530] ppid=24521 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/24523/task/24530/stat : 24530 (java) S 24521 24523 24165 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 344613820 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139409942696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24531] ppid=24521 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/24523/task/24531/stat : 24531 (java) S 24521 24523 24165 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 344613820 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139408890152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24532] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24532/stat : 24532 (java) S 24521 24523 24165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344613820 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139407837608 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24533] ppid=24521 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/24523/task/24533/stat : 24533 (java) S 24521 24523 24165 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 344613820 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139406785064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24534] ppid=24521 vsize=2966184 CPUtime=0.06 cores=1,3,5,7 /proc/24523/task/24534/stat : 24534 (java) S 24521 24523 24165 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 22 0 344613821 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139394587240 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24535] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24535/stat : 24535 (java) S 24521 24523 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344613822 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139393533560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24536] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24536/stat : 24536 (java) S 24521 24523 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344613822 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139392480904 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24537] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24537/stat : 24537 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139391429648 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24538] ppid=24521 vsize=2966184 CPUtime=1.1 cores=1,3,5,7 /proc/24523/task/24538/stat : 24538 (java) S 24521 24523 24165 0 -1 4202560 10512 0 0 0 108 2 0 0 20 0 22 0 344613824 3037372416 110492 33554432000 1073741824 1073778376 140734277179072 140139390375992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ /proc/24523/task/24540/stat : 24540 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344613824 3037372416 197414 33554432000 1073741824 1073778376 140734277179072 140139388271096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24541] ppid=24521 vsize=2966184 CPUtime=0.15 cores=1,3,5,7 /proc/24523/task/24541/stat : 24541 (java) S 24521 24523 24165 0 -1 4202560 22 0 0 0 5 10 0 0 20 0 20 0 344613824 3037372416 197414 33554432000 1073741824 1073778376 140734277179072 140139387218760 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24544] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24544/stat : 24544 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344613866 3037372416 197414 33554432000 1073741824 1073778376 140734277179072 140139384059432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24545] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24545/stat : 24545 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344613866 3037372416 197414 33554432000 1073741824 1073778376 140734277179072 140139383006888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 795.33 Current children cumulated vsize (KiB) 2966184 # ############ Solver just ended. Dumping a history of the last processes samples [startup+403.101 s] /proc/loadavg: 3.89 3.88 3.66 5/219 24547 /proc/meminfo: memFree=26357592/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2966184 CPUtime=795.91 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 30211 0 1 0 79524 67 0 0 20 0 22 0 344613819 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 741546 197412 2285 9 0 732240 0 [pid=24523/tid=24525] ppid=24521 vsize=2966184 CPUtime=0.44 cores=1,3,5,7 /proc/24523/task/24525/stat : 24525 (java) S 24521 24523 24165 0 -1 4202560 2833 0 1 0 42 2 0 0 20 0 22 0 344613819 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139547808920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24526] ppid=24521 vsize=2966184 CPUtime=1.63 cores=1,3,5,7 /proc/24523/task/24526/stat : 24526 (java) S 24521 24523 24165 0 -1 4202560 112 0 0 0 158 5 0 0 20 0 22 0 344613820 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139414153896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24527] ppid=24521 vsize=2966184 CPUtime=1.5 cores=1,3,5,7 /proc/24523/task/24527/stat : 24527 (java) S 24521 24523 24165 0 -1 4202560 108 0 0 0 146 4 0 0 20 0 22 0 344613820 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139413101352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24528] ppid=24521 vsize=2966184 CPUtime=1.52 cores=1,3,5,7 /proc/24523/task/24528/stat : 24528 (java) S 24521 24523 24165 0 -1 4202560 138 0 0 0 147 5 0 0 20 0 22 0 344613820 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139412048808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24529] ppid=24521 vsize=2966184 CPUtime=1.65 cores=1,3,5,7 /proc/24523/task/24529/stat : 24529 (java) S 24521 24523 24165 0 -1 4202560 122 0 0 0 161 4 0 0 20 0 22 0 344613820 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139410996264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24530] ppid=24521 vsize=2966184 CPUtime=1.69 cores=1,3,5,7 /proc/24523/task/24530/stat : 24530 (java) S 24521 24523 24165 0 -1 4202560 131 0 0 0 165 4 0 0 20 0 22 0 344613820 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139409942696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24531] ppid=24521 vsize=2966184 CPUtime=1.57 cores=1,3,5,7 /proc/24523/task/24531/stat : 24531 (java) S 24521 24523 24165 0 -1 4202560 117 0 0 0 153 4 0 0 20 0 22 0 344613820 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139408890152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24532] ppid=24521 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/24523/task/24532/stat : 24532 (java) S 24521 24523 24165 0 -1 4202560 115 0 0 0 158 4 0 0 20 0 22 0 344613820 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139407837608 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24533] ppid=24521 vsize=2966184 CPUtime=1.68 cores=1,3,5,7 /proc/24523/task/24533/stat : 24533 (java) S 24521 24523 24165 0 -1 4202560 111 0 0 0 164 4 0 0 20 0 22 0 344613820 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139406785064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24534] ppid=24521 vsize=2966184 CPUtime=18 cores=1,3,5,7 /proc/24523/task/24534/stat : 24534 (java) S 24521 24523 24165 0 -1 4202560 95 0 0 0 1788 12 0 0 20 0 22 0 344613821 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139394587240 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24535] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24535/stat : 24535 (java) S 24521 24523 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344613822 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139393533560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24536] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24536/stat : 24536 (java) S 24521 24523 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344613822 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139392480904 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24537] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24537/stat : 24537 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139391429648 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24538] ppid=24521 vsize=2966184 CPUtime=1.21 cores=1,3,5,7 /proc/24523/task/24538/stat : 24538 (java) S 24521 24523 24165 0 -1 4202560 10513 0 0 0 119 2 0 0 20 0 22 0 344613824 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139390375992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24539] ppid=24521 vsize=2966184 CPUtime=2 cores=1,3,5,7 /proc/24523/task/24539/stat : 24539 (java) S 24521 24523 24165 0 -1 4202560 14041 0 0 0 197 3 0 0 20 0 22 0 344613824 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139389323448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24540] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24540/stat : 24540 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344613824 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139388271096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24541] ppid=24521 vsize=2966184 CPUtime=0.15 cores=1,3,5,7 /proc/24523/task/24541/stat : 24541 (java) S 24521 24523 24165 0 -1 4202560 22 0 0 0 5 10 0 0 20 0 22 0 344613824 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139387218760 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24542] ppid=24521 vsize=2966184 CPUtime=379.65 cores=1,3,5,7 /proc/24523/task/24542/stat : 24542 (java) R 24521 24523 24165 0 -1 4202560 184 0 0 0 37959 6 0 0 20 0 22 0 344613865 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139386162848 140139488407930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24543] ppid=24521 vsize=2966184 CPUtime=379.71 cores=1,3,5,7 /proc/24523/task/24543/stat : 24543 (java) R 24521 24523 24165 0 -1 4202560 381 0 0 0 37960 11 0 0 20 0 22 0 344613865 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139385109536 140139488349506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24544] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24544/stat : 24544 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344613866 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139384059432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24545] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24545/stat : 24545 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344613866 3037372416 197412 33554432000 1073741824 1073778376 140734277179072 140139383006888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 795.91 Current children cumulated vsize (KiB) 2966184 [startup+403.901 s] /proc/loadavg: 3.89 3.88 3.66 5/218 24547 /proc/meminfo: memFree=26357600/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2966184 CPUtime=795.94 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 30224 0 1 0 79521 73 0 0 20 0 21 0 344613819 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 741546 197420 2286 9 0 732240 0 [pid=24523/tid=24525] ppid=24521 vsize=2966184 CPUtime=0.44 cores=1,3,5,7 /proc/24523/task/24525/stat : 24525 (java) S 24521 24523 24165 0 -1 4202560 2833 0 1 0 42 2 0 0 20 0 21 0 344613819 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139547808920 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24526] ppid=24521 vsize=2966184 CPUtime=1.63 cores=1,3,5,7 /proc/24523/task/24526/stat : 24526 (java) S 24521 24523 24165 0 -1 4202560 112 0 0 0 158 5 0 0 20 0 21 0 344613820 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139414153896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24527] ppid=24521 vsize=2966184 CPUtime=1.51 cores=1,3,5,7 /proc/24523/task/24527/stat : 24527 (java) S 24521 24523 24165 0 -1 4202560 108 0 0 0 147 4 0 0 20 0 21 0 344613820 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139413101352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24528] ppid=24521 vsize=2966184 CPUtime=1.53 cores=1,3,5,7 /proc/24523/task/24528/stat : 24528 (java) S 24521 24523 24165 0 -1 4202560 138 0 0 0 148 5 0 0 20 0 21 0 344613820 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139412048808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24529] ppid=24521 vsize=2966184 CPUtime=1.66 cores=1,3,5,7 /proc/24523/task/24529/stat : 24529 (java) S 24521 24523 24165 0 -1 4202560 122 0 0 0 162 4 0 0 20 0 21 0 344613820 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139410996264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24530] ppid=24521 vsize=2966184 CPUtime=1.7 cores=1,3,5,7 /proc/24523/task/24530/stat : 24530 (java) S 24521 24523 24165 0 -1 4202560 141 0 0 0 166 4 0 0 20 0 21 0 344613820 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139409942696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24531] ppid=24521 vsize=2966184 CPUtime=1.58 cores=1,3,5,7 /proc/24523/task/24531/stat : 24531 (java) S 24521 24523 24165 0 -1 4202560 117 0 0 0 154 4 0 0 20 0 21 0 344613820 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139408890152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24532] ppid=24521 vsize=2966184 CPUtime=1.64 cores=1,3,5,7 /proc/24523/task/24532/stat : 24532 (java) S 24521 24523 24165 0 -1 4202560 116 0 0 0 160 4 0 0 20 0 21 0 344613820 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139407837608 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24533] ppid=24521 vsize=2966184 CPUtime=1.69 cores=1,3,5,7 /proc/24523/task/24533/stat : 24533 (java) S 24521 24523 24165 0 -1 4202560 111 0 0 0 165 4 0 0 20 0 21 0 344613820 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139406785064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24534] ppid=24521 vsize=2966184 CPUtime=18 cores=1,3,5,7 /proc/24523/task/24534/stat : 24534 (java) S 24521 24523 24165 0 -1 4202560 95 0 0 0 1788 12 0 0 20 0 21 0 344613821 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139394587240 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24535] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24535/stat : 24535 (java) S 24521 24523 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 344613822 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139393533560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24536] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24536/stat : 24536 (java) S 24521 24523 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 344613822 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139392480904 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24537] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24537/stat : 24537 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344613824 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139391429648 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24538] ppid=24521 vsize=2966184 CPUtime=1.21 cores=1,3,5,7 /proc/24523/task/24538/stat : 24538 (java) S 24521 24523 24165 0 -1 4202560 10513 0 0 0 119 2 0 0 20 0 21 0 344613824 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139390375992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24539] ppid=24521 vsize=2966184 CPUtime=2 cores=1,3,5,7 /proc/24523/task/24539/stat : 24539 (java) S 24521 24523 24165 0 -1 4202560 14041 0 0 0 197 3 0 0 20 0 21 0 344613824 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139389323448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24540] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24540/stat : 24540 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344613824 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139388271096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24541] ppid=24521 vsize=2966184 CPUtime=0.15 cores=1,3,5,7 /proc/24523/task/24541/stat : 24541 (java) S 24521 24523 24165 0 -1 4202560 22 0 0 0 5 10 0 0 20 0 21 0 344613824 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139387218760 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24543] ppid=24521 vsize=2966184 CPUtime=380.48 cores=1,3,5,7 /proc/24523/task/24543/stat : 24543 (java) R 24521 24523 24165 0 -1 4202560 382 0 0 0 38037 11 0 0 20 0 21 0 344613865 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139385110336 140139488349610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24544] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24544/stat : 24544 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344613866 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139384059432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24545] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24545/stat : 24545 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344613866 3037372416 197420 33554432000 1073741824 1073778376 140734277179072 140139383006888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 795.94 Current children cumulated vsize (KiB) 2966184 [startup+404.301 s] /proc/loadavg: 3.89 3.88 3.66 5/218 24547 /proc/meminfo: memFree=26357600/32873648 swapFree=6864/6864 [pid=24523] ppid=24521 vsize=2966184 CPUtime=795.34 cores=1,3,5,7 /proc/24523/stat : 24523 (java) S 24521 24523 24165 0 -1 4202496 30228 0 1 0 79456 78 0 0 20 0 21 0 344613819 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140734277170208 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24523/statm: 741546 197417 2286 9 0 732240 0 [pid=24523/tid=24525] ppid=24521 vsize=2966184 CPUtime=0.45 cores=1,3,5,7 /proc/24523/task/24525/stat : 24525 (java) S 24521 24523 24165 0 -1 4202560 2833 0 1 0 43 2 0 0 20 0 21 0 344613819 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139547808472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24526] ppid=24521 vsize=2966184 CPUtime=1.63 cores=1,3,5,7 /proc/24523/task/24526/stat : 24526 (java) S 24521 24523 24165 0 -1 4202560 112 0 0 0 158 5 0 0 20 0 21 0 344613820 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139414153896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24527] ppid=24521 vsize=2966184 CPUtime=1.51 cores=1,3,5,7 /proc/24523/task/24527/stat : 24527 (java) S 24521 24523 24165 0 -1 4202560 108 0 0 0 147 4 0 0 20 0 21 0 344613820 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139413101352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24528] ppid=24521 vsize=2966184 CPUtime=1.53 cores=1,3,5,7 /proc/24523/task/24528/stat : 24528 (java) S 24521 24523 24165 0 -1 4202560 138 0 0 0 148 5 0 0 20 0 21 0 344613820 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139412048808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24529] ppid=24521 vsize=2966184 CPUtime=1.66 cores=1,3,5,7 /proc/24523/task/24529/stat : 24529 (java) S 24521 24523 24165 0 -1 4202560 122 0 0 0 162 4 0 0 20 0 21 0 344613820 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139410996264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24530] ppid=24521 vsize=2966184 CPUtime=1.7 cores=1,3,5,7 /proc/24523/task/24530/stat : 24530 (java) S 24521 24523 24165 0 -1 4202560 141 0 0 0 166 4 0 0 20 0 21 0 344613820 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139409942696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24531] ppid=24521 vsize=2966184 CPUtime=1.58 cores=1,3,5,7 /proc/24523/task/24531/stat : 24531 (java) S 24521 24523 24165 0 -1 4202560 117 0 0 0 154 4 0 0 20 0 21 0 344613820 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139408890152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24532] ppid=24521 vsize=2966184 CPUtime=1.64 cores=1,3,5,7 /proc/24523/task/24532/stat : 24532 (java) S 24521 24523 24165 0 -1 4202560 116 0 0 0 160 4 0 0 20 0 21 0 344613820 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139407837608 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24533] ppid=24521 vsize=2966184 CPUtime=1.69 cores=1,3,5,7 /proc/24523/task/24533/stat : 24533 (java) S 24521 24523 24165 0 -1 4202560 111 0 0 0 165 4 0 0 20 0 21 0 344613820 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139406785064 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24534] ppid=24521 vsize=2966184 CPUtime=18 cores=1,3,5,7 /proc/24523/task/24534/stat : 24534 (java) S 24521 24523 24165 0 -1 4202560 95 0 0 0 1788 12 0 0 20 0 21 0 344613821 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139394587240 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24535] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24535/stat : 24535 (java) S 24521 24523 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 344613822 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139393533560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24536] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24536/stat : 24536 (java) S 24521 24523 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 344613822 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139392480904 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24537] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24537/stat : 24537 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344613824 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139391429648 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24523/tid=24538] ppid=24521 vsize=2966184 CPUtime=1.21 cores=1,3,5,7 /proc/24523/task/24538/stat : 24538 (java) S 24521 24523 24165 0 -1 4202560 10513 0 0 0 119 2 0 0 20 0 21 0 344613824 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139390375992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24539] ppid=24521 vsize=2966184 CPUtime=2 cores=1,3,5,7 /proc/24523/task/24539/stat : 24539 (java) S 24521 24523 24165 0 -1 4202560 14042 0 0 0 197 3 0 0 20 0 21 0 344613824 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139389323448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24523/tid=24540] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24540/stat : 24540 (java) S 24521 24523 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344613824 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139388271096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24523/tid=24541] ppid=24521 vsize=2966184 CPUtime=0.15 cores=1,3,5,7 /proc/24523/task/24541/stat : 24541 (java) S 24521 24523 24165 0 -1 4202560 22 0 0 0 5 10 0 0 20 0 21 0 344613824 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139387218760 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24544] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24544/stat : 24544 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344613866 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139384059432 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24523/tid=24545] ppid=24521 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/24523/task/24545/stat : 24545 (java) S 24521 24523 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344613866 3037372416 197417 33554432000 1073741824 1073778376 140734277179072 140139383006888 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 795.34 Current children cumulated vsize (KiB) 2966184 Child status: 10 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.53992 # lost CPU user time (s): 1.64996 # lost CPU system time (s): -0.11 Real time (s): 404.34 CPU time (s): 797.083 CPU user time (s): 796.232 CPU system time (s): 0.850853 CPU usage (%): 197.132 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 794.582 system time used= 0.960853 maximum resident set size= 789684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30235 page faults= 1 swaps= 0 block input operations= 0 block output operations= 464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18036 involuntary context switches= 27521 runsolver used 1.36079 second user time and 3.88641 second system time The end
Begin job on node113 at 2012-06-04 06:41:10 IDJOB=3742067 IDBENCH=90129 IDSOLVER=2324 FILE ID=node113/3742067-1338784870 RUNJOBID= node113-1338783018-24182 PBS_JOBID= 14636837 Free space on /tmp= 70980 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742067-1338784870/watcher-3742067-1338784870 -o /tmp/evaluation-result-3742067-1338784870/solver-3742067-1338784870 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742067-1338784870.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d56c20200c8726f988a44319a68d2e3 RANDOM SEED=1045135325 node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27369408 kB Buffers: 542420 kB Cached: 3514328 kB SwapCached: 2028 kB Active: 2277456 kB Inactive: 2303700 kB Active(anon): 523292 kB Inactive(anon): 1912 kB Active(file): 1754164 kB Inactive(file): 2301788 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67099708 kB Dirty: 1212 kB Writeback: 0 kB AnonPages: 550952 kB Mapped: 19460 kB Shmem: 0 kB Slab: 764024 kB SReclaimable: 208036 kB SUnreclaim: 555988 kB KernelStack: 1632 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1570924 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 514048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70976 MiB End job on node113 at 2012-06-04 06:47:54