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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb
MD5SUM	6cb229ab1cf181ca11759652604cb193
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-15
Optimality of the best value was proved	NO
Number of terms in the objective function	150
Biggest coefficient in the objective function	134217728000
Number of bits for the biggest coefficient in the objective function	37
Sum of the numbers in the objective function	316753837785
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	1304059445248
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	20964809094075
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1238.93
Number of variables	960
Total number of constraints	27
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	27
Minimum length of a constraint	30
Maximum length of a constraint	270
Trace number 29417

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 07:26:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20817 boxname=wulflinc19 idbench=805 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6cb229ab1cf181ca11759652604cb193  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-afiro.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-afiro.opb
IDLAUNCH: 20817
/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:        631408 kB
Buffers:         31280 kB
Cached:         345432 kB
SwapCached:        416 kB
Active:          35964 kB
Inactive:       343040 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        631156 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18640 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:47:05 (client local time) WITH STATUS 143 IN 1238.93 SECONDS
stats: 20817 0 1238.93 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-20-10-afiro.opb
c reading problem ... done. Time 1.586 ms.
c #vars     960
c #constraints  35
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 4.32 ms
c CURRENT OPTIMUM=                 -15 		Current CPU time: 10.96 ms
c starts	: 10
c conflicts	: 3343
c decisions	: 13961
c propagations	: 161741
c inspects	: 5512460
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3343
c root simplifications	: 453
s SATISFIABLE
v -X02_bit_10 -X02_bit_9 -X02_bit_8 -X02_bit_7 -X02_bit_6 -X02_bit_5 -X02_bit_4 -X02_bit_3 -X02_bit_2 -X02_bit_1 -X02_bit0 -X02_bit1 -X02_bit2 -X02_bit3 -X02_bit4 -X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 -X02_bit13 -X02_bit14 -X02_bit15 -X02_bit16 -X02_bit17 -X02_bit18 -X02_bit19 -X14_bit_10 -X14_bit_9 -X14_bit_8 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -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 -X14_bit17 -X14_bit18 -X14_bit19 X23_bit_10 -X23_bit_9 -X23_bit_8 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -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 -X23_bit17 -X23_bit18 -X23_bit19 -X36_bit_10 -X36_bit_9 -X36_bit_8 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X01_bit_10 X01_bit_9 -X01_bit_8 X01_bit_7 -X01_bit_6 X01_bit_5 -X01_bit_4 -X01_bit_3 -X01_bit_2 X01_bit_1 -X01_bit0 X01_bit1 X01_bit2 -X01_bit3 X01_bit4 X01_bit5 -X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X01_bit13 -X01_bit14 -X01_bit15 -X01_bit16 -X01_bit17 -X01_bit18 -X01_bit19 -X03_bit_10 X03_bit_9 -X03_bit_8 X03_bit_7 -X03_bit_6 X03_bit_5 -X03_bit_4 -X03_bit_3 -X03_bit_2 X03_bit_1 -X03_bit0 X03_bit1 X03_bit2 -X03_bit3 X03_bit4 X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X03_bit13 -X03_bit14 -X03_bit15 -X03_bit16 -X03_bit17 -X03_bit18 -X03_bit19 X04_bit_10 -X04_bit_9 -X04_bit_8 -X04_bit_7 -X04_bit_6 -X04_bit_5 X04_bit_4 -X04_bit_3 X04_bit_2 X04_bit_1 X04_bit0 -X04_bit1 -X04_bit2 X04_bit3 X04_bit4 X04_bit5 -X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X04_bit13 -X04_bit14 -X04_bit15 -X04_bit16 -X04_bit17 -X04_bit18 -X04_bit19 -X06_bit_10 -X06_bit_9 -X06_bit_8 -X06_bit_7 -X06_bit_6 -X06_bit_5 -X06_bit_4 -X06_bit_3 -X06_bit_2 -X06_bit_1 -X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 -X06_bit4 -X06_bit5 -X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 -X06_bit13 -X06_bit14 -X06_bit15 -X06_bit16 -X06_bit17 -X06_bit18 -X06_bit19 -X07_bit_10 -X07_bit_9 -X07_bit_8 -X07_bit_7 -X07_bit_6 -X07_bit_5 -X07_bit_4 -X07_bit_3 -X07_bit_2 -X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 -X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 -X07_bit13 -X07_bit14 -X07_bit15 -X07_bit16 -X07_bit17 -X07_bit18 -X07_bit19 -X08_bit_10 -X08_bit_9 -X08_bit_8 -X08_bit_7 -X08_bit_6 -X08_bit_5 -X08_bit_4 -X08_bit_3 -X08_bit_2 -X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 -X08_bit3 -X08_bit4 -X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 -X08_bit13 -X08_bit14 -X08_bit15 -X08_bit16 -X08_bit17 -X08_bit18 -X08_bit19 -X09_bit_10 -X09_bit_9 -X09_bit_8 -X09_bit_7 -X09_bit_6 -X09_bit_5 -X09_bit_4 -X09_bit_3 -X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 -X09_bit5 -X09_bit6 -X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 -X09_bit13 -X09_bit14 -X09_bit15 -X09_bit16 -X09_bit17 -X09_bit18 -X09_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -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 -X15_bit17 -X15_bit18 -X15_bit19 -X16_bit_10 -X16_bit_9 -X16_bit_8 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -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 -X22_bit17 -X22_bit18 -X22_bit19 X24_bit_10 X24_bit_9 X24_bit_8 X24_bit_7 X24_bit_6 X24_bit_5 X24_bit_4 X24_bit_3 X24_bit_2 X24_bit_1 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 -X24_bit17 -X24_bit18 -X24_bit19 -X25_bit_10 -X25_bit_9 -X25_bit_8 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -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 -X25_bit17 -X25_bit18 -X25_bit19 -X26_bit_10 -X26_bit_9 -X26_bit_8 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 X26_bit0 X26_bit1 X26_bit2 -X26_bit3 X26_bit4 -X26_bit5 X26_bit6 X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X28_bit_10 -X28_bit_9 -X28_bit_8 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 -X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -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 -X31_bit17 -X31_bit18 -X31_bit19 -X38_bit_10 -X38_bit_9 -X38_bit_8 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 -X37_bit_10 -X37_bit_9 -X37_bit_8 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 X37_bit2 X37_bit3 -X37_bit4 X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -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 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 -X12_bit_8 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -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 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 -X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -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 -X13_bit17 -X13_bit18 -X13_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -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 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -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 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 -X34_bit_8 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -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 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 -X35_bit_8 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -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 -X35_bit17 -X35_bit18 -X35_bit19 
c objectif function=-15
c Total CPU time (ms) : 1229.27
#### 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.85 0.97 0.99 2/54 21694
Raw data (stat): 21694 (runsolver) R 21693 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837061507 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.0011 s]
Raw data (loadavg): 1.18 1.03 1.01 2/64 21705
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18116 3 1 0 732 38 0 0 25 0 11 0 837061507 859824128 20283 4294967295 134512640 134569956 3221224368 3221214584 1131232113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209918 20283 13086 16 0 209902 0
vsize: 839672
[startup+20.0013 s]
Raw data (loadavg): 1.46 1.10 1.03 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 1612 38 0 0 25 0 11 0 837061507 874065920 24005 4294967295 134512640 134569956 3221224368 3221214680 1131401136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24005 13086 16 0 213379 0
vsize: 853580
[startup+30.0022 s]
Raw data (loadavg): 1.39 1.09 1.03 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 2556 39 0 0 25 0 11 0 837061507 874065920 24048 4294967295 134512640 134569956 3221224368 3221214696 1131257276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24048 13086 16 0 213379 0
vsize: 853580
[startup+40.0023 s]
Raw data (loadavg): 1.33 1.09 1.03 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 3511 39 0 0 25 0 11 0 837061507 874065920 24213 4294967295 134512640 134569956 3221224368 3221214584 1131232651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24213 13086 16 0 213379 0
vsize: 853580
[startup+50.0027 s]
Raw data (loadavg): 1.28 1.09 1.03 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 4481 39 0 0 25 0 11 0 837061507 874065920 24497 4294967295 134512640 134569956 3221224368 3221214680 1131401129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24497 13086 16 0 213379 0
vsize: 853580
[startup+60.0026 s]
Raw data (loadavg): 1.23 1.08 1.03 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 5454 39 0 0 25 0 11 0 837061507 874065920 24537 4294967295 134512640 134569956 3221224368 3221214680 1131399877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24537 13086 16 0 213379 0
vsize: 853580
[startup+70.0031 s]
Raw data (loadavg): 1.20 1.08 1.03 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 6422 39 0 0 25 0 11 0 837061507 874065920 24626 4294967295 134512640 134569956 3221224368 3221214680 1131399877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24626 13086 16 0 213379 0
vsize: 853580
[startup+80.0043 s]
Raw data (loadavg): 1.17 1.08 1.03 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 7393 39 0 0 24 0 11 0 837061507 874065920 24716 4294967295 134512640 134569956 3221224368 3221214536 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24716 13086 16 0 213379 0
vsize: 853580
[startup+90.004 s]
Raw data (loadavg): 1.14 1.07 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 8368 39 0 0 25 0 11 0 837061507 874065920 24793 4294967295 134512640 134569956 3221224368 3221214448 1131287369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24793 13086 16 0 213379 0
vsize: 853580
[startup+100.005 s]
Raw data (loadavg): 1.12 1.07 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18125 3 1 0 9339 39 0 0 25 0 11 0 837061507 874065920 24870 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24870 13086 16 0 213379 0
vsize: 853580
[startup+110.008 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 10311 39 0 0 24 0 11 0 837061507 874065920 24950 4294967295 134512640 134569956 3221224368 3221214552 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 24950 13086 16 0 213379 0
vsize: 853580
[startup+120.008 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 11286 39 0 0 25 0 11 0 837061507 874065920 25014 4294967295 134512640 134569956 3221224368 3221214716 1130885144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25014 13086 16 0 213379 0
vsize: 853580
[startup+130.01 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 12259 39 0 0 25 0 11 0 837061507 874065920 25097 4294967295 134512640 134569956 3221224368 3221214680 1131399870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25097 13086 16 0 213379 0
vsize: 853580
[startup+140.01 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 13235 39 0 0 25 0 11 0 837061507 874065920 25162 4294967295 134512640 134569956 3221224368 3221214584 1131232343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25162 13086 16 0 213379 0
vsize: 853580
[startup+150.011 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 14208 39 0 0 25 0 11 0 837061507 874065920 25225 4294967295 134512640 134569956 3221224368 3221214584 1131232111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25225 13086 16 0 213379 0
vsize: 853580
[startup+160.012 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 15185 40 0 0 25 0 11 0 837061507 874065920 25304 4294967295 134512640 134569956 3221224368 3221214832 1131168921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25304 13086 16 0 213379 0
vsize: 853580
[startup+170.013 s]
Raw data (loadavg): 1.03 1.05 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 16160 40 0 0 25 0 11 0 837061507 874065920 25366 4294967295 134512640 134569956 3221224368 3221214584 1131232237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25366 13086 16 0 213379 0
vsize: 853580
[startup+180.013 s]
Raw data (loadavg): 1.03 1.05 1.02 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 17138 40 0 0 25 0 11 0 837061507 874065920 25422 4294967295 134512640 134569956 3221224368 3221214600 1131740343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25422 13086 16 0 213379 0
vsize: 853580
[startup+190.015 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 18116 40 0 0 25 0 11 0 837061507 874065920 25484 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25484 13086 16 0 213379 0
vsize: 853580
[startup+200.015 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 19093 40 0 0 24 0 11 0 837061507 874065920 25539 4294967295 134512640 134569956 3221224368 3221214144 1131461841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25539 13086 16 0 213379 0
vsize: 853580
[startup+210.015 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 20073 40 0 0 25 0 11 0 837061507 874065920 25595 4294967295 134512640 134569956 3221224368 3221214680 1131404240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25595 13086 16 0 213379 0
vsize: 853580
[startup+220.016 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 21053 40 0 0 25 0 11 0 837061507 874065920 25641 4294967295 134512640 134569956 3221224368 3221214584 1131231720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25641 13086 16 0 213379 0
vsize: 853580
[startup+230.016 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 22033 40 0 0 25 0 11 0 837061507 874065920 25693 4294967295 134512640 134569956 3221224368 3221214680 1131404033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25693 13086 16 0 213379 0
vsize: 853580
[startup+240.016 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 23013 40 0 0 25 0 11 0 837061507 874065920 25740 4294967295 134512640 134569956 3221224368 3221214584 1131232740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25740 13086 16 0 213379 0
vsize: 853580
[startup+250.017 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 23993 40 0 0 25 0 11 0 837061507 874065920 25792 4294967295 134512640 134569956 3221224368 3221214584 1131232343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25792 13086 16 0 213379 0
vsize: 853580
[startup+260.018 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 24970 40 0 0 24 0 11 0 837061507 874065920 25844 4294967295 134512640 134569956 3221224368 3221214680 1131401118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25844 13086 16 0 213379 0
vsize: 853580
[startup+270.018 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 25949 40 0 0 24 0 11 0 837061507 874065920 25885 4294967295 134512640 134569956 3221224368 3221214680 1131399715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25885 13086 16 0 213379 0
vsize: 853580
[startup+280.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 26929 40 0 0 25 0 11 0 837061507 874065920 25938 4294967295 134512640 134569956 3221224368 3221214584 1131232434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25938 13086 16 0 213379 0
vsize: 853580
[startup+290.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 27907 40 0 0 25 0 11 0 837061507 874065920 25989 4294967295 134512640 134569956 3221224368 3221214792 1131599568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 25989 13086 16 0 213379 0
vsize: 853580
[startup+300.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 28886 40 0 0 25 0 11 0 837061507 874065920 26042 4294967295 134512640 134569956 3221224368 3221214680 1131401129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26042 13086 16 0 213379 0
vsize: 853580
[startup+310.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 29865 40 0 0 25 0 11 0 837061507 874065920 26079 4294967295 134512640 134569956 3221224368 3221214680 1131401028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26079 13086 16 0 213379 0
vsize: 853580
[startup+320.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 30846 40 0 0 25 0 11 0 837061507 874065920 26158 4294967295 134512640 134569956 3221224368 3221214680 1131401254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26158 13086 16 0 213379 0
vsize: 853580
[startup+330.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 31827 40 0 0 24 0 11 0 837061507 874065920 26199 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26199 13086 16 0 213379 0
vsize: 853580
[startup+340.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 32811 40 0 0 25 0 11 0 837061507 874065920 26235 4294967295 134512640 134569956 3221224368 3221214584 1131232908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26235 13086 16 0 213379 0
vsize: 853580
[startup+350.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 33792 40 0 0 25 0 11 0 837061507 874065920 26275 4294967295 134512640 134569956 3221224368 3221214584 1131232482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26275 13086 16 0 213379 0
vsize: 853580
[startup+360.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 34772 40 0 0 25 0 11 0 837061507 874065920 26312 4294967295 134512640 134569956 3221224368 3221214680 1131399967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26312 13086 16 0 213379 0
vsize: 853580
[startup+370.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 35753 40 0 0 25 0 11 0 837061507 874065920 26360 4294967295 134512640 134569956 3221224368 3221214680 1131399921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26360 13086 16 0 213379 0
vsize: 853580
[startup+380.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 36734 40 0 0 25 0 11 0 837061507 874065920 26406 4294967295 134512640 134569956 3221224368 3221214584 1131232041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26406 13086 16 0 213379 0
vsize: 853580
[startup+390.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 37715 40 0 0 25 0 11 0 837061507 874065920 26448 4294967295 134512640 134569956 3221224368 3221214584 1131231797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26448 13086 16 0 213379 0
vsize: 853580
[startup+400.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 38696 40 0 0 25 0 11 0 837061507 874065920 26486 4294967295 134512640 134569956 3221224368 3221214680 1131401129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26486 13086 16 0 213379 0
vsize: 853580
[startup+410.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 39679 40 0 0 25 0 11 0 837061507 874065920 26527 4294967295 134512640 134569956 3221224368 3221214204 1131461784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26527 13086 16 0 213379 0
vsize: 853580
[startup+420.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 40659 40 0 0 25 0 11 0 837061507 874065920 26564 4294967295 134512640 134569956 3221224368 3221214584 1131232256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26564 13086 16 0 213379 0
vsize: 853580
[startup+430.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 41640 40 0 0 25 0 11 0 837061507 874065920 26601 4294967295 134512640 134569956 3221224368 3221214608 1131168921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26601 13086 16 0 213379 0
vsize: 853580
[startup+440.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 42624 40 0 0 25 0 11 0 837061507 874065920 26652 4294967295 134512640 134569956 3221224368 3221214584 1131232090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26652 13086 16 0 213379 0
vsize: 853580
[startup+450.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 43606 40 0 0 25 0 11 0 837061507 874065920 26688 4294967295 134512640 134569956 3221224368 3221214152 1131616474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26688 13086 16 0 213379 0
vsize: 853580
[startup+460.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 44589 40 0 0 25 0 11 0 837061507 874065920 26723 4294967295 134512640 134569956 3221224368 3221214208 1131461685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26723 13086 16 0 213379 0
vsize: 853580
[startup+470.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 45571 41 0 0 25 0 11 0 837061507 874065920 26759 4294967295 134512640 134569956 3221224368 3221214584 1131231717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26759 13086 16 0 213379 0
vsize: 853580
[startup+480.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 46555 41 0 0 25 0 11 0 837061507 874065920 26791 4294967295 134512640 134569956 3221224368 3221214680 1131401118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26791 13086 16 0 213379 0
vsize: 853580
[startup+490.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 47538 41 0 0 25 0 11 0 837061507 874065920 26825 4294967295 134512640 134569956 3221224368 3221214584 1131231793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26825 13086 16 0 213379 0
vsize: 853580
[startup+500.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 48520 41 0 0 24 0 11 0 837061507 874065920 26855 4294967295 134512640 134569956 3221224368 3221214680 1131400062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26855 13086 16 0 213379 0
vsize: 853580
[startup+510.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 49504 41 0 0 25 0 11 0 837061507 874065920 26883 4294967295 134512640 134569956 3221224368 3221214584 1131232730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26883 13086 16 0 213379 0
vsize: 853580
[startup+520.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 50487 41 0 0 25 0 11 0 837061507 874065920 26919 4294967295 134512640 134569956 3221224368 3221214552 1131342759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26919 13086 16 0 213379 0
vsize: 853580
[startup+530.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 51469 41 0 0 25 0 11 0 837061507 874065920 26958 4294967295 134512640 134569956 3221224368 3221214584 1131232323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26958 13086 16 0 213379 0
vsize: 853580
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 52453 41 0 0 25 0 11 0 837061507 874065920 26989 4294967295 134512640 134569956 3221224368 3221214584 1131232730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 26989 13086 16 0 213379 0
vsize: 853580
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 53435 41 0 0 25 0 11 0 837061507 874065920 27013 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27013 13086 16 0 213379 0
vsize: 853580
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 54419 41 0 0 25 0 11 0 837061507 874065920 27053 4294967295 134512640 134569956 3221224368 3221214584 1131231731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27053 13086 16 0 213379 0
vsize: 853580
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 55402 41 0 0 25 0 11 0 837061507 874065920 27089 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27089 13086 16 0 213379 0
vsize: 853580
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 56387 41 0 0 25 0 11 0 837061507 874065920 27110 4294967295 134512640 134569956 3221224368 3221214824 1131466432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27110 13086 16 0 213379 0
vsize: 853580
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 57369 41 0 0 25 0 11 0 837061507 874065920 27144 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27144 13086 16 0 213379 0
vsize: 853580
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 58355 41 0 0 25 0 11 0 837061507 874065920 27178 4294967295 134512640 134569956 3221224368 3221214584 1131232467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27178 13086 16 0 213379 0
vsize: 853580
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 59337 41 0 0 25 0 11 0 837061507 874065920 27202 4294967295 134512640 134569956 3221224368 3221214584 1131232666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27202 13086 16 0 213379 0
vsize: 853580
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 60320 41 0 0 25 0 11 0 837061507 874065920 27235 4294967295 134512640 134569956 3221224368 3221214584 1131231717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27235 13086 16 0 213379 0
vsize: 853580
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 61304 41 0 0 25 0 11 0 837061507 874065920 27267 4294967295 134512640 134569956 3221224368 3221214204 1131461840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27267 13086 16 0 213379 0
vsize: 853580
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 62287 41 0 0 25 0 11 0 837061507 874065920 27302 4294967295 134512640 134569956 3221224368 3221214096 1131468676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27302 13086 16 0 213379 0
vsize: 853580
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 63272 41 0 0 25 0 11 0 837061507 874065920 27325 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27325 13086 16 0 213379 0
vsize: 853580
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 64255 41 0 0 25 0 11 0 837061507 874065920 27356 4294967295 134512640 134569956 3221224368 3221214584 1131231893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27356 13086 16 0 213379 0
vsize: 853580
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 65240 41 0 0 25 0 11 0 837061507 874065920 27377 4294967295 134512640 134569956 3221224368 3221214584 1131231717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27377 13086 16 0 213379 0
vsize: 853580
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 66223 42 0 0 25 0 11 0 837061507 874065920 27411 4294967295 134512640 134569956 3221224368 3221214312 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27411 13086 16 0 213379 0
vsize: 853580
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 67208 42 0 0 25 0 11 0 837061507 874065920 27431 4294967295 134512640 134569956 3221224368 3221214152 1131620610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27431 13086 16 0 213379 0
vsize: 853580
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 68193 42 0 0 25 0 11 0 837061507 874065920 27464 4294967295 134512640 134569956 3221224368 3221214584 1131231910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27464 13086 16 0 213379 0
vsize: 853580
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 69175 42 0 0 25 0 11 0 837061507 874065920 27489 4294967295 134512640 134569956 3221224368 3221214584 1131232023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27489 13086 16 0 213379 0
vsize: 853580
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 70160 42 0 0 25 0 11 0 837061507 874065920 27518 4294967295 134512640 134569956 3221224368 3221214680 1131399917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27518 13086 16 0 213379 0
vsize: 853580
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 71142 42 0 0 25 0 11 0 837061507 874065920 27552 4294967295 134512640 134569956 3221224368 3221214584 1131232251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27552 13086 16 0 213379 0
vsize: 853580
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 72125 42 0 0 25 0 11 0 837061507 874065920 27582 4294967295 134512640 134569956 3221224368 3221214000 1131468668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27582 13086 16 0 213379 0
vsize: 853580
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 73105 42 0 0 25 0 11 0 837061507 874065920 27604 4294967295 134512640 134569956 3221224368 3221214680 1131399877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27604 13086 16 0 213379 0
vsize: 853580
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 74086 42 0 0 25 0 11 0 837061507 874065920 27633 4294967295 134512640 134569956 3221224368 3221214584 1131232395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27633 13086 16 0 213379 0
vsize: 853580
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 75067 42 0 0 25 0 11 0 837061507 874065920 27654 4294967295 134512640 134569956 3221224368 3221214680 1131399917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27654 13086 16 0 213379 0
vsize: 853580
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 76048 42 0 0 25 0 11 0 837061507 874065920 27736 4294967295 134512640 134569956 3221224368 3221214584 1131232621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27736 13086 16 0 213379 0
vsize: 853580
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 77031 42 0 0 25 0 11 0 837061507 874065920 27754 4294967295 134512640 134569956 3221224368 3221214056 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27754 13086 16 0 213379 0
vsize: 853580
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 78014 42 0 0 25 0 11 0 837061507 874065920 27796 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27796 13086 16 0 213379 0
vsize: 853580
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 78996 42 0 0 25 0 11 0 837061507 874065920 27820 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27820 13086 16 0 213379 0
vsize: 853580
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 79980 42 0 0 25 0 11 0 837061507 874065920 27864 4294967295 134512640 134569956 3221224368 3221214584 1131231717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27864 13086 16 0 213379 0
vsize: 853580
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 80965 42 0 0 25 0 11 0 837061507 874065920 27891 4294967295 134512640 134569956 3221224368 3221214448 1131617672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27891 13086 16 0 213379 0
vsize: 853580
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 81949 42 0 0 25 0 11 0 837061507 874065920 27915 4294967295 134512640 134569956 3221224368 3221214680 1131402020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27915 13086 16 0 213379 0
vsize: 853580
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 82932 42 0 0 25 0 11 0 837061507 874065920 27943 4294967295 134512640 134569956 3221224368 3221213756 1131461840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27943 13086 16 0 213379 0
vsize: 853580
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 83915 43 0 0 25 0 11 0 837061507 874065920 27964 4294967295 134512640 134569956 3221224368 3221214584 1131232343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27964 13086 16 0 213379 0
vsize: 853580
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 84899 43 0 0 25 0 11 0 837061507 874065920 27989 4294967295 134512640 134569956 3221224368 3221214584 1131232373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 27989 13086 16 0 213379 0
vsize: 853580
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 85883 43 0 0 25 0 11 0 837061507 874065920 28030 4294967295 134512640 134569956 3221224368 3221214584 1131232638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28030 13086 16 0 213379 0
vsize: 853580
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 86866 43 0 0 25 0 11 0 837061507 874065920 28050 4294967295 134512640 134569956 3221224368 3221213952 1131461903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28050 13086 16 0 213379 0
vsize: 853580
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 87850 43 0 0 25 0 11 0 837061507 874065920 28082 4294967295 134512640 134569956 3221224368 3221214396 1131461840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28082 13086 16 0 213379 0
vsize: 853580
[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 88836 43 0 0 25 0 11 0 837061507 874065920 28106 4294967295 134512640 134569956 3221224368 3221214344 1131616164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28106 13086 16 0 213379 0
vsize: 853580
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 89819 43 0 0 25 0 11 0 837061507 874065920 28127 4294967295 134512640 134569956 3221224368 3221214584 1131232237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28127 13086 16 0 213379 0
vsize: 853580
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 90804 43 0 0 25 0 11 0 837061507 874065920 28155 4294967295 134512640 134569956 3221224368 3221214584 1131232369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28155 13086 16 0 213379 0
vsize: 853580
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 91789 43 0 0 25 0 11 0 837061507 874065920 28178 4294967295 134512640 134569956 3221224368 3221214584 1131232284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28178 13086 16 0 213379 0
vsize: 853580
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 92774 43 0 0 25 0 11 0 837061507 874065920 28195 4294967295 134512640 134569956 3221224368 3221214584 1131232036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28195 13086 16 0 213379 0
vsize: 853580
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 93756 43 0 0 25 0 11 0 837061507 874065920 28226 4294967295 134512640 134569956 3221224368 3221214536 1131192079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28226 13086 16 0 213379 0
vsize: 853580
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 94739 43 0 0 25 0 11 0 837061507 874065920 28246 4294967295 134512640 134569956 3221224368 3221214160 1131619017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28246 13086 16 0 213379 0
vsize: 853580
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 95723 43 0 0 25 0 11 0 837061507 874065920 28271 4294967295 134512640 134569956 3221224368 3221214584 1131232612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28271 13086 16 0 213379 0
vsize: 853580
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 96707 43 0 0 25 0 11 0 837061507 874065920 28303 4294967295 134512640 134569956 3221224368 3221214680 1131399917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28303 13086 16 0 213379 0
vsize: 853580
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 97690 43 0 0 24 0 11 0 837061507 874065920 28341 4294967295 134512640 134569956 3221224368 3221214680 1131399917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28341 13086 16 0 213379 0
vsize: 853580
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 98674 43 0 0 25 0 11 0 837061507 874065920 28363 4294967295 134512640 134569956 3221224368 3221214048 1131461915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28363 13086 16 0 213379 0
vsize: 853580
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 99659 43 0 0 25 0 11 0 837061507 874065920 28383 4294967295 134512640 134569956 3221224368 3221214584 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28383 13086 16 0 213379 0
vsize: 853580
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 100644 43 0 0 25 0 11 0 837061507 874065920 28405 4294967295 134512640 134569956 3221224368 3221214512 1131232343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28405 13086 16 0 213379 0
vsize: 853580
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 101627 43 0 0 24 0 11 0 837061507 874065920 28436 4294967295 134512640 134569956 3221224368 3221214512 1131232113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28436 13086 16 0 213379 0
vsize: 853580
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 102612 43 0 0 25 0 11 0 837061507 874065920 28454 4294967295 134512640 134569956 3221224368 3221214428 1131603977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28454 13086 16 0 213379 0
vsize: 853580
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 103597 43 0 0 25 0 11 0 837061507 874065920 28474 4294967295 134512640 134569956 3221224368 3221214608 1131399988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28474 13086 16 0 213379 0
vsize: 853580
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 104581 43 0 0 25 0 11 0 837061507 874065920 28495 4294967295 134512640 134569956 3221224368 3221214604 1131231692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28495 13086 16 0 213379 0
vsize: 853580
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) S 21693 10795 10794 0 -1 0 18126 3 1 0 105566 43 0 0 25 0 11 0 837061507 874065920 28523 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28523 13086 16 0 213379 0
vsize: 853580
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 106548 43 0 0 25 0 11 0 837061507 874065920 28543 4294967295 134512640 134569956 3221224368 3221214284 1131461840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28543 13086 16 0 213379 0
vsize: 853580
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 107533 43 0 0 25 0 11 0 837061507 874065920 28567 4294967295 134512640 134569956 3221224368 3221214608 1131405287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28567 13086 16 0 213379 0
vsize: 853580
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 108517 43 0 0 18 0 11 0 837061507 874065920 28587 4294967295 134512640 134569956 3221224368 3221214008 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28587 13086 16 0 213379 0
vsize: 853580
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 109502 43 0 0 25 0 11 0 837061507 874065920 28619 4294967295 134512640 134569956 3221224368 3221214512 1131232343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28619 13086 16 0 213379 0
vsize: 853580
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 110484 43 0 0 25 0 11 0 837061507 874065920 28641 4294967295 134512640 134569956 3221224368 3221214512 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28641 13086 16 0 213379 0
vsize: 853580
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 111467 43 0 0 25 0 11 0 837061507 874065920 28664 4294967295 134512640 134569956 3221224368 3221214512 1131232343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28664 13086 16 0 213379 0
vsize: 853580
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 112450 43 0 0 25 0 11 0 837061507 874065920 28682 4294967295 134512640 134569956 3221224368 3221214784 1131278401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28682 13086 16 0 213379 0
vsize: 853580
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 113433 43 0 0 25 0 11 0 837061507 874065920 28702 4294967295 134512640 134569956 3221224368 3221214608 1131399877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28702 13086 16 0 213379 0
vsize: 853580
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 114416 43 0 0 25 0 11 0 837061507 874065920 28751 4294967295 134512640 134569956 3221224368 3221213984 1131468676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28751 13086 16 0 213379 0
vsize: 853580
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 115400 43 0 0 25 0 11 0 837061507 874065920 28775 4294967295 134512640 134569956 3221224368 3221214648 1131404389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28775 13086 16 0 213379 0
vsize: 853580
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 116385 43 0 0 25 0 11 0 837061507 874065920 28795 4294967295 134512640 134569956 3221224368 3221214552 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28795 13086 16 0 213379 0
vsize: 853580
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 117369 44 0 0 25 0 11 0 837061507 874065920 28814 4294967295 134512640 134569956 3221224368 3221214824 1131707210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28814 13086 16 0 213379 0
vsize: 853580
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 118351 44 0 0 24 0 11 0 837061507 874065920 28837 4294967295 134512640 134569956 3221224368 3221214200 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28837 13086 16 0 213379 0
vsize: 853580
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 119335 44 0 0 25 0 11 0 837061507 874065920 28859 4294967295 134512640 134569956 3221224368 3221214480 1131461764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28859 13086 16 0 213379 0
vsize: 853580
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21706
Raw data (stat): 21694 (java) R 21693 10795 10794 0 -1 0 18126 3 1 0 120319 44 0 0 25 0 11 0 837061507 874065920 28882 4294967295 134512640 134569956 3221224368 3221214552 1131232167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213395 28882 13086 16 0 213379 0
vsize: 853580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.31 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 21708
Raw data (stat): 21694 (java) Z 21693 10795 10794 0 -1 1036 18126 13562 1 0 120336 44 3469 43 25 0 1 0 837061507 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): 1230.31
CPU time (s): 1238.93
CPU user time (s): 1238.06
CPU system time (s): 0.875866
CPU usage (%): 100.701
Max. virtual memory (Kb): 853580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-15
#### END VERIFIER DATA ####