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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb
MD5SUM	bc46e72682d969c09e6f4028df473a45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	201342
Optimality of the best value was proved	NO
Number of terms in the objective function	73885
Biggest coefficient in the objective function	4066
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	172074995
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	4066
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	172074995
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.34
Number of variables	73885
Total number of constraints	74436
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	74436
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	612
Trace number 30003

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 13:40:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21402 boxname=wulflinc10 idbench=1390 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-t1717.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-t1717.opb
IDLAUNCH: 21402
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        662032 kB
Buffers:         30848 kB
Cached:         319260 kB
SwapCached:         92 kB
Active:          65860 kB
Inactive:       286900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        661780 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            14200 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:02:23 (client local time) WITH STATUS 143 IN 1311.7 SECONDS
stats: 21402 7 1311.7 143
#### 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/wulflinc10/normalized-mps-v2-13-7-t1717.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1309.284
#### 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.86 0.97 0.99 2/54 30898
Raw data (stat): 30898 (runsolver) R 30897 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781104932 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+9.99934 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18021 0 1 0 860 45 0 0 25 0 10 0 781104932 853688320 19329 4294967295 134512640 134569956 3221224368 3221214464 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 19329 13086 16 0 208404 0
vsize: 833680
[startup+20.0005 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 1760 45 0 0 25 0 10 0 781104932 853880832 19870 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 19870 13086 16 0 208451 0
vsize: 833868
[startup+30.0004 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 2652 45 0 0 25 0 10 0 781104932 853880832 20371 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 20371 13086 16 0 208451 0
vsize: 833868
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 3568 46 0 0 25 0 10 0 781104932 854020096 20688 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208501 20688 13086 16 0 208485 0
vsize: 834004
[startup+50.0032 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 4490 46 0 0 25 0 10 0 781104932 854020096 20851 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208501 20851 13086 16 0 208485 0
vsize: 834004
[startup+60.0072 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 5407 46 0 0 25 0 10 0 781104932 854020096 20980 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208501 20980 13086 16 0 208485 0
vsize: 834004
[startup+70.0085 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 6337 46 0 0 25 0 10 0 781104932 853688320 21156 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 21156 13086 16 0 208404 0
vsize: 833680
[startup+80.009 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 7275 47 0 0 25 0 10 0 781104932 853688320 21260 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 21260 13086 16 0 208404 0
vsize: 833680
[startup+90.0089 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 8215 47 0 0 24 0 10 0 781104932 853688320 21355 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 21355 13086 16 0 208404 0
vsize: 833680
[startup+100.015 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 9159 47 0 0 25 0 10 0 781104932 853688320 21438 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21438 13086 16 0 208404 0
vsize: 833680
[startup+110.018 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 10098 48 0 0 25 0 10 0 781104932 853688320 21520 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21520 13086 16 0 208404 0
vsize: 833680
[startup+120.019 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 11038 49 0 0 25 0 10 0 781104932 853688320 21599 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21599 13086 16 0 208404 0
vsize: 833680
[startup+130.019 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 11979 49 0 0 24 0 10 0 781104932 853688320 21672 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21672 13086 16 0 208404 0
vsize: 833680
[startup+140.019 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 12922 50 0 0 25 0 10 0 781104932 853688320 21739 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21739 13086 16 0 208404 0
vsize: 833680
[startup+150.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 13864 50 0 0 25 0 10 0 781104932 853688320 21805 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21805 13086 16 0 208404 0
vsize: 833680
[startup+160.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 14805 50 0 0 25 0 10 0 781104932 853688320 21869 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21869 13086 16 0 208404 0
vsize: 833680
[startup+170.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 15738 51 0 0 25 0 10 0 781104932 853688320 21931 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21931 13086 16 0 208404 0
vsize: 833680
[startup+180.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 16654 51 0 0 25 0 10 0 781104932 853688320 21988 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 21988 13086 16 0 208404 0
vsize: 833680
[startup+190.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 17573 51 0 0 24 0 10 0 781104932 853688320 22303 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22303 13086 16 0 208404 0
vsize: 833680
[startup+200.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 18514 52 0 0 25 0 10 0 781104932 853688320 22355 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22355 13086 16 0 208404 0
vsize: 833680
[startup+210.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 19452 52 0 0 25 0 10 0 781104932 853688320 22410 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22410 13086 16 0 208404 0
vsize: 833680
[startup+220.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 20389 52 0 0 25 0 10 0 781104932 853688320 22463 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22463 13086 16 0 208404 0
vsize: 833680
[startup+230.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 21328 53 0 0 25 0 10 0 781104932 853688320 22512 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22512 13086 16 0 208404 0
vsize: 833680
[startup+240.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 22264 53 0 0 25 0 10 0 781104932 853688320 22564 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 22564 13086 16 0 208404 0
vsize: 833680
[startup+250.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 23200 53 0 0 25 0 10 0 781104932 853688320 22613 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22613 13086 16 0 208404 0
vsize: 833680
[startup+260.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 24136 54 0 0 25 0 10 0 781104932 853688320 22659 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22659 13086 16 0 208404 0
vsize: 833680
[startup+270.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 25072 54 0 0 25 0 10 0 781104932 853688320 22706 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22706 13086 16 0 208404 0
vsize: 833680
[startup+280.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 26007 54 0 0 25 0 10 0 781104932 853688320 22752 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22752 13086 16 0 208404 0
vsize: 833680
[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 26945 55 0 0 25 0 10 0 781104932 853688320 22795 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22795 13086 16 0 208404 0
vsize: 833680
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 27878 55 0 0 25 0 10 0 781104932 853688320 22839 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 22839 13086 16 0 208404 0
vsize: 833680
[startup+310.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 28811 55 0 0 25 0 10 0 781104932 853688320 22883 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22883 13086 16 0 208404 0
vsize: 833680
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 29746 56 0 0 25 0 10 0 781104932 853688320 22924 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 22924 13086 16 0 208404 0
vsize: 833680
[startup+330.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 30677 57 0 0 25 0 10 0 781104932 853688320 22966 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 22966 13086 16 0 208404 0
vsize: 833680
[startup+340.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 31613 57 0 0 25 0 10 0 781104932 853688320 23005 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23005 13086 16 0 208404 0
vsize: 833680
[startup+350.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 32544 57 0 0 25 0 10 0 781104932 853688320 23046 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23046 13086 16 0 208404 0
vsize: 833680
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 33475 58 0 0 24 0 10 0 781104932 853688320 23087 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23087 13086 16 0 208404 0
vsize: 833680
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 34409 58 0 0 25 0 10 0 781104932 853688320 23125 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23125 13086 16 0 208404 0
vsize: 833680
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 35339 58 0 0 25 0 10 0 781104932 853688320 23164 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23164 13086 16 0 208404 0
vsize: 833680
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 36272 59 0 0 25 0 10 0 781104932 853688320 23200 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 23200 13086 16 0 208404 0
vsize: 833680
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 37200 59 0 0 24 0 10 0 781104932 853688320 23238 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23238 13086 16 0 208404 0
vsize: 833680
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 38132 59 0 0 25 0 10 0 781104932 853688320 23274 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23274 13086 16 0 208404 0
vsize: 833680
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 39060 60 0 0 24 0 10 0 781104932 853688320 23311 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23311 13086 16 0 208404 0
vsize: 833680
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 39992 60 0 0 25 0 10 0 781104932 853688320 23345 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23345 13086 16 0 208404 0
vsize: 833680
[startup+440.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 40919 60 0 0 24 0 10 0 781104932 853688320 23382 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23382 13086 16 0 208404 0
vsize: 833680
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 41850 60 0 0 25 0 10 0 781104932 853688320 23415 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23415 13086 16 0 208404 0
vsize: 833680
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 42780 61 0 0 25 0 10 0 781104932 853688320 23449 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23449 13086 16 0 208404 0
vsize: 833680
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 43706 61 0 0 25 0 10 0 781104932 853688320 23483 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23483 13086 16 0 208404 0
vsize: 833680
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 44637 62 0 0 25 0 10 0 781104932 853688320 23516 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23516 13086 16 0 208404 0
vsize: 833680
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 45561 63 0 0 25 0 10 0 781104932 853688320 23550 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23550 13086 16 0 208404 0
vsize: 833680
[startup+500.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 46490 63 0 0 25 0 10 0 781104932 853688320 23583 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23583 13086 16 0 208404 0
vsize: 833680
[startup+510.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 47415 64 0 0 24 0 10 0 781104932 853688320 23616 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23616 13086 16 0 208404 0
vsize: 833680
[startup+520.144 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 48353 64 0 0 25 0 10 0 781104932 853688320 23648 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23648 13086 16 0 208404 0
vsize: 833680
[startup+530.144 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 49281 64 0 0 25 0 10 0 781104932 853688320 23679 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23679 13086 16 0 208404 0
vsize: 833680
[startup+540.144 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 50205 64 0 0 25 0 10 0 781104932 853688320 23711 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23711 13086 16 0 208404 0
vsize: 833680
[startup+550.145 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 51131 65 0 0 25 0 10 0 781104932 853688320 23741 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23741 13086 16 0 208404 0
vsize: 833680
[startup+560.146 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 52058 65 0 0 25 0 10 0 781104932 853688320 23771 4294967295 134512640 134569956 3221224368 3221214168 1076461259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23771 13086 16 0 208404 0
vsize: 833680
[startup+570.146 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 52980 66 0 0 25 0 10 0 781104932 853688320 23803 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23803 13086 16 0 208404 0
vsize: 833680
[startup+580.147 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 53906 66 0 0 25 0 10 0 781104932 853688320 23832 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23832 13086 16 0 208404 0
vsize: 833680
[startup+590.148 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 54833 67 0 0 25 0 10 0 781104932 853688320 23862 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23862 13086 16 0 208404 0
vsize: 833680
[startup+600.149 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 55754 67 0 0 24 0 10 0 781104932 853688320 23892 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23892 13086 16 0 208404 0
vsize: 833680
[startup+610.148 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 56678 68 0 0 25 0 10 0 781104932 853688320 23921 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23921 13086 16 0 208404 0
vsize: 833680
[startup+620.149 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 57603 68 0 0 25 0 10 0 781104932 853688320 23949 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23949 13086 16 0 208404 0
vsize: 833680
[startup+630.15 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 58528 68 0 0 25 0 10 0 781104932 853688320 23978 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 23978 13086 16 0 208404 0
vsize: 833680
[startup+640.15 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 59447 69 0 0 25 0 10 0 781104932 853688320 24007 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 24007 13086 16 0 208404 0
vsize: 833680
[startup+650.151 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 60371 69 0 0 25 0 10 0 781104932 853688320 24035 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 24035 13086 16 0 208404 0
vsize: 833680
[startup+660.151 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 61286 71 0 0 25 0 10 0 781104932 853688320 24431 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 24431 13086 16 0 208404 0
vsize: 833680
[startup+670.152 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 62211 71 0 0 25 0 10 0 781104932 853688320 24997 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 24997 13086 16 0 208404 0
vsize: 833680
[startup+680.152 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 63129 71 0 0 25 0 10 0 781104932 853688320 24999 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 24999 13086 16 0 208404 0
vsize: 833680
[startup+690.154 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 64042 72 0 0 25 0 10 0 781104932 853688320 25026 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25026 13086 16 0 208404 0
vsize: 833680
[startup+700.158 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 64954 73 0 0 25 0 10 0 781104932 853688320 25053 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25053 13086 16 0 208404 0
vsize: 833680
[startup+710.158 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 65863 73 0 0 24 0 10 0 781104932 853688320 25081 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25081 13086 16 0 208404 0
vsize: 833680
[startup+720.159 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 66776 73 0 0 25 0 10 0 781104932 853688320 25107 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25107 13086 16 0 208404 0
vsize: 833680
[startup+730.159 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 67690 73 0 0 25 0 10 0 781104932 853688320 25133 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25133 13086 16 0 208404 0
vsize: 833680
[startup+740.16 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 68604 73 0 0 25 0 10 0 781104932 853688320 25159 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25159 13086 16 0 208404 0
vsize: 833680
[startup+750.16 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 69515 74 0 0 25 0 10 0 781104932 853688320 25185 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25185 13086 16 0 208404 0
vsize: 833680
[startup+760.161 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 70425 74 0 0 25 0 10 0 781104932 853688320 25211 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25211 13086 16 0 208404 0
vsize: 833680
[startup+770.161 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 71335 74 0 0 25 0 10 0 781104932 853688320 25236 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25236 13086 16 0 208404 0
vsize: 833680
[startup+780.162 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 72244 75 0 0 25 0 10 0 781104932 853688320 25262 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25262 13086 16 0 208404 0
vsize: 833680
[startup+790.163 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 73153 75 0 0 24 0 10 0 781104932 853688320 25287 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25287 13086 16 0 208404 0
vsize: 833680
[startup+800.164 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 74063 75 0 0 25 0 10 0 781104932 853688320 25312 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25312 13086 16 0 208404 0
vsize: 833680
[startup+810.163 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 74972 76 0 0 25 0 10 0 781104932 853688320 25336 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25336 13086 16 0 208404 0
vsize: 833680
[startup+820.164 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 75885 76 0 0 25 0 10 0 781104932 853688320 25360 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25360 13086 16 0 208404 0
vsize: 833680
[startup+830.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 76793 77 0 0 25 0 10 0 781104932 853688320 25384 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25384 13086 16 0 208404 0
vsize: 833680
[startup+840.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 77701 77 0 0 25 0 10 0 781104932 853688320 25408 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25408 13086 16 0 208404 0
vsize: 833680
[startup+850.166 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 78609 77 0 0 25 0 10 0 781104932 853688320 25433 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25433 13086 16 0 208404 0
vsize: 833680
[startup+860.166 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 79517 78 0 0 25 0 10 0 781104932 853688320 25457 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25457 13086 16 0 208404 0
vsize: 833680
[startup+870.167 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 80424 78 0 0 25 0 10 0 781104932 853688320 25481 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25481 13086 16 0 208404 0
vsize: 833680
[startup+880.168 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 81332 79 0 0 25 0 10 0 781104932 853688320 25506 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25506 13086 16 0 208404 0
vsize: 833680
[startup+890.168 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 82239 79 0 0 24 0 10 0 781104932 853688320 25529 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25529 13086 16 0 208404 0
vsize: 833680
[startup+900.168 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 83152 79 0 0 25 0 10 0 781104932 853688320 25551 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25551 13086 16 0 208404 0
vsize: 833680
[startup+910.168 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 84058 80 0 0 25 0 10 0 781104932 853688320 25575 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25575 13086 16 0 208404 0
vsize: 833680
[startup+920.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 84964 80 0 0 25 0 10 0 781104932 853688320 25598 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25598 13086 16 0 208404 0
vsize: 833680
[startup+930.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 85870 81 0 0 25 0 10 0 781104932 853688320 25621 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25621 13086 16 0 208404 0
vsize: 833680
[startup+940.176 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 86776 81 0 0 25 0 10 0 781104932 853688320 25644 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 25644 13086 16 0 208404 0
vsize: 833680
[startup+950.176 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 87681 82 0 0 24 0 10 0 781104932 853688320 25669 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25669 13086 16 0 208404 0
vsize: 833680
[startup+960.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 88588 82 0 0 25 0 10 0 781104932 853688320 25695 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25695 13086 16 0 208404 0
vsize: 833680
[startup+970.181 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 89498 82 0 0 24 0 10 0 781104932 853688320 25720 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25720 13086 16 0 208404 0
vsize: 833680
[startup+980.181 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 90404 82 0 0 22 0 10 0 781104932 853688320 25747 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25747 13086 16 0 208404 0
vsize: 833680
[startup+990.181 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 91309 82 0 0 22 0 10 0 781104932 853688320 25773 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25773 13086 16 0 208404 0
vsize: 833680
[startup+1000.18 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 92214 83 0 0 22 0 10 0 781104932 853688320 25799 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25799 13086 16 0 208404 0
vsize: 833680
[startup+1010.18 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 93119 83 0 0 21 0 10 0 781104932 853688320 25822 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25822 13086 16 0 208404 0
vsize: 833680
[startup+1020.18 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 94023 83 0 0 20 0 10 0 781104932 853688320 25849 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25849 13086 16 0 208404 0
vsize: 833680
[startup+1030.18 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 94927 83 0 0 20 0 10 0 781104932 853688320 25876 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25876 13086 16 0 208404 0
vsize: 833680
[startup+1040.18 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 95831 83 0 0 19 0 10 0 781104932 853688320 25901 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25901 13086 16 0 208404 0
vsize: 833680
[startup+1050.19 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 96739 83 0 0 24 0 10 0 781104932 853688320 25925 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25925 13086 16 0 208404 0
vsize: 833680
[startup+1060.19 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 97644 83 0 0 20 0 10 0 781104932 853688320 25952 4294967295 134512640 134569956 3221224368 3221213980 1077378842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25952 13086 16 0 208404 0
vsize: 833680
[startup+1070.19 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 98546 83 0 0 22 0 10 0 781104932 853688320 25976 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 25976 13086 16 0 208404 0
vsize: 833680
[startup+1080.19 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 99450 84 0 0 22 0 10 0 781104932 853688320 26001 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26001 13086 16 0 208404 0
vsize: 833680
[startup+1090.19 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 100352 84 0 0 20 0 10 0 781104932 853688320 26022 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26022 13086 16 0 208404 0
vsize: 833680
[startup+1100.19 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 101254 84 0 0 20 0 10 0 781104932 853688320 26043 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26043 13086 16 0 208404 0
vsize: 833680
[startup+1110.19 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 102158 84 0 0 24 0 10 0 781104932 853688320 26076 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26076 13086 16 0 208404 0
vsize: 833680
[startup+1120.19 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 103065 84 0 0 23 0 10 0 781104932 853688320 26099 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26099 13086 16 0 208404 0
vsize: 833680
[startup+1130.19 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 103966 84 0 0 21 0 10 0 781104932 853688320 26120 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26120 13086 16 0 208404 0
vsize: 833680
[startup+1140.19 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 104867 84 0 0 21 0 10 0 781104932 853688320 26148 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26148 13086 16 0 208404 0
vsize: 833680
[startup+1150.19 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 105768 84 0 0 19 0 10 0 781104932 853688320 26173 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26173 13086 16 0 208404 0
vsize: 833680
[startup+1160.19 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 106668 85 0 0 19 0 10 0 781104932 853688320 26195 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26195 13086 16 0 208404 0
vsize: 833680
[startup+1170.19 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30907
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 107575 85 0 0 22 0 10 0 781104932 853688320 26214 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208420 26214 13086 16 0 208404 0
vsize: 833680
[startup+1180.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30960
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 108470 87 0 0 25 0 10 0 781104932 853688320 26243 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26243 13086 16 0 208404 0
vsize: 833680
[startup+1190.19 s]
Raw data (loadavg): 1.00 0.99 0.99 3/63 30960
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 109372 87 0 0 25 0 10 0 781104932 853688320 26266 4294967295 134512640 134569956 3221224368 3221213584 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26266 13086 16 0 208404 0
vsize: 833680
[startup+1200.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30960
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 110269 87 0 0 25 0 10 0 781104932 853688320 26290 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26290 13086 16 0 208404 0
vsize: 833680
[startup+1210.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30960
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 111165 88 0 0 25 0 10 0 781104932 853688320 26312 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26312 13086 16 0 208404 0
vsize: 833680
[startup+1220.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30960
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 112069 88 0 0 25 0 10 0 781104932 853688320 26335 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26335 13086 16 0 208404 0
vsize: 833680
[startup+1230.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30960
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 112966 89 0 0 25 0 10 0 781104932 853688320 26358 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26358 13086 16 0 208404 0
vsize: 833680
[startup+1240.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30960
Raw data (stat): 30898 (java) S 30897 15547 15546 0 -1 0 18022 0 1 0 113865 89 0 0 25 0 10 0 781104932 853688320 26382 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26382 13086 16 0 208404 0
vsize: 833680
[startup+1250.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30962
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 114765 90 0 0 25 0 10 0 781104932 853688320 26407 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26407 13086 16 0 208404 0
vsize: 833680
[startup+1260.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30962
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 115661 90 0 0 25 0 10 0 781104932 853688320 26424 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26424 13086 16 0 208404 0
vsize: 833680
[startup+1270.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30962
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 116564 90 0 0 25 0 10 0 781104932 853688320 26453 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26453 13086 16 0 208404 0
vsize: 833680
[startup+1280.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30962
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 117462 90 0 0 25 0 10 0 781104932 853688320 26470 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26470 13086 16 0 208404 0
vsize: 833680
[startup+1290.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30962
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 118361 91 0 0 24 0 10 0 781104932 853688320 26505 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26505 13086 16 0 208404 0
vsize: 833680
[startup+1300.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30962
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 119267 91 0 0 25 0 10 0 781104932 853688320 26529 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26529 13086 16 0 208404 0
vsize: 833680
[startup+1310.2 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 30962
Raw data (stat): 30898 (java) R 30897 15547 15546 0 -1 0 18022 0 1 0 120168 92 0 0 25 0 10 0 781104932 853688320 26553 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 26553 13086 16 0 208404 0
vsize: 833680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.27 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 30964
Raw data (stat): 30898 (java) Z 30897 15547 15546 0 -1 1036 18022 8923 1 0 120170 92 10859 47 25 0 1 0 781104932 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.27
CPU time (s): 1311.7
CPU user time (s): 1310.31
CPU system time (s): 1.39879
CPU usage (%): 100.11
Max. virtual memory (Kb): 834004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####