PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb
MD5SUM	d78b2a3709ef5514ef5552f6badb37ec
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8460
Biggest coefficient in the objective function	10788957847552
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	603693086370759
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	33554432000000
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	603693086370759
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.095984
Number of variables	10740
Total number of constraints	388
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	388
Minimum length of a constraint	30
Maximum length of a constraint	600
Trace number 29475

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        795344 kB
Buffers:         26860 kB
Cached:         190612 kB
SwapCached:        672 kB
Active:          49360 kB
Inactive:       170168 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        795092 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14108 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:25:13 (client local time) WITH STATUS 143 IN 1228.12 SECONDS
stats: 20878 7 1228.12 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/wulflinc15/normalized-mps-v2-20-10-scorpion.opb
c reading problem ... done. Time 40.627 ms.
c #vars     10740
c #constraints  644
c starts	: 6
c conflicts	: 1991
c decisions	: 19094
c propagations	: 41653
c inspects	: 3008263
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1991
c root simplifications	: 854
s UNKNOWN
c Total CPU time (ms) : 1229.21
#### 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.93 0.98 0.99 2/54 6540
Raw data (stat): 6540 (runsolver) R 6539 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779070257 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 6549
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18024 0 1 0 875 37 0 0 25 0 10 0 779070257 854069248 19345 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 19345 13086 16 0 208497 0
vsize: 834052
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 6549
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18027 0 1 0 1769 38 0 0 25 0 10 0 779070257 856547328 20405 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209118 20405 13086 16 0 209102 0
vsize: 836472
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 6549
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18038 0 1 0 2569 38 0 0 25 0 10 0 779070257 857595904 21340 4294967295 134512640 134569956 3221224368 3221214672 1131182043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209374 21340 13086 16 0 209358 0
vsize: 837496
[startup+40.0078 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 6549
Raw data (stat): 6540 (java) S 6539 23514 23513 0 -1 0 18038 0 1 0 3433 39 0 0 25 0 10 0 779070257 856592384 21756 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209129 21757 13086 16 0 209113 0
vsize: 836516
[startup+50.0086 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 6550
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18076 0 1 0 4314 39 0 0 25 0 11 0 779070257 862478336 24563 4294967295 134512640 134569956 3221224368 3221214656 1131349005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210566 24563 13086 16 0 210550 0
vsize: 842264
[startup+60.0092 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 6550
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18078 0 1 0 5215 40 0 0 25 0 11 0 779070257 862478336 24638 4294967295 134512640 134569956 3221224368 3221214656 1131347969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210566 24638 13086 16 0 210550 0
vsize: 842264
[startup+70.0099 s]
Raw data (loadavg): 1.24 1.05 1.01 2/64 6550
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 6140 40 0 0 24 0 11 0 779070257 862478336 25500 4294967295 134512640 134569956 3221224368 3221214792 1131469601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 25500 13086 16 0 210550 0
vsize: 842264
[startup+80.011 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 6550
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 7110 40 0 0 25 0 11 0 779070257 862478336 25500 4294967295 134512640 134569956 3221224368 3221214656 1131348153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 25500 13086 16 0 210550 0
vsize: 842264
[startup+90.0112 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 8069 40 0 0 25 0 11 0 779070257 862478336 25500 4294967295 134512640 134569956 3221224368 3221214540 1131412000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 25500 13086 16 0 210550 0
vsize: 842264
[startup+100.012 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 9012 41 0 0 25 0 11 0 779070257 862478336 25557 4294967295 134512640 134569956 3221224368 3221214608 1131412081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 25557 13086 16 0 210550 0
vsize: 842264
[startup+110.013 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 9956 41 0 0 25 0 11 0 779070257 862478336 25715 4294967295 134512640 134569956 3221224368 3221214628 1131277644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210566 25715 13086 16 0 210550 0
vsize: 842264
[startup+120.013 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 10906 41 0 0 24 0 11 0 779070257 862478336 25923 4294967295 134512640 134569956 3221224368 3221214744 1131253532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 25923 13086 16 0 210550 0
vsize: 842264
[startup+130.014 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 11862 41 0 0 25 0 11 0 779070257 862478336 26119 4294967295 134512640 134569956 3221224368 3221214656 1131349392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26119 13086 16 0 210550 0
vsize: 842264
[startup+140.014 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 12830 41 0 0 25 0 11 0 779070257 862478336 26342 4294967295 134512640 134569956 3221224368 3221214488 1131431732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26342 13086 16 0 210550 0
vsize: 842264
[startup+150.015 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 13814 41 0 0 25 0 11 0 779070257 862478336 26457 4294967295 134512640 134569956 3221224368 3221214656 1131348255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26457 13086 16 0 210550 0
vsize: 842264
[startup+160.016 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 14802 41 0 0 25 0 11 0 779070257 862478336 26493 4294967295 134512640 134569956 3221224368 3221214656 1131348473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26493 13086 16 0 210550 0
vsize: 842264
[startup+170.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 15792 41 0 0 25 0 11 0 779070257 862478336 26517 4294967295 134512640 134569956 3221224368 3221214656 1131348073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26517 13086 16 0 210550 0
vsize: 842264
[startup+180.017 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 16780 41 0 0 25 0 11 0 779070257 862478336 26542 4294967295 134512640 134569956 3221224368 3221214656 1131349386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26542 13086 16 0 210550 0
vsize: 842264
[startup+190.018 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 17767 41 0 0 25 0 11 0 779070257 862478336 26563 4294967295 134512640 134569956 3221224368 3221214744 1131253527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26563 13086 16 0 210550 0
vsize: 842264
[startup+200.018 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 18749 42 0 0 24 0 11 0 779070257 862478336 26601 4294967295 134512640 134569956 3221224368 3221214640 1131335142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26601 13086 16 0 210550 0
vsize: 842264
[startup+210.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 19733 42 0 0 25 0 11 0 779070257 862478336 26626 4294967295 134512640 134569956 3221224368 3221214744 1131245056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26626 13086 16 0 210550 0
vsize: 842264
[startup+220.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 20719 42 0 0 25 0 11 0 779070257 862478336 26664 4294967295 134512640 134569956 3221224368 3221214640 1131335153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26664 13086 16 0 210550 0
vsize: 842264
[startup+230.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 21706 42 0 0 25 0 11 0 779070257 862478336 26745 4294967295 134512640 134569956 3221224368 3221214744 1131245192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26745 13086 16 0 210550 0
vsize: 842264
[startup+240.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 22693 43 0 0 24 0 11 0 779070257 862478336 26748 4294967295 134512640 134569956 3221224368 3221214640 1131335794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26748 13086 16 0 210550 0
vsize: 842264
[startup+250.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 23681 43 0 0 25 0 11 0 779070257 862478336 26756 4294967295 134512640 134569956 3221224368 3221214744 1131253527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26756 13086 16 0 210550 0
vsize: 842264
[startup+260.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 24662 43 0 0 24 0 11 0 779070257 862478336 26793 4294967295 134512640 134569956 3221224368 3221214656 1131348073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26793 13086 16 0 210550 0
vsize: 842264
[startup+270.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18080 0 1 0 25645 43 0 0 25 0 11 0 779070257 862478336 26825 4294967295 134512640 134569956 3221224368 3221214744 1131253532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26825 13086 16 0 210550 0
vsize: 842264
[startup+280.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) S 6539 23514 23513 0 -1 0 18080 0 1 0 26624 43 0 0 25 0 11 0 779070257 862478336 26832 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26832 13086 16 0 210550 0
vsize: 842264
[startup+290.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 27601 43 0 0 25 0 11 0 779070257 862478336 26921 4294967295 134512640 134569956 3221224368 3221214656 1131348073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26921 13086 16 0 210550 0
vsize: 842264
[startup+300.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 28584 44 0 0 25 0 11 0 779070257 862478336 26966 4294967295 134512640 134569956 3221224368 3221214896 1131184064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26966 13086 16 0 210550 0
vsize: 842264
[startup+310.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 29564 44 0 0 25 0 11 0 779070257 862478336 26975 4294967295 134512640 134569956 3221224368 3221214528 1131668615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26975 13086 16 0 210550 0
vsize: 842264
[startup+320.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 30541 44 0 0 25 0 11 0 779070257 862478336 26990 4294967295 134512640 134569956 3221224368 3221214656 1131348014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 26990 13086 16 0 210550 0
vsize: 842264
[startup+330.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 31517 44 0 0 25 0 11 0 779070257 862478336 27059 4294967295 134512640 134569956 3221224368 3221214792 1131681847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27059 13086 16 0 210550 0
vsize: 842264
[startup+340.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 32494 44 0 0 25 0 11 0 779070257 862478336 27136 4294967295 134512640 134569956 3221224368 3221214192 1131671956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27136 13086 16 0 210550 0
vsize: 842264
[startup+350.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) S 6539 23514 23513 0 -1 0 18081 0 1 0 33472 44 0 0 25 0 11 0 779070257 862478336 27205 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27205 13086 16 0 210550 0
vsize: 842264
[startup+360.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) S 6539 23514 23513 0 -1 0 18081 0 1 0 34449 44 0 0 25 0 11 0 779070257 862478336 27268 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27268 13086 16 0 210550 0
vsize: 842264
[startup+370.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 35428 45 0 0 24 0 11 0 779070257 862478336 27336 4294967295 134512640 134569956 3221224368 3221214824 1131206489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27336 13086 16 0 210550 0
vsize: 842264
[startup+380.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 36412 45 0 0 25 0 11 0 779070257 862478336 27382 4294967295 134512640 134569956 3221224368 3221214656 1131347924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27382 13086 16 0 210550 0
vsize: 842264
[startup+390.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 37393 45 0 0 25 0 11 0 779070257 862478336 27450 4294967295 134512640 134569956 3221224368 3221214568 1131335051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27450 13086 16 0 210550 0
vsize: 842264
[startup+400.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 38375 45 0 0 25 0 11 0 779070257 862478336 27503 4294967295 134512640 134569956 3221224368 3221214224 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27503 13086 16 0 210550 0
vsize: 842264
[startup+410.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 39358 45 0 0 25 0 11 0 779070257 862478336 27575 4294967295 134512640 134569956 3221224368 3221214056 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27575 13086 16 0 210550 0
vsize: 842264
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 40342 45 0 0 25 0 11 0 779070257 862478336 27621 4294967295 134512640 134569956 3221224368 3221214584 1131348073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27621 13086 16 0 210550 0
vsize: 842264
[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 41323 45 0 0 25 0 11 0 779070257 862478336 27673 4294967295 134512640 134569956 3221224368 3221214584 1131348050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27673 13086 16 0 210550 0
vsize: 842264
[startup+440.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 42304 45 0 0 25 0 11 0 779070257 862478336 27728 4294967295 134512640 134569956 3221224368 3221214672 1131253527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27728 13086 16 0 210550 0
vsize: 842264
[startup+450.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 43285 45 0 0 25 0 11 0 779070257 862478336 27787 4294967295 134512640 134569956 3221224368 3221214664 1131219068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27787 13086 16 0 210550 0
vsize: 842264
[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 44268 46 0 0 25 0 11 0 779070257 862478336 27843 4294967295 134512640 134569956 3221224368 3221213976 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27843 13086 16 0 210550 0
vsize: 842264
[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 45255 46 0 0 25 0 11 0 779070257 862478336 27888 4294967295 134512640 134569956 3221224368 3221214584 1131348014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27888 13086 16 0 210550 0
vsize: 842264
[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 46242 46 0 0 25 0 11 0 779070257 862478336 27915 4294967295 134512640 134569956 3221224368 3221214584 1131348297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27915 13086 16 0 210550 0
vsize: 842264
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 47226 46 0 0 25 0 11 0 779070257 862478336 27945 4294967295 134512640 134569956 3221224368 3221214672 1131245188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27945 13086 16 0 210550 0
vsize: 842264
[startup+500.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 48211 46 0 0 25 0 11 0 779070257 862478336 27970 4294967295 134512640 134569956 3221224368 3221214584 1131348073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 27970 13086 16 0 210550 0
vsize: 842264
[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 49194 46 0 0 25 0 11 0 779070257 862478336 28000 4294967295 134512640 134569956 3221224368 3221214672 1131245056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28000 13086 16 0 210550 0
vsize: 842264
[startup+520.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) S 6539 23514 23513 0 -1 0 18081 0 1 0 50176 47 0 0 25 0 11 0 779070257 862478336 28056 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28056 13086 16 0 210550 0
vsize: 842264
[startup+530.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 51160 47 0 0 25 0 11 0 779070257 862478336 28092 4294967295 134512640 134569956 3221224368 3221214668 1131247584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28092 13086 16 0 210550 0
vsize: 842264
[startup+540.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 52143 47 0 0 25 0 11 0 779070257 862478336 28116 4294967295 134512640 134569956 3221224368 3221214672 1131253472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28116 13086 16 0 210550 0
vsize: 842264
[startup+550.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 53130 47 0 0 25 0 11 0 779070257 862478336 28189 4294967295 134512640 134569956 3221224368 3221214672 1131245056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28189 13086 16 0 210550 0
vsize: 842264
[startup+560.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 54117 47 0 0 25 0 11 0 779070257 862478336 28217 4294967295 134512640 134569956 3221224368 3221214672 1131253190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28217 13086 16 0 210550 0
vsize: 842264
[startup+570.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 55104 47 0 0 25 0 11 0 779070257 862478336 28247 4294967295 134512640 134569956 3221224368 3221214672 1131245073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28247 13086 16 0 210550 0
vsize: 842264
[startup+580.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 56092 48 0 0 25 0 11 0 779070257 862478336 28266 4294967295 134512640 134569956 3221224368 3221214168 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28266 13086 16 0 210550 0
vsize: 842264
[startup+590.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 57079 48 0 0 25 0 11 0 779070257 862478336 28292 4294967295 134512640 134569956 3221224368 3221214648 1131351530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28292 13086 16 0 210550 0
vsize: 842264
[startup+600.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 58067 48 0 0 25 0 11 0 779070257 862478336 28317 4294967295 134512640 134569956 3221224368 3221214672 1131245056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28317 13086 16 0 210550 0
vsize: 842264
[startup+610.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 59056 48 0 0 25 0 11 0 779070257 862478336 28336 4294967295 134512640 134569956 3221224368 3221214584 1131348811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28336 13086 16 0 210550 0
vsize: 842264
[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 60043 48 0 0 25 0 11 0 779070257 862478336 28358 4294967295 134512640 134569956 3221224368 3221214584 1131348073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28358 13086 16 0 210550 0
vsize: 842264
[startup+630.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 61030 49 0 0 25 0 11 0 779070257 862478336 28383 4294967295 134512640 134569956 3221224368 3221214280 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28383 13086 16 0 210550 0
vsize: 842264
[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 62019 49 0 0 25 0 11 0 779070257 862478336 28402 4294967295 134512640 134569956 3221224368 3221214312 1131672017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28402 13086 16 0 210550 0
vsize: 842264
[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 63006 49 0 0 25 0 11 0 779070257 862478336 28424 4294967295 134512640 134569956 3221224368 3221214672 1131253153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28424 13086 16 0 210550 0
vsize: 842264
[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 63993 50 0 0 25 0 11 0 779070257 862478336 28446 4294967295 134512640 134569956 3221224368 3221214568 1131335031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28446 13086 16 0 210550 0
vsize: 842264
[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 64981 50 0 0 25 0 11 0 779070257 862478336 28463 4294967295 134512640 134569956 3221224368 3221214584 1131247634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28463 13086 16 0 210550 0
vsize: 842264
[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 65967 50 0 0 25 0 11 0 779070257 862478336 28484 4294967295 134512640 134569956 3221224368 3221213840 1131672026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28484 13086 16 0 210550 0
vsize: 842264
[startup+690.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 66954 51 0 0 25 0 11 0 779070257 862478336 28516 4294967295 134512640 134569956 3221224368 3221214568 1131335039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28516 13086 16 0 210550 0
vsize: 842264
[startup+700.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 67943 51 0 0 25 0 11 0 779070257 862478336 28533 4294967295 134512640 134569956 3221224368 3221214584 1131349177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28533 13086 16 0 210550 0
vsize: 842264
[startup+710.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 68930 51 0 0 25 0 11 0 779070257 862478336 28555 4294967295 134512640 134569956 3221224368 3221214672 1131253478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28555 13086 16 0 210550 0
vsize: 842264
[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 69918 51 0 0 24 0 11 0 779070257 862478336 28574 4294967295 134512640 134569956 3221224368 3221214696 1131412075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28574 13086 16 0 210550 0
vsize: 842264
[startup+730.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 70907 51 0 0 25 0 11 0 779070257 862478336 28593 4294967295 134512640 134569956 3221224368 3221214672 1131245099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28593 13086 16 0 210550 0
vsize: 842264
[startup+740.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 71895 51 0 0 25 0 11 0 779070257 862478336 28612 4294967295 134512640 134569956 3221224368 3221214672 1131253366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28612 13086 16 0 210550 0
vsize: 842264
[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) S 6539 23514 23513 0 -1 0 18081 0 1 0 72883 51 0 0 25 0 11 0 779070257 862478336 28629 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28631 13086 16 0 210550 0
vsize: 842264
[startup+760.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 73871 52 0 0 25 0 11 0 779070257 862478336 28648 4294967295 134512640 134569956 3221224368 3221214584 1131348087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28648 13086 16 0 210550 0
vsize: 842264
[startup+770.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 74858 52 0 0 25 0 11 0 779070257 862478336 28667 4294967295 134512640 134569956 3221224368 3221214584 1131348791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28667 13086 16 0 210550 0
vsize: 842264
[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 75846 52 0 0 24 0 11 0 779070257 862478336 28686 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28686 13086 16 0 210550 0
vsize: 842264
[startup+790.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 76835 52 0 0 25 0 11 0 779070257 862478336 28703 4294967295 134512640 134569956 3221224368 3221214672 1131253532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28703 13086 16 0 210550 0
vsize: 842264
[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 77823 52 0 0 25 0 11 0 779070257 862478336 28722 4294967295 134512640 134569956 3221224368 3221214584 1131348113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28722 13086 16 0 210550 0
vsize: 842264
[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 78812 52 0 0 25 0 11 0 779070257 862478336 28739 4294967295 134512640 134569956 3221224368 3221214672 1131253472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28739 13086 16 0 210550 0
vsize: 842264
[startup+820.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 79799 52 0 0 25 0 11 0 779070257 862478336 28758 4294967295 134512640 134569956 3221224368 3221214668 1131347904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28758 13086 16 0 210550 0
vsize: 842264
[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 80787 52 0 0 25 0 11 0 779070257 862478336 28774 4294967295 134512640 134569956 3221224368 3221214672 1131253532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28774 13086 16 0 210550 0
vsize: 842264
[startup+840.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 81775 53 0 0 25 0 11 0 779070257 862478336 28791 4294967295 134512640 134569956 3221224368 3221214584 1131348073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28791 13086 16 0 210550 0
vsize: 842264
[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 82763 53 0 0 25 0 11 0 779070257 862478336 28811 4294967295 134512640 134569956 3221224368 3221214664 1131219036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28811 13086 16 0 210550 0
vsize: 842264
[startup+860.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 83750 53 0 0 25 0 11 0 779070257 862478336 28827 4294967295 134512640 134569956 3221224368 3221214544 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28827 13086 16 0 210550 0
vsize: 842264
[startup+870.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 84739 53 0 0 25 0 11 0 779070257 862478336 28847 4294967295 134512640 134569956 3221224368 3221214664 1131219047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28847 13086 16 0 210550 0
vsize: 842264
[startup+880.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 85726 53 0 0 25 0 11 0 779070257 862478336 28863 4294967295 134512640 134569956 3221224368 3221214584 1131348827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28863 13086 16 0 210550 0
vsize: 842264
[startup+890.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 86714 53 0 0 25 0 11 0 779070257 862478336 28880 4294967295 134512640 134569956 3221224368 3221214672 1131253532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28880 13086 16 0 210550 0
vsize: 842264
[startup+900.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 87702 53 0 0 25 0 11 0 779070257 862478336 28896 4294967295 134512640 134569956 3221224368 3221214776 1131682131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28896 13086 16 0 210550 0
vsize: 842264
[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 88690 53 0 0 25 0 11 0 779070257 862478336 28913 4294967295 134512640 134569956 3221224368 3221214720 1131469239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28913 13086 16 0 210550 0
vsize: 842264
[startup+920.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 89677 53 0 0 24 0 11 0 779070257 862478336 28929 4294967295 134512640 134569956 3221224368 3221214568 1131335021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28929 13086 16 0 210550 0
vsize: 842264
[startup+930.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 90666 54 0 0 25 0 11 0 779070257 862478336 28946 4294967295 134512640 134569956 3221224368 3221214672 1131253532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28946 13086 16 0 210550 0
vsize: 842264
[startup+940.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 91653 54 0 0 25 0 11 0 779070257 862478336 28962 4294967295 134512640 134569956 3221224368 3221214720 1131469756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28962 13086 16 0 210550 0
vsize: 842264
[startup+950.084 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 92641 54 0 0 25 0 11 0 779070257 862478336 28976 4294967295 134512640 134569956 3221224368 3221214664 1131219044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28976 13086 16 0 210550 0
vsize: 842264
[startup+960.085 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 93627 54 0 0 25 0 11 0 779070257 862478336 28992 4294967295 134512640 134569956 3221224368 3221214568 1131335167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 28992 13086 16 0 210550 0
vsize: 842264
[startup+970.084 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 94613 54 0 0 25 0 11 0 779070257 862478336 29009 4294967295 134512640 134569956 3221224368 3221214584 1131348263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29009 13086 16 0 210550 0
vsize: 842264
[startup+980.086 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 95600 54 0 0 25 0 11 0 779070257 862478336 29023 4294967295 134512640 134569956 3221224368 3221214568 1131335031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29023 13086 16 0 210550 0
vsize: 842264
[startup+990.086 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 96587 54 0 0 25 0 11 0 779070257 862478336 29059 4294967295 134512640 134569956 3221224368 3221214664 1131219039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29059 13086 16 0 210550 0
vsize: 842264
[startup+1000.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 97574 54 0 0 25 0 11 0 779070257 862478336 29076 4294967295 134512640 134569956 3221224368 3221214568 1131335151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29076 13086 16 0 210550 0
vsize: 842264
[startup+1010.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 98563 54 0 0 25 0 11 0 779070257 862478336 29090 4294967295 134512640 134569956 3221224368 3221214544 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29090 13086 16 0 210550 0
vsize: 842264
[startup+1020.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 99551 55 0 0 25 0 11 0 779070257 862478336 29106 4294967295 134512640 134569956 3221224368 3221214584 1131348136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29106 13086 16 0 210550 0
vsize: 842264
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 100538 55 0 0 25 0 11 0 779070257 862478336 29120 4294967295 134512640 134569956 3221224368 3221214584 1131348087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29120 13086 16 0 210550 0
vsize: 842264
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 101526 55 0 0 25 0 11 0 779070257 862478336 29134 4294967295 134512640 134569956 3221224368 3221214656 1131209068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29134 13086 16 0 210550 0
vsize: 842264
[startup+1050.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 102514 55 0 0 25 0 11 0 779070257 862478336 29150 4294967295 134512640 134569956 3221224368 3221214584 1131347932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29150 13086 16 0 210550 0
vsize: 842264
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 103496 55 0 0 24 0 11 0 779070257 862478336 29165 4294967295 134512640 134569956 3221224368 3221214584 1131348029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29165 13086 16 0 210550 0
vsize: 842264
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 104479 55 0 0 25 0 11 0 779070257 862478336 29177 4294967295 134512640 134569956 3221224368 3221214584 1131348200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29177 13086 16 0 210550 0
vsize: 842264
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 105459 55 0 0 25 0 11 0 779070257 862478336 29194 4294967295 134512640 134569956 3221224368 3221214064 1131671968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29194 13086 16 0 210550 0
vsize: 842264
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 106443 56 0 0 25 0 11 0 779070257 862478336 29269 4294967295 134512640 134569956 3221224368 3221214720 1131469349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29269 13086 16 0 210550 0
vsize: 842264
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 107429 56 0 0 25 0 11 0 779070257 862478336 29294 4294967295 134512640 134569956 3221224368 3221214144 1131671968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29294 13086 16 0 210550 0
vsize: 842264
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 108410 56 0 0 25 0 11 0 779070257 862478336 29320 4294967295 134512640 134569956 3221224368 3221214584 1131348823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29320 13086 16 0 210550 0
vsize: 842264
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 109390 56 0 0 25 0 11 0 779070257 862478336 29334 4294967295 134512640 134569956 3221224368 3221214720 1131469239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29334 13086 16 0 210550 0
vsize: 842264
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 110369 56 0 0 25 0 11 0 779070257 862478336 29352 4294967295 134512640 134569956 3221224368 3221214544 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29352 13086 16 0 210550 0
vsize: 842264
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 111362 56 0 0 25 0 11 0 779070257 862478336 29450 4294967295 134512640 134569956 3221224368 3221214672 1131253462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29450 13086 16 0 210550 0
vsize: 842264
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 112348 56 0 0 25 0 11 0 779070257 862478336 29480 4294967295 134512640 134569956 3221224368 3221214672 1131245073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29480 13086 16 0 210550 0
vsize: 842264
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 113337 56 0 0 25 0 11 0 779070257 862478336 29492 4294967295 134512640 134569956 3221224368 3221214200 1131671956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29492 13086 16 0 210550 0
vsize: 842264
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 114324 56 0 0 25 0 11 0 779070257 862478336 29508 4294967295 134512640 134569956 3221224368 3221214672 1131245073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29508 13086 16 0 210550 0
vsize: 842264
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 115310 56 0 0 25 0 11 0 779070257 862478336 29522 4294967295 134512640 134569956 3221224368 3221214664 1131219068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29522 13086 16 0 210550 0
vsize: 842264
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 116299 56 0 0 25 0 11 0 779070257 862478336 29535 4294967295 134512640 134569956 3221224368 3221214584 1131347984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29535 13086 16 0 210550 0
vsize: 842264
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 117285 57 0 0 25 0 11 0 779070257 862478336 29549 4294967295 134512640 134569956 3221224368 3221214672 1131245070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29549 13086 16 0 210550 0
vsize: 842264
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 118272 57 0 0 25 0 11 0 779070257 862478336 29563 4294967295 134512640 134569956 3221224368 3221214672 1131253527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29563 13086 16 0 210550 0
vsize: 842264
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 119260 57 0 0 25 0 11 0 779070257 862478336 29574 4294967295 134512640 134569956 3221224368 3221214716 1131412000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29574 13086 16 0 210550 0
vsize: 842264
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6552
Raw data (stat): 6540 (java) R 6539 23514 23513 0 -1 0 18081 0 1 0 120246 57 0 0 25 0 11 0 779070257 862478336 29587 4294967295 134512640 134569956 3221224368 3221214584 1131348267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210566 29587 13086 16 0 210550 0
vsize: 842264
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.27 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6554
Raw data (stat): 6540 (java) Z 6539 23514 23513 0 -1 1036 18081 9136 1 0 120248 57 2475 31 25 0 1 0 779070257 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.27
CPU time (s): 1228.12
CPU user time (s): 1227.23
CPU system time (s): 0.889864
CPU usage (%): 99.8252
Max. virtual memory (Kb): 842264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####