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-stocfor2.opb
MD5SUM	8756a41134c52dcbfa591c90bdd1a8a3
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	31770
Biggest coefficient in the objective function	1855425871872000000
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	393343428838367821824
Number of bits of the sum of numbers in the objective function	69
Biggest number in a constraint	1855425871872000000
Number of bits of the biggest number in a constraint	61
Biggest sum of numbers in a constraint	393343428838367821824
Number of bits of the biggest sum of numbers	69
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.532918
Number of variables	60930
Total number of constraints	2157
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	2157
Minimum length of a constraint	30
Maximum length of a constraint	450
Trace number 29495

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 08:22:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20901 boxname=wulflinc29 idbench=889 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8756a41134c52dcbfa591c90bdd1a8a3  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-stocfor2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-stocfor2.opb
IDLAUNCH: 20901
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        682480 kB
Buffers:         31624 kB
Cached:         294680 kB
SwapCached:        572 kB
Active:          48308 kB
Inactive:       283496 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        682228 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            14724 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:41:09 (client local time) WITH STATUS 20 IN 1107.33 SECONDS
stats: 20901 7 1107.33 20
#### 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/wulflinc29/normalized-mps-v2-20-10-stocfor2.opb
c reading problem ... done. Time 1054.95 ms.
c #vars     60930
c #constraints  3300
c starts	: 1
c conflicts	: 2
c decisions	: 1885
c propagations	: 41926
c inspects	: 72798
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 1
s UNSATISFIABLE
c Total CPU time (ms) : 1099.627
#### 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): 1.12 1.03 1.01 2/54 31687
Raw data (stat): 31687 (runsolver) R 31686 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837402021 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.25 1.06 1.02 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 867 40 0 0 25 0 10 0 837402021 854257664 19416 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208559 19416 13086 16 0 208543 0
vsize: 834236
[startup+20.0012 s]
Raw data (loadavg): 1.21 1.06 1.02 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 1765 40 0 0 25 0 10 0 837402021 854257664 19939 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 19939 13086 16 0 208543 0
vsize: 834236
[startup+30.002 s]
Raw data (loadavg): 1.18 1.06 1.02 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 2655 40 0 0 20 0 10 0 837402021 854257664 20450 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 20450 13086 16 0 208543 0
vsize: 834236
[startup+40.0029 s]
Raw data (loadavg): 1.15 1.05 1.02 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 3574 41 0 0 25 0 10 0 837402021 854257664 20742 4294967295 134512640 134569956 3221224368 3221214768 1131234438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 20742 13086 16 0 208543 0
vsize: 834236
[startup+50.0036 s]
Raw data (loadavg): 1.12 1.05 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 4496 41 0 0 21 0 10 0 837402021 854257664 20915 4294967295 134512640 134569956 3221224368 3221214768 1131236154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 20915 13086 16 0 208543 0
vsize: 834236
[startup+60.0044 s]
Raw data (loadavg): 1.10 1.05 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 5411 42 0 0 25 0 10 0 837402021 854257664 21054 4294967295 134512640 134569956 3221224368 3221214768 1131234680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21054 13086 16 0 208543 0
vsize: 834236
[startup+70.0044 s]
Raw data (loadavg): 1.09 1.05 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 6340 42 0 0 25 0 10 0 837402021 854257664 21298 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21298 13086 16 0 208543 0
vsize: 834236
[startup+80.0057 s]
Raw data (loadavg): 1.07 1.05 1.01 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18020 0 1 0 7279 43 0 0 25 0 10 0 837402021 854257664 21401 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21401 13086 16 0 208543 0
vsize: 834236
[startup+90.0058 s]
Raw data (loadavg): 1.06 1.04 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 8221 43 0 0 25 0 10 0 837402021 854257664 21497 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21497 13086 16 0 208543 0
vsize: 834236
[startup+100.006 s]
Raw data (loadavg): 1.05 1.04 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 9165 44 0 0 25 0 10 0 837402021 854257664 21582 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21582 13086 16 0 208543 0
vsize: 834236
[startup+110.006 s]
Raw data (loadavg): 1.04 1.04 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 10106 44 0 0 21 0 10 0 837402021 854257664 21668 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21668 13086 16 0 208543 0
vsize: 834236
[startup+120.007 s]
Raw data (loadavg): 1.04 1.04 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 11050 44 0 0 25 0 10 0 837402021 854257664 21744 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21744 13086 16 0 208543 0
vsize: 834236
[startup+130.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 11992 45 0 0 25 0 10 0 837402021 854257664 21819 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21819 13086 16 0 208543 0
vsize: 834236
[startup+140.009 s]
Raw data (loadavg): 1.03 1.03 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 12937 45 0 0 25 0 10 0 837402021 854257664 21887 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21887 13086 16 0 208543 0
vsize: 834236
[startup+150.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 13879 46 0 0 24 0 10 0 837402021 854257664 21956 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 21956 13086 16 0 208543 0
vsize: 834236
[startup+160.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 14824 46 0 0 25 0 10 0 837402021 854257664 22019 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22019 13086 16 0 208543 0
vsize: 834236
[startup+170.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 15765 47 0 0 24 0 10 0 837402021 854257664 22082 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22082 13086 16 0 208543 0
vsize: 834236
[startup+180.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 16684 47 0 0 24 0 10 0 837402021 854257664 22140 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22140 13086 16 0 208543 0
vsize: 834236
[startup+190.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 17604 48 0 0 25 0 10 0 837402021 854257664 22198 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22198 13086 16 0 208543 0
vsize: 834236
[startup+200.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 18545 48 0 0 25 0 10 0 837402021 854257664 22508 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22508 13086 16 0 208543 0
vsize: 834236
[startup+210.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 19483 49 0 0 24 0 10 0 837402021 854257664 22564 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22564 13086 16 0 208543 0
vsize: 834236
[startup+220.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 20424 49 0 0 25 0 10 0 837402021 854257664 22616 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22616 13086 16 0 208543 0
vsize: 834236
[startup+230.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18020 0 1 0 21362 50 0 0 25 0 10 0 837402021 854257664 22668 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22668 13086 16 0 208543 0
vsize: 834236
[startup+240.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 22301 50 0 0 25 0 10 0 837402021 854257664 22719 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22719 13086 16 0 208543 0
vsize: 834236
[startup+250.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 23241 51 0 0 25 0 10 0 837402021 854257664 22767 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22767 13086 16 0 208543 0
vsize: 834236
[startup+260.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 24178 51 0 0 25 0 10 0 837402021 854257664 22817 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22817 13086 16 0 208543 0
vsize: 834236
[startup+270.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18020 0 1 0 25118 52 0 0 25 0 10 0 837402021 854257664 22863 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22863 13086 16 0 208543 0
vsize: 834236
[startup+280.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18020 0 1 0 26055 52 0 0 25 0 10 0 837402021 854257664 22909 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22909 13086 16 0 208543 0
vsize: 834236
[startup+290.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18035 0 1 0 26985 52 0 0 25 0 10 0 837402021 854257664 22968 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208559 22968 13086 16 0 208543 0
vsize: 834236
[startup+300.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18035 0 1 0 27909 52 0 0 25 0 10 0 837402021 854257664 23017 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208559 23017 13086 16 0 208543 0
vsize: 834236
[startup+310.019 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18036 0 1 0 28845 52 0 0 25 0 10 0 837402021 854405120 23199 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23199 13086 16 0 208579 0
vsize: 834380
[startup+320.02 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18036 0 1 0 29781 53 0 0 25 0 10 0 837402021 854257664 23208 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 23208 13086 16 0 208543 0
vsize: 834236
[startup+330.021 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18036 0 1 0 30717 53 0 0 25 0 10 0 837402021 854257664 23253 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 23253 13086 16 0 208543 0
vsize: 834236
[startup+340.021 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18037 0 1 0 31650 53 0 0 25 0 10 0 837402021 854257664 23301 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 23301 13086 16 0 208543 0
vsize: 834236
[startup+350.021 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18037 0 1 0 32582 54 0 0 25 0 10 0 837402021 854257664 23345 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 23345 13086 16 0 208543 0
vsize: 834236
[startup+360.022 s]
Raw data (loadavg): 1.10 1.04 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 33490 54 0 0 25 0 10 0 837402021 857186304 24084 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209274 24084 13086 16 0 209258 0
vsize: 837096
[startup+370.022 s]
Raw data (loadavg): 1.09 1.04 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 34415 54 0 0 25 0 10 0 837402021 857186304 24123 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209274 24123 13086 16 0 209258 0
vsize: 837096
[startup+380.023 s]
Raw data (loadavg): 1.07 1.04 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 35347 55 0 0 25 0 10 0 837402021 857186304 24217 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209274 24217 13086 16 0 209258 0
vsize: 837096
[startup+390.023 s]
Raw data (loadavg): 1.06 1.04 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 36280 55 0 0 25 0 10 0 837402021 857186304 24273 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209274 24273 13086 16 0 209258 0
vsize: 837096
[startup+400.023 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 37203 55 0 0 25 0 10 0 837402021 855441408 23928 4294967295 134512640 134569956 3221224368 3221214168 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 23928 13086 16 0 208832 0
vsize: 835392
[startup+410.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18040 0 1 0 38134 56 0 0 25 0 10 0 837402021 855441408 23970 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 23970 13086 16 0 208832 0
vsize: 835392
[startup+420.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 39063 57 0 0 25 0 10 0 837402021 855441408 24009 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24009 13086 16 0 208832 0
vsize: 835392
[startup+430.027 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 39994 57 0 0 25 0 10 0 837402021 855441408 24056 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24056 13086 16 0 208832 0
vsize: 835392
[startup+440.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 40916 58 0 0 25 0 10 0 837402021 855441408 24093 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24093 13086 16 0 208832 0
vsize: 835392
[startup+450.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 41837 59 0 0 24 0 10 0 837402021 855441408 24181 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24181 13086 16 0 208832 0
vsize: 835392
[startup+460.028 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 42768 60 0 0 25 0 10 0 837402021 855441408 24217 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24217 13086 16 0 208832 0
vsize: 835392
[startup+470.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 43699 60 0 0 25 0 10 0 837402021 855441408 24254 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24254 13086 16 0 208832 0
vsize: 835392
[startup+480.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 44629 61 0 0 25 0 10 0 837402021 855441408 24291 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24291 13086 16 0 208832 0
vsize: 835392
[startup+490.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 45559 61 0 0 25 0 10 0 837402021 855441408 24325 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24325 13086 16 0 208832 0
vsize: 835392
[startup+500.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 46488 61 0 0 25 0 10 0 837402021 855441408 24363 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24363 13086 16 0 208832 0
vsize: 835392
[startup+510.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 47416 62 0 0 25 0 10 0 837402021 855441408 24398 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24398 13086 16 0 208832 0
vsize: 835392
[startup+520.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 48341 62 0 0 25 0 10 0 837402021 855441408 24440 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24440 13086 16 0 208832 0
vsize: 835392
[startup+530.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 49261 62 0 0 25 0 10 0 837402021 855441408 24473 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24473 13086 16 0 208832 0
vsize: 835392
[startup+540.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 50180 63 0 0 25 0 10 0 837402021 855441408 24558 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24558 13086 16 0 208832 0
vsize: 835392
[startup+550.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 51108 64 0 0 25 0 10 0 837402021 855441408 24593 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24593 13086 16 0 208832 0
vsize: 835392
[startup+560.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 52030 64 0 0 24 0 10 0 837402021 855441408 24628 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24628 13086 16 0 208832 0
vsize: 835392
[startup+570.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 52956 64 0 0 25 0 10 0 837402021 855441408 24662 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24662 13086 16 0 208832 0
vsize: 835392
[startup+580.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 53881 65 0 0 25 0 10 0 837402021 855441408 24693 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24693 13086 16 0 208832 0
vsize: 835392
[startup+590.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 54807 65 0 0 25 0 10 0 837402021 855441408 24729 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24729 13086 16 0 208832 0
vsize: 835392
[startup+600.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 55732 65 0 0 25 0 10 0 837402021 855441408 24759 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24759 13086 16 0 208832 0
vsize: 835392
[startup+610.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 56655 66 0 0 25 0 10 0 837402021 855441408 24799 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24799 13086 16 0 208832 0
vsize: 835392
[startup+620.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 57572 66 0 0 25 0 10 0 837402021 855441408 24829 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24829 13086 16 0 208832 0
vsize: 835392
[startup+630.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 58487 67 0 0 24 0 10 0 837402021 855441408 24860 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24860 13086 16 0 208832 0
vsize: 835392
[startup+640.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 59410 67 0 0 24 0 10 0 837402021 855441408 24941 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24941 13086 16 0 208832 0
vsize: 835392
[startup+650.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 60334 68 0 0 24 0 10 0 837402021 855441408 24972 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 24972 13086 16 0 208832 0
vsize: 835392
[startup+660.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 61258 68 0 0 24 0 10 0 837402021 855441408 25003 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25003 13086 16 0 208832 0
vsize: 835392
[startup+670.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 62181 68 0 0 19 0 10 0 837402021 855441408 25034 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25034 13086 16 0 208832 0
vsize: 835392
[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 63093 68 0 0 25 0 10 0 837402021 855441408 25401 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25401 13086 16 0 208832 0
vsize: 835392
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 63996 68 0 0 25 0 10 0 837402021 855441408 25418 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25418 13086 16 0 208832 0
vsize: 835392
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 64904 69 0 0 25 0 10 0 837402021 855441408 25664 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25664 13086 16 0 208832 0
vsize: 835392
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18040 0 1 0 65817 69 0 0 25 0 10 0 837402021 855441408 25699 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25699 13086 16 0 208832 0
vsize: 835392
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 66730 69 0 0 25 0 10 0 837402021 855441408 25727 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25727 13086 16 0 208832 0
vsize: 835392
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 67633 70 0 0 24 0 10 0 837402021 855441408 25755 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25755 13086 16 0 208832 0
vsize: 835392
[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 68546 70 0 0 25 0 10 0 837402021 855441408 25834 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25834 13086 16 0 208832 0
vsize: 835392
[startup+750.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 69458 70 0 0 25 0 10 0 837402021 855441408 25863 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25863 13086 16 0 208832 0
vsize: 835392
[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 70368 71 0 0 25 0 10 0 837402021 855441408 25892 4294967295 134512640 134569956 3221224368 3221214800 1131234906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25892 13086 16 0 208832 0
vsize: 835392
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 71279 71 0 0 25 0 10 0 837402021 855441408 25920 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25920 13086 16 0 208832 0
vsize: 835392
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18040 0 1 0 72193 71 0 0 25 0 10 0 837402021 855441408 25947 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25947 13086 16 0 208832 0
vsize: 835392
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 73106 72 0 0 25 0 10 0 837402021 855441408 25973 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 25973 13086 16 0 208832 0
vsize: 835392
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 74016 72 0 0 25 0 10 0 837402021 855441408 26004 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26004 13086 16 0 208832 0
vsize: 835392
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 74925 72 0 0 25 0 10 0 837402021 855441408 26031 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26031 13086 16 0 208832 0
vsize: 835392
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 75839 73 0 0 25 0 10 0 837402021 855441408 26064 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26064 13086 16 0 208832 0
vsize: 835392
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18040 0 1 0 76747 73 0 0 25 0 10 0 837402021 855441408 26090 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26090 13086 16 0 208832 0
vsize: 835392
[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 77646 74 0 0 25 0 10 0 837402021 855441408 26116 4294967295 134512640 134569956 3221224368 3221214168 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26116 13086 16 0 208832 0
vsize: 835392
[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 78531 74 0 0 25 0 10 0 837402021 855441408 26203 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26203 13086 16 0 208832 0
vsize: 835392
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 79418 74 0 0 25 0 10 0 837402021 855441408 26323 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26323 13086 16 0 208832 0
vsize: 835392
[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 80297 75 0 0 24 0 10 0 837402021 855441408 26509 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26509 13086 16 0 208832 0
vsize: 835392
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 81183 76 0 0 25 0 10 0 837402021 855441408 26575 4294967295 134512640 134569956 3221224368 3221214240 1077378401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208848 26575 13086 16 0 208832 0
vsize: 835392
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 82074 76 0 0 25 0 10 0 837402021 855441408 26727 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 26727 13086 16 0 208832 0
vsize: 835392
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 82961 76 0 0 25 0 10 0 837402021 855441408 26871 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 26871 13086 16 0 208832 0
vsize: 835392
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 83854 77 0 0 25 0 10 0 837402021 855441408 26999 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 26999 13086 16 0 208832 0
vsize: 835392
[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18041 0 1 0 84740 77 0 0 25 0 10 0 837402021 855441408 27097 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 27097 13086 16 0 208832 0
vsize: 835392
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 85625 77 0 0 25 0 10 0 837402021 855441408 27446 4294967295 134512640 134569956 3221224368 3221214760 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 27446 13086 16 0 208832 0
vsize: 835392
[startup+940.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 86512 77 0 0 24 0 10 0 837402021 855441408 27589 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 27589 13086 16 0 208832 0
vsize: 835392
[startup+950.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 87404 78 0 0 25 0 10 0 837402021 855441408 27731 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 27731 13086 16 0 208832 0
vsize: 835392
[startup+960.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 88271 79 0 0 25 0 10 0 837402021 855441408 31700 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 31700 13086 16 0 208832 0
vsize: 835392
[startup+970.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 89163 80 0 0 25 0 10 0 837402021 855441408 31817 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 31817 13086 16 0 208832 0
vsize: 835392
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18041 0 1 0 90048 80 0 0 25 0 10 0 837402021 855441408 31842 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 31842 13086 16 0 208832 0
vsize: 835392
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18041 0 1 0 90931 80 0 0 25 0 10 0 837402021 855441408 31908 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 31908 13086 16 0 208832 0
vsize: 835392
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 91816 80 0 0 24 0 10 0 837402021 855441408 31974 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 31974 13086 16 0 208832 0
vsize: 835392
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 92698 80 0 0 24 0 10 0 837402021 855441408 32039 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 32039 13086 16 0 208832 0
vsize: 835392
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 93582 80 0 0 24 0 10 0 837402021 855441408 32107 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 32107 13086 16 0 208832 0
vsize: 835392
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 94464 80 0 0 24 0 10 0 837402021 855441408 32175 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 32175 13086 16 0 208832 0
vsize: 835392
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 95346 81 0 0 24 0 10 0 837402021 855441408 32252 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 32252 13086 16 0 208832 0
vsize: 835392
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18041 0 1 0 96230 81 0 0 24 0 10 0 837402021 855441408 32347 4294967295 134512640 134569956 3221224368 3221214796 1080204144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 32347 13086 16 0 208832 0
vsize: 835392
[startup+1060.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 31696
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18069 0 1 0 97116 83 0 0 25 0 10 0 837402021 855474176 35469 4294967295 134512640 134569956 3221224368 3221214568 1131354491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 35469 13086 16 0 208840 0
vsize: 835424
[startup+1070.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 31697
Raw data (stat): 31687 (java) S 31686 20001 20000 0 -1 0 18075 0 1 0 98049 83 0 0 25 0 11 0 837402021 855969792 35473 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208977 35473 13086 16 0 208961 0
vsize: 835908
[startup+1080.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 31697
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18075 0 1 0 98990 83 0 0 25 0 11 0 837402021 855969792 35473 4294967295 134512640 134569956 3221224368 3221214856 1131380608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208977 35473 13086 16 0 208961 0
vsize: 835908
[startup+1090.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 31697
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18075 0 1 0 99928 84 0 0 25 0 11 0 837402021 855969792 35654 4294967295 134512640 134569956 3221224368 3221214520 1131355329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208977 35654 13086 16 0 208961 0
vsize: 835908
[startup+1100.1 s]
Raw data (loadavg): 1.04 1.01 1.00 3/64 31697
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18083 0 1 0 100892 84 0 0 25 0 11 0 837402021 855969792 35739 4294967295 134512640 134569956 3221224368 3221213928 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208977 35739 13086 16 0 208961 0
vsize: 835908
[startup+1100.69 s]
Raw data (loadavg): 1.04 1.01 1.00 1/53 31698
Raw data (stat): 31687 (java) R 31686 20001 20000 0 -1 0 18083 0 1 0 100892 84 0 0 25 0 11 0 837402021 855969792 35739 4294967295 134512640 134569956 3221224368 3221213928 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208977 35739 13086 16 0 208961 0
vsize: 0

Child status: 20
Real time (s): 1100.69
CPU time (s): 1107.33
CPU user time (s): 1105.83
CPU system time (s): 1.49477
CPU usage (%): 100.603
Max. virtual memory (Kb): 837096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####