PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-noswot.opb
MD5SUM	64bde1e66dd22efb34c363a61fb9a0ef
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	2275540926464
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	4715313641679
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	139.56
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
Trace number 29981

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 13:26:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21384 boxname=wulflinc19 idbench=1372 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  64bde1e66dd22efb34c363a61fb9a0ef  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-noswot.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-noswot.opb
IDLAUNCH: 21384
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        435496 kB
Buffers:         34872 kB
Cached:         537544 kB
SwapCached:        416 kB
Active:          53024 kB
Inactive:       521744 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        435244 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18780 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:47:16 (client local time) WITH STATUS 143 IN 1230.08 SECONDS
stats: 21384 0 1230.08 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/wulflinc19/normalized-mps-v2-13-7-noswot.opb
c reading problem ... done. Time 3.351 ms.
c #vars     1060
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 4.65 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 7.38 ms
c CURRENT OPTIMUM=                  -7 		Current CPU time: 7.75 ms
c CURRENT OPTIMUM=                  -9 		Current CPU time: 9.78 ms
c CURRENT OPTIMUM=                 -10 		Current CPU time: 10.18 ms
c CURRENT OPTIMUM=                 -11 		Current CPU time: 12.12 ms
c CURRENT OPTIMUM=                 -12 		Current CPU time: 12.58 ms
c CURRENT OPTIMUM=                 -13 		Current CPU time: 16.44 ms
c CURRENT OPTIMUM=                 -14 		Current CPU time: 17.00 ms
c CURRENT OPTIMUM=                 -17 		Current CPU time: 1142.61 ms
c starts	: 14
c conflicts	: 701
c decisions	: 14688
c propagations	: 70716
c inspects	: 1600245
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 701
c root simplifications	: 714
s SATISFIABLE
v -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 -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 -x56_bit0 -x56_bit1 -x56_bit2 -x56_bit3 -x56_bit4 -x56_bit5 -x56_bit6 -x56_bit7 -x56_bit8 -x56_bit9 -x56_bit10 -x56_bit11 -x56_bit12 -x56_bit13 -x56_bit14 -x56_bit15 -x56_bit16 -x58_bit0 -x58_bit1 -x58_bit2 -x58_bit3 -x58_bit4 -x58_bit5 -x58_bit6 -x58_bit7 -x58_bit8 -x58_bit9 -x58_bit10 -x58_bit11 -x58_bit12 -x58_bit13 -x58_bit14 -x58_bit15 -x58_bit16 x60_bit0 x60_bit1 -x60_bit2 -x60_bit3 -x60_bit4 -x60_bit5 -x60_bit6 -x60_bit7 -x60_bit8 -x60_bit9 -x60_bit10 -x60_bit11 -x60_bit12 -x60_bit13 -x60_bit14 -x60_bit15 -x60_bit16 x62_bit0 x62_bit1 -x62_bit2 -x62_bit3 -x62_bit4 -x62_bit5 -x62_bit6 -x62_bit7 -x62_bit8 -x62_bit9 -x62_bit10 -x62_bit11 -x62_bit12 -x62_bit13 -x62_bit14 -x62_bit15 -x62_bit16 x64_bit0 x64_bit1 -x64_bit2 -x64_bit3 -x64_bit4 -x64_bit5 -x64_bit6 -x64_bit7 -x64_bit8 -x64_bit9 -x64_bit10 -x64_bit11 -x64_bit12 -x64_bit13 -x64_bit14 -x64_bit15 -x64_bit16 -x66_bit0 -x66_bit1 -x66_bit2 -x66_bit3 -x66_bit4 -x66_bit5 -x66_bit6 -x66_bit7 -x66_bit8 -x66_bit9 -x66_bit10 -x66_bit11 -x66_bit12 -x66_bit13 -x66_bit14 -x66_bit15 -x66_bit16 x68_bit0 x68_bit1 -x68_bit2 -x68_bit3 -x68_bit4 -x68_bit5 -x68_bit6 -x68_bit7 -x68_bit8 -x68_bit9 -x68_bit10 -x68_bit11 -x68_bit12 -x68_bit13 -x68_bit14 -x68_bit15 -x68_bit16 -x70_bit0 -x70_bit1 -x70_bit2 -x70_bit3 -x70_bit4 -x70_bit5 -x70_bit6 -x70_bit7 -x70_bit8 -x70_bit9 -x70_bit10 -x70_bit11 -x70_bit12 -x70_bit13 -x70_bit14 -x70_bit15 -x70_bit16 -x72_bit0 x72_bit1 -x72_bit2 -x72_bit3 -x72_bit4 -x72_bit5 -x72_bit6 -x72_bit7 -x72_bit8 -x72_bit9 -x72_bit10 -x72_bit11 -x72_bit12 -x72_bit13 -x72_bit14 -x72_bit15 -x72_bit16 -x74_bit0 -x74_bit1 -x74_bit2 -x74_bit3 -x74_bit4 -x74_bit5 -x74_bit6 -x74_bit7 -x74_bit8 -x74_bit9 -x74_bit10 -x74_bit11 -x74_bit12 -x74_bit13 -x74_bit14 -x74_bit15 -x74_bit16 -x76_bit0 -x76_bit1 -x76_bit2 -x76_bit3 -x76_bit4 -x76_bit5 -x76_bit6 -x76_bit7 -x76_bit8 -x76_bit9 -x76_bit10 -x76_bit11 -x76_bit12 -x76_bit13 -x76_bit14 -x76_bit15 -x76_bit16 -x78_bit0 -x78_bit1 -x78_bit2 -x78_bit3 -x78_bit4 -x78_bit5 -x78_bit6 -x78_bit7 -x78_bit8 -x78_bit9 -x78_bit10 -x78_bit11 -x78_bit12 -x78_bit13 -x78_bit14 -x78_bit15 -x78_bit16 -x80_bit0 -x80_bit1 -x80_bit2 -x80_bit3 -x80_bit4 -x80_bit5 -x80_bit6 -x80_bit7 -x80_bit8 -x80_bit9 -x80_bit10 -x80_bit11 -x80_bit12 -x80_bit13 -x80_bit14 -x80_bit15 -x80_bit16 -x82_bit0 -x82_bit1 -x82_bit2 -x82_bit3 -x82_bit4 -x82_bit5 -x82_bit6 -x82_bit7 -x82_bit8 -x82_bit9 -x82_bit10 -x82_bit11 -x82_bit12 -x82_bit13 -x82_bit14 -x82_bit15 -x82_bit16 -x84_bit0 -x84_bit1 -x84_bit2 -x84_bit3 -x84_bit4 -x84_bit5 -x84_bit6 -x84_bit7 -x84_bit8 -x84_bit9 -x84_bit10 -x84_bit11 -x84_bit12 -x84_bit13 -x84_bit14 -x84_bit15 -x84_bit16 -x86_bit0 -x86_bit1 -x86_bit2 -x86_bit3 -x86_bit4 -x86_bit5 -x86_bit6 -x86_bit7 -x86_bit8 -x86_bit9 -x86_bit10 -x86_bit11 -x86_bit12 -x86_bit13 -x86_bit14 -x86_bit15 -x86_bit16 -x88_bit0 -x88_bit1 -x88_bit2 -x88_bit3 -x88_bit4 -x88_bit5 -x88_bit6 -x88_bit7 -x88_bit8 -x88_bit9 -x88_bit10 -x88_bit11 -x88_bit12 -x88_bit13 -x88_bit14 -x88_bit15 -x88_bit16 x90_bit0 -x90_bit1 -x90_bit2 -x90_bit3 -x90_bit4 -x90_bit5 -x90_bit6 -x90_bit7 -x90_bit8 -x90_bit9 -x90_bit10 -x90_bit11 -x90_bit12 -x90_bit13 -x90_bit14 -x90_bit15 -x90_bit16 -x92_bit0 -x92_bit1 -x92_bit2 -x92_bit3 -x92_bit4 -x92_bit5 -x92_bit6 -x92_bit7 -x92_bit8 -x92_bit9 -x92_bit10 -x92_bit11 -x92_bit12 -x92_bit13 -x92_bit14 -x92_bit15 -x92_bit16 -x94_bit0 -x94_bit1 -x94_bit2 -x94_bit3 -x94_bit4 -x94_bit5 -x94_bit6 -x94_bit7 -x94_bit8 -x94_bit9 -x94_bit10 -x94_bit11 -x94_bit12 -x94_bit13 -x94_bit14 -x94_bit15 -x94_bit16 -x96_bit0 -x96_bit1 -x96_bit2 -x96_bit3 -x96_bit4 -x96_bit5 -x96_bit6 -x96_bit7 -x96_bit8 -x96_bit9 -x96_bit10 -x96_bit11 -x96_bit12 -x96_bit13 -x96_bit14 -x96_bit15 -x96_bit16 -x98_bit0 -x98_bit1 -x98_bit2 -x98_bit3 -x98_bit4 -x98_bit5 -x98_bit6 -x98_bit7 -x98_bit8 -x98_bit9 -x98_bit10 -x98_bit11 -x98_bit12 -x98_bit13 -x98_bit14 -x98_bit15 -x98_bit16 -x100_bit0 x100_bit1 -x100_bit2 -x100_bit3 -x100_bit4 -x100_bit5 -x100_bit6 -x100_bit7 -x100_bit8 -x100_bit9 -x100_bit10 -x100_bit11 -x100_bit12 -x100_bit13 -x100_bit14 -x100_bit15 -x100_bit16 x1_bit0 x2_bit0 -x3_bit0 x4_bit0 -x5_bit0 x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x53_bit0 -x55_bit0 -x57_bit0 x59_bit0 x61_bit0 x63_bit0 -x65_bit0 x67_bit0 -x69_bit0 x71_bit0 -x73_bit0 -x75_bit0 -x77_bit0 -x79_bit0 -x81_bit0 -x83_bit0 -x85_bit0 -x87_bit0 x89_bit0 -x91_bit0 -x93_bit0 -x95_bit0 -x97_bit0 x99_bit0 x109_bit_7 -x109_bit_6 -x109_bit_5 x109_bit_4 -x109_bit_3 -x109_bit_2 -x109_bit_1 x109_bit0 x109_bit1 -x109_bit2 x109_bit3 -x109_bit4 -x109_bit5 -x109_bit6 -x109_bit7 -x109_bit8 -x109_bit9 -x109_bit10 -x109_bit11 -x109_bit12 -x124_bit_7 -x124_bit_6 -x124_bit_5 -x124_bit_4 -x124_bit_3 -x124_bit_2 -x124_bit_1 -x124_bit0 -x124_bit1 -x124_bit2 -x124_bit3 -x124_bit4 -x124_bit5 -x124_bit6 -x124_bit7 -x124_bit8 -x124_bit9 -x124_bit10 -x124_bit11 -x124_bit12 -x110_bit_7 -x110_bit_6 -x110_bit_5 -x110_bit_4 -x110_bit_3 -x110_bit_2 -x110_bit_1 -x110_bit0 -x110_bit1 -x110_bit2 -x110_bit3 -x110_bit4 -x110_bit5 -x110_bit6 -x110_bit7 -x110_bit8 -x110_bit9 -x110_bit10 -x110_bit11 -x110_bit12 -x125_bit_7 -x125_bit_6 -x125_bit_5 -x125_bit_4 -x125_bit_3 -x125_bit_2 -x125_bit_1 -x125_bit0 -x125_bit1 -x125_bit2 -x125_bit3 -x125_bit4 -x125_bit5 -x125_bit6 -x125_bit7 -x125_bit8 -x125_bit9 -x125_bit10 -x125_bit11 -x125_bit12 -x111_bit_7 -x111_bit_6 -x111_bit_5 -x111_bit_4 -x111_bit_3 -x111_bit_2 -x111_bit_1 -x111_bit0 -x111_bit1 -x111_bit2 -x111_bit3 -x111_bit4 -x111_bit5 -x111_bit6 -x111_bit7 -x111_bit8 -x111_bit9 -x111_bit10 -x111_bit11 -x111_bit12 -x112_bit_7 -x112_bit_6 -x112_bit_5 -x112_bit_4 -x112_bit_3 -x112_bit_2 -x112_bit_1 -x112_bit0 -x112_bit1 -x112_bit2 -x112_bit3 -x112_bit4 -x112_bit5 -x112_bit6 -x112_bit7 -x112_bit8 -x112_bit9 -x112_bit10 -x112_bit11 -x112_bit12 -x113_bit_7 -x113_bit_6 -x113_bit_5 -x113_bit_4 -x113_bit_3 -x113_bit_2 -x113_bit_1 -x113_bit0 -x113_bit1 -x113_bit2 -x113_bit3 -x113_bit4 -x113_bit5 -x113_bit6 -x113_bit7 -x113_bit8 -x113_bit9 -x113_bit10 -x113_bit11 -x113_bit12 -x114_bit_7 -x114_bit_6 -x114_bit_5 -x114_bit_4 -x114_bit_3 -x114_bit_2 -x114_bit_1 -x114_bit0 -x114_bit1 -x114_bit2 -x114_bit3 -x114_bit4 -x114_bit5 -x114_bit6 -x114_bit7 -x114_bit8 -x114_bit9 -x114_bit10 -x114_bit11 -x114_bit12 -x115_bit_7 -x115_bit_6 -x115_bit_5 -x115_bit_4 -x115_bit_3 -x115_bit_2 -x115_bit_1 -x115_bit0 -x115_bit1 -x115_bit2 -x115_bit3 -x115_bit4 -x115_bit5 -x115_bit6 -x115_bit7 -x115_bit8 -x115_bit9 -x115_bit10 -x115_bit11 -x115_bit12 -x116_bit_7 -x116_bit_6 -x116_bit_5 -x116_bit_4 -x116_bit_3 -x116_bit_2 -x116_bit_1 -x116_bit0 -x116_bit1 -x116_bit2 -x116_bit3 -x116_bit4 -x116_bit5 -x116_bit6 -x116_bit7 -x116_bit8 -x116_bit9 -x116_bit10 -x116_bit11 -x116_bit12 -x117_bit_7 -x117_bit_6 -x117_bit_5 -x117_bit_4 -x117_bit_3 -x117_bit_2 -x117_bit_1 -x117_bit0 -x117_bit1 -x117_bit2 -x117_bit3 -x117_bit4 -x117_bit5 -x117_bit6 -x117_bit7 -x117_bit8 -x117_bit9 -x117_bit10 -x117_bit11 -x117_bit12 -x118_bit_7 -x118_bit_6 -x118_bit_5 -x118_bit_4 -x118_bit_3 -x118_bit_2 -x118_bit_1 -x118_bit0 -x118_bit1 -x118_bit2 -x118_bit3 -x118_bit4 -x118_bit5 -x118_bit6 -x118_bit7 -x118_bit8 -x118_bit9 -x118_bit10 -x118_bit11 -x118_bit12 -x119_bit_7 -x119_bit_6 -x119_bit_5 -x119_bit_4 -x119_bit_3 -x119_bit_2 -x119_bit_1 -x119_bit0 -x119_bit1 -x119_bit2 -x119_bit3 -x119_bit4 -x119_bit5 -x119_bit6 -x119_bit7 -x119_bit8 -x119_bit9 -x119_bit10 -x119_bit11 -x119_bit12 -x120_bit_7 -x120_bit_6 -x120_bit_5 -x120_bit_4 -x120_bit_3 -x120_bit_2 -x120_bit_1 x120_bit0 -x120_bit1 x120_bit2 -x120_bit3 -x120_bit4 -x120_bit5 -x120_bit6 -x120_bit7 -x120_bit8 -x120_bit9 -x120_bit10 -x120_bit11 -x120_bit12 -x121_bit_7 -x121_bit_6 -x121_bit_5 -x121_bit_4 -x121_bit_3 -x121_bit_2 -x121_bit_1 -x121_bit0 -x121_bit1 -x121_bit2 -x121_bit3 -x121_bit4 -x121_bit5 -x121_bit6 -x121_bit7 -x121_bit8 -x121_bit9 -x121_bit10 -x121_bit11 -x121_bit12 -x122_bit_7 -x122_bit_6 -x122_bit_5 -x122_bit_4 -x122_bit_3 -x122_bit_2 -x122_bit_1 -x122_bit0 -x122_bit1 -x122_bit2 -x122_bit3 -x122_bit4 -x122_bit5 -x122_bit6 -x122_bit7 -x122_bit8 -x122_bit9 -x122_bit10 -x122_bit11 -x122_bit12 -x123_bit_7 -x123_bit_6 -x123_bit_5 -x123_bit_4 -x123_bit_3 -x123_bit_2 -x123_bit_1 -x123_bit0 -x123_bit1 -x123_bit2 -x123_bit3 -x123_bit4 -x123_bit5 -x123_bit6 -x123_bit7 -x123_bit8 -x123_bit9 -x123_bit10 -x123_bit11 -x123_bit12 -x127_bit_7 -x127_bit_6 -x127_bit_5 -x127_bit_4 -x127_bit_3 -x127_bit_2 -x127_bit_1 -x127_bit0 -x127_bit1 -x127_bit2 -x127_bit3 -x127_bit4 -x127_bit5 -x127_bit6 -x127_bit7 -x127_bit8 -x127_bit9 -x127_bit10 -x127_bit11 -x127_bit12 -x126_bit_7 -x126_bit_6 -x126_bit_5 -x126_bit_4 -x126_bit_3 -x126_bit_2 -x126_bit_1 -x126_bit0 -x126_bit1 -x126_bit2 -x126_bit3 -x126_bit4 -x126_bit5 -x126_bit6 -x126_bit7 -x126_bit8 -x126_bit9 -x126_bit10 -x126_bit11 -x126_bit12 -x128_bit_7 -x128_bit_6 -x128_bit_5 -x128_bit_4 -x128_bit_3 -x128_bit_2 -x128_bit_1 -x128_bit0 -x128_bit1 -x128_bit2 -x128_bit3 -x128_bit4 -x128_bit5 -x128_bit6 -x128_bit7 -x128_bit8 -x128_bit9 -x128_bit10 -x128_bit11 -x128_bit12 -x101_bit_7 -x101_bit_6 -x101_bit_5 -x101_bit_4 -x101_bit_3 -x101_bit_2 -x101_bit_1 -x101_bit0 -x101_bit1 -x101_bit2 -x101_bit3 -x101_bit4 -x101_bit5 -x101_bit6 -x101_bit7 -x101_bit8 -x101_bit9 -x101_bit10 -x101_bit11 -x101_bit12 x106_bit_7 -x106_bit_6 -x106_bit_5 x106_bit_4 -x106_bit_3 -x106_bit_2 -x106_bit_1 x106_bit0 x106_bit1 -x106_bit2 x106_bit3 -x106_bit4 -x106_bit5 -x106_bit6 -x106_bit7 -x106_bit8 -x106_bit9 -x106_bit10 -x106_bit11 -x106_bit12 -x102_bit_7 -x102_bit_6 -x102_bit_5 -x102_bit_4 -x102_bit_3 -x102_bit_2 -x102_bit_1 -x102_bit0 -x102_bit1 -x102_bit2 -x102_bit3 -x102_bit4 -x102_bit5 -x102_bit6 -x102_bit7 -x102_bit8 -x102_bit9 -x102_bit10 -x102_bit11 -x102_bit12 x107_bit_7 -x107_bit_6 -x107_bit_5 x107_bit_4 -x107_bit_3 -x107_bit_2 -x107_bit_1 x107_bit0 x107_bit1 -x107_bit2 x107_bit3 -x107_bit4 -x107_bit5 -x107_bit6 -x107_bit7 -x107_bit8 -x107_bit9 -x107_bit10 -x107_bit11 -x107_bit12 -x103_bit_7 -x103_bit_6 -x103_bit_5 -x103_bit_4 -x103_bit_3 -x103_bit_2 -x103_bit_1 -x103_bit0 -x103_bit1 -x103_bit2 -x103_bit3 -x103_bit4 -x103_bit5 -x103_bit6 -x103_bit7 -x103_bit8 -x103_bit9 -x103_bit10 -x103_bit11 -x103_bit12 -x108_bit_7 -x108_bit_6 -x108_bit_5 -x108_bit_4 -x108_bit_3 -x108_bit_2 -x108_bit_1 -x108_bit0 -x108_bit1 -x108_bit2 -x108_bit3 -x108_bit4 -x108_bit5 -x108_bit6 -x108_bit7 -x108_bit8 -x108_bit9 -x108_bit10 -x108_bit11 -x108_bit12 -x104_bit_7 -x104_bit_6 -x104_bit_5 -x104_bit_4 -x104_bit_3 -x104_bit_2 -x104_bit_1 -x104_bit0 -x104_bit1 -x104_bit2 -x104_bit3 -x104_bit4 -x104_bit5 -x104_bit6 -x104_bit7 -x104_bit8 -x104_bit9 -x104_bit10 -x104_bit11 -x104_bit12 x105_bit_7 x105_bit_6 x105_bit_5 x105_bit_4 x105_bit_3 x105_bit_2 x105_bit_1 x105_bit0 x105_bit1 x105_bit2 -x105_bit3 -x105_bit4 -x105_bit5 -x105_bit6 -x105_bit7 -x105_bit8 -x105_bit9 -x105_bit10 -x105_bit11 -x105_bit12 
c objectif function=-17
c Total CPU time (ms) : 1219.38
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 1.00 0.99 2/54 24111
Raw data (stat): 24111 (runsolver) R 24110 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839223891 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.0001 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24124
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18112 3 1 0 684 40 0 0 25 0 11 0 839223891 860733440 20715 4294967295 134512640 134569956 3221224368 3221214656 1131259763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210140 20715 13086 16 0 210124 0
vsize: 840560
[startup+20.0013 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18115 3 1 0 1631 41 0 0 25 0 11 0 839223891 859561984 20579 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 20579 13086 16 0 209838 0
vsize: 839416
[startup+30.0016 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18115 3 1 0 2575 41 0 0 24 0 11 0 839223891 859561984 20741 4294967295 134512640 134569956 3221224368 3221214216 1080019654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 20741 13086 16 0 209838 0
vsize: 839416
[startup+40.0051 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 24130
Raw data (stat): 24111 (java) S 24110 10795 10794 0 -1 0 18116 3 1 0 3525 42 0 0 25 0 11 0 839223891 859561984 20839 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 20839 13086 16 0 209838 0
vsize: 839416
[startup+50.0069 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18116 3 1 0 4487 42 0 0 25 0 11 0 839223891 859561984 21234 4294967295 134512640 134569956 3221224368 3221214736 1131178688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21234 13086 16 0 209838 0
vsize: 839416
[startup+60.0072 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 5467 42 0 0 25 0 11 0 839223891 859561984 21318 4294967295 134512640 134569956 3221224368 3221214648 1131196321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 21318 13086 16 0 209838 0
vsize: 839416
[startup+70.0084 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 6449 42 0 0 25 0 11 0 839223891 859561984 21378 4294967295 134512640 134569956 3221224368 3221214732 1131177644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21378 13086 16 0 209838 0
vsize: 839416
[startup+80.0092 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 7434 42 0 0 25 0 11 0 839223891 859561984 21430 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21430 13086 16 0 209838 0
vsize: 839416
[startup+90.0085 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 8419 42 0 0 25 0 11 0 839223891 859561984 21478 4294967295 134512640 134569956 3221224368 3221214720 1131346403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21478 13086 16 0 209838 0
vsize: 839416
[startup+100.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 9404 42 0 0 25 0 11 0 839223891 859561984 21509 4294967295 134512640 134569956 3221224368 3221214624 1131263715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21509 13086 16 0 209838 0
vsize: 839416
[startup+110.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 10391 42 0 0 25 0 11 0 839223891 859561984 21542 4294967295 134512640 134569956 3221224368 3221214736 1131178688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21542 13086 16 0 209838 0
vsize: 839416
[startup+120.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 11377 42 0 0 24 0 11 0 839223891 859561984 21588 4294967295 134512640 134569956 3221224368 3221214736 1131208304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21588 13086 16 0 209838 0
vsize: 839416
[startup+130.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 12365 42 0 0 25 0 11 0 839223891 859561984 21626 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21626 13086 16 0 209838 0
vsize: 839416
[startup+140.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 13354 42 0 0 25 0 11 0 839223891 859561984 21652 4294967295 134512640 134569956 3221224368 3221214624 1131262969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21652 13086 16 0 209838 0
vsize: 839416
[startup+150.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 14344 42 0 0 25 0 11 0 839223891 859561984 21671 4294967295 134512640 134569956 3221224368 3221214648 1131258277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21671 13086 16 0 209838 0
vsize: 839416
[startup+160.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 15334 43 0 0 25 0 11 0 839223891 859561984 21697 4294967295 134512640 134569956 3221224368 3221214648 1131258317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21697 13086 16 0 209838 0
vsize: 839416
[startup+170.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) S 24110 10795 10794 0 -1 0 18117 3 1 0 16324 43 0 0 25 0 11 0 839223891 859561984 21719 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21719 13086 16 0 209838 0
vsize: 839416
[startup+180.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 17313 43 0 0 25 0 11 0 839223891 859561984 21741 4294967295 134512640 134569956 3221224368 3221214736 1131208398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21741 13086 16 0 209838 0
vsize: 839416
[startup+190.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 18303 43 0 0 25 0 11 0 839223891 859561984 21765 4294967295 134512640 134569956 3221224368 3221214784 1131400160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21765 13086 16 0 209838 0
vsize: 839416
[startup+200.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 19293 43 0 0 25 0 11 0 839223891 859561984 21780 4294967295 134512640 134569956 3221224368 3221214648 1131259541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21780 13086 16 0 209838 0
vsize: 839416
[startup+210.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 20282 43 0 0 25 0 11 0 839223891 859561984 21801 4294967295 134512640 134569956 3221224368 3221214760 1131319132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21801 13086 16 0 209838 0
vsize: 839416
[startup+220.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 21270 43 0 0 24 0 11 0 839223891 859561984 21821 4294967295 134512640 134569956 3221224368 3221214732 1131263724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21821 13086 16 0 209838 0
vsize: 839416
[startup+230.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 22259 43 0 0 25 0 11 0 839223891 859561984 21850 4294967295 134512640 134569956 3221224368 3221214648 1131196313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21850 13086 16 0 209838 0
vsize: 839416
[startup+240.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 23248 43 0 0 25 0 11 0 839223891 859561984 21874 4294967295 134512640 134569956 3221224368 3221214784 1131400023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21874 13086 16 0 209838 0
vsize: 839416
[startup+250.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 24237 44 0 0 25 0 11 0 839223891 859561984 21895 4294967295 134512640 134569956 3221224368 3221214648 1131258277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21895 13086 16 0 209838 0
vsize: 839416
[startup+260.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 25225 44 0 0 25 0 11 0 839223891 859561984 21916 4294967295 134512640 134569956 3221224368 3221214736 1131178802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21916 13086 16 0 209838 0
vsize: 839416
[startup+270.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) S 24110 10795 10794 0 -1 0 18117 3 1 0 26213 44 0 0 25 0 11 0 839223891 859561984 21935 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21935 13086 16 0 209838 0
vsize: 839416
[startup+280.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 27201 44 0 0 25 0 11 0 839223891 859561984 21961 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 21961 13086 16 0 209838 0
vsize: 839416
[startup+290.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 28190 44 0 0 25 0 11 0 839223891 859561984 22001 4294967295 134512640 134569956 3221224368 3221214648 1131258351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 22001 13086 16 0 209838 0
vsize: 839416
[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 29179 44 0 0 25 0 11 0 839223891 859561984 22024 4294967295 134512640 134569956 3221224368 3221214648 1131196321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 22024 13086 16 0 209838 0
vsize: 839416
[startup+310.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 30170 44 0 0 25 0 11 0 839223891 859561984 22039 4294967295 134512640 134569956 3221224368 3221214736 1131208063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 22039 13086 16 0 209838 0
vsize: 839416
[startup+320.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 31159 44 0 0 25 0 11 0 839223891 859561984 22055 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 22055 13086 16 0 209838 0
vsize: 839416
[startup+330.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 32149 45 0 0 25 0 11 0 839223891 859561984 22070 4294967295 134512640 134569956 3221224368 3221214648 1131259758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22070 13086 16 0 209838 0
vsize: 839416
[startup+340.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 33139 45 0 0 25 0 11 0 839223891 859561984 22084 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22084 13086 16 0 209838 0
vsize: 839416
[startup+350.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 34128 46 0 0 25 0 11 0 839223891 859561984 22096 4294967295 134512640 134569956 3221224368 3221214736 1131208105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22096 13086 16 0 209838 0
vsize: 839416
[startup+360.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 35117 46 0 0 25 0 11 0 839223891 859561984 22110 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22110 13086 16 0 209838 0
vsize: 839416
[startup+370.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 36108 46 0 0 25 0 11 0 839223891 859561984 22122 4294967295 134512640 134569956 3221224368 3221214736 1131208373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22122 13086 16 0 209838 0
vsize: 839416
[startup+380.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 37097 46 0 0 25 0 11 0 839223891 859561984 22136 4294967295 134512640 134569956 3221224368 3221214760 1131319221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22136 13086 16 0 209838 0
vsize: 839416
[startup+390.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 38087 47 0 0 25 0 11 0 839223891 859561984 22147 4294967295 134512640 134569956 3221224368 3221214624 1131262991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22147 13086 16 0 209838 0
vsize: 839416
[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 39077 47 0 0 25 0 11 0 839223891 859561984 22160 4294967295 134512640 134569956 3221224368 3221214736 1131178688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22160 13086 16 0 209838 0
vsize: 839416
[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 40066 47 0 0 25 0 11 0 839223891 859561984 22171 4294967295 134512640 134569956 3221224368 3221214648 1131258387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22171 13086 16 0 209838 0
vsize: 839416
[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 41056 48 0 0 25 0 11 0 839223891 859561984 22183 4294967295 134512640 134569956 3221224368 3221214736 1131208361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 22183 13086 16 0 209838 0
vsize: 839416
[startup+430.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 42046 48 0 0 25 0 11 0 839223891 859561984 22189 4294967295 134512640 134569956 3221224368 3221214784 1131400954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22189 13086 16 0 209838 0
vsize: 839416
[startup+440.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 43044 48 0 0 25 0 11 0 839223891 859561984 22202 4294967295 134512640 134569956 3221224368 3221214732 1131263724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22202 13086 16 0 209838 0
vsize: 839416
[startup+450.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 44034 49 0 0 25 0 11 0 839223891 859561984 22215 4294967295 134512640 134569956 3221224368 3221214784 1131400484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22215 13086 16 0 209838 0
vsize: 839416
[startup+460.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 45024 49 0 0 25 0 11 0 839223891 859561984 22228 4294967295 134512640 134569956 3221224368 3221214736 1131208393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22228 13086 16 0 209838 0
vsize: 839416
[startup+470.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 46014 49 0 0 25 0 11 0 839223891 859561984 22240 4294967295 134512640 134569956 3221224368 3221214736 1131208304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22240 13086 16 0 209838 0
vsize: 839416
[startup+480.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 47004 49 0 0 25 0 11 0 839223891 859561984 22251 4294967295 134512640 134569956 3221224368 3221214488 1131530292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22251 13086 16 0 209838 0
vsize: 839416
[startup+490.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 47993 50 0 0 25 0 11 0 839223891 859561984 22264 4294967295 134512640 134569956 3221224368 3221214048 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22264 13086 16 0 209838 0
vsize: 839416
[startup+500.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 48984 50 0 0 25 0 11 0 839223891 859561984 22269 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22269 13086 16 0 209838 0
vsize: 839416
[startup+510.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 49974 50 0 0 25 0 11 0 839223891 859561984 22281 4294967295 134512640 134569956 3221224368 3221214736 1131208373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22281 13086 16 0 209838 0
vsize: 839416
[startup+520.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 50963 50 0 0 25 0 11 0 839223891 859561984 22294 4294967295 134512640 134569956 3221224368 3221214736 1131178688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22294 13086 16 0 209838 0
vsize: 839416
[startup+530.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 51954 50 0 0 25 0 11 0 839223891 859561984 22304 4294967295 134512640 134569956 3221224368 3221214608 1131212521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22304 13086 16 0 209838 0
vsize: 839416
[startup+540.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 52942 51 0 0 25 0 11 0 839223891 859561984 22316 4294967295 134512640 134569956 3221224368 3221214624 1131263018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22316 13086 16 0 209838 0
vsize: 839416
[startup+550.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 53932 52 0 0 25 0 11 0 839223891 859561984 22321 4294967295 134512640 134569956 3221224368 3221214736 1131208231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22321 13086 16 0 209838 0
vsize: 839416
[startup+560.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 54922 52 0 0 25 0 11 0 839223891 859561984 22333 4294967295 134512640 134569956 3221224368 3221214736 1131208398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22333 13086 16 0 209838 0
vsize: 839416
[startup+570.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 55912 52 0 0 25 0 11 0 839223891 859561984 22346 4294967295 134512640 134569956 3221224368 3221214760 1131319120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22346 13086 16 0 209838 0
vsize: 839416
[startup+580.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 56900 53 0 0 25 0 11 0 839223891 859561984 22356 4294967295 134512640 134569956 3221224368 3221214648 1131258260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22356 13086 16 0 209838 0
vsize: 839416
[startup+590.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 57890 53 0 0 24 0 11 0 839223891 859561984 22367 4294967295 134512640 134569956 3221224368 3221214648 1131258431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22367 13086 16 0 209838 0
vsize: 839416
[startup+600.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 58879 53 0 0 24 0 11 0 839223891 859561984 22373 4294967295 134512640 134569956 3221224368 3221214648 1131258357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22373 13086 16 0 209838 0
vsize: 839416
[startup+610.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 59868 54 0 0 25 0 11 0 839223891 859561984 22384 4294967295 134512640 134569956 3221224368 3221214752 1131397008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22384 13086 16 0 209838 0
vsize: 839416
[startup+620.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 60858 54 0 0 25 0 11 0 839223891 859561984 22396 4294967295 134512640 134569956 3221224368 3221214736 1131178761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22396 13086 16 0 209838 0
vsize: 839416
[startup+630.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 61847 54 0 0 25 0 11 0 839223891 859561984 22399 4294967295 134512640 134569956 3221224368 3221214648 1131258849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22399 13086 16 0 209838 0
vsize: 839416
[startup+640.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 62837 55 0 0 25 0 11 0 839223891 859561984 22411 4294967295 134512640 134569956 3221224368 3221214608 1131212200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22411 13086 16 0 209838 0
vsize: 839416
[startup+650.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 63826 55 0 0 25 0 11 0 839223891 859561984 22422 4294967295 134512640 134569956 3221224368 3221214624 1131262987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22422 13086 16 0 209838 0
vsize: 839416
[startup+660.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 64815 55 0 0 25 0 11 0 839223891 859561984 22433 4294967295 134512640 134569956 3221224368 3221214736 1131208231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22433 13086 16 0 209838 0
vsize: 839416
[startup+670.156 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 65805 56 0 0 25 0 11 0 839223891 859561984 22438 4294967295 134512640 134569956 3221224368 3221214736 1131208304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22438 13086 16 0 209838 0
vsize: 839416
[startup+680.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 66794 56 0 0 25 0 11 0 839223891 859561984 22455 4294967295 134512640 134569956 3221224368 3221214648 1131258515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22455 13086 16 0 209838 0
vsize: 839416
[startup+690.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 67784 56 0 0 25 0 11 0 839223891 859561984 22467 4294967295 134512640 134569956 3221224368 3221214648 1131259646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22467 13086 16 0 209838 0
vsize: 839416
[startup+700.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 68774 57 0 0 25 0 11 0 839223891 859561984 22470 4294967295 134512640 134569956 3221224368 3221214732 1131177644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22470 13086 16 0 209838 0
vsize: 839416
[startup+710.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 69764 58 0 0 25 0 11 0 839223891 859561984 22483 4294967295 134512640 134569956 3221224368 3221214648 1131258396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22483 13086 16 0 209838 0
vsize: 839416
[startup+720.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 70754 58 0 0 25 0 11 0 839223891 859561984 22493 4294967295 134512640 134569956 3221224368 3221214736 1131178709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22493 13086 16 0 209838 0
vsize: 839416
[startup+730.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 71744 58 0 0 25 0 11 0 839223891 859561984 22497 4294967295 134512640 134569956 3221224368 3221214736 1131208063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22497 13086 16 0 209838 0
vsize: 839416
[startup+740.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 72733 58 0 0 25 0 11 0 839223891 859561984 22510 4294967295 134512640 134569956 3221224368 3221214736 1131208574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22510 13086 16 0 209838 0
vsize: 839416
[startup+750.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 73721 59 0 0 25 0 11 0 839223891 859561984 22520 4294967295 134512640 134569956 3221224368 3221214648 1131196280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22520 13086 16 0 209838 0
vsize: 839416
[startup+760.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 74709 59 0 0 25 0 11 0 839223891 859561984 22524 4294967295 134512640 134569956 3221224368 3221214736 1131178806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22524 13086 16 0 209838 0
vsize: 839416
[startup+770.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 75697 59 0 0 25 0 11 0 839223891 859561984 22539 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22539 13086 16 0 209838 0
vsize: 839416
[startup+780.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 76684 60 0 0 25 0 11 0 839223891 859561984 22569 4294967295 134512640 134569956 3221224368 3221214780 1131413612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22569 13086 16 0 209838 0
vsize: 839416
[startup+790.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 77673 60 0 0 25 0 11 0 839223891 859561984 22583 4294967295 134512640 134569956 3221224368 3221214648 1131258587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22583 13086 16 0 209838 0
vsize: 839416
[startup+800.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 78660 62 0 0 25 0 11 0 839223891 859561984 22598 4294967295 134512640 134569956 3221224368 3221214648 1131258277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22598 13086 16 0 209838 0
vsize: 839416
[startup+810.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 79648 62 0 0 25 0 11 0 839223891 859561984 22608 4294967295 134512640 134569956 3221224368 3221214648 1131259023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22608 13086 16 0 209838 0
vsize: 839416
[startup+820.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 80637 62 0 0 25 0 11 0 839223891 859561984 22613 4294967295 134512640 134569956 3221224368 3221214728 1131177724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22613 13086 16 0 209838 0
vsize: 839416
[startup+830.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 81624 62 0 0 25 0 11 0 839223891 859561984 22635 4294967295 134512640 134569956 3221224368 3221214432 1131530260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22635 13086 16 0 209838 0
vsize: 839416
[startup+840.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 82613 63 0 0 25 0 11 0 839223891 859561984 22644 4294967295 134512640 134569956 3221224368 3221214736 1131208070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22644 13086 16 0 209838 0
vsize: 839416
[startup+850.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 83600 63 0 0 25 0 11 0 839223891 859561984 22662 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22662 13086 16 0 209838 0
vsize: 839416
[startup+860.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 84587 63 0 0 25 0 11 0 839223891 859561984 22678 4294967295 134512640 134569956 3221224368 3221214648 1131196288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22678 13086 16 0 209838 0
vsize: 839416
[startup+870.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 85574 64 0 0 25 0 11 0 839223891 859561984 22683 4294967295 134512640 134569956 3221224368 3221214648 1131258384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22683 13086 16 0 209838 0
vsize: 839416
[startup+880.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 86560 65 0 0 25 0 11 0 839223891 859561984 22717 4294967295 134512640 134569956 3221224368 3221214648 1131258201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22717 13086 16 0 209838 0
vsize: 839416
[startup+890.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 87546 65 0 0 25 0 11 0 839223891 859561984 22721 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22721 13086 16 0 209838 0
vsize: 839416
[startup+900.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 88533 65 0 0 25 0 11 0 839223891 859561984 22738 4294967295 134512640 134569956 3221224368 3221214736 1131178688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22738 13086 16 0 209838 0
vsize: 839416
[startup+910.178 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 89520 66 0 0 25 0 11 0 839223891 859561984 22779 4294967295 134512640 134569956 3221224368 3221214648 1131258277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22779 13086 16 0 209838 0
vsize: 839416
[startup+920.178 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 90507 66 0 0 25 0 11 0 839223891 859561984 22785 4294967295 134512640 134569956 3221224368 3221214648 1131259541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22785 13086 16 0 209838 0
vsize: 839416
[startup+930.179 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 91495 67 0 0 25 0 11 0 839223891 859561984 22803 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22803 13086 16 0 209838 0
vsize: 839416
[startup+940.179 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 92483 67 0 0 25 0 11 0 839223891 859561984 22805 4294967295 134512640 134569956 3221224368 3221214728 1131177698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22805 13086 16 0 209838 0
vsize: 839416
[startup+950.18 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 93472 67 0 0 25 0 11 0 839223891 859561984 22817 4294967295 134512640 134569956 3221224368 3221214136 1131528888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22817 13086 16 0 209838 0
vsize: 839416
[startup+960.18 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 94460 68 0 0 25 0 11 0 839223891 859561984 22826 4294967295 134512640 134569956 3221224368 3221214736 1131178806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22826 13086 16 0 209838 0
vsize: 839416
[startup+970.182 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 95448 68 0 0 25 0 11 0 839223891 859561984 22834 4294967295 134512640 134569956 3221224368 3221214648 1131258455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22834 13086 16 0 209838 0
vsize: 839416
[startup+980.182 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 96437 68 0 0 25 0 11 0 839223891 859561984 22848 4294967295 134512640 134569956 3221224368 3221214736 1131178688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22848 13086 16 0 209838 0
vsize: 839416
[startup+990.183 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 97426 68 0 0 25 0 11 0 839223891 859561984 22851 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22851 13086 16 0 209838 0
vsize: 839416
[startup+1000.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 98414 69 0 0 25 0 11 0 839223891 859561984 22863 4294967295 134512640 134569956 3221224368 3221214648 1131258260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 22863 13086 16 0 209838 0
vsize: 839416
[startup+1010.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 99403 70 0 0 25 0 11 0 839223891 859561984 22865 4294967295 134512640 134569956 3221224368 3221214732 1131177644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22865 13086 16 0 209838 0
vsize: 839416
[startup+1020.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 100391 70 0 0 25 0 11 0 839223891 859561984 22876 4294967295 134512640 134569956 3221224368 3221214648 1131196288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22876 13086 16 0 209838 0
vsize: 839416
[startup+1030.19 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 101380 70 0 0 25 0 11 0 839223891 859561984 22883 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22883 13086 16 0 209838 0
vsize: 839416
[startup+1040.19 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 102368 71 0 0 25 0 11 0 839223891 859561984 22890 4294967295 134512640 134569956 3221224368 3221214736 1131178705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22890 13086 16 0 209838 0
vsize: 839416
[startup+1050.19 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 103357 71 0 0 25 0 11 0 839223891 859561984 22898 4294967295 134512640 134569956 3221224368 3221214648 1131259075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22898 13086 16 0 209838 0
vsize: 839416
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 104345 72 0 0 25 0 11 0 839223891 859561984 22902 4294967295 134512640 134569956 3221224368 3221214648 1131258459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22902 13086 16 0 209838 0
vsize: 839416
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 105334 72 0 0 25 0 11 0 839223891 859561984 22913 4294967295 134512640 134569956 3221224368 3221214648 1131258327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22913 13086 16 0 209838 0
vsize: 839416
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 106322 73 0 0 25 0 11 0 839223891 859561984 22917 4294967295 134512640 134569956 3221224368 3221214624 1131263087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22917 13086 16 0 209838 0
vsize: 839416
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 107311 73 0 0 25 0 11 0 839223891 859561984 22927 4294967295 134512640 134569956 3221224368 3221214736 1131178924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22927 13086 16 0 209838 0
vsize: 839416
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 108299 74 0 0 25 0 11 0 839223891 859561984 22929 4294967295 134512640 134569956 3221224368 3221214732 1131196256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22929 13086 16 0 209838 0
vsize: 839416
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 109287 74 0 0 25 0 11 0 839223891 859561984 22941 4294967295 134512640 134569956 3221224368 3221214528 1131525412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22941 13086 16 0 209838 0
vsize: 839416
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 110274 75 0 0 25 0 11 0 839223891 859561984 22943 4294967295 134512640 134569956 3221224368 3221214648 1131258853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 22943 13086 16 0 209838 0
vsize: 839416
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 111263 75 0 0 24 0 11 0 839223891 859561984 22955 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22955 13086 16 0 209838 0
vsize: 839416
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24130
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 112251 75 0 0 25 0 11 0 839223891 859561984 22956 4294967295 134512640 134569956 3221224368 3221214624 1131263056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22956 13086 16 0 209838 0
vsize: 839416
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24131
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 113241 76 0 0 25 0 11 0 839223891 859561984 22969 4294967295 134512640 134569956 3221224368 3221214608 1131212521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22969 13086 16 0 209838 0
vsize: 839416
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24131
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 114229 76 0 0 25 0 11 0 839223891 859561984 22970 4294967295 134512640 134569956 3221224368 3221214648 1131258175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22970 13086 16 0 209838 0
vsize: 839416
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24131
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 115218 76 0 0 25 0 11 0 839223891 859561984 22981 4294967295 134512640 134569956 3221224368 3221214784 1131400033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22981 13086 16 0 209838 0
vsize: 839416
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24131
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 116206 77 0 0 25 0 11 0 839223891 859561984 22988 4294967295 134512640 134569956 3221224368 3221214736 1131208412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22988 13086 16 0 209838 0
vsize: 839416
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24131
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 117194 77 0 0 25 0 11 0 839223891 859561984 22999 4294967295 134512640 134569956 3221224368 3221214732 1131187558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 22999 13086 16 0 209838 0
vsize: 839416
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24131
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 118182 77 0 0 25 0 11 0 839223891 859561984 23001 4294967295 134512640 134569956 3221224368 3221214648 1131258198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 23001 13086 16 0 209838 0
vsize: 839416
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24131
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 119170 78 0 0 25 0 11 0 839223891 859561984 23011 4294967295 134512640 134569956 3221224368 3221214648 1131196294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 23011 13086 16 0 209838 0
vsize: 839416
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24131
Raw data (stat): 24111 (java) R 24110 10795 10794 0 -1 0 18117 3 1 0 120159 78 0 0 25 0 11 0 839223891 859561984 23014 4294967295 134512640 134569956 3221224368 3221214784 1131400951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209854 23014 13086 16 0 209838 0
vsize: 839416
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.46 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24133
Raw data (stat): 24111 (java) Z 24110 10795 10794 0 -1 1036 18117 9371 1 0 120180 82 2708 35 25 0 1 0 839223891 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): 1220.46
CPU time (s): 1230.08
CPU user time (s): 1228.89
CPU system time (s): 1.18882
CPU usage (%): 100.788
Max. virtual memory (Kb): 840560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-17
#### END VERIFIER DATA ####