Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb |
MD5SUM | 1400a638b0a1a6fa8602672cb986ba1d |
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 | 1257.5 |
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 wulflinc18 THE 2005-09-20 18:14:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6782 boxname=wulflinc18 idbench=922 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1400a638b0a1a6fa8602672cb986ba1d /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-rgn.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-rgn.opb IDLAUNCH: 6782 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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: 830996 kB Buffers: 31924 kB Cached: 143236 kB SwapCached: 756 kB Active: 80820 kB Inactive: 96860 kB HighTotal: 131008 kB HighFree: 7532 kB LowTotal: 903652 kB LowFree: 823464 kB SwapTotal: 2097892 kB SwapFree: 2096536 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5780 kB Slab: 20280 kB Committed_AS: 64152 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 18:35:44 (client local time) WITH STATUS 143 IN 1257.5 SECONDS stats: 6782 0 1257.5 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/wulflinc18/normalized-mps-v2-13-7-rgn.opb c reading problem ... done. Time 1.489 ms. c #vars 1020 c #constraints 124 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 67200 Current CPU time: 7.04 ms c starts : 9 c conflicts : 4766 c decisions : 8583 c propagations : 70527 c inspects : 1263954 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 4765 c root simplifications : 9 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 6651 c speed (decisions/second) : 6.912080557991655 c non guided choices 2152 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) : 1249.03
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/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860583370 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 39 9 38 16 0 23 0 [pid=4193] 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/4193 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=4194 New thread pid=4195 New thread pid=4196 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=4197 New thread pid=4198 New thread pid=4199 New thread pid=4200 New thread pid=4201 New thread pid=4202 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/wulflinc18/normalized-mps-v2-13-7-rgn.opb New thread pid=4203 One traced child (pid=4203) exited with status: 0 New thread pid=4204 [startup+10.0027 s] Raw data (loadavg): 1.09 1.02 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18202 4 1 0 716 46 0 0 17 0 11 0 1860583370 860319744 20571 4294967295 134512640 134569956 3221224336 3221214716 1131055261 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 210039 20571 13129 16 0 210023 0 [pid=4193] vsize: 840156 Current children cumulated CPU time (s) 7.62 Current children cumulated vsize (Kb) 840156 [startup+20.0037 s] Raw data (loadavg): 1.07 1.02 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18215 4 1 0 1666 47 0 0 18 0 11 0 1860583370 859996160 21106 4294967295 134512640 134569956 3221224336 3221214696 1131395067 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 21106 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 17.13 Current children cumulated vsize (Kb) 839840 [startup+30.0046 s] Raw data (loadavg): 1.06 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18224 4 1 0 2611 48 0 0 21 0 11 0 1860583370 859996160 21423 4294967295 134512640 134569956 3221224336 3221214512 1131412648 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 21423 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 26.59 Current children cumulated vsize (Kb) 839840 [startup+40.0055 s] Raw data (loadavg): 1.05 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18230 4 1 0 3554 49 0 0 22 0 11 0 1860583370 859996160 21919 4294967295 134512640 134569956 3221224336 3221214584 1131356219 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 21919 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 36.03 Current children cumulated vsize (Kb) 839840 [startup+50.0064 s] Raw data (loadavg): 1.04 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18237 4 1 0 4505 49 0 0 25 0 11 0 1860583370 859996160 21923 4294967295 134512640 134569956 3221224336 3221214600 1131454913 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 21923 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 45.54 Current children cumulated vsize (Kb) 839840 [startup+60.0074 s] Raw data (loadavg): 1.04 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18244 4 1 0 5449 49 0 0 19 0 11 0 1860583370 859996160 22050 4294967295 134512640 134569956 3221224336 3221214760 1131665996 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 22050 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 54.98 Current children cumulated vsize (Kb) 839840 [startup+70.0083 s] Raw data (loadavg): 1.03 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18250 4 1 0 6394 50 0 0 24 0 11 0 1860583370 859996160 22343 4294967295 134512640 134569956 3221224336 3221214712 1131346645 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 22343 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 64.44 Current children cumulated vsize (Kb) 839840 [startup+80.0092 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18258 4 1 0 7339 50 0 0 20 0 11 0 1860583370 859996160 22502 4294967295 134512640 134569956 3221224336 3221214504 1131442115 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 22502 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 73.89 Current children cumulated vsize (Kb) 839840 [startup+90.0101 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18265 4 1 0 8289 50 0 0 25 0 11 0 1860583370 859996160 22667 4294967295 134512640 134569956 3221224336 3221214712 1131346649 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 22667 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 83.39 Current children cumulated vsize (Kb) 839840 [startup+100.011 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18273 4 1 0 9241 50 0 0 23 0 11 0 1860583370 859996160 22890 4294967295 134512640 134569956 3221224336 3221214608 1131391921 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 22890 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 92.91 Current children cumulated vsize (Kb) 839840 [startup+110.013 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18281 4 1 0 10201 51 0 0 25 0 11 0 1860583370 859996160 23088 4294967295 134512640 134569956 3221224336 3221214804 1131664675 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 23088 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 102.52 Current children cumulated vsize (Kb) 839840 [startup+120.014 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18289 4 1 0 11171 51 0 0 25 0 11 0 1860583370 859996160 23218 4294967295 134512640 134569956 3221224336 3221214016 1085806278 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 23218 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 112.22 Current children cumulated vsize (Kb) 839840 [startup+130.015 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18297 4 1 0 12141 51 0 0 25 0 11 0 1860583370 859996160 23311 4294967295 134512640 134569956 3221224336 3221214504 1131443062 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 23311 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 121.92 Current children cumulated vsize (Kb) 839840 [startup+140.016 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18305 4 1 0 13112 52 0 0 24 0 11 0 1860583370 859996160 23401 4294967295 134512640 134569956 3221224336 3221214368 1131576853 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 23401 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 131.64 Current children cumulated vsize (Kb) 839840 [startup+150.017 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18313 4 1 0 14082 52 0 0 25 0 11 0 1860583370 859996160 23477 4294967295 134512640 134569956 3221224336 3221214712 1131346769 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 23477 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 141.34 Current children cumulated vsize (Kb) 839840 [startup+160.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18321 4 1 0 15051 52 0 0 25 0 11 0 1860583370 859996160 23569 4294967295 134512640 134569956 3221224336 3221214608 1131391987 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 23569 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 151.03 Current children cumulated vsize (Kb) 839840 [startup+170.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18329 4 1 0 16021 53 0 0 18 0 11 0 1860583370 859996160 23657 4294967295 134512640 134569956 3221224336 3221214556 1131057186 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 23657 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 160.74 Current children cumulated vsize (Kb) 839840 [startup+180.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18336 4 1 0 16992 53 0 0 24 0 11 0 1860583370 859996160 23731 4294967295 134512640 134569956 3221224336 3221214584 1131356229 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 23731 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 170.45 Current children cumulated vsize (Kb) 839840 [startup+190.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18345 4 1 0 17956 53 0 0 16 0 11 0 1860583370 859996160 23813 4294967295 134512640 134569956 3221224336 3221214712 1131346641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 23813 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 180.09 Current children cumulated vsize (Kb) 839840 [startup+200.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18352 4 1 0 18911 53 0 0 18 0 11 0 1860583370 859996160 23893 4294967295 134512640 134569956 3221224336 3221214320 1131552420 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 23893 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 189.64 Current children cumulated vsize (Kb) 839840 [startup+210.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18360 4 1 0 19857 54 0 0 25 0 11 0 1860583370 859996160 23998 4294967295 134512640 134569956 3221224336 3221214608 1131391909 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 23998 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 199.11 Current children cumulated vsize (Kb) 839840 [startup+220.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18368 4 1 0 20783 54 0 0 25 0 11 0 1860583370 859996160 24090 4294967295 134512640 134569956 3221224336 3221214696 1131395112 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 24090 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 208.37 Current children cumulated vsize (Kb) 839840 [startup+230.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18375 4 1 0 21716 54 0 0 23 0 11 0 1860583370 859996160 24232 4294967295 134512640 134569956 3221224336 3221214520 1131443144 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 24232 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 217.7 Current children cumulated vsize (Kb) 839840 [startup+240.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18383 4 1 0 22650 54 0 0 25 0 11 0 1860583370 859996160 24512 4294967295 134512640 134569956 3221224336 3221214520 1131442115 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 24512 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 227.04 Current children cumulated vsize (Kb) 839840 [startup+250.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18390 4 1 0 23607 54 0 0 25 0 11 0 1860583370 859996160 24728 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 24728 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 236.61 Current children cumulated vsize (Kb) 839840 [startup+260.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18398 4 1 0 24571 55 0 0 25 0 11 0 1860583370 859996160 24954 4294967295 134512640 134569956 3221224336 3221214520 1131442195 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 24954 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 246.26 Current children cumulated vsize (Kb) 839840 [startup+270.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18406 4 1 0 25548 55 0 0 25 0 11 0 1860583370 859996160 25118 4294967295 134512640 134569956 3221224336 3221214480 1131525280 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25118 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 256.03 Current children cumulated vsize (Kb) 839840 [startup+280.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18414 4 1 0 26530 55 0 0 22 0 11 0 1860583370 859996160 25162 4294967295 134512640 134569956 3221224336 3221214620 1131412108 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25162 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 265.85 Current children cumulated vsize (Kb) 839840 [startup+290.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18422 4 1 0 27513 55 0 0 21 0 11 0 1860583370 859996160 25207 4294967295 134512640 134569956 3221224336 3221214520 1131441467 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25207 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 275.68 Current children cumulated vsize (Kb) 839840 [startup+300.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18430 4 1 0 28495 56 0 0 25 0 11 0 1860583370 859996160 25247 4294967295 134512640 134569956 3221224336 3221214528 1131412420 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25247 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 285.51 Current children cumulated vsize (Kb) 839840 [startup+310.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18438 4 1 0 29478 56 0 0 25 0 11 0 1860583370 859996160 25285 4294967295 134512640 134569956 3221224336 3221214520 1131443989 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25285 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 295.34 Current children cumulated vsize (Kb) 839840 [startup+320.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18446 4 1 0 30461 56 0 0 21 0 11 0 1860583370 859996160 25333 4294967295 134512640 134569956 3221224336 3221214528 1131412308 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25333 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 305.17 Current children cumulated vsize (Kb) 839840 [startup+330.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18456 4 1 0 31444 56 0 0 25 0 11 0 1860583370 859996160 25374 4294967295 134512640 134569956 3221224336 3221214528 1131412138 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25374 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 315 Current children cumulated vsize (Kb) 839840 [startup+340.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18465 4 1 0 32426 57 0 0 22 0 11 0 1860583370 859996160 25415 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25415 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 324.83 Current children cumulated vsize (Kb) 839840 [startup+350.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18473 4 1 0 33409 57 0 0 25 0 11 0 1860583370 859996160 25457 4294967295 134512640 134569956 3221224336 3221214528 1131412428 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25457 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 334.66 Current children cumulated vsize (Kb) 839840 [startup+360.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18481 4 1 0 34391 57 0 0 25 0 11 0 1860583370 859996160 25498 4294967295 134512640 134569956 3221224336 3221214528 1131412308 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25498 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 344.48 Current children cumulated vsize (Kb) 839840 [startup+370.038 s] Raw data (loadavg): 1.07 1.02 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18489 4 1 0 35374 58 0 0 21 0 11 0 1860583370 859996160 25543 4294967295 134512640 134569956 3221224336 3221214520 1131442308 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25543 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 354.32 Current children cumulated vsize (Kb) 839840 [startup+380.038 s] Raw data (loadavg): 1.06 1.02 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18497 4 1 0 36355 58 0 0 20 0 11 0 1860583370 859996160 25589 4294967295 134512640 134569956 3221224336 3221214528 1131413345 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25589 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 364.13 Current children cumulated vsize (Kb) 839840 [startup+390.039 s] Raw data (loadavg): 1.05 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18507 4 1 0 37337 59 0 0 25 0 11 0 1860583370 859996160 25628 4294967295 134512640 134569956 3221224336 3221214572 1131057195 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25628 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 373.96 Current children cumulated vsize (Kb) 839840 [startup+400.04 s] Raw data (loadavg): 1.04 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18515 4 1 0 38320 59 0 0 25 0 11 0 1860583370 859996160 25668 4294967295 134512640 134569956 3221224336 3221214520 1131443198 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25668 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 383.79 Current children cumulated vsize (Kb) 839840 [startup+410.042 s] Raw data (loadavg): 1.04 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18524 4 1 0 39303 59 0 0 25 0 11 0 1860583370 859996160 25707 4294967295 134512640 134569956 3221224336 3221214624 1131452389 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25707 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 393.62 Current children cumulated vsize (Kb) 839840 [startup+420.043 s] Raw data (loadavg): 1.03 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18532 4 1 0 40285 59 0 0 25 0 11 0 1860583370 859996160 25745 4294967295 134512640 134569956 3221224336 3221214520 1131412308 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25745 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 403.44 Current children cumulated vsize (Kb) 839840 [startup+430.044 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18540 4 1 0 41267 60 0 0 25 0 11 0 1860583370 859996160 25787 4294967295 134512640 134569956 3221224336 3221214624 1131452384 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25787 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 413.27 Current children cumulated vsize (Kb) 839840 [startup+440.045 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18548 4 1 0 42250 60 0 0 25 0 11 0 1860583370 859996160 25826 4294967295 134512640 134569956 3221224336 3221214572 1131057164 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25826 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 423.1 Current children cumulated vsize (Kb) 839840 [startup+450.046 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18556 4 1 0 43233 60 0 0 21 0 11 0 1860583370 859996160 25868 4294967295 134512640 134569956 3221224336 3221214616 1131454572 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25868 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 432.93 Current children cumulated vsize (Kb) 839840 [startup+460.047 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18564 4 1 0 44216 61 0 0 25 0 11 0 1860583370 859996160 25908 4294967295 134512640 134569956 3221224336 3221214520 1131442198 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 25908 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 442.77 Current children cumulated vsize (Kb) 839840 [startup+470.048 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18572 4 1 0 45199 61 0 0 25 0 11 0 1860583370 859996160 25948 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25948 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 452.6 Current children cumulated vsize (Kb) 839840 [startup+480.049 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18580 4 1 0 46181 61 0 0 19 0 11 0 1860583370 859996160 25986 4294967295 134512640 134569956 3221224336 3221214528 1131412434 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 25986 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 462.42 Current children cumulated vsize (Kb) 839840 [startup+490.05 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18588 4 1 0 47163 61 0 0 25 0 11 0 1860583370 859996160 26025 4294967295 134512640 134569956 3221224336 3221214624 1131452466 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26025 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 472.24 Current children cumulated vsize (Kb) 839840 [startup+500.051 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18596 4 1 0 48145 62 0 0 20 0 11 0 1860583370 859996160 26065 4294967295 134512640 134569956 3221224336 3221214608 1131393156 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26065 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 482.07 Current children cumulated vsize (Kb) 839840 [startup+510.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18604 4 1 0 49127 62 0 0 25 0 11 0 1860583370 859996160 26104 4294967295 134512640 134569956 3221224336 3221214520 1131442363 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 26104 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 491.89 Current children cumulated vsize (Kb) 839840 [startup+520.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18612 4 1 0 50109 62 0 0 25 0 11 0 1860583370 859996160 26149 4294967295 134512640 134569956 3221224336 3221214696 1131395326 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 26149 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 501.71 Current children cumulated vsize (Kb) 839840 [startup+530.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18620 4 1 0 51090 63 0 0 19 0 11 0 1860583370 859996160 26187 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 26187 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 511.53 Current children cumulated vsize (Kb) 839840 [startup+540.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18628 4 1 0 52072 63 0 0 25 0 11 0 1860583370 859996160 26228 4294967295 134512640 134569956 3221224336 3221214520 1131444017 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26228 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 521.35 Current children cumulated vsize (Kb) 839840 [startup+550.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18636 4 1 0 53053 64 0 0 25 0 11 0 1860583370 859996160 26266 4294967295 134512640 134569956 3221224336 3221214616 1131454365 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 26266 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 531.17 Current children cumulated vsize (Kb) 839840 [startup+560.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18644 4 1 0 54035 64 0 0 18 0 11 0 1860583370 859996160 26309 4294967295 134512640 134569956 3221224336 3221214624 1131452498 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26309 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 540.99 Current children cumulated vsize (Kb) 839840 [startup+570.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18652 4 1 0 55015 64 0 0 25 0 11 0 1860583370 859996160 26349 4294967295 134512640 134569956 3221224336 3221214520 1131442864 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26349 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 550.79 Current children cumulated vsize (Kb) 839840 [startup+580.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18660 4 1 0 55997 65 0 0 19 0 11 0 1860583370 859996160 26396 4294967295 134512640 134569956 3221224336 3221214696 1131395284 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26396 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 560.62 Current children cumulated vsize (Kb) 839840 [startup+590.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18668 4 1 0 56979 65 0 0 18 0 11 0 1860583370 859996160 26438 4294967295 134512640 134569956 3221224336 3221214712 1131346621 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26438 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 570.44 Current children cumulated vsize (Kb) 839840 [startup+600.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18676 4 1 0 57960 66 0 0 18 0 11 0 1860583370 859996160 26475 4294967295 134512640 134569956 3221224336 3221214528 1131412707 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26475 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 580.26 Current children cumulated vsize (Kb) 839840 [startup+610.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18684 4 1 0 58943 66 0 0 18 0 11 0 1860583370 859996160 26514 4294967295 134512640 134569956 3221224336 3221214784 1131691924 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26514 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 590.09 Current children cumulated vsize (Kb) 839840 [startup+620.061 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18692 4 1 0 59925 66 0 0 18 0 11 0 1860583370 859996160 26554 4294967295 134512640 134569956 3221224336 3221214528 1131412329 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26554 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 599.91 Current children cumulated vsize (Kb) 839840 [startup+630.061 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18700 4 1 0 60906 67 0 0 18 0 11 0 1860583370 859996160 26592 4294967295 134512640 134569956 3221224336 3221214600 1131356224 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26592 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 609.73 Current children cumulated vsize (Kb) 839840 [startup+640.062 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18708 4 1 0 61887 68 0 0 25 0 11 0 1860583370 859996160 26631 4294967295 134512640 134569956 3221224336 3221214464 1131616500 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 26631 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 619.55 Current children cumulated vsize (Kb) 839840 [startup+650.063 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18715 4 1 0 62869 68 0 0 19 0 11 0 1860583370 859996160 26665 4294967295 134512640 134569956 3221224336 3221214528 1131412432 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26665 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 629.37 Current children cumulated vsize (Kb) 839840 [startup+660.064 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18723 4 1 0 63842 69 0 0 17 0 11 0 1860583370 859996160 26704 4294967295 134512640 134569956 3221224336 3221213992 1131641609 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26704 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 639.11 Current children cumulated vsize (Kb) 839840 [startup+670.065 s] Raw data (loadavg): 1.15 1.03 0.94 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18730 4 1 0 64816 69 0 0 25 0 11 0 1860583370 859996160 26736 4294967295 134512640 134569956 3221224336 3221213828 1076897837 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 26736 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 648.85 Current children cumulated vsize (Kb) 839840 [startup+680.065 s] Raw data (loadavg): 1.12 1.03 0.94 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18738 4 1 0 65782 69 0 0 25 0 11 0 1860583370 859996160 26774 4294967295 134512640 134569956 3221224336 3221214528 1131412474 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 26774 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 658.51 Current children cumulated vsize (Kb) 839840 [startup+690.066 s] Raw data (loadavg): 1.10 1.03 0.94 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18746 4 1 0 66745 69 0 0 25 0 11 0 1860583370 859996160 26853 4294967295 134512640 134569956 3221224336 3221214576 1131361032 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 26853 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 668.14 Current children cumulated vsize (Kb) 839840 [startup+700.067 s] Raw data (loadavg): 1.09 1.03 0.94 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18754 4 1 0 67708 69 0 0 25 0 11 0 1860583370 859996160 26962 4294967295 134512640 134569956 3221224336 3221214712 1131346670 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 26962 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 677.77 Current children cumulated vsize (Kb) 839840 [startup+710.069 s] Raw data (loadavg): 1.07 1.03 0.94 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18762 4 1 0 68673 70 0 0 17 0 11 0 1860583370 859996160 27052 4294967295 134512640 134569956 3221224336 3221214528 1131412216 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 27052 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 687.43 Current children cumulated vsize (Kb) 839840 [startup+720.07 s] Raw data (loadavg): 1.06 1.03 0.94 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18770 4 1 0 69638 71 0 0 25 0 11 0 1860583370 859996160 27131 4294967295 134512640 134569956 3221224336 3221214600 1131356152 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 27131 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 697.09 Current children cumulated vsize (Kb) 839840 [startup+730.071 s] Raw data (loadavg): 1.05 1.02 0.94 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18777 4 1 0 70610 71 0 0 25 0 11 0 1860583370 859996160 27230 4294967295 134512640 134569956 3221224336 3221214624 1131452387 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 27230 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 706.81 Current children cumulated vsize (Kb) 839840 [startup+740.071 s] Raw data (loadavg): 1.04 1.02 0.94 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18785 4 1 0 71581 71 0 0 25 0 11 0 1860583370 859996160 27314 4294967295 134512640 134569956 3221224336 3221214384 1131574850 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 27314 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 716.52 Current children cumulated vsize (Kb) 839840 [startup+750.072 s] Raw data (loadavg): 1.11 1.04 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18793 4 1 0 72553 72 0 0 20 0 11 0 1860583370 859996160 27396 4294967295 134512640 134569956 3221224336 3221214712 1131346621 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 27396 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 726.25 Current children cumulated vsize (Kb) 839840 [startup+760.073 s] Raw data (loadavg): 1.09 1.04 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18801 4 1 0 73528 72 0 0 25 0 11 0 1860583370 859996160 27459 4294967295 134512640 134569956 3221224336 3221214384 1078035174 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 27459 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 736 Current children cumulated vsize (Kb) 839840 [startup+770.074 s] Raw data (loadavg): 1.08 1.04 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18809 4 1 0 74501 73 0 0 25 0 11 0 1860583370 859996160 27513 4294967295 134512640 134569956 3221224336 3221214760 1131361084 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 27513 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 745.74 Current children cumulated vsize (Kb) 839840 [startup+780.075 s] Raw data (loadavg): 1.07 1.03 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18817 4 1 0 75472 73 0 0 25 0 11 0 1860583370 859996160 27567 4294967295 134512640 134569956 3221224336 3221214384 1131581313 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 27567 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 755.45 Current children cumulated vsize (Kb) 839840 [startup+790.076 s] Raw data (loadavg): 1.06 1.03 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18825 4 1 0 76446 73 0 0 18 0 11 0 1860583370 859996160 27633 4294967295 134512640 134569956 3221224336 3221214376 1085806711 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 27633 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 765.19 Current children cumulated vsize (Kb) 839840 [startup+800.077 s] Raw data (loadavg): 1.05 1.03 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18833 4 1 0 77417 74 0 0 25 0 11 0 1860583370 859996160 27709 4294967295 134512640 134569956 3221224336 3221214608 1131391785 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 27709 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 774.91 Current children cumulated vsize (Kb) 839840 [startup+810.079 s] Raw data (loadavg): 1.04 1.03 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18841 4 1 0 78388 75 0 0 18 0 11 0 1860583370 859996160 27782 4294967295 134512640 134569956 3221224336 3221213900 1085743744 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 27782 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 784.63 Current children cumulated vsize (Kb) 839840 [startup+820.08 s] Raw data (loadavg): 1.03 1.03 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18849 4 1 0 79359 75 0 0 25 0 11 0 1860583370 859996160 27848 4294967295 134512640 134569956 3221224336 3221214608 1131391909 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 27848 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 794.34 Current children cumulated vsize (Kb) 839840 [startup+830.081 s] Raw data (loadavg): 1.03 1.03 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18857 4 1 0 80331 75 0 0 22 0 11 0 1860583370 859996160 27939 4294967295 134512640 134569956 3221224336 3221214800 1131361049 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 27939 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 804.06 Current children cumulated vsize (Kb) 839840 [startup+840.082 s] Raw data (loadavg): 1.02 1.03 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18865 4 1 0 81304 75 0 0 25 0 11 0 1860583370 859996160 28016 4294967295 134512640 134569956 3221224336 3221214576 1131361049 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 28016 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 813.79 Current children cumulated vsize (Kb) 839840 [startup+850.084 s] Raw data (loadavg): 1.02 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18873 4 1 0 82279 76 0 0 25 0 11 0 1860583370 859996160 28097 4294967295 134512640 134569956 3221224336 3221214696 1131395120 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28097 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 823.55 Current children cumulated vsize (Kb) 839840 [startup+860.085 s] Raw data (loadavg): 1.02 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18882 4 1 0 83251 76 0 0 25 0 11 0 1860583370 859996160 28174 4294967295 134512640 134569956 3221224336 3221214520 1131442115 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28174 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 833.27 Current children cumulated vsize (Kb) 839840 [startup+870.085 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18890 4 1 0 84226 76 0 0 18 0 11 0 1860583370 859996160 28246 4294967295 134512640 134569956 3221224336 3221214608 1131391909 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28246 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 843.02 Current children cumulated vsize (Kb) 839840 [startup+880.086 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18898 4 1 0 85202 76 0 0 25 0 11 0 1860583370 859996160 28294 4294967295 134512640 134569956 3221224336 3221214440 1131632548 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 28294 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 852.78 Current children cumulated vsize (Kb) 839840 [startup+890.087 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18906 4 1 0 86175 77 0 0 19 0 11 0 1860583370 859996160 28348 4294967295 134512640 134569956 3221224336 3221214520 1131443204 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28348 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 862.52 Current children cumulated vsize (Kb) 839840 [startup+900.088 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18914 4 1 0 87147 77 0 0 20 0 11 0 1860583370 859996160 28415 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28415 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 872.24 Current children cumulated vsize (Kb) 839840 [startup+910.09 s] Raw data (loadavg): 1.00 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18922 4 1 0 88119 77 0 0 20 0 11 0 1860583370 859996160 28489 4294967295 134512640 134569956 3221224336 3221214520 1131444003 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28489 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (Kb) 839840 [startup+920.091 s] Raw data (loadavg): 1.00 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18930 4 1 0 89093 78 0 0 22 0 11 0 1860583370 859996160 28562 4294967295 134512640 134569956 3221224336 3221214520 1131442115 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28562 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 891.71 Current children cumulated vsize (Kb) 839840 [startup+930.091 s] Raw data (loadavg): 1.00 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18938 4 1 0 90066 78 0 0 23 0 11 0 1860583370 859996160 28630 4294967295 134512640 134569956 3221224336 3221214520 1131441537 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28630 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 901.44 Current children cumulated vsize (Kb) 839840 [startup+940.092 s] Raw data (loadavg): 1.00 1.02 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18946 4 1 0 91038 78 0 0 24 0 11 0 1860583370 859996160 28704 4294967295 134512640 134569956 3221224336 3221214696 1131394912 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28704 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 911.16 Current children cumulated vsize (Kb) 839840 [startup+950.093 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18954 4 1 0 92011 79 0 0 25 0 11 0 1860583370 859996160 28773 4294967295 134512640 134569956 3221224336 3221214040 1131646772 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 28773 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 920.9 Current children cumulated vsize (Kb) 839840 [startup+960.094 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18962 4 1 0 92982 79 0 0 25 0 11 0 1860583370 859996160 28832 4294967295 134512640 134569956 3221224336 3221214520 1131412477 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 28832 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 930.61 Current children cumulated vsize (Kb) 839840 [startup+970.095 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18970 4 1 0 93954 79 0 0 25 0 11 0 1860583370 859996160 28913 4294967295 134512640 134569956 3221224336 3221214520 1131442135 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28913 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 940.33 Current children cumulated vsize (Kb) 839840 [startup+980.096 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18976 4 1 0 94927 80 0 0 25 0 11 0 1860583370 859996160 28968 4294967295 134512640 134569956 3221224336 3221214520 1131442115 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 28968 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 950.07 Current children cumulated vsize (Kb) 839840 [startup+990.097 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18978 4 1 0 95917 80 0 0 25 0 11 0 1860583370 859996160 28984 4294967295 134512640 134569956 3221224336 3221214456 1131642793 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 28984 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 959.97 Current children cumulated vsize (Kb) 839840 [startup+1000.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18983 4 1 0 96891 80 0 0 25 0 11 0 1860583370 859996160 29028 4294967295 134512640 134569956 3221224336 3221213904 1085806334 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 29028 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 969.71 Current children cumulated vsize (Kb) 839840 [startup+1010.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18989 4 1 0 97857 81 0 0 25 0 11 0 1860583370 859996160 29077 4294967295 134512640 134569956 3221224336 3221213960 1085759277 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 29077 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 979.38 Current children cumulated vsize (Kb) 839840 [startup+1020.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18995 4 1 0 98820 81 0 0 25 0 11 0 1860583370 859996160 29130 4294967295 134512640 134569956 3221224336 3221213904 1085806322 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 29130 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 989.01 Current children cumulated vsize (Kb) 839840 [startup+1030.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19001 4 1 0 99780 81 0 0 24 0 11 0 1860583370 859996160 29178 4294967295 134512640 134569956 3221224336 3221214760 1131401925 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 29178 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 998.61 Current children cumulated vsize (Kb) 839840 [startup+1040.1 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19007 4 1 0 100737 82 0 0 20 0 11 0 1860583370 859996160 29306 4294967295 134512640 134569956 3221224336 3221214528 1131412362 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 29306 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1008.19 Current children cumulated vsize (Kb) 839840 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19013 4 1 0 101696 82 0 0 17 0 11 0 1860583370 859996160 29390 4294967295 134512640 134569956 3221224336 3221214608 1131391951 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 29390 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1017.78 Current children cumulated vsize (Kb) 839840 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19019 4 1 0 102661 83 0 0 25 0 11 0 1860583370 859996160 29481 4294967295 134512640 134569956 3221224336 3221214384 1131580158 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 29481 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1027.44 Current children cumulated vsize (Kb) 839840 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19025 4 1 0 103618 83 0 0 20 0 11 0 1860583370 859996160 29598 4294967295 134512640 134569956 3221224336 3221214628 1131621548 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 29598 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1037.01 Current children cumulated vsize (Kb) 839840 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19030 4 1 0 104580 83 0 0 25 0 11 0 1860583370 859996160 29687 4294967295 134512640 134569956 3221224336 3221214288 1131642721 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 29687 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1046.63 Current children cumulated vsize (Kb) 839840 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19036 4 1 0 105533 84 0 0 22 0 11 0 1860583370 859996160 29824 4294967295 134512640 134569956 3221224336 3221214400 1131642730 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 29824 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1056.17 Current children cumulated vsize (Kb) 839840 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19041 4 1 0 106494 84 0 0 25 0 11 0 1860583370 859996160 29931 4294967295 134512640 134569956 3221224336 3221214608 1131391867 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 29931 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1065.78 Current children cumulated vsize (Kb) 839840 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19047 4 1 0 107445 84 0 0 25 0 11 0 1860583370 859996160 30081 4294967295 134512640 134569956 3221224336 3221214520 1131412434 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 30081 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1075.29 Current children cumulated vsize (Kb) 839840 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19053 4 1 0 108398 85 0 0 25 0 11 0 1860583370 859996160 30227 4294967295 134512640 134569956 3221224336 3221213984 1131647077 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 30227 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1084.83 Current children cumulated vsize (Kb) 839840 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19058 4 1 0 109358 85 0 0 25 0 11 0 1860583370 859996160 30350 4294967295 134512640 134569956 3221224336 3221214696 1131395422 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 30350 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1094.43 Current children cumulated vsize (Kb) 839840 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19064 4 1 0 110311 85 0 0 24 0 11 0 1860583370 859996160 30499 4294967295 134512640 134569956 3221224336 3221214784 1131690604 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 30499 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1103.96 Current children cumulated vsize (Kb) 839840 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19070 4 1 0 111264 85 0 0 25 0 11 0 1860583370 859996160 30658 4294967295 134512640 134569956 3221224336 3221214520 1131412434 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 30658 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1113.49 Current children cumulated vsize (Kb) 839840 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19076 4 1 0 112217 86 0 0 17 0 11 0 1860583370 859996160 30806 4294967295 134512640 134569956 3221224336 3221214608 1131391993 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 30806 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1123.03 Current children cumulated vsize (Kb) 839840 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19081 4 1 0 113179 86 0 0 25 0 11 0 1860583370 859996160 30920 4294967295 134512640 134569956 3221224336 3221214608 1131392189 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 30920 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1132.65 Current children cumulated vsize (Kb) 839840 [startup+1180.12 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19087 4 1 0 114133 86 0 0 25 0 11 0 1860583370 859996160 31055 4294967295 134512640 134569956 3221224336 3221213984 1131646845 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 31055 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1142.19 Current children cumulated vsize (Kb) 839840 [startup+1190.12 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19093 4 1 0 115087 87 0 0 16 0 11 0 1860583370 859996160 31201 4294967295 134512640 134569956 3221224336 3221214608 1131392052 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/4193/statm): 209960 31201 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1151.74 Current children cumulated vsize (Kb) 839840 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19098 4 1 0 116049 87 0 0 25 0 11 0 1860583370 859996160 31319 4294967295 134512640 134569956 3221224336 3221214608 1131391944 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 31319 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1161.36 Current children cumulated vsize (Kb) 839840 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19104 4 1 0 117004 88 0 0 19 0 11 0 1860583370 859996160 31451 4294967295 134512640 134569956 3221224336 3221214204 1085743747 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 31451 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1170.92 Current children cumulated vsize (Kb) 839840 [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19109 4 1 0 117966 88 0 0 25 0 11 0 1860583370 859996160 31568 4294967295 134512640 134569956 3221224336 3221214528 1131413339 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 31568 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1180.54 Current children cumulated vsize (Kb) 839840 [startup+1230.12 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19115 4 1 0 118921 89 0 0 22 0 11 0 1860583370 859996160 31701 4294967295 134512640 134569956 3221224336 3221214512 1131642888 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 31701 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1190.1 Current children cumulated vsize (Kb) 839840 [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19120 4 1 0 119882 90 0 0 25 0 11 0 1860583370 859996160 31811 4294967295 134512640 134569956 3221224336 3221214608 1131392040 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 31811 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1199.72 Current children cumulated vsize (Kb) 839840 [startup+1250.13 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19126 4 1 0 120836 91 0 0 25 0 11 0 1860583370 859996160 31941 4294967295 134512640 134569956 3221224336 3221214696 1131395216 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 31941 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1209.27 Current children cumulated vsize (Kb) 839840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.13 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 4204 Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19126 4 1 0 120836 91 0 0 25 0 11 0 1860583370 859996160 31941 4294967295 134512640 134569956 3221224336 3221214608 1131392073 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/4193/statm): 209960 31941 13129 16 0 209944 0 [pid=4193] vsize: 839840 Current children cumulated CPU time (s) 1209.27 Current children cumulated vsize (Kb) 839840 Sending SIGTERM to -4193 Sleeping 2 seconds New thread pid=4206 New thread pid=4207 One traced child (pid=4207) exited with status: 0 One traced child (pid=4202) exited with status: 0 One traced child (pid=4197) exited with status: 0 One traced child (pid=4194) exited with status: 143 One traced child (pid=4195) exited with status: 143 One traced child (pid=4196) exited with status: 143 One traced child (pid=4201) exited with status: 143 One traced child (pid=4198) exited with status: 143 One traced child (pid=4200) exited with status: 143 One traced child (pid=4204) exited with status: 143 One traced child (pid=4199) exited with status: 143 One traced child (pid=4206) exited with status: 143 One traced child (pid=4193) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1250.41 CPU time (s): 1257.5 CPU user time (s): 1255.68 CPU system time (s): 1.82172 CPU usage (%): 100.568 Max. virtual memory (cumulated for all children) (Kb): 840156
Verifier: OK 67200