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/uclid_pb_benchmarks/normalized-43s.smv.opb
MD5SUM	ae94bd623bad8cc45fdbf5c29802ad06
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	158
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	539
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.50177
Number of variables	3655
Total number of constraints	8686
Number of constraints which are clauses	7982
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	704
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 4439

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-13 17:18:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2412 boxname=wulflinc2 idbench=268 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ae94bd623bad8cc45fdbf5c29802ad06  /oldhome/oroussel/tmp/wulflinc2/normalized-43s.smv.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-43s.smv.opb
IDLAUNCH: 2412
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        918328 kB
Buffers:         31980 kB
Cached:          63896 kB
SwapCached:          4 kB
Active:          48820 kB
Inactive:        49944 kB
HighTotal:      131008 kB
HighFree:        63308 kB
LowTotal:       903652 kB
LowFree:        855020 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            12076 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:34:36 (client local time) WITH STATUS 20 IN  SECONDS
stats: 2412 7  20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-43s.smv.opb
c reading problem 
c [nbvar=3655]
c [nbconstr=8686]
c time 9.461
c #vars     3655
c #clauses  8686
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
c Total CPU time (ms) : 964.662
s UNSATISFIABLE
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.93 2/54 21629
Raw data (stat): 21629 (runsolver) R 21628 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419472834 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.001 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 21638
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18016 0 1 0 805 42 0 0 25 0 10 0 419472834 854769664 20650 4294967295 134512640 134569956 3221224416 3221214496 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208684 20650 13073 16 0 208668 0
vsize: 834736
[startup+20.002 s]
Raw data (loadavg): 1.24 1.05 0.95 3/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18108 0 1 0 1601 43 0 0 25 0 11 0 419472834 871718912 24875 4294967295 134512640 134569956 3221224416 3221214656 1130918098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212822 24875 13073 16 0 212806 0
vsize: 851288
[startup+30.0027 s]
Raw data (loadavg): 1.20 1.05 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 2562 43 0 0 25 0 11 0 419472834 869523456 24515 4294967295 134512640 134569956 3221224416 3221214848 1131339404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 24515 13073 16 0 212270 0
vsize: 849144
[startup+40.0029 s]
Raw data (loadavg): 1.17 1.04 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 3528 43 0 0 25 0 11 0 419472834 869523456 24659 4294967295 134512640 134569956 3221224416 3221214848 1131339088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 24659 13073 16 0 212270 0
vsize: 849144
[startup+50.0032 s]
Raw data (loadavg): 1.14 1.04 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 4493 43 0 0 25 0 11 0 419472834 869523456 24887 4294967295 134512640 134569956 3221224416 3221214736 1131351124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 24887 13073 16 0 212270 0
vsize: 849144
[startup+60.0039 s]
Raw data (loadavg): 1.12 1.04 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 5470 44 0 0 25 0 11 0 419472834 869523456 25093 4294967295 134512640 134569956 3221224416 3221214848 1131339111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 25093 13073 16 0 212270 0
vsize: 849144
[startup+70.0041 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 6441 44 0 0 25 0 11 0 419472834 869523456 25094 4294967295 134512640 134569956 3221224416 3221214848 1131339392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 25094 13073 16 0 212270 0
vsize: 849144
[startup+80.0052 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 7420 44 0 0 25 0 11 0 419472834 869523456 25182 4294967295 134512640 134569956 3221224416 3221214696 1131693504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 25182 13073 16 0 212270 0
vsize: 849144
[startup+90.006 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 8391 44 0 0 25 0 11 0 419472834 869523456 25329 4294967295 134512640 134569956 3221224416 3221214848 1131339100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 25329 13073 16 0 212270 0
vsize: 849144
[startup+100.005 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 9363 44 0 0 25 0 11 0 419472834 869523456 25484 4294967295 134512640 134569956 3221224416 3221214688 1131215449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 25484 13073 16 0 212270 0
vsize: 849144
[startup+110.006 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 10337 44 0 0 24 0 11 0 419472834 869523456 25618 4294967295 134512640 134569956 3221224416 3221214736 1131351197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 25618 13073 16 0 212270 0
vsize: 849144
[startup+120.007 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 21639
Raw data (stat): 21629 (java) S 21628 20937 20936 0 -1 0 18110 0 1 0 11309 44 0 0 25 0 11 0 419472834 869523456 25755 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 25755 13073 16 0 212270 0
vsize: 849144
[startup+130.007 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 12275 45 0 0 24 0 11 0 419472834 869523456 25864 4294967295 134512640 134569956 3221224416 3221214848 1131339575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 25864 13073 16 0 212270 0
vsize: 849144
[startup+140.007 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 13258 45 0 0 25 0 11 0 419472834 869523456 25950 4294967295 134512640 134569956 3221224416 3221214848 1131339108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 25950 13073 16 0 212270 0
vsize: 849144
[startup+150.008 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 14240 45 0 0 25 0 11 0 419472834 869523456 26046 4294967295 134512640 134569956 3221224416 3221214784 1131391502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 26046 13073 16 0 212270 0
vsize: 849144
[startup+160.008 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 15213 46 0 0 25 0 11 0 419472834 869523456 26176 4294967295 134512640 134569956 3221224416 3221214848 1131339116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 26176 13073 16 0 212270 0
vsize: 849144
[startup+170.008 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 16186 46 0 0 25 0 11 0 419472834 869523456 26434 4294967295 134512640 134569956 3221224416 3221214848 1131339124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 26434 13073 16 0 212270 0
vsize: 849144
[startup+180.009 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 17152 46 0 0 25 0 11 0 419472834 869523456 26644 4294967295 134512640 134569956 3221224416 3221214848 1131339315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 26644 13073 16 0 212270 0
vsize: 849144
[startup+190.011 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18110 0 1 0 18117 46 0 0 25 0 11 0 419472834 869523456 26823 4294967295 134512640 134569956 3221224416 3221214736 1131351134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 26823 13073 16 0 212270 0
vsize: 849144
[startup+200.01 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 19082 47 0 0 25 0 11 0 419472834 869523456 26964 4294967295 134512640 134569956 3221224416 3221214688 1131214719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 26964 13073 16 0 212270 0
vsize: 849144
[startup+210.01 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 20048 47 0 0 25 0 11 0 419472834 869523456 27170 4294967295 134512640 134569956 3221224416 3221214696 1131693520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 27170 13073 16 0 212270 0
vsize: 849144
[startup+220.011 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 21003 47 0 0 25 0 11 0 419472834 869523456 27297 4294967295 134512640 134569956 3221224416 3221214736 1131350538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 27297 13073 16 0 212270 0
vsize: 849144
[startup+230.011 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 21966 48 0 0 25 0 11 0 419472834 869523456 27435 4294967295 134512640 134569956 3221224416 3221214848 1131339124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 27435 13073 16 0 212270 0
vsize: 849144
[startup+240.011 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 22929 48 0 0 25 0 11 0 419472834 869523456 27606 4294967295 134512640 134569956 3221224416 3221214736 1131352095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 27606 13073 16 0 212270 0
vsize: 849144
[startup+250.012 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 23901 48 0 0 25 0 11 0 419472834 869523456 27723 4294967295 134512640 134569956 3221224416 3221214848 1131339088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 27723 13073 16 0 212270 0
vsize: 849144
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 21639
Raw data (stat): 21629 (java) S 21628 20937 20936 0 -1 0 18111 0 1 0 24875 48 0 0 25 0 11 0 419472834 869523456 27875 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 27875 13073 16 0 212270 0
vsize: 849144
[startup+270.013 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 25854 49 0 0 25 0 11 0 419472834 869523456 28009 4294967295 134512640 134569956 3221224416 3221214848 1131339408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 28009 13073 16 0 212270 0
vsize: 849144
[startup+280.014 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 26828 49 0 0 25 0 11 0 419472834 869523456 28140 4294967295 134512640 134569956 3221224416 3221214784 1131390450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 28140 13073 16 0 212270 0
vsize: 849144
[startup+290.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 27793 49 0 0 24 0 11 0 419472834 869523456 28303 4294967295 134512640 134569956 3221224416 3221214896 1131639175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 28303 13073 16 0 212270 0
vsize: 849144
[startup+300.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 28767 50 0 0 25 0 11 0 419472834 869523456 28446 4294967295 134512640 134569956 3221224416 3221214784 1131391444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 28446 13073 16 0 212270 0
vsize: 849144
[startup+310.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 29731 50 0 0 25 0 11 0 419472834 869523456 28644 4294967295 134512640 134569956 3221224416 3221214720 1131385820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 28644 13073 16 0 212270 0
vsize: 849144
[startup+320.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 30696 50 0 0 25 0 11 0 419472834 869523456 28803 4294967295 134512640 134569956 3221224416 3221214848 1131339315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 28803 13073 16 0 212270 0
vsize: 849144
[startup+330.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 31652 50 0 0 25 0 11 0 419472834 869523456 28975 4294967295 134512640 134569956 3221224416 3221214736 1131351191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 28975 13073 16 0 212270 0
vsize: 849144
[startup+340.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 32616 51 0 0 25 0 11 0 419472834 869523456 29113 4294967295 134512640 134569956 3221224416 3221214848 1131339124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 29113 13073 16 0 212270 0
vsize: 849144
[startup+350.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 33570 51 0 0 25 0 11 0 419472834 869523456 29293 4294967295 134512640 134569956 3221224416 3221214688 1131214541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 29293 13073 16 0 212270 0
vsize: 849144
[startup+360.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 34531 51 0 0 25 0 11 0 419472834 869523456 29525 4294967295 134512640 134569956 3221224416 3221214784 1131392410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 29525 13073 16 0 212270 0
vsize: 849144
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 35502 51 0 0 25 0 11 0 419472834 869523456 29654 4294967295 134512640 134569956 3221224416 3221214976 1131138397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 29654 13073 16 0 212270 0
vsize: 849144
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 36454 52 0 0 25 0 11 0 419472834 869523456 29801 4294967295 134512640 134569956 3221224416 3221214688 1131214715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 29801 13073 16 0 212270 0
vsize: 849144
[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 37416 52 0 0 25 0 11 0 419472834 869523456 29942 4294967295 134512640 134569956 3221224416 3221214848 1131339392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 29942 13073 16 0 212270 0
vsize: 849144
[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 38368 52 0 0 25 0 11 0 419472834 869523456 30100 4294967295 134512640 134569956 3221224416 3221214688 1131214227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 30100 13073 16 0 212270 0
vsize: 849144
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 39330 53 0 0 25 0 11 0 419472834 869523456 30214 4294967295 134512640 134569956 3221224416 3221214848 1131339392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 30214 13073 16 0 212270 0
vsize: 849144
[startup+420.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 40281 53 0 0 25 0 11 0 419472834 869523456 30393 4294967295 134512640 134569956 3221224416 3221214696 1131693516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 30393 13073 16 0 212270 0
vsize: 849144
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 41240 53 0 0 25 0 11 0 419472834 869523456 30536 4294967295 134512640 134569956 3221224416 3221214784 1131394209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 30536 13073 16 0 212270 0
vsize: 849144
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 42190 54 0 0 25 0 11 0 419472834 869523456 30677 4294967295 134512640 134569956 3221224416 3221214736 1131351148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 30677 13073 16 0 212270 0
vsize: 849144
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 43140 54 0 0 25 0 11 0 419472834 869523456 30817 4294967295 134512640 134569956 3221224416 3221214784 1131390457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 30817 13073 16 0 212270 0
vsize: 849144
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 44088 54 0 0 25 0 11 0 419472834 869523456 31044 4294967295 134512640 134569956 3221224416 3221214848 1131339100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31044 13073 16 0 212270 0
vsize: 849144
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 45038 54 0 0 25 0 11 0 419472834 869523456 31158 4294967295 134512640 134569956 3221224416 3221214752 1131214376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31158 13073 16 0 212270 0
vsize: 849144
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 45996 55 0 0 25 0 11 0 419472834 869523456 31293 4294967295 134512640 134569956 3221224416 3221214624 1131527659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31293 13073 16 0 212270 0
vsize: 849144
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 46954 55 0 0 25 0 11 0 419472834 869523456 31461 4294967295 134512640 134569956 3221224416 3221214896 1131637633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31461 13073 16 0 212270 0
vsize: 849144
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 47931 55 0 0 25 0 11 0 419472834 869523456 31519 4294967295 134512640 134569956 3221224416 3221214736 1131352065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 31519 13073 16 0 212270 0
vsize: 849144
[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 48921 55 0 0 25 0 11 0 419472834 869523456 31548 4294967295 134512640 134569956 3221224416 3221214848 1131339323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31548 13073 16 0 212270 0
vsize: 849144
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 49921 56 0 0 25 0 11 0 419472834 869523456 31548 4294967295 134512640 134569956 3221224416 3221214560 1131510861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31548 13073 16 0 212270 0
vsize: 849144
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 50911 56 0 0 25 0 11 0 419472834 869523456 31586 4294967295 134512640 134569956 3221224416 3221214440 1131504864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31586 13073 16 0 212270 0
vsize: 849144
[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 51900 56 0 0 25 0 11 0 419472834 869523456 31613 4294967295 134512640 134569956 3221224416 3221213528 1131510861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31613 13073 16 0 212270 0
vsize: 849144
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 52880 56 0 0 25 0 11 0 419472834 869523456 31693 4294967295 134512640 134569956 3221224416 3221214544 1131510101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31693 13073 16 0 212270 0
vsize: 849144
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 53870 56 0 0 25 0 11 0 419472834 869523456 31745 4294967295 134512640 134569956 3221224416 3221214224 1131510801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31745 13073 16 0 212270 0
vsize: 849144
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 54861 57 0 0 25 0 11 0 419472834 869523456 31745 4294967295 134512640 134569956 3221224416 3221214112 1131510801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31745 13073 16 0 212270 0
vsize: 849144
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 55841 57 0 0 25 0 11 0 419472834 869523456 31796 4294967295 134512640 134569956 3221224416 3221214784 1131390522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31796 13073 16 0 212270 0
vsize: 849144
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 56831 57 0 0 25 0 11 0 419472834 869523456 31832 4294967295 134512640 134569956 3221224416 3221214504 1131510801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31832 13073 16 0 212270 0
vsize: 849144
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 57821 58 0 0 25 0 11 0 419472834 869523456 31832 4294967295 134512640 134569956 3221224416 3221214608 1131504682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31832 13073 16 0 212270 0
vsize: 849144
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 58801 58 0 0 25 0 11 0 419472834 869523456 31915 4294967295 134512640 134569956 3221224416 3221214088 1131510828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31915 13073 16 0 212270 0
vsize: 849144
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 59792 58 0 0 25 0 11 0 419472834 869523456 31915 4294967295 134512640 134569956 3221224416 3221214164 1131510800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31915 13073 16 0 212270 0
vsize: 849144
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 60781 58 0 0 25 0 11 0 419472834 869523456 31944 4294967295 134512640 134569956 3221224416 3221214696 1131693668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31944 13073 16 0 212270 0
vsize: 849144
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 61771 59 0 0 25 0 11 0 419472834 869523456 31983 4294967295 134512640 134569956 3221224416 3221214424 1131506454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 31983 13073 16 0 212270 0
vsize: 849144
[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 62751 59 0 0 25 0 11 0 419472834 869523456 32071 4294967295 134512640 134569956 3221224416 3221214488 1131504898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 32071 13073 16 0 212270 0
vsize: 849144
[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 63741 59 0 0 25 0 11 0 419472834 869523456 32113 4294967295 134512640 134569956 3221224416 3221214800 1131443845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 32113 13073 16 0 212270 0
vsize: 849144
[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 64732 59 0 0 25 0 11 0 419472834 869523456 32113 4294967295 134512640 134569956 3221224416 3221213528 1131510801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212286 32113 13073 16 0 212270 0
vsize: 849144
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 65722 59 0 0 25 0 11 0 419472834 869523456 32149 4294967295 134512640 134569956 3221224416 3221214552 1131504745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32149 13073 16 0 212270 0
vsize: 849144
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 66712 59 0 0 24 0 11 0 419472834 869523456 32190 4294967295 134512640 134569956 3221224416 3221214608 1131504745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32190 13073 16 0 212270 0
vsize: 849144
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 67712 59 0 0 25 0 11 0 419472834 869523456 32190 4294967295 134512640 134569956 3221224416 3221214208 1131512135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32190 13073 16 0 212270 0
vsize: 849144
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 68702 59 0 0 25 0 11 0 419472834 869523456 32218 4294967295 134512640 134569956 3221224416 3221214608 1131504871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32218 13073 16 0 212270 0
vsize: 849144
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 69692 59 0 0 25 0 11 0 419472834 869523456 32277 4294967295 134512640 134569956 3221224416 3221214424 1131506253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32277 13073 16 0 212270 0
vsize: 849144
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 70683 59 0 0 25 0 11 0 419472834 869523456 32277 4294967295 134512640 134569956 3221224416 3221213944 1131510801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32277 13073 16 0 212270 0
vsize: 849144
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 71664 59 0 0 25 0 11 0 419472834 869523456 32389 4294967295 134512640 134569956 3221224416 3221214256 1131506464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32389 13073 16 0 212270 0
vsize: 849144
[startup+750.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 72654 59 0 0 25 0 11 0 419472834 869523456 32438 4294967295 134512640 134569956 3221224416 3221214112 1131510865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32438 13073 16 0 212270 0
vsize: 849144
[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 73645 59 0 0 25 0 11 0 419472834 869523456 32462 4294967295 134512640 134569956 3221224416 3221214156 1131510080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32462 13073 16 0 212270 0
vsize: 849144
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 74626 59 0 0 25 0 11 0 419472834 869523456 32512 4294967295 134512640 134569956 3221224416 3221214504 1131510776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32512 13073 16 0 212270 0
vsize: 849144
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 75616 60 0 0 25 0 11 0 419472834 869523456 32568 4294967295 134512640 134569956 3221224416 3221214384 1131504937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32568 13073 16 0 212270 0
vsize: 849144
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 76606 60 0 0 25 0 11 0 419472834 869523456 32600 4294967295 134512640 134569956 3221224416 3221214784 1131390522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32600 13073 16 0 212270 0
vsize: 849144
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 77596 60 0 0 25 0 11 0 419472834 869523456 32657 4294967295 134512640 134569956 3221224416 3221213296 1131500468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32657 13073 16 0 212270 0
vsize: 849144
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 78564 60 0 0 25 0 11 0 419472834 869523456 32680 4294967295 134512640 134569956 3221224416 3221214848 1131339575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32680 13073 16 0 212270 0
vsize: 849144
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 79523 60 0 0 25 0 11 0 419472834 869523456 32680 4294967295 134512640 134569956 3221224416 3221214696 1131693653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32680 13073 16 0 212270 0
vsize: 849144
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 80466 60 0 0 25 0 11 0 419472834 869523456 32824 4294967295 134512640 134569956 3221224416 3221214784 1131391472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32824 13073 16 0 212270 0
vsize: 849144
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 81427 60 0 0 25 0 11 0 419472834 869523456 32947 4294967295 134512640 134569956 3221224416 3221214488 1131523386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 32947 13073 16 0 212270 0
vsize: 849144
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 82381 60 0 0 25 0 11 0 419472834 869523456 33061 4294967295 134512640 134569956 3221224416 3221214488 1131722471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 33061 13073 16 0 212270 0
vsize: 849144
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 83323 60 0 0 25 0 11 0 419472834 869523456 33242 4294967295 134512640 134569956 3221224416 3221214688 1131214463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 33242 13073 16 0 212270 0
vsize: 849144
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 84276 60 0 0 25 0 11 0 419472834 869523456 33399 4294967295 134512640 134569956 3221224416 3221214736 1131710981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 33399 13073 16 0 212270 0
vsize: 849144
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 85230 60 0 0 25 0 11 0 419472834 869523456 33524 4294967295 134512640 134569956 3221224416 3221214688 1131214337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 33524 13073 16 0 212270 0
vsize: 849144
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 86185 60 0 0 25 0 11 0 419472834 869523456 33694 4294967295 134512640 134569956 3221224416 3221214688 1131306662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 33694 13073 16 0 212270 0
vsize: 849144
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 87140 60 0 0 25 0 11 0 419472834 869523456 33812 4294967295 134512640 134569956 3221224416 3221214360 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 33812 13073 16 0 212270 0
vsize: 849144
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 88096 60 0 0 25 0 11 0 419472834 869523456 33909 4294967295 134512640 134569956 3221224416 3221214736 1131350277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 33909 13073 16 0 212270 0
vsize: 849144
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 89051 60 0 0 25 0 11 0 419472834 869523456 34006 4294967295 134512640 134569956 3221224416 3221214696 1131693668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 34006 13073 16 0 212270 0
vsize: 849144
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 90015 60 0 0 25 0 11 0 419472834 869523456 34128 4294967295 134512640 134569956 3221224416 3221214688 1131215329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 34128 13073 16 0 212270 0
vsize: 849144
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 90973 60 0 0 24 0 11 0 419472834 869523456 34237 4294967295 134512640 134569956 3221224416 3221214696 1131693529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 34237 13073 16 0 212270 0
vsize: 849144
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 91936 60 0 0 25 0 11 0 419472834 869523456 34315 4294967295 134512640 134569956 3221224416 3221214688 1131529209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 34315 13073 16 0 212270 0
vsize: 849144
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21639
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 92897 60 0 0 25 0 11 0 419472834 869523456 34384 4294967295 134512640 134569956 3221224416 3221214736 1131351134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 34384 13073 16 0 212270 0
vsize: 849144
[startup+965.44 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 21640
Raw data (stat): 21629 (java) R 21628 20937 20936 0 -1 0 18111 0 1 0 92897 60 0 0 25 0 11 0 419472834 869523456 34384 4294967295 134512640 134569956 3221224416 3221214736 1131351134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212286 34384 13073 16 0 212270 0
vsize: 0

Child status: 20
Real time (s): 965.439
CPU time (s): 979.338
CPU user time (s): 978.132
CPU system time (s): 1.20582
CPU usage (%): 101.44
Max. virtual memory (Kb): 851288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####