PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb
MD5SUM	e7e8123aa394c0918878e05410d4daeb
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	67200
Optimality of the best value was proved	NO
Number of terms in the objective function	920
Biggest coefficient in the objective function	24576
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	1986400
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	3200000000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	29101875011
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1253.97
Number of variables	1020
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	103
Trace number 30058

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 14:22:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21462 boxname=wulflinc12 idbench=1450 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  e7e8123aa394c0918878e05410d4daeb  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-rgn.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-rgn.opb
IDLAUNCH: 21462
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        362056 kB
Buffers:         34552 kB
Cached:         616732 kB
SwapCached:        564 kB
Active:          51676 kB
Inactive:       602024 kB
HighTotal:      131008 kB
HighFree:         8540 kB
LowTotal:       903652 kB
LowFree:        353516 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13136 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:43:01 (client local time) WITH STATUS 143 IN 1253.97 SECONDS
stats: 21462 0 1253.97 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/wulflinc12/normalized-mps-v2-13-7-rgn.opb
c reading problem ... done. Time 1.895 ms.
c #vars     1020
c #constraints  124
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               67200 		Current CPU time: 7.39 ms
c starts	: 8
c conflicts	: 2655
c decisions	: 11178
c propagations	: 46854
c inspects	: 703611
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2655
c root simplifications	: 8
s SATISFIABLE
v -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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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=67200
c Total CPU time (ms) : 1239.372
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 12404
Raw data (stat): 12404 (runsolver) R 12403 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781335671 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.0004 s]
Raw data (loadavg): 0.95 0.98 0.99 3/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18119 3 1 0 694 39 0 0 25 0 11 0 781335671 868675584 22324 4294967295 134512640 134569956 3221224368 3221214552 1131250943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212079 22324 13086 16 0 212063 0
vsize: 848316
[startup+20.0016 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18120 3 1 0 1650 39 0 0 25 0 11 0 781335671 864927744 21960 4294967295 134512640 134569956 3221224368 3221214520 1131286925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 21960 13086 16 0 211148 0
vsize: 844656
[startup+30.0024 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18120 3 1 0 2604 39 0 0 25 0 11 0 781335671 864927744 22202 4294967295 134512640 134569956 3221224368 3221214744 1131179776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 22202 13086 16 0 211148 0
vsize: 844656
[startup+40.0029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 3569 40 0 0 25 0 11 0 781335671 864927744 22409 4294967295 134512640 134569956 3221224368 3221214544 1131296902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 22409 13086 16 0 211148 0
vsize: 844656
[startup+50.0043 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 4531 40 0 0 25 0 11 0 781335671 864927744 22594 4294967295 134512640 134569956 3221224368 3221214544 1131297205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 22594 13086 16 0 211148 0
vsize: 844656
[startup+60.0041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 5479 41 0 0 25 0 11 0 781335671 864927744 22820 4294967295 134512640 134569956 3221224368 3221214552 1131251699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 22820 13086 16 0 211148 0
vsize: 844656
[startup+70.0044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 6428 41 0 0 25 0 11 0 781335671 864927744 23250 4294967295 134512640 134569956 3221224368 3221214728 1131234512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 23250 13086 16 0 211148 0
vsize: 844656
[startup+80.0057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 7391 41 0 0 25 0 11 0 781335671 864927744 23400 4294967295 134512640 134569956 3221224368 3221214552 1131250885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 23400 13086 16 0 211148 0
vsize: 844656
[startup+90.0065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 8347 42 0 0 25 0 11 0 781335671 864927744 23568 4294967295 134512640 134569956 3221224368 3221214552 1131296740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 23568 13086 16 0 211148 0
vsize: 844656
[startup+100.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 9315 42 0 0 25 0 11 0 781335671 864927744 23676 4294967295 134512640 134569956 3221224368 3221214552 1131251006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 23676 13086 16 0 211148 0
vsize: 844656
[startup+110.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 10282 42 0 0 25 0 11 0 781335671 864927744 23807 4294967295 134512640 134569956 3221224368 3221214640 1131231336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 23807 13086 16 0 211148 0
vsize: 844656
[startup+120.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 11248 42 0 0 25 0 11 0 781335671 864927744 23924 4294967295 134512640 134569956 3221224368 3221214728 1131234664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 23924 13086 16 0 211148 0
vsize: 844656
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 12215 42 0 0 25 0 11 0 781335671 864927744 23997 4294967295 134512640 134569956 3221224368 3221214580 1131384777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 23997 13086 16 0 211148 0
vsize: 844656
[startup+140.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 13181 42 0 0 25 0 11 0 781335671 864927744 24096 4294967295 134512640 134569956 3221224368 3221214792 1131240845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24096 13086 16 0 211148 0
vsize: 844656
[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 14154 42 0 0 25 0 11 0 781335671 864927744 24187 4294967295 134512640 134569956 3221224368 3221214544 1131250728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24187 13086 16 0 211148 0
vsize: 844656
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 15123 42 0 0 25 0 11 0 781335671 864927744 24299 4294967295 134512640 134569956 3221224368 3221214744 1131179822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24299 13086 16 0 211148 0
vsize: 844656
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 16095 42 0 0 25 0 11 0 781335671 864927744 24390 4294967295 134512640 134569956 3221224368 3221214640 1131231407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24390 13086 16 0 211148 0
vsize: 844656
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 17067 43 0 0 25 0 11 0 781335671 864927744 24487 4294967295 134512640 134569956 3221224368 3221214592 1131193212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24487 13086 16 0 211148 0
vsize: 844656
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) S 12403 32284 32283 0 -1 0 18121 3 1 0 18037 43 0 0 25 0 11 0 781335671 864927744 24575 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24575 13086 16 0 211148 0
vsize: 844656
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 19002 43 0 0 25 0 11 0 781335671 864927744 24685 4294967295 134512640 134569956 3221224368 3221214744 1131179886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24685 13086 16 0 211148 0
vsize: 844656
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 19967 43 0 0 25 0 11 0 781335671 864927744 24780 4294967295 134512640 134569956 3221224368 3221214640 1131231205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24780 13086 16 0 211148 0
vsize: 844656
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 20927 43 0 0 25 0 11 0 781335671 864927744 24899 4294967295 134512640 134569956 3221224368 3221214496 1131305132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24899 13086 16 0 211148 0
vsize: 844656
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 21896 43 0 0 25 0 11 0 781335671 864927744 24993 4294967295 134512640 134569956 3221224368 3221214252 1131277129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 24993 13086 16 0 211148 0
vsize: 844656
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 22866 43 0 0 25 0 11 0 781335671 864927744 25075 4294967295 134512640 134569956 3221224368 3221214496 1131231205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25075 13086 16 0 211148 0
vsize: 844656
[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 23840 43 0 0 25 0 11 0 781335671 864927744 25146 4294967295 134512640 134569956 3221224368 3221214616 1131266736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25146 13086 16 0 211148 0
vsize: 844656
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 24815 43 0 0 25 0 11 0 781335671 864927744 25225 4294967295 134512640 134569956 3221224368 3221214552 1131251206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25225 13086 16 0 211148 0
vsize: 844656
[startup+270.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 25790 43 0 0 25 0 11 0 781335671 864927744 25306 4294967295 134512640 134569956 3221224368 3221214616 1131266798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25306 13086 16 0 211148 0
vsize: 844656
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 26765 43 0 0 25 0 11 0 781335671 864927744 25382 4294967295 134512640 134569956 3221224368 3221214648 1131287984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25382 13086 16 0 211148 0
vsize: 844656
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18121 3 1 0 27741 43 0 0 25 0 11 0 781335671 864927744 25449 4294967295 134512640 134569956 3221224368 3221214640 1131231205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25449 13086 16 0 211148 0
vsize: 844656
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 28712 43 0 0 25 0 11 0 781335671 864927744 25538 4294967295 134512640 134569956 3221224368 3221214544 1131251053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25538 13086 16 0 211148 0
vsize: 844656
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 29679 43 0 0 25 0 11 0 781335671 864927744 25634 4294967295 134512640 134569956 3221224368 3221214640 1131231915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25634 13086 16 0 211148 0
vsize: 844656
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 30648 43 0 0 25 0 11 0 781335671 864927744 25735 4294967295 134512640 134569956 3221224368 3221214744 1131179776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25735 13086 16 0 211148 0
vsize: 844656
[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 31624 43 0 0 25 0 11 0 781335671 864927744 25809 4294967295 134512640 134569956 3221224368 3221214544 1131250972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25809 13086 16 0 211148 0
vsize: 844656
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 32590 43 0 0 25 0 11 0 781335671 864927744 25915 4294967295 134512640 134569956 3221224368 3221214544 1131297209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25915 13086 16 0 211148 0
vsize: 844656
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 33554 43 0 0 25 0 11 0 781335671 864927744 25934 4294967295 134512640 134569956 3221224368 3221214656 1131290990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25934 13086 16 0 211148 0
vsize: 844656
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 34518 43 0 0 25 0 11 0 781335671 864927744 26043 4294967295 134512640 134569956 3221224368 3221214460 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26043 13086 16 0 211148 0
vsize: 844656
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 35484 44 0 0 25 0 11 0 781335671 864927744 26129 4294967295 134512640 134569956 3221224368 3221214560 1131250932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26129 13086 16 0 211148 0
vsize: 844656
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) S 12403 32284 32283 0 -1 0 18122 3 1 0 36445 44 0 0 25 0 11 0 781335671 864927744 26243 4294967295 134512640 134569956 3221224368 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26243 13086 16 0 211148 0
vsize: 844656
[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 37408 44 0 0 25 0 11 0 781335671 864927744 26314 4294967295 134512640 134569956 3221224368 3221214832 1131193177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26314 13086 16 0 211148 0
vsize: 844656
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 38368 44 0 0 25 0 11 0 781335671 864927744 26350 4294967295 134512640 134569956 3221224368 3221214788 1131211296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26350 13086 16 0 211148 0
vsize: 844656
[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 39317 44 0 0 25 0 11 0 781335671 864927744 26459 4294967295 134512640 134569956 3221224368 3221214640 1131232301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26459 13086 16 0 211148 0
vsize: 844656
[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 40270 44 0 0 25 0 11 0 781335671 864927744 26565 4294967295 134512640 134569956 3221224368 3221214632 1131289926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26565 13086 16 0 211148 0
vsize: 844656
[startup+430.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 41216 44 0 0 25 0 11 0 781335671 864927744 26770 4294967295 134512640 134569956 3221224368 3221214352 1131517788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26770 13086 16 0 211148 0
vsize: 844656
[startup+440.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 42181 44 0 0 25 0 11 0 781335671 864927744 26907 4294967295 134512640 134569956 3221224368 3221214080 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26907 13086 16 0 211148 0
vsize: 844656
[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 43140 44 0 0 25 0 11 0 781335671 864927744 27047 4294967295 134512640 134569956 3221224368 3221214640 1131231289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27047 13086 16 0 211148 0
vsize: 844656
[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 44103 44 0 0 25 0 11 0 781335671 864927744 27170 4294967295 134512640 134569956 3221224368 3221213972 1131277152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27170 13086 16 0 211148 0
vsize: 844656
[startup+470.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 45064 45 0 0 25 0 11 0 781335671 864927744 27274 4294967295 134512640 134569956 3221224368 3221214632 1131266750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27274 13086 16 0 211148 0
vsize: 844656
[startup+480.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 46028 45 0 0 25 0 11 0 781335671 864927744 27364 4294967295 134512640 134569956 3221224368 3221214560 1131250912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27364 13086 16 0 211148 0
vsize: 844656
[startup+490.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 46999 45 0 0 25 0 11 0 781335671 864927744 27476 4294967295 134512640 134569956 3221224368 3221214640 1131231407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27476 13086 16 0 211148 0
vsize: 844656
[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 47970 45 0 0 25 0 11 0 781335671 864927744 27596 4294967295 134512640 134569956 3221224368 3221214568 1131251106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27596 13086 16 0 211148 0
vsize: 844656
[startup+510.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 48950 45 0 0 21 0 11 0 781335671 864927744 27723 4294967295 134512640 134569956 3221224368 3221214568 1131251140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27723 13086 16 0 211148 0
vsize: 844656
[startup+520.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 49929 45 0 0 25 0 11 0 781335671 864927744 27723 4294967295 134512640 134569956 3221224368 3221214376 1078830837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27723 13086 16 0 211148 0
vsize: 844656
[startup+530.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 50901 45 0 0 25 0 11 0 781335671 864927744 27772 4294967295 134512640 134569956 3221224368 3221214664 1131288136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27772 13086 16 0 211148 0
vsize: 844656
[startup+540.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 51873 45 0 0 25 0 11 0 781335671 864927744 27903 4294967295 134512640 134569956 3221224368 3221214640 1131209148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27903 13086 16 0 211148 0
vsize: 844656
[startup+550.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 52848 45 0 0 25 0 11 0 781335671 864927744 27904 4294967295 134512640 134569956 3221224368 3221214728 1131234548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27904 13086 16 0 211148 0
vsize: 844656
[startup+560.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 53820 45 0 0 25 0 11 0 781335671 864927744 27953 4294967295 134512640 134569956 3221224368 3221214560 1131251065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 27953 13086 16 0 211148 0
vsize: 844656
[startup+570.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 54793 45 0 0 25 0 11 0 781335671 864927744 28076 4294967295 134512640 134569956 3221224368 3221214640 1131231367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28076 13086 16 0 211148 0
vsize: 844656
[startup+580.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 55768 45 0 0 25 0 11 0 781335671 864927744 28107 4294967295 134512640 134569956 3221224368 3221214160 1131480898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28107 13086 16 0 211148 0
vsize: 844656
[startup+590.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 56745 45 0 0 25 0 11 0 781335671 864927744 28193 4294967295 134512640 134569956 3221224368 3221214560 1131297360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28193 13086 16 0 211148 0
vsize: 844656
[startup+600.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 57722 46 0 0 25 0 11 0 781335671 864927744 28242 4294967295 134512640 134569956 3221224368 3221214604 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28242 13086 16 0 211148 0
vsize: 844656
[startup+610.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 58707 46 0 0 25 0 11 0 781335671 864927744 28246 4294967295 134512640 134569956 3221224368 3221214300 1131480144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28246 13086 16 0 211148 0
vsize: 844656
[startup+620.162 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 59687 46 0 0 25 0 11 0 781335671 864927744 28335 4294967295 134512640 134569956 3221224368 3221214256 1131516649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28335 13086 16 0 211148 0
vsize: 844656
[startup+630.162 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 60667 46 0 0 25 0 11 0 781335671 864927744 28403 4294967295 134512640 134569956 3221224368 3221214768 1131211334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28403 13086 16 0 211148 0
vsize: 844656
[startup+640.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 61640 46 0 0 25 0 11 0 781335671 864927744 28403 4294967295 134512640 134569956 3221224368 3221214640 1131231205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28403 13086 16 0 211148 0
vsize: 844656
[startup+650.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 62607 46 0 0 25 0 11 0 781335671 864927744 28441 4294967295 134512640 134569956 3221224368 3221214604 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28441 13086 16 0 211148 0
vsize: 844656
[startup+660.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 63571 46 0 0 25 0 11 0 781335671 864927744 28507 4294967295 134512640 134569956 3221224368 3221214640 1131209756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28507 13086 16 0 211148 0
vsize: 844656
[startup+670.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 64529 46 0 0 25 0 11 0 781335671 864927744 28636 4294967295 134512640 134569956 3221224368 3221214744 1131179776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28636 13086 16 0 211148 0
vsize: 844656
[startup+680.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 65496 46 0 0 25 0 11 0 781335671 864927744 28759 4294967295 134512640 134569956 3221224368 3221214352 1131517778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28759 13086 16 0 211148 0
vsize: 844656
[startup+690.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 66475 47 0 0 25 0 11 0 781335671 864927744 28860 4294967295 134512640 134569956 3221224368 3221214640 1131231718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28860 13086 16 0 211148 0
vsize: 844656
[startup+700.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 67463 47 0 0 25 0 11 0 781335671 864927744 28931 4294967295 134512640 134569956 3221224368 3221214640 1131231205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28931 13086 16 0 211148 0
vsize: 844656
[startup+710.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 68454 47 0 0 25 0 11 0 781335671 864927744 28957 4294967295 134512640 134569956 3221224368 3221214600 1131251844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28957 13086 16 0 211148 0
vsize: 844656
[startup+720.167 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 69444 47 0 0 25 0 11 0 781335671 864927744 28980 4294967295 134512640 134569956 3221224368 3221214304 1131480106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28980 13086 16 0 211148 0
vsize: 844656
[startup+730.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 70436 47 0 0 25 0 11 0 781335671 864927744 28996 4294967295 134512640 134569956 3221224368 3221214728 1131234257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28996 13086 16 0 211148 0
vsize: 844656
[startup+740.168 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 71427 47 0 0 25 0 11 0 781335671 864927744 29018 4294967295 134512640 134569956 3221224368 3221214268 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 29018 13086 16 0 211148 0
vsize: 844656
[startup+750.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 72418 48 0 0 25 0 11 0 781335671 864927744 29037 4294967295 134512640 134569956 3221224368 3221214728 1131234658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29037 13086 16 0 211148 0
vsize: 844656
[startup+760.168 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 73410 49 0 0 25 0 11 0 781335671 864927744 29054 4294967295 134512640 134569956 3221224368 3221214352 1131519416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 29054 13086 16 0 211148 0
vsize: 844656
[startup+770.168 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 74401 49 0 0 25 0 11 0 781335671 864927744 29072 4294967295 134512640 134569956 3221224368 3221214640 1131231421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29072 13086 16 0 211148 0
vsize: 844656
[startup+780.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 75391 50 0 0 25 0 11 0 781335671 864927744 29092 4294967295 134512640 134569956 3221224368 3221214728 1131234214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29092 13086 16 0 211148 0
vsize: 844656
[startup+790.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 76382 50 0 0 25 0 11 0 781335671 864927744 29108 4294967295 134512640 134569956 3221224368 3221214560 1131297422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29108 13086 16 0 211148 0
vsize: 844656
[startup+800.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 77373 50 0 0 25 0 11 0 781335671 864927744 29128 4294967295 134512640 134569956 3221224368 3221214640 1131231205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29128 13086 16 0 211148 0
vsize: 844656
[startup+810.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 78364 51 0 0 25 0 11 0 781335671 864927744 29146 4294967295 134512640 134569956 3221224368 3221214640 1131231951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29146 13086 16 0 211148 0
vsize: 844656
[startup+820.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 79354 51 0 0 25 0 11 0 781335671 864927744 29167 4294967295 134512640 134569956 3221224368 3221214640 1131231801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29167 13086 16 0 211148 0
vsize: 844656
[startup+830.171 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 80346 52 0 0 25 0 11 0 781335671 864927744 29181 4294967295 134512640 134569956 3221224368 3221214744 1131179797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29181 13086 16 0 211148 0
vsize: 844656
[startup+840.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 81336 52 0 0 25 0 11 0 781335671 864927744 29201 4294967295 134512640 134569956 3221224368 3221214792 1131241924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29201 13086 16 0 211148 0
vsize: 844656
[startup+850.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 82327 52 0 0 25 0 11 0 781335671 864927744 29224 4294967295 134512640 134569956 3221224368 3221214640 1131231148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29224 13086 16 0 211148 0
vsize: 844656
[startup+860.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 83318 52 0 0 25 0 11 0 781335671 864927744 29243 4294967295 134512640 134569956 3221224368 3221214728 1131234500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29243 13086 16 0 211148 0
vsize: 844656
[startup+870.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 84308 53 0 0 25 0 11 0 781335671 864927744 29262 4294967295 134512640 134569956 3221224368 3221214640 1131232414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29262 13086 16 0 211148 0
vsize: 844656
[startup+880.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 85299 53 0 0 25 0 11 0 781335671 864927744 29281 4294967295 134512640 134569956 3221224368 3221214640 1131231205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 29281 13086 16 0 211148 0
vsize: 844656
[startup+890.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 86290 54 0 0 25 0 11 0 781335671 864927744 29296 4294967295 134512640 134569956 3221224368 3221214768 1131211377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29296 13086 16 0 211148 0
vsize: 844656
[startup+900.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 87282 54 0 0 25 0 11 0 781335671 864927744 29314 4294967295 134512640 134569956 3221224368 3221214640 1131231407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29314 13086 16 0 211148 0
vsize: 844656
[startup+910.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 88273 54 0 0 25 0 11 0 781335671 864927744 29330 4294967295 134512640 134569956 3221224368 3221214728 1131234651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29330 13086 16 0 211148 0
vsize: 844656
[startup+920.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 89264 55 0 0 25 0 11 0 781335671 864927744 29349 4294967295 134512640 134569956 3221224368 3221214728 1131234675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29349 13086 16 0 211148 0
vsize: 844656
[startup+930.178 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 90253 55 0 0 25 0 11 0 781335671 864927744 29366 4294967295 134512640 134569956 3221224368 3221214640 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29366 13086 16 0 211148 0
vsize: 844656
[startup+940.178 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 91244 55 0 0 25 0 11 0 781335671 864927744 29385 4294967295 134512640 134569956 3221224368 3221214728 1131234651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29385 13086 16 0 211148 0
vsize: 844656
[startup+950.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 92233 55 0 0 25 0 11 0 781335671 864927744 29403 4294967295 134512640 134569956 3221224368 3221214728 1131234230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29403 13086 16 0 211148 0
vsize: 844656
[startup+960.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 93222 56 0 0 25 0 11 0 781335671 864927744 29424 4294967295 134512640 134569956 3221224368 3221214640 1131231367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29424 13086 16 0 211148 0
vsize: 844656
[startup+970.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 94210 56 0 0 25 0 11 0 781335671 864927744 29444 4294967295 134512640 134569956 3221224368 3221214540 1131277120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29444 13086 16 0 211148 0
vsize: 844656
[startup+980.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 95201 57 0 0 25 0 11 0 781335671 864927744 29469 4294967295 134512640 134569956 3221224368 3221214728 1131234675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29469 13086 16 0 211148 0
vsize: 844656
[startup+990.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 96189 57 0 0 25 0 11 0 781335671 864927744 29486 4294967295 134512640 134569956 3221224368 3221214640 1131209140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29486 13086 16 0 211148 0
vsize: 844656
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 97178 57 0 0 25 0 11 0 781335671 864927744 29509 4294967295 134512640 134569956 3221224368 3221214728 1131234724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29509 13086 16 0 211148 0
vsize: 844656
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 98167 57 0 0 25 0 11 0 781335671 864927744 29528 4294967295 134512640 134569956 3221224368 3221214744 1131179776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29528 13086 16 0 211148 0
vsize: 844656
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 99157 58 0 0 25 0 11 0 781335671 864927744 29557 4294967295 134512640 134569956 3221224368 3221214640 1131231115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29557 13086 16 0 211148 0
vsize: 844656
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 100148 58 0 0 25 0 11 0 781335671 864927744 29578 4294967295 134512640 134569956 3221224368 3221214536 1131277141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29578 13086 16 0 211148 0
vsize: 844656
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 101137 58 0 0 25 0 11 0 781335671 864927744 29598 4294967295 134512640 134569956 3221224368 3221214788 1131193126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29598 13086 16 0 211148 0
vsize: 844656
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 102128 58 0 0 25 0 11 0 781335671 864927744 29615 4294967295 134512640 134569956 3221224368 3221214768 1131193183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29615 13086 16 0 211148 0
vsize: 844656
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 103118 58 0 0 25 0 11 0 781335671 864927744 29635 4294967295 134512640 134569956 3221224368 3221214640 1131232523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29635 13086 16 0 211148 0
vsize: 844656
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 104108 58 0 0 25 0 11 0 781335671 864927744 29658 4294967295 134512640 134569956 3221224368 3221214728 1131234664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29658 13086 16 0 211148 0
vsize: 844656
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 105098 58 0 0 25 0 11 0 781335671 864927744 29676 4294967295 134512640 134569956 3221224368 3221214728 1131234528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29676 13086 16 0 211148 0
vsize: 844656
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 106088 59 0 0 25 0 11 0 781335671 864927744 29697 4294967295 134512640 134569956 3221224368 3221214640 1131231205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29697 13086 16 0 211148 0
vsize: 844656
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 107078 59 0 0 25 0 11 0 781335671 864927744 29712 4294967295 134512640 134569956 3221224368 3221214728 1131234214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29712 13086 16 0 211148 0
vsize: 844656
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 108068 59 0 0 25 0 11 0 781335671 864927744 29732 4294967295 134512640 134569956 3221224368 3221214792 1131241029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29732 13086 16 0 211148 0
vsize: 844656
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 109055 59 0 0 25 0 11 0 781335671 864927744 29758 4294967295 134512640 134569956 3221224368 3221214664 1131287989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29758 13086 16 0 211148 0
vsize: 844656
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 110044 60 0 0 25 0 11 0 781335671 864927744 29781 4294967295 134512640 134569956 3221224368 3221214640 1131231205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29781 13086 16 0 211148 0
vsize: 844656
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 111030 60 0 0 25 0 11 0 781335671 864927744 29803 4294967295 134512640 134569956 3221224368 3221214640 1131231447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29803 13086 16 0 211148 0
vsize: 844656
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 112019 60 0 0 25 0 11 0 781335671 864927744 29819 4294967295 134512640 134569956 3221224368 3221214536 1131317131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29819 13086 16 0 211148 0
vsize: 844656
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 113007 60 0 0 25 0 11 0 781335671 864927744 29838 4294967295 134512640 134569956 3221224368 3221214744 1131179793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 29838 13086 16 0 211148 0
vsize: 844656
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 113995 61 0 0 25 0 11 0 781335671 864927744 29863 4294967295 134512640 134569956 3221224368 3221214728 1131234211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29863 13086 16 0 211148 0
vsize: 844656
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 114982 61 0 0 25 0 11 0 781335671 864927744 29887 4294967295 134512640 134569956 3221224368 3221214408 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29887 13086 16 0 211148 0
vsize: 844656
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 115973 61 0 0 25 0 11 0 781335671 864927744 29906 4294967295 134512640 134569956 3221224368 3221214744 1131179776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29906 13086 16 0 211148 0
vsize: 844656
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 116960 62 0 0 25 0 11 0 781335671 864927744 29934 4294967295 134512640 134569956 3221224368 3221214640 1131231965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29934 13086 16 0 211148 0
vsize: 844656
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 117948 62 0 0 25 0 11 0 781335671 864927744 29954 4294967295 134512640 134569956 3221224368 3221214728 1131234678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29954 13086 16 0 211148 0
vsize: 844656
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 118937 62 0 0 25 0 11 0 781335671 864927744 29973 4294967295 134512640 134569956 3221224368 3221214640 1131231255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 29973 13086 16 0 211148 0
vsize: 844656
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 119926 63 0 0 25 0 11 0 781335671 864927744 29993 4294967295 134512640 134569956 3221224368 3221214556 1131280617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29993 13086 16 0 211148 0
vsize: 844656
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12415
Raw data (stat): 12404 (java) R 12403 32284 32283 0 -1 0 18122 3 1 0 120913 63 0 0 25 0 11 0 781335671 864927744 30015 4294967295 134512640 134569956 3221224368 3221214400 1131480120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30015 13086 16 0 211148 0
vsize: 844656
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.46 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12417
Raw data (stat): 12404 (java) Z 12403 32284 32283 0 -1 1036 18122 18802 1 0 120934 68 4341 52 25 0 1 0 781335671 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.46
CPU time (s): 1253.97
CPU user time (s): 1252.76
CPU system time (s): 1.21181
CPU usage (%): 101.089
Max. virtual memory (Kb): 848316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	67200
#### END VERIFIER DATA ####