| 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