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/miplib/normalized-mps-v2-20-10-rgn.opb
MD5SUM	56e0ae8659c33a6c7b55390a12db116b
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	1256.32
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 29554

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        478080 kB
Buffers:         24232 kB
Cached:         501916 kB
SwapCached:       1056 kB
Active:          57580 kB
Inactive:       470788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        477828 kB
SwapTotal:     2097892 kB
SwapFree:      2095960 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22440 kB
Committed_AS:    63776 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:12:50 (client local time) WITH STATUS 143 IN 1256.32 SECONDS
stats: 20954 0 1256.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-rgn.opb
c reading problem ... done. Time 2.452 ms.
c #vars     1260
c #constraints  124
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              537600 		Current CPU time: 12.05 ms
c starts	: 8
c conflicts	: 2204
c decisions	: 6929
c propagations	: 54106
c inspects	: 534587
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2203
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.249
#### 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.79 0.95 0.98 2/55 12880
Raw data (stat): 12880 (runsolver) R 12879 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837562734 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+10.0011 s]
Raw data (loadavg): 1.13 1.02 1.01 4/65 12890
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18100 0 1 0 690 40 0 0 25 0 11 0 837562734 871665664 23093 4294967295 134512640 134569956 3221224368 3221214520 1130917758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212809 23093 13086 16 0 212793 0
vsize: 851236
[startup+20.0039 s]
Raw data (loadavg): 1.18 1.03 1.01 2/65 12891
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18166 3 1 0 1562 40 0 0 25 0 11 0 837562734 870064128 23347 4294967295 134512640 134569956 3221224368 3221214528 1131240146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 23347 13086 16 0 212402 0
vsize: 849672
[startup+30.0048 s]
Raw data (loadavg): 1.15 1.03 1.01 2/65 12891
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18166 3 1 0 2527 40 0 0 25 0 11 0 837562734 870064128 23388 4294967295 134512640 134569956 3221224368 3221214680 1131282256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 23388 13086 16 0 212402 0
vsize: 849672
[startup+40.0051 s]
Raw data (loadavg): 1.13 1.03 1.01 2/65 12891
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 3485 40 0 0 25 0 11 0 837562734 870064128 23574 4294967295 134512640 134569956 3221224368 3221214496 1131327454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 23574 13086 16 0 212402 0
vsize: 849672
[startup+50.0056 s]
Raw data (loadavg): 1.11 1.03 1.01 2/65 12893
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 4437 41 0 0 25 0 11 0 837562734 870064128 23824 4294967295 134512640 134569956 3221224368 3221214496 1131327861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 23824 13086 16 0 212402 0
vsize: 849672
[startup+60.0056 s]
Raw data (loadavg): 1.09 1.03 1.01 2/65 12893
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 5392 41 0 0 25 0 11 0 837562734 870064128 24054 4294967295 134512640 134569956 3221224368 3221214496 1131328988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 24054 13086 16 0 212402 0
vsize: 849672
[startup+70.0055 s]
Raw data (loadavg): 1.08 1.03 1.00 2/65 12893
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 6348 41 0 0 24 0 11 0 837562734 870064128 24381 4294967295 134512640 134569956 3221224368 3221214548 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 24381 13086 16 0 212402 0
vsize: 849672
[startup+80.0064 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 12893
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 7306 42 0 0 25 0 11 0 837562734 870064128 24592 4294967295 134512640 134569956 3221224368 3221214528 1131240323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 24592 13086 16 0 212402 0
vsize: 849672
[startup+90.0064 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 12893
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 8263 42 0 0 25 0 11 0 837562734 870064128 24733 4294967295 134512640 134569956 3221224368 3221214432 1131322710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 24733 13086 16 0 212402 0
vsize: 849672
[startup+100.008 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 12893
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 9233 42 0 0 25 0 11 0 837562734 870064128 24903 4294967295 134512640 134569956 3221224368 3221214352 1131380638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 24903 13086 16 0 212402 0
vsize: 849672
[startup+110.008 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 12895
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 10216 42 0 0 25 0 11 0 837562734 870064128 25058 4294967295 134512640 134569956 3221224368 3221214496 1131327483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 25058 13086 16 0 212402 0
vsize: 849672
[startup+120.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 12895
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 11204 42 0 0 25 0 11 0 837562734 870064128 25171 4294967295 134512640 134569956 3221224368 3221214496 1131328124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 25171 13086 16 0 212402 0
vsize: 849672
[startup+130.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 12895
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 12193 42 0 0 25 0 11 0 837562734 870064128 25171 4294967295 134512640 134569956 3221224368 3221214528 1131240277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 25171 13086 16 0 212402 0
vsize: 849672
[startup+140.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12895
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 13179 43 0 0 25 0 11 0 837562734 870064128 25171 4294967295 134512640 134569956 3221224368 3221214496 1131328157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 25171 13086 16 0 212402 0
vsize: 849672
[startup+150.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12895
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 14161 43 0 0 25 0 11 0 837562734 870064128 25199 4294967295 134512640 134569956 3221224368 3221214528 1131240277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 25199 13086 16 0 212402 0
vsize: 849672
[startup+160.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12895
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 15145 43 0 0 25 0 11 0 837562734 870064128 25253 4294967295 134512640 134569956 3221224368 3221214528 1131240481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 25253 13086 16 0 212402 0
vsize: 849672
[startup+170.009 s]
Raw data (loadavg): 1.09 1.03 1.00 2/65 12897
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 16124 43 0 0 24 0 11 0 837562734 870064128 25348 4294967295 134512640 134569956 3221224368 3221214512 1131240134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25348 13086 16 0 212402 0
vsize: 849672
[startup+180.01 s]
Raw data (loadavg): 1.07 1.03 1.00 2/65 12897
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 17108 43 0 0 25 0 11 0 837562734 870064128 25393 4294967295 134512640 134569956 3221224368 3221214616 1131559337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25393 13086 16 0 212402 0
vsize: 849672
[startup+190.01 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 12897
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 18089 44 0 0 25 0 11 0 837562734 870064128 25445 4294967295 134512640 134569956 3221224368 3221214592 1131246807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25445 13086 16 0 212402 0
vsize: 849672
[startup+200.011 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 12897
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 19069 44 0 0 25 0 11 0 837562734 870064128 25492 4294967295 134512640 134569956 3221224368 3221214480 1131329219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 25492 13086 16 0 212402 0
vsize: 849672
[startup+210.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12897
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 20049 44 0 0 25 0 11 0 837562734 870064128 25545 4294967295 134512640 134569956 3221224368 3221214560 1131316892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25545 13086 16 0 212402 0
vsize: 849672
[startup+220.012 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12897
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 21030 45 0 0 25 0 11 0 837562734 870064128 25604 4294967295 134512640 134569956 3221224368 3221214680 1131278737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25604 13086 16 0 212402 0
vsize: 849672
[startup+230.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 12899
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 22008 45 0 0 25 0 11 0 837562734 870064128 25665 4294967295 134512640 134569956 3221224368 3221214480 1131328167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25665 13086 16 0 212402 0
vsize: 849672
[startup+240.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12899
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 22990 46 0 0 25 0 11 0 837562734 870064128 25731 4294967295 134512640 134569956 3221224368 3221214512 1131240323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25731 13086 16 0 212402 0
vsize: 849672
[startup+250.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12899
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 23972 46 0 0 25 0 11 0 837562734 870064128 25758 4294967295 134512640 134569956 3221224368 3221214616 1131559175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25758 13086 16 0 212402 0
vsize: 849672
[startup+260.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12899
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 24952 46 0 0 25 0 11 0 837562734 870064128 25813 4294967295 134512640 134569956 3221224368 3221214512 1131240942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25813 13086 16 0 212402 0
vsize: 849672
[startup+270.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12899
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 25934 47 0 0 25 0 11 0 837562734 870064128 25892 4294967295 134512640 134569956 3221224368 3221214512 1131240323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25892 13086 16 0 212402 0
vsize: 849672
[startup+280.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12899
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 26919 47 0 0 25 0 11 0 837562734 870064128 25947 4294967295 134512640 134569956 3221224368 3221214480 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 25947 13086 16 0 212402 0
vsize: 849672
[startup+290.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12901
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 27902 48 0 0 25 0 11 0 837562734 870064128 25974 4294967295 134512640 134569956 3221224368 3221214680 1131282112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 25974 13086 16 0 212402 0
vsize: 849672
[startup+300.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12901
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 28882 48 0 0 25 0 11 0 837562734 870064128 26029 4294967295 134512640 134569956 3221224368 3221214592 1131246569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 26029 13086 16 0 212402 0
vsize: 849672
[startup+310.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12901
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18167 3 1 0 29855 48 0 0 25 0 11 0 837562734 870064128 26078 4294967295 134512640 134569956 3221224368 3221214560 1131317351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 26078 13086 16 0 212402 0
vsize: 849672
[startup+320.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12901
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 30811 49 0 0 25 0 11 0 837562734 870064128 26079 4294967295 134512640 134569956 3221224368 3221214680 1131282285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 26079 13086 16 0 212402 0
vsize: 849672
[startup+330.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12901
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 31763 49 0 0 25 0 11 0 837562734 870064128 26159 4294967295 134512640 134569956 3221224368 3221214592 1131246569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 26159 13086 16 0 212402 0
vsize: 849672
[startup+340.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12901
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 32708 49 0 0 25 0 11 0 837562734 870064128 26233 4294967295 134512640 134569956 3221224368 3221214680 1131278920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 26233 13086 16 0 212402 0
vsize: 849672
[startup+350.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12903
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 33649 49 0 0 25 0 11 0 837562734 870064128 26432 4294967295 134512640 134569956 3221224368 3221214440 1131247131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 26432 13086 16 0 212402 0
vsize: 849672
[startup+360.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12903
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 34586 49 0 0 25 0 11 0 837562734 870064128 26628 4294967295 134512640 134569956 3221224368 3221214528 1131240323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 26628 13086 16 0 212402 0
vsize: 849672
[startup+370.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12903
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 35537 50 0 0 25 0 11 0 837562734 870064128 26858 4294967295 134512640 134569956 3221224368 3221214344 1131247554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 26858 13086 16 0 212402 0
vsize: 849672
[startup+380.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12903
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 36497 50 0 0 25 0 11 0 837562734 870064128 27095 4294967295 134512640 134569956 3221224368 3221214528 1131240340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27095 13086 16 0 212402 0
vsize: 849672
[startup+390.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12903
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 37476 50 0 0 25 0 11 0 837562734 870064128 27273 4294967295 134512640 134569956 3221224368 3221214496 1131329195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27273 13086 16 0 212402 0
vsize: 849672
[startup+400.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12903
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 38457 51 0 0 25 0 11 0 837562734 870064128 27389 4294967295 134512640 134569956 3221224368 3221214680 1131282225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27389 13086 16 0 212402 0
vsize: 849672
[startup+410.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12905
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 39439 52 0 0 25 0 11 0 837562734 870064128 27408 4294967295 134512640 134569956 3221224368 3221214496 1131327854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27408 13086 16 0 212402 0
vsize: 849672
[startup+420.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12905
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 40416 52 0 0 25 0 11 0 837562734 870064128 27434 4294967295 134512640 134569956 3221224368 3221214576 1131316958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27434 13086 16 0 212402 0
vsize: 849672
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12905
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 41392 53 0 0 25 0 11 0 837562734 870064128 27446 4294967295 134512640 134569956 3221224368 3221214592 1131246569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27446 13086 16 0 212402 0
vsize: 849672
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12905
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 42365 53 0 0 25 0 11 0 837562734 870064128 27547 4294967295 134512640 134569956 3221224368 3221214628 1131377021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27547 13086 16 0 212402 0
vsize: 849672
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12905
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 43339 53 0 0 25 0 11 0 837562734 870064128 27624 4294967295 134512640 134569956 3221224368 3221214256 1131425378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27624 13086 16 0 212402 0
vsize: 849672
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12905
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 44317 54 0 0 25 0 11 0 837562734 870064128 27689 4294967295 134512640 134569956 3221224368 3221214576 1131316958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27689 13086 16 0 212402 0
vsize: 849672
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12907
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 45291 54 0 0 25 0 11 0 837562734 870064128 27763 4294967295 134512640 134569956 3221224368 3221214680 1131281235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27763 13086 16 0 212402 0
vsize: 849672
[startup+480.029 s]
Raw data (loadavg): 1.08 1.02 1.01 2/67 12948
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 46260 58 0 0 25 0 11 0 837562734 870064128 27842 4294967295 134512640 134569956 3221224368 3221214528 1131240021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 27842 13086 16 0 212402 0
vsize: 849672
[startup+490.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 12960
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 47239 59 0 0 25 0 11 0 837562734 870064128 27905 4294967295 134512640 134569956 3221224368 3221214592 1131246931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27905 13086 16 0 212402 0
vsize: 849672
[startup+500.031 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 12960
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 48215 59 0 0 25 0 11 0 837562734 870064128 27982 4294967295 134512640 134569956 3221224368 3221214680 1131275423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 27982 13086 16 0 212402 0
vsize: 849672
[startup+510.032 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 12960
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 49192 59 0 0 25 0 11 0 837562734 870064128 28055 4294967295 134512640 134569956 3221224368 3221214240 1131609075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28055 13086 16 0 212402 0
vsize: 849672
[startup+520.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 12960
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 50172 60 0 0 25 0 11 0 837562734 870064128 28104 4294967295 134512640 134569956 3221224368 3221214680 1131275820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28104 13086 16 0 212402 0
vsize: 849672
[startup+530.034 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 12962
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 51147 61 0 0 25 0 11 0 837562734 870064128 28160 4294967295 134512640 134569956 3221224368 3221214496 1131328231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28160 13086 16 0 212402 0
vsize: 849672
[startup+540.035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 12962
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 52117 61 0 0 25 0 11 0 837562734 870064128 28221 4294967295 134512640 134569956 3221224368 3221214496 1131327483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28221 13086 16 0 212402 0
vsize: 849672
[startup+550.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 12964
Raw data (stat): 12880 (java) S 12879 29618 29617 0 -1 0 18168 3 1 0 53088 61 0 0 25 0 11 0 837562734 870064128 28270 4294967295 134512640 134569956 3221224368 3221213216 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28270 13086 16 0 212402 0
vsize: 849672
[startup+560.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 12964
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 54050 62 0 0 25 0 11 0 837562734 870064128 28352 4294967295 134512640 134569956 3221224368 3221214592 1131246525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28352 13086 16 0 212402 0
vsize: 849672
[startup+570.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 12964
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 55010 62 0 0 25 0 11 0 837562734 870064128 28471 4294967295 134512640 134569956 3221224368 3221214592 1131246569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28471 13086 16 0 212402 0
vsize: 849672
[startup+580.038 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 12964
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 55975 63 0 0 25 0 11 0 837562734 870064128 28550 4294967295 134512640 134569956 3221224368 3221214528 1131240277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28550 13086 16 0 212402 0
vsize: 849672
[startup+590.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 12966
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 56940 64 0 0 25 0 11 0 837562734 870064128 28636 4294967295 134512640 134569956 3221224368 3221214592 1131246569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28636 13086 16 0 212402 0
vsize: 849672
[startup+600.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 12966
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 57902 64 0 0 25 0 11 0 837562734 870064128 28778 4294967295 134512640 134569956 3221224368 3221214528 1131240735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28778 13086 16 0 212402 0
vsize: 849672
[startup+610.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 12966
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 58874 64 0 0 25 0 11 0 837562734 870064128 28896 4294967295 134512640 134569956 3221224368 3221214576 1131316892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28896 13086 16 0 212402 0
vsize: 849672
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12966
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 59845 65 0 0 25 0 11 0 837562734 870064128 28971 4294967295 134512640 134569956 3221224368 3221214592 1131246569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 28971 13086 16 0 212402 0
vsize: 849672
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12966
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 60809 65 0 0 24 0 11 0 837562734 870064128 29048 4294967295 134512640 134569956 3221224368 3221214592 1131246569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29048 13086 16 0 212402 0
vsize: 849672
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12966
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 61780 65 0 0 25 0 11 0 837562734 870064128 29111 4294967295 134512640 134569956 3221224368 3221214680 1131275439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29111 13086 16 0 212402 0
vsize: 849672
[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12968
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 62742 66 0 0 25 0 11 0 837562734 870064128 29170 4294967295 134512640 134569956 3221224368 3221214680 1131282211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29170 13086 16 0 212402 0
vsize: 849672
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12968
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 63703 66 0 0 24 0 11 0 837562734 870064128 29261 4294967295 134512640 134569956 3221224368 3221214528 1131241203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29261 13086 16 0 212402 0
vsize: 849672
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12968
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 64662 67 0 0 25 0 11 0 837562734 870064128 29374 4294967295 134512640 134569956 3221224368 3221214592 1131246803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29374 13086 16 0 212402 0
vsize: 849672
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12968
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 65624 67 0 0 25 0 11 0 837562734 870064128 29498 4294967295 134512640 134569956 3221224368 3221214680 1131275726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29498 13086 16 0 212402 0
vsize: 849672
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12968
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 66597 68 0 0 25 0 11 0 837562734 870064128 29578 4294967295 134512640 134569956 3221224368 3221214680 1131282335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29578 13086 16 0 212402 0
vsize: 849672
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12968
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 67565 68 0 0 25 0 11 0 837562734 870064128 29674 4294967295 134512640 134569956 3221224368 3221214304 1131385767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29674 13086 16 0 212402 0
vsize: 849672
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12970
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 68533 69 0 0 25 0 11 0 837562734 870064128 29763 4294967295 134512640 134569956 3221224368 3221214592 1131246779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29763 13086 16 0 212402 0
vsize: 849672
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12970
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 69498 69 0 0 25 0 11 0 837562734 870064128 29869 4294967295 134512640 134569956 3221224368 3221214548 1130885124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29869 13086 16 0 212402 0
vsize: 849672
[startup+730.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12970
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 70457 70 0 0 25 0 11 0 837562734 870064128 29935 4294967295 134512640 134569956 3221224368 3221214856 1131268801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 29935 13086 16 0 212402 0
vsize: 849672
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12970
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 71427 70 0 0 25 0 11 0 837562734 870064128 30062 4294967295 134512640 134569956 3221224368 3221214680 1131277859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30062 13086 16 0 212402 0
vsize: 849672
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12970
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 72398 70 0 0 25 0 11 0 837562734 870064128 30139 4294967295 134512640 134569956 3221224368 3221214680 1131277993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30139 13086 16 0 212402 0
vsize: 849672
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12970
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 73370 70 0 0 25 0 11 0 837562734 870064128 30205 4294967295 134512640 134569956 3221224368 3221214592 1131193286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30205 13086 16 0 212402 0
vsize: 849672
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12972
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 74335 71 0 0 25 0 11 0 837562734 870064128 30292 4294967295 134512640 134569956 3221224368 3221214492 1131591056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30292 13086 16 0 212402 0
vsize: 849672
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12972
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 75307 71 0 0 25 0 11 0 837562734 870064128 30366 4294967295 134512640 134569956 3221224368 3221213988 1131591056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30366 13086 16 0 212402 0
vsize: 849672
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 3/65 12972
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 76279 71 0 0 25 0 11 0 837562734 870064128 30431 4294967295 134512640 134569956 3221224368 3221214184 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30431 13086 16 0 212402 0
vsize: 849672
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12974
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 77246 72 0 0 24 0 11 0 837562734 870064128 30524 4294967295 134512640 134569956 3221224368 3221214592 1131246506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30524 13086 16 0 212402 0
vsize: 849672
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12974
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 78213 72 0 0 25 0 11 0 837562734 870064128 30609 4294967295 134512640 134569956 3221224368 3221214680 1131277859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30609 13086 16 0 212402 0
vsize: 849672
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12974
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 79174 72 0 0 25 0 11 0 837562734 870064128 30730 4294967295 134512640 134569956 3221224368 3221214592 1131246643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30730 13086 16 0 212402 0
vsize: 849672
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12976
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 80142 73 0 0 25 0 11 0 837562734 870064128 30822 4294967295 134512640 134569956 3221224368 3221214680 1131275648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30822 13086 16 0 212402 0
vsize: 849672
[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12976
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 81113 73 0 0 25 0 11 0 837562734 870064128 30939 4294967295 134512640 134569956 3221224368 3221214592 1131247742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30939 13086 16 0 212402 0
vsize: 849672
[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12976
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 82087 73 0 0 25 0 11 0 837562734 870064128 30999 4294967295 134512640 134569956 3221224368 3221214528 1131240939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 30999 13086 16 0 212402 0
vsize: 849672
[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12976
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 83064 73 0 0 25 0 11 0 837562734 870064128 31023 4294967295 134512640 134569956 3221224368 3221214576 1131316876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 31023 13086 16 0 212402 0
vsize: 849672
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12976
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 84046 74 0 0 25 0 11 0 837562734 870064128 31087 4294967295 134512640 134569956 3221224368 3221214472 1131240481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 31087 13086 16 0 212402 0
vsize: 849672
[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12976
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 85033 74 0 0 25 0 11 0 837562734 870064128 31103 4294967295 134512640 134569956 3221224368 3221214576 1131316999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 31103 13086 16 0 212402 0
vsize: 849672
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12978
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 86019 75 0 0 25 0 11 0 837562734 870064128 31175 4294967295 134512640 134569956 3221224368 3221214680 1131277859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 31175 13086 16 0 212402 0
vsize: 849672
[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12978
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 87006 75 0 0 25 0 11 0 837562734 870064128 31175 4294967295 134512640 134569956 3221224368 3221214528 1131240323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 31175 13086 16 0 212402 0
vsize: 849672
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12978
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 87995 75 0 0 25 0 11 0 837562734 870064128 31175 4294967295 134512640 134569956 3221224368 3221214528 1131240942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 31175 13086 16 0 212402 0
vsize: 849672
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12978
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 88980 75 0 0 25 0 11 0 837562734 870064128 31175 4294967295 134512640 134569956 3221224368 3221214576 1131316888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212418 31175 13086 16 0 212402 0
vsize: 849672
[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12978
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 89969 76 0 0 25 0 11 0 837562734 870064128 31227 4294967295 134512640 134569956 3221224368 3221214528 1131240111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31227 13086 16 0 212402 0
vsize: 849672
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12978
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 90961 76 0 0 25 0 11 0 837562734 870064128 31242 4294967295 134512640 134569956 3221224368 3221214552 1131195865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31242 13086 16 0 212402 0
vsize: 849672
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12980
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 91952 76 0 0 25 0 11 0 837562734 870064128 31244 4294967295 134512640 134569956 3221224368 3221214680 1131278047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31244 13086 16 0 212402 0
vsize: 849672
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12980
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 92939 76 0 0 25 0 11 0 837562734 870064128 31249 4294967295 134512640 134569956 3221224368 3221214576 1131316642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31249 13086 16 0 212402 0
vsize: 849672
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12980
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 93928 76 0 0 25 0 11 0 837562734 870064128 31249 4294967295 134512640 134569956 3221224368 3221214592 1131246525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31249 13086 16 0 212402 0
vsize: 849672
[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12980
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 94915 76 0 0 25 0 11 0 837562734 870064128 31249 4294967295 134512640 134569956 3221224368 3221214632 1131559363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31249 13086 16 0 212402 0
vsize: 849672
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12980
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 95903 76 0 0 25 0 11 0 837562734 870064128 31279 4294967295 134512640 134569956 3221224368 3221214528 1131240572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31279 13086 16 0 212402 0
vsize: 849672
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12980
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 96892 76 0 0 25 0 11 0 837562734 870064128 31315 4294967295 134512640 134569956 3221224368 3221214592 1131246569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31315 13086 16 0 212402 0
vsize: 849672
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12982
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 97881 76 0 0 25 0 11 0 837562734 870064128 31322 4294967295 134512640 134569956 3221224368 3221214632 1131559328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31322 13086 16 0 212402 0
vsize: 849672
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12982
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 98871 76 0 0 25 0 11 0 837562734 870064128 31331 4294967295 134512640 134569956 3221224368 3221214680 1131275648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31331 13086 16 0 212402 0
vsize: 849672
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12982
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 99857 76 0 0 24 0 11 0 837562734 870064128 31333 4294967295 134512640 134569956 3221224368 3221214496 1131328131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31333 13086 16 0 212402 0
vsize: 849672
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12982
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 100846 76 0 0 25 0 11 0 837562734 870064128 31361 4294967295 134512640 134569956 3221224368 3221214528 1131240277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31361 13086 16 0 212402 0
vsize: 849672
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12982
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 101834 76 0 0 25 0 11 0 837562734 870064128 31364 4294967295 134512640 134569956 3221224368 3221214496 1131328213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31364 13086 16 0 212402 0
vsize: 849672
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12982
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 102821 76 0 0 24 0 11 0 837562734 870064128 31373 4294967295 134512640 134569956 3221224368 3221214496 1131328131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31373 13086 16 0 212402 0
vsize: 849672
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12984
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 103812 76 0 0 25 0 11 0 837562734 870064128 31401 4294967295 134512640 134569956 3221224368 3221214016 1085632281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31401 13086 16 0 212402 0
vsize: 849672
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12984
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 104802 76 0 0 25 0 11 0 837562734 870064128 31401 4294967295 134512640 134569956 3221224368 3221214528 1131240323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31401 13086 16 0 212402 0
vsize: 849672
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12984
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 105794 76 0 0 25 0 11 0 837562734 870064128 31435 4294967295 134512640 134569956 3221224368 3221214536 1131608469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31435 13086 16 0 212402 0
vsize: 849672
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12984
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 106788 76 0 0 25 0 11 0 837562734 870064128 31437 4294967295 134512640 134569956 3221224368 3221214528 1131240323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31437 13086 16 0 212402 0
vsize: 849672
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12984
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 107782 77 0 0 25 0 11 0 837562734 870064128 31443 4294967295 134512640 134569956 3221224368 3221214528 1131240052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31443 13086 16 0 212402 0
vsize: 849672
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12984
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 108777 77 0 0 25 0 11 0 837562734 870064128 31446 4294967295 134512640 134569956 3221224368 3221214528 1131240256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31446 13086 16 0 212402 0
vsize: 849672
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12986
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 109771 77 0 0 25 0 11 0 837562734 870064128 31452 4294967295 134512640 134569956 3221224368 3221214528 1131240008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31452 13086 16 0 212402 0
vsize: 849672
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12986
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 110765 77 0 0 25 0 11 0 837562734 870064128 31454 4294967295 134512640 134569956 3221224368 3221214528 1131240168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31454 13086 16 0 212402 0
vsize: 849672
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12986
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 111759 77 0 0 25 0 11 0 837562734 870064128 31456 4294967295 134512640 134569956 3221224368 3221214496 1131328157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31456 13086 16 0 212402 0
vsize: 849672
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12986
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 112752 77 0 0 25 0 11 0 837562734 870064128 31463 4294967295 134512640 134569956 3221224368 3221214576 1131316915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31463 13086 16 0 212402 0
vsize: 849672
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12986
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 113745 77 0 0 25 0 11 0 837562734 870064128 31470 4294967295 134512640 134569956 3221224368 3221214528 1131240572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31470 13086 16 0 212402 0
vsize: 849672
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12986
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 114739 77 0 0 25 0 11 0 837562734 870064128 31470 4294967295 134512640 134569956 3221224368 3221214680 1131275641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31470 13086 16 0 212402 0
vsize: 849672
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12988
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 115732 77 0 0 25 0 11 0 837562734 870064128 31481 4294967295 134512640 134569956 3221224368 3221214548 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31481 13086 16 0 212402 0
vsize: 849672
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12988
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 116725 77 0 0 25 0 11 0 837562734 870064128 31492 4294967295 134512640 134569956 3221224368 3221214496 1131329201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31492 13086 16 0 212402 0
vsize: 849672
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12988
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 117719 78 0 0 25 0 11 0 837562734 870064128 31502 4294967295 134512640 134569956 3221224368 3221214592 1131246929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31502 13086 16 0 212402 0
vsize: 849672
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12988
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 118712 78 0 0 25 0 11 0 837562734 870064128 31505 4294967295 134512640 134569956 3221224368 3221214528 1131240277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31505 13086 16 0 212402 0
vsize: 849672
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12988
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 119701 78 0 0 25 0 11 0 837562734 870064128 31517 4294967295 134512640 134569956 3221224368 3221214592 1131246700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31517 13086 16 0 212402 0
vsize: 849672
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12988
Raw data (stat): 12880 (java) R 12879 29618 29617 0 -1 0 18168 3 1 0 120685 78 0 0 25 0 11 0 837562734 870064128 31520 4294967295 134512640 134569956 3221224368 3221214528 1131240951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212418 31520 13086 16 0 212402 0
vsize: 849672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.35 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 12990
Raw data (stat): 12880 (java) Z 12879 29618 29617 0 -1 1036 18168 21731 1 0 120701 83 4787 59 25 0 1 0 837562734 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): 1240.35
CPU time (s): 1256.32
CPU user time (s): 1254.89
CPU system time (s): 1.43778
CPU usage (%): 101.288
Max. virtual memory (Kb): 851236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	537600
#### END VERIFIER DATA ####