Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | SAT | 42.3306 | 39.0236 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_4_80.opb |
MD5SUM | 7cde2502e7fdd6b310da5651aff97d88 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.9757 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12652 |
Sum of products size (including duplicates) | 25304 |
Number of different products | 6326 |
Sum of products size | 12652 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.21/0.22 c Pseudo Boolean Optimization 0.21/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.21/0.22 c --- Begin Solver configuration --- 0.21/0.22 c Stops conflict analysis at the first Unique Implication Point 0.21/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@16fd0b7 0.21/0.22 c Learn all clauses as in MiniSAT 0.21/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.21/0.22 c No reason simplification 0.21/0.22 c Armin Biere (Picosat) restarts strategy 0.21/0.22 c Glucose learned constraints deletion strategy 0.21/0.22 c timeout=2147483s 0.21/0.22 c DB Simplification allowed=false 0.21/0.22 c --- End Solver configuration --- 0.21/0.22 c solving HOME/instance-2660091-1276679231.opb 0.21/0.22 c reading problem ... 15.26/14.42 c ... done. Wall clock time 14.202s. 15.26/14.42 c #vars 7326 15.26/14.42 c #constraints 14155 15.26/14.42 c constraints type 15.26/14.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 15.26/14.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6326 15.26/14.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003 15.26/14.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6326 42.20/38.99 c starts : 3 42.20/38.99 c conflicts : 287 42.20/38.99 c decisions : 21506 42.20/38.99 c propagations : 179211 42.20/38.99 c inspects : 4430262 42.20/38.99 c learnt literals : 0 42.20/38.99 c learnt binary clauses : 0 42.20/38.99 c learnt ternary clauses : 0 42.20/38.99 c learnt clauses : 287 42.20/38.99 c ignored clauses : 0 42.20/38.99 c root simplifications : 0 42.20/38.99 c removed literals (reason simplification) : 0 42.20/38.99 c reason swapping (by a shorter reason) : 0 42.20/38.99 c Calls to reduceDB : 0 42.20/38.99 c number of reductions to clauses (during analyze) : 0 42.20/38.99 c number of learned constraints concerned by reduction : 0 42.20/38.99 c number of learning phase by resolution : 0 42.20/38.99 c number of learning phase by cutting planes : 0 42.20/38.99 c speed (assignments/second) : 7295.082634535537 42.20/38.99 c non guided choices 6811 42.20/38.99 c learnt constraints type 42.20/38.99 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 42.20/38.99 c org.sat4j.pb.constraints.pb.MaxWatchPb => 286 42.20/38.99 c constraints type 42.20/38.99 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 42.20/38.99 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6326 42.20/38.99 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003 42.20/38.99 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6326 42.20/38.99 s SATISFIABLE 42.20/38.99 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 42.20/38.99 c Total wall clock time (in seconds): 38.778
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2660091-1276679231/watcher-2660091-1276679231 -o /tmp/evaluation-result-2660091-1276679231/solver-2660091-1276679231 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660091-1276679231.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.06 3/106 15738 /proc/meminfo: memFree=1576520/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1752 CPUtime=0 /proc/15738/stat : 15738 (java6) R 15736 15738 15165 0 -1 4194304 147 0 0 0 0 0 0 0 19 0 1 0 9216063 1794048 67 1992294400 134512640 134550932 4286843008 18446744073709551615 11069778 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15738/statm: 438 76 61 10 0 30 0 [startup+0.0333681 s] /proc/loadavg: 1.00 1.00 1.06 3/106 15738 /proc/meminfo: memFree=1576520/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1518368 CPUtime=0.01 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 2791 0 1 0 0 1 0 0 15 0 4 0 9216063 1554808832 2235 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 379592 2238 519 10 0 377303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1518368 [startup+0.100367 s] /proc/loadavg: 1.00 1.00 1.06 3/106 15738 /proc/meminfo: memFree=1576520/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1524024 CPUtime=0.08 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 3938 0 1 0 6 2 0 0 15 0 12 0 9216063 1560600576 3378 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 381006 3378 1073 10 0 378308 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524024 [startup+0.300363 s] /proc/loadavg: 1.00 1.00 1.06 3/106 15738 /proc/meminfo: memFree=1576520/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1526276 CPUtime=0.34 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 5348 0 1 0 32 2 0 0 15 0 12 0 9216063 1562906624 4786 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 381569 4786 1359 10 0 378871 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1526276 [startup+0.700355 s] /proc/loadavg: 1.00 1.00 1.06 3/106 15738 /proc/meminfo: memFree=1576520/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1528020 CPUtime=1.01 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 6655 0 1 0 98 3 0 0 15 0 12 0 9216063 1564692480 6051 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 382005 6051 1397 10 0 379307 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1528020 [startup+1.50134 s] /proc/loadavg: 1.00 1.00 1.06 2/118 15750 /proc/meminfo: memFree=1554856/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1529836 CPUtime=2.14 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 8152 0 1 0 210 4 0 0 15 0 12 0 9216063 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 382459 7260 1408 10 0 379761 0 [pid=15738/tid=15740] ppid=15736 vsize=1529836 CPUtime=1.46 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 5316 0 1 0 143 3 0 0 25 0 12 0 9216065 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4109753378 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 9216066 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 9216066 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 9216068 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 9216068 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 9216068 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 9216073 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1529836 CPUtime=0.25 /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 577 0 0 0 25 0 0 0 18 0 12 0 9216073 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1529836 CPUtime=0.41 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 1196 0 0 0 41 0 0 0 16 0 12 0 9216073 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 9216073 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9216073 1566552064 7260 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 1529836 [startup+3.10131 s] /proc/loadavg: 1.00 1.00 1.06 2/118 15750 /proc/meminfo: memFree=1551508/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1529836 CPUtime=3.79 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 8710 0 1 0 375 4 0 0 15 0 12 0 9216063 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 382459 7818 1408 10 0 379761 0 [pid=15738/tid=15740] ppid=15736 vsize=1529836 CPUtime=3.05 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 5862 0 1 0 302 3 0 0 25 0 12 0 9216065 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4109753155 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 9216066 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 9216066 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 9216068 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 9216068 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 9216068 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 9216073 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1529836 CPUtime=0.28 /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 580 0 0 0 28 0 0 0 15 0 12 0 9216073 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1529836 CPUtime=0.44 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 1205 0 0 0 44 0 0 0 15 0 12 0 9216073 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 9216073 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9216073 1566552064 7818 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.79 Current children cumulated vsize (KiB) 1529836 [startup+6.30125 s] /proc/loadavg: 1.00 1.00 1.06 2/118 15750 /proc/meminfo: memFree=1548160/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1529836 CPUtime=7.04 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 9400 0 1 0 699 5 0 0 15 0 12 0 9216063 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 382459 8497 1410 10 0 379761 0 [pid=15738/tid=15740] ppid=15736 vsize=1529836 CPUtime=6.22 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 6545 0 1 0 618 4 0 0 25 0 12 0 9216065 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4109753563 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 9216066 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 9216066 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9216068 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 9216068 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 9216068 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 9216073 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1529836 CPUtime=0.31 /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 581 0 0 0 31 0 0 0 15 0 12 0 9216073 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1529836 CPUtime=0.49 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 1211 0 0 0 49 0 0 0 15 0 12 0 9216073 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 9216073 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1529836 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9216073 1566552064 8497 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.04 Current children cumulated vsize (KiB) 1529836 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.06 2/118 15750 /proc/meminfo: memFree=1543448/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1529584 CPUtime=13.57 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 10697 0 1 0 1350 7 0 0 15 0 12 0 9216063 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 382396 9577 1410 10 0 379698 0 [pid=15738/tid=15740] ppid=15736 vsize=1529584 CPUtime=12.59 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 7601 0 1 0 1254 5 0 0 25 0 12 0 9216065 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4109753420 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1529584 CPUtime=0 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 9216066 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1529584 CPUtime=0 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 9216066 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1529584 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9216068 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1529584 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 9216068 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1529584 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 9216068 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1529584 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 9216073 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1529584 CPUtime=0.4 /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 817 0 0 0 40 0 0 0 15 0 12 0 9216073 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1529584 CPUtime=0.55 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 1216 0 0 0 55 0 0 0 15 0 12 0 9216073 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1529584 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 9216073 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1529584 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9216073 1566294016 9577 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 13.57 Current children cumulated vsize (KiB) 1529584 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.06 2/119 15751 /proc/meminfo: memFree=1405428/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1540596 CPUtime=28.41 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 47829 0 1 0 2819 22 0 0 15 0 13 0 9216063 1577570304 43974 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 385149 43974 1436 10 0 382451 0 [pid=15738/tid=15740] ppid=15736 vsize=1540596 CPUtime=24.7 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 32095 0 1 0 2455 15 0 0 25 0 13 0 9216065 1577570304 43974 1992294400 134512640 134550932 4288559728 18446744073709551615 4110142765 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1540596 CPUtime=0.11 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 3539 0 0 0 9 2 0 0 16 0 13 0 9216066 1577570304 43974 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1540596 CPUtime=0.09 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 3631 0 0 0 8 1 0 0 18 0 13 0 9216066 1577570304 43974 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1540596 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 13 0 9216068 1577570304 43974 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1540596 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9216068 1577570304 43974 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1540596 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9216068 1577570304 43974 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1540596 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9216073 1577570304 43974 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1540596 CPUtime=1.39 ################ # More data... # ################ /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 4542 0 0 0 149 1 0 0 15 0 13 0 9216073 1577086976 49627 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1540124 CPUtime=2.08 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 2953 0 0 0 207 1 0 0 15 0 13 0 9216073 1577086976 49627 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9216073 1577086976 49627 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 9216073 1577086976 49627 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15751] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15751/stat : 15751 (java) S 15736 15738 15165 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 9217508 1577086976 49627 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 38.39 Current children cumulated vsize (KiB) 1540124 [startup+36.7024 s] /proc/loadavg: 1.00 1.00 1.06 2/119 15753 /proc/meminfo: memFree=1382736/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1540124 CPUtime=39.99 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 54580 0 1 0 3974 25 0 0 15 0 13 0 9216063 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 385031 49681 1438 10 0 382333 0 [pid=15738/tid=15740] ppid=15736 vsize=1540124 CPUtime=35.61 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 32102 0 1 0 3546 15 0 0 25 0 13 0 9216065 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4110142735 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1540124 CPUtime=0.37 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 6764 0 0 0 34 3 0 0 16 0 13 0 9216066 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1540124 CPUtime=0.37 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 7124 0 0 0 34 3 0 0 18 0 13 0 9216066 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 9216068 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9216068 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9216068 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9216073 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1540124 CPUtime=1.5 /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 4542 0 0 0 149 1 0 0 15 0 13 0 9216073 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1540124 CPUtime=2.08 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 2953 0 0 0 207 1 0 0 15 0 13 0 9216073 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9216073 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 9216073 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15751] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15751/stat : 15751 (java) S 15736 15738 15165 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 9217508 1577086976 49681 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (KiB) 1540124 [startup+38.3026 s] /proc/loadavg: 1.00 1.00 1.06 2/119 15753 /proc/meminfo: memFree=1382488/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1540124 CPUtime=41.59 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 54663 0 1 0 4134 25 0 0 15 0 13 0 9216063 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 385031 49761 1438 10 0 382333 0 [pid=15738/tid=15740] ppid=15736 vsize=1540124 CPUtime=37.21 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 32103 0 1 0 3706 15 0 0 25 0 13 0 9216065 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4110068464 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1540124 CPUtime=0.38 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 6797 0 0 0 35 3 0 0 16 0 13 0 9216066 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1540124 CPUtime=0.37 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 7173 0 0 0 34 3 0 0 18 0 13 0 9216066 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1540124 CPUtime=1.5 /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 4542 0 0 0 149 1 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1540124 CPUtime=2.08 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 2953 0 0 0 207 1 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15751] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15751/stat : 15751 (java) S 15736 15738 15165 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 9217508 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 41.59 Current children cumulated vsize (KiB) 1540124 [startup+38.7026 s] /proc/loadavg: 1.00 1.00 1.06 2/119 15753 /proc/meminfo: memFree=1382116/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1540124 CPUtime=41.99 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 54665 0 1 0 4174 25 0 0 15 0 13 0 9216063 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 385031 49761 1438 10 0 382333 0 [pid=15738/tid=15740] ppid=15736 vsize=1540124 CPUtime=37.6 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 32103 0 1 0 3745 15 0 0 25 0 13 0 9216065 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4109925520 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1540124 CPUtime=0.38 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 6797 0 0 0 35 3 0 0 16 0 13 0 9216066 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1540124 CPUtime=0.37 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 7173 0 0 0 34 3 0 0 18 0 13 0 9216066 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1540124 CPUtime=1.5 /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 4542 0 0 0 149 1 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1540124 CPUtime=2.08 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 2953 0 0 0 207 1 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15751] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15751/stat : 15751 (java) S 15736 15738 15165 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 9217508 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 41.99 Current children cumulated vsize (KiB) 1540124 [startup+38.9017 s] /proc/loadavg: 1.00 1.00 1.06 2/119 15753 /proc/meminfo: memFree=1382116/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1540124 CPUtime=42.2 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 54666 0 1 0 4195 25 0 0 15 0 13 0 9216063 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 385031 49761 1438 10 0 382333 0 [pid=15738/tid=15740] ppid=15736 vsize=1540124 CPUtime=37.8 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 32103 0 1 0 3765 15 0 0 25 0 13 0 9216065 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4110142735 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1540124 CPUtime=0.38 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 6797 0 0 0 35 3 0 0 16 0 13 0 9216066 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1540124 CPUtime=0.37 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 7173 0 0 0 34 3 0 0 18 0 13 0 9216066 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) S 15736 15738 15165 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9216068 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) S 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1540124 CPUtime=1.51 /proc/15738/task/15747/stat : 15747 (java) S 15736 15738 15165 0 -1 4202560 4543 0 0 0 150 1 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15748] ppid=15736 vsize=1540124 CPUtime=2.08 /proc/15738/task/15748/stat : 15748 (java) S 15736 15738 15165 0 -1 4202560 2953 0 0 0 207 1 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) S 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15750] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15750/stat : 15750 (java) S 15736 15738 15165 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 13 0 9216073 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15751] ppid=15736 vsize=1540124 CPUtime=0 /proc/15738/task/15751/stat : 15751 (java) S 15736 15738 15165 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 9217508 1577086976 49761 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 42.2 Current children cumulated vsize (KiB) 1540124 [startup+39.0018 s] /proc/loadavg: 1.00 1.00 1.06 2/119 15753 /proc/meminfo: memFree=1382116/2059040 swapFree=4192956/4192956 [pid=15738] ppid=15736 vsize=1540448 CPUtime=42.3 /proc/15738/stat : 15738 (java) S 15736 15738 15165 0 -1 4202496 54679 0 1 0 4205 25 0 0 15 0 12 0 9216063 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15738/statm: 385112 49772 1439 10 0 382414 0 [pid=15738/tid=15740] ppid=15736 vsize=1540448 CPUtime=37.89 /proc/15738/task/15740/stat : 15740 (java) R 15736 15738 15165 0 -1 4202560 32109 0 1 0 3774 15 0 0 25 0 12 0 9216065 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15741] ppid=15736 vsize=1540448 CPUtime=0.38 /proc/15738/task/15741/stat : 15741 (java) S 15736 15738 15165 0 -1 4202560 6797 0 0 0 35 3 0 0 16 0 12 0 9216066 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 1 0 0 0 [pid=15738/tid=15742] ppid=15736 vsize=1540448 CPUtime=0.37 /proc/15738/task/15742/stat : 15742 (java) S 15736 15738 15165 0 -1 4202560 7173 0 0 0 34 3 0 0 18 0 12 0 9216066 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15743] ppid=15736 vsize=1540448 CPUtime=0 /proc/15738/task/15743/stat : 15743 (java) R 15736 15738 15165 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 12 0 9216068 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=15738/tid=15744] ppid=15736 vsize=1540448 CPUtime=0 /proc/15738/task/15744/stat : 15744 (java) S 15736 15738 15165 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 9216068 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15745] ppid=15736 vsize=1540448 CPUtime=0 /proc/15738/task/15745/stat : 15745 (java) S 15736 15738 15165 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 9216068 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 0 4 0 16800975 18446604437835198656 0 0 -1 0 0 0 0 [pid=15738/tid=15746] ppid=15736 vsize=1540448 CPUtime=0 /proc/15738/task/15746/stat : 15746 (java) R 15736 15738 15165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 9216073 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15738/tid=15747] ppid=15736 vsize=1540448 CPUtime=1.51 /proc/15738/task/15747/stat : 15747 (java) R 15736 15738 15165 0 -1 4202560 4544 0 0 0 150 1 0 0 15 0 10 0 9216073 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15738/tid=15749] ppid=15736 vsize=1540448 CPUtime=0 /proc/15738/task/15749/stat : 15749 (java) R 15736 15738 15165 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 7 0 9216073 1577418752 49772 1992294400 134512640 134550932 4288559728 18446744073709551615 4294960144 256 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 42.3 Current children cumulated vsize (KiB) 1540448 Child status: 10 Real time (s): 39.0236 CPU time (s): 42.3306 CPU user time (s): 42.0526 CPU system time (s): 0.277957 CPU usage (%): 108.474 Max. virtual memory (cumulated for all children) (KiB): 1543336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.0526 system time used= 0.277957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54679 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= 1297 involuntary context switches= 1344 runsolver used 0.070989 second user time and 0.239963 second system time The end
Begin job on node036 at 2010-06-16 11:07:12 IDJOB=2660091 IDBENCH=48328 IDSOLVER=1165 FILE ID=node036/2660091-1276679231 PBS_JOBID= 11172546 Free space on /tmp= 62524 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_4_80.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2660091-1276679231/watcher-2660091-1276679231 -o /tmp/evaluation-result-2660091-1276679231/solver-2660091-1276679231 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660091-1276679231.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7cde2502e7fdd6b310da5651aff97d88 RANDOM SEED=902602732 node036.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1576924 kB Buffers: 118868 kB Cached: 221772 kB SwapCached: 0 kB Active: 153924 kB Inactive: 246300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1576924 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 588 kB Writeback: 0 kB AnonPages: 59464 kB Mapped: 15432 kB Slab: 60060 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180076 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62524 MiB End job on node036 at 2010-06-16 11:07:51