Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 1207959552 | 1800.37 | 904.522 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.00/0.11 c Pseudo Boolean Optimization 0.00/0.11 c ManyCore solver with 2 solvers running in parallel 0.00/0.11 c --- Begin Solver configuration --- 0.00/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.00/0.11 c Learn all clauses as in MiniSAT 0.00/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.11 c Expensive reason simplification 0.00/0.11 c Armin Biere (Picosat) restarts strategy 0.00/0.11 c Glucose learned constraints deletion strategy 0.00/0.11 c timeout=2147483s 0.00/0.11 c DB Simplification allowed=false 0.00/0.11 c --- End Solver configuration --- 0.00/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.00/0.11 c --- Begin Solver configuration --- 0.00/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.00/0.11 c Learn all clauses as in MiniSAT 0.00/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.00/0.11 c No reason simplification 0.00/0.11 c Armin Biere (Picosat) restarts strategy 0.00/0.11 c Glucose learned constraints deletion strategy 0.00/0.11 c timeout=2147483s 0.00/0.11 c DB Simplification allowed=false 0.00/0.11 c --- End Solver configuration --- 0.00/0.11 c solving HOME/instance-3454354-1307191722.opb 0.00/0.11 c reading problem ... 1.16/0.76 c ... done. Wall clock time 0.643s. 1.16/0.76 c #vars 6651 1.16/0.76 c #constraints 721 1.16/0.76 c constraints type 1.16/0.76 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51 1.16/0.76 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 1.16/0.76 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 339 1.16/0.76 c constraints type 1.16/0.76 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1.16/0.76 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1.16/0.76 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 2.09/1.21 c And the winner is CuttingPlanes 2.31/1.27 c SATISFIABLE 2.31/1.27 c OPTIMIZING... 2.31/1.27 c Got one! Elapsed wall clock time (in seconds):1.151 2.31/1.27 o 2147483647 3.41/1.73 c And the winner is CuttingPlanes 3.54/1.83 c Got one! Elapsed wall clock time (in seconds):1.71 3.54/1.83 o 2147483646 4.17/2.14 c And the winner is CuttingPlanes 4.31/2.34 c Got one! Elapsed wall clock time (in seconds):2.214 4.31/2.34 o 2147483645 5.30/2.81 c And the winner is CuttingPlanes 5.30/2.88 c Got one! Elapsed wall clock time (in seconds):2.769 5.30/2.88 o 2147483644 6.00/3.28 c And the winner is CuttingPlanes 6.21/3.39 c Got one! Elapsed wall clock time (in seconds):3.272 6.21/3.39 o 2147483643 7.05/3.81 c And the winner is CuttingPlanes 7.05/3.89 c Got one! Elapsed wall clock time (in seconds):3.775 7.05/3.89 o 2147483642 7.94/4.30 c And the winner is CuttingPlanes 7.94/4.39 c Got one! Elapsed wall clock time (in seconds):4.278 7.94/4.39 o 2147483641 8.40/4.61 c And the winner is CuttingPlanes 8.47/4.89 c Got one! Elapsed wall clock time (in seconds):4.78 8.47/4.89 o 2147483640 9.27/5.32 c And the winner is CuttingPlanes 9.35/5.40 c Got one! Elapsed wall clock time (in seconds):5.283 9.35/5.40 o 2147483639 10.17/5.82 c And the winner is CuttingPlanes 10.25/5.90 c Got one! Elapsed wall clock time (in seconds):5.786 10.25/5.90 o 2147483638 11.08/6.33 c And the winner is CuttingPlanes 11.19/6.40 c Got one! Elapsed wall clock time (in seconds):6.289 11.19/6.40 o 2147483637 11.81/6.79 c And the winner is CuttingPlanes 12.02/6.91 c Got one! Elapsed wall clock time (in seconds):6.792 12.02/6.91 o 2147483636 12.82/7.30 c And the winner is CuttingPlanes 12.87/7.41 c Got one! Elapsed wall clock time (in seconds):7.295 12.87/7.41 o 2147483635 13.48/7.81 c And the winner is CuttingPlanes 13.71/7.91 c Got one! Elapsed wall clock time (in seconds):7.798 13.71/7.91 o 2147483634 29.25/15.62 c And the winner is CuttingPlanes 29.35/15.94 c Got one! Elapsed wall clock time (in seconds):15.829 29.35/15.94 o 2147483633 43.49/23.11 c And the winner is CuttingPlanes 43.76/23.47 c Got one! Elapsed wall clock time (in seconds):23.358 43.76/23.47 o 2147483632 58.49/30.88 c And the winner is CuttingPlanes 58.69/31.01 c Got one! Elapsed wall clock time (in seconds):30.891 58.69/31.01 o 2147483631 72.88/38.16 c And the winner is CuttingPlanes 73.05/38.53 c Got one! Elapsed wall clock time (in seconds):38.42 73.05/38.53 o 2147483630 87.19/45.68 c And the winner is CuttingPlanes 87.40/46.06 c Got one! Elapsed wall clock time (in seconds):45.949 87.40/46.06 o 2147483629 101.67/53.21 c And the winner is CuttingPlanes 101.72/53.59 c Got one! Elapsed wall clock time (in seconds):53.478 101.72/53.59 o 2147483628 105.33/55.46 c And the winner is Resolution 107.09/57.21 c Got one! Elapsed wall clock time (in seconds):57.099 107.09/57.21 o 1610612736 113.54/60.41 c And the winner is Resolution 113.96/60.84 c Got one! Elapsed wall clock time (in seconds):60.723 113.96/60.84 o 1342177280 119.31/63.52 c And the winner is Resolution 120.23/64.44 c Got one! Elapsed wall clock time (in seconds):64.321 120.23/64.44 o 1207959552 228.53/118.52 c cleaning 4258 clauses out of 8532 with flag 5003/8533 379.44/193.99 c cleaning 5138 clauses out of 10289 with flag 11018/14548 560.22/284.35 c cleaning 6058 clauses out of 12133 with flag 18000/21530 730.22/369.32 c cleaning 7022 clauses out of 14075 with flag 26000/29530 1014.38/511.45 c cleaning 8025 clauses out of 16053 with flag 35000/38530 1373.77/691.11 c cleaning 8989 clauses out of 18028 with flag 45000/48530 1638.35/823.48 c cleaning 9512 clauses out of 19040 with flag 55001/58531 1800.10/904.34 c starts : 117 1800.10/904.34 c conflicts : 62761 1800.10/904.34 c decisions : 410374 1800.10/904.34 c propagations : 57752100 1800.10/904.34 c inspects : 1443380001 1800.10/904.34 c shortcuts : 0 1800.10/904.34 c learnt literals : 1 1800.10/904.34 c learnt binary clauses : 0 1800.10/904.34 c learnt ternary clauses : 0 1800.10/904.34 c learnt constraints : 62760 1800.10/904.34 c ignored constraints : 0 1800.10/904.34 c root simplifications : 0 1800.10/904.34 c removed literals (reason simplification) : 2992763 1800.10/904.34 c reason swapping (by a shorter reason) : 0 1800.10/904.34 c Calls to reduceDB : 7 1800.10/904.34 c number of reductions to clauses (during analyze) : 0 1800.10/904.34 c number of learned constraints concerned by reduction : 0 1800.10/904.34 c number of learning phase by resolution : 0 1800.10/904.34 c number of learning phase by cutting planes : 0 1800.10/904.34 c speed (assignments/second) : 68760.14368257437 1800.10/904.34 c non guided choices 34120 1800.10/904.36 c learnt constraints type 1800.10/904.36 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13758 1800.10/904.36 c constraints type 1800.10/904.36 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51 1800.10/904.36 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 1800.10/904.36 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 340 1800.10/904.36 c constraints type 1800.10/904.36 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1800.10/904.36 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1800.10/904.36 c org.sat4j.pb.constraints.pb.MaxWatchPb => 340 1800.10/904.36 s SATISFIABLE 1800.10/904.37 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 1800.10/904.38 c objective function=1207959552 1800.10/904.38 c Total wall clock time (in seconds): 904.262
OK 1207959552
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454354-1307191722/watcher-3454354-1307191722 -o /tmp/evaluation-result-3454354-1307191722/solver-3454354-1307191722 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454354-1307191722.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.86 3.84 3.70 3/556 27700 /proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 4638 0 1 0 0 0 0 0 25 0 2 0 830770152 10694979584 4339 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2611079 4354 917 9 0 2602235 0 [pid=27700/tid=27701] ppid=27698 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 5982 0 1 0 0 0 0 0 25 0 2 0 830770153 10694979584 6797 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.123644 s] /proc/loadavg: 3.86 3.84 3.70 3/556 27700 /proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10540356 CPUtime=0.12 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 13387 0 1 0 11 1 0 0 25 0 18 0 830770152 10793324544 13083 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2635089 13083 2133 9 0 2625823 0 [pid=27700/tid=27701] ppid=27698 vsize=10540356 CPUtime=0.1 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 11426 0 1 0 9 1 0 0 22 0 18 0 830770153 10793324544 13083 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 10540356 [startup+0.204591 s] /proc/loadavg: 3.86 3.84 3.70 3/556 27700 /proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10540976 CPUtime=0.29 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 14588 0 1 0 27 2 0 0 25 0 18 0 830770152 10793959424 13993 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2635244 13993 2187 9 0 2625978 0 [pid=27700/tid=27701] ppid=27698 vsize=10540976 CPUtime=0.18 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 12068 0 1 0 17 1 0 0 22 0 18 0 830770153 10793959424 13994 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 48010363923283 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10540976 [startup+0.30656 s] /proc/loadavg: 3.86 3.84 3.70 3/556 27700 /proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10542572 CPUtime=0.5 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 17942 0 1 0 48 2 0 0 25 0 18 0 830770152 10795593728 16992 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2635643 16994 2208 9 0 2626377 0 [pid=27700/tid=27701] ppid=27698 vsize=10542572 CPUtime=0.28 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 14590 0 1 0 26 2 0 0 22 0 18 0 830770153 10795593728 17001 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 48010363923283 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 10542572 [startup+0.700449 s] /proc/loadavg: 3.86 3.84 3.70 3/556 27700 /proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10543368 CPUtime=1.16 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 52698 0 1 0 109 7 0 0 25 0 18 0 830770152 10796408832 50072 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2635842 50072 2220 9 0 2626576 0 [pid=27700/tid=27701] ppid=27698 vsize=10543368 CPUtime=0.67 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 47265 0 1 0 61 6 0 0 24 0 18 0 830770153 10796408832 50072 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505622459 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 10543368 [startup+1.5013 s] /proc/loadavg: 3.86 3.84 3.70 5/578 27722 /proc/meminfo: memFree=27882332/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10550348 CPUtime=2.97 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 81368 0 1 0 286 11 0 0 25 0 22 0 830770152 10803556352 77309 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2637587 77310 2233 9 0 2628321 0 [pid=27700/tid=27701] ppid=27698 vsize=10550348 CPUtime=0.73 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53019 0 1 0 67 6 0 0 21 0 22 0 830770153 10803556352 77311 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27703] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77312 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27704] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77314 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27705] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77315 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27706] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77316 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27707] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77317 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27708] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77318 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27709] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77320 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27710] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77321 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27711] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830770156 10803556352 77323 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27712] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 77324 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27713] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 77325 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27714] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10803556352 77327 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27715] ppid=27698 vsize=10550348 CPUtime=0.45 cores=1,3,5,7 /proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 3833 0 0 0 45 0 0 0 15 0 22 0 830770159 10803556352 77328 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27716] ppid=27698 vsize=10550348 CPUtime=0.5 cores=1,3,5,7 /proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 2827 0 0 0 50 0 0 0 15 0 22 0 830770159 10803556352 77330 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27717] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10803556352 77331 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27718] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830770159 10803556352 77333 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27722] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27722/stat : 27722 (java) S 27698 27700 23781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830770232 10803556352 77334 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 10550348 [startup+3.10105 s] /proc/loadavg: 3.87 3.84 3.70 3/575 27728 /proc/meminfo: memFree=27727108/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10550348 CPUtime=5.8 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 138453 0 1 0 563 17 0 0 25 0 22 0 830770152 10803556352 134393 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2637587 134395 2235 9 0 2628321 0 [pid=27700/tid=27701] ppid=27698 vsize=10550348 CPUtime=0.74 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53058 0 1 0 68 6 0 0 16 0 22 0 830770153 10803556352 134396 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27703] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134397 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27704] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134398 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27705] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134399 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27706] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134400 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27707] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134400 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27708] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134401 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27709] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134402 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27710] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134403 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27711] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 830770156 10803556352 134404 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27712] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 134405 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27713] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 134406 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27714] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10803556352 134407 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27715] ppid=27698 vsize=10550348 CPUtime=0.59 cores=1,3,5,7 /proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 3853 0 0 0 59 0 0 0 15 0 22 0 830770159 10803556352 134407 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27716] ppid=27698 vsize=10550348 CPUtime=0.61 cores=1,3,5,7 /proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 2845 0 0 0 61 0 0 0 16 0 22 0 830770159 10803556352 134408 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27717] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10803556352 134409 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27718] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830770159 10803556352 134410 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27722] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27722/stat : 27722 (java) S 27698 27700 23781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830770232 10803556352 134411 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.8 Current children cumulated vsize (KiB) 10550348 [startup+6.3015 s] /proc/loadavg: 3.87 3.84 3.70 5/578 27749 /proc/meminfo: memFree=27260356/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10550348 CPUtime=11.08 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 257147 0 1 0 1077 31 0 0 25 0 22 0 830770152 10803556352 252925 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2637587 252926 2237 9 0 2628321 0 [pid=27700/tid=27701] ppid=27698 vsize=10550348 CPUtime=0.74 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53135 0 1 0 68 6 0 0 16 0 22 0 830770153 10803556352 252927 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27703] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252928 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27704] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252928 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27705] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252929 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27706] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252930 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27707] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252930 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27708] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252931 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27709] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252932 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27710] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252932 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27711] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830770156 10803556352 252933 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27712] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 252934 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27713] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 252935 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27714] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10803556352 252936 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27715] ppid=27698 vsize=10550348 CPUtime=0.69 cores=1,3,5,7 /proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 3865 0 0 0 69 0 0 0 15 0 22 0 830770159 10803556352 252937 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27716] ppid=27698 vsize=10550348 CPUtime=0.62 cores=1,3,5,7 /proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 3000 0 0 0 62 0 0 0 15 0 22 0 830770159 10803556352 252939 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.68 3.60 3.72 3/551 27848 /proc/meminfo: memFree=25317780/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10552188 CPUtime=1636.15 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 927519 0 1 0 163514 101 0 0 25 0 22 0 830770152 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2638047 918739 2264 9 0 2628781 0 [pid=27700/tid=27701] ppid=27698 vsize=10552188 CPUtime=0.74 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53188 0 1 0 68 6 0 0 15 0 22 0 830770153 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27703] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7 /proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 11089 0 0 0 26 2 0 0 16 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27704] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7 /proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 10163 0 0 0 25 1 0 0 15 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27705] ppid=27698 vsize=10552188 CPUtime=0.24 cores=1,3,5,7 /proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 8986 0 0 0 23 1 0 0 15 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27706] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7 /proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 11622 0 0 0 25 1 0 0 15 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27707] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7 /proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 8762 0 0 0 24 2 0 0 15 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27708] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7 /proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 9651 0 0 0 27 1 0 0 16 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27709] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7 /proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 7467 0 0 0 26 0 0 0 16 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27710] ppid=27698 vsize=10552188 CPUtime=0.3 cores=1,3,5,7 /proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 8686 0 0 0 29 1 0 0 16 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27711] ppid=27698 vsize=10552188 CPUtime=0.79 cores=1,3,5,7 /proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 836 0 0 0 78 1 0 0 15 0 22 0 830770156 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27712] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27713] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27714] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27715] ppid=27698 vsize=10552188 CPUtime=1.09 cores=1,3,5,7 /proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 4687 0 0 0 109 0 0 0 15 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27716] ppid=27698 vsize=10552188 CPUtime=0.85 cores=1,3,5,7 /proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 5350 0 0 0 84 1 0 0 15 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27717] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27718] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27783] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27783/stat : 27783 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830775512 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27791] ppid=27698 vsize=10552188 CPUtime=756.48 cores=1,3,5,7 /proc/27700/task/27791/stat : 27791 (java) R 27698 27700 23781 0 -1 4202560 97 0 0 0 75648 0 0 0 25 0 22 0 830776597 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505830764 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=27700/tid=27792] ppid=27698 vsize=10552188 CPUtime=756.52 cores=1,3,5,7 /proc/27700/task/27792/stat : 27792 (java) R 27698 27700 23781 0 -1 4202560 2869 0 0 0 75652 0 0 0 25 0 22 0 830776597 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505938723 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=27700/tid=27793] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27793/stat : 27793 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830776597 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1636.15 Current children cumulated vsize (KiB) 10552188 [startup+882.321 s] /proc/loadavg: 2.23 3.28 3.60 3/551 27849 /proc/meminfo: memFree=25305200/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10552188 CPUtime=1756.07 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 930763 0 1 0 175505 102 0 0 25 0 22 0 830770152 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2638047 921866 2264 9 0 2628781 0 [pid=27700/tid=27701] ppid=27698 vsize=10552188 CPUtime=0.74 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53188 0 1 0 68 6 0 0 15 0 22 0 830770153 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27703] ppid=27698 vsize=10552188 CPUtime=0.29 cores=1,3,5,7 /proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 11601 0 0 0 27 2 0 0 16 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27704] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7 /proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 10662 0 0 0 27 1 0 0 16 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27705] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7 /proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 9795 0 0 0 25 1 0 0 15 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27706] ppid=27698 vsize=10552188 CPUtime=0.27 cores=1,3,5,7 /proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 11841 0 0 0 26 1 0 0 15 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27707] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7 /proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 9104 0 0 0 26 2 0 0 15 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27708] ppid=27698 vsize=10552188 CPUtime=0.29 cores=1,3,5,7 /proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 10080 0 0 0 28 1 0 0 16 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27709] ppid=27698 vsize=10552188 CPUtime=0.27 cores=1,3,5,7 /proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 7483 0 0 0 27 0 0 0 15 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27710] ppid=27698 vsize=10552188 CPUtime=0.32 cores=1,3,5,7 /proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 9055 0 0 0 31 1 0 0 16 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27711] ppid=27698 vsize=10552188 CPUtime=0.96 cores=1,3,5,7 /proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 871 0 0 0 95 1 0 0 15 0 22 0 830770156 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27712] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27713] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27714] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27715] ppid=27698 vsize=10552188 CPUtime=1.09 cores=1,3,5,7 /proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 4687 0 0 0 109 0 0 0 15 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27716] ppid=27698 vsize=10552188 CPUtime=0.85 cores=1,3,5,7 /proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 5350 0 0 0 84 1 0 0 15 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27717] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27718] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27783] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27783/stat : 27783 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830775512 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27791] ppid=27698 vsize=10552188 CPUtime=816.29 cores=1,3,5,7 /proc/27700/task/27791/stat : 27791 (java) R 27698 27700 23781 0 -1 4202560 107 0 0 0 81629 0 0 0 25 0 22 0 830776597 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505785303 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=27700/tid=27792] ppid=27698 vsize=10552188 CPUtime=816.33 cores=1,3,5,7 /proc/27700/task/27792/stat : 27792 (java) R 27698 27700 23781 0 -1 4202560 2869 0 0 0 81633 0 0 0 25 0 22 0 830776597 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912506179921 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=27700/tid=27793] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27793/stat : 27793 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830776597 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1756.07 Current children cumulated vsize (KiB) 10552188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+904.321 s] /proc/loadavg: 2.16 3.20 3.57 3/551 27850 /proc/meminfo: memFree=25302956/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=10552188 CPUtime=1800.1 cores=1,3,5,7 /proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 931363 0 1 0 179908 102 0 0 25 0 22 0 830770152 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 2638047 922441 2264 9 0 2628781 0 [pid=27700/tid=27701] ppid=27698 vsize=10552188 CPUtime=0.74 cores=1,3,5,7 /proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53188 0 1 0 68 6 0 0 15 0 22 0 830770153 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27703] ppid=27698 vsize=10552188 CPUtime=0.3 cores=1,3,5,7 /proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 11605 0 0 0 28 2 0 0 16 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27704] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7 /proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 10852 0 0 0 27 1 0 0 16 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27705] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7 /proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 9909 0 0 0 25 1 0 0 15 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27706] ppid=27698 vsize=10552188 CPUtime=0.27 cores=1,3,5,7 /proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 11868 0 0 0 26 1 0 0 16 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27707] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7 /proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 9126 0 0 0 26 2 0 0 16 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27708] ppid=27698 vsize=10552188 CPUtime=0.29 cores=1,3,5,7 /proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 10082 0 0 0 28 1 0 0 15 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27709] ppid=27698 vsize=10552188 CPUtime=0.27 cores=1,3,5,7 /proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 7612 0 0 0 27 0 0 0 15 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27710] ppid=27698 vsize=10552188 CPUtime=0.33 cores=1,3,5,7 /proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 9162 0 0 0 32 1 0 0 15 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0 [pid=27700/tid=27711] ppid=27698 vsize=10552188 CPUtime=0.96 cores=1,3,5,7 /proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 873 0 0 0 95 1 0 0 15 0 22 0 830770156 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27712] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27713] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27714] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27715] ppid=27698 vsize=10552188 CPUtime=1.09 cores=1,3,5,7 /proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 4687 0 0 0 109 0 0 0 15 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27716] ppid=27698 vsize=10552188 CPUtime=0.85 cores=1,3,5,7 /proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 5350 0 0 0 84 1 0 0 15 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27717] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 [pid=27700/tid=27718] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0 [pid=27700/tid=27783] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27783/stat : 27783 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830775512 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0 [pid=27700/tid=27791] ppid=27698 vsize=10552188 CPUtime=838.3 cores=1,3,5,7 /proc/27700/task/27791/stat : 27791 (java) R 27698 27700 23781 0 -1 4202560 110 0 0 0 83830 0 0 0 25 0 22 0 830776597 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505785119 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=27700/tid=27792] ppid=27698 vsize=10552188 CPUtime=838.34 cores=1,3,5,7 /proc/27700/task/27792/stat : 27792 (java) R 27698 27700 23781 0 -1 4202560 2869 0 0 0 83834 0 0 0 25 0 22 0 830776597 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505906131 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=27700/tid=27793] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7 /proc/27700/task/27793/stat : 27793 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830776597 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 10552188 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+904.501 s] /proc/loadavg: 2.16 3.20 3.57 3/551 27850 /proc/meminfo: memFree=25302956/32951124 swapFree=58212616/67111528 [pid=27700] ppid=27698 vsize=0 CPUtime=1800.34 cores=1,3,5,7 /proc/27700/stat : 27700 (java) Z 27698 27700 23781 0 -1 4203548 931401 0 1 0 179920 114 0 0 17 0 2 0 830770152 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27700/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 904.522 CPU time (s): 1800.37 CPU user time (s): 1799.21 CPU system time (s): 1.16582 CPU usage (%): 199.041 Max. virtual memory (cumulated for all children) (KiB): 10552188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.21 system time used= 1.16582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 931401 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25496 involuntary context switches= 20610 runsolver used 4.69329 second user time and 11.7782 second system time The end
Begin job on node136 at 2011-06-04 14:48:42 IDJOB=3454354 IDBENCH=2527 IDSOLVER=1950 FILE ID=node136/3454354-1307191722 RUNJOBID= node136-1307188779-27113 PBS_JOBID= 13508850 Free space on /tmp= 73844 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454354-1307191722/watcher-3454354-1307191722 -o /tmp/evaluation-result-3454354-1307191722/solver-3454354-1307191722 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454354-1307191722.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=90272758 node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28131772 kB Buffers: 297512 kB Cached: 544100 kB SwapCached: 7704 kB Active: 4102860 kB Inactive: 420048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28131772 kB SwapTotal: 67111528 kB SwapFree: 58212616 kB Dirty: 2444 kB Writeback: 0 kB AnonPages: 3679628 kB Mapped: 32840 kB Slab: 156160 kB PageTables: 70736 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 179602772 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73844 MiB End job on node136 at 2011-06-04 15:03:48