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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-afiro.opb
MD5SUM27c455853db0a1f70b6ba60ff91cb013
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers45
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1242.44
Number of variables960
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints27
Minimum length of a constraint30
Maximum length of a constraint270

Trace number 29802 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        832828 kB
Buffers:         32328 kB
Cached:         148664 kB
SwapCached:        772 kB
Active:          64628 kB
Inactive:       118436 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        832548 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13140 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:58:48 (client local time) WITH STATUS 143 IN 1242.44 SECONDS
stats: 21194 0 1242.44 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/wulflinc11/normalized-mps-v2-20-10-afiro.opb
c reading problem ... done. Time 1.732 ms.
c #vars     960
c #constraints  35
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 4.24 ms
c CURRENT OPTIMUM=                 -15 		Current CPU time: 11.59 ms
c starts	: 10
c conflicts	: 3330
c decisions	: 13907
c propagations	: 161245
c inspects	: 5484439
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3330
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.228
#### 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 0.98 0.99 2/54 6927
Raw data (stat): 6927 (runsolver) R 6926 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780354124 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.17 1.03 1.01 2/64 6938
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18114 3 1 0 704 40 0 0 25 0 11 0 780354124 861446144 20699 4294967295 134512640 134569956 3221224368 3221214680 1131396382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210314 20699 13086 16 0 210298 0
vsize: 841256
[startup+20.0016 s]
Raw data (loadavg): 1.29 1.06 1.02 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 1548 40 0 0 22 0 11 0 780354124 864137216 21609 4294967295 134512640 134569956 3221224368 3221214680 1131396258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210971 21609 13086 16 0 210955 0
vsize: 843884
[startup+30.0018 s]
Raw data (loadavg): 1.24 1.06 1.02 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 2509 40 0 0 25 0 11 0 780354124 863850496 21633 4294967295 134512640 134569956 3221224368 3221214576 1131241357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 21633 13086 16 0 210885 0
vsize: 843604
[startup+40.0021 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 3464 41 0 0 25 0 11 0 780354124 863850496 21801 4294967295 134512640 134569956 3221224368 3221214680 1131397368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 21801 13086 16 0 210885 0
vsize: 843604
[startup+50.0029 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 4429 41 0 0 25 0 11 0 780354124 863850496 22088 4294967295 134512640 134569956 3221224368 3221214576 1131241402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22088 13086 16 0 210885 0
vsize: 843604
[startup+60.0045 s]
Raw data (loadavg): 1.15 1.05 1.02 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 5401 42 0 0 25 0 11 0 780354124 863850496 22128 4294967295 134512640 134569956 3221224368 3221214576 1131241781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22128 13086 16 0 210885 0
vsize: 843604
[startup+70.0045 s]
Raw data (loadavg): 1.12 1.05 1.02 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 6368 42 0 0 25 0 11 0 780354124 863850496 22220 4294967295 134512640 134569956 3221224368 3221214576 1131241257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22220 13086 16 0 210885 0
vsize: 843604
[startup+80.0043 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 7340 42 0 0 25 0 11 0 780354124 863850496 22305 4294967295 134512640 134569956 3221224368 3221214680 1131397257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22305 13086 16 0 210885 0
vsize: 843604
[startup+90.0045 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 8311 43 0 0 25 0 11 0 780354124 863850496 22387 4294967295 134512640 134569956 3221224368 3221214576 1131241382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22387 13086 16 0 210885 0
vsize: 843604
[startup+100.005 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18122 3 1 0 9281 43 0 0 25 0 11 0 780354124 863850496 22464 4294967295 134512640 134569956 3221224368 3221214576 1131240989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22464 13086 16 0 210885 0
vsize: 843604
[startup+110.006 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 10255 43 0 0 25 0 11 0 780354124 863850496 22530 4294967295 134512640 134569956 3221224368 3221214576 1131241241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22530 13086 16 0 210885 0
vsize: 843604
[startup+120.007 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 11227 43 0 0 25 0 11 0 780354124 863850496 22608 4294967295 134512640 134569956 3221224368 3221214576 1131241382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22608 13086 16 0 210885 0
vsize: 843604
[startup+130.007 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 12199 43 0 0 24 0 11 0 780354124 863850496 22691 4294967295 134512640 134569956 3221224368 3221214680 1131400664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22691 13086 16 0 210885 0
vsize: 843604
[startup+140.007 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 13173 44 0 0 25 0 11 0 780354124 863850496 22756 4294967295 134512640 134569956 3221224368 3221214680 1131395141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22756 13086 16 0 210885 0
vsize: 843604
[startup+150.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 14149 44 0 0 25 0 11 0 780354124 863850496 22819 4294967295 134512640 134569956 3221224368 3221214576 1131241357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22819 13086 16 0 210885 0
vsize: 843604
[startup+160.009 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 15121 45 0 0 25 0 11 0 780354124 863850496 22898 4294967295 134512640 134569956 3221224368 3221214676 1131396155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22898 13086 16 0 210885 0
vsize: 843604
[startup+170.008 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 16097 45 0 0 25 0 11 0 780354124 863850496 22957 4294967295 134512640 134569956 3221224368 3221214576 1131241357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 22957 13086 16 0 210885 0
vsize: 843604
[startup+180.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 17072 45 0 0 25 0 11 0 780354124 863850496 23017 4294967295 134512640 134569956 3221224368 3221214264 1131493430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23017 13086 16 0 210885 0
vsize: 843604
[startup+190.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 18049 46 0 0 25 0 11 0 780354124 863850496 23079 4294967295 134512640 134569956 3221224368 3221214576 1131241321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23079 13086 16 0 210885 0
vsize: 843604
[startup+200.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 19027 46 0 0 25 0 11 0 780354124 863850496 23134 4294967295 134512640 134569956 3221224368 3221214576 1131241526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23134 13086 16 0 210885 0
vsize: 843604
[startup+210.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 20006 46 0 0 25 0 11 0 780354124 863850496 23176 4294967295 134512640 134569956 3221224368 3221214576 1131241804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23176 13086 16 0 210885 0
vsize: 843604
[startup+220.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6939
Raw data (stat): 6927 (java) S 6926 25830 25829 0 -1 0 18123 3 1 0 20984 46 0 0 25 0 11 0 780354124 863850496 23236 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23236 13086 16 0 210885 0
vsize: 843604
[startup+230.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 21961 47 0 0 24 0 11 0 780354124 863850496 23288 4294967295 134512640 134569956 3221224368 3221214576 1131241321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23288 13086 16 0 210885 0
vsize: 843604
[startup+240.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 22941 47 0 0 25 0 11 0 780354124 863850496 23335 4294967295 134512640 134569956 3221224368 3221214416 1131470927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23335 13086 16 0 210885 0
vsize: 843604
[startup+250.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 23920 47 0 0 25 0 11 0 780354124 863850496 23387 4294967295 134512640 134569956 3221224368 3221214324 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23387 13086 16 0 210885 0
vsize: 843604
[startup+260.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 24898 47 0 0 25 0 11 0 780354124 863850496 23435 4294967295 134512640 134569956 3221224368 3221214576 1131241486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23435 13086 16 0 210885 0
vsize: 843604
[startup+270.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 25877 48 0 0 25 0 11 0 780354124 863850496 23476 4294967295 134512640 134569956 3221224368 3221214680 1131395141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23476 13086 16 0 210885 0
vsize: 843604
[startup+280.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 26855 48 0 0 25 0 11 0 780354124 863850496 23531 4294967295 134512640 134569956 3221224368 3221214576 1131241486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23531 13086 16 0 210885 0
vsize: 843604
[startup+290.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 27832 49 0 0 25 0 11 0 780354124 863850496 23581 4294967295 134512640 134569956 3221224368 3221214576 1131240861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23581 13086 16 0 210885 0
vsize: 843604
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 28810 49 0 0 25 0 11 0 780354124 863850496 23634 4294967295 134512640 134569956 3221224368 3221214576 1131241301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23634 13086 16 0 210885 0
vsize: 843604
[startup+310.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 29788 49 0 0 24 0 11 0 780354124 863850496 23674 4294967295 134512640 134569956 3221224368 3221214680 1131395141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23674 13086 16 0 210885 0
vsize: 843604
[startup+320.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) S 6926 25830 25829 0 -1 0 18123 3 1 0 30767 50 0 0 25 0 11 0 780354124 863850496 23736 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23736 13086 16 0 210885 0
vsize: 843604
[startup+330.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 31750 50 0 0 25 0 11 0 780354124 863850496 23780 4294967295 134512640 134569956 3221224368 3221214544 1131493290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23780 13086 16 0 210885 0
vsize: 843604
[startup+340.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 32730 50 0 0 25 0 11 0 780354124 863850496 23828 4294967295 134512640 134569956 3221224368 3221214616 1131255081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23828 13086 16 0 210885 0
vsize: 843604
[startup+350.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 33710 50 0 0 25 0 11 0 780354124 863850496 23870 4294967295 134512640 134569956 3221224368 3221214176 1131483594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23870 13086 16 0 210885 0
vsize: 843604
[startup+360.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 34690 51 0 0 25 0 11 0 780354124 863850496 23904 4294967295 134512640 134569956 3221224368 3221214680 1131396393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23904 13086 16 0 210885 0
vsize: 843604
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 35669 51 0 0 25 0 11 0 780354124 863850496 23942 4294967295 134512640 134569956 3221224368 3221214576 1131241486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23942 13086 16 0 210885 0
vsize: 843604
[startup+380.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 36650 52 0 0 25 0 11 0 780354124 863850496 23979 4294967295 134512640 134569956 3221224368 3221214680 1131395141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 23979 13086 16 0 210885 0
vsize: 843604
[startup+390.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 37630 52 0 0 25 0 11 0 780354124 863850496 24036 4294967295 134512640 134569956 3221224368 3221214576 1131240876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24036 13086 16 0 210885 0
vsize: 843604
[startup+400.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 38610 53 0 0 25 0 11 0 780354124 863850496 24077 4294967295 134512640 134569956 3221224368 3221214680 1131396546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24077 13086 16 0 210885 0
vsize: 843604
[startup+410.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 39590 54 0 0 25 0 11 0 780354124 863850496 24119 4294967295 134512640 134569956 3221224368 3221214576 1131241284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24119 13086 16 0 210885 0
vsize: 843604
[startup+420.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 40571 54 0 0 25 0 11 0 780354124 863850496 24153 4294967295 134512640 134569956 3221224368 3221214712 1131307684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24153 13086 16 0 210885 0
vsize: 843604
[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 41551 54 0 0 25 0 11 0 780354124 863850496 24191 4294967295 134512640 134569956 3221224368 3221214576 1131241452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24191 13086 16 0 210885 0
vsize: 843604
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 42530 55 0 0 25 0 11 0 780354124 863850496 24245 4294967295 134512640 134569956 3221224368 3221214480 1131192137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24245 13086 16 0 210885 0
vsize: 843604
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 43514 55 0 0 25 0 11 0 780354124 863850496 24271 4294967295 134512640 134569956 3221224368 3221214576 1131241319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24271 13086 16 0 210885 0
vsize: 843604
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 44495 56 0 0 25 0 11 0 780354124 863850496 24308 4294967295 134512640 134569956 3221224368 3221214680 1131394979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24308 13086 16 0 210885 0
vsize: 843604
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 45476 56 0 0 25 0 11 0 780354124 863850496 24338 4294967295 134512640 134569956 3221224368 3221214680 1131397351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24338 13086 16 0 210885 0
vsize: 843604
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 46460 56 0 0 25 0 11 0 780354124 863850496 24371 4294967295 134512640 134569956 3221224368 3221214680 1131396039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24371 13086 16 0 210885 0
vsize: 843604
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 47441 56 0 0 25 0 11 0 780354124 863850496 24407 4294967295 134512640 134569956 3221224368 3221214480 1131192179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24407 13086 16 0 210885 0
vsize: 843604
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 48422 56 0 0 24 0 11 0 780354124 863850496 24444 4294967295 134512640 134569956 3221224368 3221214576 1131241421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24444 13086 16 0 210885 0
vsize: 843604
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 49405 57 0 0 25 0 11 0 780354124 863850496 24476 4294967295 134512640 134569956 3221224368 3221214576 1131241377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24476 13086 16 0 210885 0
vsize: 843604
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 50386 57 0 0 25 0 11 0 780354124 863850496 24509 4294967295 134512640 134569956 3221224368 3221214576 1131241818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24509 13086 16 0 210885 0
vsize: 843604
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 51369 57 0 0 25 0 11 0 780354124 863850496 24535 4294967295 134512640 134569956 3221224368 3221214680 1131395114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24535 13086 16 0 210885 0
vsize: 843604
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 52350 58 0 0 25 0 11 0 780354124 863850496 24570 4294967295 134512640 134569956 3221224368 3221214576 1131240902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24570 13086 16 0 210885 0
vsize: 843604
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 53333 58 0 0 25 0 11 0 780354124 863850496 24603 4294967295 134512640 134569956 3221224368 3221214576 1131241833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210901 24603 13086 16 0 210885 0
vsize: 843604
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 54314 58 0 0 25 0 11 0 780354124 863850496 24642 4294967295 134512640 134569956 3221224368 3221214680 1131399529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24642 13086 16 0 210885 0
vsize: 843604
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 55296 59 0 0 24 0 11 0 780354124 863850496 24673 4294967295 134512640 134569956 3221224368 3221214680 1131395141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24673 13086 16 0 210885 0
vsize: 843604
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 56280 59 0 0 25 0 11 0 780354124 863850496 24702 4294967295 134512640 134569956 3221224368 3221214576 1131241510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24702 13086 16 0 210885 0
vsize: 843604
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 57264 59 0 0 25 0 11 0 780354124 863850496 24735 4294967295 134512640 134569956 3221224368 3221214680 1131394979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24735 13086 16 0 210885 0
vsize: 843604
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 58247 59 0 0 25 0 11 0 780354124 863850496 24764 4294967295 134512640 134569956 3221224368 3221214680 1131395161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24764 13086 16 0 210885 0
vsize: 843604
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 59228 60 0 0 24 0 11 0 780354124 863850496 24798 4294967295 134512640 134569956 3221224368 3221214680 1131394963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24798 13086 16 0 210885 0
vsize: 843604
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 60210 60 0 0 25 0 11 0 780354124 863850496 24827 4294967295 134512640 134569956 3221224368 3221213984 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24827 13086 16 0 210885 0
vsize: 843604
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 61193 61 0 0 25 0 11 0 780354124 863850496 24852 4294967295 134512640 134569956 3221224368 3221214576 1131241357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24852 13086 16 0 210885 0
vsize: 843604
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 62175 61 0 0 25 0 11 0 780354124 863850496 24888 4294967295 134512640 134569956 3221224368 3221214712 1131308315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24888 13086 16 0 210885 0
vsize: 843604
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 63158 61 0 0 25 0 11 0 780354124 863850496 24914 4294967295 134512640 134569956 3221224368 3221214576 1131241908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24914 13086 16 0 210885 0
vsize: 843604
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 64140 62 0 0 25 0 11 0 780354124 863850496 24941 4294967295 134512640 134569956 3221224368 3221214680 1131394963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24941 13086 16 0 210885 0
vsize: 843604
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 65124 62 0 0 25 0 11 0 780354124 863850496 24973 4294967295 134512640 134569956 3221224368 3221213936 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24973 13086 16 0 210885 0
vsize: 843604
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) S 6926 25830 25829 0 -1 0 18123 3 1 0 66106 63 0 0 25 0 11 0 780354124 863850496 24994 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 24994 13086 16 0 210885 0
vsize: 843604
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 67089 63 0 0 25 0 11 0 780354124 863850496 25026 4294967295 134512640 134569956 3221224368 3221214536 1131489301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210901 25026 13086 16 0 210885 0
vsize: 843604
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 68073 64 0 0 25 0 11 0 780354124 863850496 25050 4294967295 134512640 134569956 3221224368 3221214680 1131395141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25050 13086 16 0 210885 0
vsize: 843604
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 69054 64 0 0 25 0 11 0 780354124 863850496 25082 4294967295 134512640 134569956 3221224368 3221214488 1131493492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25082 13086 16 0 210885 0
vsize: 843604
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 70037 65 0 0 25 0 11 0 780354124 863850496 25102 4294967295 134512640 134569956 3221224368 3221214712 1131307745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25102 13086 16 0 210885 0
vsize: 843604
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 71019 65 0 0 25 0 11 0 780354124 863850496 25135 4294967295 134512640 134569956 3221224368 3221214680 1131395076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25135 13086 16 0 210885 0
vsize: 843604
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 72003 65 0 0 25 0 11 0 780354124 863850496 25165 4294967295 134512640 134569956 3221224368 3221214492 1131495504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25165 13086 16 0 210885 0
vsize: 843604
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 72984 66 0 0 25 0 11 0 780354124 863850496 25197 4294967295 134512640 134569956 3221224368 3221213408 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210901 25197 13086 16 0 210885 0
vsize: 843604
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 73966 66 0 0 25 0 11 0 780354124 863850496 25217 4294967295 134512640 134569956 3221224368 3221214136 1131495498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25217 13086 16 0 210885 0
vsize: 843604
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 74944 66 0 0 25 0 11 0 780354124 863850496 25249 4294967295 134512640 134569956 3221224368 3221214576 1131241065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25249 13086 16 0 210885 0
vsize: 843604
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 75925 67 0 0 25 0 11 0 780354124 863850496 25312 4294967295 134512640 134569956 3221224368 3221214576 1131240972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25312 13086 16 0 210885 0
vsize: 843604
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 76906 67 0 0 24 0 11 0 780354124 863850496 25349 4294967295 134512640 134569956 3221224368 3221214680 1131397201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25349 13086 16 0 210885 0
vsize: 843604
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 77889 67 0 0 25 0 11 0 780354124 863850496 25372 4294967295 134512640 134569956 3221224368 3221214680 1131395141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25372 13086 16 0 210885 0
vsize: 843604
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 78872 68 0 0 25 0 11 0 780354124 863850496 25404 4294967295 134512640 134569956 3221224368 3221214576 1131241830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25404 13086 16 0 210885 0
vsize: 843604
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 79853 68 0 0 25 0 11 0 780354124 863850496 25448 4294967295 134512640 134569956 3221224368 3221214576 1131241898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25448 13086 16 0 210885 0
vsize: 843604
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 80837 68 0 0 25 0 11 0 780354124 863850496 25474 4294967295 134512640 134569956 3221224368 3221214480 1131192143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25474 13086 16 0 210885 0
vsize: 843604
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 81822 68 0 0 25 0 11 0 780354124 863850496 25507 4294967295 134512640 134569956 3221224368 3221214544 1131493454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25507 13086 16 0 210885 0
vsize: 843604
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 82805 68 0 0 25 0 11 0 780354124 863850496 25528 4294967295 134512640 134569956 3221224368 3221214608 1131261934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25528 13086 16 0 210885 0
vsize: 843604
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 83788 69 0 0 25 0 11 0 780354124 863850496 25555 4294967295 134512640 134569956 3221224368 3221214576 1131241357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25555 13086 16 0 210885 0
vsize: 843604
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 84771 69 0 0 25 0 11 0 780354124 863850496 25578 4294967295 134512640 134569956 3221224368 3221214268 1131495504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25578 13086 16 0 210885 0
vsize: 843604
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 85754 70 0 0 25 0 11 0 780354124 863850496 25599 4294967295 134512640 134569956 3221224368 3221214852 1131175203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25599 13086 16 0 210885 0
vsize: 843604
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 86737 70 0 0 24 0 11 0 780354124 863850496 25645 4294967295 134512640 134569956 3221224368 3221214680 1131397351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25645 13086 16 0 210885 0
vsize: 843604
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 87721 71 0 0 25 0 11 0 780354124 863850496 25667 4294967295 134512640 134569956 3221224368 3221214680 1131400591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25667 13086 16 0 210885 0
vsize: 843604
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 88705 71 0 0 25 0 11 0 780354124 863850496 25688 4294967295 134512640 134569956 3221224368 3221214576 1131241036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25688 13086 16 0 210885 0
vsize: 843604
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 89690 71 0 0 25 0 11 0 780354124 863850496 25717 4294967295 134512640 134569956 3221224368 3221214576 1131241637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25717 13086 16 0 210885 0
vsize: 843604
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 90675 71 0 0 25 0 11 0 780354124 863850496 25740 4294967295 134512640 134569956 3221224368 3221214576 1131240933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25740 13086 16 0 210885 0
vsize: 843604
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 91657 71 0 0 25 0 11 0 780354124 863850496 25759 4294967295 134512640 134569956 3221224368 3221214576 1131241833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25759 13086 16 0 210885 0
vsize: 843604
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 92641 72 0 0 25 0 11 0 780354124 863850496 25788 4294967295 134512640 134569956 3221224368 3221214520 1131254713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25788 13086 16 0 210885 0
vsize: 843604
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 93625 73 0 0 25 0 11 0 780354124 863850496 25810 4294967295 134512640 134569956 3221224368 3221214680 1131397287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25810 13086 16 0 210885 0
vsize: 843604
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 94608 73 0 0 25 0 11 0 780354124 863850496 25830 4294967295 134512640 134569956 3221224368 3221214576 1131241815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25830 13086 16 0 210885 0
vsize: 843604
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 95588 74 0 0 25 0 11 0 780354124 863850496 25852 4294967295 134512640 134569956 3221224368 3221214576 1131241357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25852 13086 16 0 210885 0
vsize: 843604
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 96571 74 0 0 25 0 11 0 780354124 863850496 25886 4294967295 134512640 134569956 3221224368 3221214576 1131240865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25886 13086 16 0 210885 0
vsize: 843604
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 97555 75 0 0 25 0 11 0 780354124 863850496 25926 4294967295 134512640 134569956 3221224368 3221214608 1131254854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25926 13086 16 0 210885 0
vsize: 843604
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 98538 75 0 0 25 0 11 0 780354124 863850496 25944 4294967295 134512640 134569956 3221224368 3221214680 1131397588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25944 13086 16 0 210885 0
vsize: 843604
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 99521 76 0 0 25 0 11 0 780354124 863850496 25978 4294967295 134512640 134569956 3221224368 3221214576 1131241877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25978 13086 16 0 210885 0
vsize: 843604
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 100507 76 0 0 25 0 11 0 780354124 863850496 25998 4294967295 134512640 134569956 3221224368 3221214576 1131240989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 25998 13086 16 0 210885 0
vsize: 843604
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 101489 76 0 0 25 0 11 0 780354124 863850496 26019 4294967295 134512640 134569956 3221224368 3221214424 1131192177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26019 13086 16 0 210885 0
vsize: 843604
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 102473 77 0 0 25 0 11 0 780354124 863850496 26037 4294967295 134512640 134569956 3221224368 3221214520 1131241556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26037 13086 16 0 210885 0
vsize: 843604
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 103457 77 0 0 25 0 11 0 780354124 863850496 26059 4294967295 134512640 134569956 3221224368 3221214520 1131241439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26059 13086 16 0 210885 0
vsize: 843604
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 104442 77 0 0 25 0 11 0 780354124 863850496 26087 4294967295 134512640 134569956 3221224368 3221214544 1131493353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26087 13086 16 0 210885 0
vsize: 843604
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 105425 78 0 0 25 0 11 0 780354124 863850496 26109 4294967295 134512640 134569956 3221224368 3221214520 1131241129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26109 13086 16 0 210885 0
vsize: 843604
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) S 6926 25830 25829 0 -1 0 18123 3 1 0 106408 79 0 0 25 0 11 0 780354124 863850496 26126 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26126 13086 16 0 210885 0
vsize: 843604
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 107391 79 0 0 25 0 11 0 780354124 863850496 26147 4294967295 134512640 134569956 3221224368 3221214520 1131241902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26147 13086 16 0 210885 0
vsize: 843604
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 108374 79 0 0 18 0 11 0 780354124 863850496 26180 4294967295 134512640 134569956 3221224368 3221213960 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26180 13086 16 0 210885 0
vsize: 843604
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 109358 80 0 0 25 0 11 0 780354124 863850496 26205 4294967295 134512640 134569956 3221224368 3221214328 1131495498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26205 13086 16 0 210885 0
vsize: 843604
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 110342 80 0 0 25 0 11 0 780354124 863850496 26225 4294967295 134512640 134569956 3221224368 3221214520 1131240993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26225 13086 16 0 210885 0
vsize: 843604
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 111325 81 0 0 25 0 11 0 780354124 863850496 26242 4294967295 134512640 134569956 3221224368 3221214216 1131495349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26242 13086 16 0 210885 0
vsize: 843604
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 112307 81 0 0 25 0 11 0 780354124 863850496 26264 4294967295 134512640 134569956 3221224368 3221214552 1131254786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26264 13086 16 0 210885 0
vsize: 843604
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 113290 82 0 0 25 0 11 0 780354124 863850496 26288 4294967295 134512640 134569956 3221224368 3221214624 1131397391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26288 13086 16 0 210885 0
vsize: 843604
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 114270 82 0 0 25 0 11 0 780354124 863850496 26315 4294967295 134512640 134569956 3221224368 3221214136 1131495428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26315 13086 16 0 210885 0
vsize: 843604
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 115254 82 0 0 25 0 11 0 780354124 863850496 26359 4294967295 134512640 134569956 3221224368 3221214520 1131241526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26359 13086 16 0 210885 0
vsize: 843604
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 116238 83 0 0 25 0 11 0 780354124 863850496 26379 4294967295 134512640 134569956 3221224368 3221214648 1131398523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26379 13086 16 0 210885 0
vsize: 843604
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 117222 83 0 0 25 0 11 0 780354124 863850496 26397 4294967295 134512640 134569956 3221224368 3221214544 1131241615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26397 13086 16 0 210885 0
vsize: 843604
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 118206 83 0 0 25 0 11 0 780354124 863850496 26420 4294967295 134512640 134569956 3221224368 3221214544 1131241608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26420 13086 16 0 210885 0
vsize: 843604
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 119189 83 0 0 21 0 11 0 780354124 863850496 26448 4294967295 134512640 134569956 3221224368 3221214232 1131470791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26448 13086 16 0 210885 0
vsize: 843604
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6939
Raw data (stat): 6927 (java) R 6926 25830 25829 0 -1 0 18123 3 1 0 120173 84 0 0 25 0 11 0 780354124 863850496 26472 4294967295 134512640 134569956 3221224368 3221214544 1131241908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210901 26472 13086 16 0 210885 0
vsize: 843604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6941
Raw data (stat): 6927 (java) Z 6926 25830 25829 0 -1 1036 18123 14809 1 0 120190 88 3916 47 25 0 1 0 780354124 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.29
CPU time (s): 1242.44
CPU user time (s): 1241.08
CPU system time (s): 1.36579
CPU usage (%): 100.987
Max. virtual memory (Kb): 843884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-15
#### END VERIFIER DATA ####