Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-noswot.opb |
MD5SUM | 7e99578ddcc33d345a5429ff14167339 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 425 |
Biggest coefficient in the objective function | 65536 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 3276775 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 113777046323200 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 235765682083953 |
Number of bits of the biggest sum of numbers | 48 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 165.164 |
Number of variables | 1060 |
Total number of constraints | 282 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 75 |
Number of constraints which are nor clauses,nor cardinality constraints | 207 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 425 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-05-25 12:52:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21326 boxname=wulflinc30 idbench=1314 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 7e99578ddcc33d345a5429ff14167339 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-noswot.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-noswot.opb IDLAUNCH: 21326 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 607588 kB Buffers: 38284 kB Cached: 365804 kB SwapCached: 716 kB Active: 104056 kB Inactive: 302128 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 607336 kB SwapTotal: 2097892 kB SwapFree: 2096344 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5016 kB Slab: 15192 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 13:12:34 (client local time) WITH STATUS 143 IN 1238.43 SECONDS stats: 21326 0 1238.43 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/wulflinc30/normalized-mps-v2-13-7-noswot.opb c reading problem ... done. Time 3.054 ms. c #vars 1060 c #constraints 209 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= -5 Current CPU time: 4.52 ms c CURRENT OPTIMUM= -6 Current CPU time: 6.67 ms c CURRENT OPTIMUM= -7 Current CPU time: 7.41 ms c CURRENT OPTIMUM= -9 Current CPU time: 9.76 ms c CURRENT OPTIMUM= -10 Current CPU time: 10.19 ms c CURRENT OPTIMUM= -12 Current CPU time: 16.31 ms c CURRENT OPTIMUM= -14 Current CPU time: 16.92 ms c CURRENT OPTIMUM= -19 Current CPU time: 29.88 ms c CURRENT OPTIMUM= -21 Current CPU time: 30.77 ms c CURRENT OPTIMUM= -30 Current CPU time: 777.16 ms c CURRENT OPTIMUM= -31 Current CPU time: 1103.01 ms c starts : 14 c conflicts : 578 c decisions : 19734 c propagations : 92036 c inspects : 1994934 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 578 c root simplifications : 588 s SATISFIABLE v X11_bit0 X11_bit1 X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 X12_bit0 X12_bit1 X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 X13_bit0 -X13_bit1 -X13_bit2 X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X24_bit0 -X24_bit1 X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit13 -X41_bit14 -X41_bit15 -X41_bit16 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit13 -X42_bit14 -X42_bit15 -X42_bit16 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X43_bit13 -X43_bit14 -X43_bit15 -X43_bit16 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit13 -X44_bit14 -X44_bit15 -X44_bit16 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit13 -X45_bit14 -X45_bit15 -X45_bit16 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit13 -X51_bit14 -X51_bit15 -X51_bit16 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit13 -X52_bit14 -X52_bit15 -X52_bit16 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit13 -X53_bit14 -X53_bit15 -X53_bit16 -X54_bit0 X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit13 -X54_bit14 -X54_bit15 -X54_bit16 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit13 -X55_bit14 -X55_bit15 -X55_bit16 T121_bit0 -T122_bit0 -T123_bit0 T124_bit0 T125_bit0 -T131_bit0 T132_bit0 -T133_bit0 -T134_bit0 -T135_bit0 -T141_bit0 -T142_bit0 -T143_bit0 -T144_bit0 -T145_bit0 -T151_bit0 -T152_bit0 -T153_bit0 T154_bit0 -T155_bit0 -T231_bit0 T232_bit0 T233_bit0 -T234_bit0 -T235_bit0 -T241_bit0 -T242_bit0 -T243_bit0 -T244_bit0 -T245_bit0 -T251_bit0 -T252_bit0 -T253_bit0 -T254_bit0 -T255_bit0 -T341_bit0 -T342_bit0 -T343_bit0 -T344_bit0 -T345_bit0 -T351_bit0 -T352_bit0 -T353_bit0 T354_bit0 -T355_bit0 -T451_bit0 -T452_bit0 -T453_bit0 T454_bit0 -T455_bit0 W11_bit0 W12_bit0 W13_bit0 -W14_bit0 -W15_bit0 W21_bit0 -W22_bit0 -W23_bit0 W24_bit0 -W25_bit0 -W31_bit0 W32_bit0 -W33_bit0 -W34_bit0 -W35_bit0 -W41_bit0 -W42_bit0 -W43_bit0 -W44_bit0 -W45_bit0 -W51_bit0 -W52_bit0 -W53_bit0 W54_bit0 -W55_bit0 S24_bit_7 S24_bit_6 S24_bit_5 S24_bit_4 S24_bit_3 S24_bit_2 S24_bit_1 S24_bit0 S24_bit1 S24_bit2 -S24_bit3 -S24_bit4 -S24_bit5 -S24_bit6 -S24_bit7 -S24_bit8 -S24_bit9 -S24_bit10 -S24_bit11 -S24_bit12 S54_bit_7 -S54_bit_6 -S54_bit_5 S54_bit_4 -S54_bit_3 -S54_bit_2 -S54_bit_1 S54_bit0 S54_bit1 -S54_bit2 -S54_bit3 -S54_bit4 -S54_bit5 -S54_bit6 -S54_bit7 -S54_bit8 -S54_bit9 -S54_bit10 -S54_bit11 -S54_bit12 -S25_bit_7 -S25_bit_6 -S25_bit_5 -S25_bit_4 -S25_bit_3 -S25_bit_2 -S25_bit_1 -S25_bit0 -S25_bit1 -S25_bit2 -S25_bit3 -S25_bit4 -S25_bit5 -S25_bit6 -S25_bit7 -S25_bit8 -S25_bit9 -S25_bit10 -S25_bit11 -S25_bit12 -S55_bit_7 -S55_bit_6 -S55_bit_5 -S55_bit_4 -S55_bit_3 -S55_bit_2 -S55_bit_1 -S55_bit0 -S55_bit1 -S55_bit2 -S55_bit3 -S55_bit4 -S55_bit5 -S55_bit6 -S55_bit7 -S55_bit8 -S55_bit9 -S55_bit10 -S55_bit11 -S55_bit12 -S31_bit_7 -S31_bit_6 -S31_bit_5 -S31_bit_4 -S31_bit_3 -S31_bit_2 -S31_bit_1 -S31_bit0 -S31_bit1 -S31_bit2 -S31_bit3 -S31_bit4 -S31_bit5 -S31_bit6 -S31_bit7 -S31_bit8 -S31_bit9 -S31_bit10 -S31_bit11 -S31_bit12 S32_bit_7 S32_bit_6 -S32_bit_5 -S32_bit_4 -S32_bit_3 -S32_bit_2 S32_bit_1 -S32_bit0 -S32_bit1 -S32_bit2 -S32_bit3 S32_bit4 -S32_bit5 -S32_bit6 -S32_bit7 -S32_bit8 -S32_bit9 -S32_bit10 -S32_bit11 -S32_bit12 -S33_bit_7 -S33_bit_6 -S33_bit_5 -S33_bit_4 -S33_bit_3 -S33_bit_2 -S33_bit_1 -S33_bit0 -S33_bit1 -S33_bit2 -S33_bit3 -S33_bit4 -S33_bit5 -S33_bit6 -S33_bit7 -S33_bit8 -S33_bit9 -S33_bit10 -S33_bit11 -S33_bit12 -S34_bit_7 -S34_bit_6 -S34_bit_5 -S34_bit_4 -S34_bit_3 -S34_bit_2 -S34_bit_1 -S34_bit0 -S34_bit1 -S34_bit2 -S34_bit3 -S34_bit4 -S34_bit5 -S34_bit6 -S34_bit7 -S34_bit8 -S34_bit9 -S34_bit10 -S34_bit11 -S34_bit12 -S35_bit_7 -S35_bit_6 -S35_bit_5 -S35_bit_4 -S35_bit_3 -S35_bit_2 -S35_bit_1 -S35_bit0 -S35_bit1 -S35_bit2 -S35_bit3 -S35_bit4 -S35_bit5 -S35_bit6 -S35_bit7 -S35_bit8 -S35_bit9 -S35_bit10 -S35_bit11 -S35_bit12 -S41_bit_7 -S41_bit_6 -S41_bit_5 -S41_bit_4 -S41_bit_3 -S41_bit_2 -S41_bit_1 -S41_bit0 -S41_bit1 -S41_bit2 -S41_bit3 -S41_bit4 -S41_bit5 -S41_bit6 -S41_bit7 -S41_bit8 -S41_bit9 -S41_bit10 -S41_bit11 -S41_bit12 -S42_bit_7 -S42_bit_6 -S42_bit_5 -S42_bit_4 -S42_bit_3 -S42_bit_2 -S42_bit_1 -S42_bit0 -S42_bit1 -S42_bit2 -S42_bit3 -S42_bit4 -S42_bit5 -S42_bit6 -S42_bit7 -S42_bit8 -S42_bit9 -S42_bit10 -S42_bit11 -S42_bit12 -S43_bit_7 -S43_bit_6 -S43_bit_5 -S43_bit_4 -S43_bit_3 -S43_bit_2 -S43_bit_1 -S43_bit0 -S43_bit1 -S43_bit2 -S43_bit3 -S43_bit4 -S43_bit5 -S43_bit6 -S43_bit7 -S43_bit8 -S43_bit9 -S43_bit10 -S43_bit11 -S43_bit12 -S44_bit_7 -S44_bit_6 -S44_bit_5 -S44_bit_4 -S44_bit_3 -S44_bit_2 -S44_bit_1 -S44_bit0 -S44_bit1 -S44_bit2 -S44_bit3 -S44_bit4 -S44_bit5 -S44_bit6 -S44_bit7 -S44_bit8 -S44_bit9 -S44_bit10 -S44_bit11 -S44_bit12 -S45_bit_7 -S45_bit_6 -S45_bit_5 -S45_bit_4 -S45_bit_3 -S45_bit_2 -S45_bit_1 -S45_bit0 -S45_bit1 -S45_bit2 -S45_bit3 -S45_bit4 -S45_bit5 -S45_bit6 -S45_bit7 -S45_bit8 -S45_bit9 -S45_bit10 -S45_bit11 -S45_bit12 -S51_bit_7 -S51_bit_6 -S51_bit_5 -S51_bit_4 -S51_bit_3 -S51_bit_2 -S51_bit_1 -S51_bit0 -S51_bit1 -S51_bit2 -S51_bit3 -S51_bit4 -S51_bit5 -S51_bit6 -S51_bit7 -S51_bit8 -S51_bit9 -S51_bit10 -S51_bit11 -S51_bit12 -S52_bit_7 -S52_bit_6 -S52_bit_5 -S52_bit_4 -S52_bit_3 -S52_bit_2 -S52_bit_1 -S52_bit0 -S52_bit1 -S52_bit2 -S52_bit3 -S52_bit4 -S52_bit5 -S52_bit6 -S52_bit7 -S52_bit8 -S52_bit9 -S52_bit10 -S52_bit11 -S52_bit12 -S53_bit_7 -S53_bit_6 -S53_bit_5 -S53_bit_4 -S53_bit_3 -S53_bit_2 -S53_bit_1 -S53_bit0 -S53_bit1 -S53_bit2 -S53_bit3 -S53_bit4 -S53_bit5 -S53_bit6 -S53_bit7 -S53_bit8 -S53_bit9 -S53_bit10 -S53_bit11 -S53_bit12 -V148_bit_7 -V148_bit_6 -V148_bit_5 -V148_bit_4 -V148_bit_3 -V148_bit_2 -V148_bit_1 -V148_bit0 -V148_bit1 -V148_bit2 -V148_bit3 -V148_bit4 -V148_bit5 -V148_bit6 -V148_bit7 -V148_bit8 -V148_bit9 -V148_bit10 -V148_bit11 -V148_bit12 -V150_bit_7 -V150_bit_6 -V150_bit_5 -V150_bit_4 -V150_bit_3 -V150_bit_2 -V150_bit_1 -V150_bit0 -V150_bit1 -V150_bit2 -V150_bit3 -V150_bit4 -V150_bit5 -V150_bit6 -V150_bit7 -V150_bit8 -V150_bit9 -V150_bit10 -V150_bit11 -V150_bit12 -Q246_bit_7 -Q246_bit_6 -Q246_bit_5 -Q246_bit_4 -Q246_bit_3 -Q246_bit_2 -Q246_bit_1 -Q246_bit0 -Q246_bit1 -Q246_bit2 -Q246_bit3 -Q246_bit4 -Q246_bit5 -Q246_bit6 -Q246_bit7 -Q246_bit8 -Q246_bit9 -Q246_bit10 -Q246_bit11 -Q246_bit12 -S11_bit_7 -S11_bit_6 -S11_bit_5 -S11_bit_4 -S11_bit_3 -S11_bit_2 -S11_bit_1 -S11_bit0 -S11_bit1 -S11_bit2 -S11_bit3 -S11_bit4 -S11_bit5 -S11_bit6 -S11_bit7 -S11_bit8 -S11_bit9 -S11_bit10 -S11_bit11 -S11_bit12 S21_bit_7 S21_bit_6 -S21_bit_5 -S21_bit_4 -S21_bit_3 -S21_bit_2 -S21_bit_1 S21_bit0 -S21_bit1 -S21_bit2 -S21_bit3 S21_bit4 -S21_bit5 -S21_bit6 -S21_bit7 -S21_bit8 -S21_bit9 -S21_bit10 -S21_bit11 -S21_bit12 -S12_bit_7 -S12_bit_6 -S12_bit_5 -S12_bit_4 -S12_bit_3 -S12_bit_2 -S12_bit_1 -S12_bit0 -S12_bit1 -S12_bit2 -S12_bit3 -S12_bit4 -S12_bit5 -S12_bit6 -S12_bit7 -S12_bit8 -S12_bit9 -S12_bit10 -S12_bit11 -S12_bit12 -S22_bit_7 -S22_bit_6 -S22_bit_5 -S22_bit_4 -S22_bit_3 -S22_bit_2 -S22_bit_1 -S22_bit0 -S22_bit1 -S22_bit2 -S22_bit3 -S22_bit4 -S22_bit5 -S22_bit6 -S22_bit7 -S22_bit8 -S22_bit9 -S22_bit10 -S22_bit11 -S22_bit12 S13_bit_7 S13_bit_6 S13_bit_5 S13_bit_4 S13_bit_3 S13_bit_2 S13_bit_1 -S13_bit0 -S13_bit1 -S13_bit2 -S13_bit3 -S13_bit4 -S13_bit5 -S13_bit6 -S13_bit7 -S13_bit8 -S13_bit9 -S13_bit10 -S13_bit11 -S13_bit12 -S23_bit_7 -S23_bit_6 -S23_bit_5 -S23_bit_4 -S23_bit_3 -S23_bit_2 -S23_bit_1 -S23_bit0 -S23_bit1 -S23_bit2 -S23_bit3 -S23_bit4 -S23_bit5 -S23_bit6 -S23_bit7 -S23_bit8 -S23_bit9 -S23_bit10 -S23_bit11 -S23_bit12 -S14_bit_7 -S14_bit_6 -S14_bit_5 -S14_bit_4 -S14_bit_3 -S14_bit_2 -S14_bit_1 -S14_bit0 -S14_bit1 -S14_bit2 -S14_bit3 -S14_bit4 -S14_bit5 -S14_bit6 -S14_bit7 -S14_bit8 -S14_bit9 -S14_bit10 -S14_bit11 -S14_bit12 -S15_bit_7 -S15_bit_6 -S15_bit_5 -S15_bit_4 -S15_bit_3 -S15_bit_2 -S15_bit_1 -S15_bit0 -S15_bit1 -S15_bit2 -S15_bit3 -S15_bit4 -S15_bit5 -S15_bit6 -S15_bit7 -S15_bit8 -S15_bit9 -S15_bit10 -S15_bit11 -S15_bit12 c objectif function=-31 c Total CPU time (ms) : 1219.19 #### 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.91 0.97 0.99 2/54 7308 Raw data (stat): 7308 (runsolver) R 7307 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839018098 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.0003 s] Raw data (loadavg): 1.23 1.04 1.01 4/64 7321 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18133 3 1 0 708 37 0 0 25 0 11 0 839018098 864149504 21388 4294967295 134512640 134569956 3221224368 3221214592 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210974 21388 13086 16 0 210958 0 vsize: 843896 [startup+20.0015 s] Raw data (loadavg): 1.35 1.07 1.02 2/64 7325 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18137 3 1 0 1614 37 0 0 25 0 11 0 839018098 869826560 23142 4294967295 134512640 134569956 3221224368 3221214592 1131251014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212360 23142 13086 16 0 212344 0 vsize: 849440 [startup+30.0018 s] Raw data (loadavg): 1.30 1.06 1.02 2/64 7325 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18137 3 1 0 2562 38 0 0 25 0 11 0 839018098 868757504 23018 4294967295 134512640 134569956 3221224368 3221214680 1131401117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212099 23018 13086 16 0 212083 0 vsize: 848396 [startup+40.0016 s] Raw data (loadavg): 1.25 1.06 1.02 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18138 3 1 0 3506 38 0 0 25 0 11 0 839018098 868384768 23041 4294967295 134512640 134569956 3221224368 3221214680 1131401109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212008 23041 13086 16 0 211992 0 vsize: 848032 [startup+50.0018 s] Raw data (loadavg): 1.21 1.06 1.02 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18138 3 1 0 4461 38 0 0 25 0 11 0 839018098 868384768 23505 4294967295 134512640 134569956 3221224368 3221214592 1131252368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212008 23505 13086 16 0 211992 0 vsize: 848032 [startup+60.0023 s] Raw data (loadavg): 1.18 1.06 1.02 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 5440 38 0 0 25 0 11 0 839018098 871530496 24222 4294967295 134512640 134569956 3221224368 3221214592 1131195865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212776 24222 13086 16 0 212760 0 vsize: 851104 [startup+70.003 s] Raw data (loadavg): 1.15 1.05 1.02 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 6425 38 0 0 25 0 11 0 839018098 871530496 24275 4294967295 134512640 134569956 3221224368 3221214680 1131395150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212776 24275 13086 16 0 212760 0 vsize: 851104 [startup+80.0034 s] Raw data (loadavg): 1.13 1.05 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 7411 39 0 0 25 0 11 0 839018098 871530496 24246 4294967295 134512640 134569956 3221224368 3221214592 1131250866 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212776 24246 13086 16 0 212760 0 vsize: 851104 [startup+90.0037 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 8396 39 0 0 25 0 11 0 839018098 870481920 24040 4294967295 134512640 134569956 3221224368 3221214576 1131247785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24040 13086 16 0 212504 0 vsize: 850080 [startup+100.004 s] Raw data (loadavg): 1.09 1.05 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 9382 39 0 0 25 0 11 0 839018098 870481920 24076 4294967295 134512640 134569956 3221224368 3221214592 1131250921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24076 13086 16 0 212504 0 vsize: 850080 [startup+110.004 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 10368 39 0 0 25 0 11 0 839018098 870481920 24113 4294967295 134512640 134569956 3221224368 3221214632 1131290685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24113 13086 16 0 212504 0 vsize: 850080 [startup+120.005 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 11356 40 0 0 25 0 11 0 839018098 870481920 24137 4294967295 134512640 134569956 3221224368 3221214216 1131656077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24137 13086 16 0 212504 0 vsize: 850080 [startup+130.005 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 12344 40 0 0 25 0 11 0 839018098 870481920 24168 4294967295 134512640 134569956 3221224368 3221214592 1131252358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24168 13086 16 0 212504 0 vsize: 850080 [startup+140.006 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 13333 40 0 0 25 0 11 0 839018098 870481920 24192 4294967295 134512640 134569956 3221224368 3221214592 1131195821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24192 13086 16 0 212504 0 vsize: 850080 [startup+150.006 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 14321 41 0 0 25 0 11 0 839018098 870481920 24214 4294967295 134512640 134569956 3221224368 3221214676 1131178604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24214 13086 16 0 212504 0 vsize: 850080 [startup+160.007 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 15312 41 0 0 25 0 11 0 839018098 870481920 24228 4294967295 134512640 134569956 3221224368 3221214592 1131250877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24228 13086 16 0 212504 0 vsize: 850080 [startup+170.007 s] Raw data (loadavg): 1.03 1.03 1.01 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 16300 42 0 0 25 0 11 0 839018098 870481920 24248 4294967295 134512640 134569956 3221224368 3221214680 1131396616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24248 13086 16 0 212504 0 vsize: 850080 [startup+180.007 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 17289 43 0 0 25 0 11 0 839018098 870481920 24268 4294967295 134512640 134569956 3221224368 3221214592 1131250921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24268 13086 16 0 212504 0 vsize: 850080 [startup+190.008 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 18279 43 0 0 25 0 11 0 839018098 870481920 24282 4294967295 134512640 134569956 3221224368 3221214680 1131400432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24282 13086 16 0 212504 0 vsize: 850080 [startup+200.008 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 19269 44 0 0 25 0 11 0 839018098 870481920 24297 4294967295 134512640 134569956 3221224368 3221214576 1131247124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24297 13086 16 0 212504 0 vsize: 850080 [startup+210.008 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 20260 44 0 0 25 0 11 0 839018098 870481920 24311 4294967295 134512640 134569956 3221224368 3221214592 1131252318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24311 13086 16 0 212504 0 vsize: 850080 [startup+220.01 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 21250 44 0 0 25 0 11 0 839018098 870481920 24331 4294967295 134512640 134569956 3221224368 3221214592 1131195873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212520 24331 13086 16 0 212504 0 vsize: 850080 [startup+230.01 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 22242 44 0 0 25 0 11 0 839018098 870481920 24344 4294967295 134512640 134569956 3221224368 3221214592 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24344 13086 16 0 212504 0 vsize: 850080 [startup+240.011 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 23232 44 0 0 25 0 11 0 839018098 870481920 24358 4294967295 134512640 134569956 3221224368 3221214576 1131247805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24358 13086 16 0 212504 0 vsize: 850080 [startup+250.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 24223 45 0 0 25 0 11 0 839018098 870481920 24373 4294967295 134512640 134569956 3221224368 3221214592 1131195832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24373 13086 16 0 212504 0 vsize: 850080 [startup+260.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 25214 45 0 0 25 0 11 0 839018098 870481920 24382 4294967295 134512640 134569956 3221224368 3221214680 1131397184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24382 13086 16 0 212504 0 vsize: 850080 [startup+270.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 26205 45 0 0 25 0 11 0 839018098 870481920 24396 4294967295 134512640 134569956 3221224368 3221214680 1131401184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24396 13086 16 0 212504 0 vsize: 850080 [startup+280.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 27196 45 0 0 25 0 11 0 839018098 870481920 24410 4294967295 134512640 134569956 3221224368 3221214676 1131250752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24410 13086 16 0 212504 0 vsize: 850080 [startup+290.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 28188 45 0 0 25 0 11 0 839018098 870481920 24424 4294967295 134512640 134569956 3221224368 3221214592 1131251001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24424 13086 16 0 212504 0 vsize: 850080 [startup+300.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 29179 45 0 0 25 0 11 0 839018098 870481920 24440 4294967295 134512640 134569956 3221224368 3221214680 1131395118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24440 13086 16 0 212504 0 vsize: 850080 [startup+310.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 30170 45 0 0 25 0 11 0 839018098 870481920 24447 4294967295 134512640 134569956 3221224368 3221214680 1131400604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24447 13086 16 0 212504 0 vsize: 850080 [startup+320.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 31161 45 0 0 25 0 11 0 839018098 870481920 24462 4294967295 134512640 134569956 3221224368 3221214592 1131250986 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24462 13086 16 0 212504 0 vsize: 850080 [startup+330.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 32152 45 0 0 25 0 11 0 839018098 870481920 24469 4294967295 134512640 134569956 3221224368 3221214576 1131247055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24469 13086 16 0 212504 0 vsize: 850080 [startup+340.014 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 33142 45 0 0 25 0 11 0 839018098 870481920 24487 4294967295 134512640 134569956 3221224368 3221214592 1131250861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24487 13086 16 0 212504 0 vsize: 850080 [startup+350.014 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 34133 45 0 0 25 0 11 0 839018098 870481920 24494 4294967295 134512640 134569956 3221224368 3221214592 1131250950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24494 13086 16 0 212504 0 vsize: 850080 [startup+360.015 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 35123 45 0 0 25 0 11 0 839018098 870481920 24509 4294967295 134512640 134569956 3221224368 3221214592 1131251028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24509 13086 16 0 212504 0 vsize: 850080 [startup+370.014 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 36114 45 0 0 25 0 11 0 839018098 870481920 24533 4294967295 134512640 134569956 3221224368 3221214680 1131401184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24533 13086 16 0 212504 0 vsize: 850080 [startup+380.015 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 37106 45 0 0 25 0 11 0 839018098 870481920 24541 4294967295 134512640 134569956 3221224368 3221214680 1131400590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24541 13086 16 0 212504 0 vsize: 850080 [startup+390.015 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 38097 46 0 0 25 0 11 0 839018098 870481920 24556 4294967295 134512640 134569956 3221224368 3221214648 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24556 13086 16 0 212504 0 vsize: 850080 [startup+400.016 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 39089 46 0 0 25 0 11 0 839018098 870481920 24563 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24563 13086 16 0 212504 0 vsize: 850080 [startup+410.017 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 40081 46 0 0 25 0 11 0 839018098 870481920 24575 4294967295 134512640 134569956 3221224368 3221214240 1131680417 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24575 13086 16 0 212504 0 vsize: 850080 [startup+420.017 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 41072 46 0 0 25 0 11 0 839018098 870481920 24581 4294967295 134512640 134569956 3221224368 3221214512 1131251031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24581 13086 16 0 212504 0 vsize: 850080 [startup+430.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 42063 46 0 0 25 0 11 0 839018098 870481920 24587 4294967295 134512640 134569956 3221224368 3221214592 1131178617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24587 13086 16 0 212504 0 vsize: 850080 [startup+440.021 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) S 7307 22056 22055 0 -1 0 18139 3 1 0 43054 46 0 0 25 0 11 0 839018098 870481920 24599 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24599 13086 16 0 212504 0 vsize: 850080 [startup+450.021 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 44046 46 0 0 25 0 11 0 839018098 870481920 24605 4294967295 134512640 134569956 3221224368 3221214512 1131250991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24605 13086 16 0 212504 0 vsize: 850080 [startup+460.022 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 45037 46 0 0 25 0 11 0 839018098 870481920 24623 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24623 13086 16 0 212504 0 vsize: 850080 [startup+470.023 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7327 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 46028 46 0 0 25 0 11 0 839018098 870481920 24629 4294967295 134512640 134569956 3221224368 3221214496 1131247098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24629 13086 16 0 212504 0 vsize: 850080 [startup+480.025 s] Raw data (loadavg): 1.08 1.03 1.00 2/64 7380 Raw data (stat): 7308 (java) S 7307 22056 22055 0 -1 0 18139 3 1 0 47009 53 0 0 25 0 11 0 839018098 870481920 24635 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24635 13086 16 0 212504 0 vsize: 850080 [startup+490.026 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 7380 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 48001 54 0 0 25 0 11 0 839018098 870481920 24651 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24651 13086 16 0 212504 0 vsize: 850080 [startup+500.031 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 7380 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 48992 54 0 0 25 0 11 0 839018098 870481920 24656 4294967295 134512640 134569956 3221224368 3221214512 1131251040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24656 13086 16 0 212504 0 vsize: 850080 [startup+510.032 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 7380 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 49982 55 0 0 25 0 11 0 839018098 870481920 24662 4294967295 134512640 134569956 3221224368 3221214600 1131400604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24662 13086 16 0 212504 0 vsize: 850080 [startup+520.032 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 7380 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 50973 55 0 0 25 0 11 0 839018098 870481920 24675 4294967295 134512640 134569956 3221224368 3221214600 1131395150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24675 13086 16 0 212504 0 vsize: 850080 [startup+530.031 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 7380 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 51965 55 0 0 25 0 11 0 839018098 870481920 24680 4294967295 134512640 134569956 3221224368 3221214600 1131398212 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24680 13086 16 0 212504 0 vsize: 850080 [startup+540.032 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 7380 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 52955 56 0 0 25 0 11 0 839018098 870481920 24695 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24695 13086 16 0 212504 0 vsize: 850080 [startup+550.032 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 53946 57 0 0 25 0 11 0 839018098 870481920 24704 4294967295 134512640 134569956 3221224368 3221214512 1131252318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24704 13086 16 0 212504 0 vsize: 850080 [startup+560.033 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 54938 57 0 0 25 0 11 0 839018098 870481920 24708 4294967295 134512640 134569956 3221224368 3221214600 1131401617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24708 13086 16 0 212504 0 vsize: 850080 [startup+570.034 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 55928 57 0 0 25 0 11 0 839018098 870481920 24713 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24713 13086 16 0 212504 0 vsize: 850080 [startup+580.034 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 56917 58 0 0 25 0 11 0 839018098 870481920 24725 4294967295 134512640 134569956 3221224368 3221214600 1131396616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24725 13086 16 0 212504 0 vsize: 850080 [startup+590.034 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 57908 58 0 0 25 0 11 0 839018098 870481920 24738 4294967295 134512640 134569956 3221224368 3221214544 1131210439 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24738 13086 16 0 212504 0 vsize: 850080 [startup+600.034 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 58898 58 0 0 25 0 11 0 839018098 870481920 24744 4294967295 134512640 134569956 3221224368 3221214568 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24744 13086 16 0 212504 0 vsize: 850080 [startup+610.035 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 59888 59 0 0 25 0 11 0 839018098 870481920 24759 4294967295 134512640 134569956 3221224368 3221214512 1131251533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24759 13086 16 0 212504 0 vsize: 850080 [startup+620.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 60878 59 0 0 25 0 11 0 839018098 870481920 24769 4294967295 134512640 134569956 3221224368 3221214712 1131319772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24769 13086 16 0 212504 0 vsize: 850080 [startup+630.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 61869 60 0 0 25 0 11 0 839018098 870481920 24776 4294967295 134512640 134569956 3221224368 3221214600 1131396118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24776 13086 16 0 212504 0 vsize: 850080 [startup+640.036 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 62860 60 0 0 25 0 11 0 839018098 870481920 24781 4294967295 134512640 134569956 3221224368 3221214512 1131251040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24781 13086 16 0 212504 0 vsize: 850080 [startup+650.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 63850 60 0 0 25 0 11 0 839018098 870481920 24792 4294967295 134512640 134569956 3221224368 3221214600 1131400797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24792 13086 16 0 212504 0 vsize: 850080 [startup+660.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 64840 61 0 0 25 0 11 0 839018098 870481920 24800 4294967295 134512640 134569956 3221224368 3221214512 1131251561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24800 13086 16 0 212504 0 vsize: 850080 [startup+670.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 65831 61 0 0 25 0 11 0 839018098 870481920 24805 4294967295 134512640 134569956 3221224368 3221214496 1131247171 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24805 13086 16 0 212504 0 vsize: 850080 [startup+680.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 66821 61 0 0 25 0 11 0 839018098 870481920 24817 4294967295 134512640 134569956 3221224368 3221214512 1131251639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24817 13086 16 0 212504 0 vsize: 850080 [startup+690.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 67811 62 0 0 25 0 11 0 839018098 870481920 24829 4294967295 134512640 134569956 3221224368 3221214512 1131250833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24829 13086 16 0 212504 0 vsize: 850080 [startup+700.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 68801 62 0 0 25 0 11 0 839018098 870481920 24839 4294967295 134512640 134569956 3221224368 3221214776 1131390870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24839 13086 16 0 212504 0 vsize: 850080 [startup+710.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 69793 62 0 0 25 0 11 0 839018098 870481920 24844 4294967295 134512640 134569956 3221224368 3221214512 1131250875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24844 13086 16 0 212504 0 vsize: 850080 [startup+720.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 70783 63 0 0 25 0 11 0 839018098 870481920 24854 4294967295 134512640 134569956 3221224368 3221214512 1131250933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24854 13086 16 0 212504 0 vsize: 850080 [startup+730.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 71773 63 0 0 25 0 11 0 839018098 870481920 24864 4294967295 134512640 134569956 3221224368 3221214600 1131400488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24864 13086 16 0 212504 0 vsize: 850080 [startup+740.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 72763 63 0 0 25 0 11 0 839018098 870481920 24868 4294967295 134512640 134569956 3221224368 3221214600 1131395062 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24868 13086 16 0 212504 0 vsize: 850080 [startup+750.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 73754 64 0 0 25 0 11 0 839018098 870481920 24880 4294967295 134512640 134569956 3221224368 3221214600 1131400604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24880 13086 16 0 212504 0 vsize: 850080 [startup+760.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 74744 64 0 0 25 0 11 0 839018098 870481920 24890 4294967295 134512640 134569956 3221224368 3221214600 1131396604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24890 13086 16 0 212504 0 vsize: 850080 [startup+770.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7382 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 75735 65 0 0 25 0 11 0 839018098 870481920 24899 4294967295 134512640 134569956 3221224368 3221214600 1131397184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24899 13086 16 0 212504 0 vsize: 850080 [startup+780.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 76725 65 0 0 25 0 11 0 839018098 870481920 24905 4294967295 134512640 134569956 3221224368 3221214512 1131195869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24905 13086 16 0 212504 0 vsize: 850080 [startup+790.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 77714 66 0 0 25 0 11 0 839018098 870481920 24917 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24917 13086 16 0 212504 0 vsize: 850080 [startup+800.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 78705 66 0 0 25 0 11 0 839018098 870481920 24921 4294967295 134512640 134569956 3221224368 3221214600 1131397184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24921 13086 16 0 212504 0 vsize: 850080 [startup+810.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 79692 67 0 0 25 0 11 0 839018098 870481920 24924 4294967295 134512640 134569956 3221224368 3221214512 1131250783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24924 13086 16 0 212504 0 vsize: 850080 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 80680 67 0 0 25 0 11 0 839018098 870481920 24946 4294967295 134512640 134569956 3221224368 3221214600 1131396811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24946 13086 16 0 212504 0 vsize: 850080 [startup+830.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 81671 68 0 0 25 0 11 0 839018098 870481920 24951 4294967295 134512640 134569956 3221224368 3221214496 1131247028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24951 13086 16 0 212504 0 vsize: 850080 [startup+840.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 82661 68 0 0 25 0 11 0 839018098 870481920 24966 4294967295 134512640 134569956 3221224368 3221214600 1131397028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24966 13086 16 0 212504 0 vsize: 850080 [startup+850.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 83649 69 0 0 25 0 11 0 839018098 870481920 24976 4294967295 134512640 134569956 3221224368 3221214496 1131247031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24976 13086 16 0 212504 0 vsize: 850080 [startup+860.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 84639 69 0 0 25 0 11 0 839018098 870481920 24981 4294967295 134512640 134569956 3221224368 3221214512 1131250858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24981 13086 16 0 212504 0 vsize: 850080 [startup+870.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 85629 69 0 0 25 0 11 0 839018098 870481920 24993 4294967295 134512640 134569956 3221224368 3221214592 1131178658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 24993 13086 16 0 212504 0 vsize: 850080 [startup+880.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 86619 70 0 0 25 0 11 0 839018098 870481920 25004 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25004 13086 16 0 212504 0 vsize: 850080 [startup+890.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 87610 70 0 0 25 0 11 0 839018098 870481920 25007 4294967295 134512640 134569956 3221224368 3221214512 1131252336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25007 13086 16 0 212504 0 vsize: 850080 [startup+900.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 88599 70 0 0 25 0 11 0 839018098 870481920 25018 4294967295 134512640 134569956 3221224368 3221214512 1131250904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25018 13086 16 0 212504 0 vsize: 850080 [startup+910.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 89588 71 0 0 25 0 11 0 839018098 870481920 25021 4294967295 134512640 134569956 3221224368 3221214512 1131250783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25021 13086 16 0 212504 0 vsize: 850080 [startup+920.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 90578 71 0 0 25 0 11 0 839018098 870481920 25033 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25033 13086 16 0 212504 0 vsize: 850080 [startup+930.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 91567 71 0 0 25 0 11 0 839018098 870481920 25044 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25044 13086 16 0 212504 0 vsize: 850080 [startup+940.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 92556 72 0 0 25 0 11 0 839018098 870481920 25048 4294967295 134512640 134569956 3221224368 3221214512 1131250871 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25048 13086 16 0 212504 0 vsize: 850080 [startup+950.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 93546 72 0 0 25 0 11 0 839018098 870481920 25061 4294967295 134512640 134569956 3221224368 3221214600 1131400288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25061 13086 16 0 212504 0 vsize: 850080 [startup+960.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 94535 73 0 0 25 0 11 0 839018098 870481920 25072 4294967295 134512640 134569956 3221224368 3221214640 1131336606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25072 13086 16 0 212504 0 vsize: 850080 [startup+970.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 95524 73 0 0 25 0 11 0 839018098 870481920 25076 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25076 13086 16 0 212504 0 vsize: 850080 [startup+980.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 96515 73 0 0 25 0 11 0 839018098 870481920 25085 4294967295 134512640 134569956 3221224368 3221214512 1131251071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25085 13086 16 0 212504 0 vsize: 850080 [startup+990.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 97504 74 0 0 25 0 11 0 839018098 870481920 25094 4294967295 134512640 134569956 3221224368 3221214512 1131251384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25094 13086 16 0 212504 0 vsize: 850080 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 98493 74 0 0 25 0 11 0 839018098 870481920 25099 4294967295 134512640 134569956 3221224368 3221214496 1131247039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25099 13086 16 0 212504 0 vsize: 850080 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 99483 75 0 0 25 0 11 0 839018098 870481920 25108 4294967295 134512640 134569956 3221224368 3221214600 1131395247 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25108 13086 16 0 212504 0 vsize: 850080 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 100472 75 0 0 25 0 11 0 839018098 870481920 25112 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25112 13086 16 0 212504 0 vsize: 850080 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 101461 75 0 0 25 0 11 0 839018098 870481920 25122 4294967295 134512640 134569956 3221224368 3221214496 1131247051 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25122 13086 16 0 212504 0 vsize: 850080 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 102450 76 0 0 25 0 11 0 839018098 870481920 25133 4294967295 134512640 134569956 3221224368 3221214600 1131394890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25133 13086 16 0 212504 0 vsize: 850080 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 103439 76 0 0 25 0 11 0 839018098 870481920 25135 4294967295 134512640 134569956 3221224368 3221214512 1131250875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25135 13086 16 0 212504 0 vsize: 850080 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 104429 77 0 0 25 0 11 0 839018098 870481920 25144 4294967295 134512640 134569956 3221224368 3221214712 1131319792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25144 13086 16 0 212504 0 vsize: 850080 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 105419 77 0 0 25 0 11 0 839018098 870481920 25149 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25149 13086 16 0 212504 0 vsize: 850080 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 106410 77 0 0 25 0 11 0 839018098 870481920 25151 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25151 13086 16 0 212504 0 vsize: 850080 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 107399 78 0 0 25 0 11 0 839018098 870481920 25161 4294967295 134512640 134569956 3221224368 3221214512 1131251071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25161 13086 16 0 212504 0 vsize: 850080 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7385 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 108388 78 0 0 25 0 11 0 839018098 870481920 25163 4294967295 134512640 134569956 3221224368 3221214512 1131251430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25163 13086 16 0 212504 0 vsize: 850080 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 109378 78 0 0 25 0 11 0 839018098 870481920 25171 4294967295 134512640 134569956 3221224368 3221214600 1131394902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25171 13086 16 0 212504 0 vsize: 850080 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 110367 79 0 0 25 0 11 0 839018098 870481920 25174 4294967295 134512640 134569956 3221224368 3221214600 1131397116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25174 13086 16 0 212504 0 vsize: 850080 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 111354 79 0 0 25 0 11 0 839018098 870481920 25191 4294967295 134512640 134569956 3221224368 3221214512 1131250925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25191 13086 16 0 212504 0 vsize: 850080 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 112341 79 0 0 25 0 11 0 839018098 870481920 25198 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25198 13086 16 0 212504 0 vsize: 850080 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 113329 80 0 0 25 0 11 0 839018098 870481920 25225 4294967295 134512640 134569956 3221224368 3221214600 1131400547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25225 13086 16 0 212504 0 vsize: 850080 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 114318 80 0 0 25 0 11 0 839018098 870481920 25229 4294967295 134512640 134569956 3221224368 3221214600 1131396109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25229 13086 16 0 212504 0 vsize: 850080 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 115307 80 0 0 25 0 11 0 839018098 870481920 25242 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25242 13086 16 0 212504 0 vsize: 850080 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 116296 81 0 0 25 0 11 0 839018098 870481920 25251 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25251 13086 16 0 212504 0 vsize: 850080 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 117284 82 0 0 25 0 11 0 839018098 870481920 25256 4294967295 134512640 134569956 3221224368 3221214600 1131396616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25256 13086 16 0 212504 0 vsize: 850080 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 118272 82 0 0 25 0 11 0 839018098 870481920 25266 4294967295 134512640 134569956 3221224368 3221214600 1131396616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25266 13086 16 0 212504 0 vsize: 850080 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 119259 82 0 0 25 0 11 0 839018098 870481920 25282 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25282 13086 16 0 212504 0 vsize: 850080 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7386 Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 120248 83 0 0 25 0 11 0 839018098 870481920 25286 4294967295 134512640 134569956 3221224368 3221214664 1131272563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212520 25286 13086 16 0 212504 0 vsize: 850080 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.23 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 7388 Raw data (stat): 7308 (java) Z 7307 22056 22055 0 -1 1036 18139 16801 1 0 120257 88 3443 54 24 0 1 0 839018098 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): 1220.23 CPU time (s): 1238.43 CPU user time (s): 1237.01 CPU system time (s): 1.42178 CPU usage (%): 101.491 Max. virtual memory (Kb): 851104 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -31 #### END VERIFIER DATA ####