Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb |
MD5SUM | f1382105ee9fb79777762a53cf6a73c1 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21166 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1177.34 |
Number of variables | 556 |
Total number of constraints | 217 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 191 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 48 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-25 09:55:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21047 boxname=wulflinc9 idbench=1035 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: f1382105ee9fb79777762a53cf6a73c1 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-gt2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-gt2.opb IDLAUNCH: 21047 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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: 492580 kB Buffers: 33768 kB Cached: 487276 kB SwapCached: 584 kB Active: 47908 kB Inactive: 475232 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 492328 kB SwapTotal: 2097136 kB SwapFree: 2095724 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5416 kB Slab: 13376 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 10:16:06 (client local time) WITH STATUS 143 IN 1238.13 SECONDS stats: 21047 0 1238.13 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/wulflinc9/normalized-mps-v2-20-10-gt2.opb c reading problem ... done. Time 1.081 ms. c #vars 556 c #constraints 180 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 21962 Current CPU time: 8.22 ms c CURRENT OPTIMUM= 21166 Current CPU time: 18.45 ms c starts : 7 c conflicts : 1356 c decisions : 13277 c propagations : 86524 c inspects : 853399 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1356 c root simplifications : 636 s SATISFIABLE v -x_0x2e__0x2e__0x2e_0101_bit0 -x_0x2e__0x2e__0x2e_0101_bit1 -x_0x2e__0x2e__0x2e_0101_bit2 -x_0x2e__0x2e__0x2e_0101_bit3 -x_0x2e__0x2e__0x2e_0201_bit0 -x_0x2e__0x2e__0x2e_0201_bit1 -x_0x2e__0x2e__0x2e_0201_bit2 -x_0x2e__0x2e__0x2e_0201_bit3 -x_0x2e__0x2e__0x2e_0301_bit0 -x_0x2e__0x2e__0x2e_0301_bit1 -x_0x2e__0x2e__0x2e_0301_bit2 -x_0x2e__0x2e__0x2e_0301_bit3 -x_0x2e__0x2e__0x2e_0401_bit0 -x_0x2e__0x2e__0x2e_0401_bit1 -x_0x2e__0x2e__0x2e_0401_bit2 -x_0x2e__0x2e__0x2e_0401_bit3 -x_0x2e__0x2e__0x2e_0701_bit0 -x_0x2e__0x2e__0x2e_0701_bit1 -x_0x2e__0x2e__0x2e_0701_bit2 -x_0x2e__0x2e__0x2e_0701_bit3 -x_0x2e__0x2e__0x2e_0801_bit0 -x_0x2e__0x2e__0x2e_0801_bit1 -x_0x2e__0x2e__0x2e_0801_bit2 -x_0x2e__0x2e__0x2e_0801_bit3 -x_0x2e__0x2e__0x2e_0901_bit0 -x_0x2e__0x2e__0x2e_0901_bit1 -x_0x2e__0x2e__0x2e_0901_bit2 -x_0x2e__0x2e__0x2e_0901_bit3 -x_0x2e__0x2e__0x2e_1001_bit0 -x_0x2e__0x2e__0x2e_1001_bit1 -x_0x2e__0x2e__0x2e_1001_bit2 -x_0x2e__0x2e__0x2e_1001_bit3 -x_0x2e__0x2e__0x2e_0102_bit0 -x_0x2e__0x2e__0x2e_0102_bit1 -x_0x2e__0x2e__0x2e_0102_bit2 -x_0x2e__0x2e__0x2e_0102_bit3 -x_0x2e__0x2e__0x2e_0202_bit0 -x_0x2e__0x2e__0x2e_0202_bit1 -x_0x2e__0x2e__0x2e_0202_bit2 -x_0x2e__0x2e__0x2e_0202_bit3 -x_0x2e__0x2e__0x2e_0302_bit0 -x_0x2e__0x2e__0x2e_0302_bit1 -x_0x2e__0x2e__0x2e_0302_bit2 -x_0x2e__0x2e__0x2e_0302_bit3 -x_0x2e__0x2e__0x2e_0402_bit0 -x_0x2e__0x2e__0x2e_0402_bit1 -x_0x2e__0x2e__0x2e_0402_bit2 -x_0x2e__0x2e__0x2e_0402_bit3 -x_0x2e__0x2e__0x2e_0502_bit0 -x_0x2e__0x2e__0x2e_0502_bit1 -x_0x2e__0x2e__0x2e_0502_bit2 -x_0x2e__0x2e__0x2e_0502_bit3 -x_0x2e__0x2e__0x2e_0602_bit0 -x_0x2e__0x2e__0x2e_0602_bit1 -x_0x2e__0x2e__0x2e_0602_bit2 -x_0x2e__0x2e__0x2e_0602_bit3 -x_0x2e__0x2e__0x2e_0702_bit0 -x_0x2e__0x2e__0x2e_0702_bit1 -x_0x2e__0x2e__0x2e_0702_bit2 -x_0x2e__0x2e__0x2e_0702_bit3 -x_0x2e__0x2e__0x2e_0802_bit0 -x_0x2e__0x2e__0x2e_0802_bit1 -x_0x2e__0x2e__0x2e_0802_bit2 -x_0x2e__0x2e__0x2e_0802_bit3 -x_0x2e__0x2e__0x2e_0902_bit0 -x_0x2e__0x2e__0x2e_0902_bit1 -x_0x2e__0x2e__0x2e_0902_bit2 -x_0x2e__0x2e__0x2e_0902_bit3 -x_0x2e__0x2e__0x2e_1002_bit0 -x_0x2e__0x2e__0x2e_1002_bit1 -x_0x2e__0x2e__0x2e_1002_bit2 -x_0x2e__0x2e__0x2e_1002_bit3 -x_0x2e__0x2e__0x2e_1102_bit0 -x_0x2e__0x2e__0x2e_1102_bit1 -x_0x2e__0x2e__0x2e_1102_bit2 -x_0x2e__0x2e__0x2e_1102_bit3 -x_0x2e__0x2e__0x2e_1202_bit0 -x_0x2e__0x2e__0x2e_1202_bit1 -x_0x2e__0x2e__0x2e_1202_bit2 -x_0x2e__0x2e__0x2e_1202_bit3 -x_0x2e__0x2e__0x2e_0103_bit0 -x_0x2e__0x2e__0x2e_0103_bit1 -x_0x2e__0x2e__0x2e_0103_bit2 -x_0x2e__0x2e__0x2e_0103_bit3 -x_0x2e__0x2e__0x2e_0203_bit0 -x_0x2e__0x2e__0x2e_0203_bit1 -x_0x2e__0x2e__0x2e_0203_bit2 -x_0x2e__0x2e__0x2e_0203_bit3 -x_0x2e__0x2e__0x2e_0303_bit0 -x_0x2e__0x2e__0x2e_0303_bit1 -x_0x2e__0x2e__0x2e_0303_bit2 -x_0x2e__0x2e__0x2e_0303_bit3 -x_0x2e__0x2e__0x2e_0403_bit0 -x_0x2e__0x2e__0x2e_0403_bit1 -x_0x2e__0x2e__0x2e_0403_bit2 -x_0x2e__0x2e__0x2e_0403_bit3 -x_0x2e__0x2e__0x2e_0503_bit0 -x_0x2e__0x2e__0x2e_0503_bit1 -x_0x2e__0x2e__0x2e_0503_bit2 -x_0x2e__0x2e__0x2e_0503_bit3 -x_0x2e__0x2e__0x2e_0603_bit0 -x_0x2e__0x2e__0x2e_0603_bit1 -x_0x2e__0x2e__0x2e_0603_bit2 -x_0x2e__0x2e__0x2e_0603_bit3 -x_0x2e__0x2e__0x2e_0703_bit0 -x_0x2e__0x2e__0x2e_0703_bit1 -x_0x2e__0x2e__0x2e_0703_bit2 -x_0x2e__0x2e__0x2e_0703_bit3 -x_0x2e__0x2e__0x2e_0803_bit0 -x_0x2e__0x2e__0x2e_0803_bit1 -x_0x2e__0x2e__0x2e_0803_bit2 -x_0x2e__0x2e__0x2e_0803_bit3 -x_0x2e__0x2e__0x2e_0903_bit0 -x_0x2e__0x2e__0x2e_0903_bit1 -x_0x2e__0x2e__0x2e_0903_bit2 -x_0x2e__0x2e__0x2e_0903_bit3 -x_0x2e__0x2e__0x2e_1003_bit0 -x_0x2e__0x2e__0x2e_1003_bit1 -x_0x2e__0x2e__0x2e_1003_bit2 -x_0x2e__0x2e__0x2e_1003_bit3 -x_0x2e__0x2e__0x2e_1103_bit0 -x_0x2e__0x2e__0x2e_1103_bit1 -x_0x2e__0x2e__0x2e_1103_bit2 -x_0x2e__0x2e__0x2e_1103_bit3 -x_0x2e__0x2e__0x2e_1203_bit0 -x_0x2e__0x2e__0x2e_1203_bit1 -x_0x2e__0x2e__0x2e_1203_bit2 -x_0x2e__0x2e__0x2e_1203_bit3 -x_0x2e__0x2e__0x2e_0104_bit0 -x_0x2e__0x2e__0x2e_0204_bit0 -x_0x2e__0x2e__0x2e_0304_bit0 -x_0x2e__0x2e__0x2e_0404_bit0 -x_0x2e__0x2e__0x2e_0504_bit0 -x_0x2e__0x2e__0x2e_0604_bit0 -x_0x2e__0x2e__0x2e_0704_bit0 -x_0x2e__0x2e__0x2e_0804_bit0 -x_0x2e__0x2e__0x2e_0904_bit0 -x_0x2e__0x2e__0x2e_1004_bit0 -x_0x2e__0x2e__0x2e_1104_bit0 -x_0x2e__0x2e__0x2e_1204_bit0 -x_0x2e__0x2e__0x2e_0105_bit0 -x_0x2e__0x2e__0x2e_0105_bit1 -x_0x2e__0x2e__0x2e_0105_bit2 -x_0x2e__0x2e__0x2e_0205_bit0 -x_0x2e__0x2e__0x2e_0205_bit1 -x_0x2e__0x2e__0x2e_0205_bit2 -x_0x2e__0x2e__0x2e_0305_bit0 -x_0x2e__0x2e__0x2e_0305_bit1 -x_0x2e__0x2e__0x2e_0305_bit2 -x_0x2e__0x2e__0x2e_0405_bit0 -x_0x2e__0x2e__0x2e_0405_bit1 -x_0x2e__0x2e__0x2e_0405_bit2 -x_0x2e__0x2e__0x2e_0505_bit0 -x_0x2e__0x2e__0x2e_0505_bit1 -x_0x2e__0x2e__0x2e_0505_bit2 -x_0x2e__0x2e__0x2e_0605_bit0 -x_0x2e__0x2e__0x2e_0605_bit1 -x_0x2e__0x2e__0x2e_0605_bit2 -x_0x2e__0x2e__0x2e_0705_bit0 -x_0x2e__0x2e__0x2e_0705_bit1 -x_0x2e__0x2e__0x2e_0705_bit2 -x_0x2e__0x2e__0x2e_0805_bit0 -x_0x2e__0x2e__0x2e_0805_bit1 -x_0x2e__0x2e__0x2e_0805_bit2 -x_0x2e__0x2e__0x2e_0905_bit0 -x_0x2e__0x2e__0x2e_0905_bit1 -x_0x2e__0x2e__0x2e_0905_bit2 -x_0x2e__0x2e__0x2e_1005_bit0 -x_0x2e__0x2e__0x2e_1005_bit1 -x_0x2e__0x2e__0x2e_1005_bit2 -x_0x2e__0x2e__0x2e_1105_bit0 -x_0x2e__0x2e__0x2e_1105_bit1 -x_0x2e__0x2e__0x2e_1105_bit2 -x_0x2e__0x2e__0x2e_1205_bit0 -x_0x2e__0x2e__0x2e_1205_bit1 -x_0x2e__0x2e__0x2e_1205_bit2 -x_0x2e__0x2e__0x2e_0106_bit0 -x_0x2e__0x2e__0x2e_0106_bit1 -x_0x2e__0x2e__0x2e_0106_bit2 -x_0x2e__0x2e__0x2e_0106_bit3 -x_0x2e__0x2e__0x2e_0206_bit0 -x_0x2e__0x2e__0x2e_0206_bit1 -x_0x2e__0x2e__0x2e_0206_bit2 -x_0x2e__0x2e__0x2e_0206_bit3 -x_0x2e__0x2e__0x2e_0306_bit0 -x_0x2e__0x2e__0x2e_0306_bit1 -x_0x2e__0x2e__0x2e_0306_bit2 -x_0x2e__0x2e__0x2e_0306_bit3 -x_0x2e__0x2e__0x2e_0406_bit0 -x_0x2e__0x2e__0x2e_0406_bit1 -x_0x2e__0x2e__0x2e_0406_bit2 -x_0x2e__0x2e__0x2e_0406_bit3 -x_0x2e__0x2e__0x2e_0506_bit0 -x_0x2e__0x2e__0x2e_0506_bit1 -x_0x2e__0x2e__0x2e_0506_bit2 -x_0x2e__0x2e__0x2e_0506_bit3 -x_0x2e__0x2e__0x2e_0606_bit0 -x_0x2e__0x2e__0x2e_0606_bit1 -x_0x2e__0x2e__0x2e_0606_bit2 -x_0x2e__0x2e__0x2e_0606_bit3 -x_0x2e__0x2e__0x2e_0706_bit0 -x_0x2e__0x2e__0x2e_0706_bit1 -x_0x2e__0x2e__0x2e_0706_bit2 -x_0x2e__0x2e__0x2e_0706_bit3 -x_0x2e__0x2e__0x2e_0806_bit0 -x_0x2e__0x2e__0x2e_0806_bit1 -x_0x2e__0x2e__0x2e_0806_bit2 -x_0x2e__0x2e__0x2e_0806_bit3 -x_0x2e__0x2e__0x2e_0906_bit0 -x_0x2e__0x2e__0x2e_0906_bit1 -x_0x2e__0x2e__0x2e_0906_bit2 -x_0x2e__0x2e__0x2e_0906_bit3 -x_0x2e__0x2e__0x2e_1006_bit0 -x_0x2e__0x2e__0x2e_1006_bit1 -x_0x2e__0x2e__0x2e_1006_bit2 -x_0x2e__0x2e__0x2e_1006_bit3 -x_0x2e__0x2e__0x2e_1106_bit0 -x_0x2e__0x2e__0x2e_1106_bit1 -x_0x2e__0x2e__0x2e_1106_bit2 -x_0x2e__0x2e__0x2e_1106_bit3 -x_0x2e__0x2e__0x2e_1206_bit0 -x_0x2e__0x2e__0x2e_1206_bit1 -x_0x2e__0x2e__0x2e_1206_bit2 -x_0x2e__0x2e__0x2e_1206_bit3 -x_0x2e__0x2e__0x2e_0507_bit0 -x_0x2e__0x2e__0x2e_0507_bit1 -x_0x2e__0x2e__0x2e_0507_bit2 -x_0x2e__0x2e__0x2e_0607_bit0 -x_0x2e__0x2e__0x2e_0607_bit1 -x_0x2e__0x2e__0x2e_0607_bit2 -x_0x2e__0x2e__0x2e_1107_bit0 -x_0x2e__0x2e__0x2e_1107_bit1 -x_0x2e__0x2e__0x2e_1107_bit2 -x_0x2e__0x2e__0x2e_1207_bit0 -x_0x2e__0x2e__0x2e_1207_bit1 -x_0x2e__0x2e__0x2e_1207_bit2 -x_0x2e__0x2e__0x2e_0108_bit0 -x_0x2e__0x2e__0x2e_0108_bit1 -x_0x2e__0x2e__0x2e_0108_bit2 -x_0x2e__0x2e__0x2e_0108_bit3 -x_0x2e__0x2e__0x2e_0208_bit0 -x_0x2e__0x2e__0x2e_0208_bit1 -x_0x2e__0x2e__0x2e_0208_bit2 -x_0x2e__0x2e__0x2e_0208_bit3 -x_0x2e__0x2e__0x2e_0308_bit0 -x_0x2e__0x2e__0x2e_0308_bit1 -x_0x2e__0x2e__0x2e_0308_bit2 -x_0x2e__0x2e__0x2e_0308_bit3 -x_0x2e__0x2e__0x2e_0408_bit0 -x_0x2e__0x2e__0x2e_0408_bit1 -x_0x2e__0x2e__0x2e_0408_bit2 -x_0x2e__0x2e__0x2e_0408_bit3 -x_0x2e__0x2e__0x2e_0708_bit0 -x_0x2e__0x2e__0x2e_0708_bit1 -x_0x2e__0x2e__0x2e_0708_bit2 -x_0x2e__0x2e__0x2e_0708_bit3 -x_0x2e__0x2e__0x2e_0808_bit0 -x_0x2e__0x2e__0x2e_0808_bit1 -x_0x2e__0x2e__0x2e_0808_bit2 -x_0x2e__0x2e__0x2e_0808_bit3 -x_0x2e__0x2e__0x2e_0908_bit0 -x_0x2e__0x2e__0x2e_0908_bit1 -x_0x2e__0x2e__0x2e_0908_bit2 -x_0x2e__0x2e__0x2e_0908_bit3 -x_0x2e__0x2e__0x2e_1008_bit0 -x_0x2e__0x2e__0x2e_1008_bit1 -x_0x2e__0x2e__0x2e_1008_bit2 -x_0x2e__0x2e__0x2e_1008_bit3 -x_0x2e__0x2e__0x2e_0109_bit0 -x_0x2e__0x2e__0x2e_0109_bit1 -x_0x2e__0x2e__0x2e_0109_bit2 -x_0x2e__0x2e__0x2e_0209_bit0 -x_0x2e__0x2e__0x2e_0209_bit1 -x_0x2e__0x2e__0x2e_0209_bit2 x_0x2e__0x2e__0x2e_0309_bit0 -x_0x2e__0x2e__0x2e_0309_bit1 -x_0x2e__0x2e__0x2e_0309_bit2 -x_0x2e__0x2e__0x2e_0409_bit0 -x_0x2e__0x2e__0x2e_0409_bit1 -x_0x2e__0x2e__0x2e_0409_bit2 -x_0x2e__0x2e__0x2e_0509_bit0 -x_0x2e__0x2e__0x2e_0509_bit1 -x_0x2e__0x2e__0x2e_0509_bit2 x_0x2e__0x2e__0x2e_0609_bit0 x_0x2e__0x2e__0x2e_0609_bit1 -x_0x2e__0x2e__0x2e_0609_bit2 -x_0x2e__0x2e__0x2e_0709_bit0 -x_0x2e__0x2e__0x2e_0709_bit1 -x_0x2e__0x2e__0x2e_0709_bit2 -x_0x2e__0x2e__0x2e_0809_bit0 -x_0x2e__0x2e__0x2e_0809_bit1 -x_0x2e__0x2e__0x2e_0809_bit2 x_0x2e__0x2e__0x2e_0909_bit0 -x_0x2e__0x2e__0x2e_0909_bit1 -x_0x2e__0x2e__0x2e_0909_bit2 -x_0x2e__0x2e__0x2e_1009_bit0 -x_0x2e__0x2e__0x2e_1009_bit1 -x_0x2e__0x2e__0x2e_1009_bit2 -x_0x2e__0x2e__0x2e_1109_bit0 -x_0x2e__0x2e__0x2e_1109_bit1 -x_0x2e__0x2e__0x2e_1109_bit2 -x_0x2e__0x2e__0x2e_1209_bit0 -x_0x2e__0x2e__0x2e_1209_bit1 -x_0x2e__0x2e__0x2e_1209_bit2 -x_0x2e__0x2e__0x2e_0110_bit0 -x_0x2e__0x2e__0x2e_0110_bit1 -x_0x2e__0x2e__0x2e_0110_bit2 -x_0x2e__0x2e__0x2e_0111_bit0 x_0x2e__0x2e__0x2e_0111_bit1 -x_0x2e__0x2e__0x2e_0111_bit2 x_0x2e__0x2e__0x2e_0112_bit0 -x_0x2e__0x2e__0x2e_0112_bit1 -x_0x2e__0x2e__0x2e_0112_bit2 -x_0x2e__0x2e__0x2e_0112_bit3 -x_0x2e__0x2e__0x2e_0113_bit0 x_0x2e__0x2e__0x2e_0113_bit1 -x_0x2e__0x2e__0x2e_0113_bit2 -x_0x2e__0x2e__0x2e_0114_bit0 -x_0x2e__0x2e__0x2e_0114_bit1 -x_0x2e__0x2e__0x2e_0114_bit2 -x_0x2e__0x2e__0x2e_0115_bit0 -x_0x2e__0x2e__0x2e_0115_bit1 -x_0x2e__0x2e__0x2e_0116_bit0 -x_0x2e__0x2e__0x2e_0116_bit1 -x_0x2e__0x2e__0x2e_0117_bit0 -x_0x2e__0x2e__0x2e_0210_bit0 -x_0x2e__0x2e__0x2e_0210_bit1 -x_0x2e__0x2e__0x2e_0210_bit2 -x_0x2e__0x2e__0x2e_0211_bit0 -x_0x2e__0x2e__0x2e_0211_bit1 -x_0x2e__0x2e__0x2e_0211_bit2 -x_0x2e__0x2e__0x2e_0212_bit0 -x_0x2e__0x2e__0x2e_0212_bit1 -x_0x2e__0x2e__0x2e_0212_bit2 -x_0x2e__0x2e__0x2e_0212_bit3 x_0x2e__0x2e__0x2e_0213_bit0 -x_0x2e__0x2e__0x2e_0213_bit1 -x_0x2e__0x2e__0x2e_0213_bit2 -x_0x2e__0x2e__0x2e_0214_bit0 -x_0x2e__0x2e__0x2e_0214_bit1 -x_0x2e__0x2e__0x2e_0214_bit2 -x_0x2e__0x2e__0x2e_0215_bit0 -x_0x2e__0x2e__0x2e_0215_bit1 x_0x2e__0x2e__0x2e_0216_bit0 -x_0x2e__0x2e__0x2e_0216_bit1 -x_0x2e__0x2e__0x2e_0217_bit0 -x_0x2e__0x2e__0x2e_0310_bit0 -x_0x2e__0x2e__0x2e_0310_bit1 -x_0x2e__0x2e__0x2e_0310_bit2 -x_0x2e__0x2e__0x2e_0311_bit0 -x_0x2e__0x2e__0x2e_0311_bit1 -x_0x2e__0x2e__0x2e_0311_bit2 -x_0x2e__0x2e__0x2e_0312_bit0 -x_0x2e__0x2e__0x2e_0312_bit1 -x_0x2e__0x2e__0x2e_0312_bit2 -x_0x2e__0x2e__0x2e_0312_bit3 -x_0x2e__0x2e__0x2e_0313_bit0 -x_0x2e__0x2e__0x2e_0313_bit1 -x_0x2e__0x2e__0x2e_0313_bit2 -x_0x2e__0x2e__0x2e_0314_bit0 -x_0x2e__0x2e__0x2e_0314_bit1 -x_0x2e__0x2e__0x2e_0314_bit2 -x_0x2e__0x2e__0x2e_0315_bit0 -x_0x2e__0x2e__0x2e_0315_bit1 -x_0x2e__0x2e__0x2e_0316_bit0 -x_0x2e__0x2e__0x2e_0316_bit1 -x_0x2e__0x2e__0x2e_0317_bit0 -x_0x2e__0x2e__0x2e_0410_bit0 x_0x2e__0x2e__0x2e_0410_bit1 -x_0x2e__0x2e__0x2e_0410_bit2 -x_0x2e__0x2e__0x2e_0411_bit0 -x_0x2e__0x2e__0x2e_0411_bit1 -x_0x2e__0x2e__0x2e_0411_bit2 -x_0x2e__0x2e__0x2e_0412_bit0 -x_0x2e__0x2e__0x2e_0412_bit1 x_0x2e__0x2e__0x2e_0412_bit2 -x_0x2e__0x2e__0x2e_0412_bit3 x_0x2e__0x2e__0x2e_0413_bit0 -x_0x2e__0x2e__0x2e_0413_bit1 -x_0x2e__0x2e__0x2e_0413_bit2 -x_0x2e__0x2e__0x2e_0414_bit0 -x_0x2e__0x2e__0x2e_0414_bit1 -x_0x2e__0x2e__0x2e_0414_bit2 -x_0x2e__0x2e__0x2e_0415_bit0 -x_0x2e__0x2e__0x2e_0415_bit1 x_0x2e__0x2e__0x2e_0416_bit0 -x_0x2e__0x2e__0x2e_0416_bit1 -x_0x2e__0x2e__0x2e_0417_bit0 -x_0x2e__0x2e__0x2e_0510_bit0 -x_0x2e__0x2e__0x2e_0510_bit1 -x_0x2e__0x2e__0x2e_0510_bit2 -x_0x2e__0x2e__0x2e_0511_bit0 -x_0x2e__0x2e__0x2e_0511_bit1 -x_0x2e__0x2e__0x2e_0511_bit2 -x_0x2e__0x2e__0x2e_0512_bit0 -x_0x2e__0x2e__0x2e_0512_bit1 -x_0x2e__0x2e__0x2e_0512_bit2 -x_0x2e__0x2e__0x2e_0512_bit3 -x_0x2e__0x2e__0x2e_0513_bit0 -x_0x2e__0x2e__0x2e_0513_bit1 -x_0x2e__0x2e__0x2e_0513_bit2 x_0x2e__0x2e__0x2e_0514_bit0 -x_0x2e__0x2e__0x2e_0514_bit1 -x_0x2e__0x2e__0x2e_0514_bit2 -x_0x2e__0x2e__0x2e_0515_bit0 -x_0x2e__0x2e__0x2e_0515_bit1 -x_0x2e__0x2e__0x2e_0516_bit0 -x_0x2e__0x2e__0x2e_0516_bit1 x_0x2e__0x2e__0x2e_0517_bit0 -x_0x2e__0x2e__0x2e_0610_bit0 -x_0x2e__0x2e__0x2e_0610_bit1 -x_0x2e__0x2e__0x2e_0610_bit2 -x_0x2e__0x2e__0x2e_0611_bit0 -x_0x2e__0x2e__0x2e_0611_bit1 -x_0x2e__0x2e__0x2e_0611_bit2 -x_0x2e__0x2e__0x2e_0612_bit0 -x_0x2e__0x2e__0x2e_0612_bit1 -x_0x2e__0x2e__0x2e_0612_bit2 -x_0x2e__0x2e__0x2e_0612_bit3 -x_0x2e__0x2e__0x2e_0613_bit0 -x_0x2e__0x2e__0x2e_0613_bit1 -x_0x2e__0x2e__0x2e_0613_bit2 -x_0x2e__0x2e__0x2e_0614_bit0 -x_0x2e__0x2e__0x2e_0614_bit1 -x_0x2e__0x2e__0x2e_0614_bit2 -x_0x2e__0x2e__0x2e_0615_bit0 -x_0x2e__0x2e__0x2e_0615_bit1 -x_0x2e__0x2e__0x2e_0616_bit0 -x_0x2e__0x2e__0x2e_0616_bit1 -x_0x2e__0x2e__0x2e_0617_bit0 -x_0x2e__0x2e__0x2e_0710_bit0 x_0x2e__0x2e__0x2e_0710_bit1 -x_0x2e__0x2e__0x2e_0710_bit2 -x_0x2e__0x2e__0x2e_0711_bit0 -x_0x2e__0x2e__0x2e_0711_bit1 -x_0x2e__0x2e__0x2e_0711_bit2 -x_0x2e__0x2e__0x2e_0712_bit0 -x_0x2e__0x2e__0x2e_0712_bit1 -x_0x2e__0x2e__0x2e_0712_bit2 -x_0x2e__0x2e__0x2e_0712_bit3 -x_0x2e__0x2e__0x2e_0713_bit0 -x_0x2e__0x2e__0x2e_0713_bit1 -x_0x2e__0x2e__0x2e_0713_bit2 -x_0x2e__0x2e__0x2e_0714_bit0 x_0x2e__0x2e__0x2e_0714_bit1 -x_0x2e__0x2e__0x2e_0714_bit2 x_0x2e__0x2e__0x2e_0715_bit0 -x_0x2e__0x2e__0x2e_0715_bit1 -x_0x2e__0x2e__0x2e_0716_bit0 -x_0x2e__0x2e__0x2e_0716_bit1 -x_0x2e__0x2e__0x2e_0717_bit0 -x_0x2e__0x2e__0x2e_0810_bit0 x_0x2e__0x2e__0x2e_0810_bit1 -x_0x2e__0x2e__0x2e_0810_bit2 -x_0x2e__0x2e__0x2e_0811_bit0 -x_0x2e__0x2e__0x2e_0811_bit1 -x_0x2e__0x2e__0x2e_0811_bit2 -x_0x2e__0x2e__0x2e_0812_bit0 -x_0x2e__0x2e__0x2e_0812_bit1 -x_0x2e__0x2e__0x2e_0812_bit2 -x_0x2e__0x2e__0x2e_0812_bit3 x_0x2e__0x2e__0x2e_0813_bit0 -x_0x2e__0x2e__0x2e_0813_bit1 -x_0x2e__0x2e__0x2e_0813_bit2 -x_0x2e__0x2e__0x2e_0814_bit0 -x_0x2e__0x2e__0x2e_0814_bit1 -x_0x2e__0x2e__0x2e_0814_bit2 -x_0x2e__0x2e__0x2e_0815_bit0 -x_0x2e__0x2e__0x2e_0815_bit1 -x_0x2e__0x2e__0x2e_0816_bit0 -x_0x2e__0x2e__0x2e_0816_bit1 -x_0x2e__0x2e__0x2e_0817_bit0 -x_0x2e__0x2e__0x2e_0910_bit0 -x_0x2e__0x2e__0x2e_0910_bit1 -x_0x2e__0x2e__0x2e_0910_bit2 -x_0x2e__0x2e__0x2e_0911_bit0 -x_0x2e__0x2e__0x2e_0911_bit1 -x_0x2e__0x2e__0x2e_0911_bit2 -x_0x2e__0x2e__0x2e_0912_bit0 -x_0x2e__0x2e__0x2e_0912_bit1 -x_0x2e__0x2e__0x2e_0912_bit2 -x_0x2e__0x2e__0x2e_0912_bit3 -x_0x2e__0x2e__0x2e_0913_bit0 -x_0x2e__0x2e__0x2e_0913_bit1 -x_0x2e__0x2e__0x2e_0913_bit2 -x_0x2e__0x2e__0x2e_0914_bit0 -x_0x2e__0x2e__0x2e_0914_bit1 -x_0x2e__0x2e__0x2e_0914_bit2 -x_0x2e__0x2e__0x2e_0915_bit0 -x_0x2e__0x2e__0x2e_0915_bit1 -x_0x2e__0x2e__0x2e_0916_bit0 -x_0x2e__0x2e__0x2e_0916_bit1 -x_0x2e__0x2e__0x2e_0917_bit0 -x_0x2e__0x2e__0x2e_1010_bit0 -x_0x2e__0x2e__0x2e_1010_bit1 -x_0x2e__0x2e__0x2e_1010_bit2 -x_0x2e__0x2e__0x2e_1011_bit0 x_0x2e__0x2e__0x2e_1011_bit1 -x_0x2e__0x2e__0x2e_1011_bit2 -x_0x2e__0x2e__0x2e_1012_bit0 -x_0x2e__0x2e__0x2e_1012_bit1 x_0x2e__0x2e__0x2e_1012_bit2 -x_0x2e__0x2e__0x2e_1012_bit3 -x_0x2e__0x2e__0x2e_1013_bit0 -x_0x2e__0x2e__0x2e_1013_bit1 -x_0x2e__0x2e__0x2e_1013_bit2 -x_0x2e__0x2e__0x2e_1014_bit0 -x_0x2e__0x2e__0x2e_1014_bit1 -x_0x2e__0x2e__0x2e_1014_bit2 -x_0x2e__0x2e__0x2e_1015_bit0 -x_0x2e__0x2e__0x2e_1015_bit1 -x_0x2e__0x2e__0x2e_1016_bit0 -x_0x2e__0x2e__0x2e_1016_bit1 -x_0x2e__0x2e__0x2e_1017_bit0 -x_0x2e__0x2e__0x2e_1110_bit0 -x_0x2e__0x2e__0x2e_1110_bit1 -x_0x2e__0x2e__0x2e_1110_bit2 -x_0x2e__0x2e__0x2e_1111_bit0 -x_0x2e__0x2e__0x2e_1111_bit1 -x_0x2e__0x2e__0x2e_1111_bit2 -x_0x2e__0x2e__0x2e_1112_bit0 -x_0x2e__0x2e__0x2e_1112_bit1 -x_0x2e__0x2e__0x2e_1112_bit2 -x_0x2e__0x2e__0x2e_1112_bit3 -x_0x2e__0x2e__0x2e_1113_bit0 -x_0x2e__0x2e__0x2e_1113_bit1 -x_0x2e__0x2e__0x2e_1113_bit2 x_0x2e__0x2e__0x2e_1114_bit0 -x_0x2e__0x2e__0x2e_1114_bit1 -x_0x2e__0x2e__0x2e_1114_bit2 x_0x2e__0x2e__0x2e_1115_bit0 -x_0x2e__0x2e__0x2e_1115_bit1 -x_0x2e__0x2e__0x2e_1116_bit0 -x_0x2e__0x2e__0x2e_1116_bit1 -x_0x2e__0x2e__0x2e_1117_bit0 -x_0x2e__0x2e__0x2e_1210_bit0 -x_0x2e__0x2e__0x2e_1210_bit1 -x_0x2e__0x2e__0x2e_1210_bit2 -x_0x2e__0x2e__0x2e_1211_bit0 -x_0x2e__0x2e__0x2e_1211_bit1 -x_0x2e__0x2e__0x2e_1211_bit2 -x_0x2e__0x2e__0x2e_1212_bit0 -x_0x2e__0x2e__0x2e_1212_bit1 -x_0x2e__0x2e__0x2e_1212_bit2 -x_0x2e__0x2e__0x2e_1212_bit3 -x_0x2e__0x2e__0x2e_1213_bit0 -x_0x2e__0x2e__0x2e_1213_bit1 -x_0x2e__0x2e__0x2e_1213_bit2 -x_0x2e__0x2e__0x2e_1214_bit0 -x_0x2e__0x2e__0x2e_1214_bit1 -x_0x2e__0x2e__0x2e_1214_bit2 -x_0x2e__0x2e__0x2e_1215_bit0 -x_0x2e__0x2e__0x2e_1215_bit1 -x_0x2e__0x2e__0x2e_1216_bit0 -x_0x2e__0x2e__0x2e_1216_bit1 -x_0x2e__0x2e__0x2e_1217_bit0 c objectif function=21166 c Total CPU time (ms) : 1239.281 #### 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): 1.21 1.04 1.01 2/54 18814 Raw data (stat): 18814 (runsolver) R 18813 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779739662 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.001 s] Raw data (loadavg): 1.33 1.07 1.02 2/64 18825 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18126 3 1 0 763 36 0 0 25 0 11 0 779739662 858763264 20259 4294967295 134512640 134569956 3221224384 3221213816 1079755601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209659 20259 13086 16 0 209643 0 vsize: 838636 [startup+20.0029 s] Raw data (loadavg): 1.28 1.06 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18126 3 1 0 1709 36 0 0 18 0 11 0 779739662 858427392 20543 4294967295 134512640 134569956 3221224384 3221214296 1131471770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209577 20543 13086 16 0 209561 0 vsize: 838308 [startup+30.0032 s] Raw data (loadavg): 1.31 1.08 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18126 3 1 0 2650 36 0 0 25 0 11 0 779739662 858394624 21000 4294967295 134512640 134569956 3221224384 3221214664 1131235734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 21000 13086 16 0 209553 0 vsize: 838276 [startup+40.0035 s] Raw data (loadavg): 1.26 1.07 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18126 3 1 0 3578 37 0 0 25 0 11 0 779739662 858394624 21521 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 21521 13086 16 0 209553 0 vsize: 838276 [startup+50.0042 s] Raw data (loadavg): 1.22 1.07 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 4499 37 0 0 25 0 11 0 779739662 858394624 21669 4294967295 134512640 134569956 3221224384 3221214752 1131189618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 21669 13086 16 0 209553 0 vsize: 838276 [startup+60.0036 s] Raw data (loadavg): 1.19 1.07 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 5433 38 0 0 25 0 11 0 779739662 858394624 21885 4294967295 134512640 134569956 3221224384 3221214760 1131176833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 21885 13086 16 0 209553 0 vsize: 838276 [startup+70.0049 s] Raw data (loadavg): 1.16 1.07 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 6369 38 0 0 25 0 11 0 779739662 858394624 22120 4294967295 134512640 134569956 3221224384 3221214760 1131176768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 22120 13086 16 0 209553 0 vsize: 838276 [startup+80.0057 s] Raw data (loadavg): 1.13 1.06 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 7318 38 0 0 25 0 11 0 779739662 858394624 22299 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 22299 13086 16 0 209553 0 vsize: 838276 [startup+90.0051 s] Raw data (loadavg): 1.11 1.06 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 8266 39 0 0 25 0 11 0 779739662 858394624 22461 4294967295 134512640 134569956 3221224384 3221214664 1131234138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 22461 13086 16 0 209553 0 vsize: 838276 [startup+100.005 s] Raw data (loadavg): 1.09 1.06 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 9219 39 0 0 24 0 11 0 779739662 858394624 22653 4294967295 134512640 134569956 3221224384 3221214664 1131234862 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 22653 13086 16 0 209553 0 vsize: 838276 [startup+110.006 s] Raw data (loadavg): 1.08 1.06 1.02 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 10181 40 0 0 25 0 11 0 779739662 858394624 22781 4294967295 134512640 134569956 3221224384 3221214664 1131233937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 22781 13086 16 0 209553 0 vsize: 838276 [startup+120.008 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 11141 40 0 0 25 0 11 0 779739662 858394624 22896 4294967295 134512640 134569956 3221224384 3221214664 1131234102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 22896 13086 16 0 209553 0 vsize: 838276 [startup+130.008 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 12101 41 0 0 24 0 11 0 779739662 858394624 22999 4294967295 134512640 134569956 3221224384 3221214664 1131234288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 22999 13086 16 0 209553 0 vsize: 838276 [startup+140.009 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 13067 41 0 0 25 0 11 0 779739662 858394624 23100 4294967295 134512640 134569956 3221224384 3221214096 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 23100 13086 16 0 209553 0 vsize: 838276 [startup+150.01 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 14029 42 0 0 25 0 11 0 779739662 858394624 23206 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 23206 13086 16 0 209553 0 vsize: 838276 [startup+160.009 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 14992 42 0 0 25 0 11 0 779739662 858394624 23289 4294967295 134512640 134569956 3221224384 3221214664 1131234170 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 23289 13086 16 0 209553 0 vsize: 838276 [startup+170.01 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 15949 42 0 0 25 0 11 0 779739662 858394624 23381 4294967295 134512640 134569956 3221224384 3221214664 1131233899 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 23381 13086 16 0 209553 0 vsize: 838276 [startup+180.011 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 16912 42 0 0 25 0 11 0 779739662 858394624 23461 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 23461 13086 16 0 209553 0 vsize: 838276 [startup+190.011 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 17871 43 0 0 25 0 11 0 779739662 858394624 23636 4294967295 134512640 134569956 3221224384 3221214760 1131176833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 23636 13086 16 0 209553 0 vsize: 838276 [startup+200.012 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 18841 43 0 0 25 0 11 0 779739662 858394624 23736 4294967295 134512640 134569956 3221224384 3221214664 1131234045 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 23736 13086 16 0 209553 0 vsize: 838276 [startup+210.012 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 19814 43 0 0 25 0 11 0 779739662 858394624 23806 4294967295 134512640 134569956 3221224384 3221214760 1131176704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 23806 13086 16 0 209553 0 vsize: 838276 [startup+220.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 20786 44 0 0 25 0 11 0 779739662 858394624 23882 4294967295 134512640 134569956 3221224384 3221214808 1131224596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 23882 13086 16 0 209553 0 vsize: 838276 [startup+230.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 21759 44 0 0 25 0 11 0 779739662 858394624 23950 4294967295 134512640 134569956 3221224384 3221214808 1131225156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 23950 13086 16 0 209553 0 vsize: 838276 [startup+240.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 22732 45 0 0 24 0 11 0 779739662 858394624 24018 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24018 13086 16 0 209553 0 vsize: 838276 [startup+250.014 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 23709 45 0 0 25 0 11 0 779739662 858394624 24078 4294967295 134512640 134569956 3221224384 3221214664 1131233977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24078 13086 16 0 209553 0 vsize: 838276 [startup+260.014 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 24683 46 0 0 25 0 11 0 779739662 858394624 24137 4294967295 134512640 134569956 3221224384 3221214760 1131187876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24137 13086 16 0 209553 0 vsize: 838276 [startup+270.016 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 18826 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 25658 46 0 0 25 0 11 0 779739662 858394624 24197 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24197 13086 16 0 209553 0 vsize: 838276 [startup+280.016 s] Raw data (loadavg): 1.00 1.03 1.00 2/67 18829 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 26632 50 0 0 25 0 11 0 779739662 858394624 24248 4294967295 134512640 134569956 3221224384 3221214648 1131218311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 24248 13086 16 0 209553 0 vsize: 838276 [startup+290.016 s] Raw data (loadavg): 1.07 1.04 1.00 2/64 18879 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 27606 50 0 0 25 0 11 0 779739662 858394624 24307 4294967295 134512640 134569956 3221224384 3221214752 1131189618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24307 13086 16 0 209553 0 vsize: 838276 [startup+300.017 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 18879 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 28581 51 0 0 25 0 11 0 779739662 858394624 24367 4294967295 134512640 134569956 3221224384 3221214760 1131187910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24367 13086 16 0 209553 0 vsize: 838276 [startup+310.017 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 18879 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 29559 51 0 0 25 0 11 0 779739662 858394624 24419 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 24419 13086 16 0 209553 0 vsize: 838276 [startup+320.018 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 18879 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 30534 51 0 0 25 0 11 0 779739662 858394624 24470 4294967295 134512640 134569956 3221224384 3221214752 1131189599 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24470 13086 16 0 209553 0 vsize: 838276 [startup+330.019 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 18879 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 31510 51 0 0 25 0 11 0 779739662 858394624 24521 4294967295 134512640 134569956 3221224384 3221214124 1131471755 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24521 13086 16 0 209553 0 vsize: 838276 [startup+340.019 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 18879 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 32485 52 0 0 25 0 11 0 779739662 858394624 24581 4294967295 134512640 134569956 3221224384 3221214664 1131234193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24581 13086 16 0 209553 0 vsize: 838276 [startup+350.02 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 18879 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 33464 52 0 0 25 0 11 0 779739662 858394624 24623 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24623 13086 16 0 209553 0 vsize: 838276 [startup+360.021 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 34440 53 0 0 25 0 11 0 779739662 858394624 24674 4294967295 134512640 134569956 3221224384 3221214664 1131233887 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24674 13086 16 0 209553 0 vsize: 838276 [startup+370.022 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 35417 53 0 0 25 0 11 0 779739662 858394624 24725 4294967295 134512640 134569956 3221224384 3221214124 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24725 13086 16 0 209553 0 vsize: 838276 [startup+380.023 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 36396 53 0 0 25 0 11 0 779739662 858394624 24768 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24768 13086 16 0 209553 0 vsize: 838276 [startup+390.023 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 37372 53 0 0 25 0 11 0 779739662 858394624 24819 4294967295 134512640 134569956 3221224384 3221214760 1131176807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24819 13086 16 0 209553 0 vsize: 838276 [startup+400.024 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 38347 54 0 0 25 0 11 0 779739662 858394624 24861 4294967295 134512640 134569956 3221224384 3221214672 1131203061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24861 13086 16 0 209553 0 vsize: 838276 [startup+410.024 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) S 18813 3944 3943 0 -1 0 18127 3 1 0 39323 54 0 0 25 0 11 0 779739662 858394624 24912 4294967295 134512640 134569956 3221224384 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24912 13086 16 0 209553 0 vsize: 838276 [startup+420.025 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 40291 54 0 0 25 0 11 0 779739662 858394624 24982 4294967295 134512640 134569956 3221224384 3221214760 1131188414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 24982 13086 16 0 209553 0 vsize: 838276 [startup+430.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 41257 54 0 0 25 0 11 0 779739662 858394624 25033 4294967295 134512640 134569956 3221224384 3221214672 1131204116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 25033 13086 16 0 209553 0 vsize: 838276 [startup+440.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 42224 55 0 0 25 0 11 0 779739662 858394624 25092 4294967295 134512640 134569956 3221224384 3221214648 1131218292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 25092 13086 16 0 209553 0 vsize: 838276 [startup+450.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 43191 55 0 0 25 0 11 0 779739662 858394624 25202 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25202 13086 16 0 209553 0 vsize: 838276 [startup+460.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 44152 55 0 0 25 0 11 0 779739662 858394624 25283 4294967295 134512640 134569956 3221224384 3221214760 1131176856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25283 13086 16 0 209553 0 vsize: 838276 [startup+470.028 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 45112 55 0 0 25 0 11 0 779739662 858394624 25332 4294967295 134512640 134569956 3221224384 3221214760 1131176704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25332 13086 16 0 209553 0 vsize: 838276 [startup+480.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 46073 55 0 0 25 0 11 0 779739662 858394624 25391 4294967295 134512640 134569956 3221224384 3221214664 1131235670 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25391 13086 16 0 209553 0 vsize: 838276 [startup+490.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 47044 55 0 0 17 0 11 0 779739662 858394624 25613 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25613 13086 16 0 209553 0 vsize: 838276 [startup+500.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 48020 56 0 0 24 0 11 0 779739662 858394624 25692 4294967295 134512640 134569956 3221224384 3221214664 1131233943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25692 13086 16 0 209553 0 vsize: 838276 [startup+510.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 48998 56 0 0 24 0 11 0 779739662 858394624 25734 4294967295 134512640 134569956 3221224384 3221214664 1131234085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25734 13086 16 0 209553 0 vsize: 838276 [startup+520.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 49978 56 0 0 25 0 11 0 779739662 858394624 25782 4294967295 134512640 134569956 3221224384 3221214664 1131234175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25782 13086 16 0 209553 0 vsize: 838276 [startup+530.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 50957 56 0 0 25 0 11 0 779739662 858394624 25833 4294967295 134512640 134569956 3221224384 3221214664 1131234225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25833 13086 16 0 209553 0 vsize: 838276 [startup+540.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 51936 56 0 0 25 0 11 0 779739662 858394624 25879 4294967295 134512640 134569956 3221224384 3221214760 1131176807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25879 13086 16 0 209553 0 vsize: 838276 [startup+550.032 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 52916 56 0 0 25 0 11 0 779739662 858394624 25916 4294967295 134512640 134569956 3221224384 3221214664 1131233960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25916 13086 16 0 209553 0 vsize: 838276 [startup+560.032 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 53893 57 0 0 25 0 11 0 779739662 858394624 25976 4294967295 134512640 134569956 3221224384 3221214760 1131176721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 25976 13086 16 0 209553 0 vsize: 838276 [startup+570.033 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 54872 57 0 0 25 0 11 0 779739662 858394624 26020 4294967295 134512640 134569956 3221224384 3221214672 1131203061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26020 13086 16 0 209553 0 vsize: 838276 [startup+580.033 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 55852 57 0 0 25 0 11 0 779739662 858394624 26057 4294967295 134512640 134569956 3221224384 3221214760 1131176752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26057 13086 16 0 209553 0 vsize: 838276 [startup+590.033 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 56831 57 0 0 25 0 11 0 779739662 858394624 26102 4294967295 134512640 134569956 3221224384 3221214760 1131176704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26102 13086 16 0 209553 0 vsize: 838276 [startup+600.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 57811 57 0 0 25 0 11 0 779739662 858394624 26137 4294967295 134512640 134569956 3221224384 3221214664 1131234288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26137 13086 16 0 209553 0 vsize: 838276 [startup+610.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 58792 57 0 0 25 0 11 0 779739662 858394624 26173 4294967295 134512640 134569956 3221224384 3221214664 1131233893 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26173 13086 16 0 209553 0 vsize: 838276 [startup+620.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 59773 57 0 0 25 0 11 0 779739662 858394624 26208 4294967295 134512640 134569956 3221224384 3221214664 1131234154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26208 13086 16 0 209553 0 vsize: 838276 [startup+630.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 60753 58 0 0 25 0 11 0 779739662 858394624 26244 4294967295 134512640 134569956 3221224384 3221214664 1131235734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26244 13086 16 0 209553 0 vsize: 838276 [startup+640.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 61734 58 0 0 19 0 11 0 779739662 858394624 26279 4294967295 134512640 134569956 3221224384 3221214760 1131176704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26279 13086 16 0 209553 0 vsize: 838276 [startup+650.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18881 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 62715 58 0 0 25 0 11 0 779739662 858394624 26316 4294967295 134512640 134569956 3221224384 3221214808 1131224261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26316 13086 16 0 209553 0 vsize: 838276 [startup+660.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 63696 58 0 0 25 0 11 0 779739662 858394624 26352 4294967295 134512640 134569956 3221224384 3221214752 1131189601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26352 13086 16 0 209553 0 vsize: 838276 [startup+670.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 64677 58 0 0 25 0 11 0 779739662 858394624 26388 4294967295 134512640 134569956 3221224384 3221214760 1131187876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26388 13086 16 0 209553 0 vsize: 838276 [startup+680.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 65658 58 0 0 25 0 11 0 779739662 858394624 26421 4294967295 134512640 134569956 3221224384 3221214616 1131241241 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26421 13086 16 0 209553 0 vsize: 838276 [startup+690.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 66640 58 0 0 25 0 11 0 779739662 858394624 26451 4294967295 134512640 134569956 3221224384 3221214664 1131234271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26451 13086 16 0 209553 0 vsize: 838276 [startup+700.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 67621 59 0 0 24 0 11 0 779739662 858394624 26486 4294967295 134512640 134569956 3221224384 3221214760 1131176807 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26486 13086 16 0 209553 0 vsize: 838276 [startup+710.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 68602 59 0 0 25 0 11 0 779739662 858394624 26521 4294967295 134512640 134569956 3221224384 3221214760 1131188182 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26521 13086 16 0 209553 0 vsize: 838276 [startup+720.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 69586 59 0 0 25 0 11 0 779739662 858394624 26548 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 26548 13086 16 0 209553 0 vsize: 838276 [startup+730.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 70567 59 0 0 25 0 11 0 779739662 858394624 26583 4294967295 134512640 134569956 3221224384 3221214504 1131470080 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26583 13086 16 0 209553 0 vsize: 838276 [startup+740.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 71548 59 0 0 25 0 11 0 779739662 858394624 26610 4294967295 134512640 134569956 3221224384 3221214756 1131233856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26610 13086 16 0 209553 0 vsize: 838276 [startup+750.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 72530 59 0 0 25 0 11 0 779739662 858394624 26645 4294967295 134512640 134569956 3221224384 3221214808 1131224091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26645 13086 16 0 209553 0 vsize: 838276 [startup+760.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 73511 59 0 0 25 0 11 0 779739662 858394624 26679 4294967295 134512640 134569956 3221224384 3221214808 1131224482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26679 13086 16 0 209553 0 vsize: 838276 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 74493 59 0 0 25 0 11 0 779739662 858394624 26707 4294967295 134512640 134569956 3221224384 3221214452 1131471760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26707 13086 16 0 209553 0 vsize: 838276 [startup+780.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 75475 60 0 0 25 0 11 0 779739662 858394624 26741 4294967295 134512640 134569956 3221224384 3221214664 1131234229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26741 13086 16 0 209553 0 vsize: 838276 [startup+790.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 76456 60 0 0 25 0 11 0 779739662 858394624 26769 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26769 13086 16 0 209553 0 vsize: 838276 [startup+800.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 77438 60 0 0 25 0 11 0 779739662 858394624 26803 4294967295 134512640 134569956 3221224384 3221214760 1131176884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26803 13086 16 0 209553 0 vsize: 838276 [startup+810.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 78420 60 0 0 25 0 11 0 779739662 858394624 26832 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26832 13086 16 0 209553 0 vsize: 838276 [startup+820.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 79401 60 0 0 25 0 11 0 779739662 858394624 26865 4294967295 134512640 134569956 3221224384 3221214124 1131471760 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26865 13086 16 0 209553 0 vsize: 838276 [startup+830.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 80383 60 0 0 25 0 11 0 779739662 858394624 26894 4294967295 134512640 134569956 3221224384 3221214756 1131233856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26894 13086 16 0 209553 0 vsize: 838276 [startup+840.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 81365 60 0 0 25 0 11 0 779739662 858394624 26921 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26921 13086 16 0 209553 0 vsize: 838276 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 82347 60 0 0 25 0 11 0 779739662 858394624 26957 4294967295 134512640 134569956 3221224384 3221214664 1131234154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26957 13086 16 0 209553 0 vsize: 838276 [startup+860.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 83329 60 0 0 25 0 11 0 779739662 858394624 26984 4294967295 134512640 134569956 3221224384 3221214808 1131224087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 26984 13086 16 0 209553 0 vsize: 838276 [startup+870.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 84311 60 0 0 25 0 11 0 779739662 858394624 27011 4294967295 134512640 134569956 3221224384 3221214808 1131224091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27011 13086 16 0 209553 0 vsize: 838276 [startup+880.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 85293 61 0 0 25 0 11 0 779739662 858394624 27047 4294967295 134512640 134569956 3221224384 3221214664 1131235734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27047 13086 16 0 209553 0 vsize: 838276 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 86275 61 0 0 25 0 11 0 779739662 858394624 27073 4294967295 134512640 134569956 3221224384 3221214760 1131176704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27073 13086 16 0 209553 0 vsize: 838276 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 87257 61 0 0 25 0 11 0 779739662 858394624 27100 4294967295 134512640 134569956 3221224384 3221214616 1131241078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27100 13086 16 0 209553 0 vsize: 838276 [startup+910.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 88239 61 0 0 25 0 11 0 779739662 858394624 27133 4294967295 134512640 134569956 3221224384 3221214760 1131188161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27133 13086 16 0 209553 0 vsize: 838276 [startup+920.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 89221 61 0 0 25 0 11 0 779739662 858394624 27162 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27162 13086 16 0 209553 0 vsize: 838276 [startup+930.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 90202 61 0 0 25 0 11 0 779739662 858394624 27192 4294967295 134512640 134569956 3221224384 3221214648 1131218323 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27192 13086 16 0 209553 0 vsize: 838276 [startup+940.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 91183 61 0 0 25 0 11 0 779739662 858394624 27219 4294967295 134512640 134569956 3221224384 3221214760 1131188228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27219 13086 16 0 209553 0 vsize: 838276 [startup+950.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 92164 61 0 0 25 0 11 0 779739662 858394624 27246 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27246 13086 16 0 209553 0 vsize: 838276 [startup+960.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 93146 61 0 0 25 0 11 0 779739662 858394624 27281 4294967295 134512640 134569956 3221224384 3221214808 1131224261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27281 13086 16 0 209553 0 vsize: 838276 [startup+970.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 94128 61 0 0 25 0 11 0 779739662 858394624 27316 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27316 13086 16 0 209553 0 vsize: 838276 [startup+980.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 95110 62 0 0 24 0 11 0 779739662 858394624 27344 4294967295 134512640 134569956 3221224384 3221214808 1131224573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27344 13086 16 0 209553 0 vsize: 838276 [startup+990.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 96092 62 0 0 25 0 11 0 779739662 858394624 27373 4294967295 134512640 134569956 3221224384 3221214664 1131234154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27373 13086 16 0 209553 0 vsize: 838276 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 97075 62 0 0 24 0 11 0 779739662 858394624 27399 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27399 13086 16 0 209553 0 vsize: 838276 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 98057 62 0 0 24 0 11 0 779739662 858394624 27426 4294967295 134512640 134569956 3221224384 3221214760 1131187876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27426 13086 16 0 209553 0 vsize: 838276 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) S 18813 3944 3943 0 -1 0 18127 3 1 0 99040 62 0 0 25 0 11 0 779739662 858394624 27452 4294967295 134512640 134569956 3221224384 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27452 13086 16 0 209553 0 vsize: 838276 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 100024 62 0 0 25 0 11 0 779739662 858394624 27478 4294967295 134512640 134569956 3221224384 3221214664 1131234006 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27478 13086 16 0 209553 0 vsize: 838276 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 101007 62 0 0 25 0 11 0 779739662 858394624 27504 4294967295 134512640 134569956 3221224384 3221214664 1131235734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27504 13086 16 0 209553 0 vsize: 838276 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 101989 62 0 0 25 0 11 0 779739662 858394624 27533 4294967295 134512640 134569956 3221224384 3221214672 1131203066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27533 13086 16 0 209553 0 vsize: 838276 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 102971 62 0 0 25 0 11 0 779739662 858394624 27558 4294967295 134512640 134569956 3221224384 3221214760 1131176704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27558 13086 16 0 209553 0 vsize: 838276 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 103954 62 0 0 25 0 11 0 779739662 858394624 27584 4294967295 134512640 134569956 3221224384 3221214752 1131189599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27584 13086 16 0 209553 0 vsize: 838276 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 104936 62 0 0 25 0 11 0 779739662 858394624 27611 4294967295 134512640 134569956 3221224384 3221214664 1131235716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 27611 13086 16 0 209553 0 vsize: 838276 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 105919 63 0 0 25 0 11 0 779739662 858394624 27637 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27637 13086 16 0 209553 0 vsize: 838276 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 106901 63 0 0 25 0 11 0 779739662 858394624 27657 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27657 13086 16 0 209553 0 vsize: 838276 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 107884 63 0 0 25 0 11 0 779739662 858394624 27684 4294967295 134512640 134569956 3221224384 3221214616 1131241162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27684 13086 16 0 209553 0 vsize: 838276 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 108866 63 0 0 25 0 11 0 779739662 858394624 27710 4294967295 134512640 134569956 3221224384 3221214664 1131235239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27710 13086 16 0 209553 0 vsize: 838276 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 109849 63 0 0 25 0 11 0 779739662 858394624 27737 4294967295 134512640 134569956 3221224384 3221214664 1131234103 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27737 13086 16 0 209553 0 vsize: 838276 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 110831 63 0 0 25 0 11 0 779739662 858394624 27763 4294967295 134512640 134569956 3221224384 3221214672 1131204116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27763 13086 16 0 209553 0 vsize: 838276 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 111814 63 0 0 25 0 11 0 779739662 858394624 27790 4294967295 134512640 134569956 3221224384 3221214664 1131234868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27790 13086 16 0 209553 0 vsize: 838276 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 112796 63 0 0 25 0 11 0 779739662 858394624 27816 4294967295 134512640 134569956 3221224384 3221214760 1131188106 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27816 13086 16 0 209553 0 vsize: 838276 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 113779 64 0 0 25 0 11 0 779739662 858394624 27841 4294967295 134512640 134569956 3221224384 3221214664 1131234102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27841 13086 16 0 209553 0 vsize: 838276 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 114761 64 0 0 25 0 11 0 779739662 858394624 27861 4294967295 134512640 134569956 3221224384 3221214752 1131189610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27861 13086 16 0 209553 0 vsize: 838276 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 115744 64 0 0 25 0 11 0 779739662 858394624 27887 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 27887 13086 16 0 209553 0 vsize: 838276 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 116726 64 0 0 25 0 11 0 779739662 858394624 27914 4294967295 134512640 134569956 3221224384 3221214760 1131188252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 27914 13086 16 0 209553 0 vsize: 838276 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 117708 65 0 0 25 0 11 0 779739662 858394624 27940 4294967295 134512640 134569956 3221224384 3221214664 1131234102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 27940 13086 16 0 209553 0 vsize: 838276 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 118690 65 0 0 24 0 11 0 779739662 858394624 27965 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 27965 13086 16 0 209553 0 vsize: 838276 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 119673 65 0 0 25 0 11 0 779739662 858394624 27985 4294967295 134512640 134569956 3221224384 3221214752 1131189618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209569 27985 13086 16 0 209553 0 vsize: 838276 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 18883 Raw data (stat): 18814 (java) R 18813 3944 3943 0 -1 0 18127 3 1 0 120655 66 0 0 25 0 11 0 779739662 858394624 28012 4294967295 134512640 134569956 3221224384 3221214664 1131234017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209569 28012 13086 16 0 209553 0 vsize: 838276 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.35 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 18885 Raw data (stat): 18814 (java) Z 18813 3944 3943 0 -1 1036 18127 8557 1 0 120674 66 3039 32 25 0 1 0 779739662 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1240.35 CPU time (s): 1238.13 CPU user time (s): 1237.14 CPU system time (s): 0.990849 CPU usage (%): 99.8206 Max. virtual memory (Kb): 838636 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 21166 #### END VERIFIER DATA ####