| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT | 1365.15 | 1343.85 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K95.opb |
| MD5SUM | f5b402df79463ae0743ac9fe7c0d237d |
| 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 | 389.31 |
| 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 | 6460 |
| Total number of constraints | 6652 |
| Number of constraints which are clauses | 6557 |
| Number of constraints which are cardinality constraints (but not clauses) | 95 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 95 |
| 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 | 96 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.2.v20120418 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3689637-1337891940.opb 0.08/0.12 c reading problem ... 0.71/0.40 c ... done. Wall clock time 0.276s. 0.71/0.40 c declared #vars 6460 0.71/0.40 c #constraints 6652 0.71/0.40 c constraints type 0.71/0.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5333 0.71/0.40 c org.sat4j.minisat.constraints.card.MinWatchCard => 95 0.71/0.40 c org.sat4j.minisat.constraints.cnf.UnitClause => 2 0.71/0.40 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1222 0.71/0.40 c 6652 constraints processed. 1.86/1.26 c cleaning 2488 clauses out of 4991 with flag 5000/5000 2.75/2.03 c cleaning 4244 clauses out of 8498 with flag 11000/11000 3.66/2.96 c cleaning 5577 clauses out of 11254 with flag 18000/18000 4.78/4.02 c cleaning 6809 clauses out of 13673 with flag 26000/26000 6.03/5.27 c cleaning 7875 clauses out of 15860 with flag 35000/35000 7.55/6.72 c cleaning 8882 clauses out of 17984 with flag 45001/45001 9.17/8.37 c cleaning 9982 clauses out of 20102 with flag 56002/56002 10.97/10.11 c cleaning 10991 clauses out of 22118 with flag 68000/68000 13.00/12.14 c cleaning 11808 clauses out of 24125 with flag 81000/81000 14.91/14.08 c cleaning 13092 clauses out of 26316 with flag 95001/95001 17.25/16.32 c cleaning 13962 clauses out of 28221 with flag 110000/110000 19.57/18.67 c cleaning 14978 clauses out of 30259 with flag 126000/126000 21.98/21.00 c cleaning 15978 clauses out of 32280 with flag 143000/143000 24.70/23.74 c cleaning 16899 clauses out of 34301 with flag 161001/161001 27.32/26.39 c cleaning 18118 clauses out of 36400 with flag 180000/180000 30.64/29.63 c cleaning 18864 clauses out of 38283 with flag 200001/200001 33.67/32.69 c cleaning 20121 clauses out of 40420 with flag 221002/221002 37.09/36.07 c cleaning 21061 clauses out of 42297 with flag 243000/243000 40.70/39.67 c cleaning 21965 clauses out of 44236 with flag 266001/266001 44.83/43.72 c cleaning 22938 clauses out of 46271 with flag 290001/290001 48.77/47.65 c cleaning 24008 clauses out of 48332 with flag 315000/315000 52.68/51.57 c cleaning 25009 clauses out of 50324 with flag 341000/341000 56.82/55.69 c cleaning 26039 clauses out of 52316 with flag 368001/368001 61.74/60.51 c cleaning 26763 clauses out of 54276 with flag 396000/396000 66.56/65.33 c cleaning 28129 clauses out of 56511 with flag 425000/425000 72.48/71.20 c cleaning 28995 clauses out of 58382 with flag 455000/455000 77.43/76.12 c cleaning 29992 clauses out of 60386 with flag 486000/486000 83.46/82.17 c cleaning 31019 clauses out of 62397 with flag 518003/518003 89.44/88.05 c cleaning 31983 clauses out of 64375 with flag 551000/551000 97.46/96.09 c cleaning 33044 clauses out of 66394 with flag 585002/585002 105.44/103.95 c cleaning 33865 clauses out of 68351 with flag 620003/620003 113.62/112.01 c cleaning 34741 clauses out of 70483 with flag 656000/656000 120.30/118.66 c cleaning 36119 clauses out of 72741 with flag 693000/693000 127.92/126.20 c cleaning 37135 clauses out of 74625 with flag 731003/731003 135.27/133.56 c cleaning 38002 clauses out of 76488 with flag 770001/770001 142.41/140.69 c cleaning 38117 clauses out of 78486 with flag 810001/810001 151.34/149.57 c cleaning 39744 clauses out of 81368 with flag 851000/851000 160.08/158.30 c cleaning 40523 clauses out of 83624 with flag 893000/893000 174.52/172.47 c cleaning 41903 clauses out of 86102 with flag 936001/936001 184.06/181.96 c cleaning 42798 clauses out of 88199 with flag 980001/980001 193.83/191.61 c cleaning 43262 clauses out of 90402 with flag 1025002/1025002 203.69/201.49 c cleaning 44391 clauses out of 93139 with flag 1071001/1071001 213.25/211.00 c cleaning 45216 clauses out of 95749 with flag 1118002/1118002 223.50/221.19 c cleaning 46166 clauses out of 98533 with flag 1166002/1166002 234.46/232.08 c cleaning 47274 clauses out of 101366 with flag 1215001/1215001 247.32/244.74 c cleaning 48828 clauses out of 104092 with flag 1265002/1265002 263.93/261.28 c cleaning 50345 clauses out of 106262 with flag 1316000/1316000 279.27/276.55 c cleaning 50849 clauses out of 107917 with flag 1368000/1368000 296.78/293.90 c cleaning 51800 clauses out of 110068 with flag 1421000/1421000 311.90/308.90 c cleaning 52824 clauses out of 112273 with flag 1475005/1475005 323.67/320.64 c cleaning 53143 clauses out of 114444 with flag 1530000/1530000 339.41/336.31 c cleaning 54856 clauses out of 117301 with flag 1586000/1586000 353.19/350.00 c cleaning 55260 clauses out of 119445 with flag 1643000/1643000 370.78/367.11 c cleaning 56893 clauses out of 122187 with flag 1701002/1701002 390.20/386.05 c cleaning 57730 clauses out of 124295 with flag 1760003/1760003 410.01/405.47 c cleaning 59121 clauses out of 126564 with flag 1820002/1820002 436.07/431.05 c cleaning 60316 clauses out of 128441 with flag 1881000/1881000 456.84/451.43 c cleaning 61526 clauses out of 130125 with flag 1943000/1943000 477.91/472.25 c cleaning 61416 clauses out of 131599 with flag 2006000/2006000 494.90/488.90 c cleaning 62585 clauses out of 134187 with flag 2070004/2070004 516.51/510.07 c cleaning 63774 clauses out of 136598 with flag 2135000/2135000 533.05/526.38 c cleaning 63938 clauses out of 138827 with flag 2201003/2201003 549.89/542.96 c cleaning 65347 clauses out of 141886 with flag 2268000/2268000 569.54/562.27 c cleaning 66751 clauses out of 144540 with flag 2336001/2336001 588.13/580.48 c cleaning 67506 clauses out of 146790 with flag 2405002/2405002 610.17/602.10 c cleaning 68443 clauses out of 149283 with flag 2475001/2475001 640.02/631.38 c cleaning 70329 clauses out of 151840 with flag 2546001/2546001 669.23/660.06 c cleaning 71237 clauses out of 153510 with flag 2618000/2618000 691.59/682.01 c cleaning 71835 clauses out of 155278 with flag 2691005/2691005 719.81/709.78 c cleaning 72486 clauses out of 157441 with flag 2765003/2765003 741.10/730.68 c cleaning 73701 clauses out of 159955 with flag 2840003/2840003 776.12/765.08 c cleaning 74987 clauses out of 162252 with flag 2916001/2916001 818.38/806.50 c cleaning 76198 clauses out of 164268 with flag 2993004/2993004 854.56/841.99 c cleaning 76811 clauses out of 166068 with flag 3071002/3071002 898.30/885.02 c cleaning 78453 clauses out of 168257 with flag 3150002/3150002 919.75/906.04 c cleaning 78663 clauses out of 169802 with flag 3230000/3230000 944.30/930.16 c cleaning 79449 clauses out of 172139 with flag 3311000/3311000 968.79/954.13 c cleaning 81058 clauses out of 174690 with flag 3393001/3393001 990.76/975.74 c cleaning 81459 clauses out of 176632 with flag 3476001/3476001 1016.62/1001.20 c cleaning 82196 clauses out of 179172 with flag 3560000/3560000 1046.93/1031.12 c cleaning 83584 clauses out of 181977 with flag 3645001/3645001 1076.00/1059.70 c cleaning 84208 clauses out of 184395 with flag 3731003/3731003 1113.78/1096.89 c cleaning 86231 clauses out of 187184 with flag 3818000/3818000 1159.78/1142.07 c cleaning 87402 clauses out of 188953 with flag 3906000/3906000 1200.52/1182.19 c cleaning 88018 clauses out of 190551 with flag 3995000/3995000 1242.89/1223.77 c cleaning 88795 clauses out of 192534 with flag 4085001/4085001 1284.18/1264.38 c cleaning 90089 clauses out of 194738 with flag 4176000/4176000 1321.26/1300.71 c cleaning 91102 clauses out of 196651 with flag 4268002/4268002 1350.99/1329.95 c cleaning 91179 clauses out of 198547 with flag 4361000/4361000 1365.05/1343.76 c starts : 253 1365.05/1343.76 c conflicts : 4402545 1365.05/1343.76 c decisions : 32208794 1365.05/1343.76 c propagations : 1440349004 1365.05/1343.76 c inspects : 8262738073 1365.05/1343.76 c shortcuts : 0 1365.05/1343.76 c learnt literals : 42 1365.05/1343.76 c learnt binary clauses : 90959 1365.05/1343.76 c learnt ternary clauses : 121153 1365.05/1343.76 c learnt constraints : 4402503 1365.05/1343.76 c ignored constraints : 0 1365.05/1343.76 c root simplifications : 0 1365.05/1343.76 c removed literals (reason simplification) : 0 1365.05/1343.76 c reason swapping (by a shorter reason) : 0 1365.05/1343.76 c Calls to reduceDB : 89 1365.05/1343.76 c number of reductions to clauses (during analyze) : 0 1365.05/1343.76 c number of learned constraints concerned by reduction : 0 1365.05/1343.76 c number of learning phase by resolution : 0 1365.05/1343.76 c number of learning phase by cutting planes : 0 1365.05/1343.76 c speed (assignments/second) : 1072206.799419362 1365.05/1343.76 c non guided choices 6706 1365.15/1343.82 c learnt constraints type 1365.15/1343.82 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 90959 1365.15/1343.82 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57954 1365.15/1343.82 c constraints type 1365.15/1343.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5333 1365.15/1343.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 95 1365.15/1343.82 c org.sat4j.minisat.constraints.cnf.UnitClause => 2 1365.15/1343.82 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1222 1365.15/1343.82 c 6652 constraints processed. 1365.15/1343.82 s SATISFIABLE 1365.15/1343.83 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 1365.15/1343.84 c Total wall clock time (in seconds): 1343.712
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-3689637-1337891940/watcher-3689637-1337891940 -o /tmp/evaluation-result-3689637-1337891940/solver-3689637-1337891940 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689637-1337891940.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.16 2.06 2/192 23680 /proc/meminfo: memFree=23814556/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/23680/stat : 23680 (java) D 23678 23680 21473 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 255322399 9515008 176 33554432000 1073741824 1073778376 140734030808576 140734030791304 226329707408 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2323 176 133 9 0 71 0 [startup+0.0114901 s] /proc/loadavg: 2.19 2.16 2.06 2/192 23680 /proc/meminfo: memFree=23814556/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=91816 CPUtime=0 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 255322399 94019584 918 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 23225 919 697 9 0 16769 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 91816 [startup+0.10026 s] /proc/loadavg: 2.19 2.16 2.06 2/192 23680 /proc/meminfo: memFree=23814556/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 4120 0 1 0 7 1 0 0 20 0 18 0 255322399 9787813888 5321 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2389603 5322 2071 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.300217 s] /proc/loadavg: 2.19 2.16 2.06 2/192 23680 /proc/meminfo: memFree=23814556/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9558412 CPUtime=0.53 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 7450 0 1 0 51 2 0 0 20 0 18 0 255322399 9787813888 9282 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2389603 9282 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558412 [startup+0.70022 s] /proc/loadavg: 2.19 2.16 2.06 2/192 23680 /proc/meminfo: memFree=23814556/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9624976 CPUtime=1.36 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 7725 0 1 0 133 3 0 0 20 0 19 0 255322399 9855975424 15515 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2406244 15515 2247 9 0 2396937 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 9624976 [startup+1.50056 s] /proc/loadavg: 2.19 2.16 2.06 3/211 23699 /proc/meminfo: memFree=23758648/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9624976 CPUtime=2.23 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 8111 0 1 0 219 4 0 0 20 0 19 0 255322399 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2406244 19148 2275 9 0 2396937 0 [pid=23680/tid=23682] ppid=23678 vsize=9624976 CPUtime=1.44 cores=0,2,4,6 /proc/23680/task/23682/stat : 23682 (java) R 23678 23680 21473 0 -1 4202560 2476 0 1 0 142 2 0 0 20 0 19 0 255322400 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730763370904 139730604350638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23683] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23683/stat : 23683 (java) S 23678 23680 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730724863016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23684] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23684/stat : 23684 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730723810216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23685] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23685/stat : 23685 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730722757416 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23686] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23686/stat : 23686 (java) S 23678 23680 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730603731624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23687] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23687/stat : 23687 (java) S 23678 23680 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730602678824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23688] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23688/stat : 23688 (java) S 23678 23680 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730601626024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23689] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23689/stat : 23689 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730600573224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23690] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23690/stat : 23690 (java) S 23678 23680 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730599520424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23691] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23691/stat : 23691 (java) S 23678 23680 21473 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730117192680 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23692] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23692/stat : 23692 (java) S 23678 23680 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730116138744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23693] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23693/stat : 23693 (java) S 23678 23680 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730115085832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23694] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23694/stat : 23694 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730114034320 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23695] ppid=23678 vsize=9624976 CPUtime=0.33 cores=0,2,4,6 /proc/23680/task/23695/stat : 23695 (java) S 23678 23680 21473 0 -1 4202560 1734 0 0 0 33 0 0 0 20 0 19 0 255322406 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730112981432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23696] ppid=23678 vsize=9624976 CPUtime=0.38 cores=0,2,4,6 /proc/23680/task/23696/stat : 23696 (java) S 23678 23680 21473 0 -1 4202560 2652 0 0 0 38 0 0 0 20 0 19 0 255322406 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730111928632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23697] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23697/stat : 23697 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730110876024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23698] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23698/stat : 23698 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730109823432 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23699] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23699/stat : 23699 (java) S 23678 23680 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255322441 9855975424 19148 33554432000 1073741824 1073778376 140734271298864 139730108769960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 9624976 [startup+3.10062 s] /proc/loadavg: 2.17 2.16 2.06 3/211 23699 /proc/meminfo: memFree=23739596/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9624976 CPUtime=3.88 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 8130 0 1 0 384 4 0 0 20 0 19 0 255322399 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2406244 21203 2275 9 0 2396937 0 [pid=23680/tid=23682] ppid=23678 vsize=9624976 CPUtime=3.01 cores=0,2,4,6 /proc/23680/task/23682/stat : 23682 (java) R 23678 23680 21473 0 -1 4202560 2477 0 1 0 299 2 0 0 20 0 19 0 255322400 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730763370904 139730604446251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23683] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23683/stat : 23683 (java) S 23678 23680 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730724863016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23684] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23684/stat : 23684 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730723810216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23685] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23685/stat : 23685 (java) S 23678 23680 21473 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730722757416 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23686] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23686/stat : 23686 (java) S 23678 23680 21473 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730603731624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23687] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23687/stat : 23687 (java) S 23678 23680 21473 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730602678824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23688] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23688/stat : 23688 (java) S 23678 23680 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730601626024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23689] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23689/stat : 23689 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730600573224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23690] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23690/stat : 23690 (java) S 23678 23680 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730599520424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23691] ppid=23678 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/23680/task/23691/stat : 23691 (java) S 23678 23680 21473 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255322403 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730117192680 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23692] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23692/stat : 23692 (java) S 23678 23680 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730116138744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23693] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23693/stat : 23693 (java) S 23678 23680 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730115085832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23694] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23694/stat : 23694 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730114034320 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23695] ppid=23678 vsize=9624976 CPUtime=0.35 cores=0,2,4,6 /proc/23680/task/23695/stat : 23695 (java) S 23678 23680 21473 0 -1 4202560 1735 0 0 0 35 0 0 0 20 0 19 0 255322406 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730112981432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23696] ppid=23678 vsize=9624976 CPUtime=0.4 cores=0,2,4,6 /proc/23680/task/23696/stat : 23696 (java) S 23678 23680 21473 0 -1 4202560 2653 0 0 0 40 0 0 0 20 0 19 0 255322406 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730111928632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23697] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23697/stat : 23697 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730110876024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23698] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23698/stat : 23698 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730109823432 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23699] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23699/stat : 23699 (java) S 23678 23680 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255322441 9855975424 21203 33554432000 1073741824 1073778376 140734271298864 139730108769960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.88 Current children cumulated vsize (KiB) 9624976 [startup+6.30059 s] /proc/loadavg: 2.17 2.16 2.06 3/211 23699 /proc/meminfo: memFree=23735004/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9624976 CPUtime=7.15 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 8144 0 1 0 711 4 0 0 20 0 19 0 255322399 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2406244 21683 2275 9 0 2396937 0 [pid=23680/tid=23682] ppid=23678 vsize=9624976 CPUtime=6.15 cores=0,2,4,6 /proc/23680/task/23682/stat : 23682 (java) R 23678 23680 21473 0 -1 4202560 2478 0 1 0 613 2 0 0 20 0 19 0 255322400 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730763370784 139730604442063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23683] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23683/stat : 23683 (java) S 23678 23680 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730724863016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23684] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23684/stat : 23684 (java) S 23678 23680 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730723810216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23685] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23685/stat : 23685 (java) S 23678 23680 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730722757416 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23686] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23686/stat : 23686 (java) S 23678 23680 21473 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730603731624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23687] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23687/stat : 23687 (java) S 23678 23680 21473 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730602678824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23688] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23688/stat : 23688 (java) S 23678 23680 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730601626024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23689] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23689/stat : 23689 (java) S 23678 23680 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730600573224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23690] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23690/stat : 23690 (java) S 23678 23680 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255322402 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730599520424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23691] ppid=23678 vsize=9624976 CPUtime=0.07 cores=0,2,4,6 /proc/23680/task/23691/stat : 23691 (java) S 23678 23680 21473 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 255322403 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730117192680 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23692] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23692/stat : 23692 (java) S 23678 23680 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730116138744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23693] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23693/stat : 23693 (java) S 23678 23680 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730115085832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23694] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23694/stat : 23694 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730114034320 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23695] ppid=23678 vsize=9624976 CPUtime=0.35 cores=0,2,4,6 /proc/23680/task/23695/stat : 23695 (java) S 23678 23680 21473 0 -1 4202560 1736 0 0 0 35 0 0 0 20 0 19 0 255322406 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730112981432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23696] ppid=23678 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/23680/task/23696/stat : 23696 (java) S 23678 23680 21473 0 -1 4202560 2655 0 0 0 44 0 0 0 20 0 19 0 255322406 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730111928632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23697] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23697/stat : 23697 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730110876024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23698] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23698/stat : 23698 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730109823432 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23699] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23699/stat : 23699 (java) S 23678 23680 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255322441 9855975424 21683 33554432000 1073741824 1073778376 140734271298864 139730108769960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.15 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] ################ # More data... # ################ /proc/23680/task/23690/stat : 23690 (java) R 23678 23680 21473 0 -1 4202560 2003 0 0 0 365 8 0 0 20 0 19 0 255322402 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730599520424 139730769879475 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23691] ppid=23678 vsize=9624976 CPUtime=3.77 cores=0,2,4,6 /proc/23680/task/23691/stat : 23691 (java) S 23678 23680 21473 0 -1 4202560 668 0 0 0 372 5 0 0 20 0 19 0 255322403 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730117191560 226333078588 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23692] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23692/stat : 23692 (java) S 23678 23680 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730116138744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23693] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23693/stat : 23693 (java) S 23678 23680 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730115085832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23694] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23694/stat : 23694 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730114034320 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23695] ppid=23678 vsize=9624976 CPUtime=0.37 cores=0,2,4,6 /proc/23680/task/23695/stat : 23695 (java) S 23678 23680 21473 0 -1 4202560 1741 0 0 0 37 0 0 0 20 0 19 0 255322406 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730112981432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23696] ppid=23678 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/23680/task/23696/stat : 23696 (java) S 23678 23680 21473 0 -1 4202560 2655 0 0 0 44 0 0 0 20 0 19 0 255322406 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730111928632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23697] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23697/stat : 23697 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730110876024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23698] ppid=23678 vsize=9624976 CPUtime=0.37 cores=0,2,4,6 /proc/23680/task/23698/stat : 23698 (java) S 23678 23680 21473 0 -1 4202560 76 0 0 0 24 13 0 0 20 0 19 0 255322406 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730109823432 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23699] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23699/stat : 23699 (java) S 23678 23680 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255322441 9855975424 124392 33554432000 1073741824 1073778376 140734271298864 139730108769960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1364.42 Current children cumulated vsize (KiB) 9624976 [startup+1343.5 s] /proc/loadavg: 2.35 2.16 2.10 3/212 23795 /proc/meminfo: memFree=27746212/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9624976 CPUtime=1364.85 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 22052 0 1 0 136399 86 0 0 20 0 19 0 255322399 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2406244 124087 2276 9 0 2396937 0 [pid=23680/tid=23682] ppid=23678 vsize=9624976 CPUtime=1327.69 cores=0,2,4,6 /proc/23680/task/23682/stat : 23682 (java) R 23678 23680 21473 0 -1 4202560 2972 0 1 0 132744 25 0 0 20 0 19 0 255322400 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730763369840 139730604351095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23683] ppid=23678 vsize=9624976 CPUtime=3.66 cores=0,2,4,6 /proc/23680/task/23683/stat : 23683 (java) S 23678 23680 21473 0 -1 4202560 729 0 0 0 358 8 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730724863016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23684] ppid=23678 vsize=9624976 CPUtime=3.46 cores=0,2,4,6 /proc/23680/task/23684/stat : 23684 (java) S 23678 23680 21473 0 -1 4202560 1422 0 0 0 337 9 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730723810216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23685] ppid=23678 vsize=9624976 CPUtime=3.57 cores=0,2,4,6 /proc/23680/task/23685/stat : 23685 (java) S 23678 23680 21473 0 -1 4202560 1688 0 0 0 349 8 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730722757416 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23686] ppid=23678 vsize=9624976 CPUtime=3.69 cores=0,2,4,6 /proc/23680/task/23686/stat : 23686 (java) S 23678 23680 21473 0 -1 4202560 1377 0 0 0 363 6 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730603731624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23687] ppid=23678 vsize=9624976 CPUtime=3.6 cores=0,2,4,6 /proc/23680/task/23687/stat : 23687 (java) S 23678 23680 21473 0 -1 4202560 1540 0 0 0 353 7 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730602678824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23688] ppid=23678 vsize=9624976 CPUtime=3.57 cores=0,2,4,6 /proc/23680/task/23688/stat : 23688 (java) S 23678 23680 21473 0 -1 4202560 2432 0 0 0 348 9 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730601626024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23689] ppid=23678 vsize=9624976 CPUtime=3.53 cores=0,2,4,6 /proc/23680/task/23689/stat : 23689 (java) S 23678 23680 21473 0 -1 4202560 1563 0 0 0 344 9 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730600573224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23690] ppid=23678 vsize=9624976 CPUtime=3.74 cores=0,2,4,6 /proc/23680/task/23690/stat : 23690 (java) S 23678 23680 21473 0 -1 4202560 2003 0 0 0 366 8 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730599520424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23691] ppid=23678 vsize=9624976 CPUtime=3.77 cores=0,2,4,6 /proc/23680/task/23691/stat : 23691 (java) S 23678 23680 21473 0 -1 4202560 668 0 0 0 372 5 0 0 20 0 19 0 255322403 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730117192680 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23692] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23692/stat : 23692 (java) S 23678 23680 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730116138744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23693] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23693/stat : 23693 (java) S 23678 23680 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730115085832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23694] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23694/stat : 23694 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730114034320 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23695] ppid=23678 vsize=9624976 CPUtime=0.37 cores=0,2,4,6 /proc/23680/task/23695/stat : 23695 (java) S 23678 23680 21473 0 -1 4202560 1741 0 0 0 37 0 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730112981432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23696] ppid=23678 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/23680/task/23696/stat : 23696 (java) S 23678 23680 21473 0 -1 4202560 2655 0 0 0 44 0 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730111928632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23697] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23697/stat : 23697 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730110876024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23698] ppid=23678 vsize=9624976 CPUtime=0.37 cores=0,2,4,6 /proc/23680/task/23698/stat : 23698 (java) S 23678 23680 21473 0 -1 4202560 76 0 0 0 24 13 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730109823432 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23699] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23699/stat : 23699 (java) S 23678 23680 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255322441 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730108769960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1364.85 Current children cumulated vsize (KiB) 9624976 [startup+1343.7 s] /proc/loadavg: 2.35 2.16 2.10 3/212 23795 /proc/meminfo: memFree=27746212/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9624976 CPUtime=1365.05 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 22052 0 1 0 136419 86 0 0 20 0 19 0 255322399 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2406244 124087 2276 9 0 2396937 0 [pid=23680/tid=23682] ppid=23678 vsize=9624976 CPUtime=1327.89 cores=0,2,4,6 /proc/23680/task/23682/stat : 23682 (java) R 23678 23680 21473 0 -1 4202560 2972 0 1 0 132764 25 0 0 20 0 19 0 255322400 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730763369840 139730604351137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23683] ppid=23678 vsize=9624976 CPUtime=3.66 cores=0,2,4,6 /proc/23680/task/23683/stat : 23683 (java) S 23678 23680 21473 0 -1 4202560 729 0 0 0 358 8 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730724863016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23684] ppid=23678 vsize=9624976 CPUtime=3.46 cores=0,2,4,6 /proc/23680/task/23684/stat : 23684 (java) S 23678 23680 21473 0 -1 4202560 1422 0 0 0 337 9 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730723810216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23685] ppid=23678 vsize=9624976 CPUtime=3.57 cores=0,2,4,6 /proc/23680/task/23685/stat : 23685 (java) S 23678 23680 21473 0 -1 4202560 1688 0 0 0 349 8 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730722757416 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23686] ppid=23678 vsize=9624976 CPUtime=3.69 cores=0,2,4,6 /proc/23680/task/23686/stat : 23686 (java) S 23678 23680 21473 0 -1 4202560 1377 0 0 0 363 6 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730603731624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23687] ppid=23678 vsize=9624976 CPUtime=3.6 cores=0,2,4,6 /proc/23680/task/23687/stat : 23687 (java) S 23678 23680 21473 0 -1 4202560 1540 0 0 0 353 7 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730602678824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23688] ppid=23678 vsize=9624976 CPUtime=3.57 cores=0,2,4,6 /proc/23680/task/23688/stat : 23688 (java) S 23678 23680 21473 0 -1 4202560 2432 0 0 0 348 9 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730601626024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23689] ppid=23678 vsize=9624976 CPUtime=3.53 cores=0,2,4,6 /proc/23680/task/23689/stat : 23689 (java) S 23678 23680 21473 0 -1 4202560 1563 0 0 0 344 9 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730600573224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23690] ppid=23678 vsize=9624976 CPUtime=3.74 cores=0,2,4,6 /proc/23680/task/23690/stat : 23690 (java) S 23678 23680 21473 0 -1 4202560 2003 0 0 0 366 8 0 0 20 0 19 0 255322402 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730599520424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23691] ppid=23678 vsize=9624976 CPUtime=3.77 cores=0,2,4,6 /proc/23680/task/23691/stat : 23691 (java) S 23678 23680 21473 0 -1 4202560 668 0 0 0 372 5 0 0 20 0 19 0 255322403 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730117192680 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23692] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23692/stat : 23692 (java) S 23678 23680 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730116138744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23693] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23693/stat : 23693 (java) S 23678 23680 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255322403 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730115085832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23694] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23694/stat : 23694 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730114034320 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23695] ppid=23678 vsize=9624976 CPUtime=0.37 cores=0,2,4,6 /proc/23680/task/23695/stat : 23695 (java) S 23678 23680 21473 0 -1 4202560 1741 0 0 0 37 0 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730112981432 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23696] ppid=23678 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/23680/task/23696/stat : 23696 (java) S 23678 23680 21473 0 -1 4202560 2655 0 0 0 44 0 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730111928632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23697] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23697/stat : 23697 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730110876024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23698] ppid=23678 vsize=9624976 CPUtime=0.37 cores=0,2,4,6 /proc/23680/task/23698/stat : 23698 (java) S 23678 23680 21473 0 -1 4202560 76 0 0 0 24 13 0 0 20 0 19 0 255322406 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730109823432 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23699] ppid=23678 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23699/stat : 23699 (java) S 23678 23680 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255322441 9855975424 124087 33554432000 1073741824 1073778376 140734271298864 139730108769960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1365.05 Current children cumulated vsize (KiB) 9624976 [startup+1343.8 s] /proc/loadavg: 2.35 2.16 2.10 3/212 23795 /proc/meminfo: memFree=27746212/32873844 swapFree=6080/6080 [pid=23680] ppid=23678 vsize=9691540 CPUtime=1365.15 cores=0,2,4,6 /proc/23680/stat : 23680 (java) S 23678 23680 21473 0 -1 4202496 22117 0 1 0 136429 86 0 0 20 0 20 0 255322399 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 140734271290000 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23680/statm: 2422885 124141 2279 9 0 2413578 0 [pid=23680/tid=23682] ppid=23678 vsize=9691540 CPUtime=1327.96 cores=0,2,4,6 /proc/23680/task/23682/stat : 23682 (java) S 23678 23680 21473 0 -1 4202560 2974 0 1 0 132771 25 0 0 20 0 20 0 255322400 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730763371224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23683] ppid=23678 vsize=9691540 CPUtime=3.66 cores=0,2,4,6 /proc/23680/task/23683/stat : 23683 (java) S 23678 23680 21473 0 -1 4202560 729 0 0 0 358 8 0 0 20 0 20 0 255322402 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730724863016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23684] ppid=23678 vsize=9691540 CPUtime=3.46 cores=0,2,4,6 /proc/23680/task/23684/stat : 23684 (java) S 23678 23680 21473 0 -1 4202560 1422 0 0 0 337 9 0 0 20 0 20 0 255322402 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730723810216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23685] ppid=23678 vsize=9691540 CPUtime=3.57 cores=0,2,4,6 /proc/23680/task/23685/stat : 23685 (java) S 23678 23680 21473 0 -1 4202560 1688 0 0 0 349 8 0 0 20 0 20 0 255322402 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730722757416 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23686] ppid=23678 vsize=9691540 CPUtime=3.69 cores=0,2,4,6 /proc/23680/task/23686/stat : 23686 (java) S 23678 23680 21473 0 -1 4202560 1377 0 0 0 363 6 0 0 20 0 20 0 255322402 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730603731624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23687] ppid=23678 vsize=9691540 CPUtime=3.6 cores=0,2,4,6 /proc/23680/task/23687/stat : 23687 (java) S 23678 23680 21473 0 -1 4202560 1540 0 0 0 353 7 0 0 20 0 20 0 255322402 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730602678824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23680/tid=23688] ppid=23678 vsize=9691540 CPUtime=3.57 cores=0,2,4,6 /proc/23680/task/23688/stat : 23688 (java) S 23678 23680 21473 0 -1 4202560 2432 0 0 0 348 9 0 0 20 0 20 0 255322402 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730601626024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23689] ppid=23678 vsize=9691540 CPUtime=3.53 cores=0,2,4,6 /proc/23680/task/23689/stat : 23689 (java) S 23678 23680 21473 0 -1 4202560 1563 0 0 0 344 9 0 0 20 0 20 0 255322402 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730600573224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23690] ppid=23678 vsize=9691540 CPUtime=3.74 cores=0,2,4,6 /proc/23680/task/23690/stat : 23690 (java) S 23678 23680 21473 0 -1 4202560 2003 0 0 0 366 8 0 0 20 0 20 0 255322402 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730599520424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23691] ppid=23678 vsize=9691540 CPUtime=3.77 cores=0,2,4,6 /proc/23680/task/23691/stat : 23691 (java) S 23678 23680 21473 0 -1 4202560 668 0 0 0 372 5 0 0 20 0 20 0 255322403 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730117192680 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23692] ppid=23678 vsize=9691540 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23692/stat : 23692 (java) S 23678 23680 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 255322403 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730116138744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23693] ppid=23678 vsize=9691540 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23693/stat : 23693 (java) S 23678 23680 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 255322403 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730115085832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23694] ppid=23678 vsize=9691540 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23694/stat : 23694 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255322406 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730114034320 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23695] ppid=23678 vsize=9691540 CPUtime=0.38 cores=0,2,4,6 /proc/23680/task/23695/stat : 23695 (java) R 23678 23680 21473 0 -1 4202560 1797 0 0 0 38 0 0 0 20 0 20 0 255322406 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730112958680 139730765867921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23680/tid=23696] ppid=23678 vsize=9691540 CPUtime=0.44 cores=0,2,4,6 /proc/23680/task/23696/stat : 23696 (java) S 23678 23680 21473 0 -1 4202560 2655 0 0 0 44 0 0 0 20 0 20 0 255322406 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730111928632 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23697] ppid=23678 vsize=9691540 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23697/stat : 23697 (java) S 23678 23680 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255322406 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730110876024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23680/tid=23698] ppid=23678 vsize=9691540 CPUtime=0.37 cores=0,2,4,6 /proc/23680/task/23698/stat : 23698 (java) S 23678 23680 21473 0 -1 4202560 76 0 0 0 24 13 0 0 20 0 20 0 255322406 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730109823432 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23680/tid=23699] ppid=23678 vsize=9691540 CPUtime=0 cores=0,2,4,6 /proc/23680/task/23699/stat : 23699 (java) S 23678 23680 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 255322441 9924136960 124141 33554432000 1073741824 1073778376 140734271298864 139730108769960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1365.15 Current children cumulated vsize (KiB) 9691540 Child status: 10 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23680 and gives # childrusage.ru_utime.tv_sec=1360 # childrusage.ru_utime.tv_usec=894112 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=212815 # CPU time returned by wait4() is 1362.11 # while last known CPU time is 1365.15 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1343.85 CPU time (s): 1365.15 CPU user time (s): 1364.29 CPU system time (s): 0.86 CPU usage (%): 101.585 Max. virtual memory (cumulated for all children) (KiB): 9691540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1360.89 system time used= 1.21281 maximum resident set size= 531536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22342 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1312 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42726 involuntary context switches= 60544 runsolver used 4.28035 second user time and 9.39357 second system time The end
Begin job on node110 at 2012-05-24 22:39:00 IDJOB=3689637 IDBENCH=90134 IDSOLVER=2269 FILE ID=node110/3689637-1337891940 RUNJOBID= node110-1337871882-21489 PBS_JOBID= 14620094 Free space on /tmp= 71612 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K95.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689637-1337891940/watcher-3689637-1337891940 -o /tmp/evaluation-result-3689637-1337891940/solver-3689637-1337891940 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689637-1337891940.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f5b402df79463ae0743ac9fe7c0d237d RANDOM SEED=277339580 node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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 : 5333.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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 : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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 : 2666.893 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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: 32873844 kB MemFree: 23814440 kB Buffers: 213900 kB Cached: 3211216 kB SwapCached: 0 kB Active: 5400876 kB Inactive: 2883940 kB Active(anon): 4861916 kB Inactive(anon): 0 kB Active(file): 538960 kB Inactive(file): 2883940 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 844 kB Writeback: 0 kB AnonPages: 4865556 kB Mapped: 21512 kB Shmem: 200 kB Slab: 628248 kB SReclaimable: 70896 kB SUnreclaim: 557352 kB KernelStack: 1592 kB PageTables: 13644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 6214044 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4796416 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71612 MiB End job on node110 at 2012-05-24 23:01:24