PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM	a788dbf2f72289ace41b812e06d88575
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	101
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	362.64
Number of variables	4626
Total number of constraints	35373
Number of constraints which are clauses	29724
Number of constraints which are cardinality constraints (but not clauses)	5571
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 4529

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-13 18:15:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3276 boxname=wulflinc1 idbench=364 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a788dbf2f72289ace41b812e06d88575  /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:1-9,16-19.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:1-9,16-19.opb
IDLAUNCH: 3276
/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:        868872 kB
Buffers:         39612 kB
Cached:         101284 kB
SwapCached:          0 kB
Active:         103076 kB
Inactive:        41460 kB
HighTotal:      131008 kB
HighFree:        36876 kB
LowTotal:       903652 kB
LowFree:        831996 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           8436 kB
Slab:            15564 kB
Committed_AS:    96700 kB
PageTables:        388 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:36:24 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3276 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:1-9,16-19.opb
c reading problem 
c [nbvar=4626]
c [nbconstr=35373]
c time 18.904
c #vars     4626
c #clauses  30921
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/59 13698
Raw data (stat): 13698 (runsolver) R 13697 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 362957486 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0006 s]
Raw data (loadavg): 0.93 0.98 0.99 2/68 13707
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18000 0 1 0 807 40 0 0 25 0 10 0 362957486 854474752 19943 4294967295 134512640 134569956 3221224416 3221214448 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208612 19943 13073 16 0 208596 0
vsize: 834448
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.98 0.99 2/69 13708
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18064 0 1 0 1749 41 0 0 25 0 11 0 362957486 855633920 20949 4294967295 134512640 134569956 3221224416 3221214768 1130912065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208895 20949 13073 16 0 208879 0
vsize: 835580
[startup+30.0022 s]
Raw data (loadavg): 1.26 1.05 1.02 2/69 13708
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18085 0 1 0 2437 42 0 0 25 0 11 0 362957486 866861056 28690 4294967295 134512640 134569956 3221224416 3221214792 1131641704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211636 28690 13073 16 0 211620 0
vsize: 846544
[startup+40.0019 s]
Raw data (loadavg): 1.22 1.05 1.01 2/69 13708
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18085 0 1 0 3403 42 0 0 25 0 11 0 362957486 865685504 28425 4294967295 134512640 134569956 3221224416 3221214808 1131488928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 28425 13073 16 0 211333 0
vsize: 845396
[startup+50.0027 s]
Raw data (loadavg): 1.18 1.05 1.01 2/69 13708
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 4366 42 0 0 25 0 11 0 362957486 865685504 28428 4294967295 134512640 134569956 3221224416 3221214872 1131353231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 28428 13073 16 0 211333 0
vsize: 845396
[startup+60.0025 s]
Raw data (loadavg): 1.16 1.04 1.01 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 5336 43 0 0 25 0 11 0 362957486 865685504 28428 4294967295 134512640 134569956 3221224416 3221214704 1131724247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 28428 13073 16 0 211333 0
vsize: 845396
[startup+70.0033 s]
Raw data (loadavg): 1.13 1.04 1.01 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 6288 43 0 0 25 0 11 0 362957486 865685504 28520 4294967295 134512640 134569956 3221224416 3221214704 1131724236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 28520 13073 16 0 211333 0
vsize: 845396
[startup+80.0041 s]
Raw data (loadavg): 1.11 1.04 1.01 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 7236 43 0 0 25 0 11 0 362957486 865685504 28707 4294967295 134512640 134569956 3221224416 3221214776 1131208095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211349 28707 13073 16 0 211333 0
vsize: 845396
[startup+90.0039 s]
Raw data (loadavg): 1.09 1.04 1.01 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 8186 43 0 0 25 0 11 0 362957486 865685504 28848 4294967295 134512640 134569956 3221224416 3221214608 1131268385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 28848 13073 16 0 211333 0
vsize: 845396
[startup+100.005 s]
Raw data (loadavg): 1.08 1.04 1.01 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 9136 43 0 0 25 0 11 0 362957486 865685504 29035 4294967295 134512640 134569956 3221224416 3221214688 1131268643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 29035 13073 16 0 211333 0
vsize: 845396
[startup+110.005 s]
Raw data (loadavg): 1.07 1.03 1.01 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 10074 43 0 0 25 0 11 0 362957486 865685504 29222 4294967295 134512640 134569956 3221224416 3221214544 1131219101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 29222 13073 16 0 211333 0
vsize: 845396
[startup+120.007 s]
Raw data (loadavg): 1.06 1.03 1.01 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 11025 43 0 0 25 0 11 0 362957486 865685504 29295 4294967295 134512640 134569956 3221224416 3221214688 1131268656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 29295 13073 16 0 211333 0
vsize: 845396
[startup+130.007 s]
Raw data (loadavg): 1.05 1.03 1.01 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 11965 44 0 0 25 0 11 0 362957486 865685504 29365 4294967295 134512640 134569956 3221224416 3221214704 1131724247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 29365 13073 16 0 211333 0
vsize: 845396
[startup+140.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 12917 44 0 0 25 0 11 0 362957486 865685504 29481 4294967295 134512640 134569956 3221224416 3221214704 1131724224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 29481 13073 16 0 211333 0
vsize: 845396
[startup+150.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/69 13710
Raw data (stat): 13698 (java) S 13697 12452 12451 0 -1 0 18086 0 1 0 13870 44 0 0 25 0 11 0 362957486 865685504 29599 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 29599 13073 16 0 211333 0
vsize: 845396
[startup+160.007 s]
Raw data (loadavg): 1.03 1.03 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 14812 44 0 0 25 0 11 0 362957486 865685504 29744 4294967295 134512640 134569956 3221224416 3221214456 1078032391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 29744 13073 16 0 211333 0
vsize: 845396
[startup+170.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 15771 44 0 0 25 0 11 0 362957486 865685504 29910 4294967295 134512640 134569956 3221224416 3221214784 1131642616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 29910 13073 16 0 211333 0
vsize: 845396
[startup+180.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 16737 45 0 0 25 0 11 0 362957486 865685504 30067 4294967295 134512640 134569956 3221224416 3221214704 1131724381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30067 13073 16 0 211333 0
vsize: 845396
[startup+190.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) S 13697 12452 12451 0 -1 0 18086 0 1 0 17702 45 0 0 25 0 11 0 362957486 865685504 30138 4294967295 134512640 134569956 3221224416 3221213576 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30138 13073 16 0 211333 0
vsize: 845396
[startup+200.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 18658 45 0 0 25 0 11 0 362957486 865685504 30244 4294967295 134512640 134569956 3221224416 3221214708 1131231719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30244 13073 16 0 211333 0
vsize: 845396
[startup+210.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 19618 45 0 0 25 0 11 0 362957486 865685504 30343 4294967295 134512640 134569956 3221224416 3221214592 1131628142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30343 13073 16 0 211333 0
vsize: 845396
[startup+220.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 20576 45 0 0 25 0 11 0 362957486 865685504 30438 4294967295 134512640 134569956 3221224416 3221214704 1131724247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30438 13073 16 0 211333 0
vsize: 845396
[startup+230.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 21533 45 0 0 25 0 11 0 362957486 865685504 30531 4294967295 134512640 134569956 3221224416 3221214704 1131724244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30531 13073 16 0 211333 0
vsize: 845396
[startup+240.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 22491 46 0 0 25 0 11 0 362957486 865685504 30613 4294967295 134512640 134569956 3221224416 3221214704 1131724402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30613 13073 16 0 211333 0
vsize: 845396
[startup+250.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 23458 46 0 0 25 0 11 0 362957486 865685504 30659 4294967295 134512640 134569956 3221224416 3221214592 1131627802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30659 13073 16 0 211333 0
vsize: 845396
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 24413 46 0 0 25 0 11 0 362957486 865685504 30718 4294967295 134512640 134569956 3221224416 3221214256 1131314489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30718 13073 16 0 211333 0
vsize: 845396
[startup+270.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 25368 46 0 0 25 0 11 0 362957486 865685504 30825 4294967295 134512640 134569956 3221224416 3221214704 1131724232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211349 30825 13073 16 0 211333 0
vsize: 845396
[startup+280.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 26325 46 0 0 25 0 11 0 362957486 865685504 30981 4294967295 134512640 134569956 3221224416 3221214704 1131724224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 30981 13073 16 0 211333 0
vsize: 845396
[startup+290.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 27294 46 0 0 25 0 11 0 362957486 865685504 31094 4294967295 134512640 134569956 3221224416 3221214704 1131724224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 31094 13073 16 0 211333 0
vsize: 845396
[startup+300.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 28242 47 0 0 25 0 11 0 362957486 865685504 31250 4294967295 134512640 134569956 3221224416 3221214648 1131560007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 31250 13073 16 0 211333 0
vsize: 845396
[startup+310.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 29189 47 0 0 25 0 11 0 362957486 865685504 31366 4294967295 134512640 134569956 3221224416 3221214872 1131353721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 31366 13073 16 0 211333 0
vsize: 845396
[startup+320.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 30131 47 0 0 25 0 11 0 362957486 865685504 31472 4294967295 134512640 134569956 3221224416 3221214704 1131724252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 31472 13073 16 0 211333 0
vsize: 845396
[startup+330.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 31083 47 0 0 25 0 11 0 362957486 865685504 31622 4294967295 134512640 134569956 3221224416 3221214776 1131208078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 31622 13073 16 0 211333 0
vsize: 845396
[startup+340.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 32027 47 0 0 25 0 11 0 362957486 865685504 31756 4294967295 134512640 134569956 3221224416 3221214592 1131628784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 31756 13073 16 0 211333 0
vsize: 845396
[startup+350.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13710
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 32981 47 0 0 25 0 11 0 362957486 865685504 31845 4294967295 134512640 134569956 3221224416 3221214704 1131724240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 31845 13073 16 0 211333 0
vsize: 845396
[startup+360.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13712
Raw data (stat): 13698 (java) S 13697 12452 12451 0 -1 0 18086 0 1 0 33930 47 0 0 25 0 11 0 362957486 865685504 31968 4294967295 134512640 134569956 3221224416 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 31968 13073 16 0 211333 0
vsize: 845396
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 34878 47 0 0 25 0 11 0 362957486 865685504 32119 4294967295 134512640 134569956 3221224416 3221214832 1131408555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 32119 13073 16 0 211333 0
vsize: 845396
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 35836 47 0 0 25 0 11 0 362957486 865685504 32245 4294967295 134512640 134569956 3221224416 3221214560 1131219011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 32245 13073 16 0 211333 0
vsize: 845396
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 36791 48 0 0 24 0 11 0 362957486 865685504 32408 4294967295 134512640 134569956 3221224416 3221214784 1131563169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 32408 13073 16 0 211333 0
vsize: 845396
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 37758 48 0 0 25 0 11 0 362957486 865685504 32523 4294967295 134512640 134569956 3221224416 3221214704 1131724244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 32523 13073 16 0 211333 0
vsize: 845396
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 38719 48 0 0 25 0 11 0 362957486 865685504 32645 4294967295 134512640 134569956 3221224416 3221214872 1131353449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 32645 13073 16 0 211333 0
vsize: 845396
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 39681 48 0 0 25 0 11 0 362957486 865685504 32774 4294967295 134512640 134569956 3221224416 3221214748 1131152627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 32774 13073 16 0 211333 0
vsize: 845396
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) S 13697 12452 12451 0 -1 0 18086 0 1 0 40642 48 0 0 25 0 11 0 362957486 865685504 32903 4294967295 134512640 134569956 3221224416 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 32903 13073 16 0 211333 0
vsize: 845396
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 41596 49 0 0 25 0 11 0 362957486 865685504 32999 4294967295 134512640 134569956 3221224416 3221214688 1131268244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 32999 13073 16 0 211333 0
vsize: 845396
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 42545 49 0 0 25 0 11 0 362957486 865685504 33096 4294967295 134512640 134569956 3221224416 3221214872 1131353257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 33096 13073 16 0 211333 0
vsize: 845396
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 43491 49 0 0 25 0 11 0 362957486 865685504 33204 4294967295 134512640 134569956 3221224416 3221214456 1078032898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 33204 13073 16 0 211333 0
vsize: 845396
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 44455 49 0 0 25 0 11 0 362957486 865685504 33288 4294967295 134512640 134569956 3221224416 3221214704 1131724224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 33288 13073 16 0 211333 0
vsize: 845396
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 45408 49 0 0 25 0 11 0 362957486 865685504 33394 4294967295 134512640 134569956 3221224416 3221214544 1131219040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 33394 13073 16 0 211333 0
vsize: 845396
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 46363 49 0 0 25 0 11 0 362957486 865685504 33533 4294967295 134512640 134569956 3221224416 3221214704 1131724240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 33533 13073 16 0 211333 0
vsize: 845396
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 47319 49 0 0 25 0 11 0 362957486 865685504 33661 4294967295 134512640 134569956 3221224416 3221214704 1131724240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 33661 13073 16 0 211333 0
vsize: 845396
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 48276 50 0 0 25 0 11 0 362957486 865685504 33780 4294967295 134512640 134569956 3221224416 3221214784 1131640433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 33780 13073 16 0 211333 0
vsize: 845396
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 49222 50 0 0 25 0 11 0 362957486 865685504 33906 4294967295 134512640 134569956 3221224416 3221214784 1131640433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 33906 13073 16 0 211333 0
vsize: 845396
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 50167 50 0 0 25 0 11 0 362957486 865685504 34029 4294967295 134512640 134569956 3221224416 3221214872 1131353544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34029 13073 16 0 211333 0
vsize: 845396
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 51112 50 0 0 25 0 11 0 362957486 865685504 34145 4294967295 134512640 134569956 3221224416 3221214688 1131268385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34145 13073 16 0 211333 0
vsize: 845396
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 52066 50 0 0 25 0 11 0 362957486 865685504 34245 4294967295 134512640 134569956 3221224416 3221214784 1131640389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34245 13073 16 0 211333 0
vsize: 845396
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 53012 50 0 0 25 0 11 0 362957486 865685504 34378 4294967295 134512640 134569956 3221224416 3221214872 1131353467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34378 13073 16 0 211333 0
vsize: 845396
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 53969 51 0 0 25 0 11 0 362957486 865685504 34476 4294967295 134512640 134569956 3221224416 3221214784 1131640211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34476 13073 16 0 211333 0
vsize: 845396
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 54929 51 0 0 25 0 11 0 362957486 865685504 34601 4294967295 134512640 134569956 3221224416 3221214752 1131364300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34601 13073 16 0 211333 0
vsize: 845396
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 55892 51 0 0 25 0 11 0 362957486 865685504 34731 4294967295 134512640 134569956 3221224416 3221214544 1131219101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34731 13073 16 0 211333 0
vsize: 845396
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 56859 51 0 0 25 0 11 0 362957486 865685504 34838 4294967295 134512640 134569956 3221224416 3221214560 1131219040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34838 13073 16 0 211333 0
vsize: 845396
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 57819 51 0 0 25 0 11 0 362957486 865685504 34959 4294967295 134512640 134569956 3221224416 3221214752 1131365099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 34959 13073 16 0 211333 0
vsize: 845396
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 58788 52 0 0 25 0 11 0 362957486 865685504 35051 4294967295 134512640 134569956 3221224416 3221214784 1131642076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35051 13073 16 0 211333 0
vsize: 845396
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 59759 52 0 0 25 0 11 0 362957486 865685504 35136 4294967295 134512640 134569956 3221224416 3221214704 1131724247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35136 13073 16 0 211333 0
vsize: 845396
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 60730 52 0 0 25 0 11 0 362957486 865685504 35192 4294967295 134512640 134569956 3221224416 3221214704 1131724389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35192 13073 16 0 211333 0
vsize: 845396
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13712
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 61708 52 0 0 25 0 11 0 362957486 865685504 35252 4294967295 134512640 134569956 3221224416 3221214704 1131724247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35252 13073 16 0 211333 0
vsize: 845396
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 62679 52 0 0 25 0 11 0 362957486 865685504 35312 4294967295 134512640 134569956 3221224416 3221214704 1131724247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35312 13073 16 0 211333 0
vsize: 845396
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 63652 52 0 0 25 0 11 0 362957486 865685504 35392 4294967295 134512640 134569956 3221224416 3221214784 1131642248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35392 13073 16 0 211333 0
vsize: 845396
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 64619 52 0 0 25 0 11 0 362957486 865685504 35489 4294967295 134512640 134569956 3221224416 3221214608 1131268506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35489 13073 16 0 211333 0
vsize: 845396
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 65589 52 0 0 25 0 11 0 362957486 865685504 35550 4294967295 134512640 134569956 3221224416 3221214784 1131640347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35550 13073 16 0 211333 0
vsize: 845396
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 66559 53 0 0 25 0 11 0 362957486 865685504 35626 4294967295 134512640 134569956 3221224416 3221214780 1131269271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35626 13073 16 0 211333 0
vsize: 845396
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 67521 53 0 0 25 0 11 0 362957486 865685504 35699 4294967295 134512640 134569956 3221224416 3221214688 1131268385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35699 13073 16 0 211333 0
vsize: 845396
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 68482 53 0 0 25 0 11 0 362957486 865685504 35765 4294967295 134512640 134569956 3221224416 3221214780 1131208130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35765 13073 16 0 211333 0
vsize: 845396
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 69442 53 0 0 25 0 11 0 362957486 865685504 35855 4294967295 134512640 134569956 3221224416 3221214688 1131268571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35855 13073 16 0 211333 0
vsize: 845396
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 70411 53 0 0 25 0 11 0 362957486 865685504 35945 4294967295 134512640 134569956 3221224416 3221214780 1131208130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 35945 13073 16 0 211333 0
vsize: 845396
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 71381 53 0 0 25 0 11 0 362957486 865685504 36016 4294967295 134512640 134569956 3221224416 3221214704 1131724244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36016 13073 16 0 211333 0
vsize: 845396
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 72352 53 0 0 25 0 11 0 362957486 865685504 36101 4294967295 134512640 134569956 3221224416 3221214704 1131724240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36101 13073 16 0 211333 0
vsize: 845396
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 73325 54 0 0 25 0 11 0 362957486 865685504 36197 4294967295 134512640 134569956 3221224416 3221214560 1131219326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36197 13073 16 0 211333 0
vsize: 845396
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 74295 54 0 0 25 0 11 0 362957486 865685504 36296 4294967295 134512640 134569956 3221224416 3221214704 1131724250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36296 13073 16 0 211333 0
vsize: 845396
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 75271 54 0 0 25 0 11 0 362957486 865685504 36362 4294967295 134512640 134569956 3221224416 3221214592 1131630303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36362 13073 16 0 211333 0
vsize: 845396
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 76248 54 0 0 25 0 11 0 362957486 865685504 36422 4294967295 134512640 134569956 3221224416 3221214680 1131231851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36422 13073 16 0 211333 0
vsize: 845396
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) S 13697 12452 12451 0 -1 0 18086 0 1 0 77221 54 0 0 25 0 11 0 362957486 865685504 36476 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36476 13073 16 0 211333 0
vsize: 845396
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 78188 54 0 0 25 0 11 0 362957486 865685504 36549 4294967295 134512640 134569956 3221224416 3221214560 1131219921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36549 13073 16 0 211333 0
vsize: 845396
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 79153 54 0 0 25 0 11 0 362957486 865685504 36627 4294967295 134512640 134569956 3221224416 3221214752 1131365083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36627 13073 16 0 211333 0
vsize: 845396
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 80120 55 0 0 25 0 11 0 362957486 865685504 36691 4294967295 134512640 134569956 3221224416 3221214784 1131650678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36691 13073 16 0 211333 0
vsize: 845396
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 81092 55 0 0 25 0 11 0 362957486 865685504 36736 4294967295 134512640 134569956 3221224416 3221214784 1131642173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36736 13073 16 0 211333 0
vsize: 845396
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 82057 55 0 0 25 0 11 0 362957486 865685504 36843 4294967295 134512640 134569956 3221224416 3221214704 1131724240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36843 13073 16 0 211333 0
vsize: 845396
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 83030 55 0 0 25 0 11 0 362957486 865685504 36925 4294967295 134512640 134569956 3221224416 3221214664 1131248657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 36925 13073 16 0 211333 0
vsize: 845396
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 84000 55 0 0 25 0 11 0 362957486 865685504 37004 4294967295 134512640 134569956 3221224416 3221214704 1131724244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37004 13073 16 0 211333 0
vsize: 845396
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 84970 56 0 0 25 0 11 0 362957486 865685504 37073 4294967295 134512640 134569956 3221224416 3221214592 1131627802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37073 13073 16 0 211333 0
vsize: 845396
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 85945 56 0 0 25 0 11 0 362957486 865685504 37136 4294967295 134512640 134569956 3221224416 3221214648 1131559417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37136 13073 16 0 211333 0
vsize: 845396
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 86915 56 0 0 25 0 11 0 362957486 865685504 37228 4294967295 134512640 134569956 3221224416 3221214872 1131353544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37228 13073 16 0 211333 0
vsize: 845396
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 87892 56 0 0 25 0 11 0 362957486 865685504 37292 4294967295 134512640 134569956 3221224416 3221214872 1131353228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37292 13073 16 0 211333 0
vsize: 845396
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 88863 56 0 0 25 0 11 0 362957486 865685504 37360 4294967295 134512640 134569956 3221224416 3221214592 1131629356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37360 13073 16 0 211333 0
vsize: 845396
[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 89831 56 0 0 25 0 11 0 362957486 865685504 37419 4294967295 134512640 134569956 3221224416 3221214784 1131640433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37419 13073 16 0 211333 0
vsize: 845396
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13714
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 90800 56 0 0 25 0 11 0 362957486 865685504 37481 4294967295 134512640 134569956 3221224416 3221214440 1078032851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37481 13073 16 0 211333 0
vsize: 845396
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 91773 57 0 0 25 0 11 0 362957486 865685504 37544 4294967295 134512640 134569956 3221224416 3221214688 1131268345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37544 13073 16 0 211333 0
vsize: 845396
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 92733 57 0 0 25 0 11 0 362957486 865685504 37620 4294967295 134512640 134569956 3221224416 3221214560 1131219101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37620 13073 16 0 211333 0
vsize: 845396
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 93700 57 0 0 25 0 11 0 362957486 865685504 37669 4294967295 134512640 134569956 3221224416 3221214704 1131724250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37669 13073 16 0 211333 0
vsize: 845396
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 94650 57 0 0 25 0 11 0 362957486 865685504 37735 4294967295 134512640 134569956 3221224416 3221214704 1131724240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37735 13073 16 0 211333 0
vsize: 845396
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 95604 57 0 0 25 0 11 0 362957486 865685504 37791 4294967295 134512640 134569956 3221224416 3221214704 1131724240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37791 13073 16 0 211333 0
vsize: 845396
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 96541 58 0 0 25 0 11 0 362957486 865685504 37903 4294967295 134512640 134569956 3221224416 3221214736 1131248473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 37903 13073 16 0 211333 0
vsize: 845396
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 97489 58 0 0 25 0 11 0 362957486 865685504 38092 4294967295 134512640 134569956 3221224416 3221214704 1131724240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 38092 13073 16 0 211333 0
vsize: 845396
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 98445 58 0 0 25 0 11 0 362957486 865685504 38172 4294967295 134512640 134569956 3221224416 3221214872 1131353238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 38172 13073 16 0 211333 0
vsize: 845396
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 99388 58 0 0 25 0 11 0 362957486 865685504 38345 4294967295 134512640 134569956 3221224416 3221214592 1131629436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 38345 13073 16 0 211333 0
vsize: 845396
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) S 13697 12452 12451 0 -1 0 18086 0 1 0 100335 58 0 0 25 0 11 0 362957486 865685504 38489 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 38489 13073 16 0 211333 0
vsize: 845396
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 101291 58 0 0 25 0 11 0 362957486 865685504 38647 4294967295 134512640 134569956 3221224416 3221214872 1131353228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 38647 13073 16 0 211333 0
vsize: 845396
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 102238 58 0 0 25 0 11 0 362957486 865685504 38828 4294967295 134512640 134569956 3221224416 3221214704 1131724236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 38828 13073 16 0 211333 0
vsize: 845396
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 103164 58 0 0 25 0 11 0 362957486 865685504 39123 4294967295 134512640 134569956 3221224416 3221214688 1131268413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 39123 13073 16 0 211333 0
vsize: 845396
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 104110 59 0 0 25 0 11 0 362957486 865685504 39421 4294967295 134512640 134569956 3221224416 3221214680 1131231755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 39421 13073 16 0 211333 0
vsize: 845396
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 105044 59 0 0 25 0 11 0 362957486 865685504 39650 4294967295 134512640 134569956 3221224416 3221214784 1131640389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 39650 13073 16 0 211333 0
vsize: 845396
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 105981 59 0 0 25 0 11 0 362957486 865685504 39886 4294967295 134512640 134569956 3221224416 3221214688 1131268574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 39886 13073 16 0 211333 0
vsize: 845396
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 106908 59 0 0 25 0 11 0 362957486 865685504 40084 4294967295 134512640 134569956 3221224416 3221214704 1131724224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 40084 13073 16 0 211333 0
vsize: 845396
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 107851 59 0 0 25 0 11 0 362957486 865685504 40169 4294967295 134512640 134569956 3221224416 3221214872 1131353703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 40169 13073 16 0 211333 0
vsize: 845396
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 108795 59 0 0 25 0 11 0 362957486 865685504 40290 4294967295 134512640 134569956 3221224416 3221214784 1131641704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 40290 13073 16 0 211333 0
vsize: 845396
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 109739 60 0 0 25 0 11 0 362957486 865685504 40423 4294967295 134512640 134569956 3221224416 3221214688 1131268345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 40423 13073 16 0 211333 0
vsize: 845396
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 110671 60 0 0 25 0 11 0 362957486 865685504 40567 4294967295 134512640 134569956 3221224416 3221214872 1131353216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 40567 13073 16 0 211333 0
vsize: 845396
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 111617 60 0 0 25 0 11 0 362957486 865685504 40756 4294967295 134512640 134569956 3221224416 3221214688 1131268443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 40756 13073 16 0 211333 0
vsize: 845396
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 112556 60 0 0 25 0 11 0 362957486 865685504 40925 4294967295 134512640 134569956 3221224416 3221214704 1131724381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 40925 13073 16 0 211333 0
vsize: 845396
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) S 13697 12452 12451 0 -1 0 18086 0 1 0 113504 60 0 0 25 0 11 0 362957486 865685504 41066 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 41066 13073 16 0 211333 0
vsize: 845396
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 114449 60 0 0 25 0 11 0 362957486 865685504 41198 4294967295 134512640 134569956 3221224416 3221214704 1131724224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 41198 13073 16 0 211333 0
vsize: 845396
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 115391 60 0 0 25 0 11 0 362957486 865685504 41376 4294967295 134512640 134569956 3221224416 3221214872 1131353540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 41376 13073 16 0 211333 0
vsize: 845396
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 116345 61 0 0 25 0 11 0 362957486 865685504 41500 4294967295 134512640 134569956 3221224416 3221214688 1131268387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 41500 13073 16 0 211333 0
vsize: 845396
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 117292 61 0 0 25 0 11 0 362957486 865685504 41678 4294967295 134512640 134569956 3221224416 3221214704 1131724244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 41678 13073 16 0 211333 0
vsize: 845396
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 118249 61 0 0 25 0 11 0 362957486 865685504 41803 4294967295 134512640 134569956 3221224416 3221214704 1131724250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 41803 13073 16 0 211333 0
vsize: 845396
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13716
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 119197 61 0 0 25 0 11 0 362957486 865685504 41932 4294967295 134512640 134569956 3221224416 3221214704 1131724236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 41932 13073 16 0 211333 0
vsize: 845396
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13718
Raw data (stat): 13698 (java) R 13697 12452 12451 0 -1 0 18086 0 1 0 120146 62 0 0 25 0 11 0 362957486 865685504 42091 4294967295 134512640 134569956 3221224416 3221214704 1131724232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211349 42091 13073 16 0 211333 0
vsize: 845396
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/59 13720
Raw data (stat): 13698 (java) Z 13697 12452 12451 0 -1 1036 18086 30012 1 0 120148 69 7038 66 25 0 1 0 362957486 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.15
CPU time (s): 1273.23
CPU user time (s): 1271.86
CPU system time (s): 1.36679
CPU usage (%): 101.038
Max. virtual memory (Kb): 846544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####