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/miplib/normalized-mps-v2-13-7-bell5.opb
MD5SUM	fa1c29f360870381638d135cd26eadfd
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.13152
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 29902

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        419572 kB
Buffers:         34688 kB
Cached:         558856 kB
SwapCached:        640 kB
Active:          88248 kB
Inactive:       507704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        419320 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13556 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:58:21 (client local time) WITH STATUS 143 IN 1230.35 SECONDS
stats: 21299 0 1230.35 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/wulflinc27/normalized-mps-v2-13-7-bell5.opb
c reading problem ... done. Time 2.034 ms.
c #vars     1244
c #constraints  114
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=     853351779340531 		Current CPU time: 6.09 ms
c CURRENT OPTIMUM=     853237755276694 		Current CPU time: 10.37 ms
c CURRENT OPTIMUM=     542325007868286 		Current CPU time: 12.12 ms
c starts	: 7
c conflicts	: 779
c decisions	: 26435
c propagations	: 31354
c inspects	: 3716220
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 779
c root simplifications	: 755
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.24
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.98 2/54 18312
Raw data (stat): 18312 (runsolver) R 18311 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838932210 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9997 s]
Raw data (loadavg): 1.10 0.99 0.99 3/64 18323
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18123 4 1 0 725 41 0 0 25 0 11 0 838932210 863977472 21303 4294967295 134512640 134569956 3221224368 3221214488 1131247667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210932 21303 13086 16 0 210916 0
vsize: 843728
[startup+20.017 s]
Raw data (loadavg): 1.09 0.99 0.99 3/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 1647 41 0 0 25 0 11 0 838932210 862928896 21218 4294967295 134512640 134569956 3221224368 3221214576 1131243565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 21218 13086 16 0 210660 0
vsize: 842704
[startup+30.0173 s]
Raw data (loadavg): 1.07 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 2600 41 0 0 24 0 11 0 838932210 862928896 21373 4294967295 134512640 134569956 3221224368 3221214676 1131240320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 21373 13086 16 0 210660 0
vsize: 842704
[startup+40.0186 s]
Raw data (loadavg): 1.06 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 3551 42 0 0 25 0 11 0 838932210 862928896 21447 4294967295 134512640 134569956 3221224368 3221214680 1131302222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 21447 13086 16 0 210660 0
vsize: 842704
[startup+50.0194 s]
Raw data (loadavg): 1.05 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 4522 42 0 0 25 0 11 0 838932210 862928896 21815 4294967295 134512640 134569956 3221224368 3221214668 1131181939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 21815 13086 16 0 210660 0
vsize: 842704
[startup+60.0188 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 5507 43 0 0 24 0 11 0 838932210 862928896 21885 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 21885 13086 16 0 210660 0
vsize: 842704
[startup+70.0201 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 6496 43 0 0 25 0 11 0 838932210 862928896 21921 4294967295 134512640 134569956 3221224368 3221214568 1131243444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 21921 13086 16 0 210660 0
vsize: 842704
[startup+80.0209 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 7484 44 0 0 25 0 11 0 838932210 862928896 21965 4294967295 134512640 134569956 3221224368 3221214672 1131300019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 21965 13086 16 0 210660 0
vsize: 842704
[startup+90.0214 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 8475 44 0 0 25 0 11 0 838932210 862928896 21998 4294967295 134512640 134569956 3221224368 3221214672 1131302981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 21998 13086 16 0 210660 0
vsize: 842704
[startup+100.022 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 9466 45 0 0 25 0 11 0 838932210 862928896 22023 4294967295 134512640 134569956 3221224368 3221214576 1131240351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22023 13086 16 0 210660 0
vsize: 842704
[startup+110.022 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 10458 45 0 0 25 0 11 0 838932210 862928896 22043 4294967295 134512640 134569956 3221224368 3221214672 1131305180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22043 13086 16 0 210660 0
vsize: 842704
[startup+120.023 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 11447 45 0 0 25 0 11 0 838932210 862928896 22063 4294967295 134512640 134569956 3221224368 3221214672 1131301432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22063 13086 16 0 210660 0
vsize: 842704
[startup+130.023 s]
Raw data (loadavg): 1.08 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 12438 46 0 0 25 0 11 0 838932210 862928896 22081 4294967295 134512640 134569956 3221224368 3221214576 1131240396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22081 13086 16 0 210660 0
vsize: 842704
[startup+140.024 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 13427 46 0 0 25 0 11 0 838932210 862928896 22099 4294967295 134512640 134569956 3221224368 3221214568 1131243557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22099 13086 16 0 210660 0
vsize: 842704
[startup+150.024 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 14417 46 0 0 25 0 11 0 838932210 862928896 22136 4294967295 134512640 134569956 3221224368 3221214576 1131240767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22136 13086 16 0 210660 0
vsize: 842704
[startup+160.025 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 15409 46 0 0 25 0 11 0 838932210 862928896 22168 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22168 13086 16 0 210660 0
vsize: 842704
[startup+170.025 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 16401 47 0 0 25 0 11 0 838932210 862928896 22182 4294967295 134512640 134569956 3221224368 3221214568 1131243540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22182 13086 16 0 210660 0
vsize: 842704
[startup+180.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 17393 47 0 0 25 0 11 0 838932210 862928896 22197 4294967295 134512640 134569956 3221224368 3221214200 1131517180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22197 13086 16 0 210660 0
vsize: 842704
[startup+190.027 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 18386 48 0 0 25 0 11 0 838932210 862928896 22210 4294967295 134512640 134569956 3221224368 3221214576 1131240383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22210 13086 16 0 210660 0
vsize: 842704
[startup+200.028 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 19378 48 0 0 25 0 11 0 838932210 862928896 22224 4294967295 134512640 134569956 3221224368 3221214472 1131548556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22224 13086 16 0 210660 0
vsize: 842704
[startup+210.027 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 20370 49 0 0 25 0 11 0 838932210 862928896 22237 4294967295 134512640 134569956 3221224368 3221214576 1131240571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22237 13086 16 0 210660 0
vsize: 842704
[startup+220.029 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 21362 49 0 0 25 0 11 0 838932210 862928896 22248 4294967295 134512640 134569956 3221224368 3221214672 1131304664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22248 13086 16 0 210660 0
vsize: 842704
[startup+230.029 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 22355 49 0 0 25 0 11 0 838932210 862928896 22261 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22261 13086 16 0 210660 0
vsize: 842704
[startup+240.03 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 23348 50 0 0 25 0 11 0 838932210 862928896 22271 4294967295 134512640 134569956 3221224368 3221214576 1131240759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22271 13086 16 0 210660 0
vsize: 842704
[startup+250.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 24340 50 0 0 25 0 11 0 838932210 862928896 22284 4294967295 134512640 134569956 3221224368 3221214568 1131243540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22284 13086 16 0 210660 0
vsize: 842704
[startup+260.031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 25333 51 0 0 25 0 11 0 838932210 862928896 22294 4294967295 134512640 134569956 3221224368 3221214668 1131243424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22294 13086 16 0 210660 0
vsize: 842704
[startup+270.031 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 26325 51 0 0 25 0 11 0 838932210 862928896 22305 4294967295 134512640 134569956 3221224368 3221214568 1131243447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22305 13086 16 0 210660 0
vsize: 842704
[startup+280.032 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 27318 51 0 0 25 0 11 0 838932210 862928896 22315 4294967295 134512640 134569956 3221224368 3221214312 1131517201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22315 13086 16 0 210660 0
vsize: 842704
[startup+290.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 28310 51 0 0 25 0 11 0 838932210 862928896 22325 4294967295 134512640 134569956 3221224368 3221214672 1131305090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22325 13086 16 0 210660 0
vsize: 842704
[startup+300.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 29304 52 0 0 25 0 11 0 838932210 862928896 22336 4294967295 134512640 134569956 3221224368 3221214672 1131301804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22336 13086 16 0 210660 0
vsize: 842704
[startup+310.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 30296 52 0 0 25 0 11 0 838932210 862928896 22345 4294967295 134512640 134569956 3221224368 3221214576 1131240470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22345 13086 16 0 210660 0
vsize: 842704
[startup+320.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 31289 53 0 0 25 0 11 0 838932210 862928896 22356 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22356 13086 16 0 210660 0
vsize: 842704
[startup+330.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 32281 53 0 0 25 0 11 0 838932210 862928896 22365 4294967295 134512640 134569956 3221224368 3221214576 1131240509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22365 13086 16 0 210660 0
vsize: 842704
[startup+340.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 33274 53 0 0 25 0 11 0 838932210 862928896 22374 4294967295 134512640 134569956 3221224368 3221214576 1131240555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22374 13086 16 0 210660 0
vsize: 842704
[startup+350.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 34266 54 0 0 25 0 11 0 838932210 862928896 22383 4294967295 134512640 134569956 3221224368 3221214844 1131299635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22383 13086 16 0 210660 0
vsize: 842704
[startup+360.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 35259 54 0 0 25 0 11 0 838932210 862928896 22392 4294967295 134512640 134569956 3221224368 3221214672 1131305072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22392 13086 16 0 210660 0
vsize: 842704
[startup+370.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 36248 55 0 0 25 0 11 0 838932210 862928896 22402 4294967295 134512640 134569956 3221224368 3221214624 1131212483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22402 13086 16 0 210660 0
vsize: 842704
[startup+380.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 37237 55 0 0 25 0 11 0 838932210 862928896 22412 4294967295 134512640 134569956 3221224368 3221214672 1131300019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22412 13086 16 0 210660 0
vsize: 842704
[startup+390.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 38224 55 0 0 25 0 11 0 838932210 862928896 22429 4294967295 134512640 134569956 3221224368 3221214672 1131302222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22429 13086 16 0 210660 0
vsize: 842704
[startup+400.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 39213 56 0 0 25 0 11 0 838932210 862928896 22471 4294967295 134512640 134569956 3221224368 3221214672 1131301908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22471 13086 16 0 210660 0
vsize: 842704
[startup+410.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 40205 56 0 0 25 0 11 0 838932210 862928896 22486 4294967295 134512640 134569956 3221224368 3221214664 1131181988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22486 13086 16 0 210660 0
vsize: 842704
[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 41196 56 0 0 25 0 11 0 838932210 862928896 22519 4294967295 134512640 134569956 3221224368 3221214672 1131304639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22519 13086 16 0 210660 0
vsize: 842704
[startup+430.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 42188 56 0 0 25 0 11 0 838932210 862928896 22528 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22528 13086 16 0 210660 0
vsize: 842704
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 43180 57 0 0 25 0 11 0 838932210 862928896 22536 4294967295 134512640 134569956 3221224368 3221213872 1076914545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22536 13086 16 0 210660 0
vsize: 842704
[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 44172 58 0 0 25 0 11 0 838932210 862928896 22544 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22544 13086 16 0 210660 0
vsize: 842704
[startup+460.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 45164 58 0 0 25 0 11 0 838932210 862928896 22552 4294967295 134512640 134569956 3221224368 3221214672 1131305180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22552 13086 16 0 210660 0
vsize: 842704
[startup+470.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 46156 58 0 0 25 0 11 0 838932210 862928896 22559 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22559 13086 16 0 210660 0
vsize: 842704
[startup+480.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 47148 59 0 0 25 0 11 0 838932210 862928896 22568 4294967295 134512640 134569956 3221224368 3221214576 1131240441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22568 13086 16 0 210660 0
vsize: 842704
[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 48140 59 0 0 25 0 11 0 838932210 862928896 22574 4294967295 134512640 134569956 3221224368 3221214576 1131240612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22574 13086 16 0 210660 0
vsize: 842704
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 49131 59 0 0 25 0 11 0 838932210 862928896 22582 4294967295 134512640 134569956 3221224368 3221214576 1131240401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22582 13086 16 0 210660 0
vsize: 842704
[startup+510.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 50124 59 0 0 25 0 11 0 838932210 862928896 22589 4294967295 134512640 134569956 3221224368 3221214576 1131240509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22589 13086 16 0 210660 0
vsize: 842704
[startup+520.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 51115 60 0 0 25 0 11 0 838932210 862928896 22596 4294967295 134512640 134569956 3221224368 3221214672 1131304664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22596 13086 16 0 210660 0
vsize: 842704
[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 52107 60 0 0 25 0 11 0 838932210 862928896 22604 4294967295 134512640 134569956 3221224368 3221214672 1131301878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22604 13086 16 0 210660 0
vsize: 842704
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 53099 60 0 0 25 0 11 0 838932210 862928896 22611 4294967295 134512640 134569956 3221224368 3221214672 1131299791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22611 13086 16 0 210660 0
vsize: 842704
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 54091 60 0 0 25 0 11 0 838932210 862928896 22618 4294967295 134512640 134569956 3221224368 3221214576 1131240441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22618 13086 16 0 210660 0
vsize: 842704
[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 55083 61 0 0 25 0 11 0 838932210 862928896 22625 4294967295 134512640 134569956 3221224368 3221214568 1131243517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22625 13086 16 0 210660 0
vsize: 842704
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 56075 61 0 0 25 0 11 0 838932210 862928896 22632 4294967295 134512640 134569956 3221224368 3221214672 1131304649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22632 13086 16 0 210660 0
vsize: 842704
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 57066 61 0 0 25 0 11 0 838932210 862928896 22639 4294967295 134512640 134569956 3221224368 3221214568 1131243517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22639 13086 16 0 210660 0
vsize: 842704
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 58058 62 0 0 25 0 11 0 838932210 862928896 22645 4294967295 134512640 134569956 3221224368 3221214672 1131304629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22645 13086 16 0 210660 0
vsize: 842704
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 59050 62 0 0 25 0 11 0 838932210 862928896 22652 4294967295 134512640 134569956 3221224368 3221214672 1131301083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22652 13086 16 0 210660 0
vsize: 842704
[startup+610.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 60042 62 0 0 25 0 11 0 838932210 862928896 22659 4294967295 134512640 134569956 3221224368 3221214664 1131181986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22659 13086 16 0 210660 0
vsize: 842704
[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 61033 62 0 0 25 0 11 0 838932210 862928896 22665 4294967295 134512640 134569956 3221224368 3221214668 1131240320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22665 13086 16 0 210660 0
vsize: 842704
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 62025 63 0 0 25 0 11 0 838932210 862928896 22672 4294967295 134512640 134569956 3221224368 3221214672 1131301893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22672 13086 16 0 210660 0
vsize: 842704
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 63016 63 0 0 25 0 11 0 838932210 862928896 22680 4294967295 134512640 134569956 3221224368 3221214672 1131302992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22680 13086 16 0 210660 0
vsize: 842704
[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 64008 63 0 0 25 0 11 0 838932210 862928896 22685 4294967295 134512640 134569956 3221224368 3221214672 1131305314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22685 13086 16 0 210660 0
vsize: 842704
[startup+660.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 64999 63 0 0 25 0 11 0 838932210 862928896 22693 4294967295 134512640 134569956 3221224368 3221214672 1131305016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22693 13086 16 0 210660 0
vsize: 842704
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 65991 64 0 0 25 0 11 0 838932210 862928896 22698 4294967295 134512640 134569956 3221224368 3221214128 1076461257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22698 13086 16 0 210660 0
vsize: 842704
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 66982 64 0 0 25 0 11 0 838932210 862928896 22705 4294967295 134512640 134569956 3221224368 3221214576 1131240566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22705 13086 16 0 210660 0
vsize: 842704
[startup+690.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 67974 64 0 0 25 0 11 0 838932210 862928896 22711 4294967295 134512640 134569956 3221224368 3221214672 1131301432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22711 13086 16 0 210660 0
vsize: 842704
[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 68964 65 0 0 25 0 11 0 838932210 862928896 22717 4294967295 134512640 134569956 3221224368 3221214576 1131240424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22717 13086 16 0 210660 0
vsize: 842704
[startup+710.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) S 18311 3394 3393 0 -1 0 18124 4 1 0 69956 65 0 0 25 0 11 0 838932210 862928896 22722 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22722 13086 16 0 210660 0
vsize: 842704
[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 70948 65 0 0 25 0 11 0 838932210 862928896 22730 4294967295 134512640 134569956 3221224368 3221214576 1131240344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22730 13086 16 0 210660 0
vsize: 842704
[startup+730.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 71939 65 0 0 25 0 11 0 838932210 862928896 22737 4294967295 134512640 134569956 3221224368 3221214468 1131519488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22737 13086 16 0 210660 0
vsize: 842704
[startup+740.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 72931 65 0 0 25 0 11 0 838932210 862928896 22743 4294967295 134512640 134569956 3221224368 3221214672 1131305180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22743 13086 16 0 210660 0
vsize: 842704
[startup+750.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 73922 66 0 0 25 0 11 0 838932210 862928896 22748 4294967295 134512640 134569956 3221224368 3221214672 1131300059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22748 13086 16 0 210660 0
vsize: 842704
[startup+760.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 74913 66 0 0 25 0 11 0 838932210 862928896 22754 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22754 13086 16 0 210660 0
vsize: 842704
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 75905 66 0 0 25 0 11 0 838932210 862928896 22760 4294967295 134512640 134569956 3221224368 3221214664 1131182012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22760 13086 16 0 210660 0
vsize: 842704
[startup+780.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 76896 66 0 0 25 0 11 0 838932210 862928896 22765 4294967295 134512640 134569956 3221224368 3221214576 1131241322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22765 13086 16 0 210660 0
vsize: 842704
[startup+790.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 77888 66 0 0 25 0 11 0 838932210 862928896 22771 4294967295 134512640 134569956 3221224368 3221214672 1131302931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22771 13086 16 0 210660 0
vsize: 842704
[startup+800.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 78879 66 0 0 25 0 11 0 838932210 862928896 22777 4294967295 134512640 134569956 3221224368 3221214672 1131300029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22777 13086 16 0 210660 0
vsize: 842704
[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 79870 66 0 0 25 0 11 0 838932210 862928896 22783 4294967295 134512640 134569956 3221224368 3221214576 1131240481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22783 13086 16 0 210660 0
vsize: 842704
[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 80862 66 0 0 25 0 11 0 838932210 862928896 22788 4294967295 134512640 134569956 3221224368 3221214568 1131243565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22788 13086 16 0 210660 0
vsize: 842704
[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 81852 66 0 0 25 0 11 0 838932210 862928896 22794 4294967295 134512640 134569956 3221224368 3221214136 1131547400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22794 13086 16 0 210660 0
vsize: 842704
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 82844 67 0 0 25 0 11 0 838932210 862928896 22800 4294967295 134512640 134569956 3221224368 3221214576 1131240739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22800 13086 16 0 210660 0
vsize: 842704
[startup+850.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 83835 67 0 0 25 0 11 0 838932210 862928896 22806 4294967295 134512640 134569956 3221224368 3221214664 1131181966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22806 13086 16 0 210660 0
vsize: 842704
[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 84827 67 0 0 25 0 11 0 838932210 862928896 22811 4294967295 134512640 134569956 3221224368 3221214668 1131271975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210676 22811 13086 16 0 210660 0
vsize: 842704
[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 85817 67 0 0 25 0 11 0 838932210 862928896 22817 4294967295 134512640 134569956 3221224368 3221214672 1131300019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22817 13086 16 0 210660 0
vsize: 842704
[startup+880.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 86808 67 0 0 25 0 11 0 838932210 862928896 22823 4294967295 134512640 134569956 3221224368 3221214672 1131301022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22823 13086 16 0 210660 0
vsize: 842704
[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 87800 67 0 0 25 0 11 0 838932210 862928896 22828 4294967295 134512640 134569956 3221224368 3221214672 1131299816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22828 13086 16 0 210660 0
vsize: 842704
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 88790 67 0 0 25 0 11 0 838932210 862928896 22834 4294967295 134512640 134569956 3221224368 3221214672 1131300019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22834 13086 16 0 210660 0
vsize: 842704
[startup+910.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 89782 67 0 0 25 0 11 0 838932210 862928896 22840 4294967295 134512640 134569956 3221224368 3221214584 1131270901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22840 13086 16 0 210660 0
vsize: 842704
[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 90772 67 0 0 25 0 11 0 838932210 862928896 22844 4294967295 134512640 134569956 3221224368 3221214672 1131301908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22844 13086 16 0 210660 0
vsize: 842704
[startup+930.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 91763 67 0 0 25 0 11 0 838932210 862928896 22850 4294967295 134512640 134569956 3221224368 3221214584 1131271964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22850 13086 16 0 210660 0
vsize: 842704
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 92755 67 0 0 25 0 11 0 838932210 862928896 22856 4294967295 134512640 134569956 3221224368 3221214576 1131240618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22856 13086 16 0 210660 0
vsize: 842704
[startup+950.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 93745 67 0 0 25 0 11 0 838932210 862928896 22860 4294967295 134512640 134569956 3221224368 3221214576 1131240437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22860 13086 16 0 210660 0
vsize: 842704
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 94737 67 0 0 25 0 11 0 838932210 862928896 22866 4294967295 134512640 134569956 3221224368 3221214672 1131299807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22866 13086 16 0 210660 0
vsize: 842704
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 95727 67 0 0 25 0 11 0 838932210 862928896 22871 4294967295 134512640 134569956 3221224368 3221214672 1131301432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22871 13086 16 0 210660 0
vsize: 842704
[startup+980.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 96718 67 0 0 25 0 11 0 838932210 862928896 22877 4294967295 134512640 134569956 3221224368 3221214668 1131270880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22877 13086 16 0 210660 0
vsize: 842704
[startup+990.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 97709 67 0 0 25 0 11 0 838932210 862928896 22881 4294967295 134512640 134569956 3221224368 3221214672 1131302220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22881 13086 16 0 210660 0
vsize: 842704
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 98700 67 0 0 25 0 11 0 838932210 862928896 22886 4294967295 134512640 134569956 3221224368 3221214568 1131243449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22886 13086 16 0 210660 0
vsize: 842704
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 99691 67 0 0 25 0 11 0 838932210 862928896 22891 4294967295 134512640 134569956 3221224368 3221214672 1131301908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22891 13086 16 0 210660 0
vsize: 842704
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 100682 67 0 0 25 0 11 0 838932210 862928896 22896 4294967295 134512640 134569956 3221224368 3221214672 1131301417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22896 13086 16 0 210660 0
vsize: 842704
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 101673 68 0 0 25 0 11 0 838932210 862928896 22900 4294967295 134512640 134569956 3221224368 3221214576 1131241332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22900 13086 16 0 210660 0
vsize: 842704
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 102663 68 0 0 25 0 11 0 838932210 862928896 22906 4294967295 134512640 134569956 3221224368 3221214864 1131192537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22906 13086 16 0 210660 0
vsize: 842704
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 103653 68 0 0 25 0 11 0 838932210 862928896 22911 4294967295 134512640 134569956 3221224368 3221214576 1131240677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22911 13086 16 0 210660 0
vsize: 842704
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 104645 68 0 0 25 0 11 0 838932210 862928896 22916 4294967295 134512640 134569956 3221224368 3221214576 1131240470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22916 13086 16 0 210660 0
vsize: 842704
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 105635 68 0 0 25 0 11 0 838932210 862928896 22920 4294967295 134512640 134569956 3221224368 3221214672 1131302952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22920 13086 16 0 210660 0
vsize: 842704
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 106627 68 0 0 25 0 11 0 838932210 862928896 22926 4294967295 134512640 134569956 3221224368 3221214312 1131517265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22926 13086 16 0 210660 0
vsize: 842704
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 107617 68 0 0 25 0 11 0 838932210 862928896 22930 4294967295 134512640 134569956 3221224368 3221214568 1131243467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22930 13086 16 0 210660 0
vsize: 842704
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 108608 68 0 0 25 0 11 0 838932210 862928896 22934 4294967295 134512640 134569956 3221224368 3221214672 1131302109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22934 13086 16 0 210660 0
vsize: 842704
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 109599 68 0 0 25 0 11 0 838932210 862928896 22940 4294967295 134512640 134569956 3221224368 3221214664 1131182012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22940 13086 16 0 210660 0
vsize: 842704
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 110589 69 0 0 25 0 11 0 838932210 862928896 22944 4294967295 134512640 134569956 3221224368 3221214672 1131301432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22944 13086 16 0 210660 0
vsize: 842704
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 111579 69 0 0 25 0 11 0 838932210 862928896 22949 4294967295 134512640 134569956 3221224368 3221214672 1131305140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22949 13086 16 0 210660 0
vsize: 842704
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 112569 69 0 0 25 0 11 0 838932210 862928896 22955 4294967295 134512640 134569956 3221224368 3221214672 1131301089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22955 13086 16 0 210660 0
vsize: 842704
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 113558 69 0 0 25 0 11 0 838932210 862928896 22962 4294967295 134512640 134569956 3221224368 3221214672 1131301432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22962 13086 16 0 210660 0
vsize: 842704
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 114549 69 0 0 25 0 11 0 838932210 862928896 22969 4294967295 134512640 134569956 3221224368 3221214640 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22969 13086 16 0 210660 0
vsize: 842704
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 115538 69 0 0 25 0 11 0 838932210 862928896 22976 4294967295 134512640 134569956 3221224368 3221214672 1131304664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22976 13086 16 0 210660 0
vsize: 842704
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 116529 69 0 0 25 0 11 0 838932210 862928896 22983 4294967295 134512640 134569956 3221224368 3221214576 1131240713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22983 13086 16 0 210660 0
vsize: 842704
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 117518 69 0 0 25 0 11 0 838932210 862928896 22991 4294967295 134512640 134569956 3221224368 3221214672 1131304307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22991 13086 16 0 210660 0
vsize: 842704
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 118509 69 0 0 25 0 11 0 838932210 862928896 22999 4294967295 134512640 134569956 3221224368 3221214672 1131305057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 22999 13086 16 0 210660 0
vsize: 842704
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 119498 69 0 0 25 0 11 0 838932210 862928896 23006 4294967295 134512640 134569956 3221224368 3221214568 1131244182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 23006 13086 16 0 210660 0
vsize: 842704
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18325
Raw data (stat): 18312 (java) R 18311 3394 3393 0 -1 0 18124 4 1 0 120487 70 0 0 25 0 11 0 838932210 862928896 23011 4294967295 134512640 134569956 3221224368 3221214672 1131301129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210676 23011 13086 16 0 210660 0
vsize: 842704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18327
Raw data (stat): 18312 (java) Z 18311 3394 3393 0 -1 1036 18124 9788 1 0 120497 74 2427 35 24 0 1 0 838932210 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.28
CPU time (s): 1230.35
CPU user time (s): 1229.25
CPU system time (s): 1.09783
CPU usage (%): 100.825
Max. virtual memory (Kb): 843728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	542325007868286
#### END VERIFIER DATA ####