PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-noswot.opb
MD5SUM	9b64c494b06e0d267a16a958bcbc40bb
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	164.902
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 30046

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 14:10:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21448 boxname=wulflinc26 idbench=1436 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9b64c494b06e0d267a16a958bcbc40bb  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-noswot.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-noswot.opb
IDLAUNCH: 21448
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        349248 kB
Buffers:         33284 kB
Cached:         628856 kB
SwapCached:        656 kB
Active:         119536 kB
Inactive:       545288 kB
HighTotal:      131008 kB
HighFree:        13776 kB
LowTotal:       903652 kB
LowFree:        335472 kB
SwapTotal:     2097892 kB
SwapFree:      2096876 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6004 kB
Slab:            14964 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:30:42 (client local time) WITH STATUS 143 IN 1216.76 SECONDS
stats: 21448 0 1216.76 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/wulflinc26/normalized-mps-v2-13-7-noswot.opb
c reading problem ... done. Time 3.263 ms.
c #vars     1060
c #constraints  209
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  -5 		Current CPU time: 4.50 ms
c CURRENT OPTIMUM=                  -6 		Current CPU time: 6.45 ms
c CURRENT OPTIMUM=                  -7 		Current CPU time: 7.17 ms
c CURRENT OPTIMUM=                  -9 		Current CPU time: 10.75 ms
c CURRENT OPTIMUM=                 -10 		Current CPU time: 11.31 ms
c CURRENT OPTIMUM=                 -12 		Current CPU time: 17.31 ms
c CURRENT OPTIMUM=                 -14 		Current CPU time: 17.91 ms
c CURRENT OPTIMUM=                 -19 		Current CPU time: 30.85 ms
c CURRENT OPTIMUM=                 -21 		Current CPU time: 31.75 ms
c CURRENT OPTIMUM=                 -30 		Current CPU time: 777.66 ms
c CURRENT OPTIMUM=                 -31 		Current CPU time: 1098.89 ms
c starts	: 14
c conflicts	: 580
c decisions	: 19776
c propagations	: 92401
c inspects	: 2004052
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 580
c root simplifications	: 590
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.258
#### 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.78 0.95 0.98 2/54 4938
Raw data (stat): 4938 (runsolver) R 4937 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839498468 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.12 1.02 1.01 4/64 4951
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18136 3 1 0 692 42 0 0 25 0 11 0 839498468 870924288 22903 4294967295 134512640 134569956 3221224368 3221214632 1131252104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212628 22903 13086 16 0 212612 0
vsize: 850512
[startup+20.0094 s]
Raw data (loadavg): 1.25 1.05 1.02 2/64 4955
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18154 3 1 0 1601 42 0 0 25 0 11 0 839498468 873127936 23936 4294967295 134512640 134569956 3221224368 3221214560 1131252100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213166 23936 13086 16 0 213150 0
vsize: 852664
[startup+30.0101 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 4955
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18154 3 1 0 2544 42 0 0 24 0 11 0 839498468 866754560 22435 4294967295 134512640 134569956 3221224368 3221214840 1130916188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211610 22435 13086 16 0 211594 0
vsize: 846440
[startup+40.0104 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18155 3 1 0 3493 43 0 0 25 0 11 0 839498468 866754560 22531 4294967295 134512640 134569956 3221224368 3221214560 1131252159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211610 22531 13086 16 0 211594 0
vsize: 846440
[startup+50.0105 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18155 3 1 0 4449 44 0 0 25 0 11 0 839498468 865083392 22528 4294967295 134512640 134569956 3221224368 3221214648 1131427412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 22528 13086 16 0 211186 0
vsize: 844808
[startup+60.0107 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 5427 44 0 0 25 0 11 0 839498468 865083392 22620 4294967295 134512640 134569956 3221224368 3221214560 1131251334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22620 13086 16 0 211186 0
vsize: 844808
[startup+70.0104 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 6412 44 0 0 25 0 11 0 839498468 865083392 22680 4294967295 134512640 134569956 3221224368 3221214648 1131422120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22680 13086 16 0 211186 0
vsize: 844808
[startup+80.0115 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 7397 44 0 0 25 0 11 0 839498468 865083392 22728 4294967295 134512640 134569956 3221224368 3221214544 1131247469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22728 13086 16 0 211186 0
vsize: 844808
[startup+90.0122 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 8383 45 0 0 24 0 11 0 839498468 865083392 22758 4294967295 134512640 134569956 3221224368 3221214600 1131193821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22758 13086 16 0 211186 0
vsize: 844808
[startup+100.011 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 9370 45 0 0 25 0 11 0 839498468 865083392 22792 4294967295 134512640 134569956 3221224368 3221214644 1131248200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22792 13086 16 0 211186 0
vsize: 844808
[startup+110.013 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 10356 45 0 0 25 0 11 0 839498468 865083392 22826 4294967295 134512640 134569956 3221224368 3221214560 1131252104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22826 13086 16 0 211186 0
vsize: 844808
[startup+120.013 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 11342 45 0 0 25 0 11 0 839498468 865083392 22856 4294967295 134512640 134569956 3221224368 3221214560 1131251305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22856 13086 16 0 211186 0
vsize: 844808
[startup+130.013 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 12329 46 0 0 25 0 11 0 839498468 865083392 22887 4294967295 134512640 134569956 3221224368 3221214560 1131251305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22887 13086 16 0 211186 0
vsize: 844808
[startup+140.014 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 13320 46 0 0 25 0 11 0 839498468 865083392 22911 4294967295 134512640 134569956 3221224368 3221214648 1131420209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22911 13086 16 0 211186 0
vsize: 844808
[startup+150.014 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 14309 47 0 0 25 0 11 0 839498468 865083392 22932 4294967295 134512640 134569956 3221224368 3221214648 1131426717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22932 13086 16 0 211186 0
vsize: 844808
[startup+160.015 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 15299 47 0 0 25 0 11 0 839498468 865083392 22946 4294967295 134512640 134569956 3221224368 3221214648 1131427730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22946 13086 16 0 211186 0
vsize: 844808
[startup+170.015 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 16288 47 0 0 25 0 11 0 839498468 865083392 22961 4294967295 134512640 134569956 3221224368 3221214648 1131426727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22961 13086 16 0 211186 0
vsize: 844808
[startup+180.015 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 17277 48 0 0 25 0 11 0 839498468 865083392 22981 4294967295 134512640 134569956 3221224368 3221214560 1131251415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22981 13086 16 0 211186 0
vsize: 844808
[startup+190.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 18267 48 0 0 25 0 11 0 839498468 865083392 22994 4294967295 134512640 134569956 3221224368 3221214560 1131251312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 22994 13086 16 0 211186 0
vsize: 844808
[startup+200.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 19258 48 0 0 25 0 11 0 839498468 865083392 23011 4294967295 134512640 134569956 3221224368 3221214544 1131247518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23011 13086 16 0 211186 0
vsize: 844808
[startup+210.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 20247 48 0 0 25 0 11 0 839498468 865083392 23025 4294967295 134512640 134569956 3221224368 3221214648 1131427412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23025 13086 16 0 211186 0
vsize: 844808
[startup+220.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 21238 49 0 0 25 0 11 0 839498468 865083392 23042 4294967295 134512640 134569956 3221224368 3221214640 1131178364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23042 13086 16 0 211186 0
vsize: 844808
[startup+230.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 22228 49 0 0 25 0 11 0 839498468 865083392 23058 4294967295 134512640 134569956 3221224368 3221214312 1131702272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23058 13086 16 0 211186 0
vsize: 844808
[startup+240.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4957
Raw data (stat): 4938 (java) S 4937 20687 20686 0 -1 0 18156 3 1 0 23217 50 0 0 25 0 11 0 839498468 865083392 23070 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23070 13086 16 0 211186 0
vsize: 844808
[startup+250.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 24207 50 0 0 25 0 11 0 839498468 865083392 23079 4294967295 134512640 134569956 3221224368 3221214440 1131701527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23079 13086 16 0 211186 0
vsize: 844808
[startup+260.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 25197 51 0 0 25 0 11 0 839498468 865083392 23095 4294967295 134512640 134569956 3221224368 3221214640 1131178364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23095 13086 16 0 211186 0
vsize: 844808
[startup+270.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 26188 51 0 0 25 0 11 0 839498468 865083392 23110 4294967295 134512640 134569956 3221224368 3221214648 1131426796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23110 13086 16 0 211186 0
vsize: 844808
[startup+280.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 27177 51 0 0 25 0 11 0 839498468 865083392 23123 4294967295 134512640 134569956 3221224368 3221214560 1131251424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23123 13086 16 0 211186 0
vsize: 844808
[startup+290.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 28168 51 0 0 25 0 11 0 839498468 865083392 23138 4294967295 134512640 134569956 3221224368 3221214648 1131422008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23138 13086 16 0 211186 0
vsize: 844808
[startup+300.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 29159 52 0 0 25 0 11 0 839498468 865083392 23150 4294967295 134512640 134569956 3221224368 3221214600 1131193792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23150 13086 16 0 211186 0
vsize: 844808
[startup+310.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 30149 52 0 0 25 0 11 0 839498468 865083392 23160 4294967295 134512640 134569956 3221224368 3221214648 1131427412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23160 13086 16 0 211186 0
vsize: 844808
[startup+320.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 31139 52 0 0 25 0 11 0 839498468 865083392 23174 4294967295 134512640 134569956 3221224368 3221214648 1131422120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23174 13086 16 0 211186 0
vsize: 844808
[startup+330.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 32128 52 0 0 25 0 11 0 839498468 865083392 23182 4294967295 134512640 134569956 3221224368 3221214544 1131247500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23182 13086 16 0 211186 0
vsize: 844808
[startup+340.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 33119 52 0 0 25 0 11 0 839498468 865083392 23200 4294967295 134512640 134569956 3221224368 3221214648 1131427695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23200 13086 16 0 211186 0
vsize: 844808
[startup+350.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 34109 53 0 0 25 0 11 0 839498468 865083392 23208 4294967295 134512640 134569956 3221224368 3221214744 1131300453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23208 13086 16 0 211186 0
vsize: 844808
[startup+360.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 35099 53 0 0 20 0 11 0 839498468 865083392 23222 4294967295 134512640 134569956 3221224368 3221214540 1131717817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23222 13086 16 0 211186 0
vsize: 844808
[startup+370.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 36088 53 0 0 25 0 11 0 839498468 865083392 23245 4294967295 134512640 134569956 3221224368 3221214560 1131251505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23245 13086 16 0 211186 0
vsize: 844808
[startup+380.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 37079 53 0 0 25 0 11 0 839498468 865083392 23254 4294967295 134512640 134569956 3221224368 3221214648 1131421210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23254 13086 16 0 211186 0
vsize: 844808
[startup+390.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 38069 53 0 0 25 0 11 0 839498468 865083392 23267 4294967295 134512640 134569956 3221224368 3221214600 1131193804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23267 13086 16 0 211186 0
vsize: 844808
[startup+400.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 39060 54 0 0 25 0 11 0 839498468 865083392 23276 4294967295 134512640 134569956 3221224368 3221214288 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23276 13086 16 0 211186 0
vsize: 844808
[startup+410.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 40051 54 0 0 25 0 11 0 839498468 865083392 23280 4294967295 134512640 134569956 3221224368 3221214568 1131426796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23280 13086 16 0 211186 0
vsize: 844808
[startup+420.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 41041 54 0 0 25 0 11 0 839498468 865083392 23295 4294967295 134512640 134569956 3221224368 3221214568 1131421572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23295 13086 16 0 211186 0
vsize: 844808
[startup+430.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 42032 55 0 0 25 0 11 0 839498468 865083392 23299 4294967295 134512640 134569956 3221224368 3221214480 1131251192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23299 13086 16 0 211186 0
vsize: 844808
[startup+440.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 43022 55 0 0 25 0 11 0 839498468 865083392 23311 4294967295 134512640 134569956 3221224368 3221214480 1131251313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23311 13086 16 0 211186 0
vsize: 844808
[startup+450.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 44012 56 0 0 25 0 11 0 839498468 865083392 23318 4294967295 134512640 134569956 3221224368 3221214480 1131251179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23318 13086 16 0 211186 0
vsize: 844808
[startup+460.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 45001 56 0 0 25 0 11 0 839498468 865083392 23333 4294967295 134512640 134569956 3221224368 3221214568 1131426796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23333 13086 16 0 211186 0
vsize: 844808
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 45992 57 0 0 25 0 11 0 839498468 865083392 23342 4294967295 134512640 134569956 3221224368 3221214568 1131423189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23342 13086 16 0 211186 0
vsize: 844808
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 46982 57 0 0 25 0 11 0 839498468 865083392 23347 4294967295 134512640 134569956 3221224368 3221214464 1131248185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23347 13086 16 0 211186 0
vsize: 844808
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 47972 58 0 0 25 0 11 0 839498468 865083392 23364 4294967295 134512640 134569956 3221224368 3221214568 1131426796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23364 13086 16 0 211186 0
vsize: 844808
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 48962 58 0 0 25 0 11 0 839498468 865083392 23370 4294967295 134512640 134569956 3221224368 3221214564 1131193760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23370 13086 16 0 211186 0
vsize: 844808
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 49953 58 0 0 25 0 11 0 839498468 865083392 23376 4294967295 134512640 134569956 3221224368 3221214480 1131251459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23376 13086 16 0 211186 0
vsize: 844808
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 50943 59 0 0 25 0 11 0 839498468 865083392 23388 4294967295 134512640 134569956 3221224368 3221214568 1131419973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23388 13086 16 0 211186 0
vsize: 844808
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 51933 59 0 0 25 0 11 0 839498468 865083392 23393 4294967295 134512640 134569956 3221224368 3221214480 1131251305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23393 13086 16 0 211186 0
vsize: 844808
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 52924 59 0 0 25 0 11 0 839498468 865083392 23407 4294967295 134512640 134569956 3221224368 3221214480 1131251491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23407 13086 16 0 211186 0
vsize: 844808
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 53915 59 0 0 25 0 11 0 839498468 865083392 23413 4294967295 134512640 134569956 3221224368 3221214568 1131420147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23413 13086 16 0 211186 0
vsize: 844808
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 54905 60 0 0 25 0 11 0 839498468 865083392 23421 4294967295 134512640 134569956 3221224368 3221214560 1131178311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23421 13086 16 0 211186 0
vsize: 844808
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 55895 60 0 0 25 0 11 0 839498468 865083392 23426 4294967295 134512640 134569956 3221224368 3221214520 1131193808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23426 13086 16 0 211186 0
vsize: 844808
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 56885 60 0 0 25 0 11 0 839498468 865083392 23438 4294967295 134512640 134569956 3221224368 3221214568 1131420261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23438 13086 16 0 211186 0
vsize: 844808
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 57874 61 0 0 25 0 11 0 839498468 865083392 23442 4294967295 134512640 134569956 3221224368 3221214768 1131386983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23442 13086 16 0 211186 0
vsize: 844808
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 58863 61 0 0 25 0 11 0 839498468 865083392 23458 4294967295 134512640 134569956 3221224368 3221214568 1131422120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23458 13086 16 0 211186 0
vsize: 844808
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 59852 61 0 0 25 0 11 0 839498468 865083392 23472 4294967295 134512640 134569956 3221224368 3221214520 1131193804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23472 13086 16 0 211186 0
vsize: 844808
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 60842 62 0 0 25 0 11 0 839498468 865083392 23482 4294967295 134512640 134569956 3221224368 3221214480 1131251305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23482 13086 16 0 211186 0
vsize: 844808
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 61832 62 0 0 25 0 11 0 839498468 865083392 23488 4294967295 134512640 134569956 3221224368 3221214480 1131251167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23488 13086 16 0 211186 0
vsize: 844808
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 62823 63 0 0 25 0 11 0 839498468 865083392 23495 4294967295 134512640 134569956 3221224368 3221214240 1131702332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23495 13086 16 0 211186 0
vsize: 844808
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 63813 63 0 0 25 0 11 0 839498468 865083392 23504 4294967295 134512640 134569956 3221224368 3221214560 1131178364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23504 13086 16 0 211186 0
vsize: 844808
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 64803 63 0 0 25 0 11 0 839498468 865083392 23513 4294967295 134512640 134569956 3221224368 3221214568 1131426991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23513 13086 16 0 211186 0
vsize: 844808
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 65793 64 0 0 24 0 11 0 839498468 865083392 23519 4294967295 134512640 134569956 3221224368 3221214480 1131251296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23519 13086 16 0 211186 0
vsize: 844808
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 66784 64 0 0 25 0 11 0 839498468 865083392 23529 4294967295 134512640 134569956 3221224368 3221214568 1131426791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211202 23529 13086 16 0 211186 0
vsize: 844808
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 67774 64 0 0 25 0 11 0 839498468 865083392 23541 4294967295 134512640 134569956 3221224368 3221214464 1131248165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23541 13086 16 0 211186 0
vsize: 844808
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 68764 64 0 0 25 0 11 0 839498468 865083392 23546 4294967295 134512640 134569956 3221224368 3221214480 1131251424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23546 13086 16 0 211186 0
vsize: 844808
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 69755 64 0 0 25 0 11 0 839498468 865083392 23557 4294967295 134512640 134569956 3221224368 3221214520 1131193784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23557 13086 16 0 211186 0
vsize: 844808
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 70745 64 0 0 25 0 11 0 839498468 865083392 23568 4294967295 134512640 134569956 3221224368 3221214480 1131251296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23568 13086 16 0 211186 0
vsize: 844808
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 71735 64 0 0 25 0 11 0 839498468 865083392 23578 4294967295 134512640 134569956 3221224368 3221214480 1131251305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23578 13086 16 0 211186 0
vsize: 844808
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 72726 64 0 0 25 0 11 0 839498468 865083392 23582 4294967295 134512640 134569956 3221224368 3221214564 1131248200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23582 13086 16 0 211186 0
vsize: 844808
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 73716 65 0 0 25 0 11 0 839498468 865083392 23594 4294967295 134512640 134569956 3221224368 3221214480 1131251305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23594 13086 16 0 211186 0
vsize: 844808
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 74707 65 0 0 25 0 11 0 839498468 865083392 23602 4294967295 134512640 134569956 3221224368 3221214480 1131251975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23602 13086 16 0 211186 0
vsize: 844808
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4957
Raw data (stat): 4938 (java) S 4937 20687 20686 0 -1 0 18156 3 1 0 75697 65 0 0 25 0 11 0 839498468 865083392 23607 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23607 13086 16 0 211186 0
vsize: 844808
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 76688 65 0 0 25 0 11 0 839498468 865083392 23619 4294967295 134512640 134569956 3221224368 3221214464 1131247549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23619 13086 16 0 211186 0
vsize: 844808
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 77679 65 0 0 25 0 11 0 839498468 865083392 23630 4294967295 134512640 134569956 3221224368 3221214480 1131251305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23630 13086 16 0 211186 0
vsize: 844808
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 78668 65 0 0 25 0 11 0 839498468 865083392 23635 4294967295 134512640 134569956 3221224368 3221214480 1131251261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23635 13086 16 0 211186 0
vsize: 844808
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 79657 65 0 0 25 0 11 0 839498468 865083392 23638 4294967295 134512640 134569956 3221224368 3221214480 1131251164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23638 13086 16 0 211186 0
vsize: 844808
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 80645 65 0 0 25 0 11 0 839498468 865083392 23660 4294967295 134512640 134569956 3221224368 3221214560 1131178335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23660 13086 16 0 211186 0
vsize: 844808
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 81636 65 0 0 25 0 11 0 839498468 865083392 23665 4294967295 134512640 134569956 3221224368 3221214568 1131426991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23665 13086 16 0 211186 0
vsize: 844808
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 82625 65 0 0 25 0 11 0 839498468 865083392 23681 4294967295 134512640 134569956 3221224368 3221214568 1131427412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23681 13086 16 0 211186 0
vsize: 844808
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 83614 65 0 0 25 0 11 0 839498468 865083392 23691 4294967295 134512640 134569956 3221224368 3221214480 1131252110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23691 13086 16 0 211186 0
vsize: 844808
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 84604 65 0 0 25 0 11 0 839498468 865083392 23695 4294967295 134512640 134569956 3221224368 3221214520 1131193817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23695 13086 16 0 211186 0
vsize: 844808
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 85593 65 0 0 25 0 11 0 839498468 865083392 23707 4294967295 134512640 134569956 3221224368 3221214568 1131421572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23707 13086 16 0 211186 0
vsize: 844808
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 86584 65 0 0 25 0 11 0 839498468 865083392 23718 4294967295 134512640 134569956 3221224368 3221214464 1131247415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23718 13086 16 0 211186 0
vsize: 844808
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 87573 65 0 0 25 0 11 0 839498468 865083392 23721 4294967295 134512640 134569956 3221224368 3221214568 1131422307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23721 13086 16 0 211186 0
vsize: 844808
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 88563 65 0 0 25 0 11 0 839498468 865083392 23732 4294967295 134512640 134569956 3221224368 3221214480 1131251179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23732 13086 16 0 211186 0
vsize: 844808
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 89552 66 0 0 25 0 11 0 839498468 865083392 23735 4294967295 134512640 134569956 3221224368 3221214536 1131213128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23735 13086 16 0 211186 0
vsize: 844808
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 90541 66 0 0 25 0 11 0 839498468 865083392 23747 4294967295 134512640 134569956 3221224368 3221213932 1080019531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23747 13086 16 0 211186 0
vsize: 844808
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 91529 66 0 0 24 0 11 0 839498468 865083392 23758 4294967295 134512640 134569956 3221224368 3221214568 1131421161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23758 13086 16 0 211186 0
vsize: 844808
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 92519 66 0 0 24 0 11 0 839498468 865083392 23769 4294967295 134512640 134569956 3221224368 3221214480 1131251296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23769 13086 16 0 211186 0
vsize: 844808
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 93509 66 0 0 25 0 11 0 839498468 865083392 23775 4294967295 134512640 134569956 3221224368 3221214560 1131178335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23775 13086 16 0 211186 0
vsize: 844808
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 94498 66 0 0 25 0 11 0 839498468 865083392 23788 4294967295 134512640 134569956 3221224368 3221214536 1131213720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23788 13086 16 0 211186 0
vsize: 844808
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 95487 66 0 0 25 0 11 0 839498468 865083392 23791 4294967295 134512640 134569956 3221224368 3221214480 1131251515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23791 13086 16 0 211186 0
vsize: 844808
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 96477 66 0 0 25 0 11 0 839498468 865083392 23801 4294967295 134512640 134569956 3221224368 3221214568 1131420147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23801 13086 16 0 211186 0
vsize: 844808
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 97466 66 0 0 24 0 11 0 839498468 865083392 23811 4294967295 134512640 134569956 3221224368 3221214568 1131427412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23811 13086 16 0 211186 0
vsize: 844808
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 98457 66 0 0 25 0 11 0 839498468 865083392 23813 4294967295 134512640 134569956 3221224368 3221214568 1131422120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23813 13086 16 0 211186 0
vsize: 844808
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 99446 66 0 0 25 0 11 0 839498468 865083392 23823 4294967295 134512640 134569956 3221224368 3221214480 1131251305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23823 13086 16 0 211186 0
vsize: 844808
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 100435 67 0 0 25 0 11 0 839498468 865083392 23834 4294967295 134512640 134569956 3221224368 3221214480 1131251305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23834 13086 16 0 211186 0
vsize: 844808
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 101424 67 0 0 25 0 11 0 839498468 865083392 23837 4294967295 134512640 134569956 3221224368 3221214480 1131251479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23837 13086 16 0 211186 0
vsize: 844808
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 102413 67 0 0 25 0 11 0 839498468 865083392 23848 4294967295 134512640 134569956 3221224368 3221214144 1131683676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23848 13086 16 0 211186 0
vsize: 844808
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 103404 67 0 0 25 0 11 0 839498468 865083392 23857 4294967295 134512640 134569956 3221224368 3221214568 1131426796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23857 13086 16 0 211186 0
vsize: 844808
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 104394 67 0 0 25 0 11 0 839498468 865083392 23860 4294967295 134512640 134569956 3221224368 3221214480 1131251733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23860 13086 16 0 211186 0
vsize: 844808
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 105384 67 0 0 25 0 11 0 839498468 865083392 23863 4294967295 134512640 134569956 3221224368 3221214152 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23863 13086 16 0 211186 0
vsize: 844808
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 106374 67 0 0 25 0 11 0 839498468 865083392 23872 4294967295 134512640 134569956 3221224368 3221214480 1131251491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23872 13086 16 0 211186 0
vsize: 844808
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4958
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 107363 67 0 0 25 0 11 0 839498468 865083392 23876 4294967295 134512640 134569956 3221224368 3221214480 1131251549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23876 13086 16 0 211186 0
vsize: 844808
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 108353 67 0 0 25 0 11 0 839498468 865083392 23878 4294967295 134512640 134569956 3221224368 3221214480 1131251379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23878 13086 16 0 211186 0
vsize: 844808
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 109341 67 0 0 25 0 11 0 839498468 865083392 23886 4294967295 134512640 134569956 3221224368 3221214480 1131251305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23886 13086 16 0 211186 0
vsize: 844808
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 110329 67 0 0 25 0 11 0 839498468 865083392 23903 4294967295 134512640 134569956 3221224368 3221214376 1131683704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23903 13086 16 0 211186 0
vsize: 844808
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 111318 67 0 0 25 0 11 0 839498468 865083392 23906 4294967295 134512640 134569956 3221224368 3221214480 1131251336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23906 13086 16 0 211186 0
vsize: 844808
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 112306 67 0 0 25 0 11 0 839498468 865083392 23921 4294967295 134512640 134569956 3221224368 3221214568 1131427412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23921 13086 16 0 211186 0
vsize: 844808
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 113294 68 0 0 25 0 11 0 839498468 865083392 23941 4294967295 134512640 134569956 3221224368 3221214568 1131427035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23941 13086 16 0 211186 0
vsize: 844808
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 114283 68 0 0 25 0 11 0 839498468 865083392 23944 4294967295 134512640 134569956 3221224368 3221214480 1131251179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23944 13086 16 0 211186 0
vsize: 844808
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 115272 68 0 0 25 0 11 0 839498468 865083392 23957 4294967295 134512640 134569956 3221224368 3221214480 1131251192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23957 13086 16 0 211186 0
vsize: 844808
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 116261 68 0 0 25 0 11 0 839498468 865083392 23969 4294967295 134512640 134569956 3221224368 3221214480 1131251483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23969 13086 16 0 211186 0
vsize: 844808
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 117249 68 0 0 25 0 11 0 839498468 865083392 23971 4294967295 134512640 134569956 3221224368 3221214568 1131421404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23971 13086 16 0 211186 0
vsize: 844808
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) S 4937 20687 20686 0 -1 0 18156 3 1 0 118236 68 0 0 25 0 11 0 839498468 865083392 23981 4294967295 134512640 134569956 3221224368 3221213184 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23981 13086 16 0 211186 0
vsize: 844808
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 119225 68 0 0 25 0 11 0 839498468 865083392 23998 4294967295 134512640 134569956 3221224368 3221214480 1131251345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 23998 13086 16 0 211186 0
vsize: 844808
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4959
Raw data (stat): 4938 (java) R 4937 20687 20686 0 -1 0 18156 3 1 0 120213 68 0 0 25 0 11 0 839498468 865083392 24019 4294967295 134512640 134569956 3221224368 3221214560 1131178364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211202 24019 13086 16 0 211186 0
vsize: 844808
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.34 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4961
Raw data (stat): 4938 (java) Z 4937 20687 20686 0 -1 1036 18156 2907 1 0 120235 68 1350 21 25 0 1 0 839498468 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.34
CPU time (s): 1216.76
CPU user time (s): 1215.86
CPU system time (s): 0.901862
CPU usage (%): 99.7068
Max. virtual memory (Kb): 852664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-31
#### END VERIFIER DATA ####