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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM	4caec1e880871fcef3276cf001aca352
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.63384
Number of variables	4632
Total number of constraints	35596
Number of constraints which are clauses	29940
Number of constraints which are cardinality constraints (but not clauses)	5578
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 4527

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-13 18:14:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3267 boxname=wulflinc30 idbench=363 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc30/normalized-ppp:1-13.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-ppp:1-13.opb
IDLAUNCH: 3267
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        746144 kB
Buffers:         37008 kB
Cached:         210444 kB
SwapCached:          0 kB
Active:          79844 kB
Inactive:       170448 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        745892 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            32556 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:35:43 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3267 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-ppp:1-13.opb
c reading problem 
c [nbvar=4632]
c [nbconstr=35596]
c time 18.91
c #vars     4632
c #clauses  31138
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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.90 0.98 0.99 2/54 12884
Raw data (stat): 12884 (runsolver) R 12883 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478024766 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0002 s]
Raw data (loadavg): 0.91 0.98 0.99 2/63 12893
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18007 0 1 0 807 41 0 0 25 0 10 0 478024766 857485312 20519 4294967295 134512640 134569956 3221224416 3221214480 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209347 20519 13073 16 0 209331 0
vsize: 837388
[startup+20.0185 s]
Raw data (loadavg): 0.93 0.98 0.99 4/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18072 0 1 0 1757 43 0 0 25 0 11 0 478024766 857554944 21205 4294967295 134512640 134569956 3221224416 3221213936 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209364 21205 13073 16 0 209348 0
vsize: 837456
[startup+30.0407 s]
Raw data (loadavg): 1.24 1.05 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18087 0 1 0 2422 43 0 0 25 0 11 0 478024766 876376064 30699 4294967295 134512640 134569956 3221224416 3221214584 1131318771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213959 30699 13073 16 0 213943 0
vsize: 855836
[startup+40.0406 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18087 0 1 0 3392 43 0 0 25 0 11 0 478024766 862887936 27344 4294967295 134512640 134569956 3221224416 3221214856 1131348960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 27344 13073 16 0 210650 0
vsize: 842664
[startup+50.041 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 4348 44 0 0 25 0 11 0 478024766 862887936 27345 4294967295 134512640 134569956 3221224416 3221214688 1131216273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 27345 13073 16 0 210650 0
vsize: 842664
[startup+60.0408 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 5313 44 0 0 25 0 11 0 478024766 862887936 27345 4294967295 134512640 134569956 3221224416 3221214608 1131438421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 27345 13073 16 0 210650 0
vsize: 842664
[startup+70.042 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 6247 44 0 0 25 0 11 0 478024766 862887936 27524 4294967295 134512640 134569956 3221224416 3221214712 1131591628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 27524 13073 16 0 210650 0
vsize: 842664
[startup+80.0428 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 7183 44 0 0 25 0 11 0 478024766 862887936 27684 4294967295 134512640 134569956 3221224416 3221214712 1131591636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 27684 13073 16 0 210650 0
vsize: 842664
[startup+90.0422 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 8112 45 0 0 25 0 11 0 478024766 862887936 28010 4294967295 134512640 134569956 3221224416 3221214428 1078128090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 28010 13073 16 0 210650 0
vsize: 842664
[startup+100.043 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 9055 45 0 0 25 0 11 0 478024766 862887936 28304 4294967295 134512640 134569956 3221224416 3221214752 1131366160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 28304 13073 16 0 210650 0
vsize: 842664
[startup+110.044 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 9983 45 0 0 25 0 11 0 478024766 862887936 28637 4294967295 134512640 134569956 3221224416 3221214712 1131591628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210666 28637 13073 16 0 210650 0
vsize: 842664
[startup+120.045 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 10928 46 0 0 25 0 11 0 478024766 862887936 28816 4294967295 134512640 134569956 3221224416 3221214712 1131591788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 28816 13073 16 0 210650 0
vsize: 842664
[startup+130.045 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 11864 46 0 0 25 0 11 0 478024766 862887936 29059 4294967295 134512640 134569956 3221224416 3221214712 1131591639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210666 29059 13073 16 0 210650 0
vsize: 842664
[startup+140.045 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 12814 46 0 0 25 0 11 0 478024766 862887936 29110 4294967295 134512640 134569956 3221224416 3221214712 1131591632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 29110 13073 16 0 210650 0
vsize: 842664
[startup+150.045 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 13748 47 0 0 25 0 11 0 478024766 862887936 29235 4294967295 134512640 134569956 3221224416 3221214784 1131503994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 29235 13073 16 0 210650 0
vsize: 842664
[startup+160.045 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 14684 47 0 0 25 0 11 0 478024766 862887936 29404 4294967295 134512640 134569956 3221224416 3221214824 1131454740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 29404 13073 16 0 210650 0
vsize: 842664
[startup+170.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 15622 47 0 0 25 0 11 0 478024766 862887936 29565 4294967295 134512640 134569956 3221224416 3221214688 1131216433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 29565 13073 16 0 210650 0
vsize: 842664
[startup+180.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 16562 47 0 0 25 0 11 0 478024766 862887936 29657 4294967295 134512640 134569956 3221224416 3221214712 1131591632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 29657 13073 16 0 210650 0
vsize: 842664
[startup+190.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) S 12883 11931 11930 0 -1 0 18088 0 1 0 17487 48 0 0 25 0 11 0 478024766 862887936 29841 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 29845 13073 16 0 210650 0
vsize: 842664
[startup+200.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 18443 48 0 0 25 0 11 0 478024766 862887936 30108 4294967295 134512640 134569956 3221224416 3221214756 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 30108 13073 16 0 210650 0
vsize: 842664
[startup+210.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 19373 48 0 0 25 0 11 0 478024766 862887936 30379 4294967295 134512640 134569956 3221224416 3221214784 1131331574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 30379 13073 16 0 210650 0
vsize: 842664
[startup+220.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 20315 48 0 0 25 0 11 0 478024766 862887936 30628 4294967295 134512640 134569956 3221224416 3221214784 1131504891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 30628 13073 16 0 210650 0
vsize: 842664
[startup+230.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 21258 49 0 0 25 0 11 0 478024766 862887936 30909 4294967295 134512640 134569956 3221224416 3221214712 1131591636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 30909 13073 16 0 210650 0
vsize: 842664
[startup+240.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) S 12883 11931 11930 0 -1 0 18088 0 1 0 22201 49 0 0 25 0 11 0 478024766 862887936 31020 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 31020 13073 16 0 210650 0
vsize: 842664
[startup+250.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 23144 49 0 0 25 0 11 0 478024766 862887936 31193 4294967295 134512640 134569956 3221224416 3221214712 1131591639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 31193 13073 16 0 210650 0
vsize: 842664
[startup+260.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 24080 50 0 0 25 0 11 0 478024766 862887936 31368 4294967295 134512640 134569956 3221224416 3221214688 1131216728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 31368 13073 16 0 210650 0
vsize: 842664
[startup+270.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 25030 50 0 0 25 0 11 0 478024766 862887936 31517 4294967295 134512640 134569956 3221224416 3221214784 1131504151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 31517 13073 16 0 210650 0
vsize: 842664
[startup+280.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 25971 50 0 0 25 0 11 0 478024766 862887936 31722 4294967295 134512640 134569956 3221224416 3221214568 1131224428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 31722 13073 16 0 210650 0
vsize: 842664
[startup+290.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 26924 51 0 0 25 0 11 0 478024766 862887936 31837 4294967295 134512640 134569956 3221224416 3221214712 1131591639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 31837 13073 16 0 210650 0
vsize: 842664
[startup+300.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 27866 51 0 0 25 0 11 0 478024766 862887936 31983 4294967295 134512640 134569956 3221224416 3221214712 1131591771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 31983 13073 16 0 210650 0
vsize: 842664
[startup+310.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 28819 51 0 0 25 0 11 0 478024766 862887936 32109 4294967295 134512640 134569956 3221224416 3221214784 1131504032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 32109 13073 16 0 210650 0
vsize: 842664
[startup+320.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 29753 52 0 0 25 0 11 0 478024766 862887936 32335 4294967295 134512640 134569956 3221224416 3221214784 1131505158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 32335 13073 16 0 210650 0
vsize: 842664
[startup+330.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) S 12883 11931 11930 0 -1 0 18088 0 1 0 30690 52 0 0 25 0 11 0 478024766 862887936 32518 4294967295 134512640 134569956 3221224416 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 32518 13073 16 0 210650 0
vsize: 842664
[startup+340.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 31633 52 0 0 25 0 11 0 478024766 862887936 32724 4294967295 134512640 134569956 3221224416 3221214784 1131504097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 32724 13073 16 0 210650 0
vsize: 842664
[startup+350.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 32553 53 0 0 25 0 11 0 478024766 862887936 32898 4294967295 134512640 134569956 3221224416 3221214688 1131216530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 32898 13073 16 0 210650 0
vsize: 842664
[startup+360.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 33474 53 0 0 25 0 11 0 478024766 862887936 33098 4294967295 134512640 134569956 3221224416 3221214784 1131506059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 33098 13073 16 0 210650 0
vsize: 842664
[startup+370.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 34412 53 0 0 25 0 11 0 478024766 862887936 33251 4294967295 134512640 134569956 3221224416 3221214712 1131591639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 33251 13073 16 0 210650 0
vsize: 842664
[startup+380.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) S 12883 11931 11930 0 -1 0 18088 0 1 0 35364 54 0 0 25 0 11 0 478024766 862887936 33388 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 33388 13073 16 0 210650 0
vsize: 842664
[startup+390.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 36308 54 0 0 25 0 11 0 478024766 862887936 33529 4294967295 134512640 134569956 3221224416 3221214608 1131438370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 33529 13073 16 0 210650 0
vsize: 842664
[startup+400.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 37229 54 0 0 25 0 11 0 478024766 862887936 33673 4294967295 134512640 134569956 3221224416 3221214784 1131504032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 33673 13073 16 0 210650 0
vsize: 842664
[startup+410.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 38161 55 0 0 25 0 11 0 478024766 862887936 33867 4294967295 134512640 134569956 3221224416 3221214712 1131591779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 33867 13073 16 0 210650 0
vsize: 842664
[startup+420.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 39103 55 0 0 25 0 11 0 478024766 862887936 34010 4294967295 134512640 134569956 3221224416 3221214864 1131349260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 34010 13073 16 0 210650 0
vsize: 842664
[startup+430.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 40055 56 0 0 25 0 11 0 478024766 862887936 34132 4294967295 134512640 134569956 3221224416 3221214712 1131591788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 34132 13073 16 0 210650 0
vsize: 842664
[startup+440.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 40996 56 0 0 25 0 11 0 478024766 862887936 34288 4294967295 134512640 134569956 3221224416 3221214752 1131366127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 34288 13073 16 0 210650 0
vsize: 842664
[startup+450.064 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 41940 56 0 0 25 0 11 0 478024766 862887936 34445 4294967295 134512640 134569956 3221224416 3221214712 1131591771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 34445 13073 16 0 210650 0
vsize: 842664
[startup+460.065 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 42872 57 0 0 24 0 11 0 478024766 862887936 34586 4294967295 134512640 134569956 3221224416 3221214784 1131505102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 34586 13073 16 0 210650 0
vsize: 842664
[startup+470.066 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 43817 57 0 0 25 0 11 0 478024766 862887936 34733 4294967295 134512640 134569956 3221224416 3221214688 1131217184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210666 34733 13073 16 0 210650 0
vsize: 842664
[startup+480.067 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 44754 57 0 0 25 0 11 0 478024766 862887936 34908 4294967295 134512640 134569956 3221224416 3221214592 1131501641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 34908 13073 16 0 210650 0
vsize: 842664
[startup+490.068 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 45704 57 0 0 25 0 11 0 478024766 862887936 35065 4294967295 134512640 134569956 3221224416 3221214568 1131225083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 35065 13073 16 0 210650 0
vsize: 842664
[startup+500.068 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 46646 58 0 0 25 0 11 0 478024766 862887936 35237 4294967295 134512640 134569956 3221224416 3221214688 1131216371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 35237 13073 16 0 210650 0
vsize: 842664
[startup+510.068 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 47590 58 0 0 25 0 11 0 478024766 862887936 35400 4294967295 134512640 134569956 3221224416 3221214608 1131439337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 35400 13073 16 0 210650 0
vsize: 842664
[startup+520.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 48547 58 0 0 25 0 11 0 478024766 862887936 35523 4294967295 134512640 134569956 3221224416 3221214784 1131506059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 35523 13073 16 0 210650 0
vsize: 842664
[startup+530.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 49500 59 0 0 25 0 11 0 478024766 862887936 35678 4294967295 134512640 134569956 3221224416 3221214672 1131307555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 35678 13073 16 0 210650 0
vsize: 842664
[startup+540.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 50456 59 0 0 25 0 11 0 478024766 862887936 35833 4294967295 134512640 134569956 3221224416 3221214688 1131216711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 35833 13073 16 0 210650 0
vsize: 842664
[startup+550.071 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 51402 60 0 0 25 0 11 0 478024766 862887936 36017 4294967295 134512640 134569956 3221224416 3221214864 1131349248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 36017 13073 16 0 210650 0
vsize: 842664
[startup+560.072 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 52365 60 0 0 25 0 11 0 478024766 862887936 36146 4294967295 134512640 134569956 3221224416 3221214712 1131591636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 36146 13073 16 0 210650 0
vsize: 842664
[startup+570.073 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 53303 60 0 0 25 0 11 0 478024766 862887936 36219 4294967295 134512640 134569956 3221224416 3221214688 1131216673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 36219 13073 16 0 210650 0
vsize: 842664
[startup+580.073 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 54250 61 0 0 24 0 11 0 478024766 862887936 36281 4294967295 134512640 134569956 3221224416 3221214712 1131591628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 36281 13073 16 0 210650 0
vsize: 842664
[startup+590.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) S 12883 11931 11930 0 -1 0 18088 0 1 0 55197 61 0 0 25 0 11 0 478024766 862887936 36358 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 36358 13073 16 0 210650 0
vsize: 842664
[startup+600.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 56150 61 0 0 25 0 11 0 478024766 862887936 36417 4294967295 134512640 134569956 3221224416 3221214688 1131216481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 36417 13073 16 0 210650 0
vsize: 842664
[startup+610.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 57068 62 0 0 25 0 11 0 478024766 862887936 36637 4294967295 134512640 134569956 3221224416 3221214820 1131331532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 36637 13073 16 0 210650 0
vsize: 842664
[startup+620.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 58013 62 0 0 25 0 11 0 478024766 862887936 36814 4294967295 134512640 134569956 3221224416 3221214824 1131451059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210666 36814 13073 16 0 210650 0
vsize: 842664
[startup+630.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 58961 62 0 0 25 0 11 0 478024766 862887936 36869 4294967295 134512640 134569956 3221224416 3221214712 1131591624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 36869 13073 16 0 210650 0
vsize: 842664
[startup+640.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 59906 63 0 0 25 0 11 0 478024766 862887936 37017 4294967295 134512640 134569956 3221224416 3221214784 1131509184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 37017 13073 16 0 210650 0
vsize: 842664
[startup+650.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 60840 63 0 0 24 0 11 0 478024766 862887936 37207 4294967295 134512640 134569956 3221224416 3221214688 1131216433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 37207 13073 16 0 210650 0
vsize: 842664
[startup+660.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) S 12883 11931 11930 0 -1 0 18088 0 1 0 61781 64 0 0 25 0 11 0 478024766 862887936 37360 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 37360 13073 16 0 210650 0
vsize: 842664
[startup+670.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 62731 64 0 0 25 0 11 0 478024766 862887936 37508 4294967295 134512640 134569956 3221224416 3221214864 1131349167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 37508 13073 16 0 210650 0
vsize: 842664
[startup+680.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 63673 65 0 0 25 0 11 0 478024766 862887936 37686 4294967295 134512640 134569956 3221224416 3221214768 1131453302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 37686 13073 16 0 210650 0
vsize: 842664
[startup+690.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 64618 65 0 0 25 0 11 0 478024766 862887936 37849 4294967295 134512640 134569956 3221224416 3221214752 1131386018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 37849 13073 16 0 210650 0
vsize: 842664
[startup+700.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 65563 65 0 0 25 0 11 0 478024766 862887936 37994 4294967295 134512640 134569956 3221224416 3221214688 1131502193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 37994 13073 16 0 210650 0
vsize: 842664
[startup+710.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 66506 65 0 0 25 0 11 0 478024766 862887936 38130 4294967295 134512640 134569956 3221224416 3221214864 1131349260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 38130 13073 16 0 210650 0
vsize: 842664
[startup+720.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 67451 66 0 0 25 0 11 0 478024766 862887936 38266 4294967295 134512640 134569956 3221224416 3221214712 1131591771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 38266 13073 16 0 210650 0
vsize: 842664
[startup+730.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 68386 66 0 0 24 0 11 0 478024766 862887936 38394 4294967295 134512640 134569956 3221224416 3221214752 1131365504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 38394 13073 16 0 210650 0
vsize: 842664
[startup+740.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 69332 66 0 0 25 0 11 0 478024766 862887936 38579 4294967295 134512640 134569956 3221224416 3221214688 1131216101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210666 38579 13073 16 0 210650 0
vsize: 842664
[startup+750.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 70282 66 0 0 25 0 11 0 478024766 862887936 38742 4294967295 134512640 134569956 3221224416 3221214568 1131224239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 38742 13073 16 0 210650 0
vsize: 842664
[startup+760.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 71224 66 0 0 25 0 11 0 478024766 862887936 38910 4294967295 134512640 134569956 3221224416 3221214688 1131217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 38910 13073 16 0 210650 0
vsize: 842664
[startup+770.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 72169 67 0 0 25 0 11 0 478024766 862887936 39065 4294967295 134512640 134569956 3221224416 3221214864 1131349154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 39065 13073 16 0 210650 0
vsize: 842664
[startup+780.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 73111 67 0 0 25 0 11 0 478024766 862887936 39215 4294967295 134512640 134569956 3221224416 3221214752 1131386042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 39215 13073 16 0 210650 0
vsize: 842664
[startup+790.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 74057 67 0 0 25 0 11 0 478024766 862887936 39345 4294967295 134512640 134569956 3221224416 3221214784 1131508163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 39345 13073 16 0 210650 0
vsize: 842664
[startup+800.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 75001 67 0 0 25 0 11 0 478024766 862887936 39446 4294967295 134512640 134569956 3221224416 3221214688 1131216736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 39446 13073 16 0 210650 0
vsize: 842664
[startup+810.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 75942 68 0 0 25 0 11 0 478024766 862887936 39617 4294967295 134512640 134569956 3221224416 3221214688 1131216057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 39617 13073 16 0 210650 0
vsize: 842664
[startup+820.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 76872 68 0 0 25 0 11 0 478024766 862887936 39771 4294967295 134512640 134569956 3221224416 3221214712 1131591628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 39771 13073 16 0 210650 0
vsize: 842664
[startup+830.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 77816 68 0 0 25 0 11 0 478024766 862887936 39874 4294967295 134512640 134569956 3221224416 3221214784 1131505108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 39874 13073 16 0 210650 0
vsize: 842664
[startup+840.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 78758 69 0 0 25 0 11 0 478024766 862887936 40014 4294967295 134512640 134569956 3221224416 3221214688 1131216524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 40014 13073 16 0 210650 0
vsize: 842664
[startup+850.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 79705 69 0 0 25 0 11 0 478024766 862887936 40182 4294967295 134512640 134569956 3221224416 3221214568 1131224474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 40182 13073 16 0 210650 0
vsize: 842664
[startup+860.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 80644 69 0 0 25 0 11 0 478024766 862887936 40398 4294967295 134512640 134569956 3221224416 3221214688 1131216481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 40398 13073 16 0 210650 0
vsize: 842664
[startup+870.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 81582 70 0 0 25 0 11 0 478024766 862887936 40592 4294967295 134512640 134569956 3221224416 3221214712 1131591644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 40592 13073 16 0 210650 0
vsize: 842664
[startup+880.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 82532 70 0 0 25 0 11 0 478024766 862887936 40733 4294967295 134512640 134569956 3221224416 3221214688 1131216481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 40733 13073 16 0 210650 0
vsize: 842664
[startup+890.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 83480 70 0 0 24 0 11 0 478024766 862887936 40864 4294967295 134512640 134569956 3221224416 3221214712 1131591788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 40864 13073 16 0 210650 0
vsize: 842664
[startup+900.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 84438 70 0 0 25 0 11 0 478024766 862887936 40984 4294967295 134512640 134569956 3221224416 3221214688 1131216753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 40984 13073 16 0 210650 0
vsize: 842664
[startup+910.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 85380 70 0 0 25 0 11 0 478024766 862887936 41144 4294967295 134512640 134569956 3221224416 3221214712 1131591632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 41144 13073 16 0 210650 0
vsize: 842664
[startup+920.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 86326 70 0 0 24 0 11 0 478024766 862887936 41231 4294967295 134512640 134569956 3221224416 3221214576 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210666 41231 13073 16 0 210650 0
vsize: 842664
[startup+930.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 87274 71 0 0 25 0 11 0 478024766 862887936 41310 4294967295 134512640 134569956 3221224416 3221214688 1131217097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 41310 13073 16 0 210650 0
vsize: 842664
[startup+940.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 88208 71 0 0 25 0 11 0 478024766 862887936 41421 4294967295 134512640 134569956 3221224416 3221214824 1131453511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 41421 13073 16 0 210650 0
vsize: 842664
[startup+950.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 89139 71 0 0 25 0 11 0 478024766 862887936 41575 4294967295 134512640 134569956 3221224416 3221214672 1131212216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 41575 13073 16 0 210650 0
vsize: 842664
[startup+960.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 90084 72 0 0 25 0 11 0 478024766 862887936 41712 4294967295 134512640 134569956 3221224416 3221214680 1131355469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 41712 13073 16 0 210650 0
vsize: 842664
[startup+970.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 91016 72 0 0 25 0 11 0 478024766 862887936 41857 4294967295 134512640 134569956 3221224416 3221214704 1131236132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 41857 13073 16 0 210650 0
vsize: 842664
[startup+980.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 91965 72 0 0 25 0 11 0 478024766 862887936 41973 4294967295 134512640 134569956 3221224416 3221214712 1131591779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 41973 13073 16 0 210650 0
vsize: 842664
[startup+990.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 92904 72 0 0 25 0 11 0 478024766 862887936 42134 4294967295 134512640 134569956 3221224416 3221214824 1131451853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 42134 13073 16 0 210650 0
vsize: 842664
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 93845 73 0 0 25 0 11 0 478024766 862887936 42311 4294967295 134512640 134569956 3221224416 3221214520 1131307209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 42311 13073 16 0 210650 0
vsize: 842664
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 94789 73 0 0 25 0 11 0 478024766 862887936 42444 4294967295 134512640 134569956 3221224416 3221214784 1131505108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 42444 13073 16 0 210650 0
vsize: 842664
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 95731 73 0 0 25 0 11 0 478024766 862887936 42573 4294967295 134512640 134569956 3221224416 3221214784 1131505052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 42573 13073 16 0 210650 0
vsize: 842664
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 96664 74 0 0 25 0 11 0 478024766 862887936 42721 4294967295 134512640 134569956 3221224416 3221214608 1131438031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 42721 13073 16 0 210650 0
vsize: 842664
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 97608 74 0 0 25 0 11 0 478024766 862887936 42869 4294967295 134512640 134569956 3221224416 3221214784 1131331675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 42869 13073 16 0 210650 0
vsize: 842664
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 98555 74 0 0 25 0 11 0 478024766 862887936 43045 4294967295 134512640 134569956 3221224416 3221214688 1131216971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 43045 13073 16 0 210650 0
vsize: 842664
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 99493 75 0 0 25 0 11 0 478024766 862887936 43216 4294967295 134512640 134569956 3221224416 3221214712 1131591771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 43216 13073 16 0 210650 0
vsize: 842664
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 100441 75 0 0 25 0 11 0 478024766 862887936 43348 4294967295 134512640 134569956 3221224416 3221214708 1131502112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 43348 13073 16 0 210650 0
vsize: 842664
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 101389 76 0 0 25 0 11 0 478024766 862887936 43469 4294967295 134512640 134569956 3221224416 3221214688 1131216433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 43469 13073 16 0 210650 0
vsize: 842664
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 102337 76 0 0 25 0 11 0 478024766 862887936 43601 4294967295 134512640 134569956 3221224416 3221214712 1131591632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 43601 13073 16 0 210650 0
vsize: 842664
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 103287 76 0 0 25 0 11 0 478024766 862887936 43710 4294967295 134512640 134569956 3221224416 3221214784 1131504097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 43710 13073 16 0 210650 0
vsize: 842664
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 104235 77 0 0 25 0 11 0 478024766 862887936 43828 4294967295 134512640 134569956 3221224416 3221214784 1131506055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 43828 13073 16 0 210650 0
vsize: 842664
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 105173 77 0 0 25 0 11 0 478024766 862887936 44006 4294967295 134512640 134569956 3221224416 3221214712 1131594377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 44006 13073 16 0 210650 0
vsize: 842664
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 106123 77 0 0 25 0 11 0 478024766 862887936 44135 4294967295 134512640 134569956 3221224416 3221214712 1131591788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 44135 13073 16 0 210650 0
vsize: 842664
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 107073 77 0 0 25 0 11 0 478024766 862887936 44261 4294967295 134512640 134569956 3221224416 3221214784 1131504032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 44261 13073 16 0 210650 0
vsize: 842664
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 108021 78 0 0 25 0 11 0 478024766 862887936 44364 4294967295 134512640 134569956 3221224416 3221214784 1131505075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 44364 13073 16 0 210650 0
vsize: 842664
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 108960 78 0 0 25 0 11 0 478024766 862887936 44509 4294967295 134512640 134569956 3221224416 3221214712 1131591632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 44509 13073 16 0 210650 0
vsize: 842664
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 109909 78 0 0 25 0 11 0 478024766 862887936 44662 4294967295 134512640 134569956 3221224416 3221214712 1131591639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 44662 13073 16 0 210650 0
vsize: 842664
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 110850 78 0 0 25 0 11 0 478024766 862887936 44817 4294967295 134512640 134569956 3221224416 3221214688 1131216101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 44817 13073 16 0 210650 0
vsize: 842664
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 111800 79 0 0 25 0 11 0 478024766 862887936 44945 4294967295 134512640 134569956 3221224416 3221214784 1131504032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 44945 13073 16 0 210650 0
vsize: 842664
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 112753 79 0 0 25 0 11 0 478024766 862887936 45076 4294967295 134512640 134569956 3221224416 3221214688 1131216588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 45076 13073 16 0 210650 0
vsize: 842664
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 113696 79 0 0 25 0 11 0 478024766 862887936 45208 4294967295 134512640 134569956 3221224416 3221214712 1131591636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 45208 13073 16 0 210650 0
vsize: 842664
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 114639 79 0 0 25 0 11 0 478024766 862887936 45347 4294967295 134512640 134569956 3221224416 3221214712 1131591788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 45347 13073 16 0 210650 0
vsize: 842664
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 115593 79 0 0 25 0 11 0 478024766 862887936 45477 4294967295 134512640 134569956 3221224416 3221214712 1131591632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 45477 13073 16 0 210650 0
vsize: 842664
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 116535 80 0 0 25 0 11 0 478024766 862887936 45603 4294967295 134512640 134569956 3221224416 3221214864 1131348960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 45603 13073 16 0 210650 0
vsize: 842664
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 117489 80 0 0 25 0 11 0 478024766 862887936 45725 4294967295 134512640 134569956 3221224416 3221214576 1131404171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 45725 13073 16 0 210650 0
vsize: 842664
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 118433 80 0 0 25 0 11 0 478024766 862887936 45872 4294967295 134512640 134569956 3221224416 3221214824 1131452059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 45872 13073 16 0 210650 0
vsize: 842664
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 119395 80 0 0 25 0 11 0 478024766 862887936 45949 4294967295 134512640 134569956 3221224416 3221214688 1131216980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 45949 13073 16 0 210650 0
vsize: 842664
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12894
Raw data (stat): 12884 (java) R 12883 11931 11930 0 -1 0 18088 0 1 0 120349 80 0 0 25 0 11 0 478024766 862887936 46051 4294967295 134512640 134569956 3221224416 3221214864 1131348964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210666 46051 13073 16 0 210650 0
vsize: 842664
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12896
Raw data (stat): 12884 (java) Z 12883 11931 11930 0 -1 1036 18088 25455 1 0 120355 80 7135 57 25 0 1 0 478024766 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1280.25
CPU time (s): 1276.29
CPU user time (s): 1274.9
CPU system time (s): 1.38579
CPU usage (%): 99.6903
Max. virtual memory (Kb): 855836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####