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-ooo.rf9.ucl.opb
MD5SUM	16020fb7e9a574406a9b7b25cd98594c
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	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.20806
Number of variables	11476
Total number of constraints	33090
Number of constraints which are clauses	32382
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	708
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 29312

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        237168 kB
Buffers:         30140 kB
Cached:         736152 kB
SwapCached:       1020 kB
Active:          49892 kB
Inactive:       718544 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        236916 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            23396 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:41:58 (client local time) WITH STATUS 20 IN 1066.24 SECONDS
stats: 20719 7 1066.24 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/wulflinc21/normalized-ooo.rf9.ucl.opb
c reading problem ... done. Time 52.469 ms.
c #vars     11476
c #constraints  33090
c starts	: 9
c conflicts	: 5132
c decisions	: 17591
c propagations	: 5540243
c inspects	: 18433105
c learned literals	: 7
c learned binary clauses	: 129
c learned ternary clauses	: 131
c learned clauses	: 5124
c root simplifications	: 49
s UNSATISFIABLE
c Total CPU time (ms) : 1051.514
#### 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.00 1.01 1.00 2/55 10834
Raw data (stat): 10834 (runsolver) R 10833 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 713961357 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10843
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18031 0 1 0 750 40 0 0 25 0 10 0 713961357 860897280 22253 4294967295 134512640 134569956 3221224384 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210180 22253 13086 16 0 210164 0
vsize: 840720
[startup+20.0016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10843
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18031 0 1 0 1598 41 0 0 25 0 10 0 713961357 860897280 23357 4294967295 134512640 134569956 3221224384 3221214624 1131228652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210180 23357 13086 16 0 210164 0
vsize: 840720
[startup+30.0013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10843
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18031 0 1 0 2451 41 0 0 25 0 10 0 713961357 860897280 24132 4294967295 134512640 134569956 3221224384 3221214680 1131328513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210180 24132 13086 16 0 210164 0
vsize: 840720
[startup+40.0021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10843
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18031 0 1 0 3308 41 0 0 25 0 10 0 713961357 860897280 24771 4294967295 134512640 134569956 3221224384 3221214776 1131257729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210180 24771 13086 16 0 210164 0
vsize: 840720
[startup+50.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10843
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18031 0 1 0 4155 42 0 0 25 0 10 0 713961357 860897280 25328 4294967295 134512640 134569956 3221224384 3221214740 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210180 25328 13086 16 0 210164 0
vsize: 840720
[startup+60.0033 s]
Raw data (loadavg): 1.08 1.02 1.01 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18076 0 1 0 4983 42 0 0 25 0 11 0 713961357 861425664 26062 4294967295 134512640 134569956 3221224384 3221214680 1131270256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210309 26062 13086 16 0 210293 0
vsize: 841236
[startup+70.0039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18076 0 1 0 5886 42 0 0 25 0 11 0 713961357 861425664 26495 4294967295 134512640 134569956 3221224384 3221214672 1131487689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210309 26495 13086 16 0 210293 0
vsize: 841236
[startup+80.0067 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) S 10833 32363 32362 0 -1 0 18078 0 1 0 6784 42 0 0 25 0 11 0 713961357 862793728 27032 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210643 27032 13086 16 0 210627 0
vsize: 842572
[startup+90.0073 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 7717 42 0 0 25 0 11 0 713961357 861585408 26926 4294967295 134512640 134569956 3221224384 3221214808 1131381987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 26926 13086 16 0 210332 0
vsize: 841392
[startup+100.007 s]
Raw data (loadavg): 1.11 1.03 1.01 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 8654 43 0 0 25 0 11 0 713961357 861585408 27158 4294967295 134512640 134569956 3221224384 3221214776 1131368817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27158 13086 16 0 210332 0
vsize: 841392
[startup+110.008 s]
Raw data (loadavg): 1.10 1.03 1.01 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 9590 43 0 0 25 0 11 0 713961357 861585408 27158 4294967295 134512640 134569956 3221224384 3221214744 1131191688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27158 13086 16 0 210332 0
vsize: 841392
[startup+120.008 s]
Raw data (loadavg): 1.08 1.03 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 10536 43 0 0 25 0 11 0 713961357 861585408 27158 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27158 13086 16 0 210332 0
vsize: 841392
[startup+130.008 s]
Raw data (loadavg): 1.07 1.03 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 11482 43 0 0 25 0 11 0 713961357 861585408 27158 4294967295 134512640 134569956 3221224384 3221214664 1131192258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27158 13086 16 0 210332 0
vsize: 841392
[startup+140.008 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 12408 43 0 0 24 0 11 0 713961357 861585408 27189 4294967295 134512640 134569956 3221224384 3221214792 1131406601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27189 13086 16 0 210332 0
vsize: 841392
[startup+150.008 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 13363 43 0 0 25 0 11 0 713961357 861585408 27251 4294967295 134512640 134569956 3221224384 3221214552 1131543958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27251 13086 16 0 210332 0
vsize: 841392
[startup+160.009 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 14304 43 0 0 25 0 11 0 713961357 861585408 27327 4294967295 134512640 134569956 3221224384 3221214776 1131268287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27327 13086 16 0 210332 0
vsize: 841392
[startup+170.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 15248 43 0 0 25 0 11 0 713961357 861585408 27443 4294967295 134512640 134569956 3221224384 3221214832 1131439378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27443 13086 16 0 210332 0
vsize: 841392
[startup+180.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 16193 43 0 0 25 0 11 0 713961357 861585408 27456 4294967295 134512640 134569956 3221224384 3221214776 1131368758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 27456 13086 16 0 210332 0
vsize: 841392
[startup+190.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 17137 43 0 0 25 0 11 0 713961357 861585408 27483 4294967295 134512640 134569956 3221224384 3221214808 1131382180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27483 13086 16 0 210332 0
vsize: 841392
[startup+200.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 18079 43 0 0 25 0 11 0 713961357 861585408 27531 4294967295 134512640 134569956 3221224384 3221214560 1131370845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 27531 13086 16 0 210332 0
vsize: 841392
[startup+210.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 19022 43 0 0 25 0 11 0 713961357 861585408 27604 4294967295 134512640 134569956 3221224384 3221214784 1131193091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 27604 13086 16 0 210332 0
vsize: 841392
[startup+220.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 19979 43 0 0 25 0 11 0 713961357 861585408 27632 4294967295 134512640 134569956 3221224384 3221214704 1131371307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27632 13086 16 0 210332 0
vsize: 841392
[startup+230.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 20921 43 0 0 25 0 11 0 713961357 861585408 27738 4294967295 134512640 134569956 3221224384 3221214720 1131427895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 27738 13086 16 0 210332 0
vsize: 841392
[startup+240.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 21865 43 0 0 25 0 11 0 713961357 861585408 27784 4294967295 134512640 134569956 3221224384 3221214808 1131382356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 27784 13086 16 0 210332 0
vsize: 841392
[startup+250.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 22823 44 0 0 25 0 11 0 713961357 861585408 27819 4294967295 134512640 134569956 3221224384 3221214804 1131370828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 27819 13086 16 0 210332 0
vsize: 841392
[startup+260.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 23780 44 0 0 25 0 11 0 713961357 861585408 27826 4294967295 134512640 134569956 3221224384 3221214784 1131193048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27826 13086 16 0 210332 0
vsize: 841392
[startup+270.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 24749 44 0 0 25 0 11 0 713961357 861585408 27844 4294967295 134512640 134569956 3221224384 3221214744 1131191688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 27844 13086 16 0 210332 0
vsize: 841392
[startup+280.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 25689 44 0 0 25 0 11 0 713961357 861585408 27973 4294967295 134512640 134569956 3221224384 3221214744 1131191728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 27973 13086 16 0 210332 0
vsize: 841392
[startup+290.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 26629 44 0 0 25 0 11 0 713961357 861585408 28011 4294967295 134512640 134569956 3221224384 3221214560 1131370878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28011 13086 16 0 210332 0
vsize: 841392
[startup+300.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 27582 44 0 0 25 0 11 0 713961357 861585408 28102 4294967295 134512640 134569956 3221224384 3221214664 1131493516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28102 13086 16 0 210332 0
vsize: 841392
[startup+310.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 28537 44 0 0 25 0 11 0 713961357 861585408 28140 4294967295 134512640 134569956 3221224384 3221214776 1131368707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 28140 13086 16 0 210332 0
vsize: 841392
[startup+320.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 29493 45 0 0 25 0 11 0 713961357 861585408 28218 4294967295 134512640 134569956 3221224384 3221214648 1131444896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28218 13086 16 0 210332 0
vsize: 841392
[startup+330.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 30433 45 0 0 25 0 11 0 713961357 861585408 28302 4294967295 134512640 134569956 3221224384 3221214664 1131494185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28302 13086 16 0 210332 0
vsize: 841392
[startup+340.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 31373 45 0 0 25 0 11 0 713961357 861585408 28362 4294967295 134512640 134569956 3221224384 3221214664 1131487671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28362 13086 16 0 210332 0
vsize: 841392
[startup+350.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 32328 45 0 0 25 0 11 0 713961357 861585408 28386 4294967295 134512640 134569956 3221224384 3221214808 1131382323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28386 13086 16 0 210332 0
vsize: 841392
[startup+360.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 33282 45 0 0 25 0 11 0 713961357 861585408 28465 4294967295 134512640 134569956 3221224384 3221214808 1131382424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28465 13086 16 0 210332 0
vsize: 841392
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 34236 45 0 0 25 0 11 0 713961357 861585408 28580 4294967295 134512640 134569956 3221224384 3221214560 1131370924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28580 13086 16 0 210332 0
vsize: 841392
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 35175 45 0 0 25 0 11 0 713961357 861585408 28652 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28652 13086 16 0 210332 0
vsize: 841392
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) S 10833 32363 32362 0 -1 0 18078 0 1 0 36117 46 0 0 25 0 11 0 713961357 861585408 28652 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28652 13086 16 0 210332 0
vsize: 841392
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 37059 46 0 0 25 0 11 0 713961357 861585408 28715 4294967295 134512640 134569956 3221224384 3221214784 1131416583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 28715 13086 16 0 210332 0
vsize: 841392
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 38014 46 0 0 25 0 11 0 713961357 861585408 28764 4294967295 134512640 134569956 3221224384 3221214780 1131217267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28764 13086 16 0 210332 0
vsize: 841392
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 38966 46 0 0 25 0 11 0 713961357 861585408 28814 4294967295 134512640 134569956 3221224384 3221214664 1131192254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28814 13086 16 0 210332 0
vsize: 841392
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 39918 46 0 0 25 0 11 0 713961357 861585408 28925 4294967295 134512640 134569956 3221224384 3221214744 1131191723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28925 13086 16 0 210332 0
vsize: 841392
[startup+440.016 s]
Raw data (loadavg): 1.08 1.02 1.01 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 40888 46 0 0 25 0 11 0 713961357 861585408 28956 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 28956 13086 16 0 210332 0
vsize: 841392
[startup+450.016 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 41841 46 0 0 25 0 11 0 713961357 861585408 29058 4294967295 134512640 134569956 3221224384 3221214560 1131371838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29058 13086 16 0 210332 0
vsize: 841392
[startup+460.016 s]
Raw data (loadavg): 1.06 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 42794 47 0 0 25 0 11 0 713961357 861585408 29128 4294967295 134512640 134569956 3221224384 3221214808 1131382023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29128 13086 16 0 210332 0
vsize: 841392
[startup+470.018 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 43750 47 0 0 25 0 11 0 713961357 861585408 29156 4294967295 134512640 134569956 3221224384 3221214784 1131193055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29156 13086 16 0 210332 0
vsize: 841392
[startup+480.018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 44704 47 0 0 25 0 11 0 713961357 861585408 29204 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29204 13086 16 0 210332 0
vsize: 841392
[startup+490.019 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 45658 48 0 0 25 0 11 0 713961357 861585408 29295 4294967295 134512640 134569956 3221224384 3221214776 1131368811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29295 13086 16 0 210332 0
vsize: 841392
[startup+500.019 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 46615 48 0 0 25 0 11 0 713961357 861585408 29295 4294967295 134512640 134569956 3221224384 3221214648 1131444079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 29295 13086 16 0 210332 0
vsize: 841392
[startup+510.02 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 47569 48 0 0 25 0 11 0 713961357 861585408 29398 4294967295 134512640 134569956 3221224384 3221214776 1131368772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29398 13086 16 0 210332 0
vsize: 841392
[startup+520.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 48537 49 0 0 25 0 11 0 713961357 861585408 29460 4294967295 134512640 134569956 3221224384 3221214808 1131381987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 29460 13086 16 0 210332 0
vsize: 841392
[startup+530.02 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 49493 49 0 0 25 0 11 0 713961357 861585408 29539 4294967295 134512640 134569956 3221224384 3221214784 1131193111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29539 13086 16 0 210332 0
vsize: 841392
[startup+540.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 50447 49 0 0 25 0 11 0 713961357 861585408 29581 4294967295 134512640 134569956 3221224384 3221214804 1131363232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29581 13086 16 0 210332 0
vsize: 841392
[startup+550.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 51400 49 0 0 25 0 11 0 713961357 861585408 29696 4294967295 134512640 134569956 3221224384 3221214808 1131382359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29696 13086 16 0 210332 0
vsize: 841392
[startup+560.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 52354 49 0 0 25 0 11 0 713961357 861585408 29752 4294967295 134512640 134569956 3221224384 3221214808 1131382323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29752 13086 16 0 210332 0
vsize: 841392
[startup+570.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 53307 49 0 0 25 0 11 0 713961357 861585408 29775 4294967295 134512640 134569956 3221224384 3221214712 1131270421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29775 13086 16 0 210332 0
vsize: 841392
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 54261 49 0 0 25 0 11 0 713961357 861585408 29820 4294967295 134512640 134569956 3221224384 3221214776 1131368792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29820 13086 16 0 210332 0
vsize: 841392
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 55192 49 0 0 25 0 11 0 713961357 861585408 29870 4294967295 134512640 134569956 3221224384 3221214784 1131193070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29870 13086 16 0 210332 0
vsize: 841392
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 56148 49 0 0 25 0 11 0 713961357 861585408 29870 4294967295 134512640 134569956 3221224384 3221214756 1131405216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29870 13086 16 0 210332 0
vsize: 841392
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 57087 50 0 0 25 0 11 0 713961357 861585408 29994 4294967295 134512640 134569956 3221224384 3221214664 1131493450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 29994 13086 16 0 210332 0
vsize: 841392
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 58045 50 0 0 25 0 11 0 713961357 861585408 30056 4294967295 134512640 134569956 3221224384 3221214808 1131382304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30056 13086 16 0 210332 0
vsize: 841392
[startup+630.023 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 58988 50 0 0 25 0 11 0 713961357 861585408 30121 4294967295 134512640 134569956 3221224384 3221214712 1131270382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30121 13086 16 0 210332 0
vsize: 841392
[startup+640.024 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 10844
Raw data (stat): 10834 (java) S 10833 32363 32362 0 -1 0 18078 0 1 0 59942 50 0 0 25 0 11 0 713961357 861585408 30207 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30207 13086 16 0 210332 0
vsize: 841392
[startup+650.024 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 60903 51 0 0 25 0 11 0 713961357 861585408 30251 4294967295 134512640 134569956 3221224384 3221214844 1131442531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30251 13086 16 0 210332 0
vsize: 841392
[startup+660.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 61845 51 0 0 24 0 11 0 713961357 861585408 30270 4294967295 134512640 134569956 3221224384 3221214792 1131362441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30270 13086 16 0 210332 0
vsize: 841392
[startup+670.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 62789 51 0 0 25 0 11 0 713961357 861585408 30282 4294967295 134512640 134569956 3221224384 3221214704 1131371838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30282 13086 16 0 210332 0
vsize: 841392
[startup+680.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 63744 51 0 0 25 0 11 0 713961357 861585408 30334 4294967295 134512640 134569956 3221224384 3221214784 1131193055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30334 13086 16 0 210332 0
vsize: 841392
[startup+690.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 64685 51 0 0 25 0 11 0 713961357 861585408 30389 4294967295 134512640 134569956 3221224384 3221214616 1131371492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30389 13086 16 0 210332 0
vsize: 841392
[startup+700.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 65640 52 0 0 25 0 11 0 713961357 861585408 30453 4294967295 134512640 134569956 3221224384 3221214636 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30453 13086 16 0 210332 0
vsize: 841392
[startup+710.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 66596 52 0 0 25 0 11 0 713961357 861585408 30493 4294967295 134512640 134569956 3221224384 3221214808 1131382035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30493 13086 16 0 210332 0
vsize: 841392
[startup+720.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 67565 52 0 0 25 0 11 0 713961357 861585408 30571 4294967295 134512640 134569956 3221224384 3221214680 1131521803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30571 13086 16 0 210332 0
vsize: 841392
[startup+730.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 68518 52 0 0 25 0 11 0 713961357 861585408 30648 4294967295 134512640 134569956 3221224384 3221214808 1131382068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30648 13086 16 0 210332 0
vsize: 841392
[startup+740.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 69457 52 0 0 25 0 11 0 713961357 861585408 30794 4294967295 134512640 134569956 3221224384 3221214808 1131381987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 30794 13086 16 0 210332 0
vsize: 841392
[startup+750.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 70441 52 0 0 25 0 11 0 713961357 861585408 30794 4294967295 134512640 134569956 3221224384 3221214784 1131193111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 30794 13086 16 0 210332 0
vsize: 841392
[startup+760.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 71394 52 0 0 25 0 11 0 713961357 861585408 31012 4294967295 134512640 134569956 3221224384 3221214808 1131382470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 31012 13086 16 0 210332 0
vsize: 841392
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 72353 53 0 0 25 0 11 0 713961357 861585408 31012 4294967295 134512640 134569956 3221224384 3221214664 1131491606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 31012 13086 16 0 210332 0
vsize: 841392
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 73311 53 0 0 25 0 11 0 713961357 861585408 31012 4294967295 134512640 134569956 3221224384 3221214792 1131362437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 31012 13086 16 0 210332 0
vsize: 841392
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 74266 53 0 0 25 0 11 0 713961357 861585408 31075 4294967295 134512640 134569956 3221224384 3221214776 1131368711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 31075 13086 16 0 210332 0
vsize: 841392
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 75220 53 0 0 25 0 11 0 713961357 861585408 31232 4294967295 134512640 134569956 3221224384 3221214784 1131193032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 31232 13086 16 0 210332 0
vsize: 841392
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 76173 53 0 0 25 0 11 0 713961357 861585408 31355 4294967295 134512640 134569956 3221224384 3221214560 1131371593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 31355 13086 16 0 210332 0
vsize: 841392
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 77127 53 0 0 25 0 11 0 713961357 861585408 31409 4294967295 134512640 134569956 3221224384 3221214560 1131371307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 31409 13086 16 0 210332 0
vsize: 841392
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 78082 54 0 0 25 0 11 0 713961357 861585408 31509 4294967295 134512640 134569956 3221224384 3221214776 1131368707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 31509 13086 16 0 210332 0
vsize: 841392
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 79052 54 0 0 25 0 11 0 713961357 861585408 31646 4294967295 134512640 134569956 3221224384 3221214768 1131192184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 31646 13086 16 0 210332 0
vsize: 841392
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 80006 54 0 0 25 0 11 0 713961357 861585408 31738 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 31738 13086 16 0 210332 0
vsize: 841392
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 80961 54 0 0 25 0 11 0 713961357 861585408 31847 4294967295 134512640 134569956 3221224384 3221214776 1131368741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 31847 13086 16 0 210332 0
vsize: 841392
[startup+870.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 81931 54 0 0 25 0 11 0 713961357 861585408 31890 4294967295 134512640 134569956 3221224384 3221214776 1131368814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 31890 13086 16 0 210332 0
vsize: 841392
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 82870 54 0 0 25 0 11 0 713961357 861585408 32035 4294967295 134512640 134569956 3221224384 3221214560 1131371863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32035 13086 16 0 210332 0
vsize: 841392
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 83823 55 0 0 25 0 11 0 713961357 861585408 32121 4294967295 134512640 134569956 3221224384 3221214804 1131362409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32121 13086 16 0 210332 0
vsize: 841392
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 84777 55 0 0 25 0 11 0 713961357 861585408 32163 4294967295 134512640 134569956 3221224384 3221214776 1131368835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32163 13086 16 0 210332 0
vsize: 841392
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 85731 55 0 0 25 0 11 0 713961357 861585408 32280 4294967295 134512640 134569956 3221224384 3221214560 1131370878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32280 13086 16 0 210332 0
vsize: 841392
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 86686 55 0 0 25 0 11 0 713961357 861585408 32280 4294967295 134512640 134569956 3221224384 3221214712 1131271037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 32280 13086 16 0 210332 0
vsize: 841392
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 87655 55 0 0 25 0 11 0 713961357 861585408 32280 4294967295 134512640 134569956 3221224384 3221214808 1131382068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32280 13086 16 0 210332 0
vsize: 841392
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 88623 55 0 0 25 0 11 0 713961357 861585408 32447 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32447 13086 16 0 210332 0
vsize: 841392
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 89576 55 0 0 25 0 11 0 713961357 861585408 32559 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 32559 13086 16 0 210332 0
vsize: 841392
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 90532 55 0 0 25 0 11 0 713961357 861585408 32559 4294967295 134512640 134569956 3221224384 3221214644 1131441967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32559 13086 16 0 210332 0
vsize: 841392
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 91486 55 0 0 25 0 11 0 713961357 861585408 32652 4294967295 134512640 134569956 3221224384 3221214744 1131191688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32652 13086 16 0 210332 0
vsize: 841392
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 92438 55 0 0 25 0 11 0 713961357 861585408 32778 4294967295 134512640 134569956 3221224384 3221214560 1131370920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32778 13086 16 0 210332 0
vsize: 841392
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 93393 56 0 0 25 0 11 0 713961357 861585408 32897 4294967295 134512640 134569956 3221224384 3221214808 1131382500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 32897 13086 16 0 210332 0
vsize: 841392
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 94346 56 0 0 25 0 11 0 713961357 861585408 33031 4294967295 134512640 134569956 3221224384 3221214792 1131362425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 33031 13086 16 0 210332 0
vsize: 841392
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 95314 56 0 0 25 0 11 0 713961357 861585408 33076 4294967295 134512640 134569956 3221224384 3221214804 1131271322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 33076 13086 16 0 210332 0
vsize: 841392
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 96269 56 0 0 25 0 11 0 713961357 861585408 33132 4294967295 134512640 134569956 3221224384 3221214804 1131368684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 33132 13086 16 0 210332 0
vsize: 841392
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 97237 56 0 0 25 0 11 0 713961357 861585408 33297 4294967295 134512640 134569956 3221224384 3221214664 1131487712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210348 33297 13086 16 0 210332 0
vsize: 841392
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 98206 57 0 0 25 0 11 0 713961357 861585408 33390 4294967295 134512640 134569956 3221224384 3221214704 1131371307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 33390 13086 16 0 210332 0
vsize: 841392
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10844
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 99178 57 0 0 25 0 11 0 713961357 861585408 33497 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 33497 13086 16 0 210332 0
vsize: 841392
[startup+1052.54 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10845
Raw data (stat): 10834 (java) R 10833 32363 32362 0 -1 0 18078 0 1 0 99178 57 0 0 25 0 11 0 713961357 861585408 33497 4294967295 134512640 134569956 3221224384 3221214776 1131368752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210348 33497 13086 16 0 210332 0
vsize: 0

Child status: 20
Real time (s): 1052.54
CPU time (s): 1066.24
CPU user time (s): 1065.13
CPU system time (s): 1.10883
CPU usage (%): 101.301
Max. virtual memory (Kb): 842572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####