PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-noswot.opb
MD5SUM	b239ca7d2095d517ad5daa2331de8426
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	425
Biggest coefficient in the objective function	65536
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	3276775
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	1048576000000000
Number of bits of the biggest number in a constraint	50
Biggest sum of numbers in a constraint	5104598755679562
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	143.293
Number of variables	1340
Total number of constraints	282
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	75
Number of constraints which are nor clauses,nor cardinality constraints	207
Minimum length of a constraint	1
Maximum length of a constraint	425
Trace number 29543

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        755752 kB
Buffers:         30280 kB
Cached:         226032 kB
SwapCached:        524 kB
Active:          75904 kB
Inactive:       182612 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        755500 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5332 kB
Slab:            14632 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:07:04 (client local time) WITH STATUS 143 IN 1246.41 SECONDS
stats: 20942 0 1246.41 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/wulflinc17/normalized-mps-v2-20-10-noswot.opb
c reading problem ... done. Time 4.205 ms.
c #vars     1340
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 7.23 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 11.18 ms
c CURRENT OPTIMUM=                  -7 		Current CPU time: 11.67 ms
c CURRENT OPTIMUM=                 -12 		Current CPU time: 14.68 ms
c CURRENT OPTIMUM=                 -13 		Current CPU time: 15.22 ms
c CURRENT OPTIMUM=                 -14 		Current CPU time: 21.23 ms
c CURRENT OPTIMUM=                 -24 		Current CPU time: 23.76 ms
c CURRENT OPTIMUM=                 -29 		Current CPU time: 56.09 ms
c CURRENT OPTIMUM=                 -33 		Current CPU time: 431.37 ms
c CURRENT OPTIMUM=                 -34 		Current CPU time: 435.47 ms
c CURRENT OPTIMUM=                 -36 		Current CPU time: 956.77 ms
c starts	: 19
c conflicts	: 1139
c decisions	: 31212
c propagations	: 120223
c inspects	: 1411410
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1139
c root simplifications	: 406
s SATISFIABLE
v X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 X12_bit0 X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 X13_bit0 -X13_bit1 -X13_bit2 X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 X14_bit0 -X14_bit1 -X14_bit2 X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 X15_bit0 X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 X21_bit0 -X21_bit1 X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 X22_bit0 X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit13 -X41_bit14 -X41_bit15 -X41_bit16 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit13 -X42_bit14 -X42_bit15 -X42_bit16 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X43_bit13 -X43_bit14 -X43_bit15 -X43_bit16 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit13 -X44_bit14 -X44_bit15 -X44_bit16 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit13 -X45_bit14 -X45_bit15 -X45_bit16 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit13 -X51_bit14 -X51_bit15 -X51_bit16 X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit13 -X52_bit14 -X52_bit15 -X52_bit16 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit13 -X53_bit14 -X53_bit15 -X53_bit16 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit13 -X54_bit14 -X54_bit15 -X54_bit16 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit13 -X55_bit14 -X55_bit15 -X55_bit16 -T121_bit0 T122_bit0 -T123_bit0 -T124_bit0 T125_bit0 -T131_bit0 -T132_bit0 -T133_bit0 -T134_bit0 T135_bit0 -T141_bit0 -T142_bit0 -T143_bit0 -T144_bit0 -T145_bit0 -T151_bit0 T152_bit0 -T153_bit0 -T154_bit0 -T155_bit0 -T231_bit0 -T232_bit0 T233_bit0 T234_bit0 -T235_bit0 -T241_bit0 -T242_bit0 T243_bit0 T244_bit0 -T245_bit0 -T251_bit0 -T252_bit0 T253_bit0 -T254_bit0 -T255_bit0 -T341_bit0 -T342_bit0 T343_bit0 -T344_bit0 -T345_bit0 T351_bit0 T352_bit0 -T353_bit0 -T354_bit0 -T355_bit0 T451_bit0 T452_bit0 -T453_bit0 -T454_bit0 -T455_bit0 W11_bit0 W12_bit0 W13_bit0 W14_bit0 W15_bit0 W21_bit0 W22_bit0 -W23_bit0 -W24_bit0 W25_bit0 -W31_bit0 -W32_bit0 -W33_bit0 -W34_bit0 W35_bit0 -W41_bit0 -W42_bit0 -W43_bit0 -W44_bit0 -W45_bit0 -W51_bit0 W52_bit0 -W53_bit0 -W54_bit0 -W55_bit0 -S24_bit_10 -S24_bit_9 -S24_bit_8 -S24_bit_7 -S24_bit_6 -S24_bit_5 -S24_bit_4 -S24_bit_3 -S24_bit_2 -S24_bit_1 -S24_bit0 -S24_bit1 -S24_bit2 -S24_bit3 -S24_bit4 -S24_bit5 -S24_bit6 -S24_bit7 -S24_bit8 -S24_bit9 -S24_bit10 -S24_bit11 -S24_bit12 -S24_bit13 -S24_bit14 -S24_bit15 -S24_bit16 -S24_bit17 -S24_bit18 -S24_bit19 -S54_bit_10 -S54_bit_9 -S54_bit_8 -S54_bit_7 -S54_bit_6 -S54_bit_5 -S54_bit_4 -S54_bit_3 -S54_bit_2 -S54_bit_1 -S54_bit0 -S54_bit1 -S54_bit2 -S54_bit3 -S54_bit4 -S54_bit5 -S54_bit6 -S54_bit7 -S54_bit8 -S54_bit9 -S54_bit10 -S54_bit11 -S54_bit12 -S54_bit13 -S54_bit14 -S54_bit15 -S54_bit16 -S54_bit17 -S54_bit18 -S54_bit19 -S25_bit_10 S25_bit_9 S25_bit_8 S25_bit_7 S25_bit_6 -S25_bit_5 -S25_bit_4 -S25_bit_3 -S25_bit_2 -S25_bit_1 -S25_bit0 -S25_bit1 S25_bit2 S25_bit3 -S25_bit4 -S25_bit5 -S25_bit6 -S25_bit7 -S25_bit8 -S25_bit9 -S25_bit10 -S25_bit11 -S25_bit12 -S25_bit13 -S25_bit14 -S25_bit15 -S25_bit16 -S25_bit17 -S25_bit18 -S25_bit19 -S55_bit_10 -S55_bit_9 -S55_bit_8 -S55_bit_7 -S55_bit_6 -S55_bit_5 -S55_bit_4 -S55_bit_3 -S55_bit_2 -S55_bit_1 -S55_bit0 -S55_bit1 -S55_bit2 -S55_bit3 -S55_bit4 -S55_bit5 -S55_bit6 -S55_bit7 -S55_bit8 -S55_bit9 -S55_bit10 -S55_bit11 -S55_bit12 -S55_bit13 -S55_bit14 -S55_bit15 -S55_bit16 -S55_bit17 -S55_bit18 -S55_bit19 -S31_bit_10 -S31_bit_9 -S31_bit_8 -S31_bit_7 -S31_bit_6 -S31_bit_5 -S31_bit_4 -S31_bit_3 -S31_bit_2 -S31_bit_1 -S31_bit0 -S31_bit1 -S31_bit2 -S31_bit3 -S31_bit4 -S31_bit5 -S31_bit6 -S31_bit7 -S31_bit8 -S31_bit9 -S31_bit10 -S31_bit11 -S31_bit12 -S31_bit13 -S31_bit14 -S31_bit15 -S31_bit16 -S31_bit17 -S31_bit18 -S31_bit19 -S32_bit_10 -S32_bit_9 -S32_bit_8 -S32_bit_7 -S32_bit_6 -S32_bit_5 -S32_bit_4 -S32_bit_3 -S32_bit_2 -S32_bit_1 -S32_bit0 -S32_bit1 -S32_bit2 -S32_bit3 -S32_bit4 -S32_bit5 -S32_bit6 -S32_bit7 -S32_bit8 -S32_bit9 -S32_bit10 -S32_bit11 -S32_bit12 -S32_bit13 -S32_bit14 -S32_bit15 -S32_bit16 -S32_bit17 -S32_bit18 -S32_bit19 -S33_bit_10 -S33_bit_9 -S33_bit_8 -S33_bit_7 -S33_bit_6 -S33_bit_5 -S33_bit_4 -S33_bit_3 -S33_bit_2 -S33_bit_1 -S33_bit0 -S33_bit1 -S33_bit2 -S33_bit3 -S33_bit4 -S33_bit5 -S33_bit6 -S33_bit7 -S33_bit8 -S33_bit9 -S33_bit10 -S33_bit11 -S33_bit12 -S33_bit13 -S33_bit14 -S33_bit15 -S33_bit16 -S33_bit17 -S33_bit18 -S33_bit19 -S34_bit_10 -S34_bit_9 -S34_bit_8 -S34_bit_7 -S34_bit_6 -S34_bit_5 -S34_bit_4 -S34_bit_3 -S34_bit_2 -S34_bit_1 -S34_bit0 -S34_bit1 -S34_bit2 -S34_bit3 -S34_bit4 -S34_bit5 -S34_bit6 -S34_bit7 -S34_bit8 -S34_bit9 -S34_bit10 -S34_bit11 -S34_bit12 -S34_bit13 -S34_bit14 -S34_bit15 -S34_bit16 -S34_bit17 -S34_bit18 -S34_bit19 -S35_bit_10 S35_bit_9 -S35_bit_8 S35_bit_7 S35_bit_6 S35_bit_5 -S35_bit_4 -S35_bit_3 S35_bit_2 S35_bit_1 S35_bit0 S35_bit1 S35_bit2 -S35_bit3 -S35_bit4 -S35_bit5 -S35_bit6 -S35_bit7 -S35_bit8 -S35_bit9 -S35_bit10 -S35_bit11 -S35_bit12 -S35_bit13 -S35_bit14 -S35_bit15 -S35_bit16 -S35_bit17 -S35_bit18 -S35_bit19 -S41_bit_10 -S41_bit_9 -S41_bit_8 -S41_bit_7 -S41_bit_6 -S41_bit_5 -S41_bit_4 -S41_bit_3 -S41_bit_2 -S41_bit_1 -S41_bit0 -S41_bit1 -S41_bit2 -S41_bit3 -S41_bit4 -S41_bit5 -S41_bit6 -S41_bit7 -S41_bit8 -S41_bit9 -S41_bit10 -S41_bit11 -S41_bit12 -S41_bit13 -S41_bit14 -S41_bit15 -S41_bit16 -S41_bit17 -S41_bit18 -S41_bit19 -S42_bit_10 -S42_bit_9 -S42_bit_8 -S42_bit_7 -S42_bit_6 -S42_bit_5 -S42_bit_4 -S42_bit_3 -S42_bit_2 -S42_bit_1 -S42_bit0 -S42_bit1 -S42_bit2 -S42_bit3 -S42_bit4 -S42_bit5 -S42_bit6 -S42_bit7 -S42_bit8 -S42_bit9 -S42_bit10 -S42_bit11 -S42_bit12 -S42_bit13 -S42_bit14 -S42_bit15 -S42_bit16 -S42_bit17 -S42_bit18 -S42_bit19 -S43_bit_10 -S43_bit_9 -S43_bit_8 -S43_bit_7 -S43_bit_6 -S43_bit_5 -S43_bit_4 -S43_bit_3 -S43_bit_2 -S43_bit_1 -S43_bit0 -S43_bit1 -S43_bit2 -S43_bit3 -S43_bit4 -S43_bit5 -S43_bit6 -S43_bit7 -S43_bit8 -S43_bit9 -S43_bit10 -S43_bit11 -S43_bit12 -S43_bit13 -S43_bit14 -S43_bit15 -S43_bit16 -S43_bit17 -S43_bit18 -S43_bit19 -S44_bit_10 -S44_bit_9 -S44_bit_8 -S44_bit_7 -S44_bit_6 -S44_bit_5 -S44_bit_4 -S44_bit_3 -S44_bit_2 -S44_bit_1 -S44_bit0 -S44_bit1 -S44_bit2 -S44_bit3 -S44_bit4 -S44_bit5 -S44_bit6 -S44_bit7 -S44_bit8 -S44_bit9 -S44_bit10 -S44_bit11 -S44_bit12 -S44_bit13 -S44_bit14 -S44_bit15 -S44_bit16 -S44_bit17 -S44_bit18 -S44_bit19 -S45_bit_10 -S45_bit_9 -S45_bit_8 -S45_bit_7 -S45_bit_6 -S45_bit_5 -S45_bit_4 -S45_bit_3 -S45_bit_2 -S45_bit_1 -S45_bit0 -S45_bit1 -S45_bit2 -S45_bit3 -S45_bit4 -S45_bit5 -S45_bit6 -S45_bit7 -S45_bit8 -S45_bit9 -S45_bit10 -S45_bit11 -S45_bit12 -S45_bit13 -S45_bit14 -S45_bit15 -S45_bit16 -S45_bit17 -S45_bit18 -S45_bit19 -S51_bit_10 -S51_bit_9 -S51_bit_8 -S51_bit_7 -S51_bit_6 -S51_bit_5 -S51_bit_4 -S51_bit_3 -S51_bit_2 -S51_bit_1 -S51_bit0 -S51_bit1 -S51_bit2 -S51_bit3 -S51_bit4 -S51_bit5 -S51_bit6 -S51_bit7 -S51_bit8 -S51_bit9 -S51_bit10 -S51_bit11 -S51_bit12 -S51_bit13 -S51_bit14 -S51_bit15 -S51_bit16 -S51_bit17 -S51_bit18 -S51_bit19 -S52_bit_10 -S52_bit_9 -S52_bit_8 -S52_bit_7 -S52_bit_6 -S52_bit_5 -S52_bit_4 -S52_bit_3 -S52_bit_2 S52_bit_1 -S52_bit0 S52_bit1 S52_bit2 -S52_bit3 -S52_bit4 -S52_bit5 -S52_bit6 -S52_bit7 -S52_bit8 -S52_bit9 -S52_bit10 -S52_bit11 -S52_bit12 -S52_bit13 -S52_bit14 -S52_bit15 -S52_bit16 -S52_bit17 -S52_bit18 -S52_bit19 -S53_bit_10 -S53_bit_9 -S53_bit_8 -S53_bit_7 -S53_bit_6 -S53_bit_5 -S53_bit_4 -S53_bit_3 -S53_bit_2 -S53_bit_1 -S53_bit0 -S53_bit1 -S53_bit2 -S53_bit3 -S53_bit4 -S53_bit5 -S53_bit6 -S53_bit7 -S53_bit8 -S53_bit9 -S53_bit10 -S53_bit11 -S53_bit12 -S53_bit13 -S53_bit14 -S53_bit15 -S53_bit16 -S53_bit17 -S53_bit18 -S53_bit19 -V148_bit_10 -V148_bit_9 -V148_bit_8 -V148_bit_7 -V148_bit_6 -V148_bit_5 -V148_bit_4 -V148_bit_3 -V148_bit_2 -V148_bit_1 -V148_bit0 -V148_bit1 -V148_bit2 -V148_bit3 -V148_bit4 -V148_bit5 -V148_bit6 -V148_bit7 -V148_bit8 -V148_bit9 -V148_bit10 -V148_bit11 -V148_bit12 -V148_bit13 -V148_bit14 -V148_bit15 -V148_bit16 -V148_bit17 -V148_bit18 -V148_bit19 -V150_bit_10 -V150_bit_9 -V150_bit_8 -V150_bit_7 -V150_bit_6 -V150_bit_5 -V150_bit_4 -V150_bit_3 -V150_bit_2 -V150_bit_1 -V150_bit0 -V150_bit1 -V150_bit2 -V150_bit3 -V150_bit4 -V150_bit5 -V150_bit6 -V150_bit7 -V150_bit8 -V150_bit9 -V150_bit10 -V150_bit11 -V150_bit12 -V150_bit13 -V150_bit14 -V150_bit15 -V150_bit16 -V150_bit17 -V150_bit18 -V150_bit19 -Q246_bit_10 -Q246_bit_9 -Q246_bit_8 -Q246_bit_7 -Q246_bit_6 -Q246_bit_5 -Q246_bit_4 -Q246_bit_3 -Q246_bit_2 -Q246_bit_1 -Q246_bit0 -Q246_bit1 -Q246_bit2 -Q246_bit3 -Q246_bit4 -Q246_bit5 -Q246_bit6 -Q246_bit7 -Q246_bit8 -Q246_bit9 -Q246_bit10 -Q246_bit11 -Q246_bit12 -Q246_bit13 -Q246_bit14 -Q246_bit15 -Q246_bit16 -Q246_bit17 -Q246_bit18 -Q246_bit19 -S11_bit_10 -S11_bit_9 -S11_bit_8 -S11_bit_7 -S11_bit_6 -S11_bit_5 -S11_bit_4 -S11_bit_3 -S11_bit_2 -S11_bit_1 -S11_bit0 -S11_bit1 -S11_bit2 -S11_bit3 S11_bit4 -S11_bit5 -S11_bit6 -S11_bit7 -S11_bit8 -S11_bit9 -S11_bit10 -S11_bit11 -S11_bit12 -S11_bit13 -S11_bit14 -S11_bit15 -S11_bit16 -S11_bit17 -S11_bit18 -S11_bit19 S21_bit_10 S21_bit_9 S21_bit_8 S21_bit_7 -S21_bit_6 -S21_bit_5 S21_bit_4 S21_bit_3 S21_bit_2 -S21_bit_1 -S21_bit0 -S21_bit1 -S21_bit2 -S21_bit3 -S21_bit4 -S21_bit5 -S21_bit6 -S21_bit7 -S21_bit8 -S21_bit9 -S21_bit10 -S21_bit11 -S21_bit12 -S21_bit13 -S21_bit14 -S21_bit15 -S21_bit16 -S21_bit17 -S21_bit18 -S21_bit19 -S12_bit_10 -S12_bit_9 -S12_bit_8 -S12_bit_7 -S12_bit_6 -S12_bit_5 -S12_bit_4 -S12_bit_3 -S12_bit_2 -S12_bit_1 -S12_bit0 -S12_bit1 -S12_bit2 -S12_bit3 -S12_bit4 -S12_bit5 -S12_bit6 -S12_bit7 -S12_bit8 -S12_bit9 -S12_bit10 -S12_bit11 -S12_bit12 -S12_bit13 -S12_bit14 -S12_bit15 -S12_bit16 -S12_bit17 -S12_bit18 -S12_bit19 -S22_bit_10 -S22_bit_9 -S22_bit_8 -S22_bit_7 -S22_bit_6 -S22_bit_5 -S22_bit_4 S22_bit_3 S22_bit_2 S22_bit_1 S22_bit0 -S22_bit1 -S22_bit2 S22_bit3 -S22_bit4 -S22_bit5 -S22_bit6 -S22_bit7 -S22_bit8 -S22_bit9 -S22_bit10 -S22_bit11 -S22_bit12 -S22_bit13 -S22_bit14 -S22_bit15 -S22_bit16 -S22_bit17 -S22_bit18 -S22_bit19 -S13_bit_10 -S13_bit_9 -S13_bit_8 -S13_bit_7 -S13_bit_6 -S13_bit_5 -S13_bit_4 -S13_bit_3 -S13_bit_2 -S13_bit_1 -S13_bit0 -S13_bit1 -S13_bit2 -S13_bit3 -S13_bit4 -S13_bit5 -S13_bit6 -S13_bit7 -S13_bit8 -S13_bit9 -S13_bit10 -S13_bit11 -S13_bit12 -S13_bit13 -S13_bit14 -S13_bit15 -S13_bit16 -S13_bit17 -S13_bit18 -S13_bit19 -S23_bit_10 -S23_bit_9 -S23_bit_8 -S23_bit_7 -S23_bit_6 -S23_bit_5 -S23_bit_4 -S23_bit_3 -S23_bit_2 -S23_bit_1 -S23_bit0 -S23_bit1 -S23_bit2 -S23_bit3 -S23_bit4 -S23_bit5 -S23_bit6 -S23_bit7 -S23_bit8 -S23_bit9 -S23_bit10 -S23_bit11 -S23_bit12 -S23_bit13 -S23_bit14 -S23_bit15 -S23_bit16 -S23_bit17 -S23_bit18 -S23_bit19 -S14_bit_10 -S14_bit_9 -S14_bit_8 -S14_bit_7 -S14_bit_6 -S14_bit_5 -S14_bit_4 S14_bit_3 -S14_bit_2 -S14_bit_1 S14_bit0 -S14_bit1 -S14_bit2 -S14_bit3 -S14_bit4 -S14_bit5 -S14_bit6 -S14_bit7 -S14_bit8 -S14_bit9 -S14_bit10 -S14_bit11 -S14_bit12 -S14_bit13 -S14_bit14 -S14_bit15 -S14_bit16 -S14_bit17 -S14_bit18 -S14_bit19 S15_bit_10 S15_bit_9 S15_bit_8 S15_bit_7 S15_bit_6 S15_bit_5 S15_bit_4 S15_bit_3 S15_bit_2 -S15_bit_1 -S15_bit0 -S15_bit1 -S15_bit2 -S15_bit3 -S15_bit4 -S15_bit5 -S15_bit6 -S15_bit7 -S15_bit8 -S15_bit9 -S15_bit10 -S15_bit11 -S15_bit12 -S15_bit13 -S15_bit14 -S15_bit15 -S15_bit16 -S15_bit17 -S15_bit18 -S15_bit19 
c objectif function=-36
c Total CPU time (ms) : 1229.347
#### 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 20309
Raw data (stat): 20309 (runsolver) R 20308 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837560980 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99988 s]
Raw data (loadavg): 1.02 1.00 1.00 3/64 20320
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18136 3 1 0 759 38 0 0 25 0 11 0 837560980 869654528 22473 4294967295 134512640 134569956 3221224368 3221214732 1131325299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212318 22473 13086 16 0 212302 0
vsize: 849272
[startup+19.9993 s]
Raw data (loadavg): 1.25 1.05 1.02 2/64 20324
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18143 3 1 0 1620 38 0 0 24 0 11 0 837560980 867405824 22710 4294967295 134512640 134569956 3221224368 3221214640 1131223020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211769 22710 13086 16 0 211753 0
vsize: 847076
[startup+30.0004 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 20326
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 2565 39 0 0 25 0 11 0 837560980 865333248 22335 4294967295 134512640 134569956 3221224368 3221214720 1131358159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 22335 13086 16 0 211247 0
vsize: 845052
[startup+40.0038 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 20326
Raw data (stat): 20309 (java) S 20308 7475 7474 0 -1 0 18144 3 1 0 3501 39 0 0 25 0 11 0 837560980 865333248 22510 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 22510 13086 16 0 211247 0
vsize: 845052
[startup+50.0053 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 20326
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 4446 39 0 0 25 0 11 0 837560980 865333248 22992 4294967295 134512640 134569956 3221224368 3221214632 1131223062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 22992 13086 16 0 211247 0
vsize: 845052
[startup+60.0054 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 5412 39 0 0 25 0 11 0 837560980 865333248 23091 4294967295 134512640 134569956 3221224368 3221214824 1131213849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23091 13086 16 0 211247 0
vsize: 845052
[startup+70.0058 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 6384 39 0 0 25 0 11 0 837560980 865333248 23206 4294967295 134512640 134569956 3221224368 3221214632 1131223020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23206 13086 16 0 211247 0
vsize: 845052
[startup+80.0065 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 7355 40 0 0 24 0 11 0 837560980 865333248 23282 4294967295 134512640 134569956 3221224368 3221214824 1131213849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23282 13086 16 0 211247 0
vsize: 845052
[startup+90.0067 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 8330 40 0 0 25 0 11 0 837560980 865333248 23344 4294967295 134512640 134569956 3221224368 3221214716 1131194528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23344 13086 16 0 211247 0
vsize: 845052
[startup+100.008 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 9305 40 0 0 24 0 11 0 837560980 865333248 23441 4294967295 134512640 134569956 3221224368 3221214720 1131357969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23441 13086 16 0 211247 0
vsize: 845052
[startup+110.008 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 10284 40 0 0 25 0 11 0 837560980 865333248 23505 4294967295 134512640 134569956 3221224368 3221214720 1131357872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23505 13086 16 0 211247 0
vsize: 845052
[startup+120.007 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 11262 40 0 0 25 0 11 0 837560980 865333248 23580 4294967295 134512640 134569956 3221224368 3221214720 1131357793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23580 13086 16 0 211247 0
vsize: 845052
[startup+130.009 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 12242 40 0 0 25 0 11 0 837560980 865333248 23629 4294967295 134512640 134569956 3221224368 3221214784 1131445760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23629 13086 16 0 211247 0
vsize: 845052
[startup+140.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 13225 40 0 0 25 0 11 0 837560980 865333248 23670 4294967295 134512640 134569956 3221224368 3221214728 1131177040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23670 13086 16 0 211247 0
vsize: 845052
[startup+150.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 14208 41 0 0 24 0 11 0 837560980 865333248 23726 4294967295 134512640 134569956 3221224368 3221214720 1131358195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23726 13086 16 0 211247 0
vsize: 845052
[startup+160.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 15190 41 0 0 25 0 11 0 837560980 865333248 23768 4294967295 134512640 134569956 3221224368 3221214632 1131223020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23768 13086 16 0 211247 0
vsize: 845052
[startup+170.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 16171 41 0 0 25 0 11 0 837560980 865333248 23805 4294967295 134512640 134569956 3221224368 3221214632 1131194552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23805 13086 16 0 211247 0
vsize: 845052
[startup+180.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 17153 41 0 0 25 0 11 0 837560980 865333248 23849 4294967295 134512640 134569956 3221224368 3221214632 1131223020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23849 13086 16 0 211247 0
vsize: 845052
[startup+190.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 18134 41 0 0 25 0 11 0 837560980 865333248 23895 4294967295 134512640 134569956 3221224368 3221214632 1131194552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23895 13086 16 0 211247 0
vsize: 845052
[startup+200.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 19116 41 0 0 25 0 11 0 837560980 865333248 23931 4294967295 134512640 134569956 3221224368 3221214248 1131644389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 23931 13086 16 0 211247 0
vsize: 845052
[startup+210.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 20100 41 0 0 24 0 11 0 837560980 865333248 24005 4294967295 134512640 134569956 3221224368 3221214632 1131194593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24005 13086 16 0 211247 0
vsize: 845052
[startup+220.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 21085 41 0 0 25 0 11 0 837560980 865333248 24036 4294967295 134512640 134569956 3221224368 3221214720 1131358286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24036 13086 16 0 211247 0
vsize: 845052
[startup+230.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 22070 41 0 0 25 0 11 0 837560980 865333248 24063 4294967295 134512640 134569956 3221224368 3221214720 1131358144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24063 13086 16 0 211247 0
vsize: 845052
[startup+240.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 23057 41 0 0 25 0 11 0 837560980 865333248 24099 4294967295 134512640 134569956 3221224368 3221214728 1131177036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24099 13086 16 0 211247 0
vsize: 845052
[startup+250.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 24045 41 0 0 22 0 11 0 837560980 865333248 24143 4294967295 134512640 134569956 3221224368 3221214728 1131176985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24143 13086 16 0 211247 0
vsize: 845052
[startup+260.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 25033 41 0 0 25 0 11 0 837560980 865333248 24164 4294967295 134512640 134569956 3221224368 3221214728 1131177036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24164 13086 16 0 211247 0
vsize: 845052
[startup+270.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 26021 41 0 0 25 0 11 0 837560980 865333248 24179 4294967295 134512640 134569956 3221224368 3221214632 1131194996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24179 13086 16 0 211247 0
vsize: 845052
[startup+280.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 27007 41 0 0 25 0 11 0 837560980 865333248 24195 4294967295 134512640 134569956 3221224368 3221214728 1131176981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24195 13086 16 0 211247 0
vsize: 845052
[startup+290.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 27991 42 0 0 25 0 11 0 837560980 865333248 24220 4294967295 134512640 134569956 3221224368 3221214784 1131445445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24220 13086 16 0 211247 0
vsize: 845052
[startup+300.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 28973 42 0 0 25 0 11 0 837560980 865333248 24255 4294967295 134512640 134569956 3221224368 3221214784 1131445760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24255 13086 16 0 211247 0
vsize: 845052
[startup+310.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 29954 42 0 0 25 0 11 0 837560980 865333248 24287 4294967295 134512640 134569956 3221224368 3221214744 1131342416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24287 13086 16 0 211247 0
vsize: 845052
[startup+320.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 30926 42 0 0 25 0 11 0 837560980 865333248 24300 4294967295 134512640 134569956 3221224368 3221214720 1131358164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24300 13086 16 0 211247 0
vsize: 845052
[startup+330.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 31898 42 0 0 24 0 11 0 837560980 865333248 24387 4294967295 134512640 134569956 3221224368 3221214632 1131222969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24387 13086 16 0 211247 0
vsize: 845052
[startup+340.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 32876 42 0 0 24 0 11 0 837560980 865333248 24457 4294967295 134512640 134569956 3221224368 3221214728 1131177036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24457 13086 16 0 211247 0
vsize: 845052
[startup+350.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 33859 42 0 0 25 0 11 0 837560980 865333248 24534 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24534 13086 16 0 211247 0
vsize: 845052
[startup+360.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 34842 42 0 0 25 0 11 0 837560980 865333248 24590 4294967295 134512640 134569956 3221224368 3221214632 1131223237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24590 13086 16 0 211247 0
vsize: 845052
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 35827 42 0 0 25 0 11 0 837560980 865333248 24615 4294967295 134512640 134569956 3221224368 3221214392 1131223523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24615 13086 16 0 211247 0
vsize: 845052
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 36809 42 0 0 25 0 11 0 837560980 865333248 24646 4294967295 134512640 134569956 3221224368 3221214720 1131357857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24646 13086 16 0 211247 0
vsize: 845052
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 37793 42 0 0 25 0 11 0 837560980 865333248 24686 4294967295 134512640 134569956 3221224368 3221214728 1131177054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24686 13086 16 0 211247 0
vsize: 845052
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 38779 42 0 0 25 0 11 0 837560980 865333248 24725 4294967295 134512640 134569956 3221224368 3221214448 1131215872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24725 13086 16 0 211247 0
vsize: 845052
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 39766 42 0 0 25 0 11 0 837560980 865333248 24775 4294967295 134512640 134569956 3221224368 3221214624 1131215560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24775 13086 16 0 211247 0
vsize: 845052
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 40753 42 0 0 25 0 11 0 837560980 865333248 24791 4294967295 134512640 134569956 3221224368 3221214720 1131358286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24791 13086 16 0 211247 0
vsize: 845052
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20327
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 41740 42 0 0 25 0 11 0 837560980 865333248 24805 4294967295 134512640 134569956 3221224368 3221214760 1131325337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24805 13086 16 0 211247 0
vsize: 845052
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 42728 43 0 0 25 0 11 0 837560980 865333248 24824 4294967295 134512640 134569956 3221224368 3221214720 1131358251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24824 13086 16 0 211247 0
vsize: 845052
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 43715 43 0 0 25 0 11 0 837560980 865333248 24868 4294967295 134512640 134569956 3221224368 3221214632 1131223397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24868 13086 16 0 211247 0
vsize: 845052
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 44703 43 0 0 24 0 11 0 837560980 865333248 24884 4294967295 134512640 134569956 3221224368 3221214720 1131357789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24884 13086 16 0 211247 0
vsize: 845052
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 45692 43 0 0 25 0 11 0 837560980 865333248 24893 4294967295 134512640 134569956 3221224368 3221214780 1131177205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24893 13086 16 0 211247 0
vsize: 845052
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 46679 43 0 0 25 0 11 0 837560980 865333248 24924 4294967295 134512640 134569956 3221224368 3221214464 1131479887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24924 13086 16 0 211247 0
vsize: 845052
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 47667 43 0 0 25 0 11 0 837560980 865333248 24938 4294967295 134512640 134569956 3221224368 3221214720 1131358230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24938 13086 16 0 211247 0
vsize: 845052
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 48655 43 0 0 25 0 11 0 837560980 865333248 24950 4294967295 134512640 134569956 3221224368 3221214824 1131213849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24950 13086 16 0 211247 0
vsize: 845052
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 49644 43 0 0 25 0 11 0 837560980 865333248 24977 4294967295 134512640 134569956 3221224368 3221214000 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24977 13086 16 0 211247 0
vsize: 845052
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 50629 43 0 0 25 0 11 0 837560980 865333248 24997 4294967295 134512640 134569956 3221224368 3221214632 1131223017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 24997 13086 16 0 211247 0
vsize: 845052
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 51615 43 0 0 25 0 11 0 837560980 865333248 25016 4294967295 134512640 134569956 3221224368 3221214632 1131223187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25016 13086 16 0 211247 0
vsize: 845052
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 52603 43 0 0 25 0 11 0 837560980 865333248 25026 4294967295 134512640 134569956 3221224368 3221214784 1131445783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25026 13086 16 0 211247 0
vsize: 845052
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 53590 43 0 0 25 0 11 0 837560980 865333248 25077 4294967295 134512640 134569956 3221224368 3221214784 1131445672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25077 13086 16 0 211247 0
vsize: 845052
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 54577 43 0 0 25 0 11 0 837560980 865333248 25092 4294967295 134512640 134569956 3221224368 3221214780 1131357772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25092 13086 16 0 211247 0
vsize: 845052
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 55564 43 0 0 25 0 11 0 837560980 865333248 25110 4294967295 134512640 134569956 3221224368 3221214720 1131357826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25110 13086 16 0 211247 0
vsize: 845052
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 56550 44 0 0 25 0 11 0 837560980 865333248 25142 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25142 13086 16 0 211247 0
vsize: 845052
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 57539 44 0 0 25 0 11 0 837560980 865333248 25154 4294967295 134512640 134569956 3221224368 3221214632 1131222996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25154 13086 16 0 211247 0
vsize: 845052
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 58528 44 0 0 25 0 11 0 837560980 865333248 25178 4294967295 134512640 134569956 3221224368 3221214632 1131223997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25178 13086 16 0 211247 0
vsize: 845052
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 59517 44 0 0 25 0 11 0 837560980 865333248 25187 4294967295 134512640 134569956 3221224368 3221214240 1131645492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25187 13086 16 0 211247 0
vsize: 845052
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 60504 45 0 0 25 0 11 0 837560980 865333248 25212 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25212 13086 16 0 211247 0
vsize: 845052
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 61491 45 0 0 25 0 11 0 837560980 865333248 25229 4294967295 134512640 134569956 3221224368 3221214632 1131223187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25229 13086 16 0 211247 0
vsize: 845052
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 62478 45 0 0 25 0 11 0 837560980 865333248 25240 4294967295 134512640 134569956 3221224368 3221214472 1131647132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25240 13086 16 0 211247 0
vsize: 845052
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 63466 45 0 0 25 0 11 0 837560980 865333248 25261 4294967295 134512640 134569956 3221224368 3221214744 1131342432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25261 13086 16 0 211247 0
vsize: 845052
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 64452 45 0 0 25 0 11 0 837560980 865333248 25278 4294967295 134512640 134569956 3221224368 3221214632 1131223607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25278 13086 16 0 211247 0
vsize: 845052
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 65437 45 0 0 25 0 11 0 837560980 865333248 25309 4294967295 134512640 134569956 3221224368 3221213976 1131614521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25309 13086 16 0 211247 0
vsize: 845052
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 66425 45 0 0 25 0 11 0 837560980 865333248 25323 4294967295 134512640 134569956 3221224368 3221214112 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25323 13086 16 0 211247 0
vsize: 845052
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 67411 45 0 0 25 0 11 0 837560980 865333248 25345 4294967295 134512640 134569956 3221224368 3221214088 1131614733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25345 13086 16 0 211247 0
vsize: 845052
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 68398 45 0 0 25 0 11 0 837560980 865333248 25372 4294967295 134512640 134569956 3221224368 3221214728 1131176977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25372 13086 16 0 211247 0
vsize: 845052
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 69381 46 0 0 25 0 11 0 837560980 865333248 25405 4294967295 134512640 134569956 3221224368 3221214632 1131223020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25405 13086 16 0 211247 0
vsize: 845052
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 70368 46 0 0 25 0 11 0 837560980 865333248 25423 4294967295 134512640 134569956 3221224368 3221214632 1131223437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25423 13086 16 0 211247 0
vsize: 845052
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 71354 46 0 0 25 0 11 0 837560980 865333248 25442 4294967295 134512640 134569956 3221224368 3221214784 1131445285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25442 13086 16 0 211247 0
vsize: 845052
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 72340 46 0 0 25 0 11 0 837560980 865333248 25478 4294967295 134512640 134569956 3221224368 3221214632 1131223020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25478 13086 16 0 211247 0
vsize: 845052
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 73326 46 0 0 25 0 11 0 837560980 865333248 25495 4294967295 134512640 134569956 3221224368 3221214632 1131223048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25495 13086 16 0 211247 0
vsize: 845052
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 74311 46 0 0 24 0 11 0 837560980 865333248 25514 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25514 13086 16 0 211247 0
vsize: 845052
[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 75299 46 0 0 25 0 11 0 837560980 865333248 25552 4294967295 134512640 134569956 3221224368 3221214728 1131176957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25552 13086 16 0 211247 0
vsize: 845052
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 76284 46 0 0 25 0 11 0 837560980 865333248 25560 4294967295 134512640 134569956 3221224368 3221214720 1131357793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25560 13086 16 0 211247 0
vsize: 845052
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 77264 46 0 0 25 0 11 0 837560980 865333248 25591 4294967295 134512640 134569956 3221224368 3221214720 1131357826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25591 13086 16 0 211247 0
vsize: 845052
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 78244 46 0 0 24 0 11 0 837560980 865333248 25604 4294967295 134512640 134569956 3221224368 3221214224 1085679545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25604 13086 16 0 211247 0
vsize: 845052
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20329
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 79226 46 0 0 25 0 11 0 837560980 865333248 25625 4294967295 134512640 134569956 3221224368 3221213992 1079755601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25625 13086 16 0 211247 0
vsize: 845052
[startup+820.031 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 20382
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 80205 48 0 0 18 0 11 0 837560980 865333248 25720 4294967295 134512640 134569956 3221224368 3221214720 1131358170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25720 13086 16 0 211247 0
vsize: 845052
[startup+830.031 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 20382
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 81191 48 0 0 25 0 11 0 837560980 865333248 25745 4294967295 134512640 134569956 3221224368 3221214200 1131614648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25745 13086 16 0 211247 0
vsize: 845052
[startup+840.031 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 20382
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 82176 48 0 0 25 0 11 0 837560980 865333248 25759 4294967295 134512640 134569956 3221224368 3221214784 1131445464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25759 13086 16 0 211247 0
vsize: 845052
[startup+850.031 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 20382
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 83161 49 0 0 25 0 11 0 837560980 865333248 25785 4294967295 134512640 134569956 3221224368 3221214632 1131222969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25785 13086 16 0 211247 0
vsize: 845052
[startup+860.031 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 20382
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 84147 49 0 0 25 0 11 0 837560980 865333248 25812 4294967295 134512640 134569956 3221224368 3221214632 1131223816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25812 13086 16 0 211247 0
vsize: 845052
[startup+870.03 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 20382
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 85134 50 0 0 25 0 11 0 837560980 865333248 25821 4294967295 134512640 134569956 3221224368 3221214720 1131357793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25821 13086 16 0 211247 0
vsize: 845052
[startup+880.031 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20382
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 86122 50 0 0 25 0 11 0 837560980 865333248 25835 4294967295 134512640 134569956 3221224368 3221214780 1131176940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25835 13086 16 0 211247 0
vsize: 845052
[startup+890.03 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20384
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 87109 50 0 0 25 0 11 0 837560980 865333248 25850 4294967295 134512640 134569956 3221224368 3221214728 1131176989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 25850 13086 16 0 211247 0
vsize: 845052
[startup+900.03 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20384
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 88094 51 0 0 25 0 11 0 837560980 865333248 25854 4294967295 134512640 134569956 3221224368 3221214632 1131195604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25854 13086 16 0 211247 0
vsize: 845052
[startup+910.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20384
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 89078 51 0 0 25 0 11 0 837560980 865333248 25867 4294967295 134512640 134569956 3221224368 3221214088 1131614733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25867 13086 16 0 211247 0
vsize: 845052
[startup+920.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20384
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 90063 51 0 0 25 0 11 0 837560980 865333248 25878 4294967295 134512640 134569956 3221224368 3221214728 1131177003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25878 13086 16 0 211247 0
vsize: 845052
[startup+930.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20384
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 91049 52 0 0 24 0 11 0 837560980 865333248 25919 4294967295 134512640 134569956 3221224368 3221214720 1131357815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25919 13086 16 0 211247 0
vsize: 845052
[startup+940.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20384
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 92036 52 0 0 25 0 11 0 837560980 865333248 25933 4294967295 134512640 134569956 3221224368 3221214728 1131176977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25933 13086 16 0 211247 0
vsize: 845052
[startup+950.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20384
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 93026 52 0 0 25 0 11 0 837560980 865333248 25945 4294967295 134512640 134569956 3221224368 3221214000 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25945 13086 16 0 211247 0
vsize: 845052
[startup+960.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 94016 53 0 0 24 0 11 0 837560980 865333248 25956 4294967295 134512640 134569956 3221224368 3221214716 1131222848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25956 13086 16 0 211247 0
vsize: 845052
[startup+970.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 95002 53 0 0 25 0 11 0 837560980 865333248 25966 4294967295 134512640 134569956 3221224368 3221214632 1131223195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25966 13086 16 0 211247 0
vsize: 845052
[startup+980.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 95988 53 0 0 25 0 11 0 837560980 865333248 25974 4294967295 134512640 134569956 3221224368 3221214780 1131358611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25974 13086 16 0 211247 0
vsize: 845052
[startup+990.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 96975 53 0 0 25 0 11 0 837560980 865333248 25990 4294967295 134512640 134569956 3221224368 3221214632 1131222998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 25990 13086 16 0 211247 0
vsize: 845052
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 97962 54 0 0 25 0 11 0 837560980 865333248 26017 4294967295 134512640 134569956 3221224368 3221214784 1131445271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26017 13086 16 0 211247 0
vsize: 845052
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 98948 54 0 0 25 0 11 0 837560980 865333248 26030 4294967295 134512640 134569956 3221224368 3221214728 1131176977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26030 13086 16 0 211247 0
vsize: 845052
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 99934 54 0 0 25 0 11 0 837560980 865333248 26045 4294967295 134512640 134569956 3221224368 3221214784 1131446284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26045 13086 16 0 211247 0
vsize: 845052
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 100920 54 0 0 25 0 11 0 837560980 865333248 26058 4294967295 134512640 134569956 3221224368 3221214728 1131176957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 26058 13086 16 0 211247 0
vsize: 845052
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 101901 55 0 0 25 0 11 0 837560980 865333248 26077 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26077 13086 16 0 211247 0
vsize: 845052
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 102884 55 0 0 25 0 11 0 837560980 865333248 26101 4294967295 134512640 134569956 3221224368 3221214720 1131358108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26101 13086 16 0 211247 0
vsize: 845052
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 103866 55 0 0 25 0 11 0 837560980 865333248 26123 4294967295 134512640 134569956 3221224368 3221214664 1131215721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26123 13086 16 0 211247 0
vsize: 845052
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 104851 55 0 0 25 0 11 0 837560980 865333248 26169 4294967295 134512640 134569956 3221224368 3221213972 1131614672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26169 13086 16 0 211247 0
vsize: 845052
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 105836 55 0 0 24 0 11 0 837560980 865333248 26186 4294967295 134512640 134569956 3221224368 3221214632 1131223020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26186 13086 16 0 211247 0
vsize: 845052
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 106824 56 0 0 25 0 11 0 837560980 865333248 26202 4294967295 134512640 134569956 3221224368 3221214632 1131223091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26202 13086 16 0 211247 0
vsize: 845052
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 107810 56 0 0 25 0 11 0 837560980 865333248 26211 4294967295 134512640 134569956 3221224368 3221214728 1131176977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26211 13086 16 0 211247 0
vsize: 845052
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 108798 56 0 0 25 0 11 0 837560980 865333248 26225 4294967295 134512640 134569956 3221224368 3221214632 1131222967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26225 13086 16 0 211247 0
vsize: 845052
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 109787 57 0 0 25 0 11 0 837560980 865333248 26232 4294967295 134512640 134569956 3221224368 3221214720 1131357842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26232 13086 16 0 211247 0
vsize: 845052
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 110775 57 0 0 25 0 11 0 837560980 865333248 26244 4294967295 134512640 134569956 3221224368 3221214632 1131223020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26244 13086 16 0 211247 0
vsize: 845052
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 111761 57 0 0 25 0 11 0 837560980 865333248 26251 4294967295 134512640 134569956 3221224368 3221214720 1131357883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26251 13086 16 0 211247 0
vsize: 845052
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 112748 57 0 0 24 0 11 0 837560980 865333248 26266 4294967295 134512640 134569956 3221224368 3221214632 1131223777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26266 13086 16 0 211247 0
vsize: 845052
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20385
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 113735 58 0 0 25 0 11 0 837560980 865333248 26271 4294967295 134512640 134569956 3221224368 3221214632 1131222927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26271 13086 16 0 211247 0
vsize: 845052
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20387
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 114720 58 0 0 25 0 11 0 837560980 865333248 26284 4294967295 134512640 134569956 3221224368 3221214632 1131223607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26284 13086 16 0 211247 0
vsize: 845052
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20387
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 115707 59 0 0 25 0 11 0 837560980 865333248 26303 4294967295 134512640 134569956 3221224368 3221214728 1131177010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26303 13086 16 0 211247 0
vsize: 845052
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 20387
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 116704 59 0 0 25 0 11 0 837560980 865333248 26315 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211263 26315 13086 16 0 211247 0
vsize: 845052
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20387
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 117690 59 0 0 25 0 11 0 837560980 865333248 26328 4294967295 134512640 134569956 3221224368 3221214720 1131357826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26328 13086 16 0 211247 0
vsize: 845052
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20387
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 118675 60 0 0 25 0 11 0 837560980 865333248 26340 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26340 13086 16 0 211247 0
vsize: 845052
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20387
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 119661 60 0 0 25 0 11 0 837560980 865333248 26365 4294967295 134512640 134569956 3221224368 3221214632 1131194552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26365 13086 16 0 211247 0
vsize: 845052
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20387
Raw data (stat): 20309 (java) R 20308 7475 7474 0 -1 0 18144 3 1 0 120647 61 0 0 24 0 11 0 837560980 865333248 26371 4294967295 134512640 134569956 3221224368 3221214632 1131223245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211263 26371 13086 16 0 211247 0
vsize: 845052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.42 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20389
Raw data (stat): 20309 (java) Z 20308 7475 7474 0 -1 1036 18144 15608 1 0 120669 66 3858 46 25 0 1 0 837560980 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.42
CPU time (s): 1246.41
CPU user time (s): 1245.28
CPU system time (s): 1.12883
CPU usage (%): 101.3
Max. virtual memory (Kb): 849272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-36
#### END VERIFIER DATA ####