Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 9441250 | 1800.6 | 907.248 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
MD5SUM | 291088d217a1998c91be99350439e903 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5516295 |
Best CPU time to get the best result obtained on this benchmark | 1800.71 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5965824 |
Optimality of the best value was proved | NO |
Number of variables | 7812 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1543007621731 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1543007621731 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.10 c version 2.3.2.v20120418 0.00/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.10 c java.vm.version 19.1-b02 0.00/0.10 c java.vm.vendor Sun Microsystems Inc. 0.00/0.10 c sun.arch.data.model 64 0.00/0.10 c java.version 1.6.0_24 0.00/0.10 c os.name Linux 0.00/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.10 c os.arch amd64 0.00/0.10 c Free memory 501472288 0.00/0.10 c Max memory 7480803328 0.00/0.10 c Total memory 504102912 0.00/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3687926-1337874832.opb 0.09/0.12 c reading problem ... 1.10/0.58 c ... done. Wall clock time 0.451s. 1.10/0.58 c declared #vars 7812 1.41/0.64 c #constraints 318 1.41/0.64 c constraints type 1.41/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 318 1.41/0.64 c 318 constraints processed. 1.41/0.64 c constraints type 1.41/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 318 1.41/0.64 c 318 constraints processed. 1.41/0.64 c objective function length is 7812 literals 2.94/1.08 c And the winner is solver0 3.22/1.14 c SATISFIABLE 3.22/1.14 c OPTIMIZING... 3.22/1.14 c Got one! Elapsed wall clock time (in seconds):1.01 3.22/1.14 o 13475436 9.90/4.21 c cleaning 2773 clauses out of 5568 with flag 5000/5568 20.20/9.26 c cleaning 4398 clauses out of 8795 with flag 11000/11568 30.92/14.62 c cleaning 5699 clauses out of 11397 with flag 18000/18568 37.45/17.91 c cleaning 6835 clauses out of 13698 with flag 26000/26568 45.04/21.71 c cleaning 7917 clauses out of 15863 with flag 35000/35568 53.37/25.99 c cleaning 8956 clauses out of 17946 with flag 45000/45568 62.51/30.51 c cleaning 9947 clauses out of 19991 with flag 56001/56569 72.21/35.47 c cleaning 11001 clauses out of 22044 with flag 68001/68569 78.47/38.64 c And the winner is solver1 78.60/38.84 c Got one! Elapsed wall clock time (in seconds):38.717 78.60/38.84 o 13460340 84.72/41.90 c cleaning 12076 clauses out of 24178 with flag 5001/81704 86.39/42.77 c And the winner is solver1 86.57/42.86 c Got one! Elapsed wall clock time (in seconds):42.733 86.57/42.86 o 9441250 90.47/44.88 c cleaning 8951 clauses out of 17924 with flag 5000/87526 96.32/47.85 c cleaning 7488 clauses out of 14977 with flag 11004/93530 101.38/50.46 c cleaning 7229 clauses out of 14485 with flag 18000/100526 107.57/53.60 c cleaning 7629 clauses out of 15260 with flag 26004/108530 114.24/57.01 c cleaning 8282 clauses out of 16627 with flag 35000/117526 121.51/60.75 c cleaning 9171 clauses out of 18345 with flag 45000/127526 129.78/64.93 c cleaning 10087 clauses out of 20174 with flag 56000/138526 138.55/69.48 c cleaning 11040 clauses out of 22090 with flag 68003/150529 148.57/74.59 c cleaning 11996 clauses out of 24047 with flag 81000/163526 159.00/79.87 c cleaning 13016 clauses out of 26051 with flag 95000/177526 170.04/85.41 c cleaning 14014 clauses out of 28038 with flag 110003/192529 181.97/91.52 c cleaning 15005 clauses out of 30021 with flag 126000/208526 195.40/98.30 c cleaning 15947 clauses out of 32016 with flag 143000/225526 208.82/105.15 c cleaning 17027 clauses out of 34069 with flag 161000/243526 223.23/112.43 c cleaning 18018 clauses out of 36043 with flag 180001/262527 237.34/119.68 c cleaning 18926 clauses out of 38024 with flag 200000/282526 254.74/128.45 c cleaning 20044 clauses out of 40101 with flag 221003/303529 270.34/136.31 c cleaning 21008 clauses out of 42054 with flag 243000/325526 287.53/145.05 c cleaning 22008 clauses out of 44046 with flag 266000/348526 307.43/155.19 c cleaning 23003 clauses out of 46038 with flag 290000/372526 326.40/164.76 c cleaning 23973 clauses out of 48035 with flag 315000/397526 344.98/174.15 c cleaning 25018 clauses out of 50066 with flag 341004/423530 364.78/184.15 c cleaning 26008 clauses out of 52046 with flag 368002/450528 386.03/194.93 c cleaning 26968 clauses out of 54036 with flag 396000/478526 410.44/207.21 c cleaning 27938 clauses out of 56068 with flag 425000/507526 434.86/219.51 c cleaning 29004 clauses out of 58130 with flag 455000/537526 462.47/233.46 c cleaning 30046 clauses out of 60126 with flag 486000/568526 487.12/245.93 c cleaning 31036 clauses out of 62081 with flag 518001/600527 512.52/258.73 c cleaning 31963 clauses out of 64044 with flag 551000/633526 539.13/272.12 c cleaning 32991 clauses out of 66081 with flag 585000/667526 566.29/285.82 c cleaning 34031 clauses out of 68090 with flag 620000/702526 594.94/300.32 c cleaning 34999 clauses out of 70061 with flag 656002/738528 622.87/314.49 c cleaning 35973 clauses out of 72060 with flag 693000/775526 654.24/330.21 c cleaning 36957 clauses out of 74087 with flag 731000/813526 684.63/345.52 c cleaning 38042 clauses out of 76130 with flag 770000/852526 717.69/362.22 c cleaning 39034 clauses out of 78088 with flag 810000/892526 755.46/381.23 c cleaning 40016 clauses out of 80055 with flag 851001/933527 791.10/399.14 c cleaning 41002 clauses out of 82042 with flag 893004/975530 825.82/416.51 c cleaning 41982 clauses out of 84039 with flag 936003/1018529 863.39/435.59 c cleaning 42999 clauses out of 86054 with flag 980000/1062526 903.17/455.59 c cleaning 43996 clauses out of 88055 with flag 1025000/1107526 947.13/477.64 c cleaning 45012 clauses out of 90059 with flag 1071000/1153526 991.12/499.71 c cleaning 46014 clauses out of 92048 with flag 1118001/1200527 1031.13/519.95 c cleaning 47003 clauses out of 94033 with flag 1166000/1248526 1076.43/542.66 c cleaning 47987 clauses out of 96030 with flag 1215000/1297526 1119.71/564.31 c cleaning 48973 clauses out of 98043 with flag 1265000/1347526 1164.18/586.64 c cleaning 50004 clauses out of 100070 with flag 1316000/1398526 1209.73/609.48 c cleaning 51023 clauses out of 102066 with flag 1368000/1450526 1255.99/633.04 c cleaning 51962 clauses out of 104043 with flag 1421000/1503526 1300.15/655.22 c cleaning 53020 clauses out of 106082 with flag 1475001/1557527 1352.50/681.69 c cleaning 54003 clauses out of 108061 with flag 1530000/1612526 1409.12/710.04 c cleaning 54996 clauses out of 110058 with flag 1586000/1668526 1461.48/736.39 c cleaning 55989 clauses out of 112065 with flag 1643003/1725529 1508.17/759.80 c cleaning 57016 clauses out of 114073 with flag 1701000/1783526 1553.31/782.79 c cleaning 58004 clauses out of 116059 with flag 1760002/1842528 1607.93/810.23 c cleaning 59013 clauses out of 118053 with flag 1820000/1902526 1665.99/839.49 c cleaning 60015 clauses out of 120040 with flag 1881000/1963526 1719.79/866.52 c cleaning 60985 clauses out of 122028 with flag 1943003/2025529 1770.54/892.22 c cleaning 61997 clauses out of 124040 with flag 2006000/2088526 1800.04/907.21 c starts : 16 1800.04/907.21 c conflicts : 4784 1800.04/907.21 c decisions : 415142 1800.04/907.21 c propagations : 1388799 1800.04/907.21 c inspects : 237081056 1800.04/907.21 c shortcuts : 0 1800.04/907.21 c learnt literals : 0 1800.04/907.21 c learnt binary clauses : 0 1800.04/907.21 c learnt ternary clauses : 0 1800.04/907.21 c learnt constraints : 4783 1800.04/907.21 c ignored constraints : 0 1800.04/907.21 c root simplifications : 0 1800.04/907.21 c removed literals (reason simplification) : 0 1800.04/907.21 c reason swapping (by a shorter reason) : 0 1800.04/907.21 c Calls to reduceDB : 0 1800.04/907.21 c number of reductions to clauses (during analyze) : 0 1800.04/907.21 c number of learned constraints concerned by reduction : 0 1800.04/907.21 c number of learning phase by resolution : 0 1800.04/907.21 c number of learning phase by cutting planes : 0 1800.04/907.21 c speed (assignments/second) : 1532.814595301558 1800.04/907.21 c non guided choices 0 1800.04/907.21 c learnt constraints type 1800.04/907.21 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4783 1800.04/907.21 c constraints type 1800.04/907.21 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 319 1800.04/907.21 c 319 constraints processed. 1800.04/907.21 c constraints type 1800.04/907.21 c org.sat4j.pb.constraints.pb.MaxWatchPb => 319 1800.04/907.21 c 319 constraints processed. 1800.04/907.21 s SATISFIABLE 1800.04/907.22 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 x1652 x1653 x1654 x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 x2163 x2164 x2165 x2166 x2167 x2168 x2169 x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 x2222 x2223 x2224 x2225 x2226 x2227 x2228 x2229 x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 x2732 x2733 x2734 x2735 x2736 x2737 x2738 x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 x2763 x2764 -x2765 x2766 x2767 x2768 x2769 x2770 x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 x3994 x3995 x3996 x3997 x3998 x3999 x4000 x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 x4323 x4324 -x4325 x4326 x4327 x4328 x4329 x4330 -x4331 -x4332 x4333 x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 x6061 x6062 x6063 x6064 x6065 x6066 x6067 x6068 x6069 x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6091 x6092 x6093 x6094 x6095 x6096 x6097 x6098 x6099 x6100 x6101 x6102 x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 -x6552 -x6553 x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 x6731 -x6732 x6733 -x6734 x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 x6914 x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 x7183 x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 x7361 -x7362 x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 x7566 -x7567 -x7568 x7569 -x7570 x7571 x7572 -x7573 -x7574 x7575 -x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 x7597 -x7598 -x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 x7613 -x7614 -x7615 x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 x7624 x7625 -x7626 -x7627 -x7628 -x7629 -x7630 x7631 -x7632 x7633 x7634 x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 x7652 x7653 -x7654 x7655 -x7656 -x7657 x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 x7666 -x7667 x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 x7683 -x7684 -x7685 -x7686 x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7694 x7695 -x7696 x7697 -x7698 x7699 x7700 x7701 -x7702 -x7703 x7704 x7705 x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 x7729 -x7730 x7731 -x7732 -x7733 x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 x7759 -x7760 -x7761 -x7762 x7763 x7764 -x7765 x7766 x7767 -x7768 -x7769 -x7770 -x7771 x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 x7779 -x7780 -x7781 -x7782 -x7783 x7784 x7785 -x7786 -x7787 -x7788 -x7789 -x7790 x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 1800.04/907.23 c objective function=9441250 1800.04/907.23 c Total wall clock time (in seconds): 907.107
OK 9441250
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-3687926-1337874832/watcher-3687926-1337874832 -o /tmp/evaluation-result-3687926-1337874832/solver-3687926-1337874832 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687926-1337874832.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.68 3.79 3.62 4/199 27363 /proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/27363/stat : 27363 (java) R 27361 27363 26250 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253608009 9515008 184 33554432000 1073741824 1073778376 140735918132416 140735918123448 215143315687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/27363/statm: 2323 185 142 9 0 71 0 [startup+0.103125 s] /proc/loadavg: 3.68 3.79 3.62 4/199 27363 /proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 4267 0 1 0 8 1 0 0 20 0 18 0 253608009 9787813888 5462 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2389603 5462 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.200237 s] /proc/loadavg: 3.68 3.79 3.62 4/199 27363 /proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9558412 CPUtime=0.28 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 5044 0 1 0 27 1 0 0 20 0 18 0 253608009 9787813888 6911 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2389603 6911 2204 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558412 [startup+0.300209 s] /proc/loadavg: 3.68 3.79 3.62 4/199 27363 /proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9558412 CPUtime=0.49 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 9625 0 1 0 47 2 0 0 20 0 18 0 253608009 9787813888 12073 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2389603 12074 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.700215 s] /proc/loadavg: 3.68 3.79 3.62 4/199 27363 /proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9824668 CPUtime=1.81 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 19438 0 1 0 176 5 0 0 20 0 22 0 253608009 10060460032 24868 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2456167 24868 2253 9 0 2446860 0 Current children cumulated CPU time (s) 1.81 Current children cumulated vsize (KiB) 9824668 [startup+1.50075 s] /proc/loadavg: 3.68 3.79 3.62 4/218 27385 /proc/meminfo: memFree=27202124/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9824668 CPUtime=4.35 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 22032 0 1 0 425 10 0 0 20 0 22 0 253608009 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2456167 51295 2273 9 0 2446860 0 [pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2473 0 1 0 55 2 0 0 20 0 22 0 253608010 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253608012 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=0.99 cores=0,2,4,6 /proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9897 0 0 0 96 3 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.03 cores=0,2,4,6 /proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 8191 0 0 0 101 2 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27385] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27385/stat : 27385 (java) S 27361 27363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253608077 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207645972136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.35 Current children cumulated vsize (KiB) 9824668 [startup+3.10083 s] /proc/loadavg: 3.63 3.77 3.61 4/221 27388 /proc/meminfo: memFree=27137644/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9824668 CPUtime=7.66 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 22420 0 1 0 753 13 0 0 20 0 22 0 253608009 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2456167 57255 2274 9 0 2446860 0 [pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2473 0 1 0 55 2 0 0 20 0 22 0 253608010 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 97 0 0 0 1 1 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253608012 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=0.99 cores=0,2,4,6 /proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9897 0 0 0 96 3 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.08 cores=0,2,4,6 /proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 8208 0 0 0 106 2 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27385] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27385/stat : 27385 (java) S 27361 27363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253608077 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207645972136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27386] ppid=27361 vsize=9824668 CPUtime=1.88 cores=0,2,4,6 /proc/27363/task/27386/stat : 27386 (java) R 27361 27363 26250 0 -1 4202560 5 0 0 0 188 0 0 0 20 0 22 0 253608124 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207648074000 140208151268345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27387] ppid=27361 vsize=9824668 CPUtime=1.88 cores=0,2,4,6 /proc/27363/task/27387/stat : 27387 (java) R 27361 27363 26250 0 -1 4202560 24 0 0 0 188 0 0 0 20 0 22 0 253608124 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207649128504 140208151284434 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27388] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27388/stat : 27388 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253608126 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207647024168 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.66 Current children cumulated vsize (KiB) 9824668 [startup+6.30079 s] /proc/loadavg: 3.63 3.77 3.61 5/221 27388 /proc/meminfo: memFree=26914108/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9824668 CPUtime=14.32 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 26370 0 1 0 1413 19 0 0 20 0 22 0 253608009 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2456167 84826 2286 9 0 2446860 0 [pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2473 0 1 0 55 2 0 0 20 0 22 0 253608010 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 104 0 0 0 3 0 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 107 0 0 0 3 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 90 0 0 0 3 0 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 101 0 0 0 2 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=0.09 cores=0,2,4,6 /proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 101 0 0 0 9 0 0 0 20 0 22 0 253608012 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=1.07 cores=0,2,4,6 /proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9904 0 0 0 104 3 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.3 cores=0,2,4,6 /proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 12032 0 0 0 127 3 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=27363/tid=27392] ppid=27361 vsize=9824668 CPUtime=754.95 cores=0,2,4,6 /proc/27363/task/27392/stat : 27392 (java) R 27361 27363 26250 0 -1 4202560 798 0 0 0 75478 17 0 0 20 0 22 0 253612297 10060460032 365229 33554432000 1073741824 1073778376 140733229280736 140207648074848 140208151268358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27393] ppid=27361 vsize=9824668 CPUtime=754.95 cores=0,2,4,6 /proc/27363/task/27393/stat : 27393 (java) R 27361 27363 26250 0 -1 4202560 1931 0 0 0 75474 21 0 0 20 0 22 0 253612297 10060460032 365229 33554432000 1073741824 1073778376 140733229280736 140207649128448 140208151398859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27394] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27394/stat : 27394 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253612297 10060460032 365229 33554432000 1073741824 1073778376 140733229280736 140207645971240 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1631.59 Current children cumulated vsize (KiB) 9824668 [startup+882.307 s] /proc/loadavg: 3.80 3.93 3.81 5/221 27485 /proc/meminfo: memFree=27330560/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9824668 CPUtime=1750.58 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 40214 0 1 0 174859 199 0 0 20 0 22 0 253608009 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2456167 391091 2287 9 0 2446860 0 [pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.65 cores=0,2,4,6 /proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2509 0 1 0 62 3 0 0 20 0 22 0 253608010 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=2.04 cores=0,2,4,6 /proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 1327 0 0 0 188 16 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=2.2 cores=0,2,4,6 /proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 1378 0 0 0 201 19 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=2.15 cores=0,2,4,6 /proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 896 0 0 0 197 18 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=2.08 cores=0,2,4,6 /proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 1177 0 0 0 191 17 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=2 cores=0,2,4,6 /proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 929 0 0 0 185 15 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=2.13 cores=0,2,4,6 /proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 1208 0 0 0 198 15 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=2.08 cores=0,2,4,6 /proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 1260 0 0 0 191 17 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=1.9 cores=0,2,4,6 /proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 747 0 0 0 178 12 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=22.97 cores=0,2,4,6 /proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 1799 0 0 0 2278 19 0 0 20 0 22 0 253608012 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=1.18 cores=0,2,4,6 /proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9904 0 0 0 115 3 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.85 cores=0,2,4,6 /proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 12577 0 0 0 182 3 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0.33 cores=0,2,4,6 /proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27388] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27388/stat : 27388 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253608126 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207647024168 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27392] ppid=27361 vsize=9824668 CPUtime=813.12 cores=0,2,4,6 /proc/27363/task/27392/stat : 27392 (java) R 27361 27363 26250 0 -1 4202560 799 0 0 0 81293 19 0 0 20 0 22 0 253612297 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207648074848 140208151296072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27393] ppid=27361 vsize=9824668 CPUtime=813.12 cores=0,2,4,6 /proc/27363/task/27393/stat : 27393 (java) R 27361 27363 26250 0 -1 4202560 1938 0 0 0 81290 22 0 0 20 0 22 0 253612297 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207649128336 140208151284434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27394] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27394/stat : 27394 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253612297 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207645971240 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1750.58 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+907.201 s] /proc/loadavg: 3.80 3.92 3.81 5/221 27485 /proc/meminfo: memFree=27165048/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 40420 0 1 0 179794 210 0 0 20 0 22 0 253608009 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2456167 409064 2287 9 0 2446860 0 [pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.65 cores=0,2,4,6 /proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2510 0 1 0 62 3 0 0 20 0 22 0 253608010 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=2.08 cores=0,2,4,6 /proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 1334 0 0 0 191 17 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=2.3 cores=0,2,4,6 /proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 1400 0 0 0 210 20 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=2.19 cores=0,2,4,6 /proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 906 0 0 0 200 19 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=2.16 cores=0,2,4,6 /proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 1201 0 0 0 197 19 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=2.06 cores=0,2,4,6 /proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 951 0 0 0 190 16 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 1233 0 0 0 207 17 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=2.16 cores=0,2,4,6 /proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 1287 0 0 0 198 18 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=1.96 cores=0,2,4,6 /proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 768 0 0 0 183 13 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=23.57 cores=0,2,4,6 /proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 1840 0 0 0 2338 19 0 0 20 0 22 0 253608012 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=1.18 cores=0,2,4,6 /proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9904 0 0 0 115 3 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.85 cores=0,2,4,6 /proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 12577 0 0 0 182 3 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0.34 cores=0,2,4,6 /proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27388] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27388/stat : 27388 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253608126 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207647024168 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27392] ppid=27361 vsize=9824668 CPUtime=837.27 cores=0,2,4,6 /proc/27363/task/27392/stat : 27392 (java) R 27361 27363 26250 0 -1 4202560 800 0 0 0 83708 19 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207648075648 140208151296319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27393] ppid=27361 vsize=9824668 CPUtime=837.27 cores=0,2,4,6 /proc/27363/task/27393/stat : 27393 (java) R 27361 27363 26250 0 -1 4202560 1941 0 0 0 83705 22 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207649127184 140208151284751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27394] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27394/stat : 27394 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207645971240 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+907.201 s] /proc/loadavg: 3.80 3.92 3.81 5/221 27485 /proc/meminfo: memFree=27165048/32873844 swapFree=7364/7364 [pid=27363] ppid=27361 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6 /proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 40420 0 1 0 179794 210 0 0 20 0 22 0 253608009 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27363/statm: 2456167 409064 2287 9 0 2446860 0 [pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.65 cores=0,2,4,6 /proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2510 0 1 0 62 3 0 0 20 0 22 0 253608010 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=2.08 cores=0,2,4,6 /proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 1334 0 0 0 191 17 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=2.3 cores=0,2,4,6 /proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 1400 0 0 0 210 20 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=2.19 cores=0,2,4,6 /proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 906 0 0 0 200 19 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=2.16 cores=0,2,4,6 /proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 1201 0 0 0 197 19 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=2.06 cores=0,2,4,6 /proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 951 0 0 0 190 16 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 1233 0 0 0 207 17 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=2.16 cores=0,2,4,6 /proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 1287 0 0 0 198 18 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=1.96 cores=0,2,4,6 /proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 768 0 0 0 183 13 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=23.57 cores=0,2,4,6 /proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 1840 0 0 0 2338 19 0 0 20 0 22 0 253608012 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=1.18 cores=0,2,4,6 /proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9904 0 0 0 115 3 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.85 cores=0,2,4,6 /proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 12577 0 0 0 182 3 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0.34 cores=0,2,4,6 /proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27363/tid=27388] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27388/stat : 27388 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253608126 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207647024168 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27392] ppid=27361 vsize=9824668 CPUtime=837.27 cores=0,2,4,6 /proc/27363/task/27392/stat : 27392 (java) R 27361 27363 26250 0 -1 4202560 800 0 0 0 83708 19 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207648075648 140208151296319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27363/tid=27393] ppid=27361 vsize=9824668 CPUtime=837.27 cores=0,2,4,6 /proc/27363/task/27393/stat : 27393 (java) R 27361 27363 26250 0 -1 4202560 1941 0 0 0 83705 22 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207649127184 140208151284751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27363/tid=27394] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/27363/task/27394/stat : 27394 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207645971240 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 907.248 CPU time (s): 1800.6 CPU user time (s): 1798.05 CPU system time (s): 2.55161 CPU usage (%): 198.468 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.05 system time used= 2.55161 maximum resident set size= 1636376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40452 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28611 involuntary context switches= 38597 runsolver used 3.67144 second user time and 7.95379 second system time The end
Begin job on node133 at 2012-05-24 17:53:52 IDJOB=3687926 IDBENCH=2297 IDSOLVER=2268 FILE ID=node133/3687926-1337874832 RUNJOBID= node133-1337871880-26266 PBS_JOBID= 14620071 Free space on /tmp= 71620 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687926-1337874832/watcher-3687926-1337874832 -o /tmp/evaluation-result-3687926-1337874832/solver-3687926-1337874832 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687926-1337874832.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 291088d217a1998c91be99350439e903 RANDOM SEED=1452361849 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 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 : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 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: 27335380 kB Buffers: 211360 kB Cached: 2377540 kB SwapCached: 0 kB Active: 2601116 kB Inactive: 2166924 kB Active(anon): 2181764 kB Inactive(anon): 0 kB Active(file): 419352 kB Inactive(file): 2166924 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 840 kB Writeback: 0 kB AnonPages: 2186252 kB Mapped: 22600 kB Shmem: 212 kB Slab: 628720 kB SReclaimable: 70988 kB SUnreclaim: 557732 kB KernelStack: 1640 kB PageTables: 8504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2362752 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 2111488 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= 71624 MiB End job on node133 at 2012-05-24 18:09:01