PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-noswot.opb
MD5SUM	7e99578ddcc33d345a5429ff14167339
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	113777046323200
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	235765682083953
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	165.164
Number of variables	1060
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 29929

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 12:52:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21326 boxname=wulflinc30 idbench=1314 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  7e99578ddcc33d345a5429ff14167339  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-noswot.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-noswot.opb
IDLAUNCH: 21326
/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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        607588 kB
Buffers:         38284 kB
Cached:         365804 kB
SwapCached:        716 kB
Active:         104056 kB
Inactive:       302128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        607336 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15192 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:12:34 (client local time) WITH STATUS 143 IN 1238.43 SECONDS
stats: 21326 0 1238.43 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/wulflinc30/normalized-mps-v2-13-7-noswot.opb
c reading problem ... done. Time 3.054 ms.
c #vars     1060
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 4.52 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 6.67 ms
c CURRENT OPTIMUM=                  -7 		Current CPU time: 7.41 ms
c CURRENT OPTIMUM=                  -9 		Current CPU time: 9.76 ms
c CURRENT OPTIMUM=                 -10 		Current CPU time: 10.19 ms
c CURRENT OPTIMUM=                 -12 		Current CPU time: 16.31 ms
c CURRENT OPTIMUM=                 -14 		Current CPU time: 16.92 ms
c CURRENT OPTIMUM=                 -19 		Current CPU time: 29.88 ms
c CURRENT OPTIMUM=                 -21 		Current CPU time: 30.77 ms
c CURRENT OPTIMUM=                 -30 		Current CPU time: 777.16 ms
c CURRENT OPTIMUM=                 -31 		Current CPU time: 1103.01 ms
c starts	: 14
c conflicts	: 578
c decisions	: 19734
c propagations	: 92036
c inspects	: 1994934
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 578
c root simplifications	: 588
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_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 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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 -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 
c objectif function=-31
c Total CPU time (ms) : 1219.19
#### 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.91 0.97 0.99 2/54 7308
Raw data (stat): 7308 (runsolver) R 7307 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839018098 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 1.23 1.04 1.01 4/64 7321
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18133 3 1 0 708 37 0 0 25 0 11 0 839018098 864149504 21388 4294967295 134512640 134569956 3221224368 3221214592 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 21388 13086 16 0 210958 0
vsize: 843896
[startup+20.0015 s]
Raw data (loadavg): 1.35 1.07 1.02 2/64 7325
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18137 3 1 0 1614 37 0 0 25 0 11 0 839018098 869826560 23142 4294967295 134512640 134569956 3221224368 3221214592 1131251014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212360 23142 13086 16 0 212344 0
vsize: 849440
[startup+30.0018 s]
Raw data (loadavg): 1.30 1.06 1.02 2/64 7325
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18137 3 1 0 2562 38 0 0 25 0 11 0 839018098 868757504 23018 4294967295 134512640 134569956 3221224368 3221214680 1131401117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212099 23018 13086 16 0 212083 0
vsize: 848396
[startup+40.0016 s]
Raw data (loadavg): 1.25 1.06 1.02 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18138 3 1 0 3506 38 0 0 25 0 11 0 839018098 868384768 23041 4294967295 134512640 134569956 3221224368 3221214680 1131401109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212008 23041 13086 16 0 211992 0
vsize: 848032
[startup+50.0018 s]
Raw data (loadavg): 1.21 1.06 1.02 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18138 3 1 0 4461 38 0 0 25 0 11 0 839018098 868384768 23505 4294967295 134512640 134569956 3221224368 3221214592 1131252368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212008 23505 13086 16 0 211992 0
vsize: 848032
[startup+60.0023 s]
Raw data (loadavg): 1.18 1.06 1.02 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 5440 38 0 0 25 0 11 0 839018098 871530496 24222 4294967295 134512640 134569956 3221224368 3221214592 1131195865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212776 24222 13086 16 0 212760 0
vsize: 851104
[startup+70.003 s]
Raw data (loadavg): 1.15 1.05 1.02 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 6425 38 0 0 25 0 11 0 839018098 871530496 24275 4294967295 134512640 134569956 3221224368 3221214680 1131395150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212776 24275 13086 16 0 212760 0
vsize: 851104
[startup+80.0034 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 7411 39 0 0 25 0 11 0 839018098 871530496 24246 4294967295 134512640 134569956 3221224368 3221214592 1131250866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212776 24246 13086 16 0 212760 0
vsize: 851104
[startup+90.0037 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 8396 39 0 0 25 0 11 0 839018098 870481920 24040 4294967295 134512640 134569956 3221224368 3221214576 1131247785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24040 13086 16 0 212504 0
vsize: 850080
[startup+100.004 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 9382 39 0 0 25 0 11 0 839018098 870481920 24076 4294967295 134512640 134569956 3221224368 3221214592 1131250921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24076 13086 16 0 212504 0
vsize: 850080
[startup+110.004 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 10368 39 0 0 25 0 11 0 839018098 870481920 24113 4294967295 134512640 134569956 3221224368 3221214632 1131290685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24113 13086 16 0 212504 0
vsize: 850080
[startup+120.005 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 11356 40 0 0 25 0 11 0 839018098 870481920 24137 4294967295 134512640 134569956 3221224368 3221214216 1131656077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24137 13086 16 0 212504 0
vsize: 850080
[startup+130.005 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 12344 40 0 0 25 0 11 0 839018098 870481920 24168 4294967295 134512640 134569956 3221224368 3221214592 1131252358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24168 13086 16 0 212504 0
vsize: 850080
[startup+140.006 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 13333 40 0 0 25 0 11 0 839018098 870481920 24192 4294967295 134512640 134569956 3221224368 3221214592 1131195821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24192 13086 16 0 212504 0
vsize: 850080
[startup+150.006 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 14321 41 0 0 25 0 11 0 839018098 870481920 24214 4294967295 134512640 134569956 3221224368 3221214676 1131178604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24214 13086 16 0 212504 0
vsize: 850080
[startup+160.007 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 15312 41 0 0 25 0 11 0 839018098 870481920 24228 4294967295 134512640 134569956 3221224368 3221214592 1131250877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24228 13086 16 0 212504 0
vsize: 850080
[startup+170.007 s]
Raw data (loadavg): 1.03 1.03 1.01 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 16300 42 0 0 25 0 11 0 839018098 870481920 24248 4294967295 134512640 134569956 3221224368 3221214680 1131396616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24248 13086 16 0 212504 0
vsize: 850080
[startup+180.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 17289 43 0 0 25 0 11 0 839018098 870481920 24268 4294967295 134512640 134569956 3221224368 3221214592 1131250921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24268 13086 16 0 212504 0
vsize: 850080
[startup+190.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 18279 43 0 0 25 0 11 0 839018098 870481920 24282 4294967295 134512640 134569956 3221224368 3221214680 1131400432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24282 13086 16 0 212504 0
vsize: 850080
[startup+200.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 19269 44 0 0 25 0 11 0 839018098 870481920 24297 4294967295 134512640 134569956 3221224368 3221214576 1131247124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24297 13086 16 0 212504 0
vsize: 850080
[startup+210.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 20260 44 0 0 25 0 11 0 839018098 870481920 24311 4294967295 134512640 134569956 3221224368 3221214592 1131252318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24311 13086 16 0 212504 0
vsize: 850080
[startup+220.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 21250 44 0 0 25 0 11 0 839018098 870481920 24331 4294967295 134512640 134569956 3221224368 3221214592 1131195873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212520 24331 13086 16 0 212504 0
vsize: 850080
[startup+230.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 22242 44 0 0 25 0 11 0 839018098 870481920 24344 4294967295 134512640 134569956 3221224368 3221214592 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24344 13086 16 0 212504 0
vsize: 850080
[startup+240.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 23232 44 0 0 25 0 11 0 839018098 870481920 24358 4294967295 134512640 134569956 3221224368 3221214576 1131247805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24358 13086 16 0 212504 0
vsize: 850080
[startup+250.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 24223 45 0 0 25 0 11 0 839018098 870481920 24373 4294967295 134512640 134569956 3221224368 3221214592 1131195832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24373 13086 16 0 212504 0
vsize: 850080
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 25214 45 0 0 25 0 11 0 839018098 870481920 24382 4294967295 134512640 134569956 3221224368 3221214680 1131397184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24382 13086 16 0 212504 0
vsize: 850080
[startup+270.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 26205 45 0 0 25 0 11 0 839018098 870481920 24396 4294967295 134512640 134569956 3221224368 3221214680 1131401184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24396 13086 16 0 212504 0
vsize: 850080
[startup+280.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 27196 45 0 0 25 0 11 0 839018098 870481920 24410 4294967295 134512640 134569956 3221224368 3221214676 1131250752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24410 13086 16 0 212504 0
vsize: 850080
[startup+290.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 28188 45 0 0 25 0 11 0 839018098 870481920 24424 4294967295 134512640 134569956 3221224368 3221214592 1131251001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24424 13086 16 0 212504 0
vsize: 850080
[startup+300.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 29179 45 0 0 25 0 11 0 839018098 870481920 24440 4294967295 134512640 134569956 3221224368 3221214680 1131395118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24440 13086 16 0 212504 0
vsize: 850080
[startup+310.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 30170 45 0 0 25 0 11 0 839018098 870481920 24447 4294967295 134512640 134569956 3221224368 3221214680 1131400604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24447 13086 16 0 212504 0
vsize: 850080
[startup+320.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 31161 45 0 0 25 0 11 0 839018098 870481920 24462 4294967295 134512640 134569956 3221224368 3221214592 1131250986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24462 13086 16 0 212504 0
vsize: 850080
[startup+330.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 32152 45 0 0 25 0 11 0 839018098 870481920 24469 4294967295 134512640 134569956 3221224368 3221214576 1131247055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24469 13086 16 0 212504 0
vsize: 850080
[startup+340.014 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 33142 45 0 0 25 0 11 0 839018098 870481920 24487 4294967295 134512640 134569956 3221224368 3221214592 1131250861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24487 13086 16 0 212504 0
vsize: 850080
[startup+350.014 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 34133 45 0 0 25 0 11 0 839018098 870481920 24494 4294967295 134512640 134569956 3221224368 3221214592 1131250950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24494 13086 16 0 212504 0
vsize: 850080
[startup+360.015 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 35123 45 0 0 25 0 11 0 839018098 870481920 24509 4294967295 134512640 134569956 3221224368 3221214592 1131251028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24509 13086 16 0 212504 0
vsize: 850080
[startup+370.014 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 36114 45 0 0 25 0 11 0 839018098 870481920 24533 4294967295 134512640 134569956 3221224368 3221214680 1131401184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24533 13086 16 0 212504 0
vsize: 850080
[startup+380.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 37106 45 0 0 25 0 11 0 839018098 870481920 24541 4294967295 134512640 134569956 3221224368 3221214680 1131400590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24541 13086 16 0 212504 0
vsize: 850080
[startup+390.015 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 38097 46 0 0 25 0 11 0 839018098 870481920 24556 4294967295 134512640 134569956 3221224368 3221214648 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24556 13086 16 0 212504 0
vsize: 850080
[startup+400.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 39089 46 0 0 25 0 11 0 839018098 870481920 24563 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24563 13086 16 0 212504 0
vsize: 850080
[startup+410.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 40081 46 0 0 25 0 11 0 839018098 870481920 24575 4294967295 134512640 134569956 3221224368 3221214240 1131680417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24575 13086 16 0 212504 0
vsize: 850080
[startup+420.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 41072 46 0 0 25 0 11 0 839018098 870481920 24581 4294967295 134512640 134569956 3221224368 3221214512 1131251031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24581 13086 16 0 212504 0
vsize: 850080
[startup+430.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 42063 46 0 0 25 0 11 0 839018098 870481920 24587 4294967295 134512640 134569956 3221224368 3221214592 1131178617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24587 13086 16 0 212504 0
vsize: 850080
[startup+440.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) S 7307 22056 22055 0 -1 0 18139 3 1 0 43054 46 0 0 25 0 11 0 839018098 870481920 24599 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24599 13086 16 0 212504 0
vsize: 850080
[startup+450.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 44046 46 0 0 25 0 11 0 839018098 870481920 24605 4294967295 134512640 134569956 3221224368 3221214512 1131250991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24605 13086 16 0 212504 0
vsize: 850080
[startup+460.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 45037 46 0 0 25 0 11 0 839018098 870481920 24623 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24623 13086 16 0 212504 0
vsize: 850080
[startup+470.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7327
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 46028 46 0 0 25 0 11 0 839018098 870481920 24629 4294967295 134512640 134569956 3221224368 3221214496 1131247098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24629 13086 16 0 212504 0
vsize: 850080
[startup+480.025 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 7380
Raw data (stat): 7308 (java) S 7307 22056 22055 0 -1 0 18139 3 1 0 47009 53 0 0 25 0 11 0 839018098 870481920 24635 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24635 13086 16 0 212504 0
vsize: 850080
[startup+490.026 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 7380
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 48001 54 0 0 25 0 11 0 839018098 870481920 24651 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24651 13086 16 0 212504 0
vsize: 850080
[startup+500.031 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 7380
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 48992 54 0 0 25 0 11 0 839018098 870481920 24656 4294967295 134512640 134569956 3221224368 3221214512 1131251040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24656 13086 16 0 212504 0
vsize: 850080
[startup+510.032 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 7380
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 49982 55 0 0 25 0 11 0 839018098 870481920 24662 4294967295 134512640 134569956 3221224368 3221214600 1131400604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24662 13086 16 0 212504 0
vsize: 850080
[startup+520.032 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 7380
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 50973 55 0 0 25 0 11 0 839018098 870481920 24675 4294967295 134512640 134569956 3221224368 3221214600 1131395150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24675 13086 16 0 212504 0
vsize: 850080
[startup+530.031 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 7380
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 51965 55 0 0 25 0 11 0 839018098 870481920 24680 4294967295 134512640 134569956 3221224368 3221214600 1131398212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24680 13086 16 0 212504 0
vsize: 850080
[startup+540.032 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7380
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 52955 56 0 0 25 0 11 0 839018098 870481920 24695 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24695 13086 16 0 212504 0
vsize: 850080
[startup+550.032 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 53946 57 0 0 25 0 11 0 839018098 870481920 24704 4294967295 134512640 134569956 3221224368 3221214512 1131252318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24704 13086 16 0 212504 0
vsize: 850080
[startup+560.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 54938 57 0 0 25 0 11 0 839018098 870481920 24708 4294967295 134512640 134569956 3221224368 3221214600 1131401617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24708 13086 16 0 212504 0
vsize: 850080
[startup+570.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 55928 57 0 0 25 0 11 0 839018098 870481920 24713 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24713 13086 16 0 212504 0
vsize: 850080
[startup+580.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 56917 58 0 0 25 0 11 0 839018098 870481920 24725 4294967295 134512640 134569956 3221224368 3221214600 1131396616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24725 13086 16 0 212504 0
vsize: 850080
[startup+590.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 57908 58 0 0 25 0 11 0 839018098 870481920 24738 4294967295 134512640 134569956 3221224368 3221214544 1131210439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24738 13086 16 0 212504 0
vsize: 850080
[startup+600.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 58898 58 0 0 25 0 11 0 839018098 870481920 24744 4294967295 134512640 134569956 3221224368 3221214568 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24744 13086 16 0 212504 0
vsize: 850080
[startup+610.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 59888 59 0 0 25 0 11 0 839018098 870481920 24759 4294967295 134512640 134569956 3221224368 3221214512 1131251533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24759 13086 16 0 212504 0
vsize: 850080
[startup+620.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 60878 59 0 0 25 0 11 0 839018098 870481920 24769 4294967295 134512640 134569956 3221224368 3221214712 1131319772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24769 13086 16 0 212504 0
vsize: 850080
[startup+630.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 61869 60 0 0 25 0 11 0 839018098 870481920 24776 4294967295 134512640 134569956 3221224368 3221214600 1131396118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24776 13086 16 0 212504 0
vsize: 850080
[startup+640.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 62860 60 0 0 25 0 11 0 839018098 870481920 24781 4294967295 134512640 134569956 3221224368 3221214512 1131251040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24781 13086 16 0 212504 0
vsize: 850080
[startup+650.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 63850 60 0 0 25 0 11 0 839018098 870481920 24792 4294967295 134512640 134569956 3221224368 3221214600 1131400797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24792 13086 16 0 212504 0
vsize: 850080
[startup+660.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 64840 61 0 0 25 0 11 0 839018098 870481920 24800 4294967295 134512640 134569956 3221224368 3221214512 1131251561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24800 13086 16 0 212504 0
vsize: 850080
[startup+670.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 65831 61 0 0 25 0 11 0 839018098 870481920 24805 4294967295 134512640 134569956 3221224368 3221214496 1131247171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24805 13086 16 0 212504 0
vsize: 850080
[startup+680.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 66821 61 0 0 25 0 11 0 839018098 870481920 24817 4294967295 134512640 134569956 3221224368 3221214512 1131251639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24817 13086 16 0 212504 0
vsize: 850080
[startup+690.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 67811 62 0 0 25 0 11 0 839018098 870481920 24829 4294967295 134512640 134569956 3221224368 3221214512 1131250833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24829 13086 16 0 212504 0
vsize: 850080
[startup+700.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 68801 62 0 0 25 0 11 0 839018098 870481920 24839 4294967295 134512640 134569956 3221224368 3221214776 1131390870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24839 13086 16 0 212504 0
vsize: 850080
[startup+710.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 69793 62 0 0 25 0 11 0 839018098 870481920 24844 4294967295 134512640 134569956 3221224368 3221214512 1131250875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24844 13086 16 0 212504 0
vsize: 850080
[startup+720.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 70783 63 0 0 25 0 11 0 839018098 870481920 24854 4294967295 134512640 134569956 3221224368 3221214512 1131250933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24854 13086 16 0 212504 0
vsize: 850080
[startup+730.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 71773 63 0 0 25 0 11 0 839018098 870481920 24864 4294967295 134512640 134569956 3221224368 3221214600 1131400488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24864 13086 16 0 212504 0
vsize: 850080
[startup+740.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 72763 63 0 0 25 0 11 0 839018098 870481920 24868 4294967295 134512640 134569956 3221224368 3221214600 1131395062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24868 13086 16 0 212504 0
vsize: 850080
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 73754 64 0 0 25 0 11 0 839018098 870481920 24880 4294967295 134512640 134569956 3221224368 3221214600 1131400604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24880 13086 16 0 212504 0
vsize: 850080
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 74744 64 0 0 25 0 11 0 839018098 870481920 24890 4294967295 134512640 134569956 3221224368 3221214600 1131396604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24890 13086 16 0 212504 0
vsize: 850080
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7382
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 75735 65 0 0 25 0 11 0 839018098 870481920 24899 4294967295 134512640 134569956 3221224368 3221214600 1131397184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24899 13086 16 0 212504 0
vsize: 850080
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 76725 65 0 0 25 0 11 0 839018098 870481920 24905 4294967295 134512640 134569956 3221224368 3221214512 1131195869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24905 13086 16 0 212504 0
vsize: 850080
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 77714 66 0 0 25 0 11 0 839018098 870481920 24917 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24917 13086 16 0 212504 0
vsize: 850080
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 78705 66 0 0 25 0 11 0 839018098 870481920 24921 4294967295 134512640 134569956 3221224368 3221214600 1131397184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24921 13086 16 0 212504 0
vsize: 850080
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 79692 67 0 0 25 0 11 0 839018098 870481920 24924 4294967295 134512640 134569956 3221224368 3221214512 1131250783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24924 13086 16 0 212504 0
vsize: 850080
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 80680 67 0 0 25 0 11 0 839018098 870481920 24946 4294967295 134512640 134569956 3221224368 3221214600 1131396811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24946 13086 16 0 212504 0
vsize: 850080
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 81671 68 0 0 25 0 11 0 839018098 870481920 24951 4294967295 134512640 134569956 3221224368 3221214496 1131247028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24951 13086 16 0 212504 0
vsize: 850080
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 82661 68 0 0 25 0 11 0 839018098 870481920 24966 4294967295 134512640 134569956 3221224368 3221214600 1131397028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24966 13086 16 0 212504 0
vsize: 850080
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 83649 69 0 0 25 0 11 0 839018098 870481920 24976 4294967295 134512640 134569956 3221224368 3221214496 1131247031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24976 13086 16 0 212504 0
vsize: 850080
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 84639 69 0 0 25 0 11 0 839018098 870481920 24981 4294967295 134512640 134569956 3221224368 3221214512 1131250858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24981 13086 16 0 212504 0
vsize: 850080
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 85629 69 0 0 25 0 11 0 839018098 870481920 24993 4294967295 134512640 134569956 3221224368 3221214592 1131178658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 24993 13086 16 0 212504 0
vsize: 850080
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 86619 70 0 0 25 0 11 0 839018098 870481920 25004 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25004 13086 16 0 212504 0
vsize: 850080
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 87610 70 0 0 25 0 11 0 839018098 870481920 25007 4294967295 134512640 134569956 3221224368 3221214512 1131252336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25007 13086 16 0 212504 0
vsize: 850080
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 88599 70 0 0 25 0 11 0 839018098 870481920 25018 4294967295 134512640 134569956 3221224368 3221214512 1131250904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25018 13086 16 0 212504 0
vsize: 850080
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 89588 71 0 0 25 0 11 0 839018098 870481920 25021 4294967295 134512640 134569956 3221224368 3221214512 1131250783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25021 13086 16 0 212504 0
vsize: 850080
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 90578 71 0 0 25 0 11 0 839018098 870481920 25033 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25033 13086 16 0 212504 0
vsize: 850080
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 91567 71 0 0 25 0 11 0 839018098 870481920 25044 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25044 13086 16 0 212504 0
vsize: 850080
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 92556 72 0 0 25 0 11 0 839018098 870481920 25048 4294967295 134512640 134569956 3221224368 3221214512 1131250871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25048 13086 16 0 212504 0
vsize: 850080
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 93546 72 0 0 25 0 11 0 839018098 870481920 25061 4294967295 134512640 134569956 3221224368 3221214600 1131400288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25061 13086 16 0 212504 0
vsize: 850080
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 94535 73 0 0 25 0 11 0 839018098 870481920 25072 4294967295 134512640 134569956 3221224368 3221214640 1131336606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25072 13086 16 0 212504 0
vsize: 850080
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 95524 73 0 0 25 0 11 0 839018098 870481920 25076 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25076 13086 16 0 212504 0
vsize: 850080
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 96515 73 0 0 25 0 11 0 839018098 870481920 25085 4294967295 134512640 134569956 3221224368 3221214512 1131251071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25085 13086 16 0 212504 0
vsize: 850080
[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 97504 74 0 0 25 0 11 0 839018098 870481920 25094 4294967295 134512640 134569956 3221224368 3221214512 1131251384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25094 13086 16 0 212504 0
vsize: 850080
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 98493 74 0 0 25 0 11 0 839018098 870481920 25099 4294967295 134512640 134569956 3221224368 3221214496 1131247039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25099 13086 16 0 212504 0
vsize: 850080
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 99483 75 0 0 25 0 11 0 839018098 870481920 25108 4294967295 134512640 134569956 3221224368 3221214600 1131395247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25108 13086 16 0 212504 0
vsize: 850080
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 100472 75 0 0 25 0 11 0 839018098 870481920 25112 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25112 13086 16 0 212504 0
vsize: 850080
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 101461 75 0 0 25 0 11 0 839018098 870481920 25122 4294967295 134512640 134569956 3221224368 3221214496 1131247051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25122 13086 16 0 212504 0
vsize: 850080
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 102450 76 0 0 25 0 11 0 839018098 870481920 25133 4294967295 134512640 134569956 3221224368 3221214600 1131394890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25133 13086 16 0 212504 0
vsize: 850080
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 103439 76 0 0 25 0 11 0 839018098 870481920 25135 4294967295 134512640 134569956 3221224368 3221214512 1131250875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25135 13086 16 0 212504 0
vsize: 850080
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 104429 77 0 0 25 0 11 0 839018098 870481920 25144 4294967295 134512640 134569956 3221224368 3221214712 1131319792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25144 13086 16 0 212504 0
vsize: 850080
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 105419 77 0 0 25 0 11 0 839018098 870481920 25149 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25149 13086 16 0 212504 0
vsize: 850080
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 106410 77 0 0 25 0 11 0 839018098 870481920 25151 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25151 13086 16 0 212504 0
vsize: 850080
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 107399 78 0 0 25 0 11 0 839018098 870481920 25161 4294967295 134512640 134569956 3221224368 3221214512 1131251071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25161 13086 16 0 212504 0
vsize: 850080
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7385
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 108388 78 0 0 25 0 11 0 839018098 870481920 25163 4294967295 134512640 134569956 3221224368 3221214512 1131251430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25163 13086 16 0 212504 0
vsize: 850080
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 109378 78 0 0 25 0 11 0 839018098 870481920 25171 4294967295 134512640 134569956 3221224368 3221214600 1131394902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25171 13086 16 0 212504 0
vsize: 850080
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 110367 79 0 0 25 0 11 0 839018098 870481920 25174 4294967295 134512640 134569956 3221224368 3221214600 1131397116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25174 13086 16 0 212504 0
vsize: 850080
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 111354 79 0 0 25 0 11 0 839018098 870481920 25191 4294967295 134512640 134569956 3221224368 3221214512 1131250925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25191 13086 16 0 212504 0
vsize: 850080
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 112341 79 0 0 25 0 11 0 839018098 870481920 25198 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25198 13086 16 0 212504 0
vsize: 850080
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 113329 80 0 0 25 0 11 0 839018098 870481920 25225 4294967295 134512640 134569956 3221224368 3221214600 1131400547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25225 13086 16 0 212504 0
vsize: 850080
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 114318 80 0 0 25 0 11 0 839018098 870481920 25229 4294967295 134512640 134569956 3221224368 3221214600 1131396109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25229 13086 16 0 212504 0
vsize: 850080
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 115307 80 0 0 25 0 11 0 839018098 870481920 25242 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25242 13086 16 0 212504 0
vsize: 850080
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 116296 81 0 0 25 0 11 0 839018098 870481920 25251 4294967295 134512640 134569956 3221224368 3221214600 1131395118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25251 13086 16 0 212504 0
vsize: 850080
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 117284 82 0 0 25 0 11 0 839018098 870481920 25256 4294967295 134512640 134569956 3221224368 3221214600 1131396616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25256 13086 16 0 212504 0
vsize: 850080
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 118272 82 0 0 25 0 11 0 839018098 870481920 25266 4294967295 134512640 134569956 3221224368 3221214600 1131396616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25266 13086 16 0 212504 0
vsize: 850080
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 119259 82 0 0 25 0 11 0 839018098 870481920 25282 4294967295 134512640 134569956 3221224368 3221214512 1131250921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25282 13086 16 0 212504 0
vsize: 850080
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7386
Raw data (stat): 7308 (java) R 7307 22056 22055 0 -1 0 18139 3 1 0 120248 83 0 0 25 0 11 0 839018098 870481920 25286 4294967295 134512640 134569956 3221224368 3221214664 1131272563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212520 25286 13086 16 0 212504 0
vsize: 850080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7388
Raw data (stat): 7308 (java) Z 7307 22056 22055 0 -1 1036 18139 16801 1 0 120257 88 3443 54 24 0 1 0 839018098 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): 1220.23
CPU time (s): 1238.43
CPU user time (s): 1237.01
CPU system time (s): 1.42178
CPU usage (%): 101.491
Max. virtual memory (Kb): 851104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-31
#### END VERIFIER DATA ####