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.rf8.ucl.opb
MD5SUM	317d7ee26920057c111ecab6a61f058e
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	2.00469
Number of variables	6832
Total number of constraints	19477
Number of constraints which are clauses	18953
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	524
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 4468

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-13 17:37:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2772 boxname=wulflinc1 idbench=308 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  317d7ee26920057c111ecab6a61f058e  /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.rf8.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.rf8.ucl.opb
IDLAUNCH: 2772
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        872636 kB
Buffers:         39576 kB
Cached:          97784 kB
SwapCached:          0 kB
Active:         102496 kB
Inactive:        38512 kB
HighTotal:      131008 kB
HighFree:        40376 kB
LowTotal:       903652 kB
LowFree:        832260 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           8436 kB
Slab:            15400 kB
Committed_AS:    96700 kB
PageTables:        388 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:53:16 (client local time) WITH STATUS 20 IN  SECONDS
stats: 2772 7  20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.rf8.ucl.opb
c reading problem 
c [nbvar=6832]
c [nbconstr=19477]
c time 25.205
c #vars     6832
c #clauses  19477
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) : 940.863
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.85 0.97 0.99 2/59 13414
Raw data (stat): 13414 (runsolver) R 13413 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 362730624 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.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/68 13423
Raw data (stat): 13414 (java) S 13413 12452 12451 0 -1 0 18004 0 1 0 813 40 0 0 25 0 10 0 362730624 855330816 20904 4294967295 134512640 134569956 3221224416 3221213776 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208821 20904 13073 16 0 208805 0
vsize: 835284
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/68 13423
Raw data (stat): 13414 (java) S 13413 12452 12451 0 -1 0 18005 0 1 0 1693 41 0 0 25 0 10 0 362730624 854249472 21350 4294967295 134512640 134569956 3221224416 3221213776 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208557 21350 13073 16 0 208541 0
vsize: 834228
[startup+30.0019 s]
Raw data (loadavg): 1.12 1.02 1.01 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18091 0 1 0 2521 42 0 0 25 0 11 0 362730624 859791360 22968 4294967295 134512640 134569956 3221224416 3221214872 1131362012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209910 22968 13073 16 0 209894 0
vsize: 839640
[startup+40.0021 s]
Raw data (loadavg): 1.10 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18091 0 1 0 3499 42 0 0 25 0 11 0 362730624 858710016 22816 4294967295 134512640 134569956 3221224416 3221214872 1131362034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209646 22816 13073 16 0 209630 0
vsize: 838584
[startup+50.002 s]
Raw data (loadavg): 1.08 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18091 0 1 0 4480 42 0 0 25 0 11 0 362730624 858710016 23013 4294967295 134512640 134569956 3221224416 3221214856 1131455659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209646 23013 13073 16 0 209630 0
vsize: 838584
[startup+60.0027 s]
Raw data (loadavg): 1.07 1.01 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18091 0 1 0 5462 42 0 0 25 0 11 0 362730624 858710016 23104 4294967295 134512640 134569956 3221224416 3221214872 1131362304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209646 23104 13073 16 0 209630 0
vsize: 838584
[startup+70.0035 s]
Raw data (loadavg): 1.06 1.01 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18091 0 1 0 6446 42 0 0 25 0 11 0 362730624 858710016 23190 4294967295 134512640 134569956 3221224416 3221214872 1131362451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209646 23190 13073 16 0 209630 0
vsize: 838584
[startup+80.0033 s]
Raw data (loadavg): 1.05 1.01 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18092 0 1 0 7430 42 0 0 25 0 11 0 362730624 858710016 23232 4294967295 134512640 134569956 3221224416 3221214872 1131362214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209646 23232 13073 16 0 209630 0
vsize: 838584
[startup+90.0036 s]
Raw data (loadavg): 1.04 1.01 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18092 0 1 0 8397 42 0 0 25 0 11 0 362730624 866172928 25171 4294967295 134512640 134569956 3221224416 3221214840 1131362239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211468 25171 13073 16 0 211452 0
vsize: 845872
[startup+100.004 s]
Raw data (loadavg): 1.04 1.01 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 9380 42 0 0 25 0 11 0 362730624 860540928 23893 4294967295 134512640 134569956 3221224416 3221214848 1131362461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 23893 13073 16 0 210077 0
vsize: 840372
[startup+110.005 s]
Raw data (loadavg): 1.03 1.01 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 10364 42 0 0 25 0 11 0 362730624 860540928 23928 4294967295 134512640 134569956 3221224416 3221214848 1131362000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 23928 13073 16 0 210077 0
vsize: 840372
[startup+120.005 s]
Raw data (loadavg): 1.02 1.01 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 11348 42 0 0 25 0 11 0 362730624 860540928 24149 4294967295 134512640 134569956 3221224416 3221214848 1131362020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24149 13073 16 0 210077 0
vsize: 840372
[startup+130.005 s]
Raw data (loadavg): 1.09 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 12334 43 0 0 25 0 11 0 362730624 860540928 24149 4294967295 134512640 134569956 3221224416 3221214848 1131362304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 24149 13073 16 0 210077 0
vsize: 840372
[startup+140.005 s]
Raw data (loadavg): 1.08 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 13320 43 0 0 25 0 11 0 362730624 860540928 24150 4294967295 134512640 134569956 3221224416 3221214848 1131362231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 24150 13073 16 0 210077 0
vsize: 840372
[startup+150.005 s]
Raw data (loadavg): 1.07 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 14303 43 0 0 25 0 11 0 362730624 860540928 24160 4294967295 134512640 134569956 3221224416 3221214848 1131362214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 24160 13073 16 0 210077 0
vsize: 840372
[startup+160.006 s]
Raw data (loadavg): 1.06 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 15288 43 0 0 25 0 11 0 362730624 860540928 24230 4294967295 134512640 134569956 3221224416 3221214848 1131362012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24230 13073 16 0 210077 0
vsize: 840372
[startup+170.005 s]
Raw data (loadavg): 1.05 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 16275 43 0 0 25 0 11 0 362730624 860540928 24264 4294967295 134512640 134569956 3221224416 3221214784 1131417473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 24264 13073 16 0 210077 0
vsize: 840372
[startup+180.005 s]
Raw data (loadavg): 1.04 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 17260 43 0 0 25 0 11 0 362730624 860540928 24336 4294967295 134512640 134569956 3221224416 3221214736 1131369294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 24336 13073 16 0 210077 0
vsize: 840372
[startup+190.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 18247 43 0 0 25 0 11 0 362730624 860540928 24381 4294967295 134512640 134569956 3221224416 3221214752 1131195660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24381 13073 16 0 210077 0
vsize: 840372
[startup+200.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 19232 43 0 0 25 0 11 0 362730624 860540928 24525 4294967295 134512640 134569956 3221224416 3221214848 1131362027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24525 13073 16 0 210077 0
vsize: 840372
[startup+210.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 20219 43 0 0 25 0 11 0 362730624 860540928 24525 4294967295 134512640 134569956 3221224416 3221214848 1131362036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24525 13073 16 0 210077 0
vsize: 840372
[startup+220.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/69 13424
Raw data (stat): 13414 (java) S 13413 12452 12451 0 -1 0 18093 0 1 0 21198 43 0 0 25 0 11 0 362730624 860540928 24706 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24706 13073 16 0 210077 0
vsize: 840372
[startup+230.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 22180 44 0 0 25 0 11 0 362730624 860540928 24764 4294967295 134512640 134569956 3221224416 3221214736 1131369300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24764 13073 16 0 210077 0
vsize: 840372
[startup+240.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 23167 44 0 0 25 0 11 0 362730624 860540928 24844 4294967295 134512640 134569956 3221224416 3221214848 1131362304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24844 13073 16 0 210077 0
vsize: 840372
[startup+250.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 24154 44 0 0 25 0 11 0 362730624 860540928 24938 4294967295 134512640 134569956 3221224416 3221214848 1131362020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 24938 13073 16 0 210077 0
vsize: 840372
[startup+260.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 25141 44 0 0 25 0 11 0 362730624 860540928 25038 4294967295 134512640 134569956 3221224416 3221214848 1131362034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25038 13073 16 0 210077 0
vsize: 840372
[startup+270.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 26129 44 0 0 25 0 11 0 362730624 860540928 25066 4294967295 134512640 134569956 3221224416 3221214848 1131362229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25066 13073 16 0 210077 0
vsize: 840372
[startup+280.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 27103 44 0 0 25 0 11 0 362730624 860540928 25278 4294967295 134512640 134569956 3221224416 3221214736 1131369376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25278 13073 16 0 210077 0
vsize: 840372
[startup+290.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 28090 44 0 0 25 0 11 0 362730624 860540928 25404 4294967295 134512640 134569956 3221224416 3221214848 1131362292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25404 13073 16 0 210077 0
vsize: 840372
[startup+300.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 29077 44 0 0 25 0 11 0 362730624 860540928 25505 4294967295 134512640 134569956 3221224416 3221214848 1131362012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25505 13073 16 0 210077 0
vsize: 840372
[startup+310.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 30064 44 0 0 25 0 11 0 362730624 860540928 25682 4294967295 134512640 134569956 3221224416 3221214896 1131562148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25682 13073 16 0 210077 0
vsize: 840372
[startup+320.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 31051 44 0 0 25 0 11 0 362730624 860540928 25750 4294967295 134512640 134569956 3221224416 3221214848 1131362304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25750 13073 16 0 210077 0
vsize: 840372
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 32038 45 0 0 25 0 11 0 362730624 860540928 25849 4294967295 134512640 134569956 3221224416 3221214848 1131362239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25849 13073 16 0 210077 0
vsize: 840372
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 33025 45 0 0 25 0 11 0 362730624 860540928 26067 4294967295 134512640 134569956 3221224416 3221214848 1131362000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26067 13073 16 0 210077 0
vsize: 840372
[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 34013 45 0 0 25 0 11 0 362730624 860540928 26166 4294967295 134512640 134569956 3221224416 3221214752 1131196908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26166 13073 16 0 210077 0
vsize: 840372
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 35001 45 0 0 25 0 11 0 362730624 860540928 26182 4294967295 134512640 134569956 3221224416 3221214848 1131362036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26182 13073 16 0 210077 0
vsize: 840372
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 35977 45 0 0 25 0 11 0 362730624 860540928 26415 4294967295 134512640 134569956 3221224416 3221214848 1131362311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26415 13073 16 0 210077 0
vsize: 840372
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 36965 45 0 0 25 0 11 0 362730624 860540928 26569 4294967295 134512640 134569956 3221224416 3221214848 1131362304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26569 13073 16 0 210077 0
vsize: 840372
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 37954 45 0 0 25 0 11 0 362730624 860540928 26719 4294967295 134512640 134569956 3221224416 3221214848 1131362027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26719 13073 16 0 210077 0
vsize: 840372
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 38944 45 0 0 25 0 11 0 362730624 860540928 26719 4294967295 134512640 134569956 3221224416 3221214848 1131362036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26719 13073 16 0 210077 0
vsize: 840372
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 39933 46 0 0 25 0 11 0 362730624 860540928 26819 4294967295 134512640 134569956 3221224416 3221214848 1131362221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26819 13073 16 0 210077 0
vsize: 840372
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 40922 46 0 0 25 0 11 0 362730624 860540928 26897 4294967295 134512640 134569956 3221224416 3221214736 1131368443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 26897 13073 16 0 210077 0
vsize: 840372
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 41899 46 0 0 25 0 11 0 362730624 860540928 27130 4294967295 134512640 134569956 3221224416 3221214848 1131362311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27130 13073 16 0 210077 0
vsize: 840372
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 42888 46 0 0 25 0 11 0 362730624 860540928 27194 4294967295 134512640 134569956 3221224416 3221214848 1131362000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27194 13073 16 0 210077 0
vsize: 840372
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 43877 46 0 0 25 0 11 0 362730624 860540928 27301 4294967295 134512640 134569956 3221224416 3221214848 1131362081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27301 13073 16 0 210077 0
vsize: 840372
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 44865 46 0 0 25 0 11 0 362730624 860540928 27371 4294967295 134512640 134569956 3221224416 3221214848 1131362304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27371 13073 16 0 210077 0
vsize: 840372
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 45855 46 0 0 25 0 11 0 362730624 860540928 27451 4294967295 134512640 134569956 3221224416 3221214896 1131562312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27451 13073 16 0 210077 0
vsize: 840372
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 46844 46 0 0 25 0 11 0 362730624 860540928 27451 4294967295 134512640 134569956 3221224416 3221214848 1131362304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27451 13073 16 0 210077 0
vsize: 840372
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 47833 47 0 0 25 0 11 0 362730624 860540928 27554 4294967295 134512640 134569956 3221224416 3221214848 1131362214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27554 13073 16 0 210077 0
vsize: 840372
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 48822 47 0 0 25 0 11 0 362730624 860540928 27646 4294967295 134512640 134569956 3221224416 3221214848 1131362461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27646 13073 16 0 210077 0
vsize: 840372
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 49811 47 0 0 25 0 11 0 362730624 860540928 27775 4294967295 134512640 134569956 3221224416 3221214880 1131478409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27775 13073 16 0 210077 0
vsize: 840372
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13426
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18093 0 1 0 50800 47 0 0 25 0 11 0 362730624 860540928 27775 4294967295 134512640 134569956 3221224416 3221214736 1131369285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27775 13073 16 0 210077 0
vsize: 840372
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 51777 48 0 0 25 0 11 0 362730624 860540928 27941 4294967295 134512640 134569956 3221224416 3221214696 1131624364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 27941 13073 16 0 210077 0
vsize: 840372
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 52767 48 0 0 25 0 11 0 362730624 860540928 28053 4294967295 134512640 134569956 3221224416 3221214736 1131369351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28053 13073 16 0 210077 0
vsize: 840372
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 53756 48 0 0 25 0 11 0 362730624 860540928 28053 4294967295 134512640 134569956 3221224416 3221214848 1131362012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28053 13073 16 0 210077 0
vsize: 840372
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 54744 48 0 0 25 0 11 0 362730624 860540928 28169 4294967295 134512640 134569956 3221224416 3221214848 1131362020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28169 13073 16 0 210077 0
vsize: 840372
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 55733 48 0 0 25 0 11 0 362730624 860540928 28223 4294967295 134512640 134569956 3221224416 3221214848 1131362229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28223 13073 16 0 210077 0
vsize: 840372
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 56721 48 0 0 25 0 11 0 362730624 860540928 28332 4294967295 134512640 134569956 3221224416 3221214784 1131423374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28332 13073 16 0 210077 0
vsize: 840372
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 57710 48 0 0 25 0 11 0 362730624 860540928 28406 4294967295 134512640 134569956 3221224416 3221214848 1131362012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 28406 13073 16 0 210077 0
vsize: 840372
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 58699 48 0 0 25 0 11 0 362730624 860540928 28558 4294967295 134512640 134569956 3221224416 3221214848 1131362451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28558 13073 16 0 210077 0
vsize: 840372
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 59678 49 0 0 25 0 11 0 362730624 860540928 28742 4294967295 134512640 134569956 3221224416 3221214848 1131362020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28742 13073 16 0 210077 0
vsize: 840372
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 60667 49 0 0 25 0 11 0 362730624 860540928 28873 4294967295 134512640 134569956 3221224416 3221214736 1131369256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28873 13073 16 0 210077 0
vsize: 840372
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 61657 49 0 0 25 0 11 0 362730624 860540928 28873 4294967295 134512640 134569956 3221224416 3221214848 1131362451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 28873 13073 16 0 210077 0
vsize: 840372
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 62647 49 0 0 25 0 11 0 362730624 860540928 28946 4294967295 134512640 134569956 3221224416 3221214848 1131362461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28946 13073 16 0 210077 0
vsize: 840372
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 63636 49 0 0 25 0 11 0 362730624 860540928 29030 4294967295 134512640 134569956 3221224416 3221214752 1131246796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 29030 13073 16 0 210077 0
vsize: 840372
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 64626 49 0 0 25 0 11 0 362730624 860540928 29118 4294967295 134512640 134569956 3221224416 3221214848 1131362020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 29118 13073 16 0 210077 0
vsize: 840372
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 65615 49 0 0 25 0 11 0 362730624 860540928 29245 4294967295 134512640 134569956 3221224416 3221214848 1131362020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 29245 13073 16 0 210077 0
vsize: 840372
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 66604 50 0 0 25 0 11 0 362730624 860540928 29334 4294967295 134512640 134569956 3221224416 3221214848 1131362027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 29334 13073 16 0 210077 0
vsize: 840372
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 67593 50 0 0 25 0 11 0 362730624 860540928 29473 4294967295 134512640 134569956 3221224416 3221214848 1131362034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 29473 13073 16 0 210077 0
vsize: 840372
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 68583 50 0 0 25 0 11 0 362730624 860540928 29557 4294967295 134512640 134569956 3221224416 3221214848 1131362465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 29557 13073 16 0 210077 0
vsize: 840372
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 69573 50 0 0 25 0 11 0 362730624 860540928 29636 4294967295 134512640 134569956 3221224416 3221214848 1131362012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 29636 13073 16 0 210077 0
vsize: 840372
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 70562 50 0 0 25 0 11 0 362730624 860540928 29706 4294967295 134512640 134569956 3221224416 3221214784 1131419778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 29706 13073 16 0 210077 0
vsize: 840372
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 71551 50 0 0 25 0 11 0 362730624 860540928 29825 4294967295 134512640 134569956 3221224416 3221214696 1131456868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 29825 13073 16 0 210077 0
vsize: 840372
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 72541 50 0 0 25 0 11 0 362730624 860540928 30017 4294967295 134512640 134569956 3221224416 3221214328 1078829710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30017 13073 16 0 210077 0
vsize: 840372
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 73530 51 0 0 25 0 11 0 362730624 860540928 30143 4294967295 134512640 134569956 3221224416 3221214736 1131369361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30143 13073 16 0 210077 0
vsize: 840372
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 74520 51 0 0 25 0 11 0 362730624 860540928 30228 4294967295 134512640 134569956 3221224416 3221214848 1131362000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30228 13073 16 0 210077 0
vsize: 840372
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 75510 51 0 0 25 0 11 0 362730624 860540928 30332 4294967295 134512640 134569956 3221224416 3221214848 1131362227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30332 13073 16 0 210077 0
vsize: 840372
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 76500 51 0 0 25 0 11 0 362730624 860540928 30435 4294967295 134512640 134569956 3221224416 3221214736 1131369272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30435 13073 16 0 210077 0
vsize: 840372
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 77491 51 0 0 25 0 11 0 362730624 860540928 30435 4294967295 134512640 134569956 3221224416 3221214736 1131368376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210093 30435 13073 16 0 210077 0
vsize: 840372
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 78480 51 0 0 25 0 11 0 362730624 860540928 30569 4294967295 134512640 134569956 3221224416 3221214896 1131555764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30569 13073 16 0 210077 0
vsize: 840372
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 79470 51 0 0 25 0 11 0 362730624 860540928 30689 4294967295 134512640 134569956 3221224416 3221214696 1131624369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30689 13073 16 0 210077 0
vsize: 840372
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13428
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 80452 51 0 0 25 0 11 0 362730624 860540928 30799 4294967295 134512640 134569956 3221224416 3221214848 1131362027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30799 13073 16 0 210077 0
vsize: 840372
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 81443 52 0 0 25 0 11 0 362730624 860540928 30904 4294967295 134512640 134569956 3221224416 3221214848 1131362020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30904 13073 16 0 210077 0
vsize: 840372
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 82434 52 0 0 25 0 11 0 362730624 860540928 30904 4294967295 134512640 134569956 3221224416 3221214848 1131362034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30904 13073 16 0 210077 0
vsize: 840372
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 83424 52 0 0 25 0 11 0 362730624 860540928 30904 4294967295 134512640 134569956 3221224416 3221214848 1131362221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 30904 13073 16 0 210077 0
vsize: 840372
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 84414 52 0 0 25 0 11 0 362730624 860540928 31089 4294967295 134512640 134569956 3221224416 3221214848 1131362374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31089 13073 16 0 210077 0
vsize: 840372
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 85404 52 0 0 25 0 11 0 362730624 860540928 31089 4294967295 134512640 134569956 3221224416 3221214848 1131362020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31089 13073 16 0 210077 0
vsize: 840372
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 86394 52 0 0 25 0 11 0 362730624 860540928 31189 4294967295 134512640 134569956 3221224416 3221214728 1131246743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31189 13073 16 0 210077 0
vsize: 840372
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 87384 52 0 0 25 0 11 0 362730624 860540928 31277 4294967295 134512640 134569956 3221224416 3221214848 1131362027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31277 13073 16 0 210077 0
vsize: 840372
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 88374 52 0 0 25 0 11 0 362730624 860540928 31381 4294967295 134512640 134569956 3221224416 3221214848 1131362311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31381 13073 16 0 210077 0
vsize: 840372
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 89364 52 0 0 25 0 11 0 362730624 860540928 31452 4294967295 134512640 134569956 3221224416 3221214848 1131362304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31452 13073 16 0 210077 0
vsize: 840372
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 90354 52 0 0 25 0 11 0 362730624 860540928 31501 4294967295 134512640 134569956 3221224416 3221214696 1131624476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31501 13073 16 0 210077 0
vsize: 840372
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 91344 52 0 0 25 0 11 0 362730624 860540928 31562 4294967295 134512640 134569956 3221224416 3221214848 1131362229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31562 13073 16 0 210077 0
vsize: 840372
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13430
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 92334 52 0 0 25 0 11 0 362730624 860540928 31605 4294967295 134512640 134569956 3221224416 3221214848 1131362000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31605 13073 16 0 210077 0
vsize: 840372
[startup+941.642 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 13431
Raw data (stat): 13414 (java) R 13413 12452 12451 0 -1 0 18094 0 1 0 92334 52 0 0 25 0 11 0 362730624 860540928 31605 4294967295 134512640 134569956 3221224416 3221214848 1131362000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 31605 13073 16 0 210077 0
vsize: 0

Child status: 20
Real time (s): 941.642
CPU time (s): 939.927
CPU user time (s): 939.163
CPU system time (s): 0.763883
CPU usage (%): 99.8179
Max. virtual memory (Kb): 845872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####