PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-noswot.opb
MD5SUM	5e1386c5f1b92751761827178ffb8fa8
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.226
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 29664

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 10:10:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21064 boxname=wulflinc4 idbench=1052 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5e1386c5f1b92751761827178ffb8fa8  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-noswot.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-noswot.opb
IDLAUNCH: 21064
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        681376 kB
Buffers:         34456 kB
Cached:         298484 kB
SwapCached:        600 kB
Active:          69616 kB
Inactive:       265720 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        681124 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12212 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:30:59 (client local time) WITH STATUS 143 IN 1227.68 SECONDS
stats: 21064 0 1227.68 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/wulflinc4/normalized-mps-v2-20-10-noswot.opb
c reading problem ... done. Time 4.061 ms.
c #vars     1340
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 5.30 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 6.63 ms
c CURRENT OPTIMUM=                  -7 		Current CPU time: 7.12 ms
c CURRENT OPTIMUM=                 -12 		Current CPU time: 9.94 ms
c CURRENT OPTIMUM=                 -13 		Current CPU time: 10.48 ms
c CURRENT OPTIMUM=                 -14 		Current CPU time: 16.44 ms
c CURRENT OPTIMUM=                 -24 		Current CPU time: 19.02 ms
c CURRENT OPTIMUM=                 -29 		Current CPU time: 51.15 ms
c CURRENT OPTIMUM=                 -33 		Current CPU time: 426.63 ms
c CURRENT OPTIMUM=                 -34 		Current CPU time: 430.77 ms
c CURRENT OPTIMUM=                 -36 		Current CPU time: 956.15 ms
c starts	: 19
c conflicts	: 1138
c decisions	: 31195
c propagations	: 120031
c inspects	: 1408200
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1138
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.428
#### 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.86 0.97 0.99 2/54 535
Raw data (stat): 535 (runsolver) R 534 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779822713 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 548
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18113 3 1 0 730 41 0 0 25 0 11 0 779822713 859369472 20446 4294967295 134512640 134569956 3221224368 3221214640 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209807 20446 13086 16 0 209791 0
vsize: 839228
[startup+20.0209 s]
Raw data (loadavg): 1.02 1.00 1.00 4/64 552
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18114 3 1 0 1621 41 0 0 25 0 11 0 779822713 862228480 21342 4294967295 134512640 134569956 3221224368 3221214760 1131333241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 21342 13086 16 0 210489 0
vsize: 842020
[startup+30.0413 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 552
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18114 3 1 0 2557 41 0 0 25 0 11 0 779822713 862228480 21588 4294967295 134512640 134569956 3221224368 3221214728 1131177097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 21588 13086 16 0 210489 0
vsize: 842020
[startup+40.0416 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 552
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 3493 42 0 0 25 0 11 0 779822713 861163520 21509 4294967295 134512640 134569956 3221224368 3221214728 1131176993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 21509 13086 16 0 210229 0
vsize: 840980
[startup+50.0425 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 552
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 4451 42 0 0 24 0 11 0 779822713 861163520 21961 4294967295 134512640 134569956 3221224368 3221214720 1131334180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 21961 13086 16 0 210229 0
vsize: 840980
[startup+60.0428 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 5422 42 0 0 25 0 11 0 779822713 861163520 22048 4294967295 134512640 134569956 3221224368 3221214720 1131334182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22048 13086 16 0 210229 0
vsize: 840980
[startup+70.0432 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 6394 43 0 0 25 0 11 0 779822713 861163520 22136 4294967295 134512640 134569956 3221224368 3221214728 1131176981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22136 13086 16 0 210229 0
vsize: 840980
[startup+80.0441 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 7365 43 0 0 25 0 11 0 779822713 861163520 22223 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22223 13086 16 0 210229 0
vsize: 840980
[startup+90.0457 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 8340 43 0 0 25 0 11 0 779822713 861163520 22293 4294967295 134512640 134569956 3221224368 3221214720 1131334394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22293 13086 16 0 210229 0
vsize: 840980
[startup+100.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 9314 44 0 0 25 0 11 0 779822713 861163520 22368 4294967295 134512640 134569956 3221224368 3221214632 1131222856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22368 13086 16 0 210229 0
vsize: 840980
[startup+110.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 10290 45 0 0 25 0 11 0 779822713 861163520 22441 4294967295 134512640 134569956 3221224368 3221214720 1131334210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22441 13086 16 0 210229 0
vsize: 840980
[startup+120.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 11269 45 0 0 24 0 11 0 779822713 861163520 22499 4294967295 134512640 134569956 3221224368 3221214720 1131334173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22499 13086 16 0 210229 0
vsize: 840980
[startup+130.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 12250 45 0 0 25 0 11 0 779822713 861163520 22556 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22556 13086 16 0 210229 0
vsize: 840980
[startup+140.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 13231 45 0 0 25 0 11 0 779822713 861163520 22603 4294967295 134512640 134569956 3221224368 3221214024 1085679386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22603 13086 16 0 210229 0
vsize: 840980
[startup+150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 14212 46 0 0 25 0 11 0 779822713 861163520 22648 4294967295 134512640 134569956 3221224368 3221214780 1131333216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22648 13086 16 0 210229 0
vsize: 840980
[startup+160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 15192 46 0 0 25 0 11 0 779822713 861163520 22683 4294967295 134512640 134569956 3221224368 3221214240 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22683 13086 16 0 210229 0
vsize: 840980
[startup+170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 16172 47 0 0 25 0 11 0 779822713 861163520 22731 4294967295 134512640 134569956 3221224368 3221214632 1131223614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22731 13086 16 0 210229 0
vsize: 840980
[startup+180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 17151 47 0 0 25 0 11 0 779822713 861163520 22778 4294967295 134512640 134569956 3221224368 3221214632 1131222870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22778 13086 16 0 210229 0
vsize: 840980
[startup+190.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 18132 48 0 0 25 0 11 0 779822713 861163520 22814 4294967295 134512640 134569956 3221224368 3221214632 1131222680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22814 13086 16 0 210229 0
vsize: 840980
[startup+200.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 19114 48 0 0 25 0 11 0 779822713 861163520 22852 4294967295 134512640 134569956 3221224368 3221214784 1131337477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 22852 13086 16 0 210229 0
vsize: 840980
[startup+210.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 20100 48 0 0 25 0 11 0 779822713 861163520 22919 4294967295 134512640 134569956 3221224368 3221214824 1131213401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 22919 13086 16 0 210229 0
vsize: 840980
[startup+220.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 21083 49 0 0 25 0 11 0 779822713 861163520 22953 4294967295 134512640 134569956 3221224368 3221214632 1131223571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 22953 13086 16 0 210229 0
vsize: 840980
[startup+230.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 22069 49 0 0 25 0 11 0 779822713 861163520 22982 4294967295 134512640 134569956 3221224368 3221214720 1131348922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 22982 13086 16 0 210229 0
vsize: 840980
[startup+240.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 23056 49 0 0 25 0 11 0 779822713 861163520 23013 4294967295 134512640 134569956 3221224368 3221214456 1131382033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23013 13086 16 0 210229 0
vsize: 840980
[startup+250.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 24045 49 0 0 25 0 11 0 779822713 861163520 23047 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23047 13086 16 0 210229 0
vsize: 840980
[startup+260.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 25033 49 0 0 25 0 11 0 779822713 861163520 23075 4294967295 134512640 134569956 3221224368 3221214728 1131176965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23075 13086 16 0 210229 0
vsize: 840980
[startup+270.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 26019 49 0 0 25 0 11 0 779822713 861163520 23083 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23083 13086 16 0 210229 0
vsize: 840980
[startup+280.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 27004 49 0 0 25 0 11 0 779822713 861163520 23106 4294967295 134512640 134569956 3221224368 3221214800 1131213401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23106 13086 16 0 210229 0
vsize: 840980
[startup+290.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 27987 49 0 0 25 0 11 0 779822713 861163520 23148 4294967295 134512640 134569956 3221224368 3221214728 1131176985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23148 13086 16 0 210229 0
vsize: 840980
[startup+300.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 28969 50 0 0 25 0 11 0 779822713 861163520 23175 4294967295 134512640 134569956 3221224368 3221214632 1131223644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23175 13086 16 0 210229 0
vsize: 840980
[startup+310.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 29945 50 0 0 25 0 11 0 779822713 861163520 23197 4294967295 134512640 134569956 3221224368 3221214728 1131176981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23197 13086 16 0 210229 0
vsize: 840980
[startup+320.055 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 30919 50 0 0 25 0 11 0 779822713 861163520 23239 4294967295 134512640 134569956 3221224368 3221214052 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23239 13086 16 0 210229 0
vsize: 840980
[startup+330.055 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 31892 50 0 0 25 0 11 0 779822713 861163520 23300 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23300 13086 16 0 210229 0
vsize: 840980
[startup+340.055 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 32871 51 0 0 25 0 11 0 779822713 861163520 23428 4294967295 134512640 134569956 3221224368 3221214784 1131337632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23428 13086 16 0 210229 0
vsize: 840980
[startup+350.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 33856 51 0 0 25 0 11 0 779822713 861163520 23472 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23472 13086 16 0 210229 0
vsize: 840980
[startup+360.056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 34839 51 0 0 25 0 11 0 779822713 861163520 23510 4294967295 134512640 134569956 3221224368 3221214720 1131334504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23510 13086 16 0 210229 0
vsize: 840980
[startup+370.056 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 35822 51 0 0 25 0 11 0 779822713 861163520 23534 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23534 13086 16 0 210229 0
vsize: 840980
[startup+380.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 36805 51 0 0 25 0 11 0 779822713 861163520 23573 4294967295 134512640 134569956 3221224368 3221214088 1131528606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23573 13086 16 0 210229 0
vsize: 840980
[startup+390.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 37790 51 0 0 25 0 11 0 779822713 861163520 23616 4294967295 134512640 134569956 3221224368 3221214784 1131337674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23616 13086 16 0 210229 0
vsize: 840980
[startup+400.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 38778 51 0 0 25 0 11 0 779822713 861163520 23652 4294967295 134512640 134569956 3221224368 3221214632 1131222856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23652 13086 16 0 210229 0
vsize: 840980
[startup+410.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 39765 51 0 0 25 0 11 0 779822713 861163520 23680 4294967295 134512640 134569956 3221224368 3221214728 1131176985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 23680 13086 16 0 210229 0
vsize: 840980
[startup+420.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 553
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 40752 51 0 0 25 0 11 0 779822713 861163520 23699 4294967295 134512640 134569956 3221224368 3221214632 1131224038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23699 13086 16 0 210229 0
vsize: 840980
[startup+430.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 554
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 41739 51 0 0 25 0 11 0 779822713 861163520 23714 4294967295 134512640 134569956 3221224368 3221214716 1131222656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23714 13086 16 0 210229 0
vsize: 840980
[startup+440.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 42726 52 0 0 25 0 11 0 779822713 861163520 23729 4294967295 134512640 134569956 3221224368 3221214328 1131533713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23729 13086 16 0 210229 0
vsize: 840980
[startup+450.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 43714 52 0 0 25 0 11 0 779822713 861163520 23771 4294967295 134512640 134569956 3221224368 3221214784 1131337632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23771 13086 16 0 210229 0
vsize: 840980
[startup+460.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 44702 52 0 0 25 0 11 0 779822713 861163520 23789 4294967295 134512640 134569956 3221224368 3221214632 1131222938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23789 13086 16 0 210229 0
vsize: 840980
[startup+470.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 45691 52 0 0 25 0 11 0 779822713 861163520 23798 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23798 13086 16 0 210229 0
vsize: 840980
[startup+480.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 46678 52 0 0 25 0 11 0 779822713 861163520 23828 4294967295 134512640 134569956 3221224368 3221214632 1131208582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23828 13086 16 0 210229 0
vsize: 840980
[startup+490.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 47666 52 0 0 24 0 11 0 779822713 861163520 23845 4294967295 134512640 134569956 3221224368 3221214472 1131216176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23845 13086 16 0 210229 0
vsize: 840980
[startup+500.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 48654 52 0 0 25 0 11 0 779822713 861163520 23866 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23866 13086 16 0 210229 0
vsize: 840980
[startup+510.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 49642 52 0 0 25 0 11 0 779822713 861163520 23884 4294967295 134512640 134569956 3221224368 3221214240 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23884 13086 16 0 210229 0
vsize: 840980
[startup+520.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 50627 52 0 0 25 0 11 0 779822713 861163520 23907 4294967295 134512640 134569956 3221224368 3221214760 1131361008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23907 13086 16 0 210229 0
vsize: 840980
[startup+530.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 51615 52 0 0 25 0 11 0 779822713 861163520 23924 4294967295 134512640 134569956 3221224368 3221214632 1131222825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23924 13086 16 0 210229 0
vsize: 840980
[startup+540.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 52603 52 0 0 25 0 11 0 779822713 861163520 23948 4294967295 134512640 134569956 3221224368 3221214520 1131368013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23948 13086 16 0 210229 0
vsize: 840980
[startup+550.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 53589 53 0 0 25 0 11 0 779822713 861163520 23986 4294967295 134512640 134569956 3221224368 3221214156 1131533712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23986 13086 16 0 210229 0
vsize: 840980
[startup+560.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 54575 53 0 0 25 0 11 0 779822713 861163520 23997 4294967295 134512640 134569956 3221224368 3221214728 1131176985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 23997 13086 16 0 210229 0
vsize: 840980
[startup+570.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 55563 53 0 0 25 0 11 0 779822713 861163520 24015 4294967295 134512640 134569956 3221224368 3221214632 1131223373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24015 13086 16 0 210229 0
vsize: 840980
[startup+580.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 56550 53 0 0 25 0 11 0 779822713 861163520 24043 4294967295 134512640 134569956 3221224368 3221214632 1131222995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24043 13086 16 0 210229 0
vsize: 840980
[startup+590.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 57538 53 0 0 25 0 11 0 779822713 861163520 24064 4294967295 134512640 134569956 3221224368 3221214632 1131222825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24064 13086 16 0 210229 0
vsize: 840980
[startup+600.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 58528 53 0 0 25 0 11 0 779822713 861163520 24080 4294967295 134512640 134569956 3221224368 3221214720 1131334650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24080 13086 16 0 210229 0
vsize: 840980
[startup+610.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 59516 53 0 0 25 0 11 0 779822713 861163520 24102 4294967295 134512640 134569956 3221224368 3221214096 1131539330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24102 13086 16 0 210229 0
vsize: 840980
[startup+620.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 60503 53 0 0 24 0 11 0 779822713 861163520 24119 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24119 13086 16 0 210229 0
vsize: 840980
[startup+630.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 61493 53 0 0 25 0 11 0 779822713 861163520 24130 4294967295 134512640 134569956 3221224368 3221214720 1131334210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24130 13086 16 0 210229 0
vsize: 840980
[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 62478 53 0 0 25 0 11 0 779822713 861163520 24151 4294967295 134512640 134569956 3221224368 3221214728 1131176977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24151 13086 16 0 210229 0
vsize: 840980
[startup+650.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 63466 53 0 0 25 0 11 0 779822713 861163520 24163 4294967295 134512640 134569956 3221224368 3221214104 1131539316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24163 13086 16 0 210229 0
vsize: 840980
[startup+660.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 64452 53 0 0 25 0 11 0 779822713 861163520 24184 4294967295 134512640 134569956 3221224368 3221214632 1131223205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24184 13086 16 0 210229 0
vsize: 840980
[startup+670.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 65439 53 0 0 25 0 11 0 779822713 861163520 24209 4294967295 134512640 134569956 3221224368 3221214200 1131528552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24209 13086 16 0 210229 0
vsize: 840980
[startup+680.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 66425 54 0 0 25 0 11 0 779822713 861163520 24235 4294967295 134512640 134569956 3221224368 3221214432 1131539324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24235 13086 16 0 210229 0
vsize: 840980
[startup+690.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 67412 54 0 0 25 0 11 0 779822713 861163520 24245 4294967295 134512640 134569956 3221224368 3221214728 1131176981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24245 13086 16 0 210229 0
vsize: 840980
[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 68397 54 0 0 25 0 11 0 779822713 861163520 24284 4294967295 134512640 134569956 3221224368 3221214720 1131334496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24284 13086 16 0 210229 0
vsize: 840980
[startup+710.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 69382 54 0 0 25 0 11 0 779822713 861163520 24305 4294967295 134512640 134569956 3221224368 3221214624 1131215486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 24305 13086 16 0 210229 0
vsize: 840980
[startup+720.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 70368 54 0 0 25 0 11 0 779822713 861163520 24333 4294967295 134512640 134569956 3221224368 3221214472 1131215486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24333 13086 16 0 210229 0
vsize: 840980
[startup+730.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 71353 54 0 0 25 0 11 0 779822713 861163520 24366 4294967295 134512640 134569956 3221224368 3221214632 1131208588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24366 13086 16 0 210229 0
vsize: 840980
[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 72339 54 0 0 25 0 11 0 779822713 861163520 24380 4294967295 134512640 134569956 3221224368 3221214632 1131223318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24380 13086 16 0 210229 0
vsize: 840980
[startup+750.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 73327 54 0 0 25 0 11 0 779822713 861163520 24395 4294967295 134512640 134569956 3221224368 3221214128 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24395 13086 16 0 210229 0
vsize: 840980
[startup+760.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 74312 54 0 0 25 0 11 0 779822713 861163520 24415 4294967295 134512640 134569956 3221224368 3221214720 1131334390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24415 13086 16 0 210229 0
vsize: 840980
[startup+770.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 75298 54 0 0 25 0 11 0 779822713 861163520 24454 4294967295 134512640 134569956 3221224368 3221214632 1131222816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24454 13086 16 0 210229 0
vsize: 840980
[startup+780.077 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 76283 54 0 0 25 0 11 0 779822713 861163520 24469 4294967295 134512640 134569956 3221224368 3221214728 1131176981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24469 13086 16 0 210229 0
vsize: 840980
[startup+790.077 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 77263 54 0 0 25 0 11 0 779822713 861163520 24497 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24497 13086 16 0 210229 0
vsize: 840980
[startup+800.077 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 78242 54 0 0 25 0 11 0 779822713 861163520 24508 4294967295 134512640 134569956 3221224368 3221214720 1131334634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24508 13086 16 0 210229 0
vsize: 840980
[startup+810.079 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 79222 54 0 0 25 0 11 0 779822713 861163520 24618 4294967295 134512640 134569956 3221224368 3221214780 1131176940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24618 13086 16 0 210229 0
vsize: 840980
[startup+820.079 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 80210 54 0 0 25 0 11 0 779822713 861163520 24624 4294967295 134512640 134569956 3221224368 3221214632 1131222944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24624 13086 16 0 210229 0
vsize: 840980
[startup+830.079 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 81196 55 0 0 25 0 11 0 779822713 861163520 24647 4294967295 134512640 134569956 3221224368 3221214720 1131334646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24647 13086 16 0 210229 0
vsize: 840980
[startup+840.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 82182 55 0 0 25 0 11 0 779822713 861163520 24660 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24660 13086 16 0 210229 0
vsize: 840980
[startup+850.081 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 83167 55 0 0 24 0 11 0 779822713 861163520 24686 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24686 13086 16 0 210229 0
vsize: 840980
[startup+860.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 84156 55 0 0 25 0 11 0 779822713 861163520 24716 4294967295 134512640 134569956 3221224368 3221214720 1131334173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24716 13086 16 0 210229 0
vsize: 840980
[startup+870.081 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 85144 55 0 0 25 0 11 0 779822713 861163520 24725 4294967295 134512640 134569956 3221224368 3221214352 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24725 13086 16 0 210229 0
vsize: 840980
[startup+880.081 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 86133 55 0 0 24 0 11 0 779822713 861163520 24738 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24738 13086 16 0 210229 0
vsize: 840980
[startup+890.082 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 87122 55 0 0 25 0 11 0 779822713 861163520 24751 4294967295 134512640 134569956 3221224368 3221214720 1131334504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24751 13086 16 0 210229 0
vsize: 840980
[startup+900.082 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 88108 56 0 0 25 0 11 0 779822713 861163520 24756 4294967295 134512640 134569956 3221224368 3221214632 1131223019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24756 13086 16 0 210229 0
vsize: 840980
[startup+910.083 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 89093 56 0 0 25 0 11 0 779822713 861163520 24768 4294967295 134512640 134569956 3221224368 3221214624 1131215726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24768 13086 16 0 210229 0
vsize: 840980
[startup+920.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 90079 56 0 0 25 0 11 0 779822713 861163520 24779 4294967295 134512640 134569956 3221224368 3221214268 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24779 13086 16 0 210229 0
vsize: 840980
[startup+930.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 91067 56 0 0 25 0 11 0 779822713 861163520 24820 4294967295 134512640 134569956 3221224368 3221214632 1131222680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24820 13086 16 0 210229 0
vsize: 840980
[startup+940.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 92055 57 0 0 25 0 11 0 779822713 861163520 24834 4294967295 134512640 134569956 3221224368 3221214728 1131176957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24834 13086 16 0 210229 0
vsize: 840980
[startup+950.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 555
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 93046 57 0 0 25 0 11 0 779822713 861163520 24848 4294967295 134512640 134569956 3221224368 3221214632 1131222995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24848 13086 16 0 210229 0
vsize: 840980
[startup+960.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 94037 57 0 0 25 0 11 0 779822713 861163520 24857 4294967295 134512640 134569956 3221224368 3221214728 1131177085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24857 13086 16 0 210229 0
vsize: 840980
[startup+970.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 95023 57 0 0 25 0 11 0 779822713 861163520 24867 4294967295 134512640 134569956 3221224368 3221214632 1131222777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24867 13086 16 0 210229 0
vsize: 840980
[startup+980.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 96008 57 0 0 25 0 11 0 779822713 861163520 24875 4294967295 134512640 134569956 3221224368 3221214720 1131334549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24875 13086 16 0 210229 0
vsize: 840980
[startup+990.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 96996 57 0 0 25 0 11 0 779822713 861163520 24891 4294967295 134512640 134569956 3221224368 3221214632 1131222899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24891 13086 16 0 210229 0
vsize: 840980
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 97984 57 0 0 25 0 11 0 779822713 861163520 24918 4294967295 134512640 134569956 3221224368 3221214720 1131334537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24918 13086 16 0 210229 0
vsize: 840980
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 98970 58 0 0 25 0 11 0 779822713 861163520 24931 4294967295 134512640 134569956 3221224368 3221214632 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24931 13086 16 0 210229 0
vsize: 840980
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 99957 58 0 0 25 0 11 0 779822713 861163520 24946 4294967295 134512640 134569956 3221224368 3221214720 1131334353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24946 13086 16 0 210229 0
vsize: 840980
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 100942 58 0 0 25 0 11 0 779822713 861163520 24959 4294967295 134512640 134569956 3221224368 3221214592 1131370032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24959 13086 16 0 210229 0
vsize: 840980
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 101926 58 0 0 25 0 11 0 779822713 861163520 24978 4294967295 134512640 134569956 3221224368 3221214720 1131334263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24978 13086 16 0 210229 0
vsize: 840980
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 102909 58 0 0 25 0 11 0 779822713 861163520 24989 4294967295 134512640 134569956 3221224368 3221214720 1131334555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 24989 13086 16 0 210229 0
vsize: 840980
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 103891 58 0 0 25 0 11 0 779822713 861163520 25024 4294967295 134512640 134569956 3221224368 3221214632 1131208565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25024 13086 16 0 210229 0
vsize: 840980
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 104876 58 0 0 25 0 11 0 779822713 861163520 25068 4294967295 134512640 134569956 3221224368 3221213976 1079950945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210245 25068 13086 16 0 210229 0
vsize: 840980
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 105862 58 0 0 24 0 11 0 779822713 861163520 25087 4294967295 134512640 134569956 3221224368 3221214784 1131338250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25087 13086 16 0 210229 0
vsize: 840980
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 106850 58 0 0 25 0 11 0 779822713 861163520 25103 4294967295 134512640 134569956 3221224368 3221214632 1131222846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25103 13086 16 0 210229 0
vsize: 840980
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 107837 59 0 0 25 0 11 0 779822713 861163520 25110 4294967295 134512640 134569956 3221224368 3221214728 1131176977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25110 13086 16 0 210229 0
vsize: 840980
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 108824 59 0 0 25 0 11 0 779822713 861163520 25126 4294967295 134512640 134569956 3221224368 3221214632 1131208582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25126 13086 16 0 210229 0
vsize: 840980
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 109813 59 0 0 25 0 11 0 779822713 861163520 25133 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25133 13086 16 0 210229 0
vsize: 840980
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 110803 59 0 0 25 0 11 0 779822713 861163520 25145 4294967295 134512640 134569956 3221224368 3221214780 1131334156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25145 13086 16 0 210229 0
vsize: 840980
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 111791 59 0 0 25 0 11 0 779822713 861163520 25151 4294967295 134512640 134569956 3221224368 3221214632 1131223003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25151 13086 16 0 210229 0
vsize: 840980
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 112788 59 0 0 25 0 11 0 779822713 861163520 25162 4294967295 134512640 134569956 3221224368 3221214632 1131224230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25162 13086 16 0 210229 0
vsize: 840980
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 113775 59 0 0 25 0 11 0 779822713 861163520 25172 4294967295 134512640 134569956 3221224368 3221214632 1131222777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25172 13086 16 0 210229 0
vsize: 840980
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 114763 59 0 0 25 0 11 0 779822713 861163520 25182 4294967295 134512640 134569956 3221224368 3221214632 1131224046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25182 13086 16 0 210229 0
vsize: 840980
[startup+1180.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 115751 59 0 0 25 0 11 0 779822713 861163520 25204 4294967295 134512640 134569956 3221224368 3221214632 1131223430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25204 13086 16 0 210229 0
vsize: 840980
[startup+1190.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 116739 59 0 0 25 0 11 0 779822713 861163520 25215 4294967295 134512640 134569956 3221224368 3221214632 1131223428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25215 13086 16 0 210229 0
vsize: 840980
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 117725 59 0 0 25 0 11 0 779822713 861163520 25229 4294967295 134512640 134569956 3221224368 3221214632 1131224103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25229 13086 16 0 210229 0
vsize: 840980
[startup+1210.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 118712 59 0 0 25 0 11 0 779822713 861163520 25238 4294967295 134512640 134569956 3221224368 3221214720 1131334349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25238 13086 16 0 210229 0
vsize: 840980
[startup+1220.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 119699 59 0 0 25 0 11 0 779822713 861163520 25250 4294967295 134512640 134569956 3221224368 3221214728 1131176960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25250 13086 16 0 210229 0
vsize: 840980
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 556
Raw data (stat): 535 (java) R 534 21152 21151 0 -1 0 18115 3 1 0 120685 59 0 0 25 0 11 0 779822713 861163520 25269 4294967295 134512640 134569956 3221224368 3221214720 1131334173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210245 25269 13086 16 0 210229 0
vsize: 840980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.5 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 558
Raw data (stat): 535 (java) Z 534 21152 21151 0 -1 1036 18115 5132 1 0 120706 59 1976 23 25 0 1 0 779822713 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.5
CPU time (s): 1227.68
CPU user time (s): 1226.84
CPU system time (s): 0.837872
CPU usage (%): 99.7708
Max. virtual memory (Kb): 842020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-36
#### END VERIFIER DATA ####