Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT | 927.059 | 912.495 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb |
MD5SUM | 7b1cf6104f891053895193aa96c054c6 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.015997 |
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 | 900 |
Total number of constraints | 673 |
Number of constraints which are clauses | 624 |
Number of constraints which are cardinality constraints (but not clauses) | 49 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 26 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.23 c Cutting planes based inference 0.23 c --- Begin Solver configuration --- 0.23 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.23 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.23 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.23 c VSIDS like heuristics from MiniSAT using a heap 0.23 c No reason simplification 0.23 c --- End Solver configuration --- 0.23 c solving ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb 0.23 c reading problem ... 0.60 c ... done. Time 0.365 ms. 0.60 c #vars 900 0.60 c #constraints 673 912.32 c starts : 14 912.32 c conflicts : 38774 912.32 c decisions : 170155 912.32 c propagations : 1523079 912.33 c inspects : 156318181 912.33 c learnt literals : 0 912.33 c learnt binary clauses : 0 912.33 c learnt ternary clauses : 0 912.33 c learnt clauses : 38774 912.33 c root simplifications : 0 912.33 c removed literals (reason simplification) : 0 912.33 c reason swapping (by a shorter reason) : 0 912.33 c Calls to reduceDB : 0 912.33 c speed (decisions/second) : 186.63117323558382 912.33 c non guided choices 2030 912.33 s SATISFIABLE 912.33 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 912.33 v -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 912.33 v -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 912.33 v -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 912.33 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 912.33 v -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 912.33 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 912.33 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 912.33 v -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 912.33 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 912.33 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 912.33 v -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 912.33 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 912.33 v x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 912.33 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 912.33 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 912.33 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 912.33 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 912.33 v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 912.33 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 912.33 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 912.33 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 912.33 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 912.33 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 912.33 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 912.33 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 912.33 v -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 912.33 v -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 912.33 v -x610 x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 912.33 v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 912.33 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 912.33 v -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 912.33 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 912.33 v -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 912.33 v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 912.33 v -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 912.33 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 912.33 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 912.33 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 912.33 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 912.33 v -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 912.33 v -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 912.33 c Total wall clock time (ms): 912.097
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-42257-1149232472 -o ROOT/results/node76/solver-42257-1149232472 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb 649387562 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.94 0.90 2/68 15583 /proc/meminfo: memFree=1618000/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=18544 CPUtime=0 /proc/15583/stat : 15583 (runsolver) R 15581 15583 15538 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 1 0 188886582 18989056 280 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/15583/statm: 4636 280 244 16 0 2626 0 [startup+10.0026 s] /proc/loadavg: 0.87 0.94 0.90 2/80 15595 /proc/meminfo: memFree=1429360/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=11.19 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 52044 0 1 0 1097 22 0 0 18 0 13 0 188886582 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071539119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 48924 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.26 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 6448 0 0 0 24 2 0 0 16 0 13 0 188886585 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.26 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 6471 0 0 0 24 2 0 0 17 0 13 0 188886585 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 188886643 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.19 Current children cumulated vsize (Kb) 1712448 [startup+20.0098 s] /proc/loadavg: 0.89 0.94 0.90 2/80 15595 /proc/meminfo: memFree=1411120/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=21.32 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 57570 0 1 0 2107 25 0 0 25 0 13 0 188886582 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071378842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 53480 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.39 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 9416 0 0 0 35 4 0 0 16 0 13 0 188886585 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.38 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 9020 0 0 0 35 3 0 0 16 0 13 0 188886585 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 188886643 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.32 Current children cumulated vsize (Kb) 1712448 [startup+30.017 s] /proc/loadavg: 0.91 0.94 0.90 2/80 15595 /proc/meminfo: memFree=1411568/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=31.39 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 59718 0 1 0 3113 26 0 0 21 0 13 0 188886582 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 53327 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.45 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 10489 0 0 0 41 4 0 0 16 0 13 0 188886585 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.45 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 10084 0 0 0 41 4 0 0 16 0 13 0 188886585 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 188886643 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.39 Current children cumulated vsize (Kb) 1712448 [startup+40.0242 s] /proc/loadavg: 0.92 0.94 0.90 2/80 15595 /proc/meminfo: memFree=1410544/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=41.48 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 62616 0 1 0 4121 27 0 0 20 0 13 0 188886582 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 53617 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.55 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 11912 0 0 0 50 5 0 0 16 0 13 0 188886585 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.54 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 11533 0 0 0 50 4 0 0 16 0 13 0 188886585 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (Kb) 1712448 [startup+50.0324 s] /proc/loadavg: 0.93 0.95 0.90 2/80 15595 /proc/meminfo: memFree=1394416/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=51.57 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 67948 0 1 0 5127 30 0 0 24 0 13 0 188886582 1753546752 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 57733 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.63 /proc/15583/task/15584/stat : 15584 (java) R 15581 15583 15538 0 -1 64 13680 0 0 0 57 6 0 0 15 0 13 0 188886585 1753546752 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.63 /proc/15583/task/15585/stat : 15585 (java) R 15581 15583 15538 0 -1 64 13227 0 0 0 58 5 0 0 15 0 13 0 188886585 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154971854 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.02 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 46 0 0 0 1 1 0 0 15 0 13 0 188886588 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.57 Current children cumulated vsize (Kb) 1712448 [startup+60.0386 s] /proc/loadavg: 0.94 0.95 0.91 2/80 15595 /proc/meminfo: memFree=1384240/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=61.66 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 71108 0 1 0 6135 31 0 0 25 0 13 0 188886582 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566810 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 60142 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.71 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 15170 0 0 0 65 6 0 0 16 0 13 0 188886585 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.71 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 14877 0 0 0 66 5 0 0 17 0 13 0 188886585 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.02 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 56 0 0 0 1 1 0 0 16 0 13 0 188886588 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/15583/statm: 428112 206956 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=12.95 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 97666 0 0 0 1250 45 0 0 17 0 13 0 188886585 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=12.93 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 96079 0 0 0 1249 44 0 0 16 0 13 0 188886585 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.12 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 8 4 0 0 16 0 13 0 188886588 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 874.21 Current children cumulated vsize (Kb) 1712448 [startup+870.633 s] /proc/loadavg: 1.05 1.01 0.93 2/80 15595 /proc/meminfo: memFree=791088/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=884.38 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 241900 0 1 0 88321 117 0 0 25 0 13 0 188886582 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071539040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 208096 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.12 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 98295 0 0 0 1267 45 0 0 16 0 13 0 188886585 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.1 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 96765 0 0 0 1266 44 0 0 17 0 13 0 188886585 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.12 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 8 4 0 0 16 0 13 0 188886588 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 884.38 Current children cumulated vsize (Kb) 1712448 [startup+880.64 s] /proc/loadavg: 1.04 1.01 0.93 2/80 15595 /proc/meminfo: memFree=785904/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=894.56 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 243307 0 1 0 89338 118 0 0 25 0 13 0 188886582 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071354265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 209387 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.31 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 99095 0 0 0 1285 46 0 0 17 0 13 0 188886585 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.29 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 97367 0 0 0 1284 45 0 0 16 0 13 0 188886585 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.13 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 9 4 0 0 16 0 13 0 188886588 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 894.56 Current children cumulated vsize (Kb) 1712448 [startup+890.647 s] /proc/loadavg: 1.04 1.00 0.93 2/80 15595 /proc/meminfo: memFree=779824/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=904.75 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 245036 0 1 0 90356 119 0 0 25 0 13 0 188886582 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15583/statm: 428112 210902 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.51 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 99989 0 0 0 1304 47 0 0 16 0 13 0 188886585 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.48 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 98197 0 0 0 1303 45 0 0 16 0 13 0 188886585 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.13 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 9 4 0 0 16 0 13 0 188886588 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 904.75 Current children cumulated vsize (Kb) 1712448 [startup+900.654 s] /proc/loadavg: 1.10 1.02 0.93 2/80 15595 /proc/meminfo: memFree=773168/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=915.01 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 246839 0 1 0 91381 120 0 0 20 0 13 0 188886582 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 212542 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.76 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 100908 0 0 0 1329 47 0 0 17 0 13 0 188886585 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.74 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 99074 0 0 0 1328 46 0 0 16 0 13 0 188886585 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.13 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 9 4 0 0 15 0 13 0 188886588 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 915.01 Current children cumulated vsize (Kb) 1712448 [startup+910.661 s] /proc/loadavg: 1.09 1.02 0.93 2/80 15595 /proc/meminfo: memFree=769520/2055888 swapFree=4085392/4096564 [pid=15583] ppid=15581 vsize=1712448 CPUtime=925.19 /proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 247819 0 1 0 92399 120 0 0 25 0 13 0 188886582 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071539086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15583/statm: 428112 213466 1909 14 0 414858 0 [pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.94 /proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 101406 0 0 0 1347 47 0 0 17 0 13 0 188886585 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.92 /proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 99551 0 0 0 1346 46 0 0 16 0 13 0 188886585 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.13 /proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 9 4 0 0 16 0 13 0 188886588 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77 /proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69 /proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0 /proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 925.19 Current children cumulated vsize (Kb) 1712448 Child status: 10 Real time (s): 912.495 CPU time (s): 927.059 CPU user time (s): 925.725 CPU system time (s): 1.3338 CPU usage (%): 101.596 Max. virtual memory (cumulated for all children) (Kb): 1712448
Begin job on node76 on Fri Jun 2 07:14:32 UTC 2006 FILE ID= 42257-1149232472 PBS_JOBID= 296550 BENCH NAME= ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb 649387562 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-42257-1149232472 -o ROOT/results/node76/solver-42257-1149232472 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb 649387562 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 7b1cf6104f891053895193aa96c054c6 RANDOM SEED= 649387562 /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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.14 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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1618208 kB Buffers: 32336 kB Cached: 338768 kB SwapCached: 2488 kB Active: 93528 kB Inactive: 286348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1618208 kB SwapTotal: 4096564 kB SwapFree: 4085392 kB Dirty: 140 kB Writeback: 0 kB Mapped: 16536 kB Slab: 44412 kB Committed_AS: 216200 kB PageTables: 1260 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node76 on Fri Jun 2 07:29:45 UTC 2006