PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell5.opb
MD5SUM	de15576cff54b253255390d90c832bf8
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	948
Biggest coefficient in the objective function	6291456000000000
Number of bits for the biggest coefficient in the objective function	53
Sum of the numbers in the objective function	104362034158211275
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	6291456000000000
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	104362034158211275
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	3.13352
Number of variables	1244
Total number of constraints	149
Number of constraints which are clauses	15
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	104
Minimum length of a constraint	1
Maximum length of a constraint	95
Trace number 30009

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 13:47:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21414 boxname=wulflinc19 idbench=1402 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  de15576cff54b253255390d90c832bf8  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-bell5.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-bell5.opb
IDLAUNCH: 21414
/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:        435192 kB
Buffers:         35192 kB
Cached:         537632 kB
SwapCached:        416 kB
Active:          53476 kB
Inactive:       521596 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        434940 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18692 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:07:46 (client local time) WITH STATUS 143 IN 1230.21 SECONDS
stats: 21414 0 1230.21 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-bell5.opb
c reading problem ... done. Time 2.019 ms.
c #vars     1244
c #constraints  114
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=     853351779340531 		Current CPU time: 6.03 ms
c CURRENT OPTIMUM=     853237755276694 		Current CPU time: 10.51 ms
c CURRENT OPTIMUM=     542325007868286 		Current CPU time: 12.20 ms
c starts	: 7
c conflicts	: 771
c decisions	: 26262
c propagations	: 31159
c inspects	: 3656615
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 771
c root simplifications	: 747
s SATISFIABLE
v d1_bit0 -d2_bit0 d3_bit0 -d4_bit0 d5_bit0 -d6_bit0 -d7_bit0 -d9_bit0 d10_bit0 -d11_bit0 -d12_bit0 d13_bit0 d14_bit0 -d16_bit0 h1_bit0 h1_bit1 -h1_bit2 h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h1_bit10 -h1_bit11 -h1_bit12 -h1_bit13 -h2_bit0 -h2_bit1 h2_bit2 h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h2_bit10 -h2_bit11 -h2_bit12 -h2_bit13 h3_bit0 h3_bit1 -h3_bit2 h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h3_bit10 -h3_bit11 -h3_bit12 -h3_bit13 -h4_bit0 -h4_bit1 -h4_bit2 h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h4_bit10 -h4_bit11 -h4_bit12 -h4_bit13 h5_bit0 h5_bit1 -h5_bit2 h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h5_bit10 -h5_bit11 -h5_bit12 -h5_bit13 -h6_bit0 -h6_bit1 h6_bit2 -h6_bit3 h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h6_bit10 -h6_bit11 -h6_bit12 -h6_bit13 -h7_bit0 -h7_bit1 -h7_bit2 h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h7_bit10 -h7_bit11 -h7_bit12 -h7_bit13 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h9_bit10 -h9_bit11 -h9_bit12 -h9_bit13 h10_bit0 h10_bit1 h10_bit2 h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h11_bit0 -h11_bit1 h11_bit2 -h11_bit3 h11_bit4 -h11_bit5 -h11_bit6 -h11_bit7 -h11_bit8 -h11_bit9 -h12_bit0 -h12_bit1 h12_bit2 -h12_bit3 h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 h13_bit0 h13_bit1 -h13_bit2 h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 h14_bit0 h14_bit1 -h14_bit2 h14_bit3 -h14_bit4 -h14_bit5 -h14_bit6 -h14_bit7 -h14_bit8 -h14_bit9 -h16_bit0 -h16_bit1 -h16_bit2 h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 g1_bit0 g1_bit1 g1_bit2 -g1_bit3 g1_bit4 -g1_bit5 -g1_bit6 g1_bit7 -g1_bit8 -g1_bit9 -g2_bit0 -g2_bit1 -g2_bit2 -g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 g2_bit7 g2_bit8 -g2_bit9 g3_bit0 g3_bit1 g3_bit2 -g3_bit3 g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 g4_bit0 g4_bit1 g4_bit2 -g4_bit3 g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 g5_bit0 g5_bit1 g5_bit2 -g5_bit3 g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 -g5_bit8 g5_bit9 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 -g6_bit4 -g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 g6_bit9 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 g7_bit7 g7_bit8 -g7_bit9 g9_bit0 g9_bit1 g9_bit2 g9_bit3 g9_bit4 g9_bit5 g9_bit6 -g9_bit7 g9_bit8 g9_bit9 -g10_bit0 -g10_bit1 -g10_bit2 g10_bit3 g10_bit4 g10_bit5 -g10_bit6 -g11_bit0 -g11_bit1 -g11_bit2 -g11_bit3 -g11_bit4 -g11_bit5 g11_bit6 -g12_bit0 -g12_bit1 -g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 g12_bit6 g13_bit0 g13_bit1 -g13_bit2 g13_bit3 g13_bit4 -g13_bit5 -g13_bit6 g14_bit0 g14_bit1 -g14_bit2 g14_bit3 g14_bit4 -g14_bit5 -g14_bit6 g16_bit0 g16_bit1 -g16_bit2 g16_bit3 g16_bit4 -g16_bit5 -g16_bit6 -a1_bit_7 -a1_bit_6 -a1_bit_5 -a1_bit_4 -a1_bit_3 -a1_bit_2 -a1_bit_1 -a1_bit0 -a1_bit1 -a1_bit2 -a1_bit3 -a1_bit4 -a1_bit5 -a1_bit6 -a1_bit7 -a1_bit8 -a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 -a2_bit_7 -a2_bit_6 -a2_bit_5 -a2_bit_4 -a2_bit_3 -a2_bit_2 -a2_bit_1 -a2_bit0 -a2_bit1 -a2_bit2 -a2_bit3 -a2_bit4 -a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 -a3_bit1 -a3_bit2 -a3_bit3 a3_bit4 -a3_bit5 -a3_bit6 -a3_bit7 -a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 -a4_bit3 -a4_bit4 -a4_bit5 -a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 -a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 a7_bit_7 -a7_bit_6 -a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 a7_bit1 a7_bit2 a7_bit3 -a7_bit4 a7_bit5 a7_bit6 a7_bit7 a7_bit8 a7_bit9 -a7_bit10 -a7_bit11 a7_bit12 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 -a8_bit1 -a8_bit2 -a8_bit3 -a8_bit4 -a8_bit5 -a8_bit6 -a8_bit7 -a8_bit8 -a8_bit9 -a8_bit10 a8_bit11 a8_bit12 a9_bit_7 -a9_bit_6 a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 a9_bit1 a9_bit2 a9_bit3 a9_bit4 -a9_bit5 a9_bit6 a9_bit7 a9_bit8 a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a10_bit_7 -a10_bit_6 -a10_bit_5 -a10_bit_4 -a10_bit_3 -a10_bit_2 -a10_bit_1 -a10_bit0 -a10_bit1 -a10_bit2 -a10_bit3 -a10_bit4 -a10_bit5 -a10_bit6 -a10_bit7 -a10_bit8 -a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a11_bit_7 -a11_bit_6 -a11_bit_5 -a11_bit_4 -a11_bit_3 -a11_bit_2 -a11_bit_1 -a11_bit0 -a11_bit1 -a11_bit2 -a11_bit3 -a11_bit4 -a11_bit5 -a11_bit6 -a11_bit7 -a11_bit8 -a11_bit9 -a11_bit10 -a11_bit11 -a11_bit12 a12_bit_7 -a12_bit_6 -a12_bit_5 a12_bit_4 -a12_bit_3 -a12_bit_2 -a12_bit_1 -a12_bit0 -a12_bit1 a12_bit2 a12_bit3 -a12_bit4 a12_bit5 a12_bit6 a12_bit7 -a12_bit8 -a12_bit9 -a12_bit10 -a12_bit11 -a12_bit12 -a13_bit_7 -a13_bit_6 -a13_bit_5 -a13_bit_4 -a13_bit_3 -a13_bit_2 -a13_bit_1 -a13_bit0 -a13_bit1 -a13_bit2 -a13_bit3 -a13_bit4 -a13_bit5 a13_bit6 -a13_bit7 a13_bit8 a13_bit9 -a13_bit10 -a13_bit11 a13_bit12 -a14_bit_7 -a14_bit_6 -a14_bit_5 -a14_bit_4 -a14_bit_3 -a14_bit_2 -a14_bit_1 -a14_bit0 -a14_bit1 -a14_bit2 -a14_bit3 -a14_bit4 a14_bit5 -a14_bit6 a14_bit7 a14_bit8 a14_bit9 -a14_bit10 -a14_bit11 -a14_bit12 -a15_bit_7 -a15_bit_6 -a15_bit_5 -a15_bit_4 -a15_bit_3 -a15_bit_2 -a15_bit_1 -a15_bit0 -a15_bit1 -a15_bit2 -a15_bit3 -a15_bit4 -a15_bit5 -a15_bit6 -a15_bit7 -a15_bit8 -a15_bit9 a15_bit10 -a15_bit11 -a15_bit12 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 -a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 -a16_bit2 -a16_bit3 -a16_bit4 -a16_bit5 -a16_bit6 -a16_bit7 -a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -b1_bit_7 -b1_bit_6 -b1_bit_5 -b1_bit_4 -b1_bit_3 -b1_bit_2 -b1_bit_1 -b1_bit0 -b1_bit1 -b1_bit2 -b1_bit3 -b1_bit4 -b1_bit5 -b1_bit6 b1_bit7 b1_bit8 b1_bit9 b1_bit10 -b1_bit11 b1_bit12 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 -b2_bit3 -b2_bit4 -b2_bit5 -b2_bit6 -b2_bit7 -b2_bit8 -b2_bit9 -b2_bit10 -b2_bit11 -b2_bit12 -b3_bit_7 -b3_bit_6 -b3_bit_5 -b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 -b3_bit0 -b3_bit1 -b3_bit2 -b3_bit3 -b3_bit4 -b3_bit5 -b3_bit6 -b3_bit7 -b3_bit8 -b3_bit9 -b3_bit10 -b3_bit11 -b3_bit12 -b4_bit_7 -b4_bit_6 -b4_bit_5 -b4_bit_4 -b4_bit_3 -b4_bit_2 -b4_bit_1 -b4_bit0 -b4_bit1 -b4_bit2 -b4_bit3 -b4_bit4 -b4_bit5 -b4_bit6 -b4_bit7 -b4_bit8 -b4_bit9 -b4_bit10 -b4_bit11 -b4_bit12 -b5_bit_7 -b5_bit_6 -b5_bit_5 -b5_bit_4 -b5_bit_3 -b5_bit_2 -b5_bit_1 -b5_bit0 -b5_bit1 -b5_bit2 -b5_bit3 -b5_bit4 -b5_bit5 -b5_bit6 -b5_bit7 -b5_bit8 -b5_bit9 -b5_bit10 -b5_bit11 -b5_bit12 -b6_bit_7 -b6_bit_6 -b6_bit_5 -b6_bit_4 -b6_bit_3 -b6_bit_2 -b6_bit_1 -b6_bit0 -b6_bit1 -b6_bit2 -b6_bit3 -b6_bit4 -b6_bit5 -b6_bit6 -b6_bit7 -b6_bit8 -b6_bit9 -b6_bit10 -b6_bit11 -b6_bit12 -b7_bit_7 -b7_bit_6 -b7_bit_5 -b7_bit_4 -b7_bit_3 -b7_bit_2 -b7_bit_1 -b7_bit0 -b7_bit1 -b7_bit2 -b7_bit3 -b7_bit4 -b7_bit5 -b7_bit6 -b7_bit7 -b7_bit8 -b7_bit9 -b7_bit10 -b7_bit11 -b7_bit12 -b8_bit_7 -b8_bit_6 -b8_bit_5 -b8_bit_4 -b8_bit_3 -b8_bit_2 -b8_bit_1 -b8_bit0 -b8_bit1 -b8_bit2 -b8_bit3 -b8_bit4 -b8_bit5 -b8_bit6 -b8_bit7 -b8_bit8 b8_bit9 -b8_bit10 b8_bit11 -b8_bit12 b9_bit_7 b9_bit_6 b9_bit_5 b9_bit_4 b9_bit_3 b9_bit_2 b9_bit_1 b9_bit0 b9_bit1 b9_bit2 b9_bit3 b9_bit4 b9_bit5 -b9_bit6 -b9_bit7 -b9_bit8 -b9_bit9 -b9_bit10 b9_bit11 -b9_bit12 -b10_bit_7 -b10_bit_6 -b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 -b10_bit2 -b10_bit3 -b10_bit4 -b10_bit5 -b10_bit6 -b10_bit7 -b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 -b11_bit8 -b11_bit9 -b11_bit10 -b11_bit11 -b11_bit12 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 -b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 -b12_bit8 -b12_bit9 b12_bit10 b12_bit11 b12_bit12 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 -b13_bit5 -b13_bit6 -b13_bit7 -b13_bit8 b13_bit9 b13_bit10 -b13_bit11 b13_bit12 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 -b16_bit_1 -b16_bit0 -b16_bit1 -b16_bit2 -b16_bit3 -b16_bit4 -b16_bit5 -b16_bit6 -b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 c1_bit0 c2_bit0 c3_bit0 c4_bit0 c5_bit0 c6_bit0 c7_bit0 -c8_bit0 -c9_bit0 c10_bit0 c11_bit0 c12_bit0 c13_bit0 c14_bit0 -c15_bit0 c16_bit0 -f1_bit_7 -f1_bit_6 -f1_bit_5 -f1_bit_4 -f1_bit_3 -f1_bit_2 -f1_bit_1 -f1_bit0 -f1_bit1 -f1_bit2 -f1_bit3 -f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 -f1_bit10 f1_bit11 -f1_bit12 f10_bit_7 f10_bit_6 f10_bit_5 f10_bit_4 f10_bit_3 f10_bit_2 f10_bit_1 f10_bit0 f10_bit1 f10_bit2 f10_bit3 f10_bit4 f10_bit5 f10_bit6 f10_bit7 f10_bit8 f10_bit9 -f10_bit10 -f10_bit11 -f10_bit12 f11_bit_7 -f11_bit_6 -f11_bit_5 f11_bit_4 -f11_bit_3 -f11_bit_2 -f11_bit_1 -f11_bit0 -f11_bit1 f11_bit2 f11_bit3 f11_bit4 f11_bit5 f11_bit6 -f11_bit7 -f11_bit8 f11_bit9 -f11_bit10 -f11_bit11 -f11_bit12 f12_bit_7 f12_bit_6 f12_bit_5 -f12_bit_4 f12_bit_3 f12_bit_2 f12_bit_1 f12_bit0 f12_bit1 -f12_bit2 f12_bit3 f12_bit4 f12_bit5 f12_bit6 f12_bit7 -f12_bit8 f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f13_bit_7 -f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 -f13_bit_2 -f13_bit_1 -f13_bit0 -f13_bit1 -f13_bit2 -f13_bit3 -f13_bit4 -f13_bit5 -f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 -f14_bit_7 -f14_bit_6 -f14_bit_5 -f14_bit_4 -f14_bit_3 -f14_bit_2 -f14_bit_1 -f14_bit0 -f14_bit1 -f14_bit2 -f14_bit3 -f14_bit4 -f14_bit5 -f14_bit6 -f14_bit7 -f14_bit8 f14_bit9 -f14_bit10 -f14_bit11 -f14_bit12 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 -f16_bit1 -f16_bit2 f16_bit3 f16_bit4 -f16_bit5 -f16_bit6 -f16_bit7 -f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 f2_bit_7 f2_bit_6 f2_bit_5 f2_bit_4 f2_bit_3 f2_bit_2 f2_bit_1 f2_bit0 f2_bit1 f2_bit2 f2_bit3 f2_bit4 f2_bit5 f2_bit6 f2_bit7 f2_bit8 f2_bit9 f2_bit10 f2_bit11 f2_bit12 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 -f3_bit3 -f3_bit4 -f3_bit5 -f3_bit6 -f3_bit7 -f3_bit8 f3_bit9 -f3_bit10 -f3_bit11 -f3_bit12 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 -f4_bit1 -f4_bit2 -f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 -f4_bit7 -f4_bit8 f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 -f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 -f5_bit_3 -f5_bit_2 -f5_bit_1 -f5_bit0 -f5_bit1 -f5_bit2 -f5_bit3 -f5_bit4 -f5_bit5 -f5_bit6 -f5_bit7 -f5_bit8 -f5_bit9 -f5_bit10 f5_bit11 f5_bit12 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 -f6_bit3 f6_bit4 f6_bit5 -f6_bit6 -f6_bit7 -f6_bit8 -f6_bit9 -f6_bit10 -f6_bit11 -f6_bit12 f7_bit_7 f7_bit_6 f7_bit_5 f7_bit_4 f7_bit_3 f7_bit_2 f7_bit_1 f7_bit0 f7_bit1 f7_bit2 f7_bit3 f7_bit4 f7_bit5 f7_bit6 f7_bit7 f7_bit8 f7_bit9 f7_bit10 f7_bit11 f7_bit12 -f9_bit_7 -f9_bit_6 -f9_bit_5 -f9_bit_4 -f9_bit_3 -f9_bit_2 -f9_bit_1 -f9_bit0 -f9_bit1 -f9_bit2 -f9_bit3 -f9_bit4 -f9_bit5 -f9_bit6 -f9_bit7 -f9_bit8 -f9_bit9 -f9_bit10 f9_bit11 -f9_bit12 
c objectif function=542325007868286
c Total CPU time (ms) : 1219.271
#### 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/54 24225
Raw data (stat): 24225 (runsolver) R 24224 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839346918 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.16 1.03 1.01 3/64 24236
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18132 3 1 0 761 40 0 0 25 0 11 0 839346918 861999104 21053 4294967295 134512640 134569956 3221224368 3221214600 1131203662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 21053 13086 16 0 210433 0
vsize: 841796
[startup+20.001 s]
Raw data (loadavg): 1.14 1.03 1.01 3/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 1686 40 0 0 25 0 11 0 839346918 860176384 20893 4294967295 134512640 134569956 3221224368 3221214732 1130883327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 20893 13086 16 0 209988 0
vsize: 840016
[startup+30.0013 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 2640 41 0 0 24 0 11 0 839346918 860176384 21034 4294967295 134512640 134569956 3221224368 3221214680 1131291931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210004 21034 13086 16 0 209988 0
vsize: 840016
[startup+40.0025 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 3592 41 0 0 25 0 11 0 839346918 860176384 21108 4294967295 134512640 134569956 3221224368 3221214584 1131237780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21108 13086 16 0 209988 0
vsize: 840016
[startup+50.0033 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 4564 41 0 0 25 0 11 0 839346918 860176384 21476 4294967295 134512640 134569956 3221224368 3221214672 1131294743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210004 21476 13086 16 0 209988 0
vsize: 840016
[startup+60.0027 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 5549 41 0 0 25 0 11 0 839346918 860176384 21539 4294967295 134512640 134569956 3221224368 3221214672 1131293926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21539 13086 16 0 209988 0
vsize: 840016
[startup+70.004 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 6536 42 0 0 25 0 11 0 839346918 860176384 21581 4294967295 134512640 134569956 3221224368 3221214672 1131296344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21581 13086 16 0 209988 0
vsize: 840016
[startup+80.0048 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 7525 42 0 0 25 0 11 0 839346918 860176384 21619 4294967295 134512640 134569956 3221224368 3221214672 1131293264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21619 13086 16 0 209988 0
vsize: 840016
[startup+90.0051 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 8514 42 0 0 25 0 11 0 839346918 860176384 21659 4294967295 134512640 134569956 3221224368 3221214672 1131291872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21659 13086 16 0 209988 0
vsize: 840016
[startup+100.009 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 9505 42 0 0 25 0 11 0 839346918 860176384 21681 4294967295 134512640 134569956 3221224368 3221214576 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21681 13086 16 0 209988 0
vsize: 840016
[startup+110.016 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 10498 43 0 0 25 0 11 0 839346918 860176384 21701 4294967295 134512640 134569956 3221224368 3221214576 1131238006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21701 13086 16 0 209988 0
vsize: 840016
[startup+120.017 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 11487 44 0 0 25 0 11 0 839346918 860176384 21722 4294967295 134512640 134569956 3221224368 3221214672 1131294012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21722 13086 16 0 209988 0
vsize: 840016
[startup+130.017 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 12476 44 0 0 25 0 11 0 839346918 860176384 21741 4294967295 134512640 134569956 3221224368 3221214672 1131291931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21741 13086 16 0 209988 0
vsize: 840016
[startup+140.018 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 13464 45 0 0 24 0 11 0 839346918 860176384 21759 4294967295 134512640 134569956 3221224368 3221214672 1131293954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21759 13086 16 0 209988 0
vsize: 840016
[startup+150.018 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 14453 45 0 0 25 0 11 0 839346918 860176384 21795 4294967295 134512640 134569956 3221224368 3221214576 1131237773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21795 13086 16 0 209988 0
vsize: 840016
[startup+160.02 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 15445 46 0 0 25 0 11 0 839346918 860176384 21823 4294967295 134512640 134569956 3221224368 3221214576 1131238192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21823 13086 16 0 209988 0
vsize: 840016
[startup+170.021 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 16435 47 0 0 25 0 11 0 839346918 860176384 21842 4294967295 134512640 134569956 3221224368 3221214816 1130919095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21842 13086 16 0 209988 0
vsize: 840016
[startup+180.021 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 17427 47 0 0 25 0 11 0 839346918 860176384 21855 4294967295 134512640 134569956 3221224368 3221214576 1131223876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21855 13086 16 0 209988 0
vsize: 840016
[startup+190.023 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 18419 47 0 0 25 0 11 0 839346918 860176384 21869 4294967295 134512640 134569956 3221224368 3221214576 1131237809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21869 13086 16 0 209988 0
vsize: 840016
[startup+200.024 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 19411 48 0 0 25 0 11 0 839346918 860176384 21882 4294967295 134512640 134569956 3221224368 3221214672 1131291931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21882 13086 16 0 209988 0
vsize: 840016
[startup+210.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 20401 49 0 0 25 0 11 0 839346918 860176384 21895 4294967295 134512640 134569956 3221224368 3221214672 1131296641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21895 13086 16 0 209988 0
vsize: 840016
[startup+220.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 21394 49 0 0 25 0 11 0 839346918 860176384 21906 4294967295 134512640 134569956 3221224368 3221214672 1131292972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21906 13086 16 0 209988 0
vsize: 840016
[startup+230.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 22385 50 0 0 25 0 11 0 839346918 860176384 21919 4294967295 134512640 134569956 3221224368 3221214576 1131239606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21919 13086 16 0 209988 0
vsize: 840016
[startup+240.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 23377 50 0 0 25 0 11 0 839346918 860176384 21931 4294967295 134512640 134569956 3221224368 3221214672 1131291931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21931 13086 16 0 209988 0
vsize: 840016
[startup+250.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 24370 50 0 0 25 0 11 0 839346918 860176384 21941 4294967295 134512640 134569956 3221224368 3221214308 1131514576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21941 13086 16 0 209988 0
vsize: 840016
[startup+260.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 25361 51 0 0 25 0 11 0 839346918 860176384 21952 4294967295 134512640 134569956 3221224368 3221214732 1131522793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21952 13086 16 0 209988 0
vsize: 840016
[startup+270.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 26353 51 0 0 25 0 11 0 839346918 860176384 21963 4294967295 134512640 134569956 3221224368 3221214576 1131238006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21963 13086 16 0 209988 0
vsize: 840016
[startup+280.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 27345 51 0 0 25 0 11 0 839346918 860176384 21975 4294967295 134512640 134569956 3221224368 3221214672 1131291649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21975 13086 16 0 209988 0
vsize: 840016
[startup+290.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 28337 52 0 0 25 0 11 0 839346918 860176384 21984 4294967295 134512640 134569956 3221224368 3221214576 1131239624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21984 13086 16 0 209988 0
vsize: 840016
[startup+300.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 29329 52 0 0 25 0 11 0 839346918 860176384 21995 4294967295 134512640 134569956 3221224368 3221214672 1131293834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 21995 13086 16 0 209988 0
vsize: 840016
[startup+310.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 30322 52 0 0 25 0 11 0 839346918 860176384 22004 4294967295 134512640 134569956 3221224368 3221214672 1131293995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22004 13086 16 0 209988 0
vsize: 840016
[startup+320.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 31315 53 0 0 25 0 11 0 839346918 860176384 22012 4294967295 134512640 134569956 3221224368 3221214672 1131291865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22012 13086 16 0 209988 0
vsize: 840016
[startup+330.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 32306 53 0 0 25 0 11 0 839346918 860176384 22024 4294967295 134512640 134569956 3221224368 3221214812 1130918439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22024 13086 16 0 209988 0
vsize: 840016
[startup+340.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 33299 53 0 0 25 0 11 0 839346918 860176384 22032 4294967295 134512640 134569956 3221224368 3221214576 1131238129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22032 13086 16 0 209988 0
vsize: 840016
[startup+350.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 34290 54 0 0 25 0 11 0 839346918 860176384 22042 4294967295 134512640 134569956 3221224368 3221214672 1131293712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22042 13086 16 0 209988 0
vsize: 840016
[startup+360.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 35283 54 0 0 25 0 11 0 839346918 860176384 22050 4294967295 134512640 134569956 3221224368 3221214576 1131238297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22050 13086 16 0 209988 0
vsize: 840016
[startup+370.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 36274 54 0 0 25 0 11 0 839346918 860176384 22059 4294967295 134512640 134569956 3221224368 3221214672 1131296456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210004 22059 13086 16 0 209988 0
vsize: 840016
[startup+380.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 37262 54 0 0 25 0 11 0 839346918 860176384 22069 4294967295 134512640 134569956 3221224368 3221214576 1131223239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22069 13086 16 0 209988 0
vsize: 840016
[startup+390.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 38249 55 0 0 25 0 11 0 839346918 860176384 22079 4294967295 134512640 134569956 3221224368 3221214576 1131237816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22079 13086 16 0 209988 0
vsize: 840016
[startup+400.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 39238 55 0 0 25 0 11 0 839346918 860176384 22118 4294967295 134512640 134569956 3221224368 3221214664 1131181948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22118 13086 16 0 209988 0
vsize: 840016
[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 40227 55 0 0 25 0 11 0 839346918 860176384 22136 4294967295 134512640 134569956 3221224368 3221214576 1131237979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22136 13086 16 0 209988 0
vsize: 840016
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 41218 55 0 0 25 0 11 0 839346918 860176384 22170 4294967295 134512640 134569956 3221224368 3221214704 1131249324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22170 13086 16 0 209988 0
vsize: 840016
[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 42210 56 0 0 25 0 11 0 839346918 860176384 22186 4294967295 134512640 134569956 3221224368 3221214576 1131237803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22186 13086 16 0 209988 0
vsize: 840016
[startup+440.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 43201 56 0 0 25 0 11 0 839346918 860176384 22195 4294967295 134512640 134569956 3221224368 3221214672 1131296932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22195 13086 16 0 209988 0
vsize: 840016
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 44192 56 0 0 25 0 11 0 839346918 860176384 22200 4294967295 134512640 134569956 3221224368 3221214576 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22200 13086 16 0 209988 0
vsize: 840016
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 45184 57 0 0 25 0 11 0 839346918 860176384 22209 4294967295 134512640 134569956 3221224368 3221214576 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22209 13086 16 0 209988 0
vsize: 840016
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 46176 57 0 0 25 0 11 0 839346918 860176384 22217 4294967295 134512640 134569956 3221224368 3221214576 1131223223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22217 13086 16 0 209988 0
vsize: 840016
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 47167 57 0 0 25 0 11 0 839346918 860176384 22223 4294967295 134512640 134569956 3221224368 3221214576 1131238192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22223 13086 16 0 209988 0
vsize: 840016
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 48159 57 0 0 25 0 11 0 839346918 860176384 22232 4294967295 134512640 134569956 3221224368 3221214664 1131181881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22232 13086 16 0 209988 0
vsize: 840016
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 49151 57 0 0 25 0 11 0 839346918 860176384 22239 4294967295 134512640 134569956 3221224368 3221214672 1131293712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22239 13086 16 0 209988 0
vsize: 840016
[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 50142 58 0 0 25 0 11 0 839346918 860176384 22246 4294967295 134512640 134569956 3221224368 3221214672 1131291872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22246 13086 16 0 209988 0
vsize: 840016
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 51134 58 0 0 25 0 11 0 839346918 860176384 22255 4294967295 134512640 134569956 3221224368 3221214624 1131221532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22255 13086 16 0 209988 0
vsize: 840016
[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 52125 58 0 0 25 0 11 0 839346918 860176384 22260 4294967295 134512640 134569956 3221224368 3221214672 1131291970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22260 13086 16 0 209988 0
vsize: 840016
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 53115 59 0 0 25 0 11 0 839346918 860176384 22269 4294967295 134512640 134569956 3221224368 3221214576 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22269 13086 16 0 209988 0
vsize: 840016
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 54107 59 0 0 25 0 11 0 839346918 860176384 22275 4294967295 134512640 134569956 3221224368 3221214672 1131296932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22275 13086 16 0 209988 0
vsize: 840016
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 55098 59 0 0 25 0 11 0 839346918 860176384 22282 4294967295 134512640 134569956 3221224368 3221214672 1131291931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22282 13086 16 0 209988 0
vsize: 840016
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 56089 60 0 0 25 0 11 0 839346918 860176384 22289 4294967295 134512640 134569956 3221224368 3221214672 1131296456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22289 13086 16 0 209988 0
vsize: 840016
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 57081 60 0 0 25 0 11 0 839346918 860176384 22296 4294967295 134512640 134569956 3221224368 3221214576 1131237881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22296 13086 16 0 209988 0
vsize: 840016
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) S 24224 10795 10794 0 -1 0 18134 3 1 0 58072 60 0 0 25 0 11 0 839346918 860176384 22302 4294967295 134512640 134569956 3221224368 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22302 13086 16 0 209988 0
vsize: 840016
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 59063 61 0 0 25 0 11 0 839346918 860176384 22309 4294967295 134512640 134569956 3221224368 3221214584 1131274268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22309 13086 16 0 209988 0
vsize: 840016
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 60054 61 0 0 25 0 11 0 839346918 860176384 22316 4294967295 134512640 134569956 3221224368 3221214672 1131293880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210004 22316 13086 16 0 209988 0
vsize: 840016
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 61045 61 0 0 25 0 11 0 839346918 860176384 22323 4294967295 134512640 134569956 3221224368 3221214704 1131375067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22323 13086 16 0 209988 0
vsize: 840016
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 62037 62 0 0 25 0 11 0 839346918 860176384 22329 4294967295 134512640 134569956 3221224368 3221214672 1131296137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22329 13086 16 0 209988 0
vsize: 840016
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 63029 62 0 0 25 0 11 0 839346918 860176384 22335 4294967295 134512640 134569956 3221224368 3221214672 1131294724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22335 13086 16 0 209988 0
vsize: 840016
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 64020 62 0 0 25 0 11 0 839346918 860176384 22342 4294967295 134512640 134569956 3221224368 3221214584 1131274268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22342 13086 16 0 209988 0
vsize: 840016
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 65012 62 0 0 25 0 11 0 839346918 860176384 22349 4294967295 134512640 134569956 3221224368 3221214576 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22349 13086 16 0 209988 0
vsize: 840016
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 66003 63 0 0 25 0 11 0 839346918 860176384 22355 4294967295 134512640 134569956 3221224368 3221214576 1131237881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22355 13086 16 0 209988 0
vsize: 840016
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 66995 63 0 0 25 0 11 0 839346918 860176384 22361 4294967295 134512640 134569956 3221224368 3221214420 1131514571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22361 13086 16 0 209988 0
vsize: 840016
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 67987 63 0 0 25 0 11 0 839346918 860176384 22366 4294967295 134512640 134569956 3221224368 3221214576 1131238545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22366 13086 16 0 209988 0
vsize: 840016
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 68978 64 0 0 25 0 11 0 839346918 860176384 22374 4294967295 134512640 134569956 3221224368 3221214000 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22374 13086 16 0 209988 0
vsize: 840016
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 69970 64 0 0 25 0 11 0 839346918 860176384 22379 4294967295 134512640 134569956 3221224368 3221214668 1131181957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22379 13086 16 0 209988 0
vsize: 840016
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 70961 65 0 0 25 0 11 0 839346918 860176384 22386 4294967295 134512640 134569956 3221224368 3221214672 1131296456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22386 13086 16 0 209988 0
vsize: 840016
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 71953 65 0 0 25 0 11 0 839346918 860176384 22392 4294967295 134512640 134569956 3221224368 3221214672 1131298796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22392 13086 16 0 209988 0
vsize: 840016
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 72945 65 0 0 25 0 11 0 839346918 860176384 22398 4294967295 134512640 134569956 3221224368 3221214576 1131223876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22398 13086 16 0 209988 0
vsize: 840016
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24238
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 73936 65 0 0 25 0 11 0 839346918 860176384 22404 4294967295 134512640 134569956 3221224368 3221214576 1131238042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22404 13086 16 0 209988 0
vsize: 840016
[startup+760.05 s]
Raw data (loadavg): 1.08 1.02 1.01 2/65 24239
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 74927 67 0 0 25 0 11 0 839346918 860176384 22409 4294967295 134512640 134569956 3221224368 3221214672 1131291872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210004 22409 13086 16 0 209988 0
vsize: 840016
[startup+770.051 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 24291
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 75915 69 0 0 25 0 11 0 839346918 860176384 22415 4294967295 134512640 134569956 3221224368 3221214624 1131221353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22415 13086 16 0 209988 0
vsize: 840016
[startup+780.052 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 24291
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 76905 69 0 0 25 0 11 0 839346918 860176384 22421 4294967295 134512640 134569956 3221224368 3221214576 1131238141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22421 13086 16 0 209988 0
vsize: 840016
[startup+790.052 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 24291
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 77896 69 0 0 25 0 11 0 839346918 860176384 22426 4294967295 134512640 134569956 3221224368 3221214576 1131223231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22426 13086 16 0 209988 0
vsize: 840016
[startup+800.053 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 24291
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 78887 70 0 0 25 0 11 0 839346918 860176384 22432 4294967295 134512640 134569956 3221224368 3221214672 1131293192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22432 13086 16 0 209988 0
vsize: 840016
[startup+810.053 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 24291
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 79877 70 0 0 25 0 11 0 839346918 860176384 22438 4294967295 134512640 134569956 3221224368 3221214664 1131181919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22438 13086 16 0 209988 0
vsize: 840016
[startup+820.054 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 24291
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 80869 70 0 0 25 0 11 0 839346918 860176384 22444 4294967295 134512640 134569956 3221224368 3221214576 1131237923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210004 22444 13086 16 0 209988 0
vsize: 840016
[startup+830.055 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 24291
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 81859 70 0 0 25 0 11 0 839346918 860176384 22449 4294967295 134512640 134569956 3221224368 3221214088 1131514577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22449 13086 16 0 209988 0
vsize: 840016
[startup+840.055 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 82850 71 0 0 25 0 11 0 839346918 860176384 22455 4294967295 134512640 134569956 3221224368 3221214672 1131292887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22455 13086 16 0 209988 0
vsize: 840016
[startup+850.056 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 83841 71 0 0 25 0 11 0 839346918 860176384 22461 4294967295 134512640 134569956 3221224368 3221214672 1131291872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22461 13086 16 0 209988 0
vsize: 840016
[startup+860.056 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 84832 71 0 0 25 0 11 0 839346918 860176384 22467 4294967295 134512640 134569956 3221224368 3221214576 1131237995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22467 13086 16 0 209988 0
vsize: 840016
[startup+870.057 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 85823 72 0 0 25 0 11 0 839346918 860176384 22472 4294967295 134512640 134569956 3221224368 3221214576 1131238133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22472 13086 16 0 209988 0
vsize: 840016
[startup+880.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 86813 72 0 0 25 0 11 0 839346918 860176384 22478 4294967295 134512640 134569956 3221224368 3221214672 1131293381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22478 13086 16 0 209988 0
vsize: 840016
[startup+890.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 87804 72 0 0 25 0 11 0 839346918 860176384 22484 4294967295 134512640 134569956 3221224368 3221214672 1131297047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22484 13086 16 0 209988 0
vsize: 840016
[startup+900.058 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 88795 73 0 0 25 0 11 0 839346918 860176384 22488 4294967295 134512640 134569956 3221224368 3221214576 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22488 13086 16 0 209988 0
vsize: 840016
[startup+910.058 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 89785 73 0 0 25 0 11 0 839346918 860176384 22494 4294967295 134512640 134569956 3221224368 3221214672 1131294012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22494 13086 16 0 209988 0
vsize: 840016
[startup+920.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 90776 73 0 0 25 0 11 0 839346918 860176384 22498 4294967295 134512640 134569956 3221224368 3221214672 1131292048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22498 13086 16 0 209988 0
vsize: 840016
[startup+930.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 91766 74 0 0 25 0 11 0 839346918 860176384 22504 4294967295 134512640 134569956 3221224368 3221214668 1131223940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22504 13086 16 0 209988 0
vsize: 840016
[startup+940.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 92756 74 0 0 25 0 11 0 839346918 860176384 22509 4294967295 134512640 134569956 3221224368 3221214672 1131296623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22509 13086 16 0 209988 0
vsize: 840016
[startup+950.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 93747 75 0 0 25 0 11 0 839346918 860176384 22515 4294967295 134512640 134569956 3221224368 3221214672 1131293192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22515 13086 16 0 209988 0
vsize: 840016
[startup+960.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) S 24224 10795 10794 0 -1 0 18134 3 1 0 94737 75 0 0 25 0 11 0 839346918 860176384 22520 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22520 13086 16 0 209988 0
vsize: 840016
[startup+970.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 95728 75 0 0 25 0 11 0 839346918 860176384 22525 4294967295 134512640 134569956 3221224368 3221214664 1131181948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22525 13086 16 0 209988 0
vsize: 840016
[startup+980.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 96719 75 0 0 25 0 11 0 839346918 860176384 22530 4294967295 134512640 134569956 3221224368 3221214576 1131238006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22530 13086 16 0 209988 0
vsize: 840016
[startup+990.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 97709 75 0 0 25 0 11 0 839346918 860176384 22535 4294967295 134512640 134569956 3221224368 3221214672 1131293130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22535 13086 16 0 209988 0
vsize: 840016
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 98701 76 0 0 25 0 11 0 839346918 860176384 22540 4294967295 134512640 134569956 3221224368 3221214576 1131238405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22540 13086 16 0 209988 0
vsize: 840016
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 99692 76 0 0 25 0 11 0 839346918 860176384 22544 4294967295 134512640 134569956 3221224368 3221214576 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22544 13086 16 0 209988 0
vsize: 840016
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 100682 76 0 0 25 0 11 0 839346918 860176384 22550 4294967295 134512640 134569956 3221224368 3221214576 1131237864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22550 13086 16 0 209988 0
vsize: 840016
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 101674 77 0 0 25 0 11 0 839346918 860176384 22555 4294967295 134512640 134569956 3221224368 3221214672 1131293894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22555 13086 16 0 209988 0
vsize: 840016
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 102665 77 0 0 25 0 11 0 839346918 860176384 22560 4294967295 134512640 134569956 3221224368 3221214576 1131223213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22560 13086 16 0 209988 0
vsize: 840016
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 103655 77 0 0 25 0 11 0 839346918 860176384 22564 4294967295 134512640 134569956 3221224368 3221214360 1131539448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22564 13086 16 0 209988 0
vsize: 840016
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 104646 78 0 0 25 0 11 0 839346918 860176384 22570 4294967295 134512640 134569956 3221224368 3221214576 1131223297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22570 13086 16 0 209988 0
vsize: 840016
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 105638 78 0 0 25 0 11 0 839346918 860176384 22574 4294967295 134512640 134569956 3221224368 3221214576 1131237918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22574 13086 16 0 209988 0
vsize: 840016
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24293
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 106628 78 0 0 25 0 11 0 839346918 860176384 22578 4294967295 134512640 134569956 3221224368 3221214576 1131238062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22578 13086 16 0 209988 0
vsize: 840016
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 107619 79 0 0 25 0 11 0 839346918 860176384 22584 4294967295 134512640 134569956 3221224368 3221214664 1131181948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22584 13086 16 0 209988 0
vsize: 840016
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 108610 79 0 0 25 0 11 0 839346918 860176384 22587 4294967295 134512640 134569956 3221224368 3221214672 1131292883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22587 13086 16 0 209988 0
vsize: 840016
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 109600 80 0 0 25 0 11 0 839346918 860176384 22593 4294967295 134512640 134569956 3221224368 3221214672 1131293264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22593 13086 16 0 209988 0
vsize: 840016
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 110591 80 0 0 25 0 11 0 839346918 860176384 22597 4294967295 134512640 134569956 3221224368 3221214576 1131237836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22597 13086 16 0 209988 0
vsize: 840016
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 111582 81 0 0 25 0 11 0 839346918 860176384 22601 4294967295 134512640 134569956 3221224368 3221214672 1131291872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22601 13086 16 0 209988 0
vsize: 840016
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 112571 81 0 0 25 0 11 0 839346918 860176384 22607 4294967295 134512640 134569956 3221224368 3221214672 1131296932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22607 13086 16 0 209988 0
vsize: 840016
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 113561 81 0 0 25 0 11 0 839346918 860176384 22612 4294967295 134512640 134569956 3221224368 3221214576 1131238545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22612 13086 16 0 209988 0
vsize: 840016
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 114551 81 0 0 25 0 11 0 839346918 860176384 22616 4294967295 134512640 134569956 3221224368 3221214576 1131223239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22616 13086 16 0 209988 0
vsize: 840016
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 115541 82 0 0 25 0 11 0 839346918 860176384 22623 4294967295 134512640 134569956 3221224368 3221214576 1131237944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22623 13086 16 0 209988 0
vsize: 840016
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 116531 82 0 0 25 0 11 0 839346918 860176384 22630 4294967295 134512640 134569956 3221224368 3221214672 1131291872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22630 13086 16 0 209988 0
vsize: 840016
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 117521 82 0 0 25 0 11 0 839346918 860176384 22637 4294967295 134512640 134569956 3221224368 3221214672 1131297090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22637 13086 16 0 209988 0
vsize: 840016
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 118511 83 0 0 25 0 11 0 839346918 860176384 22644 4294967295 134512640 134569956 3221224368 3221214576 1131238764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22644 13086 16 0 209988 0
vsize: 840016
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 119501 83 0 0 25 0 11 0 839346918 860176384 22652 4294967295 134512640 134569956 3221224368 3221214576 1131238058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22652 13086 16 0 209988 0
vsize: 840016
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24295
Raw data (stat): 24225 (java) R 24224 10795 10794 0 -1 0 18134 3 1 0 120492 83 0 0 25 0 11 0 839346918 860176384 22660 4294967295 134512640 134569956 3221224368 3221214672 1131296432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210004 22660 13086 16 0 209988 0
vsize: 840016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.31 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24297
Raw data (stat): 24225 (java) Z 24224 10795 10794 0 -1 1036 18134 8817 1 0 120510 87 2389 32 25 0 1 0 839346918 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.31
CPU time (s): 1230.21
CPU user time (s): 1229
CPU system time (s): 1.20482
CPU usage (%): 100.811
Max. virtual memory (Kb): 841796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	542325007868286
#### END VERIFIER DATA ####