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-sc50a.opb
MD5SUMd1a63d8d6fb70cfa129ffc4588721d0f
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 8388608
Number of bits of the biggest number in a constraint 24
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 benchmark1.19282
Number of variables960
Total number of constraints49
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 constraints49
Minimum length of a constraint40
Maximum length of a constraint80

Trace number 29860 

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        643504 kB
Buffers:         33940 kB
Cached:         335884 kB
SwapCached:        640 kB
Active:          85428 kB
Inactive:       286884 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        643252 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13192 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:34:36 (client local time) WITH STATUS 143 IN 1269.66 SECONDS
stats: 21255 0 1269.66 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/wulflinc23/normalized-mps-v2-13-7-sc50a.opb
c reading problem ... done. Time 1.576 ms.
c #vars     960
c #constraints  69
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 3.31 ms
c starts	: 11
c conflicts	: 8573
c decisions	: 9746
c propagations	: 149888
c inspects	: 9536040
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8573
c root simplifications	: 22
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) : 1239.227
#### 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.99 0.99 2/54 16174
Raw data (stat): 16174 (runsolver) R 16173 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838795420 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.0002 s]
Raw data (loadavg): 1.10 1.02 1.01 4/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18140 3 1 0 586 37 0 0 24 0 11 0 838795420 870457344 22617 4294967295 134512640 134569956 3221224368 3221214404 1130920896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212514 22617 13086 16 0 212498 0
vsize: 850056
[startup+20.0008 s]
Raw data (loadavg): 1.39 1.09 1.03 4/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18173 3 1 0 1394 38 0 0 25 0 11 0 838795420 883662848 26068 4294967295 134512640 134569956 3221224368 3221214632 1131220265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215738 26068 13086 16 0 215722 0
vsize: 862952
[startup+30.002 s]
Raw data (loadavg): 1.56 1.13 1.04 3/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18173 3 1 0 2351 38 0 0 25 0 11 0 838795420 882167808 26436 4294967295 134512640 134569956 3221224368 3221214752 1131221607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215373 26436 13086 16 0 215357 0
vsize: 861492
[startup+40.001 s]
Raw data (loadavg): 1.47 1.13 1.04 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18173 3 1 0 3309 38 0 0 25 0 11 0 838795420 879869952 26337 4294967295 134512640 134569956 3221224368 3221214552 1131311680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214812 26337 13086 16 0 214796 0
vsize: 859248
[startup+50.0018 s]
Raw data (loadavg): 1.40 1.12 1.04 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 4249 38 0 0 25 0 11 0 838795420 879869952 26819 4294967295 134512640 134569956 3221224368 3221214648 1131801564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214812 26819 13086 16 0 214796 0
vsize: 859248
[startup+60.0018 s]
Raw data (loadavg): 1.34 1.12 1.04 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 5198 38 0 0 25 0 11 0 838795420 878133248 26557 4294967295 134512640 134569956 3221224368 3221214648 1131799222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 26557 13086 16 0 214372 0
vsize: 857552
[startup+70.0032 s]
Raw data (loadavg): 1.29 1.11 1.04 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 6145 39 0 0 25 0 11 0 838795420 878133248 26747 4294967295 134512640 134569956 3221224368 3221214624 1131799231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 26747 13086 16 0 214372 0
vsize: 857552
[startup+80.0037 s]
Raw data (loadavg): 1.24 1.11 1.04 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 7094 39 0 0 25 0 11 0 838795420 878133248 26885 4294967295 134512640 134569956 3221224368 3221214528 1131226617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 26885 13086 16 0 214372 0
vsize: 857552
[startup+90.0038 s]
Raw data (loadavg): 1.20 1.11 1.04 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 8041 39 0 0 25 0 11 0 838795420 878133248 27034 4294967295 134512640 134569956 3221224368 3221214624 1131799395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 27034 13086 16 0 214372 0
vsize: 857552
[startup+100.004 s]
Raw data (loadavg): 1.17 1.10 1.03 2/64 16185
Raw data (stat): 16174 (java) S 16173 5562 5561 0 -1 0 18174 3 1 0 8990 39 0 0 25 0 11 0 838795420 878133248 27164 4294967295 134512640 134569956 3221224368 3221213128 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 27164 13086 16 0 214372 0
vsize: 857552
[startup+110.004 s]
Raw data (loadavg): 1.15 1.10 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 9947 39 0 0 25 0 11 0 838795420 878133248 27283 4294967295 134512640 134569956 3221224368 3221214440 1131592529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 27283 13086 16 0 214372 0
vsize: 857552
[startup+120.005 s]
Raw data (loadavg): 1.12 1.10 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 10896 40 0 0 25 0 11 0 838795420 878133248 27397 4294967295 134512640 134569956 3221224368 3221214520 1131399615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 27397 13086 16 0 214372 0
vsize: 857552
[startup+130.005 s]
Raw data (loadavg): 1.10 1.09 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 11856 40 0 0 25 0 11 0 838795420 878133248 27536 4294967295 134512640 134569956 3221224368 3221214528 1131226657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 27536 13086 16 0 214372 0
vsize: 857552
[startup+140.005 s]
Raw data (loadavg): 1.09 1.09 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 12815 40 0 0 25 0 11 0 838795420 878133248 27650 4294967295 134512640 134569956 3221224368 3221214624 1131807251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 27650 13086 16 0 214372 0
vsize: 857552
[startup+150.006 s]
Raw data (loadavg): 1.07 1.08 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 13765 40 0 0 25 0 11 0 838795420 878133248 27801 4294967295 134512640 134569956 3221224368 3221214624 1131799254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 27801 13086 16 0 214372 0
vsize: 857552
[startup+160.006 s]
Raw data (loadavg): 1.06 1.08 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 14726 40 0 0 25 0 11 0 838795420 878133248 27942 4294967295 134512640 134569956 3221224368 3221214576 1131443508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 27942 13086 16 0 214372 0
vsize: 857552
[startup+170.007 s]
Raw data (loadavg): 1.05 1.08 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 15697 40 0 0 25 0 11 0 838795420 878133248 28030 4294967295 134512640 134569956 3221224368 3221214304 1131445873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28030 13086 16 0 214372 0
vsize: 857552
[startup+180.007 s]
Raw data (loadavg): 1.04 1.08 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 16650 40 0 0 25 0 11 0 838795420 878133248 28176 4294967295 134512640 134569956 3221224368 3221214088 1131445962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28176 13086 16 0 214372 0
vsize: 857552
[startup+190.007 s]
Raw data (loadavg): 1.04 1.07 1.03 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 17606 41 0 0 25 0 11 0 838795420 878133248 28278 4294967295 134512640 134569956 3221224368 3221214624 1131801523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28278 13086 16 0 214372 0
vsize: 857552
[startup+200.008 s]
Raw data (loadavg): 1.03 1.07 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 18571 41 0 0 25 0 11 0 838795420 878133248 28374 4294967295 134512640 134569956 3221224368 3221214528 1131227482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28374 13086 16 0 214372 0
vsize: 857552
[startup+210.009 s]
Raw data (loadavg): 1.02 1.07 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 19527 41 0 0 25 0 11 0 838795420 878133248 28528 4294967295 134512640 134569956 3221224368 3221214560 1131272728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28528 13086 16 0 214372 0
vsize: 857552
[startup+220.01 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 20493 42 0 0 25 0 11 0 838795420 878133248 28620 4294967295 134512640 134569956 3221224368 3221214560 1131269687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28620 13086 16 0 214372 0
vsize: 857552
[startup+230.01 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 21453 42 0 0 25 0 11 0 838795420 878133248 28763 4294967295 134512640 134569956 3221224368 3221214624 1131801612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28763 13086 16 0 214372 0
vsize: 857552
[startup+240.01 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 22422 42 0 0 25 0 11 0 838795420 878133248 28847 4294967295 134512640 134569956 3221224368 3221214704 1131359396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28847 13086 16 0 214372 0
vsize: 857552
[startup+250.01 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 23392 43 0 0 25 0 11 0 838795420 878133248 28924 4294967295 134512640 134569956 3221224368 3221214560 1131270504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 28924 13086 16 0 214372 0
vsize: 857552
[startup+260.01 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 24356 43 0 0 25 0 11 0 838795420 878133248 29015 4294967295 134512640 134569956 3221224368 3221214032 1131445844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29015 13086 16 0 214372 0
vsize: 857552
[startup+270.01 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 25326 43 0 0 25 0 11 0 838795420 878133248 29087 4294967295 134512640 134569956 3221224368 3221214528 1131226715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29087 13086 16 0 214372 0
vsize: 857552
[startup+280.011 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 26291 44 0 0 25 0 11 0 838795420 878133248 29205 4294967295 134512640 134569956 3221224368 3221213720 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29205 13086 16 0 214372 0
vsize: 857552
[startup+290.013 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 27264 45 0 0 25 0 11 0 838795420 878133248 29293 4294967295 134512640 134569956 3221224368 3221214624 1131808284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29293 13086 16 0 214372 0
vsize: 857552
[startup+300.013 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 28238 45 0 0 25 0 11 0 838795420 878133248 29361 4294967295 134512640 134569956 3221224368 3221214568 1131456917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29361 13086 16 0 214372 0
vsize: 857552
[startup+310.014 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 29211 46 0 0 25 0 11 0 838795420 878133248 29435 4294967295 134512640 134569956 3221224368 3221214528 1131445905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29435 13086 16 0 214372 0
vsize: 857552
[startup+320.015 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 30184 46 0 0 25 0 11 0 838795420 878133248 29506 4294967295 134512640 134569956 3221224368 3221214680 1131220068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29506 13086 16 0 214372 0
vsize: 857552
[startup+330.015 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 31158 46 0 0 25 0 11 0 838795420 878133248 29561 4294967295 134512640 134569956 3221224368 3221214544 1131227482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29561 13086 16 0 214372 0
vsize: 857552
[startup+340.015 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 32137 47 0 0 25 0 11 0 838795420 878133248 29610 4294967295 134512640 134569956 3221224368 3221214568 1131456917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29610 13086 16 0 214372 0
vsize: 857552
[startup+350.016 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 33108 47 0 0 25 0 11 0 838795420 878133248 29674 4294967295 134512640 134569956 3221224368 3221214624 1131811672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29674 13086 16 0 214372 0
vsize: 857552
[startup+360.016 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 34086 47 0 0 25 0 11 0 838795420 878133248 29716 4294967295 134512640 134569956 3221224368 3221213964 1131445904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29716 13086 16 0 214372 0
vsize: 857552
[startup+370.016 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 35056 48 0 0 25 0 11 0 838795420 878133248 29777 4294967295 134512640 134569956 3221224368 3221213952 1131443528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29777 13086 16 0 214372 0
vsize: 857552
[startup+380.017 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 36025 48 0 0 25 0 11 0 838795420 878133248 29841 4294967295 134512640 134569956 3221224368 3221214624 1131805304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29841 13086 16 0 214372 0
vsize: 857552
[startup+390.017 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 16185
Raw data (stat): 16174 (java) S 16173 5562 5561 0 -1 0 18174 3 1 0 36995 48 0 0 25 0 11 0 838795420 878133248 29900 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29900 13086 16 0 214372 0
vsize: 857552
[startup+400.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 37963 49 0 0 25 0 11 0 838795420 878133248 29988 4294967295 134512640 134569956 3221224368 3221214624 1131799222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 29988 13086 16 0 214372 0
vsize: 857552
[startup+410.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 38933 49 0 0 25 0 11 0 838795420 878133248 30060 4294967295 134512640 134569956 3221224368 3221213944 1085679756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30060 13086 16 0 214372 0
vsize: 857552
[startup+420.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 39903 49 0 0 25 0 11 0 838795420 878133248 30140 4294967295 134512640 134569956 3221224368 3221214528 1131226643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30140 13086 16 0 214372 0
vsize: 857552
[startup+430.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 40874 50 0 0 25 0 11 0 838795420 878133248 30220 4294967295 134512640 134569956 3221224368 3221214520 1131443516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30220 13086 16 0 214372 0
vsize: 857552
[startup+440.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 41853 50 0 0 25 0 11 0 838795420 878133248 30283 4294967295 134512640 134569956 3221224368 3221214624 1131801523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30283 13086 16 0 214372 0
vsize: 857552
[startup+450.019 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 42826 50 0 0 25 0 11 0 838795420 878133248 30356 4294967295 134512640 134569956 3221224368 3221214328 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30356 13086 16 0 214372 0
vsize: 857552
[startup+460.019 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 16185
Raw data (stat): 16174 (java) S 16173 5562 5561 0 -1 0 18174 3 1 0 43802 50 0 0 25 0 11 0 838795420 878133248 30408 4294967295 134512640 134569956 3221224368 3221213264 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30408 13086 16 0 214372 0
vsize: 857552
[startup+470.02 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 44778 50 0 0 25 0 11 0 838795420 878133248 30472 4294967295 134512640 134569956 3221224368 3221214412 1131445904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30472 13086 16 0 214372 0
vsize: 857552
[startup+480.021 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 45751 50 0 0 25 0 11 0 838795420 878133248 30553 4294967295 134512640 134569956 3221224368 3221214360 1131445979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30553 13086 16 0 214372 0
vsize: 857552
[startup+490.02 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 46731 51 0 0 25 0 11 0 838795420 878133248 30600 4294967295 134512640 134569956 3221224368 3221213968 1131443495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30600 13086 16 0 214372 0
vsize: 857552
[startup+500.022 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 47704 51 0 0 25 0 11 0 838795420 878133248 30658 4294967295 134512640 134569956 3221224368 3221214488 1085679261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30658 13086 16 0 214372 0
vsize: 857552
[startup+510.022 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 48677 51 0 0 25 0 11 0 838795420 878133248 30718 4294967295 134512640 134569956 3221224368 3221214360 1131445880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30718 13086 16 0 214372 0
vsize: 857552
[startup+520.022 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 49656 51 0 0 25 0 11 0 838795420 878133248 30757 4294967295 134512640 134569956 3221224368 3221214536 1131194552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30757 13086 16 0 214372 0
vsize: 857552
[startup+530.023 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 50624 51 0 0 25 0 11 0 838795420 878133248 30836 4294967295 134512640 134569956 3221224368 3221214528 1131226680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30836 13086 16 0 214372 0
vsize: 857552
[startup+540.023 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 51599 52 0 0 25 0 11 0 838795420 878133248 30898 4294967295 134512640 134569956 3221224368 3221214536 1131194566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 30898 13086 16 0 214372 0
vsize: 857552
[startup+550.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 52568 52 0 0 25 0 11 0 838795420 878133248 30977 4294967295 134512640 134569956 3221224368 3221214624 1131801583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214388 30977 13086 16 0 214372 0
vsize: 857552
[startup+560.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 53539 52 0 0 25 0 11 0 838795420 878133248 31065 4294967295 134512640 134569956 3221224368 3221214624 1131800404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31065 13086 16 0 214372 0
vsize: 857552
[startup+570.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 54512 52 0 0 25 0 11 0 838795420 878133248 31137 4294967295 134512640 134569956 3221224368 3221214268 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31137 13086 16 0 214372 0
vsize: 857552
[startup+580.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 55491 53 0 0 25 0 11 0 838795420 878133248 31199 4294967295 134512640 134569956 3221224368 3221214624 1131799222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214388 31199 13086 16 0 214372 0
vsize: 857552
[startup+590.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 56468 53 0 0 25 0 11 0 838795420 878133248 31259 4294967295 134512640 134569956 3221224368 3221214744 1131578287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31259 13086 16 0 214372 0
vsize: 857552
[startup+600.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 57443 53 0 0 25 0 11 0 838795420 878133248 31310 4294967295 134512640 134569956 3221224368 3221214384 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31310 13086 16 0 214372 0
vsize: 857552
[startup+610.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 58420 53 0 0 25 0 11 0 838795420 878133248 31365 4294967295 134512640 134569956 3221224368 3221214624 1131801598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214388 31365 13086 16 0 214372 0
vsize: 857552
[startup+620.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 59398 54 0 0 25 0 11 0 838795420 878133248 31413 4294967295 134512640 134569956 3221224368 3221213740 1131456896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31413 13086 16 0 214372 0
vsize: 857552
[startup+630.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 60372 54 0 0 25 0 11 0 838795420 878133248 31461 4294967295 134512640 134569956 3221224368 3221214624 1131801644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31461 13086 16 0 214372 0
vsize: 857552
[startup+640.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 61350 54 0 0 25 0 11 0 838795420 878133248 31514 4294967295 134512640 134569956 3221224368 3221214624 1131801583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31514 13086 16 0 214372 0
vsize: 857552
[startup+650.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 62331 55 0 0 25 0 11 0 838795420 878133248 31553 4294967295 134512640 134569956 3221224368 3221214520 1131443495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31553 13086 16 0 214372 0
vsize: 857552
[startup+660.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 63311 55 0 0 24 0 11 0 838795420 878133248 31609 4294967295 134512640 134569956 3221224368 3221214624 1131801523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31609 13086 16 0 214372 0
vsize: 857552
[startup+670.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 64296 55 0 0 25 0 11 0 838795420 878133248 31637 4294967295 134512640 134569956 3221224368 3221214232 1131443522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31637 13086 16 0 214372 0
vsize: 857552
[startup+680.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 65277 56 0 0 25 0 11 0 838795420 878133248 31669 4294967295 134512640 134569956 3221224368 3221213860 1131445899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31669 13086 16 0 214372 0
vsize: 857552
[startup+690.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 66259 56 0 0 25 0 11 0 838795420 878133248 31698 4294967295 134512640 134569956 3221224368 3221214528 1131226715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31698 13086 16 0 214372 0
vsize: 857552
[startup+700.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 67235 57 0 0 25 0 11 0 838795420 878133248 31730 4294967295 134512640 134569956 3221224368 3221213744 1131443495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31730 13086 16 0 214372 0
vsize: 857552
[startup+710.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 68211 57 0 0 24 0 11 0 838795420 878133248 31760 4294967295 134512640 134569956 3221224368 3221214576 1131443369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31760 13086 16 0 214372 0
vsize: 857552
[startup+720.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 69190 57 0 0 25 0 11 0 838795420 878133248 31787 4294967295 134512640 134569956 3221224368 3221214536 1131194566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31787 13086 16 0 214372 0
vsize: 857552
[startup+730.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 70164 57 0 0 25 0 11 0 838795420 878133248 31821 4294967295 134512640 134569956 3221224368 3221214528 1131226846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31821 13086 16 0 214372 0
vsize: 857552
[startup+740.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 71143 58 0 0 25 0 11 0 838795420 878133248 31853 4294967295 134512640 134569956 3221224368 3221214624 1131812633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31853 13086 16 0 214372 0
vsize: 857552
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 72117 58 0 0 25 0 11 0 838795420 878133248 31912 4294967295 134512640 134569956 3221224368 3221214528 1131226869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31912 13086 16 0 214372 0
vsize: 857552
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 73097 58 0 0 25 0 11 0 838795420 878133248 31969 4294967295 134512640 134569956 3221224368 3221214360 1131445880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 31969 13086 16 0 214372 0
vsize: 857552
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 74077 59 0 0 25 0 11 0 838795420 878133248 32007 4294967295 134512640 134569956 3221224368 3221214064 1131435060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32007 13086 16 0 214372 0
vsize: 857552
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 75054 59 0 0 25 0 11 0 838795420 878133248 32069 4294967295 134512640 134569956 3221224368 3221214408 1131443372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32069 13086 16 0 214372 0
vsize: 857552
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 76035 59 0 0 25 0 11 0 838795420 878133248 32112 4294967295 134512640 134569956 3221224368 3221214436 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32112 13086 16 0 214372 0
vsize: 857552
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 77012 59 0 0 25 0 11 0 838795420 878133248 32152 4294967295 134512640 134569956 3221224368 3221213376 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32152 13086 16 0 214372 0
vsize: 857552
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 77994 60 0 0 25 0 11 0 838795420 878133248 32187 4294967295 134512640 134569956 3221224368 3221214544 1131312437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32187 13086 16 0 214372 0
vsize: 857552
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 78972 60 0 0 25 0 11 0 838795420 878133248 32229 4294967295 134512640 134569956 3221224368 3221213696 1131445815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32229 13086 16 0 214372 0
vsize: 857552
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 79954 60 0 0 25 0 11 0 838795420 878133248 32265 4294967295 134512640 134569956 3221224368 3221214624 1131799222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32265 13086 16 0 214372 0
vsize: 857552
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 80932 60 0 0 25 0 11 0 838795420 878133248 32305 4294967295 134512640 134569956 3221224368 3221213776 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32305 13086 16 0 214372 0
vsize: 857552
[startup+850.036 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 81915 61 0 0 25 0 11 0 838795420 878133248 32332 4294967295 134512640 134569956 3221224368 3221213720 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32332 13086 16 0 214372 0
vsize: 857552
[startup+860.036 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 82897 61 0 0 25 0 11 0 838795420 878133248 32367 4294967295 134512640 134569956 3221224368 3221214624 1131800460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32367 13086 16 0 214372 0
vsize: 857552
[startup+870.036 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 83880 61 0 0 25 0 11 0 838795420 878133248 32395 4294967295 134512640 134569956 3221224368 3221214624 1131799254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32395 13086 16 0 214372 0
vsize: 857552
[startup+880.037 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 84857 62 0 0 25 0 11 0 838795420 878133248 32432 4294967295 134512640 134569956 3221224368 3221214304 1131445880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32432 13086 16 0 214372 0
vsize: 857552
[startup+890.037 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 85839 63 0 0 25 0 11 0 838795420 878133248 32464 4294967295 134512640 134569956 3221224368 3221214184 1131443516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32464 13086 16 0 214372 0
vsize: 857552
[startup+900.037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 86817 64 0 0 25 0 11 0 838795420 878133248 32501 4294967295 134512640 134569956 3221224368 3221214624 1131799222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32501 13086 16 0 214372 0
vsize: 857552
[startup+910.038 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 87798 64 0 0 25 0 11 0 838795420 878133248 32531 4294967295 134512640 134569956 3221224368 3221214624 1131802741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32531 13086 16 0 214372 0
vsize: 857552
[startup+920.038 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 88775 65 0 0 25 0 11 0 838795420 878133248 32569 4294967295 134512640 134569956 3221224368 3221214624 1131800396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32569 13086 16 0 214372 0
vsize: 857552
[startup+930.038 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 89756 65 0 0 25 0 11 0 838795420 878133248 32601 4294967295 134512640 134569956 3221224368 3221214624 1131802518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32601 13086 16 0 214372 0
vsize: 857552
[startup+940.038 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 90733 65 0 0 25 0 11 0 838795420 878133248 32641 4294967295 134512640 134569956 3221224368 3221214496 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32641 13086 16 0 214372 0
vsize: 857552
[startup+950.038 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 91715 65 0 0 25 0 11 0 838795420 878133248 32666 4294967295 134512640 134569956 3221224368 3221214052 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32666 13086 16 0 214372 0
vsize: 857552
[startup+960.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 92691 66 0 0 25 0 11 0 838795420 878133248 32706 4294967295 134512640 134569956 3221224368 3221214624 1131808457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32706 13086 16 0 214372 0
vsize: 857552
[startup+970.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 93669 66 0 0 25 0 11 0 838795420 878133248 32745 4294967295 134512640 134569956 3221224368 3221214120 1131443528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32745 13086 16 0 214372 0
vsize: 857552
[startup+980.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 94651 66 0 0 25 0 11 0 838795420 878133248 32786 4294967295 134512640 134569956 3221224368 3221213744 1131445905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32786 13086 16 0 214372 0
vsize: 857552
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 95629 67 0 0 25 0 11 0 838795420 878133248 32828 4294967295 134512640 134569956 3221224368 3221214624 1131799222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32828 13086 16 0 214372 0
vsize: 857552
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 96612 67 0 0 25 0 11 0 838795420 878133248 32853 4294967295 134512640 134569956 3221224368 3221213928 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32853 13086 16 0 214372 0
vsize: 857552
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 97593 67 0 0 25 0 11 0 838795420 878133248 32880 4294967295 134512640 134569956 3221224368 3221213936 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32880 13086 16 0 214372 0
vsize: 857552
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 98584 68 0 0 25 0 11 0 838795420 878133248 32895 4294967295 134512640 134569956 3221224368 3221214512 1131456917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214388 32895 13086 16 0 214372 0
vsize: 857552
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 99579 68 0 0 25 0 11 0 838795420 878133248 32902 4294967295 134512640 134569956 3221224368 3221214408 1131443536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214388 32902 13086 16 0 214372 0
vsize: 857552
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 100550 68 0 0 24 0 11 0 838795420 878133248 32943 4294967295 134512640 134569956 3221224368 3221214428 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32943 13086 16 0 214372 0
vsize: 857552
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 101527 69 0 0 25 0 11 0 838795420 878133248 32974 4294967295 134512640 134569956 3221224368 3221214224 1131555451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 32974 13086 16 0 214372 0
vsize: 857552
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 102504 69 0 0 25 0 11 0 838795420 878133248 33005 4294967295 134512640 134569956 3221224368 3221214080 1131445905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33005 13086 16 0 214372 0
vsize: 857552
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 103482 69 0 0 25 0 11 0 838795420 878133248 33047 4294967295 134512640 134569956 3221224368 3221214624 1131803735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33047 13086 16 0 214372 0
vsize: 857552
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 104461 70 0 0 25 0 11 0 838795420 878133248 33087 4294967295 134512640 134569956 3221224368 3221214528 1131227495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33087 13086 16 0 214372 0
vsize: 857552
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 105437 70 0 0 25 0 11 0 838795420 878133248 33156 4294967295 134512640 134569956 3221224368 3221214440 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33156 13086 16 0 214372 0
vsize: 857552
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 106419 70 0 0 25 0 11 0 838795420 878133248 33180 4294967295 134512640 134569956 3221224368 3221214124 1131456908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33180 13086 16 0 214372 0
vsize: 857552
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 107401 70 0 0 25 0 11 0 838795420 878133248 33205 4294967295 134512640 134569956 3221224368 3221214292 1131456905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33205 13086 16 0 214372 0
vsize: 857552
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 108382 71 0 0 25 0 11 0 838795420 878133248 33229 4294967295 134512640 134569956 3221224368 3221213940 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214388 33229 13086 16 0 214372 0
vsize: 857552
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 109364 71 0 0 24 0 11 0 838795420 878133248 33254 4294967295 134512640 134569956 3221224368 3221214624 1131802698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33254 13086 16 0 214372 0
vsize: 857552
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 110344 71 0 0 25 0 11 0 838795420 878133248 33279 4294967295 134512640 134569956 3221224368 3221214076 1131445904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33279 13086 16 0 214372 0
vsize: 857552
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) S 16173 5562 5561 0 -1 0 18174 3 1 0 111323 72 0 0 25 0 11 0 838795420 878133248 33301 4294967295 134512640 134569956 3221224368 3221213264 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33301 13086 16 0 214372 0
vsize: 857552
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 112307 72 0 0 25 0 11 0 838795420 878133248 33323 4294967295 134512640 134569956 3221224368 3221214128 1131443484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33323 13086 16 0 214372 0
vsize: 857552
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 113284 72 0 0 25 0 11 0 838795420 878133248 33351 4294967295 134512640 134569956 3221224368 3221214528 1131226794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33351 13086 16 0 214372 0
vsize: 857552
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 114265 72 0 0 25 0 11 0 838795420 878133248 33374 4294967295 134512640 134569956 3221224368 3221214348 1131456896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214388 33374 13086 16 0 214372 0
vsize: 857552
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 115246 73 0 0 25 0 11 0 838795420 878133248 33405 4294967295 134512640 134569956 3221224368 3221214624 1131804009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33405 13086 16 0 214372 0
vsize: 857552
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 116227 73 0 0 25 0 11 0 838795420 878133248 33426 4294967295 134512640 134569956 3221224368 3221214528 1131227498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33426 13086 16 0 214372 0
vsize: 857552
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 117205 73 0 0 25 0 11 0 838795420 878133248 33451 4294967295 134512640 134569956 3221224368 3221214528 1131226825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33451 13086 16 0 214372 0
vsize: 857552
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 118186 73 0 0 25 0 11 0 838795420 878133248 33472 4294967295 134512640 134569956 3221224368 3221213908 1131445840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33472 13086 16 0 214372 0
vsize: 857552
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 119166 73 0 0 25 0 11 0 838795420 878133248 33493 4294967295 134512640 134569956 3221224368 3221214352 1131443456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33493 13086 16 0 214372 0
vsize: 857552
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16185
Raw data (stat): 16174 (java) R 16173 5562 5561 0 -1 0 18174 3 1 0 120146 74 0 0 25 0 11 0 838795420 878133248 33519 4294967295 134512640 134569956 3221224368 3221213968 1131445911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214388 33519 13086 16 0 214372 0
vsize: 857552
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.32 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16187
Raw data (stat): 16174 (java) Z 16173 5562 5561 0 -1 1036 18174 34863 1 0 120167 80 6625 92 25 0 1 0 838795420 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): 1240.32
CPU time (s): 1269.66
CPU user time (s): 1267.93
CPU system time (s): 1.72474
CPU usage (%): 102.365
Max. virtual memory (Kb): 862952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####