Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb |
MD5SUM | b02172857ce65a3b2db38d953a9873b2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 520 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 1064 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1064 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1064 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 7.05793 |
Number of variables | 1064 |
Total number of constraints | 8357 |
Number of constraints which are clauses | 8357 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
LAUNCH ON wulflinc22 THE 2005-09-18 16:29:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5999 boxname=wulflinc22 idbench=139 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b02172857ce65a3b2db38d953a9873b2 /oldhome/oroussel/tmp/wulflinc22/normalized-ii16e2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc22/normalized-ii16e2.opb IDLAUNCH: 5999 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 920248 kB Buffers: 33912 kB Cached: 53204 kB SwapCached: 536 kB Active: 65708 kB Inactive: 23996 kB HighTotal: 131008 kB HighFree: 75796 kB LowTotal: 903652 kB LowFree: 844452 kB SwapTotal: 2097892 kB SwapFree: 2096832 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5860 kB Slab: 19228 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 16:46:18 (client local time) WITH STATUS 30 IN 1014.36 SECONDS stats: 5999 0 1014.36 30
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version JAVA5.1.1.31 c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@a20892 c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08 c org.sat4j.minisat.learning.MiniSATLearning@158b649 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a sorted array c No reason simplification c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc22/normalized-ii16e2.opb c reading problem ... done. Time 4.37 ms. c #vars 1064 c #constraints 8357 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 524 Current CPU time: 42.48 ms c CURRENT OPTIMUM= 521 Current CPU time: 53.32 ms c CURRENT OPTIMUM= 520 Current CPU time: 67.75 ms c starts : 16 c conflicts : 4098 c decisions : 7076 c propagations : 714675 c inspects : 5246488 c learnt literals : 1 c learnt binary clauses : 3 c learnt ternary clauses : 3 c learnt clauses : 4096 c root simplifications : 46 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 0 c speed (decisions/second) : 7.511637411691021 c non guided choices 1426 c random choices 0 s OPTIMUM FOUND v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 x37 -x38 -x39 x40 -x41 x42 x43 -x44 x45 -x46 -x47 x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 x83 -x84 -x85 x86 x87 -x88 x89 -x90 -x91 x92 -x93 x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 x130 x131 -x132 x133 -x134 -x135 x136 -x137 x138 x139 -x140 x141 -x142 -x143 x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 -x243 x244 -x245 x246 x247 -x248 x249 -x250 -x251 x252 -x253 x254 x255 -x256 x257 -x258 -x259 x260 -x261 x262 -x263 x264 -x265 x266 -x267 x268 x269 -x270 -x271 x272 -x273 x274 -x275 x276 x277 -x278 -x279 x280 -x281 x282 x283 -x284 -x285 x286 -x287 x288 -x289 x290 -x291 x292 x293 -x294 -x295 x296 -x297 x298 x299 -x300 -x301 x302 -x303 x304 -x305 x306 -x307 x308 -x309 x310 x311 -x312 -x313 x314 -x315 x316 x317 -x318 -x319 x320 -x321 x322 x323 -x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 x333 -x334 -x335 x336 -x337 x338 x339 -x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 x349 -x350 -x351 x352 -x353 x354 x355 -x356 -x357 x358 -x359 x360 -x361 x362 -x363 x364 -x365 x366 x367 -x368 x369 -x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 x380 x381 -x382 -x383 x384 -x385 x386 x387 -x388 -x389 x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 -x401 -x402 -x403 x404 x405 -x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 -x447 x448 x449 -x450 -x451 x452 -x453 x454 -x455 x456 -x457 x458 -x459 x460 x461 -x462 -x463 x464 x465 -x466 -x467 x468 -x469 x470 -x471 x472 -x473 x474 -x475 x476 x477 -x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 -x505 x506 -x507 x508 -x509 x510 x511 -x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 x527 -x528 -x529 x530 -x531 x532 -x533 x534 x535 -x536 -x537 x538 x539 -x540 -x541 x542 -x543 x544 -x545 -x546 x547 -x548 -x549 x550 -x551 x552 x553 -x554 -x555 -x556 -x557 x558 -x559 x560 -x561 x562 x563 -x564 -x565 x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 x589 -x590 -x591 x592 -x593 x594 -x595 x596 -x597 x598 x599 -x600 x601 -x602 -x603 x604 -x605 x606 -x607 -x608 x609 -x610 -x611 x612 -x613 x614 -x615 x616 x617 -x618 -x619 x620 -x621 x622 -x623 x624 -x625 x626 -x627 x628 x629 -x630 -x631 x632 x633 -x634 -x635 x636 -x637 x638 -x639 x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 -x655 x656 -x657 x658 x659 -x660 -x661 -x662 -x663 x664 -x665 x666 x667 -x668 -x669 x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 -x679 x680 -x681 x682 x683 -x684 -x685 x686 -x687 x688 x689 -x690 -x691 x692 -x693 x694 -x695 x696 x697 -x698 -x699 x700 -x701 x702 -x703 x704 x705 -x706 -x707 x708 -x709 x710 -x711 x712 -x713 x714 -x715 -x716 -x717 x718 x719 -x720 -x721 x722 -x723 x724 x725 -x726 -x727 x728 -x729 x730 x731 -x732 -x733 x734 -x735 x736 -x737 x738 x739 -x740 -x741 x742 -x743 x744 -x745 -x746 -x747 x748 x749 -x750 -x751 x752 -x753 x754 -x755 -x756 x757 -x758 -x759 x760 -x761 x762 x763 -x764 -x765 x766 -x767 x768 x769 -x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 -x779 x780 x781 -x782 -x783 x784 -x785 x786 -x787 x788 -x789 x790 x791 -x792 x793 -x794 -x795 x796 -x797 x798 -x799 x800 -x801 x802 -x803 x804 -x805 x806 x807 -x808 x809 -x810 -x811 x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 -x821 x822 x823 -x824 x825 -x826 -x827 -x828 -x829 x830 -x831 x832 -x833 x834 -x835 x836 -x837 x838 x839 -x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 -x849 x850 x851 -x852 -x853 x854 -x855 x856 -x857 x858 x859 -x860 -x861 x862 -x863 x864 -x865 x866 x867 -x868 -x869 x870 -x871 x872 -x873 x874 -x875 x876 x877 -x878 -x879 x880 -x881 x882 -x883 x884 x885 -x886 -x887 x888 -x889 x890 -x891 x892 -x893 x894 x895 -x896 -x897 x898 x899 -x900 -x901 x902 -x903 x904 -x905 x906 -x907 x908 x909 -x910 -x911 x912 -x913 -x914 -x915 x916 -x917 x918 x919 -x920 -x921 x922 -x923 x924 x925 -x926 -x927 x928 -x929 x930 -x931 x932 -x933 x934 x935 -x936 -x937 x938 -x939 -x940 -x941 x942 x943 -x944 -x945 x946 -x947 x948 -x949 x950 x951 -x952 -x953 x954 x955 -x956 -x957 x958 -x959 x960 -x961 x962 x963 -x964 -x965 x966 -x967 x968 x969 -x970 -x971 x972 -x973 x974 -x975 x976 -x977 x978 x979 -x980 -x981 x982 -x983 x984 -x985 x986 x987 -x988 -x989 x990 -x991 -x992 x993 -x994 -x995 x996 -x997 x998 -x999 x1000 -x1001 x1002 -x1003 x1004 x1005 -x1006 -x1007 x1008 -x1009 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 x1018 -x1019 x1020 -x1021 x1022 x1023 -x1024 x1025 -x1026 -x1027 x1028 -x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 -x1041 x1042 -x1043 x1044 x1045 -x1046 -x1047 x1048 -x1049 x1050 -x1051 x1052 -x1053 x1054 x1055 -x1056 -x1057 x1058 x1059 -x1060 -x1061 x1062 -x1063 x1064 c objective function=520 c Total CPU time (ms) : 1009.809
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842702886 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 39 3 38 16 0 23 0 [pid=26852] vsize: 156 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable open syscall for file /etc/ld.so.preload open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file .hotspotrc open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /proc/self/maps open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1 open syscall for file tls/i686/mmx/libnsl.so.1 open syscall for file tls/i686/libnsl.so.1 open syscall for file tls/mmx/libnsl.so.1 open syscall for file tls/libnsl.so.1 open syscall for file i686/mmx/libnsl.so.1 open syscall for file i686/libnsl.so.1 open syscall for file mmx/libnsl.so.1 open syscall for file libnsl.so.1 open syscall for file /oldhome/oroussel/lib/libnsl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libnsl.so.1 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /tmp/hsperfdata_oroussel open syscall for file /tmp/hsperfdata_oroussel/26852 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa open syscall for file .hotspot_compiler New thread pid=26853 New thread pid=26854 New thread pid=26855 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext New thread pid=26856 New thread pid=26857 New thread pid=26858 New thread pid=26859 New thread pid=26860 New thread pid=26861 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security open syscall for file /dev/random open syscall for file /dev/urandom open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-ii16e2.opb New thread pid=26862 [startup+10.0039 s] Raw data (loadavg): 1.01 1.00 0.97 2/66 26862 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18166 0 1 0 742 48 0 0 25 0 11 0 1842702886 858267648 20589 4294967295 134512640 134569956 3221224352 3221214760 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209538 20589 13129 16 0 209522 0 [pid=26852] vsize: 838152 Current children cumulated CPU time (s) 7.9 Current children cumulated vsize (Kb) 838152 [startup+20.0046 s] Raw data (loadavg): 1.01 1.00 0.97 2/66 26862 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18177 0 1 0 1666 49 0 0 25 0 11 0 1842702886 859316224 22337 4294967295 134512640 134569956 3221224352 3221214776 1131531783 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209794 22337 13129 16 0 209778 0 [pid=26852] vsize: 839176 Current children cumulated CPU time (s) 17.15 Current children cumulated vsize (Kb) 839176 [startup+30.0054 s] Raw data (loadavg): 1.23 1.05 0.98 4/66 26862 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18185 0 1 0 2626 49 0 0 17 0 11 0 1842702886 859312128 22684 4294967295 134512640 134569956 3221224352 3221214688 1131513068 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 22684 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 26.75 Current children cumulated vsize (Kb) 839172 [startup+40.0061 s] Raw data (loadavg): 1.19 1.05 0.98 2/66 26862 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18192 0 1 0 3576 49 0 0 25 0 11 0 1842702886 859312128 22855 4294967295 134512640 134569956 3221224352 3221214688 1131513897 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 22855 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 36.25 Current children cumulated vsize (Kb) 839172 One traced child (pid=26862) exited with status: 0 New thread pid=26863 [startup+50.0068 s] Raw data (loadavg): 1.16 1.04 0.98 2/66 26863 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18246 5 1 0 4499 50 0 0 25 0 11 0 1842702886 860360704 23539 4294967295 134512640 134569956 3221224352 3221214760 1131531095 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 210049 23539 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 45.49 Current children cumulated vsize (Kb) 840196 One traced child (pid=26863) exited with status: 0 New thread pid=26864 [startup+60.0085 s] Raw data (loadavg): 1.14 1.04 0.98 2/66 26864 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18254 5 1 0 5419 50 0 0 19 0 11 0 1842702886 860360704 23656 4294967295 134512640 134569956 3221224352 3221214672 1131513121 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 210049 23656 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 54.69 Current children cumulated vsize (Kb) 840196 One traced child (pid=26864) exited with status: 0 New thread pid=26865 [startup+70.0092 s] Raw data (loadavg): 1.12 1.04 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18261 5 1 0 6338 51 0 0 21 0 11 0 1842702886 860360704 23743 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 210049 23743 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (Kb) 840196 [startup+80.0089 s] Raw data (loadavg): 1.10 1.04 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18268 5 1 0 7258 51 0 0 17 0 11 0 1842702886 860360704 23975 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 210049 23975 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 73.09 Current children cumulated vsize (Kb) 840196 [startup+90.0096 s] Raw data (loadavg): 1.08 1.04 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18275 5 1 0 8192 52 0 0 25 0 11 0 1842702886 860360704 24271 4294967295 134512640 134569956 3221224352 3221214584 1131364468 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 210049 24271 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 82.44 Current children cumulated vsize (Kb) 840196 [startup+100.01 s] Raw data (loadavg): 1.07 1.04 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18283 5 1 0 9133 52 0 0 22 0 11 0 1842702886 860360704 24407 4294967295 134512640 134569956 3221224352 3221214672 1131513316 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 210049 24407 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 91.85 Current children cumulated vsize (Kb) 840196 [startup+110.013 s] Raw data (loadavg): 1.06 1.03 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18291 5 1 0 10082 53 0 0 16 0 11 0 1842702886 860360704 24507 4294967295 134512640 134569956 3221224352 3221214672 1131513159 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 210049 24507 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 101.35 Current children cumulated vsize (Kb) 840196 [startup+120.014 s] Raw data (loadavg): 1.05 1.03 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18298 5 1 0 11043 54 0 0 24 0 11 0 1842702886 860360704 24730 4294967295 134512640 134569956 3221224352 3221214632 1131352142 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 210049 24730 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 110.97 Current children cumulated vsize (Kb) 840196 [startup+130.014 s] Raw data (loadavg): 1.04 1.03 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18305 5 1 0 12005 54 0 0 25 0 11 0 1842702886 860360704 24725 4294967295 134512640 134569956 3221224352 3221214744 1131330780 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 210049 24725 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 120.59 Current children cumulated vsize (Kb) 840196 [startup+140.015 s] Raw data (loadavg): 1.03 1.03 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18312 5 1 0 12962 54 0 0 20 0 11 0 1842702886 860360704 24753 4294967295 134512640 134569956 3221224352 3221214800 1131356185 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 210049 24753 13129 16 0 210033 0 [pid=26852] vsize: 840196 Current children cumulated CPU time (s) 130.16 Current children cumulated vsize (Kb) 840196 [startup+150.016 s] Raw data (loadavg): 1.03 1.03 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18319 5 1 0 13919 54 0 0 18 0 11 0 1842702886 859312128 24403 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 24403 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 139.73 Current children cumulated vsize (Kb) 839172 [startup+160.017 s] Raw data (loadavg): 1.02 1.03 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18325 5 1 0 14878 55 0 0 25 0 11 0 1842702886 859312128 24419 4294967295 134512640 134569956 3221224352 3221214672 1131513463 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 24419 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 149.33 Current children cumulated vsize (Kb) 839172 [startup+170.017 s] Raw data (loadavg): 1.02 1.03 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18333 5 1 0 15841 55 0 0 17 0 11 0 1842702886 859312128 24663 4294967295 134512640 134569956 3221224352 3221214760 1131531269 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 24663 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 158.96 Current children cumulated vsize (Kb) 839172 [startup+180.018 s] Raw data (loadavg): 1.02 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18340 5 1 0 16812 55 0 0 25 0 11 0 1842702886 859312128 24685 4294967295 134512640 134569956 3221224352 3221214672 1131513422 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 24685 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 168.67 Current children cumulated vsize (Kb) 839172 [startup+190.019 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18349 5 1 0 17778 56 0 0 25 0 11 0 1842702886 859312128 24757 4294967295 134512640 134569956 3221224352 3221214632 1131352052 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 24757 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 178.34 Current children cumulated vsize (Kb) 839172 [startup+200.019 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18355 5 1 0 18757 56 0 0 25 0 11 0 1842702886 859312128 24799 4294967295 134512640 134569956 3221224352 3221214764 1131356131 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 24799 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 188.13 Current children cumulated vsize (Kb) 839172 [startup+210.02 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18363 5 1 0 19731 56 0 0 25 0 11 0 1842702886 859312128 24815 4294967295 134512640 134569956 3221224352 3221214800 1131356185 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 24815 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 197.87 Current children cumulated vsize (Kb) 839172 [startup+220.022 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18370 5 1 0 20707 56 0 0 25 0 11 0 1842702886 859312128 24836 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 24836 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 207.63 Current children cumulated vsize (Kb) 839172 [startup+230.023 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18378 5 1 0 21679 57 0 0 19 0 11 0 1842702886 859312128 24843 4294967295 134512640 134569956 3221224352 3221214760 1131531269 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 24843 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 217.36 Current children cumulated vsize (Kb) 839172 [startup+240.023 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18384 5 1 0 22657 57 0 0 25 0 11 0 1842702886 859312128 24857 4294967295 134512640 134569956 3221224352 3221214672 1131513463 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 24857 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 227.14 Current children cumulated vsize (Kb) 839172 [startup+250.025 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18391 5 1 0 23631 57 0 0 24 0 11 0 1842702886 859312128 24878 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 24878 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 236.88 Current children cumulated vsize (Kb) 839172 [startup+260.027 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18398 5 1 0 24604 58 0 0 25 0 11 0 1842702886 859312128 24923 4294967295 134512640 134569956 3221224352 3221214632 1131352175 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 24923 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 246.62 Current children cumulated vsize (Kb) 839172 [startup+270.026 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18405 5 1 0 25579 58 0 0 25 0 11 0 1842702886 859312128 24932 4294967295 134512640 134569956 3221224352 3221214632 1131352052 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 24932 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 256.37 Current children cumulated vsize (Kb) 839172 [startup+280.027 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18413 5 1 0 26549 58 0 0 17 0 11 0 1842702886 859312128 24975 4294967295 134512640 134569956 3221224352 3221214632 1131352052 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 24975 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 266.07 Current children cumulated vsize (Kb) 839172 [startup+290.029 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18420 5 1 0 27525 58 0 0 25 0 11 0 1842702886 859312128 25003 4294967295 134512640 134569956 3221224352 3221214672 1131513516 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25003 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 275.83 Current children cumulated vsize (Kb) 839172 [startup+300.029 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18428 5 1 0 28500 59 0 0 21 0 11 0 1842702886 859312128 25037 4294967295 134512640 134569956 3221224352 3221214672 1131513463 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25037 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 285.59 Current children cumulated vsize (Kb) 839172 [startup+310.03 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18435 5 1 0 29478 59 0 0 21 0 11 0 1842702886 859312128 25056 4294967295 134512640 134569956 3221224352 3221214672 1131513068 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25056 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 295.37 Current children cumulated vsize (Kb) 839172 [startup+320.031 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18442 5 1 0 30453 59 0 0 17 0 11 0 1842702886 859312128 25071 4294967295 134512640 134569956 3221224352 3221214760 1131531513 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25071 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 305.12 Current children cumulated vsize (Kb) 839172 [startup+330.031 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18449 5 1 0 31428 59 0 0 23 0 11 0 1842702886 859312128 25080 4294967295 134512640 134569956 3221224352 3221214760 1131531269 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25080 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 314.87 Current children cumulated vsize (Kb) 839172 [startup+340.031 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18456 5 1 0 32402 60 0 0 24 0 11 0 1842702886 859312128 25090 4294967295 134512640 134569956 3221224352 3221214672 1131514247 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25090 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 324.62 Current children cumulated vsize (Kb) 839172 [startup+350.032 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18463 5 1 0 33374 60 0 0 25 0 11 0 1842702886 859312128 25111 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25111 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 334.34 Current children cumulated vsize (Kb) 839172 [startup+360.033 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18470 5 1 0 34345 60 0 0 25 0 11 0 1842702886 859312128 25139 4294967295 134512640 134569956 3221224352 3221214740 1131352032 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25139 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 344.05 Current children cumulated vsize (Kb) 839172 [startup+370.033 s] Raw data (loadavg): 1.00 1.01 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18478 5 1 0 35315 60 0 0 16 0 11 0 1842702886 859312128 25155 4294967295 134512640 134569956 3221224352 3221214744 1131330748 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25155 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 353.75 Current children cumulated vsize (Kb) 839172 [startup+380.034 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18485 5 1 0 36288 61 0 0 21 0 11 0 1842702886 859312128 25174 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25174 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 363.49 Current children cumulated vsize (Kb) 839172 [startup+390.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18494 5 1 0 37259 61 0 0 25 0 11 0 1842702886 859312128 25215 4294967295 134512640 134569956 3221224352 3221214664 1131424309 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25215 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 373.2 Current children cumulated vsize (Kb) 839172 [startup+400.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18500 5 1 0 38238 61 0 0 24 0 11 0 1842702886 859312128 25228 4294967295 134512640 134569956 3221224352 3221214632 1131352169 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25228 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 382.99 Current children cumulated vsize (Kb) 839172 [startup+410.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18507 5 1 0 39209 61 0 0 16 0 11 0 1842702886 859312128 25243 4294967295 134512640 134569956 3221224352 3221214584 1131364057 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25243 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 392.7 Current children cumulated vsize (Kb) 839172 [startup+420.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18514 5 1 0 40178 62 0 0 25 0 11 0 1842702886 859312128 25254 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25254 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 402.4 Current children cumulated vsize (Kb) 839172 [startup+430.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18522 5 1 0 41143 62 0 0 16 0 11 0 1842702886 859312128 25262 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25262 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 412.05 Current children cumulated vsize (Kb) 839172 [startup+440.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18529 5 1 0 42111 63 0 0 17 0 11 0 1842702886 859312128 25274 4294967295 134512640 134569956 3221224352 3221214632 1131352052 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25274 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 421.74 Current children cumulated vsize (Kb) 839172 [startup+450.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18536 5 1 0 43082 63 0 0 25 0 11 0 1842702886 859312128 25391 4294967295 134512640 134569956 3221224352 3221214672 1131513422 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25391 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 431.45 Current children cumulated vsize (Kb) 839172 [startup+460.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18543 5 1 0 44058 63 0 0 24 0 11 0 1842702886 859312128 25406 4294967295 134512640 134569956 3221224352 3221214756 1131484579 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25406 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 441.21 Current children cumulated vsize (Kb) 839172 [startup+470.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18549 5 1 0 45034 64 0 0 25 0 11 0 1842702886 859312128 25415 4294967295 134512640 134569956 3221224352 3221214744 1131330748 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25415 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 450.98 Current children cumulated vsize (Kb) 839172 [startup+480.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18556 5 1 0 46006 64 0 0 23 0 11 0 1842702886 859312128 25430 4294967295 134512640 134569956 3221224352 3221214672 1131513551 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25430 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 460.7 Current children cumulated vsize (Kb) 839172 [startup+490.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18564 5 1 0 46973 64 0 0 24 0 11 0 1842702886 859312128 25448 4294967295 134512640 134569956 3221224352 3221214388 1078034913 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25448 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 470.37 Current children cumulated vsize (Kb) 839172 [startup+500.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18571 5 1 0 47945 64 0 0 25 0 11 0 1842702886 859312128 25464 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25464 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 480.09 Current children cumulated vsize (Kb) 839172 [startup+510.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18577 5 1 0 48921 65 0 0 25 0 11 0 1842702886 859312128 25507 4294967295 134512640 134569956 3221224352 3221214672 1131513061 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25507 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 489.86 Current children cumulated vsize (Kb) 839172 [startup+520.045 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18585 5 1 0 49891 65 0 0 25 0 11 0 1842702886 859312128 25541 4294967295 134512640 134569956 3221224352 3221214632 1131352154 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25541 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 499.56 Current children cumulated vsize (Kb) 839172 [startup+530.046 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18593 5 1 0 50865 65 0 0 25 0 11 0 1842702886 859312128 25568 4294967295 134512640 134569956 3221224352 3221214672 1131513265 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25568 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 509.3 Current children cumulated vsize (Kb) 839172 [startup+540.047 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18601 5 1 0 51838 65 0 0 21 0 11 0 1842702886 859312128 25583 4294967295 134512640 134569956 3221224352 3221214760 1131553768 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25583 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 519.03 Current children cumulated vsize (Kb) 839172 [startup+550.047 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18607 5 1 0 52815 65 0 0 25 0 11 0 1842702886 859312128 25596 4294967295 134512640 134569956 3221224352 3221214632 1131352169 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25596 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 528.8 Current children cumulated vsize (Kb) 839172 [startup+560.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18614 5 1 0 53788 65 0 0 25 0 11 0 1842702886 859312128 25613 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25613 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 538.53 Current children cumulated vsize (Kb) 839172 [startup+570.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18621 5 1 0 54761 66 0 0 25 0 11 0 1842702886 859312128 25619 4294967295 134512640 134569956 3221224352 3221214672 1131513572 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25619 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 548.27 Current children cumulated vsize (Kb) 839172 [startup+580.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18628 5 1 0 55735 66 0 0 25 0 11 0 1842702886 859312128 25642 4294967295 134512640 134569956 3221224352 3221214672 1131513090 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25642 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 558.01 Current children cumulated vsize (Kb) 839172 [startup+590.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18635 5 1 0 56708 66 0 0 25 0 11 0 1842702886 859312128 25659 4294967295 134512640 134569956 3221224352 3221214672 1131513544 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25659 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 567.74 Current children cumulated vsize (Kb) 839172 [startup+600.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) S 26851 26852 21452 0 -1 0 18642 5 1 0 57679 66 0 0 17 0 11 0 1842702886 859312128 25689 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25689 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 577.45 Current children cumulated vsize (Kb) 839172 [startup+610.053 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18651 5 1 0 58649 67 0 0 25 0 11 0 1842702886 859312128 25715 4294967295 134512640 134569956 3221224352 3221214512 1131424266 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25715 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 587.16 Current children cumulated vsize (Kb) 839172 [startup+620.053 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) S 26851 26852 21452 0 -1 0 18657 5 1 0 59627 67 0 0 25 0 11 0 1842702886 859312128 25716 4294967295 134512640 134569956 3221224352 3221213312 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25716 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 596.94 Current children cumulated vsize (Kb) 839172 [startup+630.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18664 5 1 0 60599 67 0 0 25 0 11 0 1842702886 859312128 25735 4294967295 134512640 134569956 3221224352 3221214672 1131513958 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25735 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 606.66 Current children cumulated vsize (Kb) 839172 [startup+640.055 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18671 5 1 0 61569 67 0 0 25 0 11 0 1842702886 859312128 25749 4294967295 134512640 134569956 3221224352 3221214632 1131352063 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25749 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 616.36 Current children cumulated vsize (Kb) 839172 [startup+650.055 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18677 5 1 0 62542 68 0 0 25 0 11 0 1842702886 859312128 25763 4294967295 134512640 134569956 3221224352 3221214672 1131513422 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25763 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 626.1 Current children cumulated vsize (Kb) 839172 [startup+660.055 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18685 5 1 0 63506 68 0 0 25 0 11 0 1842702886 859312128 25783 4294967295 134512640 134569956 3221224352 3221214672 1131513448 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25783 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 635.74 Current children cumulated vsize (Kb) 839172 [startup+670.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18691 5 1 0 64478 68 0 0 25 0 11 0 1842702886 859312128 25825 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25825 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 645.46 Current children cumulated vsize (Kb) 839172 [startup+680.056 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18698 5 1 0 65448 69 0 0 25 0 11 0 1842702886 859312128 25873 4294967295 134512640 134569956 3221224352 3221214584 1131364026 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25873 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 655.17 Current children cumulated vsize (Kb) 839172 [startup+690.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18705 5 1 0 66418 70 0 0 21 0 11 0 1842702886 859312128 25899 4294967295 134512640 134569956 3221224352 3221214740 1131352032 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25899 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 664.88 Current children cumulated vsize (Kb) 839172 [startup+700.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18712 5 1 0 67389 70 0 0 22 0 11 0 1842702886 859312128 25922 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25922 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 674.59 Current children cumulated vsize (Kb) 839172 [startup+710.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18719 5 1 0 68359 71 0 0 25 0 11 0 1842702886 859312128 25954 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 25954 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 684.3 Current children cumulated vsize (Kb) 839172 [startup+720.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18727 5 1 0 69329 71 0 0 16 0 11 0 1842702886 859312128 25987 4294967295 134512640 134569956 3221224352 3221214668 1131365095 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 25987 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 694 Current children cumulated vsize (Kb) 839172 [startup+730.061 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18734 5 1 0 70302 71 0 0 25 0 11 0 1842702886 859312128 26001 4294967295 134512640 134569956 3221224352 3221214672 1131513410 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26001 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 703.73 Current children cumulated vsize (Kb) 839172 [startup+740.063 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18742 5 1 0 71272 71 0 0 25 0 11 0 1842702886 859312128 26025 4294967295 134512640 134569956 3221224352 3221214740 1131352032 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26025 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 713.43 Current children cumulated vsize (Kb) 839172 [startup+750.063 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18749 5 1 0 72247 71 0 0 22 0 11 0 1842702886 859312128 26042 4294967295 134512640 134569956 3221224352 3221214760 1131531559 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26042 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 723.18 Current children cumulated vsize (Kb) 839172 [startup+760.064 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18757 5 1 0 73215 72 0 0 17 0 11 0 1842702886 859312128 26055 4294967295 134512640 134569956 3221224352 3221214672 1131513516 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26055 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 732.87 Current children cumulated vsize (Kb) 839172 [startup+770.065 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18763 5 1 0 74189 72 0 0 25 0 11 0 1842702886 859312128 26066 4294967295 134512640 134569956 3221224352 3221214740 1131352032 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26066 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 742.61 Current children cumulated vsize (Kb) 839172 [startup+780.066 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18771 5 1 0 75155 73 0 0 25 0 11 0 1842702886 859312128 26074 4294967295 134512640 134569956 3221224352 3221214632 1131352179 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26074 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 752.28 Current children cumulated vsize (Kb) 839172 [startup+790.067 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18778 5 1 0 76125 73 0 0 25 0 11 0 1842702886 859312128 26097 4294967295 134512640 134569956 3221224352 3221214424 1131461497 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26097 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 761.98 Current children cumulated vsize (Kb) 839172 [startup+800.068 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18786 5 1 0 77092 73 0 0 24 0 11 0 1842702886 859312128 26137 4294967295 134512640 134569956 3221224352 3221214672 1131513169 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26137 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 771.65 Current children cumulated vsize (Kb) 839172 [startup+810.069 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18792 5 1 0 78067 73 0 0 16 0 11 0 1842702886 859312128 26150 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26150 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 781.4 Current children cumulated vsize (Kb) 839172 [startup+820.069 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18798 5 1 0 79042 74 0 0 24 0 11 0 1842702886 859312128 26174 4294967295 134512640 134569956 3221224352 3221214744 1131330755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26174 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 791.16 Current children cumulated vsize (Kb) 839172 [startup+830.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18805 5 1 0 80014 74 0 0 25 0 11 0 1842702886 859312128 26184 4294967295 134512640 134569956 3221224352 3221214800 1131356185 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26184 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 800.88 Current children cumulated vsize (Kb) 839172 [startup+840.072 s] Raw data (loadavg): 1.00 1.00 0.98 3/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18812 5 1 0 80985 74 0 0 25 0 11 0 1842702886 859312128 26202 4294967295 134512640 134569956 3221224352 3221214760 1131531099 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26202 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 810.59 Current children cumulated vsize (Kb) 839172 [startup+850.072 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18821 5 1 0 81950 75 0 0 25 0 11 0 1842702886 859312128 26228 4294967295 134512640 134569956 3221224352 3221214584 1131364476 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26228 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 820.25 Current children cumulated vsize (Kb) 839172 [startup+860.073 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18828 5 1 0 82923 75 0 0 25 0 11 0 1842702886 859312128 26255 4294967295 134512640 134569956 3221224352 3221214580 1131057186 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26255 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 829.98 Current children cumulated vsize (Kb) 839172 [startup+870.074 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18834 5 1 0 83900 76 0 0 25 0 11 0 1842702886 859312128 26267 4294967295 134512640 134569956 3221224352 3221214672 1131513213 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26267 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 839.76 Current children cumulated vsize (Kb) 839172 [startup+880.075 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18842 5 1 0 84869 76 0 0 20 0 11 0 1842702886 859312128 26284 4294967295 134512640 134569956 3221224352 3221214756 1131552419 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26284 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 849.45 Current children cumulated vsize (Kb) 839172 [startup+890.075 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18847 5 1 0 85846 76 0 0 21 0 11 0 1842702886 859312128 26291 4294967295 134512640 134569956 3221224352 3221214672 1131513463 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26291 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 859.22 Current children cumulated vsize (Kb) 839172 [startup+900.076 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18853 5 1 0 86811 76 0 0 16 0 11 0 1842702886 859312128 26294 4294967295 134512640 134569956 3221224352 3221214632 1131352057 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26294 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 868.87 Current children cumulated vsize (Kb) 839172 [startup+910.077 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18859 5 1 0 87775 77 0 0 25 0 11 0 1842702886 859312128 26312 4294967295 134512640 134569956 3221224352 3221214712 1131605678 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26312 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 878.52 Current children cumulated vsize (Kb) 839172 [startup+920.077 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18867 5 1 0 88732 77 0 0 25 0 11 0 1842702886 859312128 26347 4294967295 134512640 134569956 3221224352 3221214568 1131352219 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26347 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 888.09 Current children cumulated vsize (Kb) 839172 [startup+930.078 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18874 5 1 0 89693 77 0 0 24 0 11 0 1842702886 859312128 26363 4294967295 134512640 134569956 3221224352 3221214672 1131513463 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26363 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 897.7 Current children cumulated vsize (Kb) 839172 [startup+940.079 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18880 5 1 0 90661 78 0 0 25 0 11 0 1842702886 859312128 26524 4294967295 134512640 134569956 3221224352 3221214760 1131553741 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26524 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 907.39 Current children cumulated vsize (Kb) 839172 [startup+950.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18887 5 1 0 91632 78 0 0 22 0 11 0 1842702886 859312128 26564 4294967295 134512640 134569956 3221224352 3221214800 1131356185 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26564 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 917.1 Current children cumulated vsize (Kb) 839172 [startup+960.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18894 5 1 0 92603 78 0 0 22 0 11 0 1842702886 859312128 26569 4294967295 134512640 134569956 3221224352 3221214672 1131513061 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26569 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 926.81 Current children cumulated vsize (Kb) 839172 [startup+970.081 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18901 5 1 0 93575 78 0 0 17 0 11 0 1842702886 859312128 26597 4294967295 134512640 134569956 3221224352 3221214760 1131531616 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26597 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 936.53 Current children cumulated vsize (Kb) 839172 [startup+980.082 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18907 5 1 0 94550 78 0 0 25 0 11 0 1842702886 859312128 26617 4294967295 134512640 134569956 3221224352 3221214760 1131531508 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26617 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 946.28 Current children cumulated vsize (Kb) 839172 [startup+990.082 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18914 5 1 0 95521 79 0 0 18 0 11 0 1842702886 859312128 26634 4294967295 134512640 134569956 3221224352 3221214632 1131352052 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/26852/statm): 209793 26634 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 956 Current children cumulated vsize (Kb) 839172 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18922 5 1 0 96490 79 0 0 25 0 11 0 1842702886 859312128 26650 4294967295 134512640 134569956 3221224352 3221214680 1131544629 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26650 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 965.69 Current children cumulated vsize (Kb) 839172 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 26865 Raw data (/proc/26852/stat): 26852 (java) R 26851 26852 21452 0 -1 0 18929 5 1 0 97463 79 0 0 25 0 11 0 1842702886 859312128 26663 4294967295 134512640 134569956 3221224352 3221214632 1131352052 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/26852/statm): 209793 26663 13129 16 0 209777 0 [pid=26852] vsize: 839172 Current children cumulated CPU time (s) 975.42 Current children cumulated vsize (Kb) 839172 One traced child (pid=26865) exited with status: 0 New thread pid=26866 One traced child (pid=26866) exited with status: 0 One traced child (pid=26861) exited with status: 0 One traced child (pid=26856) exited with status: 0 One traced child (pid=26853) exited with status: 30 One traced child (pid=26860) exited with status: 30 One traced child (pid=26858) exited with status: 30 One traced child (pid=26854) exited with status: 30 One traced child (pid=26855) exited with status: 30 One traced child (pid=26857) exited with status: 30 One traced child (pid=26859) exited with status: 30 One traced child (pid=26852) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 1011.22 CPU time (s): 1014.36 CPU user time (s): 1012.86 CPU system time (s): 1.49377 CPU usage (%): 100.31 Max. virtual memory (cumulated for all children) (Kb): 840196
Verifier: OK 520