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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb
MD5SUM36d973d6ac0a73f611c4998ee3e157d3
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 5767168
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 22020075
Number of bits of the biggest sum of numbers25
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.84657
Number of variables960
Total number of constraints48
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 constraints48
Minimum length of a constraint40
Maximum length of a constraint80

Trace number 29861 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        445720 kB
Buffers:         32136 kB
Cached:         526588 kB
SwapCached:       1052 kB
Active:          66660 kB
Inactive:       494304 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        445468 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22368 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:36:32 (client local time) WITH STATUS 143 IN 1278.17 SECONDS
stats: 21256 0 1278.17 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/wulflinc31/normalized-mps-v2-13-7-sc50b.opb
c reading problem ... done. Time 1.489 ms.
c #vars     960
c #constraints  68
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 2.73 ms
c starts	: 11
c conflicts	: 9032
c decisions	: 10693
c propagations	: 90345
c inspects	: 8027163
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9032
c root simplifications	: 21
s SATISFIABLE
v -COL00004_bit_7 -COL00004_bit_6 -COL00004_bit_5 -COL00004_bit_4 -COL00004_bit_3 -COL00004_bit_2 -COL00004_bit_1 -COL00004_bit0 -COL00004_bit1 -COL00004_bit2 -COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00001_bit_7 -COL00001_bit_6 -COL00001_bit_5 -COL00001_bit_4 -COL00001_bit_3 -COL00001_bit_2 -COL00001_bit_1 -COL00001_bit0 -COL00001_bit1 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00002_bit_7 -COL00002_bit_6 -COL00002_bit_5 -COL00002_bit_4 -COL00002_bit_3 -COL00002_bit_2 -COL00002_bit_1 -COL00002_bit0 -COL00002_bit1 -COL00002_bit2 -COL00002_bit3 -COL00002_bit4 -COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00003_bit_7 -COL00003_bit_6 -COL00003_bit_5 -COL00003_bit_4 -COL00003_bit_3 -COL00003_bit_2 -COL00003_bit_1 -COL00003_bit0 -COL00003_bit1 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00005_bit_7 -COL00005_bit_6 -COL00005_bit_5 -COL00005_bit_4 -COL00005_bit_3 -COL00005_bit_2 -COL00005_bit_1 -COL00005_bit0 -COL00005_bit1 -COL00005_bit2 -COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00006_bit_7 -COL00006_bit_6 -COL00006_bit_5 -COL00006_bit_4 -COL00006_bit_3 -COL00006_bit_2 -COL00006_bit_1 -COL00006_bit0 -COL00006_bit1 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00007_bit_7 -COL00007_bit_6 -COL00007_bit_5 -COL00007_bit_4 -COL00007_bit_3 -COL00007_bit_2 -COL00007_bit_1 -COL00007_bit0 -COL00007_bit1 -COL00007_bit2 -COL00007_bit3 -COL00007_bit4 -COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00008_bit_7 -COL00008_bit_6 -COL00008_bit_5 -COL00008_bit_4 -COL00008_bit_3 -COL00008_bit_2 -COL00008_bit_1 -COL00008_bit0 -COL00008_bit1 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00009_bit_7 -COL00009_bit_6 -COL00009_bit_5 -COL00009_bit_4 -COL00009_bit_3 -COL00009_bit_2 -COL00009_bit_1 -COL00009_bit0 -COL00009_bit1 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00010_bit_7 -COL00010_bit_6 -COL00010_bit_5 -COL00010_bit_4 -COL00010_bit_3 -COL00010_bit_2 -COL00010_bit_1 -COL00010_bit0 -COL00010_bit1 -COL00010_bit2 -COL00010_bit3 -COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00011_bit_7 -COL00011_bit_6 -COL00011_bit_5 -COL00011_bit_4 -COL00011_bit_3 -COL00011_bit_2 -COL00011_bit_1 -COL00011_bit0 -COL00011_bit1 -COL00011_bit2 -COL00011_bit3 -COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00012_bit_7 -COL00012_bit_6 -COL00012_bit_5 -COL00012_bit_4 -COL00012_bit_3 -COL00012_bit_2 -COL00012_bit_1 -COL00012_bit0 -COL00012_bit1 -COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00013_bit_7 -COL00013_bit_6 -COL00013_bit_5 -COL00013_bit_4 -COL00013_bit_3 -COL00013_bit_2 -COL00013_bit_1 -COL00013_bit0 -COL00013_bit1 -COL00013_bit2 -COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00014_bit_7 -COL00014_bit_6 -COL00014_bit_5 -COL00014_bit_4 -COL00014_bit_3 -COL00014_bit_2 -COL00014_bit_1 -COL00014_bit0 -COL00014_bit1 -COL00014_bit2 -COL00014_bit3 -COL00014_bit4 -COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00015_bit_7 -COL00015_bit_6 -COL00015_bit_5 -COL00015_bit_4 -COL00015_bit_3 -COL00015_bit_2 -COL00015_bit_1 -COL00015_bit0 -COL00015_bit1 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00016_bit_7 -COL00016_bit_6 -COL00016_bit_5 -COL00016_bit_4 -COL00016_bit_3 -COL00016_bit_2 -COL00016_bit_1 -COL00016_bit0 -COL00016_bit1 -COL00016_bit2 -COL00016_bit3 -COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00017_bit_7 -COL00017_bit_6 -COL00017_bit_5 -COL00017_bit_4 -COL00017_bit_3 -COL00017_bit_2 -COL00017_bit_1 -COL00017_bit0 -COL00017_bit1 -COL00017_bit2 -COL00017_bit3 -COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00018_bit_7 -COL00018_bit_6 -COL00018_bit_5 -COL00018_bit_4 -COL00018_bit_3 -COL00018_bit_2 -COL00018_bit_1 -COL00018_bit0 -COL00018_bit1 -COL00018_bit2 -COL00018_bit3 -COL00018_bit4 -COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00019_bit_7 -COL00019_bit_6 -COL00019_bit_5 -COL00019_bit_4 -COL00019_bit_3 -COL00019_bit_2 -COL00019_bit_1 -COL00019_bit0 -COL00019_bit1 -COL00019_bit2 -COL00019_bit3 -COL00019_bit4 -COL00019_bit5 -COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00020_bit_7 -COL00020_bit_6 -COL00020_bit_5 -COL00020_bit_4 -COL00020_bit_3 -COL00020_bit_2 -COL00020_bit_1 -COL00020_bit0 -COL00020_bit1 -COL00020_bit2 -COL00020_bit3 -COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00021_bit_7 -COL00021_bit_6 -COL00021_bit_5 -COL00021_bit_4 -COL00021_bit_3 -COL00021_bit_2 -COL00021_bit_1 -COL00021_bit0 -COL00021_bit1 -COL00021_bit2 -COL00021_bit3 -COL00021_bit4 -COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00022_bit_7 -COL00022_bit_6 -COL00022_bit_5 -COL00022_bit_4 -COL00022_bit_3 -COL00022_bit_2 -COL00022_bit_1 -COL00022_bit0 -COL00022_bit1 -COL00022_bit2 -COL00022_bit3 -COL00022_bit4 -COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00023_bit_7 -COL00023_bit_6 -COL00023_bit_5 -COL00023_bit_4 -COL00023_bit_3 -COL00023_bit_2 -COL00023_bit_1 -COL00023_bit0 -COL00023_bit1 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00024_bit_7 -COL00024_bit_6 -COL00024_bit_5 -COL00024_bit_4 -COL00024_bit_3 -COL00024_bit_2 -COL00024_bit_1 -COL00024_bit0 -COL00024_bit1 -COL00024_bit2 -COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00025_bit_7 -COL00025_bit_6 -COL00025_bit_5 -COL00025_bit_4 -COL00025_bit_3 -COL00025_bit_2 -COL00025_bit_1 -COL00025_bit0 -COL00025_bit1 -COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 -COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00026_bit_7 -COL00026_bit_6 -COL00026_bit_5 -COL00026_bit_4 -COL00026_bit_3 -COL00026_bit_2 -COL00026_bit_1 -COL00026_bit0 -COL00026_bit1 -COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00027_bit_7 -COL00027_bit_6 -COL00027_bit_5 -COL00027_bit_4 -COL00027_bit_3 -COL00027_bit_2 -COL00027_bit_1 -COL00027_bit0 -COL00027_bit1 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00028_bit_7 -COL00028_bit_6 -COL00028_bit_5 -COL00028_bit_4 -COL00028_bit_3 -COL00028_bit_2 -COL00028_bit_1 -COL00028_bit0 -COL00028_bit1 -COL00028_bit2 -COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00029_bit_7 -COL00029_bit_6 -COL00029_bit_5 -COL00029_bit_4 -COL00029_bit_3 -COL00029_bit_2 -COL00029_bit_1 -COL00029_bit0 -COL00029_bit1 -COL00029_bit2 -COL00029_bit3 -COL00029_bit4 -COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00030_bit_7 -COL00030_bit_6 -COL00030_bit_5 -COL00030_bit_4 -COL00030_bit_3 -COL00030_bit_2 -COL00030_bit_1 -COL00030_bit0 -COL00030_bit1 -COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 -COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00031_bit_7 -COL00031_bit_6 -COL00031_bit_5 -COL00031_bit_4 -COL00031_bit_3 -COL00031_bit_2 -COL00031_bit_1 -COL00031_bit0 -COL00031_bit1 -COL00031_bit2 -COL00031_bit3 -COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00032_bit_7 -COL00032_bit_6 -COL00032_bit_5 -COL00032_bit_4 -COL00032_bit_3 -COL00032_bit_2 -COL00032_bit_1 -COL00032_bit0 -COL00032_bit1 -COL00032_bit2 -COL00032_bit3 -COL00032_bit4 -COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00033_bit_7 -COL00033_bit_6 -COL00033_bit_5 -COL00033_bit_4 -COL00033_bit_3 -COL00033_bit_2 -COL00033_bit_1 -COL00033_bit0 -COL00033_bit1 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 -COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00034_bit_7 -COL00034_bit_6 -COL00034_bit_5 -COL00034_bit_4 -COL00034_bit_3 -COL00034_bit_2 -COL00034_bit_1 -COL00034_bit0 -COL00034_bit1 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00035_bit_7 -COL00035_bit_6 -COL00035_bit_5 -COL00035_bit_4 -COL00035_bit_3 -COL00035_bit_2 -COL00035_bit_1 -COL00035_bit0 -COL00035_bit1 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00036_bit_7 -COL00036_bit_6 -COL00036_bit_5 -COL00036_bit_4 -COL00036_bit_3 -COL00036_bit_2 -COL00036_bit_1 -COL00036_bit0 -COL00036_bit1 -COL00036_bit2 -COL00036_bit3 -COL00036_bit4 -COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00037_bit_7 -COL00037_bit_6 -COL00037_bit_5 -COL00037_bit_4 -COL00037_bit_3 -COL00037_bit_2 -COL00037_bit_1 -COL00037_bit0 -COL00037_bit1 -COL00037_bit2 -COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00038_bit_7 -COL00038_bit_6 -COL00038_bit_5 -COL00038_bit_4 -COL00038_bit_3 -COL00038_bit_2 -COL00038_bit_1 -COL00038_bit0 -COL00038_bit1 -COL00038_bit2 -COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00039_bit_7 -COL00039_bit_6 -COL00039_bit_5 -COL00039_bit_4 -COL00039_bit_3 -COL00039_bit_2 -COL00039_bit_1 -COL00039_bit0 -COL00039_bit1 -COL00039_bit2 -COL00039_bit3 -COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00040_bit_7 -COL00040_bit_6 -COL00040_bit_5 -COL00040_bit_4 -COL00040_bit_3 -COL00040_bit_2 -COL00040_bit_1 -COL00040_bit0 -COL00040_bit1 -COL00040_bit2 -COL00040_bit3 -COL00040_bit4 -COL00040_bit5 -COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00041_bit_7 -COL00041_bit_6 -COL00041_bit_5 -COL00041_bit_4 -COL00041_bit_3 -COL00041_bit_2 -COL00041_bit_1 -COL00041_bit0 -COL00041_bit1 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 -COL00041_bit6 -COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00042_bit_7 -COL00042_bit_6 -COL00042_bit_5 -COL00042_bit_4 -COL00042_bit_3 -COL00042_bit_2 -COL00042_bit_1 -COL00042_bit0 -COL00042_bit1 -COL00042_bit2 -COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00043_bit_7 -COL00043_bit_6 -COL00043_bit_5 -COL00043_bit_4 -COL00043_bit_3 -COL00043_bit_2 -COL00043_bit_1 -COL00043_bit0 -COL00043_bit1 -COL00043_bit2 -COL00043_bit3 -COL00043_bit4 -COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00044_bit_7 -COL00044_bit_6 -COL00044_bit_5 -COL00044_bit_4 -COL00044_bit_3 -COL00044_bit_2 -COL00044_bit_1 -COL00044_bit0 -COL00044_bit1 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 -COL00044_bit5 -COL00044_bit6 -COL00044_bit7 -COL00044_bit8 -COL00044_bit9 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00045_bit_7 -COL00045_bit_6 -COL00045_bit_5 -COL00045_bit_4 -COL00045_bit_3 -COL00045_bit_2 -COL00045_bit_1 -COL00045_bit0 -COL00045_bit1 -COL00045_bit2 -COL00045_bit3 -COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00046_bit_7 -COL00046_bit_6 -COL00046_bit_5 -COL00046_bit_4 -COL00046_bit_3 -COL00046_bit_2 -COL00046_bit_1 -COL00046_bit0 -COL00046_bit1 -COL00046_bit2 -COL00046_bit3 -COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00047_bit_7 -COL00047_bit_6 -COL00047_bit_5 -COL00047_bit_4 -COL00047_bit_3 -COL00047_bit_2 -COL00047_bit_1 -COL00047_bit0 -COL00047_bit1 -COL00047_bit2 -COL00047_bit3 -COL00047_bit4 -COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00048_bit_7 -COL00048_bit_6 -COL00048_bit_5 -COL00048_bit_4 -COL00048_bit_3 -COL00048_bit_2 -COL00048_bit_1 -COL00048_bit0 -COL00048_bit1 -COL00048_bit2 -COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 
c objectif function=0
c Total CPU time (ms) : 1249.272
#### 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.93 0.98 0.99 2/55 15015
Raw data (stat): 15015 (runsolver) R 15014 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838784113 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.0005 s]
Raw data (loadavg): 1.24 1.05 1.02 4/65 15028
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18238 3 1 0 738 41 0 0 25 0 11 0 838784113 877641728 24041 4294967295 134512640 134569956 3221224368 3221214560 1130915842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214268 24041 13086 16 0 214252 0
vsize: 857072
[startup+20.0015 s]
Raw data (loadavg): 1.51 1.11 1.04 4/65 15028
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18240 3 1 0 1321 41 0 0 25 0 11 0 838784113 877645824 24722 4294967295 134512640 134569956 3221224368 3221214392 1131260468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214269 24722 13086 16 0 214253 0
vsize: 857076
[startup+30.0018 s]
Raw data (loadavg): 1.66 1.16 1.05 2/65 15028
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18263 3 1 0 1960 41 0 0 24 0 11 0 838784113 883458048 26555 4294967295 134512640 134569956 3221224368 3221214324 1131570785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215688 26555 13086 16 0 215672 0
vsize: 862752
[startup+40.0023 s]
Raw data (loadavg): 1.56 1.15 1.05 2/65 15028
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18263 3 1 0 2919 41 0 0 25 0 11 0 838784113 878891008 25811 4294967295 134512640 134569956 3221224368 3221214648 1131879356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 25811 13086 16 0 214557 0
vsize: 858292
[startup+50.0033 s]
Raw data (loadavg): 1.47 1.15 1.05 2/65 15028
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 3855 42 0 0 25 0 11 0 838784113 878891008 26332 4294967295 134512640 134569956 3221224368 3221214052 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 26332 13086 16 0 214557 0
vsize: 858292
[startup+60.0046 s]
Raw data (loadavg): 1.40 1.14 1.05 2/65 15028
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 4797 42 0 0 24 0 11 0 838784113 878891008 26611 4294967295 134512640 134569956 3221224368 3221214648 1131871174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 26611 13086 16 0 214557 0
vsize: 858292
[startup+70.0051 s]
Raw data (loadavg): 1.34 1.14 1.05 2/65 15030
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 5745 42 0 0 25 0 11 0 838784113 878891008 26777 4294967295 134512640 134569956 3221224368 3221214392 1131276215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 26777 13086 16 0 214557 0
vsize: 858292
[startup+80.0051 s]
Raw data (loadavg): 1.29 1.13 1.05 2/65 15030
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 6682 43 0 0 25 0 11 0 838784113 878891008 26980 4294967295 134512640 134569956 3221224368 3221214408 1131260982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 26980 13086 16 0 214557 0
vsize: 858292
[startup+90.0054 s]
Raw data (loadavg): 1.24 1.13 1.05 2/65 15030
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 7630 43 0 0 25 0 11 0 838784113 878891008 27132 4294967295 134512640 134569956 3221224368 3221214380 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 27132 13086 16 0 214557 0
vsize: 858292
[startup+100.006 s]
Raw data (loadavg): 1.20 1.12 1.04 2/65 15030
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 8577 43 0 0 25 0 11 0 838784113 878891008 27269 4294967295 134512640 134569956 3221224368 3221214408 1131260527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 27269 13086 16 0 214557 0
vsize: 858292
[startup+110.007 s]
Raw data (loadavg): 1.17 1.12 1.04 2/65 15030
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 9525 43 0 0 25 0 11 0 838784113 878891008 27409 4294967295 134512640 134569956 3221224368 3221214648 1131880451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 27409 13086 16 0 214557 0
vsize: 858292
[startup+120.008 s]
Raw data (loadavg): 1.14 1.11 1.04 2/65 15030
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 10464 43 0 0 25 0 11 0 838784113 878891008 27573 4294967295 134512640 134569956 3221224368 3221214448 1131581230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 27573 13086 16 0 214557 0
vsize: 858292
[startup+130.008 s]
Raw data (loadavg): 1.12 1.11 1.04 2/65 15032
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 11417 44 0 0 25 0 11 0 838784113 878891008 27731 4294967295 134512640 134569956 3221224368 3221214552 1131208310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 27731 13086 16 0 214557 0
vsize: 858292
[startup+140.008 s]
Raw data (loadavg): 1.10 1.11 1.04 2/65 15032
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 12371 44 0 0 25 0 11 0 838784113 878891008 27867 4294967295 134512640 134569956 3221224368 3221214648 1131872517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 27867 13086 16 0 214557 0
vsize: 858292
[startup+150.009 s]
Raw data (loadavg): 1.09 1.10 1.04 2/65 15032
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 13327 45 0 0 25 0 11 0 838784113 878891008 28020 4294967295 134512640 134569956 3221224368 3221214672 1131366870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28020 13086 16 0 214557 0
vsize: 858292
[startup+160.01 s]
Raw data (loadavg): 1.07 1.10 1.04 2/65 15032
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 14285 45 0 0 25 0 11 0 838784113 878891008 28170 4294967295 134512640 134569956 3221224368 3221214192 1131421088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28170 13086 16 0 214557 0
vsize: 858292
[startup+170.01 s]
Raw data (loadavg): 1.06 1.09 1.04 2/65 15032
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 15244 45 0 0 25 0 11 0 838784113 878891008 28291 4294967295 134512640 134569956 3221224368 3221214648 1131882409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28291 13086 16 0 214557 0
vsize: 858292
[startup+180.011 s]
Raw data (loadavg): 1.05 1.09 1.04 2/65 15032
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 16211 45 0 0 25 0 11 0 838784113 878891008 28395 4294967295 134512640 134569956 3221224368 3221214424 1131237446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28395 13086 16 0 214557 0
vsize: 858292
[startup+190.011 s]
Raw data (loadavg): 1.04 1.09 1.04 2/65 15034
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 17178 46 0 0 25 0 11 0 838784113 878891008 28465 4294967295 134512640 134569956 3221224368 3221213864 1085679302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28465 13086 16 0 214557 0
vsize: 858292
[startup+200.012 s]
Raw data (loadavg): 1.04 1.08 1.03 2/65 15034
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 18145 47 0 0 25 0 11 0 838784113 878891008 28544 4294967295 134512640 134569956 3221224368 3221214160 1131577812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28544 13086 16 0 214557 0
vsize: 858292
[startup+210.012 s]
Raw data (loadavg): 1.03 1.08 1.03 2/65 15034
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 19113 47 0 0 25 0 11 0 838784113 878891008 28640 4294967295 134512640 134569956 3221224368 3221214624 1131879369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28640 13086 16 0 214557 0
vsize: 858292
[startup+220.013 s]
Raw data (loadavg): 1.02 1.08 1.03 2/65 15034
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 20069 47 0 0 25 0 11 0 838784113 878891008 28758 4294967295 134512640 134569956 3221224368 3221214624 1131875891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28758 13086 16 0 214557 0
vsize: 858292
[startup+230.013 s]
Raw data (loadavg): 1.02 1.07 1.03 2/65 15034
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 21028 48 0 0 25 0 11 0 838784113 878891008 28887 4294967295 134512640 134569956 3221224368 3221214528 1131208503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 28887 13086 16 0 214557 0
vsize: 858292
[startup+240.014 s]
Raw data (loadavg): 1.02 1.07 1.03 2/65 15034
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 21998 48 0 0 25 0 11 0 838784113 878891008 28998 4294967295 134512640 134569956 3221224368 3221214048 1131500600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 28998 13086 16 0 214557 0
vsize: 858292
[startup+250.015 s]
Raw data (loadavg): 1.01 1.07 1.03 2/65 15036
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 22965 48 0 0 25 0 11 0 838784113 878891008 29101 4294967295 134512640 134569956 3221224368 3221214528 1131208225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29101 13086 16 0 214557 0
vsize: 858292
[startup+260.016 s]
Raw data (loadavg): 1.01 1.07 1.03 2/65 15036
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 23943 49 0 0 25 0 11 0 838784113 878891008 29202 4294967295 134512640 134569956 3221224368 3221214624 1131884380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29202 13086 16 0 214557 0
vsize: 858292
[startup+270.017 s]
Raw data (loadavg): 1.01 1.06 1.03 2/65 15036
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 24916 49 0 0 25 0 11 0 838784113 878891008 29271 4294967295 134512640 134569956 3221224368 3221214528 1131208362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29271 13086 16 0 214557 0
vsize: 858292
[startup+280.017 s]
Raw data (loadavg): 1.01 1.06 1.03 2/65 15036
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 25886 49 0 0 25 0 11 0 838784113 878891008 29316 4294967295 134512640 134569956 3221224368 3221214624 1131874760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29316 13086 16 0 214557 0
vsize: 858292
[startup+290.018 s]
Raw data (loadavg): 1.01 1.06 1.03 2/65 15036
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 26860 49 0 0 25 0 11 0 838784113 878891008 29370 4294967295 134512640 134569956 3221224368 3221214528 1131500489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29370 13086 16 0 214557 0
vsize: 858292
[startup+300.019 s]
Raw data (loadavg): 1.00 1.06 1.02 2/65 15036
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 27834 49 0 0 25 0 11 0 838784113 878891008 29417 4294967295 134512640 134569956 3221224368 3221214660 1131504627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29417 13086 16 0 214557 0
vsize: 858292
[startup+310.02 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 15038
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 28798 50 0 0 25 0 11 0 838784113 878891008 29472 4294967295 134512640 134569956 3221224368 3221214624 1131874921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29472 13086 16 0 214557 0
vsize: 858292
[startup+320.021 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 15038
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 29768 50 0 0 25 0 11 0 838784113 878891008 29530 4294967295 134512640 134569956 3221224368 3221213856 1131500572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29530 13086 16 0 214557 0
vsize: 858292
[startup+330.02 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 15038
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 30738 50 0 0 25 0 11 0 838784113 878891008 29612 4294967295 134512640 134569956 3221224368 3221214624 1131871145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29612 13086 16 0 214557 0
vsize: 858292
[startup+340.022 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 15038
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 31701 51 0 0 25 0 11 0 838784113 878891008 29706 4294967295 134512640 134569956 3221224368 3221214384 1131577584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29706 13086 16 0 214557 0
vsize: 858292
[startup+350.022 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 15038
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 32672 51 0 0 25 0 11 0 838784113 878891008 29780 4294967295 134512640 134569956 3221224368 3221214280 1131580066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29780 13086 16 0 214557 0
vsize: 858292
[startup+360.023 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 15038
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 33643 51 0 0 25 0 11 0 838784113 878891008 29860 4294967295 134512640 134569956 3221224368 3221214624 1131871206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29860 13086 16 0 214557 0
vsize: 858292
[startup+370.023 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 15040
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 34614 52 0 0 25 0 11 0 838784113 878891008 29926 4294967295 134512640 134569956 3221224368 3221214432 1131500492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29926 13086 16 0 214557 0
vsize: 858292
[startup+380.023 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 15040
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 35585 52 0 0 25 0 11 0 838784113 878891008 30004 4294967295 134512640 134569956 3221224368 3221214472 1131578767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30004 13086 16 0 214557 0
vsize: 858292
[startup+390.024 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 15040
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 36556 52 0 0 25 0 11 0 838784113 878891008 30081 4294967295 134512640 134569956 3221224368 3221214624 1131871174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 30081 13086 16 0 214557 0
vsize: 858292
[startup+400.024 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 15040
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 37526 53 0 0 25 0 11 0 838784113 878891008 30155 4294967295 134512640 134569956 3221224368 3221214300 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30155 13086 16 0 214557 0
vsize: 858292
[startup+410.025 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 15040
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 38497 53 0 0 25 0 11 0 838784113 878891008 30213 4294967295 134512640 134569956 3221224368 3221214576 1131581072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30213 13086 16 0 214557 0
vsize: 858292
[startup+420.026 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 15040
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 39461 53 0 0 25 0 11 0 838784113 878891008 30299 4294967295 134512640 134569956 3221224368 3221214576 1131577290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30299 13086 16 0 214557 0
vsize: 858292
[startup+430.027 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 15042
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 40432 54 0 0 25 0 11 0 838784113 878891008 30362 4294967295 134512640 134569956 3221224368 3221214476 1131580073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30362 13086 16 0 214557 0
vsize: 858292
[startup+440.027 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 15042
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 41395 54 0 0 25 0 11 0 838784113 878891008 30451 4294967295 134512640 134569956 3221224368 3221214056 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30451 13086 16 0 214557 0
vsize: 858292
[startup+450.027 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 15042
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 42358 55 0 0 25 0 11 0 838784113 878891008 30541 4294967295 134512640 134569956 3221224368 3221214400 1131260402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30541 13086 16 0 214557 0
vsize: 858292
[startup+460.028 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 15042
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 43321 55 0 0 25 0 11 0 838784113 878891008 30624 4294967295 134512640 134569956 3221224368 3221214288 1131577468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 30624 13086 16 0 214557 0
vsize: 858292
[startup+470.029 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 15042
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 44299 56 0 0 25 0 11 0 838784113 878891008 30672 4294967295 134512640 134569956 3221224368 3221213864 1085679440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30672 13086 16 0 214557 0
vsize: 858292
[startup+480.029 s]
Raw data (loadavg): 1.00 1.02 1.01 2/65 15042
Raw data (stat): 15015 (java) S 15014 29618 29617 0 -1 0 18264 3 1 0 45273 56 0 0 25 0 11 0 838784113 878891008 30744 4294967295 134512640 134569956 3221224368 3221213128 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30744 13086 16 0 214557 0
vsize: 858292
[startup+490.029 s]
Raw data (loadavg): 1.00 1.02 1.01 2/65 15044
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 46243 56 0 0 25 0 11 0 838784113 878891008 30798 4294967295 134512640 134569956 3221224368 3221214248 1085679482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 30798 13086 16 0 214557 0
vsize: 858292
[startup+500.031 s]
Raw data (loadavg): 1.00 1.02 1.01 2/65 15044
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 47226 56 0 0 25 0 11 0 838784113 878891008 30842 4294967295 134512640 134569956 3221224368 3221214624 1131873511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 30842 13086 16 0 214557 0
vsize: 858292
[startup+510.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 15044
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 48209 56 0 0 25 0 11 0 838784113 878891008 30883 4294967295 134512640 134569956 3221224368 3221214140 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 30883 13086 16 0 214557 0
vsize: 858292
[startup+520.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 15044
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 49191 56 0 0 25 0 11 0 838784113 878891008 30921 4294967295 134512640 134569956 3221224368 3221214528 1131208225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 30921 13086 16 0 214557 0
vsize: 858292
[startup+530.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 15044
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 50174 56 0 0 25 0 11 0 838784113 878891008 30964 4294967295 134512640 134569956 3221224368 3221214528 1131208185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 30964 13086 16 0 214557 0
vsize: 858292
[startup+540.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 15044
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 51164 56 0 0 25 0 11 0 838784113 878891008 30982 4294967295 134512640 134569956 3221224368 3221214428 1131500619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 30982 13086 16 0 214557 0
vsize: 858292
[startup+550.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 15046
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 52145 56 0 0 25 0 11 0 838784113 878891008 31024 4294967295 134512640 134569956 3221224368 3221214384 1131278877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 31024 13086 16 0 214557 0
vsize: 858292
[startup+560.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 15046
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 53135 56 0 0 25 0 11 0 838784113 878891008 31087 4294967295 134512640 134569956 3221224368 3221214044 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 31087 13086 16 0 214557 0
vsize: 858292
[startup+570.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 15046
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 54095 56 0 0 25 0 11 0 838784113 878891008 31259 4294967295 134512640 134569956 3221224368 3221214624 1131875711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 31259 13086 16 0 214557 0
vsize: 858292
[startup+580.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 15046
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 55038 56 0 0 25 0 11 0 838784113 878891008 31300 4294967295 134512640 134569956 3221224368 3221214624 1131874664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 31300 13086 16 0 214557 0
vsize: 858292
[startup+590.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15046
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 55990 56 0 0 25 0 11 0 838784113 878891008 31423 4294967295 134512640 134569956 3221224368 3221214624 1131871174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 31423 13086 16 0 214557 0
vsize: 858292
[startup+600.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15046
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 56947 57 0 0 25 0 11 0 838784113 878891008 31587 4294967295 134512640 134569956 3221224368 3221214624 1131880172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 31587 13086 16 0 214557 0
vsize: 858292
[startup+610.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15048
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 57909 57 0 0 25 0 11 0 838784113 878891008 31760 4294967295 134512640 134569956 3221224368 3221214472 1131581258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 31760 13086 16 0 214557 0
vsize: 858292
[startup+620.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15048
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 58875 57 0 0 25 0 11 0 838784113 878891008 31963 4294967295 134512640 134569956 3221224368 3221214440 1085679753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 31963 13086 16 0 214557 0
vsize: 858292
[startup+630.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15048
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 59851 57 0 0 25 0 11 0 838784113 878891008 32122 4294967295 134512640 134569956 3221224368 3221214528 1131208362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32122 13086 16 0 214557 0
vsize: 858292
[startup+640.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15048
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 60828 58 0 0 25 0 11 0 838784113 878891008 32167 4294967295 134512640 134569956 3221224368 3221213796 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32167 13086 16 0 214557 0
vsize: 858292
[startup+650.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15048
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 61807 58 0 0 25 0 11 0 838784113 878891008 32199 4294967295 134512640 134569956 3221224368 3221214624 1131874860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32199 13086 16 0 214557 0
vsize: 858292
[startup+660.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15048
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 62781 58 0 0 25 0 11 0 838784113 878891008 32238 4294967295 134512640 134569956 3221224368 3221214528 1131500600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32238 13086 16 0 214557 0
vsize: 858292
[startup+670.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15050
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 63752 59 0 0 25 0 11 0 838784113 878891008 32284 4294967295 134512640 134569956 3221224368 3221214420 1131414515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32284 13086 16 0 214557 0
vsize: 858292
[startup+680.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15050
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 64723 59 0 0 25 0 11 0 838784113 878891008 32324 4294967295 134512640 134569956 3221224368 3221214568 1131577508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32324 13086 16 0 214557 0
vsize: 858292
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15050
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 65691 59 0 0 25 0 11 0 838784113 878891008 32384 4294967295 134512640 134569956 3221224368 3221214624 1131874580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32384 13086 16 0 214557 0
vsize: 858292
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15050
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 66659 60 0 0 25 0 11 0 838784113 878891008 32473 4294967295 134512640 134569956 3221224368 3221214528 1131208227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32473 13086 16 0 214557 0
vsize: 858292
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15050
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 67640 60 0 0 25 0 11 0 838784113 878891008 32527 4294967295 134512640 134569956 3221224368 3221214528 1131208225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32527 13086 16 0 214557 0
vsize: 858292
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15050
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 68615 61 0 0 24 0 11 0 838784113 878891008 32587 4294967295 134512640 134569956 3221224368 3221214376 1131578776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32587 13086 16 0 214557 0
vsize: 858292
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15052
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 69589 61 0 0 25 0 11 0 838784113 878891008 32654 4294967295 134512640 134569956 3221224368 3221214528 1131208629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32654 13086 16 0 214557 0
vsize: 858292
[startup+740.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 15052
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 70556 62 0 0 25 0 11 0 838784113 878891008 32739 4294967295 134512640 134569956 3221224368 3221214528 1131208095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32739 13086 16 0 214557 0
vsize: 858292
[startup+750.044 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 15052
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 71523 62 0 0 25 0 11 0 838784113 878891008 32825 4294967295 134512640 134569956 3221224368 3221214484 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32825 13086 16 0 214557 0
vsize: 858292
[startup+760.044 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 15052
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 72495 62 0 0 25 0 11 0 838784113 878891008 32890 4294967295 134512640 134569956 3221224368 3221214624 1131870979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32890 13086 16 0 214557 0
vsize: 858292
[startup+770.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 15052
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 73459 62 0 0 25 0 11 0 838784113 878891008 32971 4294967295 134512640 134569956 3221224368 3221214048 1131500572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 32971 13086 16 0 214557 0
vsize: 858292
[startup+780.045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 15052
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 74422 62 0 0 25 0 11 0 838784113 878891008 33049 4294967295 134512640 134569956 3221224368 3221213792 1131500625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33049 13086 16 0 214557 0
vsize: 858292
[startup+790.045 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 15054
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 75391 63 0 0 25 0 11 0 838784113 878891008 33115 4294967295 134512640 134569956 3221224368 3221214528 1131208185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 33115 13086 16 0 214557 0
vsize: 858292
[startup+800.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 15054
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 76353 63 0 0 25 0 11 0 838784113 878891008 33226 4294967295 134512640 134569956 3221224368 3221214072 1080217001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33226 13086 16 0 214557 0
vsize: 858292
[startup+810.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 15054
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 77316 63 0 0 25 0 11 0 838784113 878891008 33343 4294967295 134512640 134569956 3221224368 3221214624 1131871174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33343 13086 16 0 214557 0
vsize: 858292
[startup+820.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 15054
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 78286 64 0 0 25 0 11 0 838784113 878891008 33425 4294967295 134512640 134569956 3221224368 3221214576 1131577290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33425 13086 16 0 214557 0
vsize: 858292
[startup+830.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 15054
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 79248 64 0 0 25 0 11 0 838784113 878891008 33527 4294967295 134512640 134569956 3221224368 3221214624 1131872479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33527 13086 16 0 214557 0
vsize: 858292
[startup+840.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 15054
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 80210 65 0 0 24 0 11 0 838784113 878891008 33628 4294967295 134512640 134569956 3221224368 3221214576 1131581072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33628 13086 16 0 214557 0
vsize: 858292
[startup+850.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 15056
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 81179 65 0 0 25 0 11 0 838784113 878891008 33715 4294967295 134512640 134569956 3221224368 3221214624 1131871206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33715 13086 16 0 214557 0
vsize: 858292
[startup+860.055 s]
Raw data (loadavg): 1.09 1.02 1.01 2/65 15056
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 82140 66 0 0 25 0 11 0 838784113 878891008 33813 4294967295 134512640 134569956 3221224368 3221214432 1131500572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33813 13086 16 0 214557 0
vsize: 858292
[startup+870.055 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 15056
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 83109 66 0 0 25 0 11 0 838784113 878891008 33893 4294967295 134512640 134569956 3221224368 3221214220 1131193952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33893 13086 16 0 214557 0
vsize: 858292
[startup+880.056 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 15056
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 84071 66 0 0 25 0 11 0 838784113 878891008 33986 4294967295 134512640 134569956 3221224368 3221214528 1131208378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 33986 13086 16 0 214557 0
vsize: 858292
[startup+890.057 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 15056
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 85040 67 0 0 25 0 11 0 838784113 878891008 34099 4294967295 134512640 134569956 3221224368 3221214624 1131873668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34099 13086 16 0 214557 0
vsize: 858292
[startup+900.057 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 15056
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 86003 67 0 0 25 0 11 0 838784113 878891008 34207 4294967295 134512640 134569956 3221224368 3221214000 1131577476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34207 13086 16 0 214557 0
vsize: 858292
[startup+910.058 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 15058
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 86974 67 0 0 25 0 11 0 838784113 878891008 34296 4294967295 134512640 134569956 3221224368 3221214624 1131874921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34296 13086 16 0 214557 0
vsize: 858292
[startup+920.058 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 15058
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 87945 68 0 0 25 0 11 0 838784113 878891008 34383 4294967295 134512640 134569956 3221224368 3221214184 1131577502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34383 13086 16 0 214557 0
vsize: 858292
[startup+930.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 15058
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 88913 68 0 0 25 0 11 0 838784113 878891008 34462 4294967295 134512640 134569956 3221224368 3221213960 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 34462 13086 16 0 214557 0
vsize: 858292
[startup+940.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 15058
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 89882 68 0 0 25 0 11 0 838784113 878891008 34545 4294967295 134512640 134569956 3221224368 3221214140 1131500624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34545 13086 16 0 214557 0
vsize: 858292
[startup+950.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 15058
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 90852 69 0 0 25 0 11 0 838784113 878891008 34622 4294967295 134512640 134569956 3221224368 3221214624 1131872197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34622 13086 16 0 214557 0
vsize: 858292
[startup+960.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 15058
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 91823 69 0 0 25 0 11 0 838784113 878891008 34701 4294967295 134512640 134569956 3221224368 3221214528 1131208225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 34701 13086 16 0 214557 0
vsize: 858292
[startup+970.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 15060
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 92794 70 0 0 25 0 11 0 838784113 878891008 34780 4294967295 134512640 134569956 3221224368 3221214336 1131500625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34780 13086 16 0 214557 0
vsize: 858292
[startup+980.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 15060
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 93773 70 0 0 25 0 11 0 838784113 878891008 34837 4294967295 134512640 134569956 3221224368 3221214528 1131209726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34837 13086 16 0 214557 0
vsize: 858292
[startup+990.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 15060
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 94745 71 0 0 25 0 11 0 838784113 878891008 34914 4294967295 134512640 134569956 3221224368 3221214624 1131871206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 34914 13086 16 0 214557 0
vsize: 858292
[startup+1000.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 15060
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 95718 71 0 0 25 0 11 0 838784113 878891008 34985 4294967295 134512640 134569956 3221224368 3221213408 1131500631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 34985 13086 16 0 214557 0
vsize: 858292
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15060
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 96694 72 0 0 25 0 11 0 838784113 878891008 35085 4294967295 134512640 134569956 3221224368 3221214520 1131237446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35085 13086 16 0 214557 0
vsize: 858292
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 15060
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 97670 72 0 0 25 0 11 0 838784113 878891008 35138 4294967295 134512640 134569956 3221224368 3221214336 1131500564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 35138 13086 16 0 214557 0
vsize: 858292
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15062
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 98646 73 0 0 25 0 11 0 838784113 878891008 35201 4294967295 134512640 134569956 3221224368 3221214528 1131208088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35201 13086 16 0 214557 0
vsize: 858292
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15062
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 99617 74 0 0 25 0 11 0 838784113 878891008 35262 4294967295 134512640 134569956 3221224368 3221214624 1131871206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35262 13086 16 0 214557 0
vsize: 858292
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15062
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 100594 74 0 0 25 0 11 0 838784113 878891008 35312 4294967295 134512640 134569956 3221224368 3221214624 1131874933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 35312 13086 16 0 214557 0
vsize: 858292
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15062
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 101572 74 0 0 25 0 11 0 838784113 878891008 35386 4294967295 134512640 134569956 3221224368 3221214528 1131208225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35386 13086 16 0 214557 0
vsize: 858292
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15062
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 102551 74 0 0 25 0 11 0 838784113 878891008 35438 4294967295 134512640 134569956 3221224368 3221214528 1131208601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35438 13086 16 0 214557 0
vsize: 858292
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15062
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 103528 75 0 0 24 0 11 0 838784113 878891008 35480 4294967295 134512640 134569956 3221224368 3221214440 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35480 13086 16 0 214557 0
vsize: 858292
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15064
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 104511 75 0 0 25 0 11 0 838784113 878891008 35510 4294967295 134512640 134569956 3221224368 3221214528 1131208225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35510 13086 16 0 214557 0
vsize: 858292
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15064
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 105487 75 0 0 25 0 11 0 838784113 878891008 35553 4294967295 134512640 134569956 3221224368 3221214528 1131208185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 35553 13086 16 0 214557 0
vsize: 858292
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15064
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 106463 75 0 0 25 0 11 0 838784113 878891008 35597 4294967295 134512640 134569956 3221224368 3221214432 1131500461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 35597 13086 16 0 214557 0
vsize: 858292
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15064
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 107438 76 0 0 25 0 11 0 838784113 878891008 35647 4294967295 134512640 134569956 3221224368 3221214624 1131884543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35647 13086 16 0 214557 0
vsize: 858292
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15064
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 108419 76 0 0 25 0 11 0 838784113 878891008 35683 4294967295 134512640 134569956 3221224368 3221214524 1131500619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35683 13086 16 0 214557 0
vsize: 858292
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15064
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 109394 76 0 0 25 0 11 0 838784113 878891008 35728 4294967295 134512640 134569956 3221224368 3221214624 1131879329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 35728 13086 16 0 214557 0
vsize: 858292
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15066
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 110368 77 0 0 25 0 11 0 838784113 878891008 35769 4294967295 134512640 134569956 3221224368 3221213856 1131500600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35769 13086 16 0 214557 0
vsize: 858292
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15066
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 111349 77 0 0 25 0 11 0 838784113 878891008 35841 4294967295 134512640 134569956 3221224368 3221214624 1131875753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 35841 13086 16 0 214557 0
vsize: 858292
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15066
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 112331 77 0 0 25 0 11 0 838784113 878891008 35883 4294967295 134512640 134569956 3221224368 3221214624 1131873624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214573 35883 13086 16 0 214557 0
vsize: 858292
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15066
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 113307 78 0 0 25 0 11 0 838784113 878891008 35939 4294967295 134512640 134569956 3221224368 3221214528 1131208537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35939 13086 16 0 214557 0
vsize: 858292
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15066
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 114284 78 0 0 25 0 11 0 838784113 878891008 35992 4294967295 134512640 134569956 3221224368 3221214576 1131577468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 35992 13086 16 0 214557 0
vsize: 858292
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15066
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 115261 78 0 0 25 0 11 0 838784113 878891008 36051 4294967295 134512640 134569956 3221224368 3221214384 1131578746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 36051 13086 16 0 214557 0
vsize: 858292
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15068
Raw data (stat): 15015 (java) S 15014 29618 29617 0 -1 0 18264 3 1 0 116242 79 0 0 25 0 11 0 838784113 878891008 36096 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 36096 13086 16 0 214557 0
vsize: 858292
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15068
Raw data (stat): 15015 (java) S 15014 29618 29617 0 -1 0 18264 3 1 0 117220 79 0 0 25 0 11 0 838784113 878891008 36151 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 36151 13086 16 0 214557 0
vsize: 858292
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15068
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 118198 79 0 0 25 0 11 0 838784113 878891008 36197 4294967295 134512640 134569956 3221224368 3221214188 1131193952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 36197 13086 16 0 214557 0
vsize: 858292
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15068
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 119175 79 0 0 24 0 11 0 838784113 878891008 36256 4294967295 134512640 134569956 3221224368 3221214648 1131216060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 36256 13086 16 0 214557 0
vsize: 858292
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 15068
Raw data (stat): 15015 (java) R 15014 29618 29617 0 -1 0 18264 3 1 0 120152 79 0 0 25 0 11 0 838784113 878891008 36309 4294967295 134512640 134569956 3221224368 3221213864 1085679492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 36309 13086 16 0 214557 0
vsize: 858292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.36 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 15070
Raw data (stat): 15015 (java) Z 15014 29618 29617 0 -1 1036 18264 38893 1 0 120173 86 7459 97 25 0 1 0 838784113 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.36
CPU time (s): 1278.17
CPU user time (s): 1276.33
CPU system time (s): 1.83972
CPU usage (%): 102.224
Max. virtual memory (Kb): 862752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####