Name | normalized-opb/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 | 1227.77 |
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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-05-25 12:59:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21338 boxname=wulflinc10 idbench=1326 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 1400a638b0a1a6fa8602672cb986ba1d /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-rgn.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-rgn.opb IDLAUNCH: 21338 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 450.999 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: 684896 kB Buffers: 30628 kB Cached: 297380 kB SwapCached: 92 kB Active: 53372 kB Inactive: 277276 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 684644 kB SwapTotal: 2097136 kB SwapFree: 2096752 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6392 kB Slab: 13456 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 13:19:50 (client local time) WITH STATUS 143 IN 1227.77 SECONDS stats: 21338 0 1227.77 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### 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 Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-rgn.opb c reading problem ... done. Time 1.921 ms. c #vars 1020 c #constraints 124 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 67200 Current CPU time: 7.57 ms c starts : 8 c conflicts : 2633 c decisions : 11067 c propagations : 46501 c inspects : 694572 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2633 c root simplifications : 8 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 objectif function=67200 c Total CPU time (ms) : 1229.468 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.99 2/54 30622 Raw data (stat): 30622 (runsolver) R 30621 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780857524 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 1.09 1.02 1.01 3/64 30633 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18118 3 1 0 702 40 0 0 25 0 11 0 780857524 864788480 21592 4294967295 134512640 134569956 3221224368 3221214544 1131257920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211130 21592 13086 16 0 211114 0 vsize: 844520 [startup+20.0018 s] Raw data (loadavg): 1.15 1.03 1.01 2/64 30633 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18121 3 1 0 1649 40 0 0 25 0 11 0 780857524 863961088 21712 4294967295 134512640 134569956 3221224368 3221214536 1131299640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210928 21712 13086 16 0 210912 0 vsize: 843712 [startup+30.0019 s] Raw data (loadavg): 1.12 1.03 1.01 3/64 30633 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18121 3 1 0 2609 41 0 0 25 0 11 0 780857524 863199232 21758 4294967295 134512640 134569956 3221224368 3221214724 1131228416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 21758 13086 16 0 210726 0 vsize: 842968 [startup+40.0023 s] Raw data (loadavg): 1.10 1.03 1.01 2/64 30633 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 3564 41 0 0 25 0 11 0 780857524 863199232 21978 4294967295 134512640 134569956 3221224368 3221214600 1131310753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210742 21978 13086 16 0 210726 0 vsize: 842968 [startup+50.0034 s] Raw data (loadavg): 1.09 1.03 1.01 3/67 30674 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 4524 42 0 0 25 0 11 0 780857524 863199232 22163 4294967295 134512640 134569956 3221224368 3221214680 1131366278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210742 22163 13086 16 0 210726 0 vsize: 842968 [startup+60.0035 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 30686 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 5478 43 0 0 25 0 11 0 780857524 863199232 22346 4294967295 134512640 134569956 3221224368 3221214728 1131231587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210742 22346 13086 16 0 210726 0 vsize: 842968 [startup+70.0041 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 30686 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 6425 43 0 0 25 0 11 0 780857524 863199232 22819 4294967295 134512640 134569956 3221224368 3221214592 1131316289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 22819 13086 16 0 210726 0 vsize: 842968 [startup+80.0084 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 30686 Raw data (stat): 30622 (java) S 30621 15547 15546 0 -1 0 18122 3 1 0 7386 43 0 0 25 0 11 0 780857524 863199232 22948 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 22948 13086 16 0 210726 0 vsize: 842968 [startup+90.0082 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 30686 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 8345 43 0 0 25 0 11 0 780857524 863199232 23120 4294967295 134512640 134569956 3221224368 3221214744 1131179453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 23120 13086 16 0 210726 0 vsize: 842968 [startup+100.008 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 30686 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 9314 43 0 0 25 0 11 0 780857524 863199232 23227 4294967295 134512640 134569956 3221224368 3221214552 1131257706 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210742 23227 13086 16 0 210726 0 vsize: 842968 [startup+110.109 s] Raw data (loadavg): 1.03 1.02 1.00 3/64 30686 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 10291 43 0 0 25 0 11 0 780857524 863199232 23360 4294967295 134512640 134569956 3221224368 3221214640 1131228537 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 23360 13086 16 0 210726 0 vsize: 842968 [startup+120.212 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30686 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 11267 44 0 0 25 0 11 0 780857524 863199232 23482 4294967295 134512640 134569956 3221224368 3221214624 1131288796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 23482 13086 16 0 210726 0 vsize: 842968 [startup+130.211 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 12235 44 0 0 25 0 11 0 780857524 863199232 23566 4294967295 134512640 134569956 3221224368 3221214584 1131350275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 23566 13086 16 0 210726 0 vsize: 842968 [startup+140.211 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 13205 44 0 0 25 0 11 0 780857524 863199232 23642 4294967295 134512640 134569956 3221224368 3221214400 1078032948 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 23642 13086 16 0 210726 0 vsize: 842968 [startup+150.211 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 14173 44 0 0 25 0 11 0 780857524 863199232 23745 4294967295 134512640 134569956 3221224368 3221214624 1131289872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 23745 13086 16 0 210726 0 vsize: 842968 [startup+160.212 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 15145 44 0 0 25 0 11 0 780857524 863199232 23848 4294967295 134512640 134569956 3221224368 3221214400 1131480732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 23848 13086 16 0 210726 0 vsize: 842968 [startup+170.212 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 16117 44 0 0 25 0 11 0 780857524 863199232 23940 4294967295 134512640 134569956 3221224368 3221214792 1131238368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 23940 13086 16 0 210726 0 vsize: 842968 [startup+180.212 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 17090 44 0 0 25 0 11 0 780857524 863199232 24032 4294967295 134512640 134569956 3221224368 3221214832 1131194969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24032 13086 16 0 210726 0 vsize: 842968 [startup+190.213 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 18063 45 0 0 25 0 11 0 780857524 863199232 24123 4294967295 134512640 134569956 3221224368 3221214580 1131371495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24123 13086 16 0 210726 0 vsize: 842968 [startup+200.213 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 19030 45 0 0 25 0 11 0 780857524 863199232 24223 4294967295 134512640 134569956 3221224368 3221214640 1131229886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24223 13086 16 0 210726 0 vsize: 842968 [startup+210.213 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 19996 45 0 0 25 0 11 0 780857524 863199232 24316 4294967295 134512640 134569956 3221224368 3221214640 1131216301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24316 13086 16 0 210726 0 vsize: 842968 [startup+220.213 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 20957 45 0 0 24 0 11 0 780857524 863199232 24431 4294967295 134512640 134569956 3221224368 3221214728 1131231655 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24431 13086 16 0 210726 0 vsize: 842968 [startup+230.214 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 21921 45 0 0 25 0 11 0 780857524 863199232 24540 4294967295 134512640 134569956 3221224368 3221214552 1131257743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24540 13086 16 0 210726 0 vsize: 842968 [startup+240.213 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 22896 45 0 0 25 0 11 0 780857524 863199232 24613 4294967295 134512640 134569956 3221224368 3221214504 1131295512 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24613 13086 16 0 210726 0 vsize: 842968 [startup+250.213 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 23871 45 0 0 25 0 11 0 780857524 863199232 24686 4294967295 134512640 134569956 3221224368 3221214640 1131229301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24686 13086 16 0 210726 0 vsize: 842968 [startup+260.214 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 24846 45 0 0 25 0 11 0 780857524 863199232 24761 4294967295 134512640 134569956 3221224368 3221214640 1131228471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24761 13086 16 0 210726 0 vsize: 842968 [startup+270.214 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 25821 45 0 0 25 0 11 0 780857524 863199232 24839 4294967295 134512640 134569956 3221224368 3221214624 1131289987 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24839 13086 16 0 210726 0 vsize: 842968 [startup+280.214 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 26796 45 0 0 25 0 11 0 780857524 863199232 24920 4294967295 134512640 134569956 3221224368 3221214624 1131455843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24920 13086 16 0 210726 0 vsize: 842968 [startup+290.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 27772 45 0 0 25 0 11 0 780857524 863199232 24990 4294967295 134512640 134569956 3221224368 3221214728 1131231866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 24990 13086 16 0 210726 0 vsize: 842968 [startup+300.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 28749 46 0 0 25 0 11 0 780857524 863199232 25064 4294967295 134512640 134569956 3221224368 3221214544 1131298130 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25064 13086 16 0 210726 0 vsize: 842968 [startup+310.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 29719 46 0 0 25 0 11 0 780857524 863199232 25143 4294967295 134512640 134569956 3221224368 3221214544 1131298597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25143 13086 16 0 210726 0 vsize: 842968 [startup+320.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 30688 46 0 0 25 0 11 0 780857524 863199232 25248 4294967295 134512640 134569956 3221224368 3221214544 1131299612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25248 13086 16 0 210726 0 vsize: 842968 [startup+330.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 31661 46 0 0 25 0 11 0 780857524 863199232 25332 4294967295 134512640 134569956 3221224368 3221214408 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25332 13086 16 0 210726 0 vsize: 842968 [startup+340.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 32634 46 0 0 25 0 11 0 780857524 863199232 25415 4294967295 134512640 134569956 3221224368 3221214112 1131484610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25415 13086 16 0 210726 0 vsize: 842968 [startup+350.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 33599 46 0 0 25 0 11 0 780857524 863199232 25497 4294967295 134512640 134569956 3221224368 3221214640 1131291231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25497 13086 16 0 210726 0 vsize: 842968 [startup+360.216 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 34562 46 0 0 25 0 11 0 780857524 863199232 25533 4294967295 134512640 134569956 3221224368 3221214544 1131298559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25533 13086 16 0 210726 0 vsize: 842968 [startup+370.216 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 35532 46 0 0 25 0 11 0 780857524 863199232 25654 4294967295 134512640 134569956 3221224368 3221214652 1131226793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210742 25654 13086 16 0 210726 0 vsize: 842968 [startup+380.216 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 36497 46 0 0 25 0 11 0 780857524 863199232 25713 4294967295 134512640 134569956 3221224368 3221214648 1131292313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25713 13086 16 0 210726 0 vsize: 842968 [startup+390.216 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 37462 46 0 0 25 0 11 0 780857524 863199232 25815 4294967295 134512640 134569956 3221224368 3221214016 1131484610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25815 13086 16 0 210726 0 vsize: 842968 [startup+400.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30688 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 38427 46 0 0 25 0 11 0 780857524 863199232 25902 4294967295 134512640 134569956 3221224368 3221214252 1131477059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25902 13086 16 0 210726 0 vsize: 842968 [startup+410.217 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 39380 46 0 0 25 0 11 0 780857524 863199232 25927 4294967295 134512640 134569956 3221224368 3221214640 1131229291 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 25927 13086 16 0 210726 0 vsize: 842968 [startup+420.217 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 40329 46 0 0 25 0 11 0 780857524 863199232 26100 4294967295 134512640 134569956 3221224368 3221214640 1131228495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 26100 13086 16 0 210726 0 vsize: 842968 [startup+430.216 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 41282 46 0 0 25 0 11 0 780857524 863199232 26158 4294967295 134512640 134569956 3221224368 3221214724 1131228416 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 26158 13086 16 0 210726 0 vsize: 842968 [startup+440.216 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 42236 47 0 0 25 0 11 0 780857524 863199232 26361 4294967295 134512640 134569956 3221224368 3221214216 1085679741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 26361 13086 16 0 210726 0 vsize: 842968 [startup+450.215 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 43195 47 0 0 24 0 11 0 780857524 863199232 26511 4294967295 134512640 134569956 3221224368 3221214640 1131216764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 26511 13086 16 0 210726 0 vsize: 842968 [startup+460.217 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 44157 47 0 0 25 0 11 0 780857524 863199232 26668 4294967295 134512640 134569956 3221224368 3221214640 1131257706 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 26668 13086 16 0 210726 0 vsize: 842968 [startup+470.217 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 45125 47 0 0 25 0 11 0 780857524 863199232 26755 4294967295 134512640 134569956 3221224368 3221214652 1131289833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 26755 13086 16 0 210726 0 vsize: 842968 [startup+480.217 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 46086 47 0 0 25 0 11 0 780857524 863199232 26857 4294967295 134512640 134569956 3221224368 3221214544 1131298302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 26857 13086 16 0 210726 0 vsize: 842968 [startup+490.218 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 47053 47 0 0 25 0 11 0 780857524 863199232 26953 4294967295 134512640 134569956 3221224368 3221214552 1131257618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 26953 13086 16 0 210726 0 vsize: 842968 [startup+500.218 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 48024 47 0 0 25 0 11 0 780857524 863199232 27063 4294967295 134512640 134569956 3221224368 3221214640 1131229784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27063 13086 16 0 210726 0 vsize: 842968 [startup+510.219 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 48996 47 0 0 25 0 11 0 780857524 863199232 27182 4294967295 134512640 134569956 3221224368 3221214544 1131298559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27182 13086 16 0 210726 0 vsize: 842968 [startup+520.219 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) S 30621 15547 15546 0 -1 0 18123 3 1 0 49970 47 0 0 25 0 11 0 780857524 863199232 27295 4294967295 134512640 134569956 3221224368 3221213144 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27295 13086 16 0 210726 0 vsize: 842968 [startup+530.22 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 50950 47 0 0 25 0 11 0 780857524 863199232 27295 4294967295 134512640 134569956 3221224368 3221214732 1130883540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27295 13086 16 0 210726 0 vsize: 842968 [startup+540.22 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 51920 47 0 0 25 0 11 0 780857524 863199232 27356 4294967295 134512640 134569956 3221224368 3221214544 1131298156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27356 13086 16 0 210726 0 vsize: 842968 [startup+550.22 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 52895 47 0 0 25 0 11 0 780857524 863199232 27475 4294967295 134512640 134569956 3221224368 3221214540 1131477065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27475 13086 16 0 210726 0 vsize: 842968 [startup+560.22 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 53871 47 0 0 25 0 11 0 780857524 863199232 27476 4294967295 134512640 134569956 3221224368 3221214744 1131179473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27476 13086 16 0 210726 0 vsize: 842968 [startup+570.22 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 54843 47 0 0 25 0 11 0 780857524 863199232 27525 4294967295 134512640 134569956 3221224368 3221214600 1131194969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27525 13086 16 0 210726 0 vsize: 842968 [startup+580.223 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) S 30621 15547 15546 0 -1 0 18123 3 1 0 55817 47 0 0 25 0 11 0 780857524 863199232 27632 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27632 13086 16 0 210726 0 vsize: 842968 [startup+590.224 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 56791 47 0 0 25 0 11 0 780857524 863199232 27687 4294967295 134512640 134569956 3221224368 3221214640 1131228581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27687 13086 16 0 210726 0 vsize: 842968 [startup+600.224 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 57768 47 0 0 24 0 11 0 780857524 863199232 27773 4294967295 134512640 134569956 3221224368 3221214544 1131258077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27773 13086 16 0 210726 0 vsize: 842968 [startup+610.225 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 58748 47 0 0 25 0 11 0 780857524 863199232 27822 4294967295 134512640 134569956 3221224368 3221214544 1131298638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27822 13086 16 0 210726 0 vsize: 842968 [startup+620.225 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 59731 47 0 0 25 0 11 0 780857524 863199232 27826 4294967295 134512640 134569956 3221224368 3221214744 1131179473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27826 13086 16 0 210726 0 vsize: 842968 [startup+630.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 60713 48 0 0 25 0 11 0 780857524 863199232 27915 4294967295 134512640 134569956 3221224368 3221214212 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27915 13086 16 0 210726 0 vsize: 842968 [startup+640.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 61696 48 0 0 25 0 11 0 780857524 863199232 27975 4294967295 134512640 134569956 3221224368 3221214068 1131480779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27975 13086 16 0 210726 0 vsize: 842968 [startup+650.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 62670 48 0 0 25 0 11 0 780857524 863199232 27983 4294967295 134512640 134569956 3221224368 3221214792 1131238581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 27983 13086 16 0 210726 0 vsize: 842968 [startup+660.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 63638 48 0 0 25 0 11 0 780857524 863199232 28021 4294967295 134512640 134569956 3221224368 3221214744 1131179477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28021 13086 16 0 210726 0 vsize: 842968 [startup+670.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 64608 48 0 0 25 0 11 0 780857524 863199232 28059 4294967295 134512640 134569956 3221224368 3221214608 1131229183 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28059 13086 16 0 210726 0 vsize: 842968 [startup+680.231 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 65565 48 0 0 25 0 11 0 780857524 863199232 28193 4294967295 134512640 134569956 3221224368 3221214592 1131292199 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28193 13086 16 0 210726 0 vsize: 842968 [startup+690.232 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 66528 48 0 0 24 0 11 0 780857524 863199232 28324 4294967295 134512640 134569956 3221224368 3221214608 1131229247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28324 13086 16 0 210726 0 vsize: 842968 [startup+700.232 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 67509 48 0 0 25 0 11 0 780857524 863199232 28415 4294967295 134512640 134569956 3221224368 3221214712 1131179456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28415 13086 16 0 210726 0 vsize: 842968 [startup+710.234 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 68495 48 0 0 25 0 11 0 780857524 863199232 28502 4294967295 134512640 134569956 3221224368 3221214712 1131179456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28502 13086 16 0 210726 0 vsize: 842968 [startup+720.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 69486 48 0 0 24 0 11 0 780857524 863199232 28535 4294967295 134512640 134569956 3221224368 3221214608 1131228712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28535 13086 16 0 210726 0 vsize: 842968 [startup+730.233 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 70479 48 0 0 25 0 11 0 780857524 863199232 28555 4294967295 134512640 134569956 3221224368 3221214756 1131179693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28555 13086 16 0 210726 0 vsize: 842968 [startup+740.234 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 71471 48 0 0 25 0 11 0 780857524 863199232 28574 4294967295 134512640 134569956 3221224368 3221214568 1131288761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28574 13086 16 0 210726 0 vsize: 842968 [startup+750.234 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 72462 49 0 0 25 0 11 0 780857524 863199232 28594 4294967295 134512640 134569956 3221224368 3221214696 1131231714 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28594 13086 16 0 210726 0 vsize: 842968 [startup+760.235 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 73455 49 0 0 25 0 11 0 780857524 863199232 28612 4294967295 134512640 134569956 3221224368 3221214528 1131526632 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28612 13086 16 0 210726 0 vsize: 842968 [startup+770.236 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 74447 50 0 0 25 0 11 0 780857524 863199232 28630 4294967295 134512640 134569956 3221224368 3221214584 1131339127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28630 13086 16 0 210726 0 vsize: 842968 [startup+780.236 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 75439 50 0 0 24 0 11 0 780857524 863199232 28650 4294967295 134512640 134569956 3221224368 3221214584 1131291055 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28650 13086 16 0 210726 0 vsize: 842968 [startup+790.236 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 76431 50 0 0 25 0 11 0 780857524 863199232 28668 4294967295 134512640 134569956 3221224368 3221214608 1131228783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28668 13086 16 0 210726 0 vsize: 842968 [startup+800.236 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 77423 50 0 0 25 0 11 0 780857524 863199232 28685 4294967295 134512640 134569956 3221224368 3221214096 1131480845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28685 13086 16 0 210726 0 vsize: 842968 [startup+810.237 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 78416 50 0 0 25 0 11 0 780857524 863199232 28702 4294967295 134512640 134569956 3221224368 3221214696 1131231601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28702 13086 16 0 210726 0 vsize: 842968 [startup+820.237 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 79407 50 0 0 25 0 11 0 780857524 863199232 28724 4294967295 134512640 134569956 3221224368 3221214712 1131179456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28724 13086 16 0 210726 0 vsize: 842968 [startup+830.237 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 80399 50 0 0 25 0 11 0 780857524 863199232 28739 4294967295 134512640 134569956 3221224368 3221214760 1131238245 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28739 13086 16 0 210726 0 vsize: 842968 [startup+840.238 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 81391 50 0 0 25 0 11 0 780857524 863199232 28760 4294967295 134512640 134569956 3221224368 3221214340 1076460784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28760 13086 16 0 210726 0 vsize: 842968 [startup+850.238 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 82383 50 0 0 25 0 11 0 780857524 863199232 28777 4294967295 134512640 134569956 3221224368 3221214696 1131232027 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28777 13086 16 0 210726 0 vsize: 842968 [startup+860.239 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 83374 51 0 0 25 0 11 0 780857524 863199232 28797 4294967295 134512640 134569956 3221224368 3221214608 1131229234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28797 13086 16 0 210726 0 vsize: 842968 [startup+870.239 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 84365 51 0 0 25 0 11 0 780857524 863199232 28818 4294967295 134512640 134569956 3221224368 3221214712 1131179481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28818 13086 16 0 210726 0 vsize: 842968 [startup+880.238 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 85358 51 0 0 25 0 11 0 780857524 863199232 28836 4294967295 134512640 134569956 3221224368 3221214592 1131292220 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28836 13086 16 0 210726 0 vsize: 842968 [startup+890.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 86349 51 0 0 25 0 11 0 780857524 863199232 28858 4294967295 134512640 134569956 3221224368 3221214608 1131228659 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28858 13086 16 0 210726 0 vsize: 842968 [startup+900.239 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 87340 51 0 0 24 0 11 0 780857524 863199232 28874 4294967295 134512640 134569956 3221224368 3221214696 1131232037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28874 13086 16 0 210726 0 vsize: 842968 [startup+910.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 88333 51 0 0 25 0 11 0 780857524 863199232 28890 4294967295 134512640 134569956 3221224368 3221214288 1131480791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28890 13086 16 0 210726 0 vsize: 842968 [startup+920.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 89325 51 0 0 25 0 11 0 780857524 863199232 28908 4294967295 134512640 134569956 3221224368 3221214528 1131525152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28908 13086 16 0 210726 0 vsize: 842968 [startup+930.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 90317 51 0 0 25 0 11 0 780857524 863199232 28926 4294967295 134512640 134569956 3221224368 3221214608 1131228771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28926 13086 16 0 210726 0 vsize: 842968 [startup+940.241 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 91307 51 0 0 25 0 11 0 780857524 863199232 28946 4294967295 134512640 134569956 3221224368 3221214608 1131228500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28946 13086 16 0 210726 0 vsize: 842968 [startup+950.241 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 92299 51 0 0 25 0 11 0 780857524 863199232 28962 4294967295 134512640 134569956 3221224368 3221214096 1131480849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28962 13086 16 0 210726 0 vsize: 842968 [startup+960.242 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 93289 51 0 0 25 0 11 0 780857524 863199232 28979 4294967295 134512640 134569956 3221224368 3221214608 1131228581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 28979 13086 16 0 210726 0 vsize: 842968 [startup+970.241 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 94279 52 0 0 25 0 11 0 780857524 863199232 29004 4294967295 134512640 134569956 3221224368 3221214608 1131228581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29004 13086 16 0 210726 0 vsize: 842968 [startup+980.241 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 95269 52 0 0 25 0 11 0 780857524 863199232 29020 4294967295 134512640 134569956 3221224368 3221214608 1131228449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29020 13086 16 0 210726 0 vsize: 842968 [startup+990.241 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 96258 52 0 0 25 0 11 0 780857524 863199232 29049 4294967295 134512640 134569956 3221224368 3221214476 1131480784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29049 13086 16 0 210726 0 vsize: 842968 [startup+1000.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 97250 52 0 0 25 0 11 0 780857524 863199232 29064 4294967295 134512640 134569956 3221224368 3221214148 1131484587 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29064 13086 16 0 210726 0 vsize: 842968 [startup+1010.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 98239 52 0 0 25 0 11 0 780857524 863199232 29087 4294967295 134512640 134569956 3221224368 3221214628 1130907169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29087 13086 16 0 210726 0 vsize: 842968 [startup+1020.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 99229 52 0 0 25 0 11 0 780857524 863199232 29106 4294967295 134512640 134569956 3221224368 3221214608 1131228498 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29106 13086 16 0 210726 0 vsize: 842968 [startup+1030.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 100219 52 0 0 25 0 11 0 780857524 863199232 29137 4294967295 134512640 134569956 3221224368 3221214696 1131231751 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29137 13086 16 0 210726 0 vsize: 842968 [startup+1040.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 101211 52 0 0 25 0 11 0 780857524 863199232 29154 4294967295 134512640 134569956 3221224368 3221214800 1131194969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29154 13086 16 0 210726 0 vsize: 842968 [startup+1050.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 102201 53 0 0 25 0 11 0 780857524 863199232 29174 4294967295 134512640 134569956 3221224368 3221214712 1131179481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29174 13086 16 0 210726 0 vsize: 842968 [startup+1060.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 103192 53 0 0 25 0 11 0 780857524 863199232 29195 4294967295 134512640 134569956 3221224368 3221214096 1131480760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29195 13086 16 0 210726 0 vsize: 842968 [startup+1070.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 104184 53 0 0 25 0 11 0 780857524 863199232 29213 4294967295 134512640 134569956 3221224368 3221214608 1131228848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29213 13086 16 0 210726 0 vsize: 842968 [startup+1080.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 105174 53 0 0 25 0 11 0 780857524 863199232 29233 4294967295 134512640 134569956 3221224368 3221214200 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29233 13086 16 0 210726 0 vsize: 842968 [startup+1090.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 106165 53 0 0 25 0 11 0 780857524 863199232 29254 4294967295 134512640 134569956 3221224368 3221214608 1131228771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29254 13086 16 0 210726 0 vsize: 842968 [startup+1100.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 107156 53 0 0 25 0 11 0 780857524 863199232 29272 4294967295 134512640 134569956 3221224368 3221214712 1131179481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29272 13086 16 0 210726 0 vsize: 842968 [startup+1110.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 108147 53 0 0 25 0 11 0 780857524 863199232 29290 4294967295 134512640 134569956 3221224368 3221214696 1131231810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29290 13086 16 0 210726 0 vsize: 842968 [startup+1120.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 109138 53 0 0 25 0 11 0 780857524 863199232 29310 4294967295 134512640 134569956 3221224368 3221214712 1131179582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29310 13086 16 0 210726 0 vsize: 842968 [startup+1130.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 110126 53 0 0 25 0 11 0 780857524 863199232 29334 4294967295 134512640 134569956 3221224368 3221214608 1131228708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29334 13086 16 0 210726 0 vsize: 842968 [startup+1140.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 111116 53 0 0 25 0 11 0 780857524 863199232 29353 4294967295 134512640 134569956 3221224368 3221214696 1131231594 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29353 13086 16 0 210726 0 vsize: 842968 [startup+1150.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 112103 53 0 0 25 0 11 0 780857524 863199232 29375 4294967295 134512640 134569956 3221224368 3221214712 1131179456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29375 13086 16 0 210726 0 vsize: 842968 [startup+1160.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 113092 53 0 0 25 0 11 0 780857524 863199232 29389 4294967295 134512640 134569956 3221224368 3221214332 1078128090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29389 13086 16 0 210726 0 vsize: 842968 [startup+1170.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 114081 53 0 0 25 0 11 0 780857524 863199232 29412 4294967295 134512640 134569956 3221224368 3221214608 1131229371 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29412 13086 16 0 210726 0 vsize: 842968 [startup+1180.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 115070 53 0 0 25 0 11 0 780857524 863199232 29435 4294967295 134512640 134569956 3221224368 3221214608 1131216320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29435 13086 16 0 210726 0 vsize: 842968 [startup+1190.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 116058 53 0 0 25 0 11 0 780857524 863199232 29457 4294967295 134512640 134569956 3221224368 3221214760 1131238231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29457 13086 16 0 210726 0 vsize: 842968 [startup+1200.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 117048 53 0 0 25 0 11 0 780857524 863199232 29480 4294967295 134512640 134569956 3221224368 3221214288 1131480845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29480 13086 16 0 210726 0 vsize: 842968 [startup+1210.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 118038 54 0 0 25 0 11 0 780857524 863199232 29504 4294967295 134512640 134569956 3221224368 3221214608 1131228539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29504 13086 16 0 210726 0 vsize: 842968 [startup+1220.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 119027 54 0 0 25 0 11 0 780857524 863199232 29524 4294967295 134512640 134569956 3221224368 3221214608 1131228581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29524 13086 16 0 210726 0 vsize: 842968 [startup+1230.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 30690 Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 120017 54 0 0 25 0 11 0 780857524 863199232 29545 4294967295 134512640 134569956 3221224368 3221214760 1131238602 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210742 29545 13086 16 0 210726 0 vsize: 842968 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.53 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 30692 Raw data (stat): 30622 (java) Z 30621 15547 15546 0 -1 1036 18123 8930 1 0 120037 54 2649 35 25 0 1 0 780857524 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.53 CPU time (s): 1227.77 CPU user time (s): 1226.87 CPU system time (s): 0.899863 CPU usage (%): 99.7759 Max. virtual memory (Kb): 844520 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 67200 #### END VERIFIER DATA ####