Name | mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb |
MD5SUM | 44281820d2b00a47b643433ffa4e2d73 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 117 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 138 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 535 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 464 |
Total number of constraints | 1395 |
Number of constraints which are clauses | 336 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 723 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 128 |
LAUNCH ON wulflinc21 THE 2005-09-20 10:49:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6582 boxname=wulflinc21 idbench=722 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 44281820d2b00a47b643433ffa4e2d73 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos16.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos16.opb IDLAUNCH: 6582 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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.161 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: 773404 kB Buffers: 36008 kB Cached: 195380 kB SwapCached: 832 kB Active: 119040 kB Inactive: 114936 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 773152 kB SwapTotal: 2097892 kB SwapFree: 2096456 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5776 kB Slab: 21508 kB Committed_AS: 64368 kB PageTables: 340 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 11:09:57 (client local time) WITH STATUS 143 IN 1246.27 SECONDS stats: 6582 0 1246.27 143
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/wulflinc21/normalized-mps-v2-20-10-neos16.opb c reading problem ... done. Time 2.112 ms. c #vars 464 c #constraints 1069 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 121 Current CPU time: 80.32 ms c CURRENT OPTIMUM= 118 Current CPU time: 874.48 ms c starts : 22 c conflicts : 9920 c decisions : 19417 c propagations : 356569 c inspects : 9002835 c learnt literals : 0 c learnt binary clauses : 3 c learnt ternary clauses : 0 c learnt clauses : 9920 c root simplifications : 23 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 17695 c speed (decisions/second) : 53.302112099966514 c non guided choices 8455 c random choices 0 s SATISFIABLE v -C0377_bit0 C0377_bit1 C0377_bit2 -C0377_bit3 C0377_bit4 C0377_bit5 C0377_bit6 -C0377_bit7 -C0001_bit0 -C0002_bit0 -C0003_bit0 -C0004_bit0 -C0005_bit0 -C0006_bit0 -C0007_bit0 C0008_bit0 C0009_bit0 C0010_bit0 C0011_bit0 C0012_bit0 C0013_bit0 C0014_bit0 C0015_bit0 -C0016_bit0 -C0017_bit0 -C0018_bit0 -C0019_bit0 C0020_bit0 C0021_bit0 C0022_bit0 C0023_bit0 C0024_bit0 C0025_bit0 C0026_bit0 C0027_bit0 C0028_bit0 C0029_bit0 C0030_bit0 C0031_bit0 -C0032_bit0 C0033_bit0 C0034_bit0 C0035_bit0 -C0036_bit0 C0037_bit0 C0038_bit0 -C0039_bit0 C0040_bit0 -C0041_bit0 -C0042_bit0 C0043_bit0 C0044_bit0 -C0045_bit0 C0046_bit0 -C0047_bit0 C0048_bit0 -C0049_bit0 -C0050_bit0 C0051_bit0 -C0052_bit0 -C0053_bit0 -C0054_bit0 C0055_bit0 -C0056_bit0 -C0057_bit0 C0058_bit0 C0059_bit0 C0060_bit0 -C0061_bit0 -C0062_bit0 C0063_bit0 C0064_bit0 C0065_bit0 -C0066_bit0 -C0067_bit0 -C0068_bit0 -C0069_bit0 C0070_bit0 -C0071_bit0 -C0072_bit0 -C0073_bit0 -C0074_bit0 -C0075_bit0 -C0076_bit0 -C0077_bit0 -C0078_bit0 C0079_bit0 C0080_bit0 C0081_bit0 C0082_bit0 C0083_bit0 -C0084_bit0 C0085_bit0 C0086_bit0 C0087_bit0 C0088_bit0 C0089_bit0 C0090_bit0 C0091_bit0 -C0092_bit0 -C0093_bit0 -C0094_bit0 -C0095_bit0 -C0096_bit0 -C0097_bit0 -C0098_bit0 -C0099_bit0 C0100_bit0 C0101_bit0 C0102_bit0 C0103_bit0 -C0104_bit0 -C0105_bit0 -C0106_bit0 -C0107_bit0 -C0108_bit0 -C0109_bit0 -C0110_bit0 -C0111_bit0 -C0112_bit0 -C0113_bit0 -C0114_bit0 -C0115_bit0 C0116_bit0 -C0117_bit0 -C0118_bit0 -C0119_bit0 C0120_bit0 -C0121_bit0 -C0122_bit0 C0123_bit0 -C0124_bit0 C0125_bit0 C0126_bit0 -C0127_bit0 -C0128_bit0 C0129_bit0 -C0130_bit0 C0131_bit0 -C0132_bit0 C0133_bit0 C0134_bit0 -C0135_bit0 C0136_bit0 C0137_bit0 C0138_bit0 -C0139_bit0 C0140_bit0 C0141_bit0 -C0142_bit0 -C0143_bit0 -C0144_bit0 C0145_bit0 C0146_bit0 -C0147_bit0 -C0148_bit0 -C0149_bit0 C0150_bit0 C0151_bit0 C0152_bit0 C0153_bit0 -C0154_bit0 C0155_bit0 C0156_bit0 C0157_bit0 C0158_bit0 C0159_bit0 C0160_bit0 C0161_bit0 C0162_bit0 -C0163_bit0 -C0164_bit0 -C0165_bit0 -C0166_bit0 -C0167_bit0 C0168_bit0 -C0169_bit0 -C0170_bit0 -C0171_bit0 -C0172_bit0 -C0173_bit0 -C0174_bit0 -C0175_bit0 C0176_bit0 C0177_bit0 C0178_bit0 C0179_bit0 C0180_bit0 C0181_bit0 C0182_bit0 C0183_bit0 -C0184_bit0 -C0185_bit0 -C0186_bit0 C0187_bit0 C0188_bit0 C0189_bit0 C0190_bit0 C0191_bit0 C0192_bit0 C0193_bit0 C0194_bit0 C0195_bit0 -C0196_bit0 -C0197_bit0 -C0198_bit0 -C0199_bit0 C0200_bit0 -C0201_bit0 C0202_bit0 -C0203_bit0 C0204_bit0 C0205_bit0 -C0206_bit0 C0207_bit0 -C0208_bit0 C0209_bit0 C0210_bit0 -C0211_bit0 C0212_bit0 C0213_bit0 C0214_bit0 -C0215_bit0 -C0216_bit0 C0217_bit0 C0218_bit0 C0219_bit0 -C0220_bit0 -C0221_bit0 -C0222_bit0 C0223_bit0 -C0224_bit0 -C0225_bit0 C0226_bit0 -C0227_bit0 -C0228_bit0 -C0229_bit0 -C0230_bit0 C0231_bit0 C0232_bit0 -C0233_bit0 C0234_bit0 -C0235_bit0 -C0236_bit0 -C0237_bit0 -C0238_bit0 -C0239_bit0 -C0240_bit0 -C0241_bit0 -C0242_bit0 C0243_bit0 C0244_bit0 -C0245_bit0 C0246_bit0 -C0247_bit0 -C0248_bit0 -C0249_bit0 -C0250_bit0 -C0251_bit0 C0252_bit0 C0253_bit0 C0254_bit0 C0255_bit0 C0256_bit0 C0257_bit0 C0258_bit0 C0259_bit0 -C0260_bit0 -C0261_bit0 -C0262_bit0 -C0263_bit0 -C0264_bit0 -C0265_bit0 -C0266_bit0 -C0267_bit0 C0268_bit0 C0269_bit0 C0270_bit0 -C0271_bit0 -C0272_bit0 -C0273_bit0 -C0274_bit0 -C0275_bit0 -C0276_bit0 -C0277_bit0 -C0278_bit0 -C0279_bit0 C0280_bit0 C0281_bit0 C0282_bit0 C0283_bit0 -C0284_bit0 C0285_bit0 -C0286_bit0 C0287_bit0 -C0288_bit0 -C0289_bit0 C0290_bit0 -C0291_bit0 C0292_bit0 -C0293_bit0 -C0294_bit0 C0295_bit0 -C0296_bit0 -C0297_bit0 -C0298_bit0 C0299_bit0 C0300_bit0 -C0301_bit0 -C0302_bit0 -C0303_bit0 C0304_bit0 C0305_bit0 C0306_bit0 -C0307_bit0 C0308_bit0 C0309_bit0 -C0310_bit0 C0311_bit0 C0312_bit0 C0313_bit0 C0314_bit0 -C0315_bit0 -C0316_bit0 C0317_bit0 -C0318_bit0 C0319_bit0 C0320_bit0 C0321_bit0 C0322_bit0 C0323_bit0 C0324_bit0 C0325_bit0 C0326_bit0 -C0327_bit0 -C0328_bit0 C0329_bit0 -C0330_bit0 C0331_bit0 C0332_bit0 C0333_bit0 C0334_bit0 C0335_bit0 -C0336_bit0 -C0337_bit0 C0337_bit1 C0337_bit2 C0338_bit0 -C0338_bit1 -C0338_bit2 -C0339_bit0 -C0339_bit1 -C0339_bit2 C0340_bit0 -C0340_bit1 C0340_bit2 C0341_bit0 C0341_bit1 -C0341_bit2 -C0342_bit0 C0342_bit1 -C0342_bit2 -C0343_bit0 -C0343_bit1 C0343_bit2 C0344_bit0 -C0344_bit1 -C0344_bit2 C0345_bit0 -C0345_bit1 C0345_bit2 -C0346_bit0 C0346_bit1 -C0346_bit2 -C0347_bit0 C0347_bit1 C0347_bit2 -C0348_bit0 -C0348_bit1 -C0348_bit2 -C0349_bit0 C0349_bit1 -C0349_bit2 C0350_bit0 C0350_bit1 -C0350_bit2 -C0351_bit0 -C0351_bit1 C0351_bit2 C0352_bit0 -C0352_bit1 C0352_bit2 -C0353_bit0 C0353_bit1 C0353_bit2 C0354_bit0 -C0354_bit1 -C0354_bit2 C0355_bit0 -C0355_bit1 C0355_bit2 -C0356_bit0 C0356_bit1 -C0356_bit2 -C0357_bit0 -C0357_bit1 C0357_bit2 C0358_bit0 -C0358_bit1 C0358_bit2 -C0359_bit0 C0359_bit1 -C0359_bit2 C0360_bit0 -C0360_bit1 C0360_bit2 -C0361_bit0 -C0361_bit1 C0361_bit2 -C0362_bit0 -C0362_bit1 -C0362_bit2 -C0363_bit0 C0363_bit1 C0363_bit2 C0364_bit0 -C0364_bit1 -C0364_bit2 C0365_bit0 C0365_bit1 -C0365_bit2 C0366_bit0 C0366_bit1 -C0366_bit2 C0367_bit0 -C0367_bit1 -C0367_bit2 -C0368_bit0 -C0368_bit1 -C0368_bit2 -C0369_bit0 -C0369_bit1 -C0369_bit2 -C0370_bit0 -C0370_bit1 C0370_bit2 C0371_bit0 -C0371_bit1 C0371_bit2 -C0372_bit0 C0372_bit1 C0372_bit2 -C0373_bit0 -C0373_bit1 -C0373_bit2 C0374_bit0 -C0374_bit1 -C0374_bit2 C0375_bit0 C0375_bit1 -C0375_bit2 -C0376_bit0 C0376_bit1 -C0376_bit2 c objective function=118 c Total CPU time (ms) : 1238.787
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/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1735213300 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 39 3 38 16 0 23 0 [pid=21760] 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/21760 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=21761 New thread pid=21762 New thread pid=21763 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=21764 New thread pid=21765 New thread pid=21766 New thread pid=21767 New thread pid=21768 New thread pid=21769 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/wulflinc21/normalized-mps-v2-20-10-neos16.opb New thread pid=21770 [startup+10.002 s] Raw data (loadavg): 1.09 1.00 0.91 2/67 21770 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18126 0 1 0 707 44 0 0 20 0 11 0 1735213300 857948160 20050 4294967295 134512640 134569956 3221224336 3221214560 1131448637 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 20050 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 7.51 Current children cumulated vsize (Kb) 837840 [startup+20.0027 s] Raw data (loadavg): 1.08 1.00 0.91 2/67 21770 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18137 0 2 0 1658 44 0 0 25 0 11 0 1735213300 857948160 20675 4294967295 134512640 134569956 3221224336 3221214748 1131057173 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 20675 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 17.02 Current children cumulated vsize (Kb) 837840 [startup+30.0024 s] Raw data (loadavg): 1.06 1.00 0.91 2/67 21770 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18144 0 2 0 2619 45 0 0 25 0 11 0 1735213300 857948160 21051 4294967295 134512640 134569956 3221224336 3221214560 1131448515 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 21051 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 26.64 Current children cumulated vsize (Kb) 837840 [startup+40.0031 s] Raw data (loadavg): 1.05 1.00 0.91 2/67 21770 Raw data (/proc/21760/stat): 21760 (java) S 21759 21760 20602 0 -1 0 18147 0 2 0 3581 45 0 0 16 0 11 0 1735213300 857948160 21423 4294967295 134512640 134569956 3221224336 3221213304 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 21423 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 36.26 Current children cumulated vsize (Kb) 837840 [startup+50.0037 s] Raw data (loadavg): 1.05 1.00 0.91 2/67 21770 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18151 0 2 0 4550 45 0 0 19 0 11 0 1735213300 857948160 21423 4294967295 134512640 134569956 3221224336 3221214760 1131671517 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 21423 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 45.95 Current children cumulated vsize (Kb) 837840 [startup+60.0034 s] Raw data (loadavg): 1.04 1.00 0.91 2/67 21770 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18154 0 2 0 5518 45 0 0 25 0 11 0 1735213300 857948160 21638 4294967295 134512640 134569956 3221224336 3221214448 1131423550 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 21638 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 55.63 Current children cumulated vsize (Kb) 837840 [startup+70.0041 s] Raw data (loadavg): 1.03 1.00 0.91 2/67 21770 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18158 0 2 0 6486 45 0 0 25 0 11 0 1735213300 857948160 21772 4294967295 134512640 134569956 3221224336 3221214192 1085806260 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 21772 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 65.31 Current children cumulated vsize (Kb) 837840 [startup+80.0048 s] Raw data (loadavg): 1.03 1.00 0.91 2/67 21770 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18161 0 2 0 7453 45 0 0 25 0 11 0 1735213300 857948160 21838 4294967295 134512640 134569956 3221224336 3221214496 1131469204 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 21838 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 74.98 Current children cumulated vsize (Kb) 837840 One traced child (pid=21770) exited with status: 0 New thread pid=21771 [startup+90.0055 s] Raw data (loadavg): 1.02 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18209 3 2 0 8441 46 0 0 16 0 11 0 1735213300 857948160 21947 4294967295 134512640 134569956 3221224336 3221214304 1085759286 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 21947 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 84.87 Current children cumulated vsize (Kb) 837840 [startup+100.005 s] Raw data (loadavg): 1.02 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18210 3 2 0 9429 46 0 0 25 0 11 0 1735213300 857948160 21947 4294967295 134512640 134569956 3221224336 3221214672 1131593044 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 21947 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 94.75 Current children cumulated vsize (Kb) 837840 [startup+110.005 s] Raw data (loadavg): 1.02 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18213 3 2 0 10396 46 0 0 25 0 11 0 1735213300 857948160 22034 4294967295 134512640 134569956 3221224336 3221214488 1131449085 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 22034 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 104.42 Current children cumulated vsize (Kb) 837840 [startup+120.006 s] Raw data (loadavg): 1.01 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18216 3 2 0 11364 46 0 0 17 0 11 0 1735213300 857948160 22090 4294967295 134512640 134569956 3221224336 3221214248 1085806281 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 22090 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 114.1 Current children cumulated vsize (Kb) 837840 [startup+130.005 s] Raw data (loadavg): 1.01 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18219 3 2 0 12333 47 0 0 25 0 11 0 1735213300 857948160 22131 4294967295 134512640 134569956 3221224336 3221214472 1131423498 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 22131 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 123.8 Current children cumulated vsize (Kb) 837840 [startup+140.006 s] Raw data (loadavg): 1.01 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18223 3 2 0 13290 47 0 0 25 0 11 0 1735213300 857948160 22217 4294967295 134512640 134569956 3221224336 3221214168 1131623132 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 22217 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 133.37 Current children cumulated vsize (Kb) 837840 [startup+150.007 s] Raw data (loadavg): 1.01 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18227 3 2 0 14248 47 0 0 25 0 11 0 1735213300 857948160 22328 4294967295 134512640 134569956 3221224336 3221214496 1131469077 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 22328 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 142.95 Current children cumulated vsize (Kb) 837840 [startup+160.006 s] Raw data (loadavg): 1.00 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18232 3 2 0 15201 47 0 0 17 0 11 0 1735213300 857948160 22541 4294967295 134512640 134569956 3221224336 3221214444 1131359611 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 22541 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 152.48 Current children cumulated vsize (Kb) 837840 [startup+170.007 s] Raw data (loadavg): 1.00 1.00 0.91 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18235 3 2 0 16174 48 0 0 25 0 11 0 1735213300 857948160 22647 4294967295 134512640 134569956 3221224336 3221214488 1131448515 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 22647 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (Kb) 837840 [startup+180.007 s] Raw data (loadavg): 1.08 1.02 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18239 3 2 0 17142 48 0 0 25 0 11 0 1735213300 857948160 22776 4294967295 134512640 134569956 3221224336 3221214752 1131491008 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 22776 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 171.9 Current children cumulated vsize (Kb) 837840 [startup+190.007 s] Raw data (loadavg): 1.06 1.02 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18242 3 2 0 18120 48 0 0 25 0 11 0 1735213300 857948160 22858 4294967295 134512640 134569956 3221224336 3221214440 1131664828 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 22858 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 181.68 Current children cumulated vsize (Kb) 837840 [startup+200.007 s] Raw data (loadavg): 1.05 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18247 3 2 0 19083 48 0 0 21 0 11 0 1735213300 857948160 22948 4294967295 134512640 134569956 3221224336 3221214744 1131671177 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 22948 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 191.31 Current children cumulated vsize (Kb) 837840 [startup+210.007 s] Raw data (loadavg): 1.05 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18251 3 2 0 20053 48 0 0 25 0 11 0 1735213300 857948160 23012 4294967295 134512640 134569956 3221224336 3221214488 1131448180 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 23012 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 201.01 Current children cumulated vsize (Kb) 837840 [startup+220.007 s] Raw data (loadavg): 1.04 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18254 3 2 0 21031 48 0 0 25 0 11 0 1735213300 857948160 23062 4294967295 134512640 134569956 3221224336 3221214040 1131665940 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23062 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 210.79 Current children cumulated vsize (Kb) 837840 [startup+230.008 s] Raw data (loadavg): 1.03 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18258 3 2 0 22001 48 0 0 25 0 11 0 1735213300 857948160 23127 4294967295 134512640 134569956 3221224336 3221214248 1085806735 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23127 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 220.49 Current children cumulated vsize (Kb) 837840 [startup+240.009 s] Raw data (loadavg): 1.03 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18262 3 2 0 22972 48 0 0 25 0 11 0 1735213300 857948160 23208 4294967295 134512640 134569956 3221224336 3221214576 1131499538 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 23208 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 230.2 Current children cumulated vsize (Kb) 837840 [startup+250.009 s] Raw data (loadavg): 1.02 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) S 21759 21760 20602 0 -1 0 18265 3 2 0 23945 48 0 0 25 0 11 0 1735213300 857948160 23250 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 23250 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 239.93 Current children cumulated vsize (Kb) 837840 [startup+260.01 s] Raw data (loadavg): 1.02 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18270 3 2 0 24910 48 0 0 19 0 11 0 1735213300 857948160 23326 4294967295 134512640 134569956 3221224336 3221214272 1131664842 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23326 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 249.58 Current children cumulated vsize (Kb) 837840 [startup+270.011 s] Raw data (loadavg): 1.02 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18273 3 2 0 25887 48 0 0 25 0 11 0 1735213300 857948160 23387 4294967295 134512640 134569956 3221224336 3221214488 1131449088 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 23387 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 259.35 Current children cumulated vsize (Kb) 837840 [startup+280.01 s] Raw data (loadavg): 1.01 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18276 3 2 0 26863 48 0 0 25 0 11 0 1735213300 857948160 23434 4294967295 134512640 134569956 3221224336 3221213864 1085759286 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23434 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 269.11 Current children cumulated vsize (Kb) 837840 [startup+290.012 s] Raw data (loadavg): 1.01 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18280 3 2 0 27832 49 0 0 25 0 11 0 1735213300 857948160 23499 4294967295 134512640 134569956 3221224336 3221214576 1131500622 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23499 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 278.81 Current children cumulated vsize (Kb) 837840 [startup+300.013 s] Raw data (loadavg): 1.01 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18283 3 2 0 28809 49 0 0 25 0 11 0 1735213300 857948160 23562 4294967295 134512640 134569956 3221224336 3221214488 1131448475 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 23562 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 288.58 Current children cumulated vsize (Kb) 837840 [startup+310.013 s] Raw data (loadavg): 1.01 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18287 3 2 0 29778 49 0 0 25 0 11 0 1735213300 857948160 23634 4294967295 134512640 134569956 3221224336 3221214576 1131504579 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 23634 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 298.27 Current children cumulated vsize (Kb) 837840 [startup+320.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18290 3 2 0 30755 49 0 0 25 0 11 0 1735213300 857948160 23676 4294967295 134512640 134569956 3221224336 3221214328 1131664618 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23676 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 308.04 Current children cumulated vsize (Kb) 837840 [startup+330.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18294 3 2 0 31724 49 0 0 25 0 11 0 1735213300 857948160 23751 4294967295 134512640 134569956 3221224336 3221214576 1131501407 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 23751 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 317.73 Current children cumulated vsize (Kb) 837840 [startup+340.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18297 3 2 0 32701 49 0 0 25 0 11 0 1735213300 857948160 23809 4294967295 134512640 134569956 3221224336 3221214488 1131448475 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23809 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 327.5 Current children cumulated vsize (Kb) 837840 [startup+350.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18300 3 2 0 33678 50 0 0 25 0 11 0 1735213300 857948160 23869 4294967295 134512640 134569956 3221224336 3221214432 1131668306 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23869 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 337.28 Current children cumulated vsize (Kb) 837840 [startup+360.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18304 3 2 0 34648 50 0 0 25 0 11 0 1735213300 857948160 23930 4294967295 134512640 134569956 3221224336 3221214360 1085806301 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23930 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 346.98 Current children cumulated vsize (Kb) 837840 [startup+370.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18307 3 2 0 35624 50 0 0 25 0 11 0 1735213300 857948160 23975 4294967295 134512640 134569956 3221224336 3221213808 1085806332 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 23975 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 356.74 Current children cumulated vsize (Kb) 837840 [startup+380.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18311 3 2 0 36594 50 0 0 25 0 11 0 1735213300 857948160 24032 4294967295 134512640 134569956 3221224336 3221214440 1131664681 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24032 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 366.44 Current children cumulated vsize (Kb) 837840 [startup+390.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18314 3 2 0 37570 50 0 0 25 0 11 0 1735213300 857948160 24084 4294967295 134512640 134569956 3221224336 3221214496 1131664828 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24084 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 376.2 Current children cumulated vsize (Kb) 837840 [startup+400.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18318 3 2 0 38538 50 0 0 23 0 11 0 1735213300 857948160 24156 4294967295 134512640 134569956 3221224336 3221214488 1131448515 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24156 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 385.88 Current children cumulated vsize (Kb) 837840 [startup+410.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18321 3 2 0 39514 50 0 0 25 0 11 0 1735213300 857948160 24215 4294967295 134512640 134569956 3221224336 3221214112 1131623132 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24215 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 395.64 Current children cumulated vsize (Kb) 837840 [startup+420.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18324 3 2 0 40491 50 0 0 25 0 11 0 1735213300 857948160 24267 4294967295 134512640 134569956 3221224336 3221214436 1131668288 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24267 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 405.41 Current children cumulated vsize (Kb) 837840 [startup+430.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18327 3 2 0 41467 51 0 0 25 0 11 0 1735213300 857948160 24317 4294967295 134512640 134569956 3221224336 3221214264 1131664834 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24317 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 415.18 Current children cumulated vsize (Kb) 837840 [startup+440.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18329 3 2 0 42451 51 0 0 25 0 11 0 1735213300 857948160 24346 4294967295 134512640 134569956 3221224336 3221213944 1131664752 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24346 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 425.02 Current children cumulated vsize (Kb) 837840 [startup+450.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18331 3 2 0 43435 51 0 0 25 0 11 0 1735213300 857948160 24377 4294967295 134512640 134569956 3221224336 3221214488 1131668306 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24377 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 434.86 Current children cumulated vsize (Kb) 837840 [startup+460.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18333 3 2 0 44418 51 0 0 25 0 11 0 1735213300 857948160 24409 4294967295 134512640 134569956 3221224336 3221214488 1131448097 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24409 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 444.69 Current children cumulated vsize (Kb) 837840 [startup+470.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18335 3 2 0 45402 51 0 0 25 0 11 0 1735213300 857948160 24444 4294967295 134512640 134569956 3221224336 3221213940 1131664804 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24444 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 454.53 Current children cumulated vsize (Kb) 837840 [startup+480.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18337 3 2 0 46384 51 0 0 25 0 11 0 1735213300 857948160 24485 4294967295 134512640 134569956 3221224336 3221214216 1131664807 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24485 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 464.35 Current children cumulated vsize (Kb) 837840 [startup+490.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18340 3 2 0 47359 51 0 0 25 0 11 0 1735213300 857948160 24531 4294967295 134512640 134569956 3221224336 3221214328 1131664786 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24531 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 474.1 Current children cumulated vsize (Kb) 837840 [startup+500.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18343 3 2 0 48334 51 0 0 25 0 11 0 1735213300 857948160 24571 4294967295 134512640 134569956 3221224336 3221214336 1131623153 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24571 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 483.85 Current children cumulated vsize (Kb) 837840 [startup+510.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18345 3 2 0 49316 52 0 0 25 0 11 0 1735213300 857948160 24603 4294967295 134512640 134569956 3221224336 3221214440 1131664815 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24603 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 493.68 Current children cumulated vsize (Kb) 837840 [startup+520.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18347 3 2 0 50299 52 0 0 25 0 11 0 1735213300 857948160 24635 4294967295 134512640 134569956 3221224336 3221214336 1131623203 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24635 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 503.51 Current children cumulated vsize (Kb) 837840 [startup+530.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18350 3 2 0 51273 52 0 0 25 0 11 0 1735213300 857948160 24693 4294967295 134512640 134569956 3221224336 3221214664 1131466155 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24693 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 513.25 Current children cumulated vsize (Kb) 837840 [startup+540.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18353 3 2 0 52247 52 0 0 25 0 11 0 1735213300 857948160 24751 4294967295 134512640 134569956 3221224336 3221214640 1131456599 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24751 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 522.99 Current children cumulated vsize (Kb) 837840 [startup+550.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18355 3 2 0 53229 53 0 0 25 0 11 0 1735213300 857948160 24786 4294967295 134512640 134569956 3221224336 3221214488 1131448097 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24786 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 532.82 Current children cumulated vsize (Kb) 837840 [startup+560.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18357 3 2 0 54212 53 0 0 25 0 11 0 1735213300 857948160 24812 4294967295 134512640 134569956 3221224336 3221214392 1131472097 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24812 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 542.65 Current children cumulated vsize (Kb) 837840 [startup+570.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18359 3 2 0 55195 54 0 0 25 0 11 0 1735213300 857948160 24846 4294967295 134512640 134569956 3221224336 3221214488 1131448101 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24846 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 552.49 Current children cumulated vsize (Kb) 837840 [startup+580.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18361 3 2 0 56178 54 0 0 25 0 11 0 1735213300 857948160 24883 4294967295 134512640 134569956 3221224336 3221214488 1131448130 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 24883 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 562.32 Current children cumulated vsize (Kb) 837840 [startup+590.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18364 3 2 0 57153 54 0 0 25 0 11 0 1735213300 857948160 24932 4294967295 134512640 134569956 3221224336 3221213944 1131664807 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 24932 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 572.07 Current children cumulated vsize (Kb) 837840 [startup+600.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18367 3 2 0 58128 54 0 0 25 0 11 0 1735213300 857948160 25010 4294967295 134512640 134569956 3221224336 3221214576 1131501512 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25010 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 581.82 Current children cumulated vsize (Kb) 837840 [startup+610.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18370 3 2 0 59104 55 0 0 25 0 11 0 1735213300 857948160 25066 4294967295 134512640 134569956 3221224336 3221214576 1131499538 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25066 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 591.59 Current children cumulated vsize (Kb) 837840 [startup+620.024 s] Raw data (loadavg): 1.07 1.02 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18373 3 2 0 60080 55 0 0 25 0 11 0 1735213300 857948160 25122 4294967295 134512640 134569956 3221224336 3221214424 1131660988 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25122 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 601.35 Current children cumulated vsize (Kb) 837840 [startup+630.023 s] Raw data (loadavg): 1.06 1.02 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18376 3 2 0 61057 55 0 0 25 0 11 0 1735213300 857948160 25180 4294967295 134512640 134569956 3221224336 3221214448 1131623033 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25180 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 611.12 Current children cumulated vsize (Kb) 837840 [startup+640.024 s] Raw data (loadavg): 1.05 1.01 0.92 2/67 21771 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18379 3 2 0 62035 55 0 0 25 0 11 0 1735213300 857948160 25231 4294967295 134512640 134569956 3221224336 3221214488 1131448146 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25231 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 620.9 Current children cumulated vsize (Kb) 837840 [startup+650.025 s] Raw data (loadavg): 1.12 1.03 0.93 2/67 21826 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18382 3 2 0 63012 56 0 0 25 0 11 0 1735213300 857948160 25266 4294967295 134512640 134569956 3221224336 3221214488 1131449075 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25266 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 630.68 Current children cumulated vsize (Kb) 837840 [startup+660.024 s] Raw data (loadavg): 1.10 1.03 0.93 2/67 21826 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18383 3 2 0 64004 57 0 0 25 0 11 0 1735213300 857948160 25283 4294967295 134512640 134569956 3221224336 3221214048 1131664739 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25283 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 640.61 Current children cumulated vsize (Kb) 837840 [startup+670.025 s] Raw data (loadavg): 1.09 1.03 0.93 2/67 21826 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18386 3 2 0 64982 57 0 0 25 0 11 0 1735213300 857948160 25331 4294967295 134512640 134569956 3221224336 3221214360 1085806248 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25331 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 650.39 Current children cumulated vsize (Kb) 837840 [startup+680.025 s] Raw data (loadavg): 1.07 1.03 0.93 2/67 21826 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18389 3 2 0 65960 57 0 0 25 0 11 0 1735213300 857948160 25373 4294967295 134512640 134569956 3221224336 3221213808 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25373 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 660.17 Current children cumulated vsize (Kb) 837840 [startup+690.025 s] Raw data (loadavg): 1.06 1.03 0.93 2/67 21826 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18390 3 2 0 66952 57 0 0 25 0 11 0 1735213300 857948160 25391 4294967295 134512640 134569956 3221224336 3221214000 1131623153 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25391 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 670.09 Current children cumulated vsize (Kb) 837840 [startup+700.025 s] Raw data (loadavg): 1.05 1.02 0.93 2/67 21826 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18392 3 2 0 67937 57 0 0 25 0 11 0 1735213300 857948160 25417 4294967295 134512640 134569956 3221224336 3221214576 1131499538 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25417 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 679.94 Current children cumulated vsize (Kb) 837840 [startup+710.026 s] Raw data (loadavg): 1.04 1.02 0.93 2/67 21828 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18395 3 2 0 68913 58 0 0 25 0 11 0 1735213300 857948160 25457 4294967295 134512640 134569956 3221224336 3221213808 1085806723 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25457 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 689.71 Current children cumulated vsize (Kb) 837840 [startup+720.027 s] Raw data (loadavg): 1.04 1.02 0.93 2/67 21830 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18398 3 2 0 69890 58 0 0 25 0 11 0 1735213300 857948160 25508 4294967295 134512640 134569956 3221224336 3221214248 1085806248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25508 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 699.48 Current children cumulated vsize (Kb) 837840 [startup+730.026 s] Raw data (loadavg): 1.03 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18401 3 2 0 70866 59 0 0 25 0 11 0 1735213300 857948160 25536 4294967295 134512640 134569956 3221224336 3221214496 1131664752 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25536 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 709.25 Current children cumulated vsize (Kb) 837840 [startup+740.027 s] Raw data (loadavg): 1.02 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18404 3 2 0 71842 59 0 0 25 0 11 0 1735213300 857948160 25571 4294967295 134512640 134569956 3221224336 3221214740 1131674028 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25571 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 719.01 Current children cumulated vsize (Kb) 837840 [startup+750.027 s] Raw data (loadavg): 1.02 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18407 3 2 0 72817 59 0 0 25 0 11 0 1735213300 857948160 25607 4294967295 134512640 134569956 3221224336 3221214256 1131660988 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25607 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 728.76 Current children cumulated vsize (Kb) 837840 [startup+760.026 s] Raw data (loadavg): 1.02 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18411 3 2 0 73784 59 0 0 25 0 11 0 1735213300 857948160 25653 4294967295 134512640 134569956 3221224336 3221214440 1131372956 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25653 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 738.43 Current children cumulated vsize (Kb) 837840 [startup+770.027 s] Raw data (loadavg): 1.01 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18414 3 2 0 74758 59 0 0 25 0 11 0 1735213300 857948160 25702 4294967295 134512640 134569956 3221224336 3221213984 1131665896 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25702 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 748.17 Current children cumulated vsize (Kb) 837840 [startup+780.028 s] Raw data (loadavg): 1.01 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18418 3 2 0 75723 59 0 0 25 0 11 0 1735213300 857948160 25758 4294967295 134512640 134569956 3221224336 3221214304 1085806269 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25758 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 757.82 Current children cumulated vsize (Kb) 837840 [startup+790.028 s] Raw data (loadavg): 1.09 1.03 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18420 3 2 0 76705 59 0 0 25 0 11 0 1735213300 857948160 25784 4294967295 134512640 134569956 3221224336 3221214576 1131500454 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25784 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 767.64 Current children cumulated vsize (Kb) 837840 [startup+800.029 s] Raw data (loadavg): 1.07 1.03 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18423 3 2 0 77679 60 0 0 25 0 11 0 1735213300 857948160 25835 4294967295 134512640 134569956 3221224336 3221214488 1131448097 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25835 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 777.39 Current children cumulated vsize (Kb) 837840 [startup+810.03 s] Raw data (loadavg): 1.06 1.03 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18427 3 2 0 78646 60 0 0 22 0 11 0 1735213300 857948160 25895 4294967295 134512640 134569956 3221224336 3221214088 1131661046 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 25895 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 787.06 Current children cumulated vsize (Kb) 837840 [startup+820.03 s] Raw data (loadavg): 1.05 1.03 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18430 3 2 0 79622 60 0 0 25 0 11 0 1735213300 857948160 25951 4294967295 134512640 134569956 3221224336 3221214256 1131660994 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25951 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 796.82 Current children cumulated vsize (Kb) 837840 [startup+830.031 s] Raw data (loadavg): 1.04 1.03 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18432 3 2 0 80605 60 0 0 25 0 11 0 1735213300 857948160 25999 4294967295 134512640 134569956 3221224336 3221214496 1131664800 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 25999 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 806.65 Current children cumulated vsize (Kb) 837840 [startup+840.032 s] Raw data (loadavg): 1.04 1.03 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18435 3 2 0 81581 60 0 0 25 0 11 0 1735213300 857948160 26055 4294967295 134512640 134569956 3221224336 3221214496 1131664815 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26055 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 816.41 Current children cumulated vsize (Kb) 837840 [startup+850.032 s] Raw data (loadavg): 1.03 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18439 3 2 0 82550 60 0 0 25 0 11 0 1735213300 857948160 26123 4294967295 134512640 134569956 3221224336 3221214576 1131502795 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26123 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 826.1 Current children cumulated vsize (Kb) 837840 [startup+860.032 s] Raw data (loadavg): 1.03 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18442 3 2 0 83527 60 0 0 25 0 11 0 1735213300 857948160 26178 4294967295 134512640 134569956 3221224336 3221214480 1131519143 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26178 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 835.87 Current children cumulated vsize (Kb) 837840 [startup+870.033 s] Raw data (loadavg): 1.02 1.02 0.93 2/67 21832 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18446 3 2 0 84497 61 0 0 25 0 11 0 1735213300 857948160 26235 4294967295 134512640 134569956 3221224336 3221214576 1131499129 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26235 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 845.58 Current children cumulated vsize (Kb) 837840 One traced child (pid=21771) exited with status: 0 New thread pid=21833 [startup+880.034 s] Raw data (loadavg): 1.02 1.02 0.93 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18448 3 2 0 85482 61 0 0 25 0 11 0 1735213300 857948160 26266 4294967295 134512640 134569956 3221224336 3221214364 1131664576 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26266 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 855.43 Current children cumulated vsize (Kb) 837840 [startup+890.034 s] Raw data (loadavg): 1.09 1.04 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18449 3 2 0 86475 61 0 0 25 0 11 0 1735213300 857948160 26280 4294967295 134512640 134569956 3221224336 3221214156 1131668288 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26280 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 865.36 Current children cumulated vsize (Kb) 837840 [startup+900.034 s] Raw data (loadavg): 1.08 1.04 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18449 3 2 0 87475 61 0 0 25 0 11 0 1735213300 857948160 26280 4294967295 134512640 134569956 3221224336 3221214376 1131664834 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26280 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 875.36 Current children cumulated vsize (Kb) 837840 [startup+910.034 s] Raw data (loadavg): 1.07 1.03 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18450 3 2 0 88467 61 0 0 25 0 11 0 1735213300 857948160 26298 4294967295 134512640 134569956 3221224336 3221213968 1085806738 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26298 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 885.28 Current children cumulated vsize (Kb) 837840 [startup+920.034 s] Raw data (loadavg): 1.06 1.03 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18451 3 2 0 89459 61 0 0 25 0 11 0 1735213300 857948160 26310 4294967295 134512640 134569956 3221224336 3221214248 1085806248 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26310 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 895.2 Current children cumulated vsize (Kb) 837840 [startup+930.034 s] Raw data (loadavg): 1.05 1.03 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18453 3 2 0 90443 62 0 0 25 0 11 0 1735213300 857948160 26335 4294967295 134512640 134569956 3221224336 3221213888 1131664828 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26335 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 905.05 Current children cumulated vsize (Kb) 837840 [startup+940.035 s] Raw data (loadavg): 1.04 1.03 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18454 3 2 0 91435 62 0 0 25 0 11 0 1735213300 857948160 26351 4294967295 134512640 134569956 3221224336 3221214040 1131664840 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26351 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 914.97 Current children cumulated vsize (Kb) 837840 [startup+950.035 s] Raw data (loadavg): 1.03 1.03 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18457 3 2 0 92413 62 0 0 25 0 11 0 1735213300 857948160 26382 4294967295 134512640 134569956 3221224336 3221214488 1131448515 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26382 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 924.75 Current children cumulated vsize (Kb) 837840 [startup+960.035 s] Raw data (loadavg): 1.03 1.03 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18458 3 2 0 93405 62 0 0 25 0 11 0 1735213300 857948160 26392 4294967295 134512640 134569956 3221224336 3221214248 1085806301 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26392 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 934.67 Current children cumulated vsize (Kb) 837840 [startup+970.036 s] Raw data (loadavg): 1.02 1.03 0.94 2/67 21833 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18460 3 2 0 94389 62 0 0 25 0 11 0 1735213300 857948160 26415 4294967295 134512640 134569956 3221224336 3221213880 1131668311 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26415 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 944.51 Current children cumulated vsize (Kb) 837840 [startup+980.035 s] Raw data (loadavg): 1.02 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18461 3 2 0 95381 63 0 0 25 0 11 0 1735213300 857948160 26427 4294967295 134512640 134569956 3221224336 3221214084 1131664588 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26427 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 954.44 Current children cumulated vsize (Kb) 837840 [startup+990.036 s] Raw data (loadavg): 1.02 1.02 0.94 3/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18461 3 2 0 96381 63 0 0 25 0 11 0 1735213300 857948160 26427 4294967295 134512640 134569956 3221224336 3221214496 1131664618 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26427 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 964.44 Current children cumulated vsize (Kb) 837840 [startup+1000.04 s] Raw data (loadavg): 1.01 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18463 3 2 0 97365 63 0 0 25 0 11 0 1735213300 857948160 26460 4294967295 134512640 134569956 3221224336 3221214440 1131372948 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26460 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 974.28 Current children cumulated vsize (Kb) 837840 [startup+1010.04 s] Raw data (loadavg): 1.01 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18466 3 2 0 98341 63 0 0 25 0 11 0 1735213300 857948160 26501 4294967295 134512640 134569956 3221224336 3221213928 1131666068 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26501 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 984.04 Current children cumulated vsize (Kb) 837840 [startup+1020.04 s] Raw data (loadavg): 1.08 1.04 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18469 3 2 0 99318 63 0 0 18 0 11 0 1735213300 857948160 26544 4294967295 134512640 134569956 3221224336 3221214576 1131501523 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26544 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 993.81 Current children cumulated vsize (Kb) 837840 [startup+1030.04 s] Raw data (loadavg): 1.07 1.03 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18471 3 2 0 100301 63 0 0 25 0 11 0 1735213300 857948160 26565 4294967295 134512640 134569956 3221224336 3221213912 1085806738 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26565 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1003.64 Current children cumulated vsize (Kb) 837840 [startup+1040.04 s] Raw data (loadavg): 1.06 1.03 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18473 3 2 0 101285 64 0 0 25 0 11 0 1735213300 857948160 26590 4294967295 134512640 134569956 3221224336 3221214744 1131671517 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26590 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1013.49 Current children cumulated vsize (Kb) 837840 [startup+1050.04 s] Raw data (loadavg): 1.05 1.03 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18476 3 2 0 102261 64 0 0 25 0 11 0 1735213300 857948160 26634 4294967295 134512640 134569956 3221224336 3221214488 1131448475 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26634 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1023.25 Current children cumulated vsize (Kb) 837840 [startup+1060.04 s] Raw data (loadavg): 1.04 1.03 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18479 3 2 0 103237 64 0 0 25 0 11 0 1735213300 857948160 26663 4294967295 134512640 134569956 3221224336 3221214480 1131661132 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26663 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1033.01 Current children cumulated vsize (Kb) 837840 [startup+1070.04 s] Raw data (loadavg): 1.03 1.03 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18483 3 2 0 104205 64 0 0 16 0 11 0 1735213300 857948160 26714 4294967295 134512640 134569956 3221224336 3221214488 1131448130 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26714 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1042.69 Current children cumulated vsize (Kb) 837840 [startup+1080.04 s] Raw data (loadavg): 1.03 1.03 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18485 3 2 0 105188 65 0 0 25 0 11 0 1735213300 857948160 26739 4294967295 134512640 134569956 3221224336 3221214488 1131448130 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26739 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1052.53 Current children cumulated vsize (Kb) 837840 [startup+1090.04 s] Raw data (loadavg): 1.02 1.03 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18487 3 2 0 106172 65 0 0 25 0 11 0 1735213300 857948160 26758 4294967295 134512640 134569956 3221224336 3221213884 1131664804 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26758 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1062.37 Current children cumulated vsize (Kb) 837840 [startup+1100.04 s] Raw data (loadavg): 1.02 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18490 3 2 0 107148 65 0 0 24 0 11 0 1735213300 857948160 26799 4294967295 134512640 134569956 3221224336 3221214576 1131500622 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26799 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1072.13 Current children cumulated vsize (Kb) 837840 [startup+1110.04 s] Raw data (loadavg): 1.02 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18492 3 2 0 108132 65 0 0 25 0 11 0 1735213300 857948160 26829 4294967295 134512640 134569956 3221224336 3221214360 1085806307 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26829 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1081.97 Current children cumulated vsize (Kb) 837840 [startup+1120.04 s] Raw data (loadavg): 1.01 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18495 3 2 0 109109 65 0 0 20 0 11 0 1735213300 857948160 26889 4294967295 134512640 134569956 3221224336 3221214268 1131668297 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26889 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1091.74 Current children cumulated vsize (Kb) 837840 [startup+1130.04 s] Raw data (loadavg): 1.01 1.02 0.94 3/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18496 3 2 0 110101 65 0 0 25 0 11 0 1735213300 857948160 26905 4294967295 134512640 134569956 3221224336 3221213832 1085759249 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26905 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1101.66 Current children cumulated vsize (Kb) 837840 [startup+1140.04 s] Raw data (loadavg): 1.01 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18498 3 2 0 111085 66 0 0 25 0 11 0 1735213300 857948160 26927 4294967295 134512640 134569956 3221224336 3221213968 1085806301 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26927 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1111.51 Current children cumulated vsize (Kb) 837840 [startup+1150.04 s] Raw data (loadavg): 1.01 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18500 3 2 0 112070 66 0 0 25 0 11 0 1735213300 857948160 26943 4294967295 134512640 134569956 3221224336 3221213840 1131623132 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 26943 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1121.36 Current children cumulated vsize (Kb) 837840 [startup+1160.04 s] Raw data (loadavg): 1.00 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18502 3 2 0 113055 66 0 0 25 0 11 0 1735213300 857948160 26989 4294967295 134512640 134569956 3221224336 3221214488 1131448093 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 26989 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1131.21 Current children cumulated vsize (Kb) 837840 [startup+1170.04 s] Raw data (loadavg): 1.00 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18505 3 2 0 114033 67 0 0 25 0 11 0 1735213300 857948160 27023 4294967295 134512640 134569956 3221224336 3221213880 1131664840 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 27023 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1141 Current children cumulated vsize (Kb) 837840 [startup+1180.04 s] Raw data (loadavg): 1.00 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18508 3 2 0 115010 67 0 0 25 0 11 0 1735213300 857948160 27056 4294967295 134512640 134569956 3221224336 3221214744 1131671231 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 27056 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1150.77 Current children cumulated vsize (Kb) 837840 [startup+1190.04 s] Raw data (loadavg): 1.00 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18512 3 2 0 115980 67 0 0 25 0 11 0 1735213300 857948160 27096 4294967295 134512640 134569956 3221224336 3221214432 1131664840 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 27096 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1160.47 Current children cumulated vsize (Kb) 837840 [startup+1200.04 s] Raw data (loadavg): 1.00 1.02 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18515 3 2 0 116958 68 0 0 25 0 11 0 1735213300 857948160 27127 4294967295 134512640 134569956 3221224336 3221213944 1131623174 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 27127 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1170.26 Current children cumulated vsize (Kb) 837840 [startup+1210.04 s] Raw data (loadavg): 1.00 1.01 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18518 3 2 0 117935 68 0 0 19 0 11 0 1735213300 857948160 27155 4294967295 134512640 134569956 3221224336 3221213888 1131664735 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 27155 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1180.03 Current children cumulated vsize (Kb) 837840 [startup+1220.04 s] Raw data (loadavg): 1.00 1.01 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18520 3 2 0 118920 68 0 0 25 0 11 0 1735213300 857948160 27179 4294967295 134512640 134569956 3221224336 3221213964 1085806236 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 27179 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1189.88 Current children cumulated vsize (Kb) 837840 [startup+1230.04 s] Raw data (loadavg): 1.00 1.01 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18523 3 2 0 119897 68 0 0 25 0 11 0 1735213300 857948160 27215 4294967295 134512640 134569956 3221224336 3221214216 1131664828 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/21760/statm): 209460 27215 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1199.65 Current children cumulated vsize (Kb) 837840 [startup+1240.04 s] Raw data (loadavg): 1.00 1.01 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18526 3 2 0 120875 68 0 0 25 0 11 0 1735213300 857948160 27248 4294967295 134512640 134569956 3221224336 3221214488 1131448515 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 27248 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1209.43 Current children cumulated vsize (Kb) 837840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.05 s] Raw data (loadavg): 1.00 1.01 0.94 2/67 21835 Raw data (/proc/21760/stat): 21760 (java) R 21759 21760 20602 0 -1 0 18526 3 2 0 120875 68 0 0 25 0 11 0 1735213300 857948160 27248 4294967295 134512640 134569956 3221224336 3221214488 1131448515 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/21760/statm): 209460 27248 13129 16 0 209444 0 [pid=21760] vsize: 837840 Current children cumulated CPU time (s) 1209.43 Current children cumulated vsize (Kb) 837840 Sending SIGTERM to -21760 Sleeping 2 seconds New thread pid=21837 New thread pid=21838 One traced child (pid=21838) exited with status: 0 One traced child (pid=21769) exited with status: 0 One traced child (pid=21764) exited with status: 0 One traced child (pid=21762) exited with status: 143 One traced child (pid=21763) exited with status: 143 One traced child (pid=21768) exited with status: 143 One traced child (pid=21767) exited with status: 143 One traced child (pid=21766) exited with status: 143 One traced child (pid=21765) exited with status: 143 One traced child (pid=21833) exited with status: 143 One traced child (pid=21837) exited with status: 143 One traced child (pid=21761) exited with status: 143 One traced child (pid=21760) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1240.19 CPU time (s): 1246.27 CPU user time (s): 1245.1 CPU system time (s): 1.17182 CPU usage (%): 100.491 Max. virtual memory (cumulated for all children) (Kb): 837840
Verifier: OK 118