Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb |
MD5SUM | e7e8123aa394c0918878e05410d4daeb |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 67200 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 920 |
Biggest coefficient in the objective function | 24576 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 1986400 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 3200000000 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 29101875011 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1236.27 |
Number of variables | 1020 |
Total number of constraints | 204 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 103 |
LAUNCH ON wulflinc3 THE 2005-09-20 19:37:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6906 boxname=wulflinc3 idbench=1046 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e7e8123aa394c0918878e05410d4daeb /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rgn.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rgn.opb IDLAUNCH: 6906 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 2 cpu MHz : 451.190 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: 776232 kB Buffers: 32600 kB Cached: 198940 kB SwapCached: 816 kB Active: 103744 kB Inactive: 130444 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 775980 kB SwapTotal: 2097136 kB SwapFree: 2095752 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5680 kB Slab: 18524 kB Committed_AS: 72364 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 19:57:49 (client local time) WITH STATUS 143 IN 1236.27 SECONDS stats: 6906 0 1236.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/wulflinc3/normalized-mps-v2-13-7-rgn.opb c reading problem ... done. Time 1.509 ms. c #vars 1020 c #constraints 124 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 67200 Current CPU time: 6.96 ms c starts : 9 c conflicts : 4605 c decisions : 8390 c propagations : 69611 c inspects : 1221467 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 4605 c root simplifications : 9 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 6458 c speed (decisions/second) : 6.810656444999688 c non guided choices 1959 c random choices 0 s SATISFIABLE v -TA1_bit_7 -TA1_bit_6 -TA1_bit_5 -TA1_bit_4 -TA1_bit_3 -TA1_bit_2 -TA1_bit_1 -TA1_bit0 -TA1_bit1 -TA1_bit2 -TA1_bit3 -TA1_bit4 -TA1_bit5 -TA1_bit6 -TA2_bit_7 -TA2_bit_6 -TA2_bit_5 -TA2_bit_4 -TA2_bit_3 -TA2_bit_2 -TA2_bit_1 -TA2_bit0 -TA2_bit1 -TA2_bit2 -TA2_bit3 -TA2_bit4 -TA2_bit5 -TA2_bit6 -TA3_bit_7 -TA3_bit_6 -TA3_bit_5 -TA3_bit_4 -TA3_bit_3 -TA3_bit_2 -TA3_bit_1 -TA3_bit0 -TA3_bit1 -TA3_bit2 -TA3_bit3 -TA3_bit4 -TA3_bit5 -TA3_bit6 -TA4_bit_7 -TA4_bit_6 -TA4_bit_5 -TA4_bit_4 -TA4_bit_3 -TA4_bit_2 -TA4_bit_1 -TA4_bit0 -TA4_bit1 -TA4_bit2 -TA4_bit3 -TA4_bit4 -TA4_bit5 -TA4_bit6 -TB1_bit_7 -TB1_bit_6 -TB1_bit_5 -TB1_bit_4 -TB1_bit_3 -TB1_bit_2 -TB1_bit_1 -TB1_bit0 -TB1_bit1 -TB1_bit2 -TB1_bit3 -TB1_bit4 -TB1_bit5 -TB1_bit6 -TB2_bit_7 -TB2_bit_6 -TB2_bit_5 -TB2_bit_4 -TB2_bit_3 -TB2_bit_2 -TB2_bit_1 -TB2_bit0 -TB2_bit1 -TB2_bit2 -TB2_bit3 -TB2_bit4 -TB2_bit5 -TB2_bit6 -TB3_bit_7 -TB3_bit_6 -TB3_bit_5 -TB3_bit_4 -TB3_bit_3 -TB3_bit_2 -TB3_bit_1 -TB3_bit0 -TB3_bit1 -TB3_bit2 -TB3_bit3 -TB3_bit4 -TB3_bit5 -TB3_bit6 -TB4_bit_7 -TB4_bit_6 -TB4_bit_5 -TB4_bit_4 -TB4_bit_3 -TB4_bit_2 -TB4_bit_1 -TB4_bit0 -TB4_bit1 -TB4_bit2 -TB4_bit3 -TB4_bit4 -TB4_bit5 -TB4_bit6 -TC1_bit_7 -TC1_bit_6 -TC1_bit_5 -TC1_bit_4 -TC1_bit_3 -TC1_bit_2 -TC1_bit_1 -TC1_bit0 -TC1_bit1 -TC1_bit2 -TC1_bit3 -TC1_bit4 -TC1_bit5 -TC1_bit6 -TC2_bit_7 -TC2_bit_6 -TC2_bit_5 -TC2_bit_4 -TC2_bit_3 -TC2_bit_2 -TC2_bit_1 -TC2_bit0 -TC2_bit1 -TC2_bit2 -TC2_bit3 -TC2_bit4 -TC2_bit5 -TC2_bit6 -TC3_bit_7 -TC3_bit_6 -TC3_bit_5 -TC3_bit_4 -TC3_bit_3 -TC3_bit_2 -TC3_bit_1 -TC3_bit0 -TC3_bit1 -TC3_bit2 -TC3_bit3 -TC3_bit4 -TC3_bit5 -TC3_bit6 -TC4_bit_7 -TC4_bit_6 -TC4_bit_5 -TC4_bit_4 -TC4_bit_3 -TC4_bit_2 -TC4_bit_1 -TC4_bit0 -TC4_bit1 -TC4_bit2 -TC4_bit3 -TC4_bit4 -TC4_bit5 -TC4_bit6 -TD1_bit_7 -TD1_bit_6 -TD1_bit_5 -TD1_bit_4 -TD1_bit_3 -TD1_bit_2 -TD1_bit_1 -TD1_bit0 -TD1_bit1 -TD1_bit2 -TD1_bit3 -TD1_bit4 -TD1_bit5 -TD1_bit6 -TD2_bit_7 -TD2_bit_6 -TD2_bit_5 -TD2_bit_4 -TD2_bit_3 -TD2_bit_2 -TD2_bit_1 -TD2_bit0 -TD2_bit1 -TD2_bit2 -TD2_bit3 -TD2_bit4 -TD2_bit5 -TD2_bit6 -TD3_bit_7 -TD3_bit_6 -TD3_bit_5 -TD3_bit_4 -TD3_bit_3 -TD3_bit_2 -TD3_bit_1 -TD3_bit0 -TD3_bit1 -TD3_bit2 -TD3_bit3 -TD3_bit4 -TD3_bit5 -TD3_bit6 -TD4_bit_7 -TD4_bit_6 -TD4_bit_5 -TD4_bit_4 -TD4_bit_3 -TD4_bit_2 -TD4_bit_1 -TD4_bit0 -TD4_bit1 -TD4_bit2 -TD4_bit3 -TD4_bit4 -TD4_bit5 -TD4_bit6 -TE1_bit_7 -TE1_bit_6 -TE1_bit_5 -TE1_bit_4 -TE1_bit_3 -TE1_bit_2 -TE1_bit_1 -TE1_bit0 -TE1_bit1 -TE1_bit2 -TE1_bit3 -TE1_bit4 -TE1_bit5 -TE1_bit6 -TE2_bit_7 -TE2_bit_6 -TE2_bit_5 -TE2_bit_4 -TE2_bit_3 -TE2_bit_2 -TE2_bit_1 -TE2_bit0 -TE2_bit1 -TE2_bit2 -TE2_bit3 -TE2_bit4 -TE2_bit5 -TE2_bit6 -TE3_bit_7 -TE3_bit_6 -TE3_bit_5 -TE3_bit_4 -TE3_bit_3 -TE3_bit_2 -TE3_bit_1 -TE3_bit0 -TE3_bit1 -TE3_bit2 -TE3_bit3 -TE3_bit4 -TE3_bit5 -TE3_bit6 -TE4_bit_7 -TE4_bit_6 -TE4_bit_5 -TE4_bit_4 -TE4_bit_3 -TE4_bit_2 -TE4_bit_1 -TE4_bit0 -TE4_bit1 -TE4_bit2 -TE4_bit3 -TE4_bit4 -TE4_bit5 -TE4_bit6 -UA1_bit_7 -UA1_bit_6 -UA1_bit_5 -UA1_bit_4 -UA1_bit_3 -UA1_bit_2 -UA1_bit_1 -UA1_bit0 -UA1_bit1 -UA2_bit_7 -UA2_bit_6 -UA2_bit_5 -UA2_bit_4 -UA2_bit_3 -UA2_bit_2 -UA2_bit_1 -UA2_bit0 -UA2_bit1 -UA3_bit_7 -UA3_bit_6 -UA3_bit_5 -UA3_bit_4 -UA3_bit_3 -UA3_bit_2 -UA3_bit_1 -UA3_bit0 -UA3_bit1 -UA4_bit_7 -UA4_bit_6 -UA4_bit_5 -UA4_bit_4 -UA4_bit_3 -UA4_bit_2 -UA4_bit_1 -UA4_bit0 -UA4_bit1 -UB1_bit_7 -UB1_bit_6 -UB1_bit_5 -UB1_bit_4 -UB1_bit_3 -UB1_bit_2 -UB1_bit_1 -UB1_bit0 -UB1_bit1 -UB2_bit_7 -UB2_bit_6 -UB2_bit_5 -UB2_bit_4 -UB2_bit_3 -UB2_bit_2 -UB2_bit_1 -UB2_bit0 -UB2_bit1 -UB3_bit_7 -UB3_bit_6 -UB3_bit_5 -UB3_bit_4 -UB3_bit_3 -UB3_bit_2 -UB3_bit_1 -UB3_bit0 -UB3_bit1 -UB4_bit_7 -UB4_bit_6 -UB4_bit_5 -UB4_bit_4 -UB4_bit_3 -UB4_bit_2 -UB4_bit_1 -UB4_bit0 -UB4_bit1 -UC1_bit_7 -UC1_bit_6 -UC1_bit_5 -UC1_bit_4 -UC1_bit_3 -UC1_bit_2 -UC1_bit_1 -UC1_bit0 -UC1_bit1 -UC2_bit_7 -UC2_bit_6 -UC2_bit_5 -UC2_bit_4 -UC2_bit_3 -UC2_bit_2 -UC2_bit_1 -UC2_bit0 -UC2_bit1 -UC3_bit_7 -UC3_bit_6 -UC3_bit_5 -UC3_bit_4 -UC3_bit_3 -UC3_bit_2 -UC3_bit_1 -UC3_bit0 -UC3_bit1 -UC4_bit_7 -UC4_bit_6 -UC4_bit_5 -UC4_bit_4 -UC4_bit_3 -UC4_bit_2 -UC4_bit_1 -UC4_bit0 -UC4_bit1 -UD1_bit_7 -UD1_bit_6 -UD1_bit_5 -UD1_bit_4 -UD1_bit_3 -UD1_bit_2 -UD1_bit_1 -UD1_bit0 -UD1_bit1 -UD2_bit_7 -UD2_bit_6 -UD2_bit_5 -UD2_bit_4 -UD2_bit_3 -UD2_bit_2 -UD2_bit_1 -UD2_bit0 -UD2_bit1 -UD3_bit_7 -UD3_bit_6 -UD3_bit_5 -UD3_bit_4 -UD3_bit_3 -UD3_bit_2 -UD3_bit_1 -UD3_bit0 -UD3_bit1 -UD4_bit_7 -UD4_bit_6 -UD4_bit_5 -UD4_bit_4 -UD4_bit_3 -UD4_bit_2 -UD4_bit_1 -UD4_bit0 -UD4_bit1 -UE1_bit_7 -UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE4_bit_7 -UE4_bit_6 -UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -VA1_bit_7 -VA1_bit_6 -VA1_bit_5 -VA1_bit_4 -VA1_bit_3 -VA1_bit_2 -VA1_bit_1 -VA1_bit0 -VA1_bit1 -VA2_bit_7 -VA2_bit_6 -VA2_bit_5 -VA2_bit_4 -VA2_bit_3 -VA2_bit_2 -VA2_bit_1 -VA2_bit0 -VA2_bit1 -VA3_bit_7 -VA3_bit_6 -VA3_bit_5 -VA3_bit_4 -VA3_bit_3 -VA3_bit_2 -VA3_bit_1 -VA3_bit0 -VA3_bit1 -VA4_bit_7 -VA4_bit_6 -VA4_bit_5 -VA4_bit_4 -VA4_bit_3 -VA4_bit_2 -VA4_bit_1 -VA4_bit0 -VA4_bit1 -VB1_bit_7 -VB1_bit_6 -VB1_bit_5 -VB1_bit_4 -VB1_bit_3 -VB1_bit_2 -VB1_bit_1 -VB1_bit0 -VB1_bit1 -VB2_bit_7 -VB2_bit_6 -VB2_bit_5 -VB2_bit_4 -VB2_bit_3 -VB2_bit_2 -VB2_bit_1 -VB2_bit0 -VB2_bit1 -VB3_bit_7 -VB3_bit_6 -VB3_bit_5 -VB3_bit_4 -VB3_bit_3 -VB3_bit_2 -VB3_bit_1 -VB3_bit0 -VB3_bit1 -VB4_bit_7 -VB4_bit_6 -VB4_bit_5 -VB4_bit_4 -VB4_bit_3 -VB4_bit_2 -VB4_bit_1 -VB4_bit0 -VB4_bit1 -VC1_bit_7 -VC1_bit_6 -VC1_bit_5 -VC1_bit_4 -VC1_bit_3 -VC1_bit_2 -VC1_bit_1 -VC1_bit0 -VC1_bit1 -VC2_bit_7 -VC2_bit_6 -VC2_bit_5 -VC2_bit_4 -VC2_bit_3 -VC2_bit_2 -VC2_bit_1 -VC2_bit0 -VC2_bit1 -VC3_bit_7 -VC3_bit_6 -VC3_bit_5 -VC3_bit_4 -VC3_bit_3 -VC3_bit_2 -VC3_bit_1 -VC3_bit0 -VC3_bit1 -VC4_bit_7 -VC4_bit_6 -VC4_bit_5 -VC4_bit_4 -VC4_bit_3 -VC4_bit_2 -VC4_bit_1 -VC4_bit0 -VC4_bit1 -VD1_bit_7 -VD1_bit_6 -VD1_bit_5 -VD1_bit_4 -VD1_bit_3 -VD1_bit_2 -VD1_bit_1 -VD1_bit0 -VD1_bit1 -VD2_bit_7 -VD2_bit_6 -VD2_bit_5 -VD2_bit_4 -VD2_bit_3 -VD2_bit_2 -VD2_bit_1 -VD2_bit0 -VD2_bit1 -VD3_bit_7 -VD3_bit_6 -VD3_bit_5 -VD3_bit_4 -VD3_bit_3 -VD3_bit_2 -VD3_bit_1 -VD3_bit0 -VD3_bit1 -VD4_bit_7 -VD4_bit_6 -VD4_bit_5 -VD4_bit_4 -VD4_bit_3 -VD4_bit_2 -VD4_bit_1 -VD4_bit0 -VD4_bit1 -VE1_bit_7 -VE1_bit_6 -VE1_bit_5 -VE1_bit_4 -VE1_bit_3 -VE1_bit_2 -VE1_bit_1 -VE1_bit0 -VE1_bit1 -VE2_bit_7 -VE2_bit_6 -VE2_bit_5 -VE2_bit_4 -VE2_bit_3 -VE2_bit_2 -VE2_bit_1 -VE2_bit0 -VE2_bit1 -VE3_bit_7 -VE3_bit_6 -VE3_bit_5 -VE3_bit_4 -VE3_bit_3 -VE3_bit_2 -VE3_bit_1 -VE3_bit0 -VE3_bit1 -VE4_bit_7 -VE4_bit_6 -VE4_bit_5 -VE4_bit_4 -VE4_bit_3 -VE4_bit_2 -VE4_bit_1 -VE4_bit0 -VE4_bit1 -WA1_bit_7 -WA1_bit_6 -WA1_bit_5 -WA1_bit_4 -WA1_bit_3 -WA1_bit_2 WA1_bit_1 WA1_bit0 WA1_bit1 -WA1_bit2 -WA1_bit3 -WA1_bit4 -WA1_bit5 -WA1_bit6 -WA2_bit_7 -WA2_bit_6 -WA2_bit_5 -WA2_bit_4 -WA2_bit_3 -WA2_bit_2 -WA2_bit_1 WA2_bit0 WA2_bit1 WA2_bit2 -WA2_bit3 -WA2_bit4 -WA2_bit5 -WA2_bit6 -WA3_bit_7 -WA3_bit_6 -WA3_bit_5 -WA3_bit_4 -WA3_bit_3 -WA3_bit_2 WA3_bit_1 -WA3_bit0 WA3_bit1 -WA3_bit2 WA3_bit3 -WA3_bit4 -WA3_bit5 -WA3_bit6 -WA4_bit_7 -WA4_bit_6 -WA4_bit_5 -WA4_bit_4 -WA4_bit_3 -WA4_bit_2 -WA4_bit_1 -WA4_bit0 WA4_bit1 WA4_bit2 WA4_bit3 -WA4_bit4 -WA4_bit5 -WA4_bit6 -WB1_bit_7 -WB1_bit_6 -WB1_bit_5 -WB1_bit_4 -WB1_bit_3 -WB1_bit_2 WB1_bit_1 WB1_bit0 WB1_bit1 -WB1_bit2 -WB1_bit3 -WB1_bit4 -WB1_bit5 -WB1_bit6 -WB2_bit_7 -WB2_bit_6 -WB2_bit_5 -WB2_bit_4 -WB2_bit_3 -WB2_bit_2 -WB2_bit_1 WB2_bit0 WB2_bit1 WB2_bit2 -WB2_bit3 -WB2_bit4 -WB2_bit5 -WB2_bit6 -WB3_bit_7 -WB3_bit_6 -WB3_bit_5 -WB3_bit_4 -WB3_bit_3 -WB3_bit_2 WB3_bit_1 -WB3_bit0 WB3_bit1 -WB3_bit2 WB3_bit3 -WB3_bit4 -WB3_bit5 -WB3_bit6 -WB4_bit_7 -WB4_bit_6 -WB4_bit_5 -WB4_bit_4 -WB4_bit_3 -WB4_bit_2 -WB4_bit_1 -WB4_bit0 WB4_bit1 WB4_bit2 WB4_bit3 -WB4_bit4 -WB4_bit5 -WB4_bit6 -WC1_bit_7 -WC1_bit_6 -WC1_bit_5 -WC1_bit_4 -WC1_bit_3 -WC1_bit_2 WC1_bit_1 WC1_bit0 WC1_bit1 -WC1_bit2 -WC1_bit3 -WC1_bit4 -WC1_bit5 -WC1_bit6 -WC2_bit_7 -WC2_bit_6 -WC2_bit_5 -WC2_bit_4 -WC2_bit_3 -WC2_bit_2 -WC2_bit_1 WC2_bit0 WC2_bit1 WC2_bit2 -WC2_bit3 -WC2_bit4 -WC2_bit5 -WC2_bit6 -WC3_bit_7 -WC3_bit_6 -WC3_bit_5 -WC3_bit_4 -WC3_bit_3 -WC3_bit_2 WC3_bit_1 -WC3_bit0 WC3_bit1 -WC3_bit2 WC3_bit3 -WC3_bit4 -WC3_bit5 -WC3_bit6 -WC4_bit_7 -WC4_bit_6 -WC4_bit_5 -WC4_bit_4 -WC4_bit_3 -WC4_bit_2 -WC4_bit_1 -WC4_bit0 WC4_bit1 WC4_bit2 WC4_bit3 -WC4_bit4 -WC4_bit5 -WC4_bit6 -WD1_bit_7 -WD1_bit_6 -WD1_bit_5 -WD1_bit_4 -WD1_bit_3 -WD1_bit_2 WD1_bit_1 WD1_bit0 WD1_bit1 -WD1_bit2 -WD1_bit3 -WD1_bit4 -WD1_bit5 -WD1_bit6 -WD2_bit_7 -WD2_bit_6 -WD2_bit_5 -WD2_bit_4 -WD2_bit_3 -WD2_bit_2 -WD2_bit_1 WD2_bit0 WD2_bit1 WD2_bit2 -WD2_bit3 -WD2_bit4 -WD2_bit5 -WD2_bit6 -WD3_bit_7 -WD3_bit_6 -WD3_bit_5 -WD3_bit_4 -WD3_bit_3 -WD3_bit_2 WD3_bit_1 -WD3_bit0 WD3_bit1 -WD3_bit2 WD3_bit3 -WD3_bit4 -WD3_bit5 -WD3_bit6 -WD4_bit_7 -WD4_bit_6 -WD4_bit_5 -WD4_bit_4 -WD4_bit_3 -WD4_bit_2 -WD4_bit_1 -WD4_bit0 WD4_bit1 WD4_bit2 WD4_bit3 -WD4_bit4 -WD4_bit5 -WD4_bit6 -WE1_bit_7 -WE1_bit_6 -WE1_bit_5 -WE1_bit_4 -WE1_bit_3 -WE1_bit_2 WE1_bit_1 WE1_bit0 WE1_bit1 -WE1_bit2 -WE1_bit3 -WE1_bit4 -WE1_bit5 -WE1_bit6 -WE2_bit_7 -WE2_bit_6 -WE2_bit_5 -WE2_bit_4 -WE2_bit_3 -WE2_bit_2 -WE2_bit_1 WE2_bit0 WE2_bit1 WE2_bit2 -WE2_bit3 -WE2_bit4 -WE2_bit5 -WE2_bit6 -WE3_bit_7 -WE3_bit_6 -WE3_bit_5 -WE3_bit_4 -WE3_bit_3 -WE3_bit_2 WE3_bit_1 -WE3_bit0 WE3_bit1 -WE3_bit2 WE3_bit3 -WE3_bit4 -WE3_bit5 -WE3_bit6 -WE4_bit_7 -WE4_bit_6 -WE4_bit_5 -WE4_bit_4 -WE4_bit_3 -WE4_bit_2 -WE4_bit_1 -WE4_bit0 WE4_bit1 WE4_bit2 WE4_bit3 -WE4_bit4 -WE4_bit5 -WE4_bit6 -A1_bit0 -B1_bit0 -C1_bit0 -D1_bit0 -E1_bit0 -AB1_bit0 -AC1_bit0 -AD1_bit0 -AE1_bit0 -BC1_bit0 -BD1_bit0 -BE1_bit0 -CD1_bit0 -CE1_bit0 -DE1_bit0 -ABC1_bit0 -ABD1_bit0 -ABE1_bit0 -ACD1_bit0 -ACE1_bit0 -ADE1_bit0 -BCD1_bit0 -BCE1_bit0 -BDE1_bit0 -CDE1_bit0 -A2_bit0 -B2_bit0 -C2_bit0 -D2_bit0 -E2_bit0 -AB2_bit0 -AC2_bit0 -AD2_bit0 -AE2_bit0 -BC2_bit0 -BD2_bit0 -BE2_bit0 -CD2_bit0 -CE2_bit0 -DE2_bit0 -ABC2_bit0 -ABD2_bit0 -ABE2_bit0 -ACD2_bit0 -ACE2_bit0 -ADE2_bit0 -BCD2_bit0 -BCE2_bit0 -BDE2_bit0 -CDE2_bit0 -A3_bit0 -B3_bit0 -C3_bit0 -D3_bit0 -E3_bit0 -AB3_bit0 -AC3_bit0 -AD3_bit0 -AE3_bit0 -BC3_bit0 -BD3_bit0 -BE3_bit0 -CD3_bit0 -CE3_bit0 -DE3_bit0 -ABC3_bit0 -ABD3_bit0 -ABE3_bit0 -ACD3_bit0 -ACE3_bit0 -ADE3_bit0 -BCD3_bit0 -BCE3_bit0 -BDE3_bit0 -CDE3_bit0 -A4_bit0 -B4_bit0 -C4_bit0 -D4_bit0 -E4_bit0 -AB4_bit0 -AC4_bit0 -AD4_bit0 -AE4_bit0 -BC4_bit0 -BD4_bit0 -BE4_bit0 -CD4_bit0 -CE4_bit0 -DE4_bit0 -ABC4_bit0 -ABD4_bit0 -ABE4_bit0 -ACD4_bit0 -ACE4_bit0 -ADE4_bit0 -BCD4_bit0 -BCE4_bit0 -BDE4_bit0 -CDE4_bit0 c objective function=67200 c Total CPU time (ms) : 1239.091
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/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802871418 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 39 3 38 16 0 23 0 [pid=13817] 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/13817 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=13818 New thread pid=13819 New thread pid=13820 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=13821 New thread pid=13822 New thread pid=13823 New thread pid=13824 New thread pid=13825 New thread pid=13826 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/wulflinc3/normalized-mps-v2-13-7-rgn.opb New thread pid=13827 One traced child (pid=13827) exited with status: 0 New thread pid=13828 [startup+10.0028 s] Raw data (loadavg): 1.09 1.02 1.01 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18173 3 1 0 675 48 0 0 25 0 11 0 1802871418 862117888 20826 4294967295 134512640 134569956 3221224336 3221214712 1131354791 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210478 20826 13129 16 0 210462 0 [pid=13817] vsize: 841912 Current children cumulated CPU time (s) 7.23 Current children cumulated vsize (Kb) 841912 [startup+20.0037 s] Raw data (loadavg): 1.08 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18185 3 1 0 1615 49 0 0 24 0 11 0 1802871418 861597696 21451 4294967295 134512640 134569956 3221224336 3221214528 1131415954 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 21451 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 16.64 Current children cumulated vsize (Kb) 841404 [startup+30.0045 s] Raw data (loadavg): 1.07 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18193 3 1 0 2558 49 0 0 18 0 11 0 1802871418 861597696 21768 4294967295 134512640 134569956 3221224336 3221214616 1131488882 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 21768 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 26.07 Current children cumulated vsize (Kb) 841404 [startup+40.0053 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18199 3 1 0 3502 49 0 0 25 0 11 0 1802871418 861597696 22264 4294967295 134512640 134569956 3221224336 3221214328 1076697494 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 22264 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 35.51 Current children cumulated vsize (Kb) 841404 [startup+50.0062 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18206 3 1 0 4451 49 0 0 17 0 11 0 1802871418 861597696 22268 4294967295 134512640 134569956 3221224336 3221214712 1131354641 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 22268 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 45 Current children cumulated vsize (Kb) 841404 [startup+60.007 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18212 3 1 0 5403 51 0 0 25 0 11 0 1802871418 861597696 22395 4294967295 134512640 134569956 3221224336 3221214504 1131415954 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 22395 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 54.54 Current children cumulated vsize (Kb) 841404 [startup+70.0088 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18218 3 1 0 6347 51 0 0 23 0 11 0 1802871418 861597696 22644 4294967295 134512640 134569956 3221224336 3221214544 1131541287 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 22644 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 63.98 Current children cumulated vsize (Kb) 841404 [startup+80.0097 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18226 3 1 0 7290 51 0 0 20 0 11 0 1802871418 861597696 22836 4294967295 134512640 134569956 3221224336 3221214600 1131488937 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 22836 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 73.41 Current children cumulated vsize (Kb) 841404 [startup+90.0105 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18234 3 1 0 8234 51 0 0 16 0 11 0 1802871418 861597696 23018 4294967295 134512640 134569956 3221224336 3221214696 1131402413 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 23018 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 82.85 Current children cumulated vsize (Kb) 841404 [startup+100.011 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18241 3 1 0 9191 52 0 0 25 0 11 0 1802871418 861597696 23215 4294967295 134512640 134569956 3221224336 3221214608 1131397797 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 23215 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 92.43 Current children cumulated vsize (Kb) 841404 [startup+110.013 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18249 3 1 0 10150 53 0 0 25 0 11 0 1802871418 861597696 23414 4294967295 134512640 134569956 3221224336 3221214800 1131358681 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 23414 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 102.03 Current children cumulated vsize (Kb) 841404 [startup+120.014 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18257 3 1 0 11119 53 0 0 25 0 11 0 1802871418 861597696 23560 4294967295 134512640 134569956 3221224336 3221214280 1131545442 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 23560 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 111.72 Current children cumulated vsize (Kb) 841404 [startup+130.015 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18265 3 1 0 12088 54 0 0 25 0 11 0 1802871418 861597696 23650 4294967295 134512640 134569956 3221224336 3221214608 1131397797 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 23650 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 121.42 Current children cumulated vsize (Kb) 841404 [startup+140.016 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18273 3 1 0 13058 54 0 0 25 0 11 0 1802871418 861597696 23745 4294967295 134512640 134569956 3221224336 3221214600 1131489336 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 23745 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 131.12 Current children cumulated vsize (Kb) 841404 [startup+150.017 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18281 3 1 0 14028 55 0 0 24 0 11 0 1802871418 861597696 23819 4294967295 134512640 134569956 3221224336 3221214600 1131488787 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 23819 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 140.83 Current children cumulated vsize (Kb) 841404 [startup+160.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18288 3 1 0 15002 55 0 0 25 0 11 0 1802871418 861597696 23894 4294967295 134512640 134569956 3221224336 3221214504 1131415997 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 23894 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 150.57 Current children cumulated vsize (Kb) 841404 [startup+170.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18296 3 1 0 15972 56 0 0 25 0 11 0 1802871418 861597696 23990 4294967295 134512640 134569956 3221224336 3221214696 1131402416 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 23990 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 160.28 Current children cumulated vsize (Kb) 841404 [startup+180.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18306 3 1 0 16940 56 0 0 16 0 11 0 1802871418 861597696 24073 4294967295 134512640 134569956 3221224336 3221214432 1131480919 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 24073 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 841404 [startup+190.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18314 3 1 0 17910 56 0 0 19 0 11 0 1802871418 861597696 24145 4294967295 134512640 134569956 3221224336 3221214184 1131666820 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 24145 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 179.66 Current children cumulated vsize (Kb) 841404 [startup+200.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18321 3 1 0 18869 57 0 0 25 0 11 0 1802871418 861597696 24220 4294967295 134512640 134569956 3221224336 3221214584 1131397797 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 24220 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 189.26 Current children cumulated vsize (Kb) 841404 [startup+210.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18329 3 1 0 19809 57 0 0 16 0 11 0 1802871418 861597696 24311 4294967295 134512640 134569956 3221224336 3221214472 1131541554 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 24311 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 198.66 Current children cumulated vsize (Kb) 841404 [startup+220.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18336 3 1 0 20747 58 0 0 18 0 11 0 1802871418 861597696 24370 4294967295 134512640 134569956 3221224336 3221214688 1131354750 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 24370 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 208.05 Current children cumulated vsize (Kb) 841404 [startup+230.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) S 13816 13817 31915 0 -1 0 18343 3 1 0 21676 58 0 0 17 0 11 0 1802871418 861597696 24509 4294967295 134512640 134569956 3221224336 3221213288 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 24509 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 217.34 Current children cumulated vsize (Kb) 841404 [startup+240.022 s] Raw data (loadavg): 1.08 1.02 1.01 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18352 3 1 0 22611 59 0 0 16 0 11 0 1802871418 861597696 24784 4294967295 134512640 134569956 3221224336 3221214440 1131415954 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 24784 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 226.7 Current children cumulated vsize (Kb) 841404 [startup+250.023 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18359 3 1 0 23565 59 0 0 21 0 11 0 1802871418 861597696 24995 4294967295 134512640 134569956 3221224336 3221214440 1131415641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 24995 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 236.24 Current children cumulated vsize (Kb) 841404 [startup+260.024 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18367 3 1 0 24526 59 0 0 16 0 11 0 1802871418 861597696 25227 4294967295 134512640 134569956 3221224336 3221214584 1131398433 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25227 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 245.85 Current children cumulated vsize (Kb) 841404 [startup+270.025 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18374 3 1 0 25503 60 0 0 25 0 11 0 1802871418 861597696 25386 4294967295 134512640 134569956 3221224336 3221214440 1131415997 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 25386 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 255.63 Current children cumulated vsize (Kb) 841404 [startup+280.025 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18382 3 1 0 26485 60 0 0 25 0 11 0 1802871418 861597696 25470 4294967295 134512640 134569956 3221224336 3221214504 1131358704 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25470 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 265.45 Current children cumulated vsize (Kb) 841404 [startup+290.026 s] Raw data (loadavg): 1.11 1.03 1.01 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18390 3 1 0 27467 61 0 0 25 0 11 0 1802871418 861597696 25516 4294967295 134512640 134569956 3221224336 3221214440 1131415997 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25516 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 275.28 Current children cumulated vsize (Kb) 841404 [startup+300.026 s] Raw data (loadavg): 1.09 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18399 3 1 0 28450 61 0 0 25 0 11 0 1802871418 861597696 25569 4294967295 134512640 134569956 3221224336 3221214512 1131483269 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25569 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 285.11 Current children cumulated vsize (Kb) 841404 [startup+310.027 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18407 3 1 0 29432 62 0 0 25 0 11 0 1802871418 861597696 25606 4294967295 134512640 134569956 3221224336 3221214584 1131358681 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25606 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 294.94 Current children cumulated vsize (Kb) 841404 [startup+320.028 s] Raw data (loadavg): 1.14 1.04 1.01 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18414 3 1 0 30417 62 0 0 25 0 11 0 1802871418 861597696 25646 4294967295 134512640 134569956 3221224336 3221214520 1131416024 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25646 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 304.79 Current children cumulated vsize (Kb) 841404 [startup+330.029 s] Raw data (loadavg): 1.12 1.04 1.01 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18423 3 1 0 31400 63 0 0 25 0 11 0 1802871418 861597696 25688 4294967295 134512640 134569956 3221224336 3221214520 1131416617 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 25688 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 314.63 Current children cumulated vsize (Kb) 841404 [startup+340.029 s] Raw data (loadavg): 1.10 1.04 1.01 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18433 3 1 0 32382 63 0 0 25 0 11 0 1802871418 861597696 25729 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 25729 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 324.45 Current children cumulated vsize (Kb) 841404 [startup+350.029 s] Raw data (loadavg): 1.08 1.04 1.01 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18441 3 1 0 33363 64 0 0 25 0 11 0 1802871418 861597696 25773 4294967295 134512640 134569956 3221224336 3221214520 1131415933 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 25773 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 334.27 Current children cumulated vsize (Kb) 841404 [startup+360.031 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18449 3 1 0 34346 65 0 0 18 0 11 0 1802871418 861597696 25815 4294967295 134512640 134569956 3221224336 3221214616 1131646535 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25815 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 344.11 Current children cumulated vsize (Kb) 841404 [startup+370.031 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18457 3 1 0 35328 65 0 0 24 0 11 0 1802871418 861597696 25853 4294967295 134512640 134569956 3221224336 3221214616 1131646689 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25853 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 353.93 Current children cumulated vsize (Kb) 841404 [startup+380.031 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18464 3 1 0 36313 65 0 0 25 0 11 0 1802871418 861597696 25898 4294967295 134512640 134569956 3221224336 3221214608 1131488996 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 25898 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 363.78 Current children cumulated vsize (Kb) 841404 [startup+390.033 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18472 3 1 0 37296 65 0 0 23 0 11 0 1802871418 861597696 25938 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25938 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 373.61 Current children cumulated vsize (Kb) 841404 [startup+400.032 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18480 3 1 0 38280 66 0 0 20 0 11 0 1802871418 861597696 25978 4294967295 134512640 134569956 3221224336 3221214376 1131587483 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 25978 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 383.46 Current children cumulated vsize (Kb) 841404 [startup+410.033 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18488 3 1 0 39262 66 0 0 25 0 11 0 1802871418 861597696 26018 4294967295 134512640 134569956 3221224336 3221214512 1131482340 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26018 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 393.28 Current children cumulated vsize (Kb) 841404 [startup+420.035 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18496 3 1 0 40247 66 0 0 25 0 11 0 1802871418 861597696 26054 4294967295 134512640 134569956 3221224336 3221214616 1131646607 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26054 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 403.13 Current children cumulated vsize (Kb) 841404 [startup+430.035 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18504 3 1 0 41230 66 0 0 25 0 11 0 1802871418 861597696 26096 4294967295 134512640 134569956 3221224336 3221214520 1131415724 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26096 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 412.96 Current children cumulated vsize (Kb) 841404 [startup+440.036 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18512 3 1 0 42213 67 0 0 23 0 11 0 1802871418 861597696 26133 4294967295 134512640 134569956 3221224336 3221214520 1131415997 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26133 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 422.8 Current children cumulated vsize (Kb) 841404 [startup+450.037 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18520 3 1 0 43195 67 0 0 25 0 11 0 1802871418 861597696 26174 4294967295 134512640 134569956 3221224336 3221214768 1131358681 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26174 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 432.62 Current children cumulated vsize (Kb) 841404 [startup+460.038 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18528 3 1 0 44177 68 0 0 25 0 11 0 1802871418 861597696 26217 4294967295 134512640 134569956 3221224336 3221214520 1131415906 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26217 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 442.45 Current children cumulated vsize (Kb) 841404 [startup+470.038 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18536 3 1 0 45160 68 0 0 24 0 11 0 1802871418 861597696 26254 4294967295 134512640 134569956 3221224336 3221214512 1131481486 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26254 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 452.28 Current children cumulated vsize (Kb) 841404 [startup+480.039 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18543 3 1 0 46145 68 0 0 25 0 11 0 1802871418 861597696 26288 4294967295 134512640 134569956 3221224336 3221214520 1131415812 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26288 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (Kb) 841404 [startup+490.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18551 3 1 0 47128 69 0 0 25 0 11 0 1802871418 861597696 26328 4294967295 134512640 134569956 3221224336 3221214512 1131481577 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26328 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 471.97 Current children cumulated vsize (Kb) 841404 [startup+500.041 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18559 3 1 0 48110 69 0 0 25 0 11 0 1802871418 861597696 26365 4294967295 134512640 134569956 3221224336 3221214524 1131533811 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26365 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 481.79 Current children cumulated vsize (Kb) 841404 [startup+510.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18567 3 1 0 49092 69 0 0 25 0 11 0 1802871418 861597696 26405 4294967295 134512640 134569956 3221224336 3221214520 1131415952 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26405 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 491.61 Current children cumulated vsize (Kb) 841404 [startup+520.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18575 3 1 0 50074 69 0 0 24 0 11 0 1802871418 861597696 26447 4294967295 134512640 134569956 3221224336 3221214512 1131480919 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26447 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 501.43 Current children cumulated vsize (Kb) 841404 [startup+530.044 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18582 3 1 0 51059 70 0 0 25 0 11 0 1802871418 861597696 26485 4294967295 134512640 134569956 3221224336 3221214608 1131489628 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26485 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 511.29 Current children cumulated vsize (Kb) 841404 [startup+540.045 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18590 3 1 0 52041 70 0 0 25 0 11 0 1802871418 861597696 26523 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26523 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 521.11 Current children cumulated vsize (Kb) 841404 [startup+550.046 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18598 3 1 0 53023 70 0 0 25 0 11 0 1802871418 861597696 26564 4294967295 134512640 134569956 3221224336 3221214520 1131415863 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26564 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 530.93 Current children cumulated vsize (Kb) 841404 [startup+560.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18606 3 1 0 54004 71 0 0 18 0 11 0 1802871418 861597696 26602 4294967295 134512640 134569956 3221224336 3221214520 1131415954 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26602 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 540.75 Current children cumulated vsize (Kb) 841404 [startup+570.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18614 3 1 0 54984 71 0 0 25 0 11 0 1802871418 861597696 26645 4294967295 134512640 134569956 3221224336 3221214584 1131397987 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26645 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 550.55 Current children cumulated vsize (Kb) 841404 [startup+580.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18621 3 1 0 55968 71 0 0 25 0 11 0 1802871418 861597696 26681 4294967295 134512640 134569956 3221224336 3221214688 1131354641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26681 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 560.39 Current children cumulated vsize (Kb) 841404 [startup+590.049 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18629 3 1 0 56949 72 0 0 25 0 11 0 1802871418 861597696 26724 4294967295 134512640 134569956 3221224336 3221214520 1131416146 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26724 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 570.21 Current children cumulated vsize (Kb) 841404 [startup+600.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18637 3 1 0 57930 72 0 0 25 0 11 0 1802871418 861597696 26767 4294967295 134512640 134569956 3221224336 3221214264 1131662569 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26767 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 580.02 Current children cumulated vsize (Kb) 841404 [startup+610.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18645 3 1 0 58912 72 0 0 25 0 11 0 1802871418 861597696 26804 4294967295 134512640 134569956 3221224336 3221214520 1131415984 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26804 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 589.84 Current children cumulated vsize (Kb) 841404 [startup+620.052 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18653 3 1 0 59893 73 0 0 17 0 11 0 1802871418 861597696 26846 4294967295 134512640 134569956 3221224336 3221214584 1131397804 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26846 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 599.66 Current children cumulated vsize (Kb) 841404 [startup+630.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18660 3 1 0 60877 73 0 0 25 0 11 0 1802871418 861597696 26882 4294967295 134512640 134569956 3221224336 3221214736 1131405418 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26882 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 609.5 Current children cumulated vsize (Kb) 841404 [startup+640.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18668 3 1 0 61859 73 0 0 23 0 11 0 1802871418 861597696 26917 4294967295 134512640 134569956 3221224336 3221214672 1131402799 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26917 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 619.32 Current children cumulated vsize (Kb) 841404 [startup+650.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18676 3 1 0 62841 74 0 0 22 0 11 0 1802871418 861597696 26958 4294967295 134512640 134569956 3221224336 3221214512 1131481410 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 26958 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 629.15 Current children cumulated vsize (Kb) 841404 [startup+660.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18683 3 1 0 63823 75 0 0 25 0 11 0 1802871418 861597696 26992 4294967295 134512640 134569956 3221224336 3221214520 1131416195 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 26992 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 638.98 Current children cumulated vsize (Kb) 841404 [startup+670.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18691 3 1 0 64798 75 0 0 18 0 11 0 1802871418 861597696 27030 4294967295 134512640 134569956 3221224336 3221214520 1131416382 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 27030 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 648.73 Current children cumulated vsize (Kb) 841404 [startup+680.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18698 3 1 0 65773 75 0 0 25 0 11 0 1802871418 861597696 27063 4294967295 134512640 134569956 3221224336 3221214520 1131415954 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 27063 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 658.48 Current children cumulated vsize (Kb) 841404 [startup+690.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18706 3 1 0 66739 76 0 0 25 0 11 0 1802871418 861597696 27099 4294967295 134512640 134569956 3221224336 3221214520 1131416588 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 27099 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 668.15 Current children cumulated vsize (Kb) 841404 [startup+700.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18714 3 1 0 67703 76 0 0 17 0 11 0 1802871418 861597696 27157 4294967295 134512640 134569956 3221224336 3221214604 1131415628 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 27157 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 677.79 Current children cumulated vsize (Kb) 841404 [startup+710.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18722 3 1 0 68671 77 0 0 25 0 11 0 1802871418 861597696 27253 4294967295 134512640 134569956 3221224336 3221214584 1131358716 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 27253 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 687.48 Current children cumulated vsize (Kb) 841404 [startup+720.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18730 3 1 0 69635 77 0 0 25 0 11 0 1802871418 861597696 27355 4294967295 134512640 134569956 3221224336 3221214592 1131585651 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 27355 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 697.12 Current children cumulated vsize (Kb) 841404 [startup+730.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18738 3 1 0 70600 77 0 0 19 0 11 0 1802871418 861597696 27429 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 27429 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 706.77 Current children cumulated vsize (Kb) 841404 [startup+740.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18746 3 1 0 71568 78 0 0 24 0 11 0 1802871418 861597696 27539 4294967295 134512640 134569956 3221224336 3221214520 1131415954 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 27539 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 716.46 Current children cumulated vsize (Kb) 841404 [startup+750.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18753 3 1 0 72542 78 0 0 24 0 11 0 1802871418 861597696 27622 4294967295 134512640 134569956 3221224336 3221214576 1131388958 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 27622 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 726.2 Current children cumulated vsize (Kb) 841404 [startup+760.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18761 3 1 0 73515 78 0 0 17 0 11 0 1802871418 861597696 27702 4294967295 134512640 134569956 3221224336 3221214608 1131489624 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 27702 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 735.93 Current children cumulated vsize (Kb) 841404 [startup+770.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18769 3 1 0 74489 79 0 0 25 0 11 0 1802871418 861597696 27777 4294967295 134512640 134569956 3221224336 3221214520 1131416617 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 27777 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 745.68 Current children cumulated vsize (Kb) 841404 [startup+780.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18777 3 1 0 75463 79 0 0 24 0 11 0 1802871418 861597696 27829 4294967295 134512640 134569956 3221224336 3221214376 1131662695 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 27829 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 755.42 Current children cumulated vsize (Kb) 841404 [startup+790.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18784 3 1 0 76439 80 0 0 25 0 11 0 1802871418 861597696 27872 4294967295 134512640 134569956 3221224336 3221214672 1131402622 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 27872 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 765.19 Current children cumulated vsize (Kb) 841404 [startup+800.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18792 3 1 0 77410 80 0 0 25 0 11 0 1802871418 861597696 27944 4294967295 134512640 134569956 3221224336 3221214520 1131415690 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 27944 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 774.9 Current children cumulated vsize (Kb) 841404 [startup+810.072 s] Raw data (loadavg): 1.08 1.02 1.01 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18800 3 1 0 78382 80 0 0 18 0 11 0 1802871418 861597696 28006 4294967295 134512640 134569956 3221224336 3221214520 1131415954 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28006 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 784.62 Current children cumulated vsize (Kb) 841404 [startup+820.073 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18808 3 1 0 79353 81 0 0 25 0 11 0 1802871418 861597696 28076 4294967295 134512640 134569956 3221224336 3221214584 1131397652 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 28076 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 794.34 Current children cumulated vsize (Kb) 841404 [startup+830.073 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18816 3 1 0 80324 81 0 0 25 0 11 0 1802871418 861597696 28153 4294967295 134512640 134569956 3221224336 3221214580 1131388519 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28153 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 804.05 Current children cumulated vsize (Kb) 841404 [startup+840.074 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18824 3 1 0 81295 82 0 0 25 0 11 0 1802871418 861597696 28224 4294967295 134512640 134569956 3221224336 3221214688 1131354726 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28224 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 813.77 Current children cumulated vsize (Kb) 841404 [startup+850.074 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18832 3 1 0 82268 82 0 0 24 0 11 0 1802871418 861597696 28316 4294967295 134512640 134569956 3221224336 3221214584 1131399004 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 28316 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 823.5 Current children cumulated vsize (Kb) 841404 [startup+860.078 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18840 3 1 0 83241 82 0 0 17 0 11 0 1802871418 861597696 28393 4294967295 134512640 134569956 3221224336 3221214496 1131507520 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28393 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 833.23 Current children cumulated vsize (Kb) 841404 [startup+870.08 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18848 3 1 0 84216 83 0 0 25 0 11 0 1802871418 861597696 28468 4294967295 134512640 134569956 3221224336 3221214512 1131482294 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28468 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 842.99 Current children cumulated vsize (Kb) 841404 [startup+880.08 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18856 3 1 0 85192 83 0 0 25 0 11 0 1802871418 861597696 28531 4294967295 134512640 134569956 3221224336 3221214584 1131358681 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28531 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 852.75 Current children cumulated vsize (Kb) 841404 [startup+890.082 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18864 3 1 0 86168 84 0 0 16 0 11 0 1802871418 861597696 28600 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 28600 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 862.52 Current children cumulated vsize (Kb) 841404 [startup+900.082 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) S 13816 13817 31915 0 -1 0 18872 3 1 0 87144 84 0 0 25 0 11 0 1802871418 861597696 28641 4294967295 134512640 134569956 3221224336 3221213120 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28641 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 872.28 Current children cumulated vsize (Kb) 841404 [startup+910.083 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18879 3 1 0 88117 84 0 0 25 0 11 0 1802871418 861597696 28704 4294967295 134512640 134569956 3221224336 3221214584 1131397875 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 28704 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (Kb) 841404 [startup+920.086 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18887 3 1 0 89090 84 0 0 25 0 11 0 1802871418 861597696 28764 4294967295 134512640 134569956 3221224336 3221214512 1131482392 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28764 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 891.74 Current children cumulated vsize (Kb) 841404 [startup+930.087 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18895 3 1 0 90061 85 0 0 25 0 11 0 1802871418 861597696 28848 4294967295 134512640 134569956 3221224336 3221214576 1131388599 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 28848 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 901.46 Current children cumulated vsize (Kb) 841404 [startup+940.088 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18903 3 1 0 91035 85 0 0 22 0 11 0 1802871418 861597696 28918 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 28918 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 911.2 Current children cumulated vsize (Kb) 841404 [startup+950.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18911 3 1 0 92007 85 0 0 22 0 11 0 1802871418 861597696 28987 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 28987 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 920.92 Current children cumulated vsize (Kb) 841404 [startup+960.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18919 3 1 0 92979 85 0 0 21 0 11 0 1802871418 861597696 29057 4294967295 134512640 134569956 3221224336 3221214672 1131402805 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 29057 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 930.64 Current children cumulated vsize (Kb) 841404 [startup+970.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18927 3 1 0 93953 86 0 0 20 0 11 0 1802871418 861597696 29118 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 29118 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 940.39 Current children cumulated vsize (Kb) 841404 [startup+980.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18935 3 1 0 94925 86 0 0 18 0 11 0 1802871418 861597696 29195 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 29195 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 950.11 Current children cumulated vsize (Kb) 841404 [startup+990.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18943 3 1 0 95898 86 0 0 25 0 11 0 1802871418 861597696 29268 4294967295 134512640 134569956 3221224336 3221214544 1131662569 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 29268 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 959.84 Current children cumulated vsize (Kb) 841404 [startup+1000.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18948 3 1 0 96872 87 0 0 25 0 11 0 1802871418 861597696 29311 4294967295 134512640 134569956 3221224336 3221214520 1131416040 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 29311 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 969.59 Current children cumulated vsize (Kb) 841404 [startup+1010.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18949 3 1 0 97868 87 0 0 25 0 11 0 1802871418 861597696 29320 4294967295 134512640 134569956 3221224336 3221214128 1085806248 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 29320 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 979.55 Current children cumulated vsize (Kb) 841404 [startup+1020.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18955 3 1 0 98838 87 0 0 25 0 11 0 1802871418 861597696 29375 4294967295 134512640 134569956 3221224336 3221214584 1131397740 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 29375 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 989.25 Current children cumulated vsize (Kb) 841404 [startup+1030.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18961 3 1 0 99804 87 0 0 25 0 11 0 1802871418 861597696 29423 4294967295 134512640 134569956 3221224336 3221214512 1131481632 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 29423 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 998.91 Current children cumulated vsize (Kb) 841404 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18967 3 1 0 100766 87 0 0 25 0 11 0 1802871418 861597696 29474 4294967295 134512640 134569956 3221224336 3221214512 1131415954 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 29474 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1008.53 Current children cumulated vsize (Kb) 841404 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18973 3 1 0 101725 87 0 0 25 0 11 0 1802871418 861597696 29524 4294967295 134512640 134569956 3221224336 3221214272 1131661292 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 29524 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1018.12 Current children cumulated vsize (Kb) 841404 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18979 3 1 0 102682 88 0 0 16 0 11 0 1802871418 861597696 29643 4294967295 134512640 134569956 3221224336 3221214672 1131402404 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 29643 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1027.7 Current children cumulated vsize (Kb) 841404 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18985 3 1 0 103648 88 0 0 25 0 11 0 1802871418 861597696 29726 4294967295 134512640 134569956 3221224336 3221214688 1131354667 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 29726 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1037.36 Current children cumulated vsize (Kb) 841404 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18991 3 1 0 104606 89 0 0 21 0 11 0 1802871418 861597696 29840 4294967295 134512640 134569956 3221224336 3221214072 1131666672 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 29840 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1046.95 Current children cumulated vsize (Kb) 841404 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) S 13816 13817 31915 0 -1 0 18997 3 1 0 105564 89 0 0 25 0 11 0 1802871418 861597696 29934 4294967295 134512640 134569956 3221224336 3221213224 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 29934 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1056.53 Current children cumulated vsize (Kb) 841404 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19002 3 1 0 106524 89 0 0 25 0 11 0 1802871418 861597696 30044 4294967295 134512640 134569956 3221224336 3221214608 1131489585 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 30044 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1066.13 Current children cumulated vsize (Kb) 841404 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) S 13816 13817 31915 0 -1 0 19008 3 1 0 107483 89 0 0 25 0 11 0 1802871418 861597696 30160 4294967295 134512640 134569956 3221224336 3221213312 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 30160 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1075.72 Current children cumulated vsize (Kb) 841404 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19013 3 1 0 108436 90 0 0 22 0 11 0 1802871418 861597696 30292 4294967295 134512640 134569956 3221224336 3221214608 1131489217 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 30292 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1085.26 Current children cumulated vsize (Kb) 841404 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19019 3 1 0 109388 90 0 0 16 0 11 0 1802871418 861597696 30441 4294967295 134512640 134569956 3221224336 3221214580 1131057173 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 30441 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1094.78 Current children cumulated vsize (Kb) 841404 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19024 3 1 0 110348 90 0 0 25 0 11 0 1802871418 861597696 30563 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 30563 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1104.38 Current children cumulated vsize (Kb) 841404 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19030 3 1 0 111300 90 0 0 25 0 11 0 1802871418 861597696 30711 4294967295 134512640 134569956 3221224336 3221214512 1131481527 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 30711 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1113.9 Current children cumulated vsize (Kb) 841404 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19035 3 1 0 112261 91 0 0 25 0 11 0 1802871418 861597696 30835 4294967295 134512640 134569956 3221224336 3221214488 1131662506 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 30835 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1123.52 Current children cumulated vsize (Kb) 841404 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19041 3 1 0 113214 91 0 0 25 0 11 0 1802871418 861597696 30994 4294967295 134512640 134569956 3221224336 3221214672 1131402744 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 30994 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1133.05 Current children cumulated vsize (Kb) 841404 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19047 3 1 0 114168 91 0 0 24 0 11 0 1802871418 861597696 31142 4294967295 134512640 134569956 3221224336 3221214584 1131398013 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 31142 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1142.59 Current children cumulated vsize (Kb) 841404 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19053 3 1 0 115122 92 0 0 16 0 11 0 1802871418 861597696 31278 4294967295 134512640 134569956 3221224336 3221214188 1131358658 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 31278 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1152.14 Current children cumulated vsize (Kb) 841404 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19058 3 1 0 116084 92 0 0 25 0 11 0 1802871418 861597696 31391 4294967295 134512640 134569956 3221224336 3221214584 1131399267 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 31391 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1161.76 Current children cumulated vsize (Kb) 841404 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19064 3 1 0 117038 92 0 0 25 0 11 0 1802871418 861597696 31537 4294967295 134512640 134569956 3221224336 3221214672 1131402732 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/13817/statm): 210351 31537 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1171.3 Current children cumulated vsize (Kb) 841404 [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19069 3 1 0 118000 92 0 0 25 0 11 0 1802871418 861597696 31655 4294967295 134512640 134569956 3221224336 3221214688 1131354617 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 31655 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1180.92 Current children cumulated vsize (Kb) 841404 [startup+1230.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19075 3 1 0 118955 93 0 0 25 0 11 0 1802871418 861597696 31787 4294967295 134512640 134569956 3221224336 3221214264 1131662716 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 31787 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1190.48 Current children cumulated vsize (Kb) 841404 [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19080 3 1 0 119917 93 0 0 25 0 11 0 1802871418 861597696 31904 4294967295 134512640 134569956 3221224336 3221214536 1131664597 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 31904 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1200.1 Current children cumulated vsize (Kb) 841404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 13828 Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19080 3 1 0 119917 93 0 0 25 0 11 0 1802871418 861597696 31904 4294967295 134512640 134569956 3221224336 3221214544 1131662569 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/13817/statm): 210351 31904 13129 16 0 210335 0 [pid=13817] vsize: 841404 Current children cumulated CPU time (s) 1200.1 Current children cumulated vsize (Kb) 841404 Sending SIGTERM to -13817 Sleeping 2 seconds New thread pid=13830 New thread pid=13831 One traced child (pid=13831) exited with status: 0 One traced child (pid=13826) exited with status: 0 One traced child (pid=13821) exited with status: 0 One traced child (pid=13818) exited with status: 143 One traced child (pid=13820) exited with status: 143 One traced child (pid=13828) exited with status: 143 One traced child (pid=13824) exited with status: 143 One traced child (pid=13830) exited with status: 143 One traced child (pid=13819) exited with status: 143 One traced child (pid=13822) exited with status: 143 One traced child (pid=13823) exited with status: 143 One traced child (pid=13825) exited with status: 143 One traced child (pid=13817) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1240.48 CPU time (s): 1236.27 CPU user time (s): 1234.62 CPU system time (s): 1.65175 CPU usage (%): 99.6606 Max. virtual memory (cumulated for all children) (Kb): 841912
Verifier: OK 67200