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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb
MD5SUM	4cc62e621e04c5a4e55edc3240fa3357
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	537600
Optimality of the best value was proved	NO
Number of terms in the objective function	1160
Biggest coefficient in the objective function	196608
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	15892320
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	25600000000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	232836875088
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1257.12
Number of variables	1260
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	127
Trace number 29674

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        848712 kB
Buffers:         31124 kB
Cached:         133820 kB
SwapCached:        772 kB
Active:          60996 kB
Inactive:       106076 kB
HighTotal:      131008 kB
HighFree:          364 kB
LowTotal:       903652 kB
LowFree:        848348 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13156 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:36:19 (client local time) WITH STATUS 143 IN 1257.12 SECONDS
stats: 21078 0 1257.12 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-rgn.opb
c reading problem ... done. Time 2.488 ms.
c #vars     1260
c #constraints  124
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              537600 		Current CPU time: 12.15 ms
c starts	: 8
c conflicts	: 2224
c decisions	: 6958
c propagations	: 54735
c inspects	: 545897
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2224
c root simplifications	: 8
s SATISFIABLE
v -TA1_bit_10 -TA1_bit_9 -TA1_bit_8 -TA1_bit_7 -TA1_bit_6 -TA1_bit_5 -TA1_bit_4 -TA1_bit_3 -TA1_bit_2 -TA1_bit_1 -TA1_bit0 -TA1_bit1 -TA1_bit2 -TA1_bit3 -TA1_bit4 -TA1_bit5 -TA1_bit6 -TA2_bit_10 -TA2_bit_9 -TA2_bit_8 -TA2_bit_7 -TA2_bit_6 -TA2_bit_5 -TA2_bit_4 -TA2_bit_3 -TA2_bit_2 -TA2_bit_1 -TA2_bit0 -TA2_bit1 -TA2_bit2 -TA2_bit3 -TA2_bit4 -TA2_bit5 -TA2_bit6 -TA3_bit_10 -TA3_bit_9 -TA3_bit_8 -TA3_bit_7 -TA3_bit_6 -TA3_bit_5 -TA3_bit_4 -TA3_bit_3 -TA3_bit_2 -TA3_bit_1 -TA3_bit0 -TA3_bit1 -TA3_bit2 -TA3_bit3 -TA3_bit4 -TA3_bit5 -TA3_bit6 -TA4_bit_10 -TA4_bit_9 -TA4_bit_8 -TA4_bit_7 -TA4_bit_6 -TA4_bit_5 -TA4_bit_4 -TA4_bit_3 -TA4_bit_2 -TA4_bit_1 -TA4_bit0 -TA4_bit1 -TA4_bit2 -TA4_bit3 -TA4_bit4 -TA4_bit5 -TA4_bit6 -TB1_bit_10 -TB1_bit_9 -TB1_bit_8 -TB1_bit_7 -TB1_bit_6 -TB1_bit_5 -TB1_bit_4 -TB1_bit_3 -TB1_bit_2 -TB1_bit_1 -TB1_bit0 -TB1_bit1 -TB1_bit2 -TB1_bit3 -TB1_bit4 -TB1_bit5 -TB1_bit6 -TB2_bit_10 -TB2_bit_9 -TB2_bit_8 -TB2_bit_7 -TB2_bit_6 -TB2_bit_5 -TB2_bit_4 -TB2_bit_3 -TB2_bit_2 -TB2_bit_1 -TB2_bit0 -TB2_bit1 -TB2_bit2 -TB2_bit3 -TB2_bit4 -TB2_bit5 -TB2_bit6 -TB3_bit_10 -TB3_bit_9 -TB3_bit_8 -TB3_bit_7 -TB3_bit_6 -TB3_bit_5 -TB3_bit_4 -TB3_bit_3 -TB3_bit_2 -TB3_bit_1 -TB3_bit0 -TB3_bit1 -TB3_bit2 -TB3_bit3 -TB3_bit4 -TB3_bit5 -TB3_bit6 -TB4_bit_10 -TB4_bit_9 -TB4_bit_8 -TB4_bit_7 -TB4_bit_6 -TB4_bit_5 -TB4_bit_4 -TB4_bit_3 -TB4_bit_2 -TB4_bit_1 -TB4_bit0 -TB4_bit1 -TB4_bit2 -TB4_bit3 -TB4_bit4 -TB4_bit5 -TB4_bit6 -TC1_bit_10 -TC1_bit_9 -TC1_bit_8 -TC1_bit_7 -TC1_bit_6 -TC1_bit_5 -TC1_bit_4 -TC1_bit_3 -TC1_bit_2 -TC1_bit_1 -TC1_bit0 -TC1_bit1 -TC1_bit2 -TC1_bit3 -TC1_bit4 -TC1_bit5 -TC1_bit6 -TC2_bit_10 -TC2_bit_9 -TC2_bit_8 -TC2_bit_7 -TC2_bit_6 -TC2_bit_5 -TC2_bit_4 -TC2_bit_3 -TC2_bit_2 -TC2_bit_1 -TC2_bit0 -TC2_bit1 -TC2_bit2 -TC2_bit3 -TC2_bit4 -TC2_bit5 -TC2_bit6 -TC3_bit_10 -TC3_bit_9 -TC3_bit_8 -TC3_bit_7 -TC3_bit_6 -TC3_bit_5 -TC3_bit_4 -TC3_bit_3 -TC3_bit_2 -TC3_bit_1 -TC3_bit0 -TC3_bit1 -TC3_bit2 -TC3_bit3 -TC3_bit4 -TC3_bit5 -TC3_bit6 -TC4_bit_10 -TC4_bit_9 -TC4_bit_8 -TC4_bit_7 -TC4_bit_6 -TC4_bit_5 -TC4_bit_4 -TC4_bit_3 -TC4_bit_2 -TC4_bit_1 -TC4_bit0 -TC4_bit1 -TC4_bit2 -TC4_bit3 -TC4_bit4 -TC4_bit5 -TC4_bit6 -TD1_bit_10 -TD1_bit_9 -TD1_bit_8 -TD1_bit_7 -TD1_bit_6 -TD1_bit_5 -TD1_bit_4 -TD1_bit_3 -TD1_bit_2 -TD1_bit_1 -TD1_bit0 -TD1_bit1 -TD1_bit2 -TD1_bit3 -TD1_bit4 -TD1_bit5 -TD1_bit6 -TD2_bit_10 -TD2_bit_9 -TD2_bit_8 -TD2_bit_7 -TD2_bit_6 -TD2_bit_5 -TD2_bit_4 -TD2_bit_3 -TD2_bit_2 -TD2_bit_1 -TD2_bit0 -TD2_bit1 -TD2_bit2 -TD2_bit3 -TD2_bit4 -TD2_bit5 -TD2_bit6 -TD3_bit_10 -TD3_bit_9 -TD3_bit_8 -TD3_bit_7 -TD3_bit_6 -TD3_bit_5 -TD3_bit_4 -TD3_bit_3 -TD3_bit_2 -TD3_bit_1 -TD3_bit0 -TD3_bit1 -TD3_bit2 -TD3_bit3 -TD3_bit4 -TD3_bit5 -TD3_bit6 -TD4_bit_10 -TD4_bit_9 -TD4_bit_8 -TD4_bit_7 -TD4_bit_6 -TD4_bit_5 -TD4_bit_4 -TD4_bit_3 -TD4_bit_2 -TD4_bit_1 -TD4_bit0 -TD4_bit1 -TD4_bit2 -TD4_bit3 -TD4_bit4 -TD4_bit5 -TD4_bit6 -TE1_bit_10 -TE1_bit_9 -TE1_bit_8 -TE1_bit_7 -TE1_bit_6 -TE1_bit_5 -TE1_bit_4 -TE1_bit_3 -TE1_bit_2 -TE1_bit_1 -TE1_bit0 -TE1_bit1 -TE1_bit2 -TE1_bit3 -TE1_bit4 -TE1_bit5 -TE1_bit6 -TE2_bit_10 -TE2_bit_9 -TE2_bit_8 -TE2_bit_7 -TE2_bit_6 -TE2_bit_5 -TE2_bit_4 -TE2_bit_3 -TE2_bit_2 -TE2_bit_1 -TE2_bit0 -TE2_bit1 -TE2_bit2 -TE2_bit3 -TE2_bit4 -TE2_bit5 -TE2_bit6 -TE3_bit_10 -TE3_bit_9 -TE3_bit_8 -TE3_bit_7 -TE3_bit_6 -TE3_bit_5 -TE3_bit_4 -TE3_bit_3 -TE3_bit_2 -TE3_bit_1 -TE3_bit0 -TE3_bit1 -TE3_bit2 -TE3_bit3 -TE3_bit4 -TE3_bit5 -TE3_bit6 -TE4_bit_10 -TE4_bit_9 -TE4_bit_8 -TE4_bit_7 -TE4_bit_6 -TE4_bit_5 -TE4_bit_4 -TE4_bit_3 -TE4_bit_2 -TE4_bit_1 -TE4_bit0 -TE4_bit1 -TE4_bit2 -TE4_bit3 -TE4_bit4 -TE4_bit5 -TE4_bit6 -UA1_bit_10 -UA1_bit_9 -UA1_bit_8 -UA1_bit_7 -UA1_bit_6 -UA1_bit_5 -UA1_bit_4 -UA1_bit_3 -UA1_bit_2 -UA1_bit_1 -UA1_bit0 -UA1_bit1 -UA2_bit_10 -UA2_bit_9 -UA2_bit_8 -UA2_bit_7 -UA2_bit_6 -UA2_bit_5 -UA2_bit_4 -UA2_bit_3 -UA2_bit_2 -UA2_bit_1 -UA2_bit0 -UA2_bit1 -UA3_bit_10 -UA3_bit_9 -UA3_bit_8 -UA3_bit_7 -UA3_bit_6 -UA3_bit_5 -UA3_bit_4 -UA3_bit_3 -UA3_bit_2 -UA3_bit_1 -UA3_bit0 -UA3_bit1 -UA4_bit_10 -UA4_bit_9 -UA4_bit_8 -UA4_bit_7 -UA4_bit_6 -UA4_bit_5 -UA4_bit_4 -UA4_bit_3 -UA4_bit_2 -UA4_bit_1 -UA4_bit0 -UA4_bit1 -UB1_bit_10 -UB1_bit_9 -UB1_bit_8 -UB1_bit_7 -UB1_bit_6 -UB1_bit_5 -UB1_bit_4 -UB1_bit_3 -UB1_bit_2 -UB1_bit_1 -UB1_bit0 -UB1_bit1 -UB2_bit_10 -UB2_bit_9 -UB2_bit_8 -UB2_bit_7 -UB2_bit_6 -UB2_bit_5 -UB2_bit_4 -UB2_bit_3 -UB2_bit_2 -UB2_bit_1 -UB2_bit0 -UB2_bit1 -UB3_bit_10 -UB3_bit_9 -UB3_bit_8 -UB3_bit_7 -UB3_bit_6 -UB3_bit_5 -UB3_bit_4 -UB3_bit_3 -UB3_bit_2 -UB3_bit_1 -UB3_bit0 -UB3_bit1 -UB4_bit_10 -UB4_bit_9 -UB4_bit_8 -UB4_bit_7 -UB4_bit_6 -UB4_bit_5 -UB4_bit_4 -UB4_bit_3 -UB4_bit_2 -UB4_bit_1 -UB4_bit0 -UB4_bit1 -UC1_bit_10 -UC1_bit_9 -UC1_bit_8 -UC1_bit_7 -UC1_bit_6 -UC1_bit_5 -UC1_bit_4 -UC1_bit_3 -UC1_bit_2 -UC1_bit_1 -UC1_bit0 -UC1_bit1 -UC2_bit_10 -UC2_bit_9 -UC2_bit_8 -UC2_bit_7 -UC2_bit_6 -UC2_bit_5 -UC2_bit_4 -UC2_bit_3 -UC2_bit_2 -UC2_bit_1 -UC2_bit0 -UC2_bit1 -UC3_bit_10 -UC3_bit_9 -UC3_bit_8 -UC3_bit_7 -UC3_bit_6 -UC3_bit_5 -UC3_bit_4 -UC3_bit_3 -UC3_bit_2 -UC3_bit_1 -UC3_bit0 -UC3_bit1 -UC4_bit_10 -UC4_bit_9 -UC4_bit_8 -UC4_bit_7 -UC4_bit_6 -UC4_bit_5 -UC4_bit_4 -UC4_bit_3 -UC4_bit_2 -UC4_bit_1 -UC4_bit0 -UC4_bit1 -UD1_bit_10 -UD1_bit_9 -UD1_bit_8 -UD1_bit_7 -UD1_bit_6 -UD1_bit_5 -UD1_bit_4 -UD1_bit_3 -UD1_bit_2 -UD1_bit_1 -UD1_bit0 -UD1_bit1 -UD2_bit_10 -UD2_bit_9 -UD2_bit_8 -UD2_bit_7 -UD2_bit_6 -UD2_bit_5 -UD2_bit_4 -UD2_bit_3 -UD2_bit_2 -UD2_bit_1 -UD2_bit0 -UD2_bit1 -UD3_bit_10 -UD3_bit_9 -UD3_bit_8 -UD3_bit_7 -UD3_bit_6 -UD3_bit_5 -UD3_bit_4 -UD3_bit_3 -UD3_bit_2 -UD3_bit_1 -UD3_bit0 -UD3_bit1 -UD4_bit_10 -UD4_bit_9 -UD4_bit_8 -UD4_bit_7 -UD4_bit_6 -UD4_bit_5 -UD4_bit_4 -UD4_bit_3 -UD4_bit_2 -UD4_bit_1 -UD4_bit0 -UD4_bit1 -UE1_bit_10 -UE1_bit_9 -UE1_bit_8 -UE1_bit_7 -UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE2_bit_10 -UE2_bit_9 -UE2_bit_8 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE3_bit_10 -UE3_bit_9 -UE3_bit_8 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE4_bit_10 -UE4_bit_9 -UE4_bit_8 -UE4_bit_7 -UE4_bit_6 -UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -VA1_bit_10 -VA1_bit_9 -VA1_bit_8 -VA1_bit_7 -VA1_bit_6 -VA1_bit_5 -VA1_bit_4 -VA1_bit_3 -VA1_bit_2 -VA1_bit_1 -VA1_bit0 -VA1_bit1 -VA2_bit_10 -VA2_bit_9 -VA2_bit_8 -VA2_bit_7 -VA2_bit_6 -VA2_bit_5 -VA2_bit_4 -VA2_bit_3 -VA2_bit_2 -VA2_bit_1 -VA2_bit0 -VA2_bit1 -VA3_bit_10 -VA3_bit_9 -VA3_bit_8 -VA3_bit_7 -VA3_bit_6 -VA3_bit_5 -VA3_bit_4 -VA3_bit_3 -VA3_bit_2 -VA3_bit_1 -VA3_bit0 -VA3_bit1 -VA4_bit_10 -VA4_bit_9 -VA4_bit_8 -VA4_bit_7 -VA4_bit_6 -VA4_bit_5 -VA4_bit_4 -VA4_bit_3 -VA4_bit_2 -VA4_bit_1 -VA4_bit0 -VA4_bit1 -VB1_bit_10 -VB1_bit_9 -VB1_bit_8 -VB1_bit_7 -VB1_bit_6 -VB1_bit_5 -VB1_bit_4 -VB1_bit_3 -VB1_bit_2 -VB1_bit_1 -VB1_bit0 -VB1_bit1 -VB2_bit_10 -VB2_bit_9 -VB2_bit_8 -VB2_bit_7 -VB2_bit_6 -VB2_bit_5 -VB2_bit_4 -VB2_bit_3 -VB2_bit_2 -VB2_bit_1 -VB2_bit0 -VB2_bit1 -VB3_bit_10 -VB3_bit_9 -VB3_bit_8 -VB3_bit_7 -VB3_bit_6 -VB3_bit_5 -VB3_bit_4 -VB3_bit_3 -VB3_bit_2 -VB3_bit_1 -VB3_bit0 -VB3_bit1 -VB4_bit_10 -VB4_bit_9 -VB4_bit_8 -VB4_bit_7 -VB4_bit_6 -VB4_bit_5 -VB4_bit_4 -VB4_bit_3 -VB4_bit_2 -VB4_bit_1 -VB4_bit0 -VB4_bit1 -VC1_bit_10 -VC1_bit_9 -VC1_bit_8 -VC1_bit_7 -VC1_bit_6 -VC1_bit_5 -VC1_bit_4 -VC1_bit_3 -VC1_bit_2 -VC1_bit_1 -VC1_bit0 -VC1_bit1 -VC2_bit_10 -VC2_bit_9 -VC2_bit_8 -VC2_bit_7 -VC2_bit_6 -VC2_bit_5 -VC2_bit_4 -VC2_bit_3 -VC2_bit_2 -VC2_bit_1 -VC2_bit0 -VC2_bit1 -VC3_bit_10 -VC3_bit_9 -VC3_bit_8 -VC3_bit_7 -VC3_bit_6 -VC3_bit_5 -VC3_bit_4 -VC3_bit_3 -VC3_bit_2 -VC3_bit_1 -VC3_bit0 -VC3_bit1 -VC4_bit_10 -VC4_bit_9 -VC4_bit_8 -VC4_bit_7 -VC4_bit_6 -VC4_bit_5 -VC4_bit_4 -VC4_bit_3 -VC4_bit_2 -VC4_bit_1 -VC4_bit0 -VC4_bit1 -VD1_bit_10 -VD1_bit_9 -VD1_bit_8 -VD1_bit_7 -VD1_bit_6 -VD1_bit_5 -VD1_bit_4 -VD1_bit_3 -VD1_bit_2 -VD1_bit_1 -VD1_bit0 -VD1_bit1 -VD2_bit_10 -VD2_bit_9 -VD2_bit_8 -VD2_bit_7 -VD2_bit_6 -VD2_bit_5 -VD2_bit_4 -VD2_bit_3 -VD2_bit_2 -VD2_bit_1 -VD2_bit0 -VD2_bit1 -VD3_bit_10 -VD3_bit_9 -VD3_bit_8 -VD3_bit_7 -VD3_bit_6 -VD3_bit_5 -VD3_bit_4 -VD3_bit_3 -VD3_bit_2 -VD3_bit_1 -VD3_bit0 -VD3_bit1 -VD4_bit_10 -VD4_bit_9 -VD4_bit_8 -VD4_bit_7 -VD4_bit_6 -VD4_bit_5 -VD4_bit_4 -VD4_bit_3 -VD4_bit_2 -VD4_bit_1 -VD4_bit0 -VD4_bit1 -VE1_bit_10 -VE1_bit_9 -VE1_bit_8 -VE1_bit_7 -VE1_bit_6 -VE1_bit_5 -VE1_bit_4 -VE1_bit_3 -VE1_bit_2 -VE1_bit_1 -VE1_bit0 -VE1_bit1 -VE2_bit_10 -VE2_bit_9 -VE2_bit_8 -VE2_bit_7 -VE2_bit_6 -VE2_bit_5 -VE2_bit_4 -VE2_bit_3 -VE2_bit_2 -VE2_bit_1 -VE2_bit0 -VE2_bit1 -VE3_bit_10 -VE3_bit_9 -VE3_bit_8 -VE3_bit_7 -VE3_bit_6 -VE3_bit_5 -VE3_bit_4 -VE3_bit_3 -VE3_bit_2 -VE3_bit_1 -VE3_bit0 -VE3_bit1 -VE4_bit_10 -VE4_bit_9 -VE4_bit_8 -VE4_bit_7 -VE4_bit_6 -VE4_bit_5 -VE4_bit_4 -VE4_bit_3 -VE4_bit_2 -VE4_bit_1 -VE4_bit0 -VE4_bit1 -WA1_bit_10 -WA1_bit_9 -WA1_bit_8 -WA1_bit_7 -WA1_bit_6 -WA1_bit_5 -WA1_bit_4 -WA1_bit_3 -WA1_bit_2 WA1_bit_1 WA1_bit0 WA1_bit1 -WA1_bit2 -WA1_bit3 -WA1_bit4 -WA1_bit5 -WA1_bit6 -WA2_bit_10 -WA2_bit_9 -WA2_bit_8 -WA2_bit_7 -WA2_bit_6 -WA2_bit_5 -WA2_bit_4 -WA2_bit_3 -WA2_bit_2 -WA2_bit_1 WA2_bit0 WA2_bit1 WA2_bit2 -WA2_bit3 -WA2_bit4 -WA2_bit5 -WA2_bit6 -WA3_bit_10 -WA3_bit_9 -WA3_bit_8 -WA3_bit_7 -WA3_bit_6 -WA3_bit_5 -WA3_bit_4 -WA3_bit_3 -WA3_bit_2 WA3_bit_1 -WA3_bit0 WA3_bit1 -WA3_bit2 WA3_bit3 -WA3_bit4 -WA3_bit5 -WA3_bit6 -WA4_bit_10 -WA4_bit_9 -WA4_bit_8 -WA4_bit_7 -WA4_bit_6 -WA4_bit_5 -WA4_bit_4 -WA4_bit_3 -WA4_bit_2 -WA4_bit_1 -WA4_bit0 WA4_bit1 WA4_bit2 WA4_bit3 -WA4_bit4 -WA4_bit5 -WA4_bit6 -WB1_bit_10 -WB1_bit_9 -WB1_bit_8 -WB1_bit_7 -WB1_bit_6 -WB1_bit_5 -WB1_bit_4 -WB1_bit_3 -WB1_bit_2 WB1_bit_1 WB1_bit0 WB1_bit1 -WB1_bit2 -WB1_bit3 -WB1_bit4 -WB1_bit5 -WB1_bit6 -WB2_bit_10 -WB2_bit_9 -WB2_bit_8 -WB2_bit_7 -WB2_bit_6 -WB2_bit_5 -WB2_bit_4 -WB2_bit_3 -WB2_bit_2 -WB2_bit_1 WB2_bit0 WB2_bit1 WB2_bit2 -WB2_bit3 -WB2_bit4 -WB2_bit5 -WB2_bit6 -WB3_bit_10 -WB3_bit_9 -WB3_bit_8 -WB3_bit_7 -WB3_bit_6 -WB3_bit_5 -WB3_bit_4 -WB3_bit_3 -WB3_bit_2 WB3_bit_1 -WB3_bit0 WB3_bit1 -WB3_bit2 WB3_bit3 -WB3_bit4 -WB3_bit5 -WB3_bit6 -WB4_bit_10 -WB4_bit_9 -WB4_bit_8 -WB4_bit_7 -WB4_bit_6 -WB4_bit_5 -WB4_bit_4 -WB4_bit_3 -WB4_bit_2 -WB4_bit_1 -WB4_bit0 WB4_bit1 WB4_bit2 WB4_bit3 -WB4_bit4 -WB4_bit5 -WB4_bit6 -WC1_bit_10 -WC1_bit_9 -WC1_bit_8 -WC1_bit_7 -WC1_bit_6 -WC1_bit_5 -WC1_bit_4 -WC1_bit_3 -WC1_bit_2 WC1_bit_1 WC1_bit0 WC1_bit1 -WC1_bit2 -WC1_bit3 -WC1_bit4 -WC1_bit5 -WC1_bit6 -WC2_bit_10 -WC2_bit_9 -WC2_bit_8 -WC2_bit_7 -WC2_bit_6 -WC2_bit_5 -WC2_bit_4 -WC2_bit_3 -WC2_bit_2 -WC2_bit_1 WC2_bit0 WC2_bit1 WC2_bit2 -WC2_bit3 -WC2_bit4 -WC2_bit5 -WC2_bit6 -WC3_bit_10 -WC3_bit_9 -WC3_bit_8 -WC3_bit_7 -WC3_bit_6 -WC3_bit_5 -WC3_bit_4 -WC3_bit_3 -WC3_bit_2 WC3_bit_1 -WC3_bit0 WC3_bit1 -WC3_bit2 WC3_bit3 -WC3_bit4 -WC3_bit5 -WC3_bit6 -WC4_bit_10 -WC4_bit_9 -WC4_bit_8 -WC4_bit_7 -WC4_bit_6 -WC4_bit_5 -WC4_bit_4 -WC4_bit_3 -WC4_bit_2 -WC4_bit_1 -WC4_bit0 WC4_bit1 WC4_bit2 WC4_bit3 -WC4_bit4 -WC4_bit5 -WC4_bit6 -WD1_bit_10 -WD1_bit_9 -WD1_bit_8 -WD1_bit_7 -WD1_bit_6 -WD1_bit_5 -WD1_bit_4 -WD1_bit_3 -WD1_bit_2 WD1_bit_1 WD1_bit0 WD1_bit1 -WD1_bit2 -WD1_bit3 -WD1_bit4 -WD1_bit5 -WD1_bit6 -WD2_bit_10 -WD2_bit_9 -WD2_bit_8 -WD2_bit_7 -WD2_bit_6 -WD2_bit_5 -WD2_bit_4 -WD2_bit_3 -WD2_bit_2 -WD2_bit_1 WD2_bit0 WD2_bit1 WD2_bit2 -WD2_bit3 -WD2_bit4 -WD2_bit5 -WD2_bit6 -WD3_bit_10 -WD3_bit_9 -WD3_bit_8 -WD3_bit_7 -WD3_bit_6 -WD3_bit_5 -WD3_bit_4 -WD3_bit_3 -WD3_bit_2 WD3_bit_1 -WD3_bit0 WD3_bit1 -WD3_bit2 WD3_bit3 -WD3_bit4 -WD3_bit5 -WD3_bit6 -WD4_bit_10 -WD4_bit_9 -WD4_bit_8 -WD4_bit_7 -WD4_bit_6 -WD4_bit_5 -WD4_bit_4 -WD4_bit_3 -WD4_bit_2 -WD4_bit_1 -WD4_bit0 WD4_bit1 WD4_bit2 WD4_bit3 -WD4_bit4 -WD4_bit5 -WD4_bit6 -WE1_bit_10 -WE1_bit_9 -WE1_bit_8 -WE1_bit_7 -WE1_bit_6 -WE1_bit_5 -WE1_bit_4 -WE1_bit_3 -WE1_bit_2 WE1_bit_1 WE1_bit0 WE1_bit1 -WE1_bit2 -WE1_bit3 -WE1_bit4 -WE1_bit5 -WE1_bit6 -WE2_bit_10 -WE2_bit_9 -WE2_bit_8 -WE2_bit_7 -WE2_bit_6 -WE2_bit_5 -WE2_bit_4 -WE2_bit_3 -WE2_bit_2 -WE2_bit_1 WE2_bit0 WE2_bit1 WE2_bit2 -WE2_bit3 -WE2_bit4 -WE2_bit5 -WE2_bit6 -WE3_bit_10 -WE3_bit_9 -WE3_bit_8 -WE3_bit_7 -WE3_bit_6 -WE3_bit_5 -WE3_bit_4 -WE3_bit_3 -WE3_bit_2 WE3_bit_1 -WE3_bit0 WE3_bit1 -WE3_bit2 WE3_bit3 -WE3_bit4 -WE3_bit5 -WE3_bit6 -WE4_bit_10 -WE4_bit_9 -WE4_bit_8 -WE4_bit_7 -WE4_bit_6 -WE4_bit_5 -WE4_bit_4 -WE4_bit_3 -WE4_bit_2 -WE4_bit_1 -WE4_bit0 WE4_bit1 WE4_bit2 WE4_bit3 -WE4_bit4 -WE4_bit5 -WE4_bit6 -A1_bit0 -B1_bit0 -C1_bit0 -D1_bit0 -E1_bit0 -AB1_bit0 -AC1_bit0 -AD1_bit0 -AE1_bit0 -BC1_bit0 -BD1_bit0 -BE1_bit0 -CD1_bit0 -CE1_bit0 -DE1_bit0 -ABC1_bit0 -ABD1_bit0 -ABE1_bit0 -ACD1_bit0 -ACE1_bit0 -ADE1_bit0 -BCD1_bit0 -BCE1_bit0 -BDE1_bit0 -CDE1_bit0 -A2_bit0 -B2_bit0 -C2_bit0 -D2_bit0 -E2_bit0 -AB2_bit0 -AC2_bit0 -AD2_bit0 -AE2_bit0 -BC2_bit0 -BD2_bit0 -BE2_bit0 -CD2_bit0 -CE2_bit0 -DE2_bit0 -ABC2_bit0 -ABD2_bit0 -ABE2_bit0 -ACD2_bit0 -ACE2_bit0 -ADE2_bit0 -BCD2_bit0 -BCE2_bit0 -BDE2_bit0 -CDE2_bit0 -A3_bit0 -B3_bit0 -C3_bit0 -D3_bit0 -E3_bit0 -AB3_bit0 -AC3_bit0 -AD3_bit0 -AE3_bit0 -BC3_bit0 -BD3_bit0 -BE3_bit0 -CD3_bit0 -CE3_bit0 -DE3_bit0 -ABC3_bit0 -ABD3_bit0 -ABE3_bit0 -ACD3_bit0 -ACE3_bit0 -ADE3_bit0 -BCD3_bit0 -BCE3_bit0 -BDE3_bit0 -CDE3_bit0 -A4_bit0 -B4_bit0 -C4_bit0 -D4_bit0 -E4_bit0 -AB4_bit0 -AC4_bit0 -AD4_bit0 -AE4_bit0 -BC4_bit0 -BD4_bit0 -BE4_bit0 -CD4_bit0 -CE4_bit0 -DE4_bit0 -ABC4_bit0 -ABD4_bit0 -ABE4_bit0 -ACD4_bit0 -ACE4_bit0 -ADE4_bit0 -BCD4_bit0 -BCE4_bit0 -BDE4_bit0 -CDE4_bit0 
c objectif function=537600
c Total CPU time (ms) : 1239.219
#### 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 6423
Raw data (stat): 6423 (runsolver) R 6422 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779858122 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.001 s]
Raw data (loadavg): 1.24 1.05 1.02 4/64 6433
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18082 0 1 0 657 41 0 0 25 0 11 0 779858122 875012096 23342 4294967295 134512640 134569956 3221224368 3221214448 1131240314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213626 23342 13086 16 0 213610 0
vsize: 854504
[startup+20.0021 s]
Raw data (loadavg): 1.35 1.08 1.03 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18130 3 1 0 1476 41 0 0 25 0 11 0 779858122 873975808 24209 4294967295 134512640 134569956 3221224368 3221214776 1131305443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 24209 13086 16 0 213357 0
vsize: 853492
[startup+30.0031 s]
Raw data (loadavg): 1.30 1.08 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18130 3 1 0 2435 41 0 0 25 0 11 0 779858122 873975808 24392 4294967295 134512640 134569956 3221224368 3221214632 1131547232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 24392 13086 16 0 213357 0
vsize: 853492
[startup+40.0031 s]
Raw data (loadavg): 1.25 1.07 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18130 3 1 0 3394 41 0 0 25 0 11 0 779858122 873975808 24578 4294967295 134512640 134569956 3221224368 3221214576 1131319146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 24578 13086 16 0 213357 0
vsize: 853492
[startup+50.0033 s]
Raw data (loadavg): 1.21 1.07 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 4356 42 0 0 25 0 11 0 779858122 873975808 24782 4294967295 134512640 134569956 3221224368 3221214576 1131319360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 24782 13086 16 0 213357 0
vsize: 853492
[startup+60.0041 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 5313 42 0 0 25 0 11 0 779858122 873975808 25017 4294967295 134512640 134569956 3221224368 3221214664 1131232525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 25017 13086 16 0 213357 0
vsize: 853492
[startup+70.0045 s]
Raw data (loadavg): 1.15 1.07 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 6270 42 0 0 25 0 11 0 779858122 873975808 25362 4294967295 134512640 134569956 3221224368 3221214552 1131191056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 25362 13086 16 0 213357 0
vsize: 853492
[startup+80.0049 s]
Raw data (loadavg): 1.13 1.06 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 7221 42 0 0 25 0 11 0 779858122 873975808 25597 4294967295 134512640 134569956 3221224368 3221214528 1131239936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 25597 13086 16 0 213357 0
vsize: 853492
[startup+90.0059 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 8180 42 0 0 25 0 11 0 779858122 873975808 25738 4294967295 134512640 134569956 3221224368 3221214576 1131319126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 25738 13086 16 0 213357 0
vsize: 853492
[startup+100.006 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 9150 42 0 0 25 0 11 0 779858122 873975808 25908 4294967295 134512640 134569956 3221224368 3221214576 1131319126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 25908 13086 16 0 213357 0
vsize: 853492
[startup+110.007 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 10133 43 0 0 25 0 11 0 779858122 873975808 26063 4294967295 134512640 134569956 3221224368 3221214592 1131247723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26063 13086 16 0 213357 0
vsize: 853492
[startup+120.008 s]
Raw data (loadavg): 1.06 1.05 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 11122 43 0 0 25 0 11 0 779858122 873975808 26176 4294967295 134512640 134569956 3221224368 3221214632 1131547200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26176 13086 16 0 213357 0
vsize: 853492
[startup+130.007 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 12111 43 0 0 25 0 11 0 779858122 873975808 26176 4294967295 134512640 134569956 3221224368 3221214592 1131246347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26176 13086 16 0 213357 0
vsize: 853492
[startup+140.008 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 13097 43 0 0 25 0 11 0 779858122 873975808 26176 4294967295 134512640 134569956 3221224368 3221214544 1131240353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26176 13086 16 0 213357 0
vsize: 853492
[startup+150.009 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 14081 43 0 0 25 0 11 0 779858122 873975808 26204 4294967295 134512640 134569956 3221224368 3221214576 1131422625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26204 13086 16 0 213357 0
vsize: 853492
[startup+160.009 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 15062 43 0 0 25 0 11 0 779858122 873975808 26266 4294967295 134512640 134569956 3221224368 3221214528 1131240195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 26266 13086 16 0 213357 0
vsize: 853492
[startup+170.009 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 16044 43 0 0 25 0 11 0 779858122 873975808 26327 4294967295 134512640 134569956 3221224368 3221214496 1131329858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 26327 13086 16 0 213357 0
vsize: 853492
[startup+180.01 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 17026 44 0 0 25 0 11 0 779858122 873975808 26398 4294967295 134512640 134569956 3221224368 3221214512 1131240314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26398 13086 16 0 213357 0
vsize: 853492
[startup+190.01 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 18006 44 0 0 25 0 11 0 779858122 873975808 26450 4294967295 134512640 134569956 3221224368 3221214560 1131319376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26450 13086 16 0 213357 0
vsize: 853492
[startup+200.01 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 18986 44 0 0 25 0 11 0 779858122 873975808 26499 4294967295 134512640 134569956 3221224368 3221214532 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26499 13086 16 0 213357 0
vsize: 853492
[startup+210.011 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 19967 44 0 0 25 0 11 0 779858122 873975808 26542 4294967295 134512640 134569956 3221224368 3221214456 1131240006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26542 13086 16 0 213357 0
vsize: 853492
[startup+220.012 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 20948 44 0 0 25 0 11 0 779858122 873975808 26601 4294967295 134512640 134569956 3221224368 3221214384 1131625674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26601 13086 16 0 213357 0
vsize: 853492
[startup+230.013 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 21926 44 0 0 24 0 11 0 779858122 873975808 26706 4294967295 134512640 134569956 3221224368 3221214480 1131330683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26706 13086 16 0 213357 0
vsize: 853492
[startup+240.013 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 22909 44 0 0 24 0 11 0 779858122 873975808 26733 4294967295 134512640 134569956 3221224368 3221214528 1131191938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26733 13086 16 0 213357 0
vsize: 853492
[startup+250.014 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 23890 45 0 0 25 0 11 0 779858122 873975808 26787 4294967295 134512640 134569956 3221224368 3221214480 1131329848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26787 13086 16 0 213357 0
vsize: 853492
[startup+260.015 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 24874 45 0 0 25 0 11 0 779858122 873975808 26817 4294967295 134512640 134569956 3221224368 3221214504 1131239907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26817 13086 16 0 213357 0
vsize: 853492
[startup+270.016 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 25855 45 0 0 25 0 11 0 779858122 873975808 26893 4294967295 134512640 134569956 3221224368 3221214552 1131382305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26893 13086 16 0 213357 0
vsize: 853492
[startup+280.017 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 26839 45 0 0 24 0 11 0 779858122 873975808 26952 4294967295 134512640 134569956 3221224368 3221214624 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26952 13086 16 0 213357 0
vsize: 853492
[startup+290.018 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 27821 45 0 0 24 0 11 0 779858122 873975808 26980 4294967295 134512640 134569956 3221224368 3221214472 1131330190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 26980 13086 16 0 213357 0
vsize: 853492
[startup+300.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 28800 45 0 0 25 0 11 0 779858122 873975808 27063 4294967295 134512640 134569956 3221224368 3221214400 1131614758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 27063 13086 16 0 213357 0
vsize: 853492
[startup+310.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 29767 46 0 0 25 0 11 0 779858122 873975808 27072 4294967295 134512640 134569956 3221224368 3221214656 1131282687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 27072 13086 16 0 213357 0
vsize: 853492
[startup+320.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 30726 46 0 0 25 0 11 0 779858122 873975808 27091 4294967295 134512640 134569956 3221224368 3221214656 1131275299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 27091 13086 16 0 213357 0
vsize: 853492
[startup+330.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 31676 46 0 0 25 0 11 0 779858122 873975808 27173 4294967295 134512640 134569956 3221224368 3221214568 1131246548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 27173 13086 16 0 213357 0
vsize: 853492
[startup+340.021 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18131 3 1 0 32611 46 0 0 25 0 11 0 779858122 873975808 27331 4294967295 134512640 134569956 3221224368 3221214280 1131391923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 27331 13086 16 0 213357 0
vsize: 853492
[startup+350.021 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 33554 46 0 0 25 0 11 0 779858122 873975808 27510 4294967295 134512640 134569956 3221224368 3221214456 1131240592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 27510 13086 16 0 213357 0
vsize: 853492
[startup+360.023 s]
Raw data (loadavg): 1.12 1.06 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 34498 47 0 0 25 0 11 0 779858122 873975808 27728 4294967295 134512640 134569956 3221224368 3221214424 1131330714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 27728 13086 16 0 213357 0
vsize: 853492
[startup+370.023 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 35451 47 0 0 25 0 11 0 779858122 873975808 28009 4294967295 134512640 134569956 3221224368 3221214424 1131331476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28009 13086 16 0 213357 0
vsize: 853492
[startup+380.023 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 36423 47 0 0 25 0 11 0 779858122 873975808 28180 4294967295 134512640 134569956 3221224368 3221214504 1131319326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28180 13086 16 0 213357 0
vsize: 853492
[startup+390.025 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 37402 48 0 0 25 0 11 0 779858122 873975808 28370 4294967295 134512640 134569956 3221224368 3221214656 1131277202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28370 13086 16 0 213357 0
vsize: 853492
[startup+400.025 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 38384 48 0 0 25 0 11 0 779858122 873975808 28397 4294967295 134512640 134569956 3221224368 3221214528 1131625730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28397 13086 16 0 213357 0
vsize: 853492
[startup+410.028 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 6434
Raw data (stat): 6423 (java) S 6422 25830 25829 0 -1 0 18132 3 1 0 39364 48 0 0 25 0 11 0 779858122 873975808 28428 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28428 13086 16 0 213357 0
vsize: 853492
[startup+420.029 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 40340 48 0 0 25 0 11 0 779858122 873975808 28442 4294967295 134512640 134569956 3221224368 3221214656 1131275299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28442 13086 16 0 213357 0
vsize: 853492
[startup+430.029 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 41314 48 0 0 25 0 11 0 779858122 873975808 28523 4294967295 134512640 134569956 3221224368 3221214656 1131278496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28523 13086 16 0 213357 0
vsize: 853492
[startup+440.03 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 42292 48 0 0 25 0 11 0 779858122 873975808 28591 4294967295 134512640 134569956 3221224368 3221214568 1131319332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28591 13086 16 0 213357 0
vsize: 853492
[startup+450.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 43267 48 0 0 25 0 11 0 779858122 873975808 28671 4294967295 134512640 134569956 3221224368 3221214464 1131240040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28671 13086 16 0 213357 0
vsize: 853492
[startup+460.031 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 44242 48 0 0 25 0 11 0 779858122 873975808 28742 4294967295 134512640 134569956 3221224368 3221214520 1131338728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28742 13086 16 0 213357 0
vsize: 853492
[startup+470.031 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 45217 49 0 0 25 0 11 0 779858122 873975808 28820 4294967295 134512640 134569956 3221224368 3221214540 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28820 13086 16 0 213357 0
vsize: 853492
[startup+480.031 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 46193 49 0 0 25 0 11 0 779858122 873975808 28891 4294967295 134512640 134569956 3221224368 3221214568 1131422885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28891 13086 16 0 213357 0
vsize: 853492
[startup+490.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 47170 49 0 0 25 0 11 0 779858122 873975808 28970 4294967295 134512640 134569956 3221224368 3221214568 1131247114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 28970 13086 16 0 213357 0
vsize: 853492
[startup+500.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 48149 49 0 0 25 0 11 0 779858122 873975808 29045 4294967295 134512640 134569956 3221224368 3221214656 1131277509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29045 13086 16 0 213357 0
vsize: 853492
[startup+510.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 49131 49 0 0 25 0 11 0 779858122 873975808 29095 4294967295 134512640 134569956 3221224368 3221214056 1131625628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29095 13086 16 0 213357 0
vsize: 853492
[startup+520.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 50107 49 0 0 25 0 11 0 779858122 873975808 29150 4294967295 134512640 134569956 3221224368 3221214568 1131246595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29150 13086 16 0 213357 0
vsize: 853492
[startup+530.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 51078 49 0 0 25 0 11 0 779858122 873975808 29213 4294967295 134512640 134569956 3221224368 3221214320 1078830597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29213 13086 16 0 213357 0
vsize: 853492
[startup+540.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 52047 50 0 0 25 0 11 0 779858122 873975808 29269 4294967295 134512640 134569956 3221224368 3221214568 1131319126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29269 13086 16 0 213357 0
vsize: 853492
[startup+550.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 53013 50 0 0 25 0 11 0 779858122 873975808 29339 4294967295 134512640 134569956 3221224368 3221214568 1131319059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29339 13086 16 0 213357 0
vsize: 853492
[startup+560.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 53969 50 0 0 25 0 11 0 779858122 873975808 29470 4294967295 134512640 134569956 3221224368 3221214572 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29470 13086 16 0 213357 0
vsize: 853492
[startup+570.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 54935 51 0 0 25 0 11 0 779858122 873975808 29549 4294967295 134512640 134569956 3221224368 3221214620 1131219379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29549 13086 16 0 213357 0
vsize: 853492
[startup+580.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 55902 51 0 0 25 0 11 0 779858122 873975808 29635 4294967295 134512640 134569956 3221224368 3221214568 1131246441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29635 13086 16 0 213357 0
vsize: 853492
[startup+590.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 56865 51 0 0 25 0 11 0 779858122 873975808 29777 4294967295 134512640 134569956 3221224368 3221214568 1131319090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29777 13086 16 0 213357 0
vsize: 853492
[startup+600.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 57838 51 0 0 25 0 11 0 779858122 873975808 29895 4294967295 134512640 134569956 3221224368 3221214544 1131191065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29895 13086 16 0 213357 0
vsize: 853492
[startup+610.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 58806 51 0 0 25 0 11 0 779858122 873975808 29983 4294967295 134512640 134569956 3221224368 3221214568 1131246965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 29983 13086 16 0 213357 0
vsize: 853492
[startup+620.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 59776 51 0 0 25 0 11 0 779858122 873975808 30047 4294967295 134512640 134569956 3221224368 3221214568 1131246441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30047 13086 16 0 213357 0
vsize: 853492
[startup+630.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 60743 51 0 0 24 0 11 0 779858122 873975808 30117 4294967295 134512640 134569956 3221224368 3221214656 1131240195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30117 13086 16 0 213357 0
vsize: 853492
[startup+640.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 61706 51 0 0 25 0 11 0 779858122 873975808 30174 4294967295 134512640 134569956 3221224368 3221214760 1131305810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30174 13086 16 0 213357 0
vsize: 853492
[startup+650.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 62668 52 0 0 25 0 11 0 779858122 873975808 30260 4294967295 134512640 134569956 3221224368 3221214568 1131191952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30260 13086 16 0 213357 0
vsize: 853492
[startup+660.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 63628 52 0 0 25 0 11 0 779858122 873975808 30418 4294967295 134512640 134569956 3221224368 3221214608 1131246548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30418 13086 16 0 213357 0
vsize: 853492
[startup+670.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 64591 52 0 0 25 0 11 0 779858122 873975808 30510 4294967295 134512640 134569956 3221224368 3221214296 1078022145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30510 13086 16 0 213357 0
vsize: 853492
[startup+680.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 65565 52 0 0 25 0 11 0 779858122 873975808 30593 4294967295 134512640 134569956 3221224368 3221214664 1131214277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30593 13086 16 0 213357 0
vsize: 853492
[startup+690.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 66535 52 0 0 25 0 11 0 779858122 873975808 30680 4294967295 134512640 134569956 3221224368 3221213856 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30680 13086 16 0 213357 0
vsize: 853492
[startup+700.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 67500 52 0 0 25 0 11 0 779858122 873975808 30779 4294967295 134512640 134569956 3221224368 3221214656 1131279421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30779 13086 16 0 213357 0
vsize: 853492
[startup+710.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 68467 52 0 0 25 0 11 0 779858122 873975808 30871 4294967295 134512640 134569956 3221224368 3221214656 1131275461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30871 13086 16 0 213357 0
vsize: 853492
[startup+720.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 69426 52 0 0 25 0 11 0 779858122 873975808 30981 4294967295 134512640 134569956 3221224368 3221214324 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 30981 13086 16 0 213357 0
vsize: 853492
[startup+730.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 70397 52 0 0 25 0 11 0 779858122 873975808 31074 4294967295 134512640 134569956 3221224368 3221214656 1131278527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31074 13086 16 0 213357 0
vsize: 853492
[startup+740.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6434
Raw data (stat): 6423 (java) S 6422 25830 25829 0 -1 0 18132 3 1 0 71366 52 0 0 25 0 11 0 779858122 873975808 31170 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31170 13086 16 0 213357 0
vsize: 853492
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 72337 52 0 0 25 0 11 0 779858122 873975808 31229 4294967295 134512640 134569956 3221224368 3221214568 1131246441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31229 13086 16 0 213357 0
vsize: 853492
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 73308 52 0 0 25 0 11 0 779858122 873975808 31325 4294967295 134512640 134569956 3221224368 3221214568 1131246441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31325 13086 16 0 213357 0
vsize: 853492
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 74276 52 0 0 25 0 11 0 779858122 873975808 31399 4294967295 134512640 134569956 3221224368 3221214800 1131191088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31399 13086 16 0 213357 0
vsize: 853492
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 75249 53 0 0 25 0 11 0 779858122 873975808 31474 4294967295 134512640 134569956 3221224368 3221214808 1131191065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31474 13086 16 0 213357 0
vsize: 853492
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 76222 53 0 0 25 0 11 0 779858122 873975808 31549 4294967295 134512640 134569956 3221224368 3221214656 1131277280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31549 13086 16 0 213357 0
vsize: 853492
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 77181 53 0 0 25 0 11 0 779858122 873975808 31661 4294967295 134512640 134569956 3221224368 3221214568 1131246560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31661 13086 16 0 213357 0
vsize: 853492
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 78145 53 0 0 25 0 11 0 779858122 873975808 31780 4294967295 134512640 134569956 3221224368 3221214656 1131282781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31780 13086 16 0 213357 0
vsize: 853492
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 79113 53 0 0 25 0 11 0 779858122 873975808 31884 4294967295 134512640 134569956 3221224368 3221214656 1131275358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 31884 13086 16 0 213357 0
vsize: 853492
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) S 6422 25830 25829 0 -1 0 18132 3 1 0 80089 53 0 0 25 0 11 0 779858122 873975808 31984 4294967295 134512640 134569956 3221224368 3221213168 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 31984 13086 16 0 213357 0
vsize: 853492
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 81064 53 0 0 25 0 11 0 779858122 873975808 32015 4294967295 134512640 134569956 3221224368 3221214568 1131319055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32015 13086 16 0 213357 0
vsize: 853492
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 82044 53 0 0 25 0 11 0 779858122 873975808 32083 4294967295 134512640 134569956 3221224368 3221214568 1131319326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32083 13086 16 0 213357 0
vsize: 853492
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 83027 53 0 0 24 0 11 0 779858122 873975808 32093 4294967295 134512640 134569956 3221224368 3221214464 1131240195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32093 13086 16 0 213357 0
vsize: 853492
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 84013 54 0 0 25 0 11 0 779858122 873975808 32174 4294967295 134512640 134569956 3221224368 3221214568 1131318974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32174 13086 16 0 213357 0
vsize: 853492
[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 84999 55 0 0 25 0 11 0 779858122 873975808 32174 4294967295 134512640 134569956 3221224368 3221214488 1131332310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32174 13086 16 0 213357 0
vsize: 853492
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) S 6422 25830 25829 0 -1 0 18132 3 1 0 85987 55 0 0 25 0 11 0 779858122 873975808 32174 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32174 13086 16 0 213357 0
vsize: 853492
[startup+900.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 86973 55 0 0 25 0 11 0 779858122 873975808 32174 4294967295 134512640 134569956 3221224368 3221214488 1131330499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32174 13086 16 0 213357 0
vsize: 853492
[startup+910.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 87960 56 0 0 25 0 11 0 779858122 873975808 32217 4294967295 134512640 134569956 3221224368 3221214464 1131240147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32217 13086 16 0 213357 0
vsize: 853492
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 88950 57 0 0 25 0 11 0 779858122 873975808 32238 4294967295 134512640 134569956 3221224368 3221214464 1131240363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32238 13086 16 0 213357 0
vsize: 853492
[startup+930.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 89943 57 0 0 25 0 11 0 779858122 873975808 32243 4294967295 134512640 134569956 3221224368 3221214624 1131547207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32243 13086 16 0 213357 0
vsize: 853492
[startup+940.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 90930 57 0 0 25 0 11 0 779858122 873975808 32248 4294967295 134512640 134569956 3221224368 3221214656 1131275358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32248 13086 16 0 213357 0
vsize: 853492
[startup+950.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 91919 57 0 0 25 0 11 0 779858122 873975808 32248 4294967295 134512640 134569956 3221224368 3221214488 1131331251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32248 13086 16 0 213357 0
vsize: 853492
[startup+960.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 92906 58 0 0 25 0 11 0 779858122 873975808 32248 4294967295 134512640 134569956 3221224368 3221214656 1131276469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32248 13086 16 0 213357 0
vsize: 853492
[startup+970.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 93892 58 0 0 25 0 11 0 779858122 873975808 32273 4294967295 134512640 134569956 3221224368 3221214520 1131240149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32273 13086 16 0 213357 0
vsize: 853492
[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 94880 59 0 0 25 0 11 0 779858122 873975808 32314 4294967295 134512640 134569956 3221224368 3221214488 1131329851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32314 13086 16 0 213357 0
vsize: 853492
[startup+990.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 95869 59 0 0 25 0 11 0 779858122 873975808 32314 4294967295 134512640 134569956 3221224368 3221214520 1131240195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32314 13086 16 0 213357 0
vsize: 853492
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 96857 60 0 0 25 0 11 0 779858122 873975808 32327 4294967295 134512640 134569956 3221224368 3221214520 1131239839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32327 13086 16 0 213357 0
vsize: 853492
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) S 6422 25830 25829 0 -1 0 18132 3 1 0 97846 60 0 0 25 0 11 0 779858122 873975808 32332 4294967295 134512640 134569956 3221224368 3221213224 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32332 13086 16 0 213357 0
vsize: 853492
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 98835 60 0 0 25 0 11 0 779858122 873975808 32338 4294967295 134512640 134569956 3221224368 3221214520 1131240149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32338 13086 16 0 213357 0
vsize: 853492
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 99823 60 0 0 25 0 11 0 779858122 873975808 32363 4294967295 134512640 134569956 3221224368 3221214488 1131331291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32363 13086 16 0 213357 0
vsize: 853492
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 100811 60 0 0 25 0 11 0 779858122 873975808 32363 4294967295 134512640 134569956 3221224368 3221214520 1131240149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32363 13086 16 0 213357 0
vsize: 853492
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 101800 61 0 0 25 0 11 0 779858122 873975808 32397 4294967295 134512640 134569956 3221224368 3221214568 1131318987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32397 13086 16 0 213357 0
vsize: 853492
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 102790 61 0 0 25 0 11 0 779858122 873975808 32400 4294967295 134512640 134569956 3221224368 3221214624 1131547391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32400 13086 16 0 213357 0
vsize: 853492
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 103782 61 0 0 25 0 11 0 779858122 873975808 32430 4294967295 134512640 134569956 3221224368 3221214488 1131330542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32430 13086 16 0 213357 0
vsize: 853492
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 104776 61 0 0 25 0 11 0 779858122 873975808 32436 4294967295 134512640 134569956 3221224368 3221214520 1131240297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32436 13086 16 0 213357 0
vsize: 853492
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 105770 61 0 0 25 0 11 0 779858122 873975808 32439 4294967295 134512640 134569956 3221224368 3221214520 1131240145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32439 13086 16 0 213357 0
vsize: 853492
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 106765 61 0 0 25 0 11 0 779858122 873975808 32445 4294967295 134512640 134569956 3221224368 3221214624 1131547254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32445 13086 16 0 213357 0
vsize: 853492
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 107759 61 0 0 25 0 11 0 779858122 873975808 32448 4294967295 134512640 134569956 3221224368 3221214488 1131329870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32448 13086 16 0 213357 0
vsize: 853492
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 108753 62 0 0 25 0 11 0 779858122 873975808 32453 4294967295 134512640 134569956 3221224368 3221214624 1131547204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32453 13086 16 0 213357 0
vsize: 853492
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 109747 62 0 0 25 0 11 0 779858122 873975808 32455 4294967295 134512640 134569956 3221224368 3221214488 1131330654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32455 13086 16 0 213357 0
vsize: 853492
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 110740 62 0 0 25 0 11 0 779858122 873975808 32455 4294967295 134512640 134569956 3221224368 3221214520 1131240040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32455 13086 16 0 213357 0
vsize: 853492
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 111732 63 0 0 25 0 11 0 779858122 873975808 32469 4294967295 134512640 134569956 3221224368 3221214656 1131275299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32469 13086 16 0 213357 0
vsize: 853492
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 112726 63 0 0 25 0 11 0 779858122 873975808 32469 4294967295 134512640 134569956 3221224368 3221214568 1131319149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32469 13086 16 0 213357 0
vsize: 853492
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 113719 63 0 0 25 0 11 0 779858122 873975808 32480 4294967295 134512640 134569956 3221224368 3221214656 1131275358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213373 32480 13086 16 0 213357 0
vsize: 853492
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 114711 63 0 0 25 0 11 0 779858122 873975808 32491 4294967295 134512640 134569956 3221224368 3221214488 1131330644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32491 13086 16 0 213357 0
vsize: 853492
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 115706 64 0 0 25 0 11 0 779858122 873975808 32501 4294967295 134512640 134569956 3221224368 3221214520 1131240149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32501 13086 16 0 213357 0
vsize: 853492
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 116699 64 0 0 25 0 11 0 779858122 873975808 32501 4294967295 134512640 134569956 3221224368 3221214488 1131331509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32501 13086 16 0 213357 0
vsize: 853492
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 117688 64 0 0 25 0 11 0 779858122 873975808 32513 4294967295 134512640 134569956 3221224368 3221214624 1131547207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32513 13086 16 0 213357 0
vsize: 853492
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 118673 65 0 0 25 0 11 0 779858122 873975808 32519 4294967295 134512640 134569956 3221224368 3221214656 1131276391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32519 13086 16 0 213357 0
vsize: 853492
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 119655 65 0 0 25 0 11 0 779858122 873975808 32524 4294967295 134512640 134569956 3221224368 3221214656 1131275299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32524 13086 16 0 213357 0
vsize: 853492
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6434
Raw data (stat): 6423 (java) R 6422 25830 25829 0 -1 0 18132 3 1 0 120635 65 0 0 25 0 11 0 779858122 873975808 32558 4294967295 134512640 134569956 3221224368 3221214568 1131246591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213373 32558 13086 16 0 213357 0
vsize: 853492
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.38 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6436
Raw data (stat): 6423 (java) Z 6422 25830 25829 0 -1 1036 18132 23567 1 0 120654 71 4919 67 25 0 1 0 779858122 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.38
CPU time (s): 1257.12
CPU user time (s): 1255.74
CPU system time (s): 1.38579
CPU usage (%): 101.35
Max. virtual memory (Kb): 854504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	537600
#### END VERIFIER DATA ####