Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j PB 2012-05-28 | MSAT (TO) | 1800.02 | 1782.28 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo |
MD5SUM | 4b3e4ac9b9f8acc38ac61fe906d48ca6 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.371943 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 6800 |
Total number of constraints | 165 |
Number of soft constraints | 165 |
Number of constraints which are clauses | 85 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 85 |
Top cost | 7728 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 7727 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 86 |
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.08/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.08/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.10 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.2.v20120528 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.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose 2 learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3717779-1338253922.wbo 0.08/0.13 c reading problem ... 0.51/0.32 c ... done. Wall clock time 0.195s. 0.51/0.32 c declared #vars 6800 0.51/0.32 c internal #vars 6965 0.51/0.32 c #constraints 165 0.51/0.32 c constraints type 0.51/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 0.51/0.32 c ignored satisfied constraints => 1 0.51/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80 0.51/0.32 c 166 constraints processed. 0.51/0.32 c objective function length is 165 literals 1.11/0.57 c SATISFIABLE 1.11/0.57 c OPTIMIZING... 1.11/0.57 c Got one! Elapsed wall clock time (in seconds):0.44 1.11/0.57 o 90 1.11/0.59 c Got one! Elapsed wall clock time (in seconds):0.464 1.11/0.59 o 20 1.41/0.61 c Got one! Elapsed wall clock time (in seconds):0.486 1.41/0.61 o 7 1.41/0.68 c Got one! Elapsed wall clock time (in seconds):0.558 1.41/0.68 o 5 1.68/0.80 c Got one! Elapsed wall clock time (in seconds):0.671 1.68/0.80 o 4 1.78/0.92 c Got one! Elapsed wall clock time (in seconds):0.797 1.78/0.92 o 1 2.08/1.28 c cleaning 3228 clauses out of 6473 with flag 17677/6473 2.86/1.94 c cleaning 4602 clauses out of 9243 with flag 54039/12471 3.68/2.79 c cleaning 5784 clauses out of 11641 with flag 98001/19471 5.01/4.03 c cleaning 6849 clauses out of 13859 with flag 154528/27473 6.52/5.44 c cleaning 7957 clauses out of 16009 with flag 213472/36472 7.93/6.87 c cleaning 8959 clauses out of 18051 with flag 277297/46471 9.75/8.64 c cleaning 9961 clauses out of 20092 with flag 350454/57471 12.79/11.62 c cleaning 11018 clauses out of 22134 with flag 441474/69474 15.60/14.35 c cleaning 12027 clauses out of 24113 with flag 532337/82471 18.75/17.43 c cleaning 13000 clauses out of 26088 with flag 623378/96473 22.13/20.75 c cleaning 14017 clauses out of 28086 with flag 734178/111471 24.59/23.18 c cleaning 15012 clauses out of 30069 with flag 836190/127471 27.82/26.36 c cleaning 16002 clauses out of 32061 with flag 956189/144475 32.07/30.50 c cleaning 16995 clauses out of 34056 with flag 1105785/162472 35.56/33.99 c cleaning 18001 clauses out of 36062 with flag 1243985/181473 39.21/37.55 c cleaning 18987 clauses out of 38060 with flag 1375442/201472 43.96/42.27 c cleaning 20010 clauses out of 40075 with flag 1546990/222474 50.12/48.38 c cleaning 21017 clauses out of 42062 with flag 1727606/244471 56.68/54.90 c cleaning 21980 clauses out of 44045 with flag 1926150/267471 61.31/59.38 c cleaning 22982 clauses out of 46065 with flag 2094039/291471 67.66/65.68 c cleaning 24032 clauses out of 48083 with flag 2331164/316471 75.82/73.79 c cleaning 25018 clauses out of 50052 with flag 2572804/342472 84.17/81.99 c cleaning 26004 clauses out of 52034 with flag 2811745/369472 92.26/89.95 c cleaning 26980 clauses out of 54029 with flag 3059448/397471 98.06/95.67 c cleaning 27985 clauses out of 56049 with flag 3280711/426471 107.52/104.81 c cleaning 29007 clauses out of 58065 with flag 3555422/456472 119.59/116.80 c cleaning 30007 clauses out of 60058 with flag 3840250/487472 130.84/127.94 c cleaning 31016 clauses out of 62052 with flag 4184269/519473 142.44/139.46 c cleaning 32009 clauses out of 64039 with flag 4516707/552476 156.25/153.00 c cleaning 32999 clauses out of 66025 with flag 4827750/586471 163.56/160.33 c cleaning 33932 clauses out of 68026 with flag 5079360/621471 173.88/170.57 c cleaning 35033 clauses out of 70099 with flag 5400160/657476 185.00/181.56 c cleaning 36024 clauses out of 72062 with flag 5731910/694472 196.61/193.03 c cleaning 37005 clauses out of 74038 with flag 6065979/732472 212.27/208.56 c cleaning 38008 clauses out of 76032 with flag 6416121/771471 225.01/221.18 c cleaning 39009 clauses out of 78027 with flag 6752984/811474 241.51/237.52 c cleaning 40005 clauses out of 80019 with flag 7131641/852475 255.26/251.11 c cleaning 40979 clauses out of 82013 with flag 7507900/894474 266.28/262.04 c cleaning 41965 clauses out of 84031 with flag 7826805/937471 279.29/274.95 c cleaning 43024 clauses out of 86066 with flag 8214460/981471 294.42/289.94 c cleaning 44010 clauses out of 88042 with flag 8615071/1026471 317.13/312.20 c cleaning 45005 clauses out of 90032 with flag 9085862/1072471 334.07/329.15 c cleaning 45998 clauses out of 92027 with flag 9538051/1119471 354.83/349.74 c cleaning 47001 clauses out of 94029 with flag 10046840/1167471 371.09/365.81 c cleaning 47994 clauses out of 96028 with flag 10568722/1216471 390.23/384.85 c cleaning 48998 clauses out of 98034 with flag 11070034/1266471 412.71/407.10 c cleaning 50009 clauses out of 100043 with flag 11694985/1317478 424.34/418.57 c cleaning 50984 clauses out of 102029 with flag 12109030/1369473 444.17/438.26 c cleaning 52006 clauses out of 104044 with flag 12586130/1422472 466.38/460.24 c cleaning 53010 clauses out of 106040 with flag 13079572/1476474 491.47/485.18 c cleaning 53996 clauses out of 108028 with flag 13585952/1531472 520.75/514.23 c cleaning 54998 clauses out of 110033 with flag 14182686/1587473 558.32/551.29 c cleaning 56013 clauses out of 112036 with flag 14810934/1644474 586.54/579.32 c cleaning 57002 clauses out of 114021 with flag 15435866/1702472 616.55/608.84 c cleaning 58001 clauses out of 116018 with flag 16055507/1761471 646.99/638.85 c cleaning 58973 clauses out of 118017 with flag 16676679/1821471 678.18/669.85 c cleaning 60008 clauses out of 120044 with flag 17350297/1882471 712.31/703.74 c cleaning 61003 clauses out of 122038 with flag 18081668/1944473 745.41/736.52 c cleaning 61994 clauses out of 124033 with flag 18774161/2007471 767.63/758.47 c cleaning 62981 clauses out of 126039 with flag 19333040/2071471 791.57/782.16 c cleaning 63997 clauses out of 128062 with flag 19975659/2136475 819.18/809.60 c cleaning 65007 clauses out of 130062 with flag 20585091/2202472 858.60/848.79 c cleaning 65999 clauses out of 132054 with flag 21234267/2269471 885.30/875.22 c cleaning 67010 clauses out of 134055 with flag 21912658/2337471 926.35/916.19 c cleaning 68013 clauses out of 136050 with flag 22522171/2406476 951.61/941.15 c cleaning 69000 clauses out of 138032 with flag 23171292/2476471 988.20/977.56 c cleaning 70000 clauses out of 140033 with flag 23958217/2547472 1023.37/1012.40 c cleaning 71001 clauses out of 142034 with flag 24825285/2619473 1054.05/1042.86 c cleaning 72006 clauses out of 144033 with flag 25583571/2692473 1100.65/1089.24 c cleaning 72998 clauses out of 146025 with flag 26214557/2766471 1143.72/1131.98 c cleaning 74000 clauses out of 148029 with flag 26908535/2841473 1184.53/1172.45 c cleaning 75003 clauses out of 150027 with flag 27724758/2917471 1222.88/1210.59 c cleaning 75998 clauses out of 152028 with flag 28567123/2994475 1248.77/1236.17 c cleaning 76992 clauses out of 154026 with flag 29226628/3072471 1278.87/1265.90 c cleaning 78000 clauses out of 156034 with flag 29938173/3151471 1309.41/1296.21 c cleaning 79003 clauses out of 158034 with flag 30666860/3231471 1341.55/1328.15 c cleaning 79996 clauses out of 160033 with flag 31500685/3312473 1380.86/1366.83 c cleaning 80974 clauses out of 162038 with flag 32389171/3394474 1422.90/1408.34 c cleaning 81997 clauses out of 164061 with flag 33163443/3477471 1509.77/1494.21 c cleaning 83021 clauses out of 166064 with flag 34100930/3561471 1574.75/1558.14 c cleaning 84015 clauses out of 168051 with flag 35020752/3646479 1632.64/1615.74 c cleaning 84977 clauses out of 170028 with flag 35849637/3732471 1706.02/1688.82 c cleaning 85997 clauses out of 172054 with flag 36731366/3819474 1758.25/1740.71 c cleaning 86989 clauses out of 174054 with flag 37704142/3907471 1800.02/1782.21 c starts : 258 1800.02/1782.21 c conflicts : 3974948 1800.02/1782.21 c decisions : 5965025 1800.02/1782.21 c propagations : 298625752 1800.02/1782.21 c inspects : 13199419564 1800.02/1782.21 c shortcuts : 0 1800.02/1782.21 c learnt literals : 0 1800.02/1782.21 c learnt binary clauses : 0 1800.02/1782.21 c learnt ternary clauses : 0 1800.02/1782.21 c learnt constraints : 3974948 1800.02/1782.21 c ignored constraints : 0 1800.02/1782.21 c root simplifications : 0 1800.02/1782.21 c removed literals (reason simplification) : 0 1800.02/1782.21 c reason swapping (by a shorter reason) : 0 1800.02/1782.21 c Calls to reduceDB : 84 1800.02/1782.21 c Number of update (reduction) of LBD : 2456193 1800.02/1782.21 c number of reductions to clauses (during analyze) : 0 1800.02/1782.21 c number of learned constraints concerned by reduction : 0 1800.02/1782.21 c number of learning phase by resolution : 0 1800.02/1782.21 c number of learning phase by cutting planes : 0 1800.02/1782.21 c speed (assignments/second) : 167590.8397563464 1800.02/1782.21 c non guided choices 327713 1800.02/1782.24 c learnt constraints type 1800.02/1782.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154571 1800.02/1782.24 c constraints type 1800.02/1782.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 1800.02/1782.24 c ignored satisfied constraints => 1 1800.02/1782.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 81 1800.02/1782.24 c 167 constraints processed. 1800.02/1782.24 s SATISFIABLE 1800.02/1782.25 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 1800.02/1782.26 c objective function=1 1800.02/1782.26 c Total wall clock time (in seconds): 1782.136
OK 1
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-3717779-1338253922/watcher-3717779-1338253922 -o /tmp/evaluation-result-3717779-1338253922/solver-3717779-1338253922 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717779-1338253922.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.99 3/195 18591 /proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/18591/stat : 18591 (java) D 18589 18591 13427 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 291520683 9515008 175 33554432000 1073741824 1073778376 140735278037200 140735278019928 270118241168 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/18591/statm: 2323 175 133 9 0 71 0 [startup+0.034946 s] /proc/loadavg: 1.92 1.99 1.99 3/195 18591 /proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9016616 CPUtime=0.01 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 2777 0 1 0 1 0 0 0 20 0 10 0 291520683 9233014784 3477 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2254154 3477 1538 9 0 2244855 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9016616 [startup+0.100345 s] /proc/loadavg: 1.92 1.99 1.99 3/195 18591 /proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9558416 CPUtime=0.08 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 3859 0 1 0 7 1 0 0 20 0 18 0 291520683 9787817984 5062 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2389604 5063 2030 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558416 [startup+0.300297 s] /proc/loadavg: 1.92 1.99 1.99 3/195 18591 /proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9558416 CPUtime=0.51 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 7175 0 1 0 50 1 0 0 20 0 18 0 291520683 9787817984 9862 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2389604 9862 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558416 [startup+0.700309 s] /proc/loadavg: 1.92 1.99 1.99 3/195 18591 /proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9624980 CPUtime=1.58 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 11763 0 1 0 155 3 0 0 20 0 19 0 291520683 9855979520 14722 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2406245 14722 2246 9 0 2396937 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9624980 [startup+1.50079 s] /proc/loadavg: 1.92 1.99 1.99 3/214 18610 /proc/meminfo: memFree=30866604/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9624980 CPUtime=2.42 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 11849 0 1 0 238 4 0 0 20 0 19 0 291520683 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2406245 23478 2279 9 0 2396937 0 [pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=1.44 cores=1,3,5,7 /proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 2475 0 1 0 142 2 0 0 20 0 19 0 291520684 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020355838360 140020179166709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291520686 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3677 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.44 cores=1,3,5,7 /proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 44 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.42 Current children cumulated vsize (KiB) 9624980 [startup+3.10079 s] /proc/loadavg: 1.93 1.99 1.99 3/214 18610 /proc/meminfo: memFree=30822976/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9624980 CPUtime=4.11 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 11884 0 1 0 404 7 0 0 20 0 19 0 291520683 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2406245 29624 2279 9 0 2396937 0 [pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=2.99 cores=1,3,5,7 /proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 2476 0 1 0 297 2 0 0 20 0 19 0 291520684 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179166652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=0.04 cores=1,3,5,7 /proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 19 0 291520686 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.49 cores=1,3,5,7 /proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3678 0 0 0 49 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.11 Current children cumulated vsize (KiB) 9624980 [startup+6.30062 s] /proc/loadavg: 1.93 1.99 1.99 3/214 18610 /proc/meminfo: memFree=30805740/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9624980 CPUtime=7.43 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 12403 0 1 0 732 11 0 0 20 0 19 0 291520683 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2406245 34680 2279 9 0 2396937 0 [pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=6.09 cores=1,3,5,7 /proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 2478 0 1 0 607 2 0 0 20 0 19 0 291520684 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179200318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 142 0 0 0 0 2 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 150 0 0 0 0 2 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 124 0 0 0 1 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 127 0 0 0 1 1 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 39 0 0 0 9 0 0 0 20 0 19 0 291520686 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.53 cores=1,3,5,7 /proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3689 0 0 0 53 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.43 Current children cumulated vsize (KiB) 9624980 [startup+12.7008 s] ################ # More data... # ################ [pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 291520690 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0.85 cores=1,3,5,7 /proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 93 0 0 0 49 36 0 0 20 0 19 0 291520690 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1619.24 Current children cumulated vsize (KiB) 9624980 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.00 3/213 18895 /proc/meminfo: memFree=29535288/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9624980 CPUtime=1679.51 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 20982 0 1 0 167602 349 0 0 20 0 19 0 291520683 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2406245 543609 2280 9 0 2396937 0 [pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=1644.45 cores=1,3,5,7 /proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 3524 0 1 0 164417 28 0 0 20 0 19 0 291520684 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179199616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=2.46 cores=1,3,5,7 /proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 922 0 0 0 205 41 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=2.72 cores=1,3,5,7 /proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 613 0 0 0 236 36 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=2.32 cores=1,3,5,7 /proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 606 0 0 0 202 30 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=2.93 cores=1,3,5,7 /proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 1011 0 0 0 246 47 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=2.36 cores=1,3,5,7 /proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 814 0 0 0 207 29 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=2.58 cores=1,3,5,7 /proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 642 0 0 0 222 36 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=2.85 cores=1,3,5,7 /proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 859 0 0 0 248 37 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=2.5 cores=1,3,5,7 /proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 860 0 0 0 215 35 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=7.92 cores=1,3,5,7 /proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 1718 0 0 0 788 4 0 0 20 0 19 0 291520686 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0.88 cores=1,3,5,7 /proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 95 0 0 0 51 37 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1679.51 Current children cumulated vsize (KiB) 9624980 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/214 18898 /proc/meminfo: memFree=29515980/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9624980 CPUtime=1739.84 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 21061 0 1 0 173633 351 0 0 20 0 19 0 291520683 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2406245 543665 2280 9 0 2396937 0 [pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=1704.03 cores=1,3,5,7 /proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 3525 0 1 0 170374 29 0 0 20 0 19 0 291520684 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179228885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=2.53 cores=1,3,5,7 /proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 922 0 0 0 212 41 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=2.76 cores=1,3,5,7 /proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 623 0 0 0 240 36 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=2.37 cores=1,3,5,7 /proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 640 0 0 0 207 30 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=2.96 cores=1,3,5,7 /proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 1022 0 0 0 249 47 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=2.4 cores=1,3,5,7 /proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 814 0 0 0 211 29 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=2.61 cores=1,3,5,7 /proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 642 0 0 0 225 36 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=2.89 cores=1,3,5,7 /proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 865 0 0 0 252 37 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=2.6 cores=1,3,5,7 /proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 871 0 0 0 225 35 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=8.08 cores=1,3,5,7 /proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 1720 0 0 0 804 4 0 0 20 0 19 0 291520686 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0.92 cores=1,3,5,7 /proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 99 0 0 0 53 39 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1739.84 Current children cumulated vsize (KiB) 9624980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782.2 s] /proc/loadavg: 2.00 2.02 2.00 3/212 18898 /proc/meminfo: memFree=29524188/32873844 swapFree=6872/6872 [pid=18591] ppid=18589 vsize=9624980 CPUtime=1800.02 cores=1,3,5,7 /proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 21115 0 1 0 179649 353 0 0 20 0 19 0 291520683 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/18591/statm: 2406245 541455 2280 9 0 2396937 0 [pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=1763.54 cores=1,3,5,7 /proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 3526 0 1 0 176324 30 0 0 20 0 19 0 291520684 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179197426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=2.58 cores=1,3,5,7 /proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 922 0 0 0 217 41 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=2.78 cores=1,3,5,7 /proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 651 0 0 0 241 37 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=2.39 cores=1,3,5,7 /proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 640 0 0 0 209 30 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=2.99 cores=1,3,5,7 /proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 1028 0 0 0 252 47 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=2.44 cores=1,3,5,7 /proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 814 0 0 0 215 29 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=2.63 cores=1,3,5,7 /proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 642 0 0 0 227 36 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=2.97 cores=1,3,5,7 /proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 865 0 0 0 260 37 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=2.68 cores=1,3,5,7 /proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 884 0 0 0 233 35 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=8.24 cores=1,3,5,7 /proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 1722 0 0 0 820 4 0 0 20 0 19 0 291520686 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0.96 cores=1,3,5,7 /proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 103 0 0 0 55 41 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9624980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18591 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=811603 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=830417 # CPU time returned by wait4() is 1795.64 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1782.28 CPU time (s): 1800.02 CPU user time (s): 1796.49 CPU system time (s): 3.53 CPU usage (%): 100.996 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.81 system time used= 3.83042 maximum resident set size= 2174848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21154 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1648 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39980 involuntary context switches= 16849 runsolver used 6.14007 second user time and 16.1335 second system time The end
Begin job on node106 at 2012-05-29 03:12:02 IDJOB=3717779 IDBENCH=79176 IDSOLVER=2301 FILE ID=node106/3717779-1338253922 RUNJOBID= node106-1338247868-15528 PBS_JOBID= 14624657 Free space on /tmp= 71332 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717779-1338253922/watcher-3717779-1338253922 -o /tmp/evaluation-result-3717779-1338253922/solver-3717779-1338253922 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717779-1338253922.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b3e4ac9b9f8acc38ac61fe906d48ca6 RANDOM SEED=1315565531 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 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 : 2667.065 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 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 : 2667.065 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: 30925472 kB Buffers: 74720 kB Cached: 56268 kB SwapCached: 1836 kB Active: 1111896 kB Inactive: 42148 kB Active(anon): 1022308 kB Inactive(anon): 3012 kB Active(file): 89588 kB Inactive(file): 39136 kB Unevictable: 6872 kB Mlocked: 6872 kB SwapTotal: 67108856 kB SwapFree: 67100488 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 1027932 kB Mapped: 15828 kB Shmem: 0 kB Slab: 651736 kB SReclaimable: 93540 kB SUnreclaim: 558196 kB KernelStack: 1600 kB PageTables: 6364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1425472 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 964608 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= 71332 MiB End job on node106 at 2012-05-29 03:41:46