Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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 | 1175.14 |
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 wulflinc12 THE 2005-05-25 14:01:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21431 boxname=wulflinc12 idbench=1419 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: f1382105ee9fb79777762a53cf6a73c1 /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-gt2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-gt2.opb IDLAUNCH: 21431 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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.091 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: 362164 kB Buffers: 34536 kB Cached: 616680 kB SwapCached: 564 kB Active: 51332 kB Inactive: 602308 kB HighTotal: 131008 kB HighFree: 8680 kB LowTotal: 903652 kB LowFree: 353484 kB SwapTotal: 2097136 kB SwapFree: 2096076 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5680 kB Slab: 13272 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 14:22:11 (client local time) WITH STATUS 143 IN 1247.29 SECONDS stats: 21431 0 1247.29 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/wulflinc12/normalized-mps-v2-13-7-gt2.opb c reading problem ... done. Time 1.104 ms. c #vars 556 c #constraints 180 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 21962 Current CPU time: 8.43 ms c CURRENT OPTIMUM= 21166 Current CPU time: 18.40 ms c starts : 8 c conflicts : 1460 c decisions : 13969 c propagations : 93043 c inspects : 1038780 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1460 c root simplifications : 689 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.259 #### 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.86 0.98 0.99 2/54 12296 Raw data (stat): 12296 (runsolver) R 12295 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781210654 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.0019 s] Raw data (loadavg): 1.04 1.01 1.00 4/64 12307 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18138 3 1 0 740 38 0 0 25 0 11 0 781210654 856993792 19900 4294967295 134512640 134569956 3221224368 3221213580 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 19900 13086 16 0 209211 0 vsize: 836908 [startup+20.0331 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18139 3 1 0 1683 38 0 0 25 0 11 0 781210654 856993792 20093 4294967295 134512640 134569956 3221224368 3221214688 1131214601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209227 20093 13086 16 0 209211 0 vsize: 836908 [startup+30.0336 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18139 3 1 0 2614 38 0 0 24 0 11 0 781210654 856993792 20665 4294967295 134512640 134569956 3221224368 3221214744 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 20665 13086 16 0 209211 0 vsize: 836908 [startup+40.0344 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 3532 39 0 0 25 0 11 0 781210654 856993792 21150 4294967295 134512640 134569956 3221224368 3221214744 1131172113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 21150 13086 16 0 209211 0 vsize: 836908 [startup+50.0357 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 4453 39 0 0 25 0 11 0 781210654 856993792 21325 4294967295 134512640 134569956 3221224368 3221214688 1131214598 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 21325 13086 16 0 209211 0 vsize: 836908 [startup+60.0366 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 5373 39 0 0 25 0 11 0 781210654 856993792 21624 4294967295 134512640 134569956 3221224368 3221214788 1131214156 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209227 21624 13086 16 0 209211 0 vsize: 836908 [startup+70.037 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 6305 40 0 0 25 0 11 0 781210654 856993792 21869 4294967295 134512640 134569956 3221224368 3221214688 1131214889 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 21869 13086 16 0 209211 0 vsize: 836908 [startup+80.0383 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 7246 40 0 0 25 0 11 0 781210654 856993792 22059 4294967295 134512640 134569956 3221224368 3221214792 1131491828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 22059 13086 16 0 209211 0 vsize: 836908 [startup+90.0388 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 8197 40 0 0 25 0 11 0 781210654 856993792 22216 4294967295 134512640 134569956 3221224368 3221214688 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 22216 13086 16 0 209211 0 vsize: 836908 [startup+100.039 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 9149 40 0 0 25 0 11 0 781210654 856993792 22413 4294967295 134512640 134569956 3221224368 3221214768 1131242403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 22413 13086 16 0 209211 0 vsize: 836908 [startup+110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 10104 41 0 0 25 0 11 0 781210654 856993792 22545 4294967295 134512640 134569956 3221224368 3221214664 1131214186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 22545 13086 16 0 209211 0 vsize: 836908 [startup+120.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 11060 41 0 0 25 0 11 0 781210654 856993792 22656 4294967295 134512640 134569956 3221224368 3221214664 1131214510 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 22656 13086 16 0 209211 0 vsize: 836908 [startup+130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 12017 41 0 0 25 0 11 0 781210654 856993792 22782 4294967295 134512640 134569956 3221224368 3221214664 1131214760 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 22782 13086 16 0 209211 0 vsize: 836908 [startup+140.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 12974 41 0 0 25 0 11 0 781210654 856993792 22883 4294967295 134512640 134569956 3221224368 3221214664 1131214721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 22883 13086 16 0 209211 0 vsize: 836908 [startup+150.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 13925 42 0 0 25 0 11 0 781210654 856993792 22985 4294967295 134512640 134569956 3221224368 3221214664 1131214898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 22985 13086 16 0 209211 0 vsize: 836908 [startup+160.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 14878 42 0 0 25 0 11 0 781210654 856993792 23093 4294967295 134512640 134569956 3221224368 3221214720 1131172250 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23093 13086 16 0 209211 0 vsize: 836908 [startup+170.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 15833 43 0 0 25 0 11 0 781210654 856993792 23293 4294967295 134512640 134569956 3221224368 3221214664 1131214840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23293 13086 16 0 209211 0 vsize: 836908 [startup+180.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 16799 43 0 0 25 0 11 0 781210654 856993792 23389 4294967295 134512640 134569956 3221224368 3221214664 1131214181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23389 13086 16 0 209211 0 vsize: 836908 [startup+190.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 17766 43 0 0 25 0 11 0 781210654 856993792 23475 4294967295 134512640 134569956 3221224368 3221214664 1131214772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23475 13086 16 0 209211 0 vsize: 836908 [startup+200.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 18735 43 0 0 25 0 11 0 781210654 856993792 23557 4294967295 134512640 134569956 3221224368 3221214696 1131456268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23557 13086 16 0 209211 0 vsize: 836908 [startup+210.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 19704 44 0 0 25 0 11 0 781210654 856993792 23633 4294967295 134512640 134569956 3221224368 3221214664 1131215387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23633 13086 16 0 209211 0 vsize: 836908 [startup+220.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12308 Raw data (stat): 12296 (java) S 12295 32284 32283 0 -1 0 18140 3 1 0 20672 45 0 0 25 0 11 0 781210654 856993792 23701 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23701 13086 16 0 209211 0 vsize: 836908 [startup+230.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 21641 45 0 0 25 0 11 0 781210654 856993792 23778 4294967295 134512640 134569956 3221224368 3221214744 1131237089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23778 13086 16 0 209211 0 vsize: 836908 [startup+240.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 22613 46 0 0 25 0 11 0 781210654 856993792 23846 4294967295 134512640 134569956 3221224368 3221214664 1131214225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23846 13086 16 0 209211 0 vsize: 836908 [startup+250.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 23585 46 0 0 25 0 11 0 781210654 856993792 23905 4294967295 134512640 134569956 3221224368 3221214680 1131227362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23905 13086 16 0 209211 0 vsize: 836908 [startup+260.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 24557 47 0 0 25 0 11 0 781210654 856993792 23973 4294967295 134512640 134569956 3221224368 3221214184 1131483272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 23973 13086 16 0 209211 0 vsize: 836908 [startup+270.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 25529 47 0 0 25 0 11 0 781210654 856993792 24034 4294967295 134512640 134569956 3221224368 3221214776 1131437251 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24034 13086 16 0 209211 0 vsize: 836908 [startup+280.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 26503 47 0 0 25 0 11 0 781210654 856993792 24093 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24093 13086 16 0 209211 0 vsize: 836908 [startup+290.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 27473 48 0 0 24 0 11 0 781210654 856993792 24162 4294967295 134512640 134569956 3221224368 3221214720 1131172093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24162 13086 16 0 209211 0 vsize: 836908 [startup+300.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 28447 48 0 0 25 0 11 0 781210654 856993792 24221 4294967295 134512640 134569956 3221224368 3221214192 1131484856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24221 13086 16 0 209211 0 vsize: 836908 [startup+310.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 29421 48 0 0 25 0 11 0 781210654 856993792 24281 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24281 13086 16 0 209211 0 vsize: 836908 [startup+320.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 30395 49 0 0 25 0 11 0 781210654 856993792 24332 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24332 13086 16 0 209211 0 vsize: 836908 [startup+330.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 31370 49 0 0 25 0 11 0 781210654 856993792 24391 4294967295 134512640 134569956 3221224368 3221214664 1131215367 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24391 13086 16 0 209211 0 vsize: 836908 [startup+340.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 32343 49 0 0 25 0 11 0 781210654 856993792 24442 4294967295 134512640 134569956 3221224368 3221214664 1131214177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24442 13086 16 0 209211 0 vsize: 836908 [startup+350.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 33312 50 0 0 25 0 11 0 781210654 856993792 24502 4294967295 134512640 134569956 3221224368 3221214664 1131214530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24502 13086 16 0 209211 0 vsize: 836908 [startup+360.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 34282 50 0 0 25 0 11 0 781210654 856993792 24573 4294967295 134512640 134569956 3221224368 3221214664 1131214620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24573 13086 16 0 209211 0 vsize: 836908 [startup+370.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 35244 50 0 0 25 0 11 0 781210654 856993792 24632 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24632 13086 16 0 209211 0 vsize: 836908 [startup+380.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 36207 50 0 0 25 0 11 0 781210654 856993792 24696 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24696 13086 16 0 209211 0 vsize: 836908 [startup+390.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 37163 51 0 0 25 0 11 0 781210654 856993792 24822 4294967295 134512640 134569956 3221224368 3221214664 1131215341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24822 13086 16 0 209211 0 vsize: 836908 [startup+400.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 38120 51 0 0 25 0 11 0 781210654 856993792 24916 4294967295 134512640 134569956 3221224368 3221214776 1131437304 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24916 13086 16 0 209211 0 vsize: 836908 [startup+410.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 39075 52 0 0 25 0 11 0 781210654 856993792 24965 4294967295 134512640 134569956 3221224368 3221214668 1131227717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 24965 13086 16 0 209211 0 vsize: 836908 [startup+420.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 40027 52 0 0 25 0 11 0 781210654 856993792 25186 4294967295 134512640 134569956 3221224368 3221214664 1131214192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25186 13086 16 0 209211 0 vsize: 836908 [startup+430.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 40999 52 0 0 25 0 11 0 781210654 856993792 25291 4294967295 134512640 134569956 3221224368 3221214764 1131214156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25291 13086 16 0 209211 0 vsize: 836908 [startup+440.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 41971 53 0 0 25 0 11 0 781210654 856993792 25357 4294967295 134512640 134569956 3221224368 3221214664 1131214814 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25357 13086 16 0 209211 0 vsize: 836908 [startup+450.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 42947 53 0 0 25 0 11 0 781210654 856993792 25415 4294967295 134512640 134569956 3221224368 3221214664 1131214257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25415 13086 16 0 209211 0 vsize: 836908 [startup+460.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 43921 53 0 0 25 0 11 0 781210654 856993792 25469 4294967295 134512640 134569956 3221224368 3221214768 1131241957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25469 13086 16 0 209211 0 vsize: 836908 [startup+470.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 44897 54 0 0 25 0 11 0 781210654 856993792 25521 4294967295 134512640 134569956 3221224368 3221214664 1131215341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25521 13086 16 0 209211 0 vsize: 836908 [startup+480.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 45871 54 0 0 25 0 11 0 781210654 856993792 25569 4294967295 134512640 134569956 3221224368 3221214664 1131214898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25569 13086 16 0 209211 0 vsize: 836908 [startup+490.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 46847 55 0 0 25 0 11 0 781210654 856993792 25620 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25620 13086 16 0 209211 0 vsize: 836908 [startup+500.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 47822 55 0 0 25 0 11 0 781210654 856993792 25667 4294967295 134512640 134569956 3221224368 3221214720 1131172302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25667 13086 16 0 209211 0 vsize: 836908 [startup+510.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 48799 55 0 0 25 0 11 0 781210654 856993792 25712 4294967295 134512640 134569956 3221224368 3221214664 1131215454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25712 13086 16 0 209211 0 vsize: 836908 [startup+520.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 49776 55 0 0 25 0 11 0 781210654 856993792 25756 4294967295 134512640 134569956 3221224368 3221214516 1131486153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25756 13086 16 0 209211 0 vsize: 836908 [startup+530.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 50752 55 0 0 24 0 11 0 781210654 856993792 25801 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25801 13086 16 0 209211 0 vsize: 836908 [startup+540.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 51731 56 0 0 25 0 11 0 781210654 856993792 25845 4294967295 134512640 134569956 3221224368 3221214720 1131172113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25845 13086 16 0 209211 0 vsize: 836908 [startup+550.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 52707 56 0 0 25 0 11 0 781210654 856993792 25890 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25890 13086 16 0 209211 0 vsize: 836908 [startup+560.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 53686 56 0 0 25 0 11 0 781210654 856993792 25925 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25925 13086 16 0 209211 0 vsize: 836908 [startup+570.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 54662 57 0 0 25 0 11 0 781210654 856993792 25971 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 25971 13086 16 0 209211 0 vsize: 836908 [startup+580.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 55641 57 0 0 25 0 11 0 781210654 856993792 26007 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26007 13086 16 0 209211 0 vsize: 836908 [startup+590.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 56617 58 0 0 25 0 11 0 781210654 856993792 26051 4294967295 134512640 134569956 3221224368 3221214664 1131214784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26051 13086 16 0 209211 0 vsize: 836908 [startup+600.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 57594 58 0 0 25 0 11 0 781210654 856993792 26087 4294967295 134512640 134569956 3221224368 3221214768 1131242958 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26087 13086 16 0 209211 0 vsize: 836908 [startup+610.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 58573 58 0 0 25 0 11 0 781210654 856993792 26129 4294967295 134512640 134569956 3221224368 3221214776 1131437304 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26129 13086 16 0 209211 0 vsize: 836908 [startup+620.069 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 59550 59 0 0 25 0 11 0 781210654 856993792 26167 4294967295 134512640 134569956 3221224368 3221214192 1131484820 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26167 13086 16 0 209211 0 vsize: 836908 [startup+630.069 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 60530 59 0 0 25 0 11 0 781210654 856993792 26202 4294967295 134512640 134569956 3221224368 3221214720 1131172120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26202 13086 16 0 209211 0 vsize: 836908 [startup+640.07 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 61506 60 0 0 25 0 11 0 781210654 856993792 26244 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26244 13086 16 0 209211 0 vsize: 836908 [startup+650.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 62484 60 0 0 25 0 11 0 781210654 856993792 26282 4294967295 134512640 134569956 3221224368 3221214720 1131172113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26282 13086 16 0 209211 0 vsize: 836908 [startup+660.072 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 63463 61 0 0 25 0 11 0 781210654 856993792 26317 4294967295 134512640 134569956 3221224368 3221214664 1131214562 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26317 13086 16 0 209211 0 vsize: 836908 [startup+670.072 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 64440 61 0 0 25 0 11 0 781210654 856993792 26353 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26353 13086 16 0 209211 0 vsize: 836908 [startup+680.073 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 65419 62 0 0 25 0 11 0 781210654 856993792 26388 4294967295 134512640 134569956 3221224368 3221214664 1131214169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26388 13086 16 0 209211 0 vsize: 836908 [startup+690.074 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 66397 62 0 0 25 0 11 0 781210654 856993792 26424 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26424 13086 16 0 209211 0 vsize: 836908 [startup+700.074 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 67374 62 0 0 25 0 11 0 781210654 856993792 26466 4294967295 134512640 134569956 3221224368 3221214664 1131214796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26466 13086 16 0 209211 0 vsize: 836908 [startup+710.075 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 68354 63 0 0 25 0 11 0 781210654 856993792 26495 4294967295 134512640 134569956 3221224368 3221214664 1131215059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26495 13086 16 0 209211 0 vsize: 836908 [startup+720.076 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 69331 63 0 0 25 0 11 0 781210654 856993792 26537 4294967295 134512640 134569956 3221224368 3221214664 1131214189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26537 13086 16 0 209211 0 vsize: 836908 [startup+730.077 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 70311 64 0 0 25 0 11 0 781210654 856993792 26567 4294967295 134512640 134569956 3221224368 3221214768 1131242302 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26567 13086 16 0 209211 0 vsize: 836908 [startup+740.077 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 71289 64 0 0 25 0 11 0 781210654 856993792 26603 4294967295 134512640 134569956 3221224368 3221214664 1131215045 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26603 13086 16 0 209211 0 vsize: 836908 [startup+750.078 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 72269 64 0 0 25 0 11 0 781210654 856993792 26639 4294967295 134512640 134569956 3221224368 3221214664 1131214543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209227 26639 13086 16 0 209211 0 vsize: 836908 [startup+760.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 73246 65 0 0 25 0 11 0 781210654 856993792 26674 4294967295 134512640 134569956 3221224368 3221214664 1131215026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26674 13086 16 0 209211 0 vsize: 836908 [startup+770.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 74224 65 0 0 25 0 11 0 781210654 856993792 26710 4294967295 134512640 134569956 3221224368 3221214664 1131214530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26710 13086 16 0 209211 0 vsize: 836908 [startup+780.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 75203 65 0 0 25 0 11 0 781210654 856993792 26746 4294967295 134512640 134569956 3221224368 3221214664 1131214215 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26746 13086 16 0 209211 0 vsize: 836908 [startup+790.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 76180 66 0 0 25 0 11 0 781210654 856993792 26781 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26781 13086 16 0 209211 0 vsize: 836908 [startup+800.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 77159 66 0 0 25 0 11 0 781210654 856993792 26811 4294967295 134512640 134569956 3221224368 3221214192 1131483232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26811 13086 16 0 209211 0 vsize: 836908 [startup+810.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 78136 67 0 0 25 0 11 0 781210654 856993792 26847 4294967295 134512640 134569956 3221224368 3221214768 1131241957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26847 13086 16 0 209211 0 vsize: 836908 [startup+820.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 79113 67 0 0 24 0 11 0 781210654 856993792 26890 4294967295 134512640 134569956 3221224368 3221214720 1131172117 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26890 13086 16 0 209211 0 vsize: 836908 [startup+830.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 80093 68 0 0 25 0 11 0 781210654 856993792 26926 4294967295 134512640 134569956 3221224368 3221213832 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26926 13086 16 0 209211 0 vsize: 836908 [startup+840.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 81071 69 0 0 25 0 11 0 781210654 856993792 26956 4294967295 134512640 134569956 3221224368 3221214768 1131243006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26956 13086 16 0 209211 0 vsize: 836908 [startup+850.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 82050 69 0 0 25 0 11 0 781210654 856993792 26992 4294967295 134512640 134569956 3221224368 3221214664 1131214796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 26992 13086 16 0 209211 0 vsize: 836908 [startup+860.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 83028 70 0 0 25 0 11 0 781210654 856993792 27025 4294967295 134512640 134569956 3221224368 3221214664 1131215006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27025 13086 16 0 209211 0 vsize: 836908 [startup+870.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 84007 70 0 0 24 0 11 0 781210654 856993792 27054 4294967295 134512640 134569956 3221224368 3221214664 1131215006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27054 13086 16 0 209211 0 vsize: 836908 [startup+880.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 84987 70 0 0 25 0 11 0 781210654 856993792 27087 4294967295 134512640 134569956 3221224368 3221214764 1131215521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27087 13086 16 0 209211 0 vsize: 836908 [startup+890.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 85965 70 0 0 25 0 11 0 781210654 856993792 27117 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27117 13086 16 0 209211 0 vsize: 836908 [startup+900.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 86945 71 0 0 25 0 11 0 781210654 856993792 27152 4294967295 134512640 134569956 3221224368 3221214768 1131242399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27152 13086 16 0 209211 0 vsize: 836908 [startup+910.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 87923 71 0 0 25 0 11 0 781210654 856993792 27179 4294967295 134512640 134569956 3221224368 3221214664 1131215088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27179 13086 16 0 209211 0 vsize: 836908 [startup+920.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 88901 72 0 0 24 0 11 0 781210654 856993792 27214 4294967295 134512640 134569956 3221224368 3221214664 1131214832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27214 13086 16 0 209211 0 vsize: 836908 [startup+930.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 89881 72 0 0 25 0 11 0 781210654 856993792 27241 4294967295 134512640 134569956 3221224368 3221214104 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27241 13086 16 0 209211 0 vsize: 836908 [startup+940.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 90860 73 0 0 25 0 11 0 781210654 856993792 27276 4294967295 134512640 134569956 3221224368 3221214664 1131214271 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27276 13086 16 0 209211 0 vsize: 836908 [startup+950.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) S 12295 32284 32283 0 -1 0 18140 3 1 0 91839 73 0 0 25 0 11 0 781210654 856993792 27303 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27303 13086 16 0 209211 0 vsize: 836908 [startup+960.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 92818 74 0 0 25 0 11 0 781210654 856993792 27336 4294967295 134512640 134569956 3221224368 3221214768 1131241957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27336 13086 16 0 209211 0 vsize: 836908 [startup+970.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 93796 74 0 0 25 0 11 0 781210654 856993792 27365 4294967295 134512640 134569956 3221224368 3221214768 1131242938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27365 13086 16 0 209211 0 vsize: 836908 [startup+980.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 94777 75 0 0 25 0 11 0 781210654 856993792 27391 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27391 13086 16 0 209211 0 vsize: 836908 [startup+990.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 95755 75 0 0 25 0 11 0 781210654 856993792 27427 4294967295 134512640 134569956 3221224368 3221214768 1131241933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27427 13086 16 0 209211 0 vsize: 836908 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 96736 75 0 0 25 0 11 0 781210654 856993792 27453 4294967295 134512640 134569956 3221224368 3221214720 1131172101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27453 13086 16 0 209211 0 vsize: 836908 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 97714 75 0 0 25 0 11 0 781210654 856993792 27480 4294967295 134512640 134569956 3221224368 3221214664 1131214857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27480 13086 16 0 209211 0 vsize: 836908 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 98693 75 0 0 25 0 11 0 781210654 856993792 27515 4294967295 134512640 134569956 3221224368 3221214664 1131214181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27515 13086 16 0 209211 0 vsize: 836908 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 99674 76 0 0 25 0 11 0 781210654 856993792 27542 4294967295 134512640 134569956 3221224368 3221214720 1131172101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27542 13086 16 0 209211 0 vsize: 836908 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 100652 76 0 0 25 0 11 0 781210654 856993792 27568 4294967295 134512640 134569956 3221224368 3221214664 1131214612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27568 13086 16 0 209211 0 vsize: 836908 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 101631 77 0 0 24 0 11 0 781210654 856993792 27602 4294967295 134512640 134569956 3221224368 3221214664 1131214177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27602 13086 16 0 209211 0 vsize: 836908 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 102611 77 0 0 25 0 11 0 781210654 856993792 27631 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27631 13086 16 0 209211 0 vsize: 836908 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 103590 77 0 0 25 0 11 0 781210654 856993792 27658 4294967295 134512640 134569956 3221224368 3221214664 1131214620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27658 13086 16 0 209211 0 vsize: 836908 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 104570 78 0 0 25 0 11 0 781210654 856993792 27684 4294967295 134512640 134569956 3221224368 3221214768 1131242090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27684 13086 16 0 209211 0 vsize: 836908 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 105549 78 0 0 25 0 11 0 781210654 856993792 27711 4294967295 134512640 134569956 3221224368 3221214664 1131214564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27711 13086 16 0 209211 0 vsize: 836908 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 106529 78 0 0 25 0 11 0 781210654 856993792 27737 4294967295 134512640 134569956 3221224368 3221214664 1131214177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27737 13086 16 0 209211 0 vsize: 836908 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 107508 78 0 0 25 0 11 0 781210654 856993792 27771 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27771 13086 16 0 209211 0 vsize: 836908 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 108486 78 0 0 25 0 11 0 781210654 856993792 27799 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27799 13086 16 0 209211 0 vsize: 836908 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 109465 79 0 0 25 0 11 0 781210654 856993792 27826 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27826 13086 16 0 209211 0 vsize: 836908 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 110443 79 0 0 25 0 11 0 781210654 856993792 27853 4294967295 134512640 134569956 3221224368 3221214664 1131214564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27853 13086 16 0 209211 0 vsize: 836908 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 111421 79 0 0 25 0 11 0 781210654 856993792 27879 4294967295 134512640 134569956 3221224368 3221214768 1131242890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27879 13086 16 0 209211 0 vsize: 836908 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 112399 80 0 0 25 0 11 0 781210654 856993792 27906 4294967295 134512640 134569956 3221224368 3221214664 1131214598 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27906 13086 16 0 209211 0 vsize: 836908 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 113374 80 0 0 25 0 11 0 781210654 856993792 27932 4294967295 134512640 134569956 3221224368 3221214664 1131214601 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27932 13086 16 0 209211 0 vsize: 836908 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 114352 81 0 0 25 0 11 0 781210654 856993792 27959 4294967295 134512640 134569956 3221224368 3221214720 1131172096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27959 13086 16 0 209211 0 vsize: 836908 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 115326 81 0 0 25 0 11 0 781210654 856993792 27986 4294967295 134512640 134569956 3221224368 3221214664 1131214721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 27986 13086 16 0 209211 0 vsize: 836908 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 116304 81 0 0 25 0 11 0 781210654 856993792 28013 4294967295 134512640 134569956 3221224368 3221214664 1131215026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 28013 13086 16 0 209211 0 vsize: 836908 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 117279 82 0 0 25 0 11 0 781210654 856993792 28039 4294967295 134512640 134569956 3221224368 3221214720 1131172113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 28039 13086 16 0 209211 0 vsize: 836908 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 118258 82 0 0 25 0 11 0 781210654 856993792 28067 4294967295 134512640 134569956 3221224368 3221214664 1131215419 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209227 28067 13086 16 0 209211 0 vsize: 836908 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 119234 82 0 0 25 0 11 0 781210654 856993792 28087 4294967295 134512640 134569956 3221224368 3221214664 1131215088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 28087 13086 16 0 209211 0 vsize: 836908 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 12310 Raw data (stat): 12296 (java) R 12295 32284 32283 0 -1 0 18140 3 1 0 120212 83 0 0 25 0 11 0 781210654 856993792 28105 4294967295 134512640 134569956 3221224368 3221214768 1131241943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209227 28105 13086 16 0 209211 0 vsize: 836908 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.34 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 12312 Raw data (stat): 12296 (java) Z 12295 32284 32283 0 -1 1036 18140 12721 1 0 120231 88 4364 44 25 0 1 0 781210654 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): 1240.34 CPU time (s): 1247.29 CPU user time (s): 1245.96 CPU system time (s): 1.3288 CPU usage (%): 100.56 Max. virtual memory (Kb): 836908 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 21166 #### END VERIFIER DATA ####