PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb
MD5SUM	1400a638b0a1a6fa8602672cb986ba1d
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	1227.77
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 29936

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        684896 kB
Buffers:         30628 kB
Cached:         297380 kB
SwapCached:         92 kB
Active:          53372 kB
Inactive:       277276 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684644 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            13456 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:19:50 (client local time) WITH STATUS 143 IN 1227.77 SECONDS
stats: 21338 0 1227.77 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/wulflinc10/normalized-mps-v2-13-7-rgn.opb
c reading problem ... done. Time 1.921 ms.
c #vars     1020
c #constraints  124
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               67200 		Current CPU time: 7.57 ms
c starts	: 8
c conflicts	: 2633
c decisions	: 11067
c propagations	: 46501
c inspects	: 694572
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2633
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) : 1229.468
#### 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.92 0.98 0.99 2/54 30622
Raw data (stat): 30622 (runsolver) R 30621 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780857524 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.0008 s]
Raw data (loadavg): 1.09 1.02 1.01 3/64 30633
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18118 3 1 0 702 40 0 0 25 0 11 0 780857524 864788480 21592 4294967295 134512640 134569956 3221224368 3221214544 1131257920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211130 21592 13086 16 0 211114 0
vsize: 844520
[startup+20.0018 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 30633
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18121 3 1 0 1649 40 0 0 25 0 11 0 780857524 863961088 21712 4294967295 134512640 134569956 3221224368 3221214536 1131299640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210928 21712 13086 16 0 210912 0
vsize: 843712
[startup+30.0019 s]
Raw data (loadavg): 1.12 1.03 1.01 3/64 30633
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18121 3 1 0 2609 41 0 0 25 0 11 0 780857524 863199232 21758 4294967295 134512640 134569956 3221224368 3221214724 1131228416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 21758 13086 16 0 210726 0
vsize: 842968
[startup+40.0023 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 30633
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 3564 41 0 0 25 0 11 0 780857524 863199232 21978 4294967295 134512640 134569956 3221224368 3221214600 1131310753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210742 21978 13086 16 0 210726 0
vsize: 842968
[startup+50.0034 s]
Raw data (loadavg): 1.09 1.03 1.01 3/67 30674
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 4524 42 0 0 25 0 11 0 780857524 863199232 22163 4294967295 134512640 134569956 3221224368 3221214680 1131366278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210742 22163 13086 16 0 210726 0
vsize: 842968
[startup+60.0035 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 30686
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 5478 43 0 0 25 0 11 0 780857524 863199232 22346 4294967295 134512640 134569956 3221224368 3221214728 1131231587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210742 22346 13086 16 0 210726 0
vsize: 842968
[startup+70.0041 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 30686
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 6425 43 0 0 25 0 11 0 780857524 863199232 22819 4294967295 134512640 134569956 3221224368 3221214592 1131316289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 22819 13086 16 0 210726 0
vsize: 842968
[startup+80.0084 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 30686
Raw data (stat): 30622 (java) S 30621 15547 15546 0 -1 0 18122 3 1 0 7386 43 0 0 25 0 11 0 780857524 863199232 22948 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 22948 13086 16 0 210726 0
vsize: 842968
[startup+90.0082 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 30686
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 8345 43 0 0 25 0 11 0 780857524 863199232 23120 4294967295 134512640 134569956 3221224368 3221214744 1131179453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 23120 13086 16 0 210726 0
vsize: 842968
[startup+100.008 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 30686
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 9314 43 0 0 25 0 11 0 780857524 863199232 23227 4294967295 134512640 134569956 3221224368 3221214552 1131257706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210742 23227 13086 16 0 210726 0
vsize: 842968
[startup+110.109 s]
Raw data (loadavg): 1.03 1.02 1.00 3/64 30686
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 10291 43 0 0 25 0 11 0 780857524 863199232 23360 4294967295 134512640 134569956 3221224368 3221214640 1131228537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 23360 13086 16 0 210726 0
vsize: 842968
[startup+120.212 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 30686
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 11267 44 0 0 25 0 11 0 780857524 863199232 23482 4294967295 134512640 134569956 3221224368 3221214624 1131288796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 23482 13086 16 0 210726 0
vsize: 842968
[startup+130.211 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 12235 44 0 0 25 0 11 0 780857524 863199232 23566 4294967295 134512640 134569956 3221224368 3221214584 1131350275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 23566 13086 16 0 210726 0
vsize: 842968
[startup+140.211 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 13205 44 0 0 25 0 11 0 780857524 863199232 23642 4294967295 134512640 134569956 3221224368 3221214400 1078032948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 23642 13086 16 0 210726 0
vsize: 842968
[startup+150.211 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 14173 44 0 0 25 0 11 0 780857524 863199232 23745 4294967295 134512640 134569956 3221224368 3221214624 1131289872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 23745 13086 16 0 210726 0
vsize: 842968
[startup+160.212 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 15145 44 0 0 25 0 11 0 780857524 863199232 23848 4294967295 134512640 134569956 3221224368 3221214400 1131480732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 23848 13086 16 0 210726 0
vsize: 842968
[startup+170.212 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 16117 44 0 0 25 0 11 0 780857524 863199232 23940 4294967295 134512640 134569956 3221224368 3221214792 1131238368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 23940 13086 16 0 210726 0
vsize: 842968
[startup+180.212 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 17090 44 0 0 25 0 11 0 780857524 863199232 24032 4294967295 134512640 134569956 3221224368 3221214832 1131194969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24032 13086 16 0 210726 0
vsize: 842968
[startup+190.213 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 18063 45 0 0 25 0 11 0 780857524 863199232 24123 4294967295 134512640 134569956 3221224368 3221214580 1131371495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24123 13086 16 0 210726 0
vsize: 842968
[startup+200.213 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 19030 45 0 0 25 0 11 0 780857524 863199232 24223 4294967295 134512640 134569956 3221224368 3221214640 1131229886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24223 13086 16 0 210726 0
vsize: 842968
[startup+210.213 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 19996 45 0 0 25 0 11 0 780857524 863199232 24316 4294967295 134512640 134569956 3221224368 3221214640 1131216301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24316 13086 16 0 210726 0
vsize: 842968
[startup+220.213 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 20957 45 0 0 24 0 11 0 780857524 863199232 24431 4294967295 134512640 134569956 3221224368 3221214728 1131231655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24431 13086 16 0 210726 0
vsize: 842968
[startup+230.214 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 21921 45 0 0 25 0 11 0 780857524 863199232 24540 4294967295 134512640 134569956 3221224368 3221214552 1131257743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24540 13086 16 0 210726 0
vsize: 842968
[startup+240.213 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 22896 45 0 0 25 0 11 0 780857524 863199232 24613 4294967295 134512640 134569956 3221224368 3221214504 1131295512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24613 13086 16 0 210726 0
vsize: 842968
[startup+250.213 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 23871 45 0 0 25 0 11 0 780857524 863199232 24686 4294967295 134512640 134569956 3221224368 3221214640 1131229301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24686 13086 16 0 210726 0
vsize: 842968
[startup+260.214 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 24846 45 0 0 25 0 11 0 780857524 863199232 24761 4294967295 134512640 134569956 3221224368 3221214640 1131228471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24761 13086 16 0 210726 0
vsize: 842968
[startup+270.214 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 25821 45 0 0 25 0 11 0 780857524 863199232 24839 4294967295 134512640 134569956 3221224368 3221214624 1131289987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24839 13086 16 0 210726 0
vsize: 842968
[startup+280.214 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 26796 45 0 0 25 0 11 0 780857524 863199232 24920 4294967295 134512640 134569956 3221224368 3221214624 1131455843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24920 13086 16 0 210726 0
vsize: 842968
[startup+290.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 27772 45 0 0 25 0 11 0 780857524 863199232 24990 4294967295 134512640 134569956 3221224368 3221214728 1131231866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 24990 13086 16 0 210726 0
vsize: 842968
[startup+300.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18122 3 1 0 28749 46 0 0 25 0 11 0 780857524 863199232 25064 4294967295 134512640 134569956 3221224368 3221214544 1131298130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25064 13086 16 0 210726 0
vsize: 842968
[startup+310.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 29719 46 0 0 25 0 11 0 780857524 863199232 25143 4294967295 134512640 134569956 3221224368 3221214544 1131298597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25143 13086 16 0 210726 0
vsize: 842968
[startup+320.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 30688 46 0 0 25 0 11 0 780857524 863199232 25248 4294967295 134512640 134569956 3221224368 3221214544 1131299612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25248 13086 16 0 210726 0
vsize: 842968
[startup+330.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 31661 46 0 0 25 0 11 0 780857524 863199232 25332 4294967295 134512640 134569956 3221224368 3221214408 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25332 13086 16 0 210726 0
vsize: 842968
[startup+340.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 32634 46 0 0 25 0 11 0 780857524 863199232 25415 4294967295 134512640 134569956 3221224368 3221214112 1131484610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25415 13086 16 0 210726 0
vsize: 842968
[startup+350.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 33599 46 0 0 25 0 11 0 780857524 863199232 25497 4294967295 134512640 134569956 3221224368 3221214640 1131291231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25497 13086 16 0 210726 0
vsize: 842968
[startup+360.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 34562 46 0 0 25 0 11 0 780857524 863199232 25533 4294967295 134512640 134569956 3221224368 3221214544 1131298559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25533 13086 16 0 210726 0
vsize: 842968
[startup+370.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 35532 46 0 0 25 0 11 0 780857524 863199232 25654 4294967295 134512640 134569956 3221224368 3221214652 1131226793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210742 25654 13086 16 0 210726 0
vsize: 842968
[startup+380.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 36497 46 0 0 25 0 11 0 780857524 863199232 25713 4294967295 134512640 134569956 3221224368 3221214648 1131292313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25713 13086 16 0 210726 0
vsize: 842968
[startup+390.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 37462 46 0 0 25 0 11 0 780857524 863199232 25815 4294967295 134512640 134569956 3221224368 3221214016 1131484610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25815 13086 16 0 210726 0
vsize: 842968
[startup+400.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30688
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 38427 46 0 0 25 0 11 0 780857524 863199232 25902 4294967295 134512640 134569956 3221224368 3221214252 1131477059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25902 13086 16 0 210726 0
vsize: 842968
[startup+410.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 39380 46 0 0 25 0 11 0 780857524 863199232 25927 4294967295 134512640 134569956 3221224368 3221214640 1131229291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 25927 13086 16 0 210726 0
vsize: 842968
[startup+420.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 40329 46 0 0 25 0 11 0 780857524 863199232 26100 4294967295 134512640 134569956 3221224368 3221214640 1131228495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26100 13086 16 0 210726 0
vsize: 842968
[startup+430.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 41282 46 0 0 25 0 11 0 780857524 863199232 26158 4294967295 134512640 134569956 3221224368 3221214724 1131228416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26158 13086 16 0 210726 0
vsize: 842968
[startup+440.216 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 42236 47 0 0 25 0 11 0 780857524 863199232 26361 4294967295 134512640 134569956 3221224368 3221214216 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26361 13086 16 0 210726 0
vsize: 842968
[startup+450.215 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 43195 47 0 0 24 0 11 0 780857524 863199232 26511 4294967295 134512640 134569956 3221224368 3221214640 1131216764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26511 13086 16 0 210726 0
vsize: 842968
[startup+460.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 44157 47 0 0 25 0 11 0 780857524 863199232 26668 4294967295 134512640 134569956 3221224368 3221214640 1131257706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26668 13086 16 0 210726 0
vsize: 842968
[startup+470.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 45125 47 0 0 25 0 11 0 780857524 863199232 26755 4294967295 134512640 134569956 3221224368 3221214652 1131289833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26755 13086 16 0 210726 0
vsize: 842968
[startup+480.217 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 46086 47 0 0 25 0 11 0 780857524 863199232 26857 4294967295 134512640 134569956 3221224368 3221214544 1131298302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26857 13086 16 0 210726 0
vsize: 842968
[startup+490.218 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 47053 47 0 0 25 0 11 0 780857524 863199232 26953 4294967295 134512640 134569956 3221224368 3221214552 1131257618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26953 13086 16 0 210726 0
vsize: 842968
[startup+500.218 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 48024 47 0 0 25 0 11 0 780857524 863199232 27063 4294967295 134512640 134569956 3221224368 3221214640 1131229784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27063 13086 16 0 210726 0
vsize: 842968
[startup+510.219 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 48996 47 0 0 25 0 11 0 780857524 863199232 27182 4294967295 134512640 134569956 3221224368 3221214544 1131298559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27182 13086 16 0 210726 0
vsize: 842968
[startup+520.219 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) S 30621 15547 15546 0 -1 0 18123 3 1 0 49970 47 0 0 25 0 11 0 780857524 863199232 27295 4294967295 134512640 134569956 3221224368 3221213144 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27295 13086 16 0 210726 0
vsize: 842968
[startup+530.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 50950 47 0 0 25 0 11 0 780857524 863199232 27295 4294967295 134512640 134569956 3221224368 3221214732 1130883540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27295 13086 16 0 210726 0
vsize: 842968
[startup+540.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 51920 47 0 0 25 0 11 0 780857524 863199232 27356 4294967295 134512640 134569956 3221224368 3221214544 1131298156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27356 13086 16 0 210726 0
vsize: 842968
[startup+550.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 52895 47 0 0 25 0 11 0 780857524 863199232 27475 4294967295 134512640 134569956 3221224368 3221214540 1131477065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27475 13086 16 0 210726 0
vsize: 842968
[startup+560.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 53871 47 0 0 25 0 11 0 780857524 863199232 27476 4294967295 134512640 134569956 3221224368 3221214744 1131179473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27476 13086 16 0 210726 0
vsize: 842968
[startup+570.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 54843 47 0 0 25 0 11 0 780857524 863199232 27525 4294967295 134512640 134569956 3221224368 3221214600 1131194969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27525 13086 16 0 210726 0
vsize: 842968
[startup+580.223 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) S 30621 15547 15546 0 -1 0 18123 3 1 0 55817 47 0 0 25 0 11 0 780857524 863199232 27632 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27632 13086 16 0 210726 0
vsize: 842968
[startup+590.224 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 56791 47 0 0 25 0 11 0 780857524 863199232 27687 4294967295 134512640 134569956 3221224368 3221214640 1131228581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27687 13086 16 0 210726 0
vsize: 842968
[startup+600.224 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 57768 47 0 0 24 0 11 0 780857524 863199232 27773 4294967295 134512640 134569956 3221224368 3221214544 1131258077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27773 13086 16 0 210726 0
vsize: 842968
[startup+610.225 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 58748 47 0 0 25 0 11 0 780857524 863199232 27822 4294967295 134512640 134569956 3221224368 3221214544 1131298638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27822 13086 16 0 210726 0
vsize: 842968
[startup+620.225 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 59731 47 0 0 25 0 11 0 780857524 863199232 27826 4294967295 134512640 134569956 3221224368 3221214744 1131179473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27826 13086 16 0 210726 0
vsize: 842968
[startup+630.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 60713 48 0 0 25 0 11 0 780857524 863199232 27915 4294967295 134512640 134569956 3221224368 3221214212 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27915 13086 16 0 210726 0
vsize: 842968
[startup+640.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 61696 48 0 0 25 0 11 0 780857524 863199232 27975 4294967295 134512640 134569956 3221224368 3221214068 1131480779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27975 13086 16 0 210726 0
vsize: 842968
[startup+650.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 62670 48 0 0 25 0 11 0 780857524 863199232 27983 4294967295 134512640 134569956 3221224368 3221214792 1131238581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 27983 13086 16 0 210726 0
vsize: 842968
[startup+660.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 63638 48 0 0 25 0 11 0 780857524 863199232 28021 4294967295 134512640 134569956 3221224368 3221214744 1131179477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28021 13086 16 0 210726 0
vsize: 842968
[startup+670.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 64608 48 0 0 25 0 11 0 780857524 863199232 28059 4294967295 134512640 134569956 3221224368 3221214608 1131229183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28059 13086 16 0 210726 0
vsize: 842968
[startup+680.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 65565 48 0 0 25 0 11 0 780857524 863199232 28193 4294967295 134512640 134569956 3221224368 3221214592 1131292199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28193 13086 16 0 210726 0
vsize: 842968
[startup+690.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 66528 48 0 0 24 0 11 0 780857524 863199232 28324 4294967295 134512640 134569956 3221224368 3221214608 1131229247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28324 13086 16 0 210726 0
vsize: 842968
[startup+700.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 67509 48 0 0 25 0 11 0 780857524 863199232 28415 4294967295 134512640 134569956 3221224368 3221214712 1131179456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28415 13086 16 0 210726 0
vsize: 842968
[startup+710.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 68495 48 0 0 25 0 11 0 780857524 863199232 28502 4294967295 134512640 134569956 3221224368 3221214712 1131179456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28502 13086 16 0 210726 0
vsize: 842968
[startup+720.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 69486 48 0 0 24 0 11 0 780857524 863199232 28535 4294967295 134512640 134569956 3221224368 3221214608 1131228712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28535 13086 16 0 210726 0
vsize: 842968
[startup+730.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 70479 48 0 0 25 0 11 0 780857524 863199232 28555 4294967295 134512640 134569956 3221224368 3221214756 1131179693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28555 13086 16 0 210726 0
vsize: 842968
[startup+740.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 71471 48 0 0 25 0 11 0 780857524 863199232 28574 4294967295 134512640 134569956 3221224368 3221214568 1131288761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28574 13086 16 0 210726 0
vsize: 842968
[startup+750.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 72462 49 0 0 25 0 11 0 780857524 863199232 28594 4294967295 134512640 134569956 3221224368 3221214696 1131231714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28594 13086 16 0 210726 0
vsize: 842968
[startup+760.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 73455 49 0 0 25 0 11 0 780857524 863199232 28612 4294967295 134512640 134569956 3221224368 3221214528 1131526632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28612 13086 16 0 210726 0
vsize: 842968
[startup+770.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 74447 50 0 0 25 0 11 0 780857524 863199232 28630 4294967295 134512640 134569956 3221224368 3221214584 1131339127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28630 13086 16 0 210726 0
vsize: 842968
[startup+780.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 75439 50 0 0 24 0 11 0 780857524 863199232 28650 4294967295 134512640 134569956 3221224368 3221214584 1131291055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28650 13086 16 0 210726 0
vsize: 842968
[startup+790.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 76431 50 0 0 25 0 11 0 780857524 863199232 28668 4294967295 134512640 134569956 3221224368 3221214608 1131228783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28668 13086 16 0 210726 0
vsize: 842968
[startup+800.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 77423 50 0 0 25 0 11 0 780857524 863199232 28685 4294967295 134512640 134569956 3221224368 3221214096 1131480845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28685 13086 16 0 210726 0
vsize: 842968
[startup+810.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 78416 50 0 0 25 0 11 0 780857524 863199232 28702 4294967295 134512640 134569956 3221224368 3221214696 1131231601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28702 13086 16 0 210726 0
vsize: 842968
[startup+820.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 79407 50 0 0 25 0 11 0 780857524 863199232 28724 4294967295 134512640 134569956 3221224368 3221214712 1131179456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28724 13086 16 0 210726 0
vsize: 842968
[startup+830.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 80399 50 0 0 25 0 11 0 780857524 863199232 28739 4294967295 134512640 134569956 3221224368 3221214760 1131238245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28739 13086 16 0 210726 0
vsize: 842968
[startup+840.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 81391 50 0 0 25 0 11 0 780857524 863199232 28760 4294967295 134512640 134569956 3221224368 3221214340 1076460784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28760 13086 16 0 210726 0
vsize: 842968
[startup+850.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 82383 50 0 0 25 0 11 0 780857524 863199232 28777 4294967295 134512640 134569956 3221224368 3221214696 1131232027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28777 13086 16 0 210726 0
vsize: 842968
[startup+860.239 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 83374 51 0 0 25 0 11 0 780857524 863199232 28797 4294967295 134512640 134569956 3221224368 3221214608 1131229234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28797 13086 16 0 210726 0
vsize: 842968
[startup+870.239 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 84365 51 0 0 25 0 11 0 780857524 863199232 28818 4294967295 134512640 134569956 3221224368 3221214712 1131179481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28818 13086 16 0 210726 0
vsize: 842968
[startup+880.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 85358 51 0 0 25 0 11 0 780857524 863199232 28836 4294967295 134512640 134569956 3221224368 3221214592 1131292220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28836 13086 16 0 210726 0
vsize: 842968
[startup+890.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 86349 51 0 0 25 0 11 0 780857524 863199232 28858 4294967295 134512640 134569956 3221224368 3221214608 1131228659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28858 13086 16 0 210726 0
vsize: 842968
[startup+900.239 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 87340 51 0 0 24 0 11 0 780857524 863199232 28874 4294967295 134512640 134569956 3221224368 3221214696 1131232037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28874 13086 16 0 210726 0
vsize: 842968
[startup+910.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 88333 51 0 0 25 0 11 0 780857524 863199232 28890 4294967295 134512640 134569956 3221224368 3221214288 1131480791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28890 13086 16 0 210726 0
vsize: 842968
[startup+920.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 89325 51 0 0 25 0 11 0 780857524 863199232 28908 4294967295 134512640 134569956 3221224368 3221214528 1131525152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28908 13086 16 0 210726 0
vsize: 842968
[startup+930.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 90317 51 0 0 25 0 11 0 780857524 863199232 28926 4294967295 134512640 134569956 3221224368 3221214608 1131228771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28926 13086 16 0 210726 0
vsize: 842968
[startup+940.241 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 91307 51 0 0 25 0 11 0 780857524 863199232 28946 4294967295 134512640 134569956 3221224368 3221214608 1131228500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28946 13086 16 0 210726 0
vsize: 842968
[startup+950.241 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 92299 51 0 0 25 0 11 0 780857524 863199232 28962 4294967295 134512640 134569956 3221224368 3221214096 1131480849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28962 13086 16 0 210726 0
vsize: 842968
[startup+960.242 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 93289 51 0 0 25 0 11 0 780857524 863199232 28979 4294967295 134512640 134569956 3221224368 3221214608 1131228581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 28979 13086 16 0 210726 0
vsize: 842968
[startup+970.241 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 94279 52 0 0 25 0 11 0 780857524 863199232 29004 4294967295 134512640 134569956 3221224368 3221214608 1131228581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29004 13086 16 0 210726 0
vsize: 842968
[startup+980.241 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 95269 52 0 0 25 0 11 0 780857524 863199232 29020 4294967295 134512640 134569956 3221224368 3221214608 1131228449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29020 13086 16 0 210726 0
vsize: 842968
[startup+990.241 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 96258 52 0 0 25 0 11 0 780857524 863199232 29049 4294967295 134512640 134569956 3221224368 3221214476 1131480784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29049 13086 16 0 210726 0
vsize: 842968
[startup+1000.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 97250 52 0 0 25 0 11 0 780857524 863199232 29064 4294967295 134512640 134569956 3221224368 3221214148 1131484587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29064 13086 16 0 210726 0
vsize: 842968
[startup+1010.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 98239 52 0 0 25 0 11 0 780857524 863199232 29087 4294967295 134512640 134569956 3221224368 3221214628 1130907169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29087 13086 16 0 210726 0
vsize: 842968
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 99229 52 0 0 25 0 11 0 780857524 863199232 29106 4294967295 134512640 134569956 3221224368 3221214608 1131228498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29106 13086 16 0 210726 0
vsize: 842968
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 100219 52 0 0 25 0 11 0 780857524 863199232 29137 4294967295 134512640 134569956 3221224368 3221214696 1131231751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29137 13086 16 0 210726 0
vsize: 842968
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 101211 52 0 0 25 0 11 0 780857524 863199232 29154 4294967295 134512640 134569956 3221224368 3221214800 1131194969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29154 13086 16 0 210726 0
vsize: 842968
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 102201 53 0 0 25 0 11 0 780857524 863199232 29174 4294967295 134512640 134569956 3221224368 3221214712 1131179481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29174 13086 16 0 210726 0
vsize: 842968
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 103192 53 0 0 25 0 11 0 780857524 863199232 29195 4294967295 134512640 134569956 3221224368 3221214096 1131480760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29195 13086 16 0 210726 0
vsize: 842968
[startup+1070.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 104184 53 0 0 25 0 11 0 780857524 863199232 29213 4294967295 134512640 134569956 3221224368 3221214608 1131228848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29213 13086 16 0 210726 0
vsize: 842968
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 105174 53 0 0 25 0 11 0 780857524 863199232 29233 4294967295 134512640 134569956 3221224368 3221214200 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29233 13086 16 0 210726 0
vsize: 842968
[startup+1090.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 106165 53 0 0 25 0 11 0 780857524 863199232 29254 4294967295 134512640 134569956 3221224368 3221214608 1131228771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29254 13086 16 0 210726 0
vsize: 842968
[startup+1100.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 107156 53 0 0 25 0 11 0 780857524 863199232 29272 4294967295 134512640 134569956 3221224368 3221214712 1131179481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29272 13086 16 0 210726 0
vsize: 842968
[startup+1110.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 108147 53 0 0 25 0 11 0 780857524 863199232 29290 4294967295 134512640 134569956 3221224368 3221214696 1131231810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29290 13086 16 0 210726 0
vsize: 842968
[startup+1120.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 109138 53 0 0 25 0 11 0 780857524 863199232 29310 4294967295 134512640 134569956 3221224368 3221214712 1131179582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29310 13086 16 0 210726 0
vsize: 842968
[startup+1130.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 110126 53 0 0 25 0 11 0 780857524 863199232 29334 4294967295 134512640 134569956 3221224368 3221214608 1131228708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29334 13086 16 0 210726 0
vsize: 842968
[startup+1140.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 111116 53 0 0 25 0 11 0 780857524 863199232 29353 4294967295 134512640 134569956 3221224368 3221214696 1131231594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29353 13086 16 0 210726 0
vsize: 842968
[startup+1150.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 112103 53 0 0 25 0 11 0 780857524 863199232 29375 4294967295 134512640 134569956 3221224368 3221214712 1131179456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29375 13086 16 0 210726 0
vsize: 842968
[startup+1160.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 113092 53 0 0 25 0 11 0 780857524 863199232 29389 4294967295 134512640 134569956 3221224368 3221214332 1078128090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29389 13086 16 0 210726 0
vsize: 842968
[startup+1170.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 114081 53 0 0 25 0 11 0 780857524 863199232 29412 4294967295 134512640 134569956 3221224368 3221214608 1131229371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29412 13086 16 0 210726 0
vsize: 842968
[startup+1180.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 115070 53 0 0 25 0 11 0 780857524 863199232 29435 4294967295 134512640 134569956 3221224368 3221214608 1131216320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29435 13086 16 0 210726 0
vsize: 842968
[startup+1190.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 116058 53 0 0 25 0 11 0 780857524 863199232 29457 4294967295 134512640 134569956 3221224368 3221214760 1131238231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29457 13086 16 0 210726 0
vsize: 842968
[startup+1200.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 117048 53 0 0 25 0 11 0 780857524 863199232 29480 4294967295 134512640 134569956 3221224368 3221214288 1131480845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29480 13086 16 0 210726 0
vsize: 842968
[startup+1210.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 118038 54 0 0 25 0 11 0 780857524 863199232 29504 4294967295 134512640 134569956 3221224368 3221214608 1131228539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29504 13086 16 0 210726 0
vsize: 842968
[startup+1220.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 119027 54 0 0 25 0 11 0 780857524 863199232 29524 4294967295 134512640 134569956 3221224368 3221214608 1131228581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29524 13086 16 0 210726 0
vsize: 842968
[startup+1230.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30690
Raw data (stat): 30622 (java) R 30621 15547 15546 0 -1 0 18123 3 1 0 120017 54 0 0 25 0 11 0 780857524 863199232 29545 4294967295 134512640 134569956 3221224368 3221214760 1131238602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 29545 13086 16 0 210726 0
vsize: 842968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.53 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30692
Raw data (stat): 30622 (java) Z 30621 15547 15546 0 -1 1036 18123 8930 1 0 120037 54 2649 35 25 0 1 0 780857524 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): 1230.53
CPU time (s): 1227.77
CPU user time (s): 1226.87
CPU system time (s): 0.899863
CPU usage (%): 99.7759
Max. virtual memory (Kb): 844520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	67200
#### END VERIFIER DATA ####