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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39220173760
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39220173760
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.967852
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30085

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 14:37:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21488 boxname=wulflinc29 idbench=1476 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5298b427bf0fc38e6e22a1bd59273927  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-n370e.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-n370e.opb
IDLAUNCH: 21488
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        608104 kB
Buffers:         34476 kB
Cached:         366288 kB
SwapCached:        572 kB
Active:          65812 kB
Inactive:       340416 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        607852 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14680 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:59:24 (client local time) WITH STATUS 143 IN 1312.16 SECONDS
stats: 21488 7 1312.16 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/wulflinc29/normalized-mps-v2-13-7-n370e.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.141
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 1814
Raw data (stat): 1814 (runsolver) R 1813 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839650640 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.94 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18006 0 1 0 873 41 0 0 25 0 10 0 839650640 853544960 19296 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208385 19296 13086 16 0 208369 0
vsize: 833540
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 1772 41 0 0 25 0 10 0 839650640 854048768 19895 4294967295 134512640 134569956 3221224368 3221214720 1131223493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208508 19895 13086 16 0 208492 0
vsize: 834032
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 2662 42 0 0 25 0 10 0 839650640 853405696 20287 4294967295 134512640 134569956 3221224368 3221214412 1076461328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208351 20287 13086 16 0 208335 0
vsize: 833404
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 3579 42 0 0 25 0 10 0 839650640 854454272 20842 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 20842 13086 16 0 208591 0
vsize: 834428
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 4500 43 0 0 25 0 10 0 839650640 854454272 21005 4294967295 134512640 134569956 3221224368 3221214768 1131239751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21005 13086 16 0 208591 0
vsize: 834428
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 5417 43 0 0 25 0 10 0 839650640 854454272 21136 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21136 13086 16 0 208591 0
vsize: 834428
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 6349 44 0 0 25 0 10 0 839650640 854454272 21371 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21371 13086 16 0 208591 0
vsize: 834428
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 7287 44 0 0 25 0 10 0 839650640 854454272 21472 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21472 13086 16 0 208591 0
vsize: 834428
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 8228 45 0 0 24 0 10 0 839650640 854454272 21565 4294967295 134512640 134569956 3221224368 3221214764 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21565 13086 16 0 208591 0
vsize: 834428
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 9172 45 0 0 25 0 10 0 839650640 854454272 21645 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21645 13086 16 0 208591 0
vsize: 834428
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 10113 46 0 0 25 0 10 0 839650640 854454272 21726 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21726 13086 16 0 208591 0
vsize: 834428
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 11059 46 0 0 25 0 10 0 839650640 854454272 21798 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21798 13086 16 0 208591 0
vsize: 834428
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 12000 47 0 0 25 0 10 0 839650640 854454272 21869 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21869 13086 16 0 208591 0
vsize: 834428
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 12943 47 0 0 25 0 10 0 839650640 854454272 21935 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 21935 13086 16 0 208591 0
vsize: 834428
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 13887 48 0 0 25 0 10 0 839650640 854454272 22001 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22001 13086 16 0 208591 0
vsize: 834428
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 14829 48 0 0 25 0 10 0 839650640 854454272 22064 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22064 13086 16 0 208591 0
vsize: 834428
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 15772 49 0 0 25 0 10 0 839650640 854454272 22122 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22122 13086 16 0 208591 0
vsize: 834428
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 16688 50 0 0 25 0 10 0 839650640 854454272 22178 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22178 13086 16 0 208591 0
vsize: 834428
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 17607 50 0 0 24 0 10 0 839650640 854454272 22492 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22492 13086 16 0 208591 0
vsize: 834428
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 18549 50 0 0 25 0 10 0 839650640 854454272 22544 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22544 13086 16 0 208591 0
vsize: 834428
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 19487 51 0 0 25 0 10 0 839650640 854454272 22599 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22599 13086 16 0 208591 0
vsize: 834428
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 20429 51 0 0 25 0 10 0 839650640 854454272 22648 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22648 13086 16 0 208591 0
vsize: 834428
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 21366 52 0 0 24 0 10 0 839650640 854454272 22700 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22700 13086 16 0 208591 0
vsize: 834428
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 22308 52 0 0 25 0 10 0 839650640 854454272 22747 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22747 13086 16 0 208591 0
vsize: 834428
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 23244 52 0 0 24 0 10 0 839650640 854454272 22797 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22797 13086 16 0 208591 0
vsize: 834428
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 24184 53 0 0 25 0 10 0 839650640 854454272 22842 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22842 13086 16 0 208591 0
vsize: 834428
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 25121 53 0 0 25 0 10 0 839650640 854454272 22887 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22887 13086 16 0 208591 0
vsize: 834428
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 26061 54 0 0 25 0 10 0 839650640 854454272 22932 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22932 13086 16 0 208591 0
vsize: 834428
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 26999 54 0 0 25 0 10 0 839650640 854454272 22974 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 22974 13086 16 0 208591 0
vsize: 834428
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 27934 55 0 0 25 0 10 0 839650640 854454272 23018 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23018 13086 16 0 208591 0
vsize: 834428
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 28872 56 0 0 25 0 10 0 839650640 854454272 23059 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23059 13086 16 0 208591 0
vsize: 834428
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 29806 56 0 0 25 0 10 0 839650640 854454272 23102 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23102 13086 16 0 208591 0
vsize: 834428
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 30743 56 0 0 25 0 10 0 839650640 854454272 23141 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23141 13086 16 0 208591 0
vsize: 834428
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 31676 57 0 0 24 0 10 0 839650640 854454272 23182 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23182 13086 16 0 208591 0
vsize: 834428
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 32613 57 0 0 25 0 10 0 839650640 854454272 23221 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23221 13086 16 0 208591 0
vsize: 834428
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 33548 57 0 0 25 0 10 0 839650640 854454272 23258 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23258 13086 16 0 208591 0
vsize: 834428
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 34480 58 0 0 24 0 10 0 839650640 854454272 23299 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23299 13086 16 0 208591 0
vsize: 834428
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 35415 59 0 0 25 0 10 0 839650640 854454272 23335 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23335 13086 16 0 208591 0
vsize: 834428
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 36349 59 0 0 25 0 10 0 839650640 854454272 23371 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23371 13086 16 0 208591 0
vsize: 834428
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 37280 59 0 0 25 0 10 0 839650640 854454272 23409 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23409 13086 16 0 208591 0
vsize: 834428
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 38214 60 0 0 25 0 10 0 839650640 854454272 23444 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23444 13086 16 0 208591 0
vsize: 834428
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 39148 60 0 0 25 0 10 0 839650640 854454272 23479 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23479 13086 16 0 208591 0
vsize: 834428
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 40076 61 0 0 24 0 10 0 839650640 854454272 23515 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23515 13086 16 0 208591 0
vsize: 834428
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 41008 61 0 0 25 0 10 0 839650640 854454272 23549 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23549 13086 16 0 208591 0
vsize: 834428
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 41940 62 0 0 25 0 10 0 839650640 854454272 23582 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23582 13086 16 0 208591 0
vsize: 834428
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 42870 62 0 0 25 0 10 0 839650640 854454272 23616 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 23616 13086 16 0 208591 0
vsize: 834428
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 43799 63 0 0 25 0 10 0 839650640 854454272 23650 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23650 13086 16 0 208591 0
vsize: 834428
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 44730 63 0 0 25 0 10 0 839650640 854454272 23682 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23682 13086 16 0 208591 0
vsize: 834428
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 45660 63 0 0 25 0 10 0 839650640 854454272 23714 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23714 13086 16 0 208591 0
vsize: 834428
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 46586 63 0 0 24 0 10 0 839650640 854454272 23748 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23748 13086 16 0 208591 0
vsize: 834428
[startup+510.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 47516 63 0 0 25 0 10 0 839650640 854454272 23779 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23779 13086 16 0 208591 0
vsize: 834428
[startup+520.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 48445 63 0 0 25 0 10 0 839650640 854454272 23811 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23811 13086 16 0 208591 0
vsize: 834428
[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 49370 63 0 0 25 0 10 0 839650640 854454272 23842 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23842 13086 16 0 208591 0
vsize: 834428
[startup+540.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 50298 63 0 0 25 0 10 0 839650640 854454272 23874 4294967295 134512640 134569956 3221224368 3221214800 1131218546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23874 13086 16 0 208591 0
vsize: 834428
[startup+550.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 51226 63 0 0 25 0 10 0 839650640 854454272 23904 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23904 13086 16 0 208591 0
vsize: 834428
[startup+560.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 52153 64 0 0 20 0 10 0 839650640 854454272 23933 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23933 13086 16 0 208591 0
vsize: 834428
[startup+570.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 53080 64 0 0 25 0 10 0 839650640 854454272 23963 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23963 13086 16 0 208591 0
vsize: 834428
[startup+580.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 54004 64 0 0 25 0 10 0 839650640 854454272 23994 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 23994 13086 16 0 208591 0
vsize: 834428
[startup+590.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 54930 64 0 0 25 0 10 0 839650640 854454272 24023 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 24023 13086 16 0 208591 0
vsize: 834428
[startup+600.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 55856 64 0 0 25 0 10 0 839650640 854454272 24051 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 24051 13086 16 0 208591 0
vsize: 834428
[startup+610.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 56782 64 0 0 25 0 10 0 839650640 854454272 24080 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 24080 13086 16 0 208591 0
vsize: 834428
[startup+620.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 57706 64 0 0 25 0 10 0 839650640 854454272 24108 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208607 24108 13086 16 0 208591 0
vsize: 834428
[startup+630.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 58628 64 0 0 24 0 10 0 839650640 854454272 24138 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 24138 13086 16 0 208591 0
vsize: 834428
[startup+640.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 59553 64 0 0 25 0 10 0 839650640 854454272 24165 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 24165 13086 16 0 208591 0
vsize: 834428
[startup+650.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 60478 64 0 0 25 0 10 0 839650640 854454272 24193 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 24193 13086 16 0 208591 0
vsize: 834428
[startup+660.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 61402 65 0 0 25 0 10 0 839650640 854454272 24220 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 24220 13086 16 0 208591 0
vsize: 834428
[startup+670.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 62320 65 0 0 25 0 10 0 839650640 854454272 25145 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25145 13086 16 0 208591 0
vsize: 834428
[startup+680.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 63244 65 0 0 25 0 10 0 839650640 854454272 25145 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25145 13086 16 0 208591 0
vsize: 834428
[startup+690.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 64159 66 0 0 25 0 10 0 839650640 854454272 25160 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25160 13086 16 0 208591 0
vsize: 834428
[startup+700.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 65074 66 0 0 25 0 10 0 839650640 854454272 25187 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25187 13086 16 0 208591 0
vsize: 834428
[startup+710.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 65987 66 0 0 25 0 10 0 839650640 854454272 25214 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25214 13086 16 0 208591 0
vsize: 834428
[startup+720.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 66899 67 0 0 24 0 10 0 839650640 854454272 25240 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25240 13086 16 0 208591 0
vsize: 834428
[startup+730.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 67812 67 0 0 24 0 10 0 839650640 854454272 25266 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25266 13086 16 0 208591 0
vsize: 834428
[startup+740.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 68731 68 0 0 25 0 10 0 839650640 854454272 25290 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25290 13086 16 0 208591 0
vsize: 834428
[startup+750.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 69644 68 0 0 25 0 10 0 839650640 854454272 25315 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25315 13086 16 0 208591 0
vsize: 834428
[startup+760.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 70556 69 0 0 25 0 10 0 839650640 854454272 25341 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25341 13086 16 0 208591 0
vsize: 834428
[startup+770.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 71468 70 0 0 25 0 10 0 839650640 854454272 25366 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25366 13086 16 0 208591 0
vsize: 834428
[startup+780.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 72380 70 0 0 25 0 10 0 839650640 854454272 25391 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25391 13086 16 0 208591 0
vsize: 834428
[startup+790.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 73292 70 0 0 25 0 10 0 839650640 854454272 25416 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25416 13086 16 0 208591 0
vsize: 834428
[startup+800.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 74204 70 0 0 25 0 10 0 839650640 854454272 25441 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25441 13086 16 0 208591 0
vsize: 834428
[startup+810.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 75115 71 0 0 24 0 10 0 839650640 854454272 25465 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25465 13086 16 0 208591 0
vsize: 834428
[startup+820.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 76031 71 0 0 25 0 10 0 839650640 854454272 25488 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25488 13086 16 0 208591 0
vsize: 834428
[startup+830.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 76942 71 0 0 25 0 10 0 839650640 854454272 25513 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25513 13086 16 0 208591 0
vsize: 834428
[startup+840.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 77852 72 0 0 25 0 10 0 839650640 854454272 25537 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25537 13086 16 0 208591 0
vsize: 834428
[startup+850.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 78762 72 0 0 25 0 10 0 839650640 854454272 25561 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25561 13086 16 0 208591 0
vsize: 834428
[startup+860.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 79670 73 0 0 24 0 10 0 839650640 854454272 25585 4294967295 134512640 134569956 3221224368 3221214232 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25585 13086 16 0 208591 0
vsize: 834428
[startup+870.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 80585 73 0 0 25 0 10 0 839650640 854454272 25607 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25607 13086 16 0 208591 0
vsize: 834428
[startup+880.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 81496 74 0 0 25 0 10 0 839650640 854454272 25630 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25630 13086 16 0 208591 0
vsize: 834428
[startup+890.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 82404 74 0 0 25 0 10 0 839650640 854454272 25654 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25654 13086 16 0 208591 0
vsize: 834428
[startup+900.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 83312 74 0 0 25 0 10 0 839650640 854454272 25677 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25677 13086 16 0 208591 0
vsize: 834428
[startup+910.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 84221 74 0 0 24 0 10 0 839650640 854454272 25702 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25702 13086 16 0 208591 0
vsize: 834428
[startup+920.085 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 85135 75 0 0 25 0 10 0 839650640 854454272 25728 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25728 13086 16 0 208591 0
vsize: 834428
[startup+930.085 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 86042 75 0 0 25 0 10 0 839650640 854454272 25755 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25755 13086 16 0 208591 0
vsize: 834428
[startup+940.086 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 86948 75 0 0 25 0 10 0 839650640 854454272 25778 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25778 13086 16 0 208591 0
vsize: 834428
[startup+950.086 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 87855 76 0 0 24 0 10 0 839650640 854454272 25808 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25808 13086 16 0 208591 0
vsize: 834428
[startup+960.087 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 88767 76 0 0 25 0 10 0 839650640 854454272 25834 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25834 13086 16 0 208591 0
vsize: 834428
[startup+970.087 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 89672 76 0 0 25 0 10 0 839650640 854454272 25858 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25858 13086 16 0 208591 0
vsize: 834428
[startup+980.087 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 90577 77 0 0 25 0 10 0 839650640 854454272 25880 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25880 13086 16 0 208591 0
vsize: 834428
[startup+990.092 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 91489 77 0 0 25 0 10 0 839650640 854454272 25901 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25901 13086 16 0 208591 0
vsize: 834428
[startup+1000.09 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 92394 78 0 0 25 0 10 0 839650640 854454272 25935 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25935 13086 16 0 208591 0
vsize: 834428
[startup+1010.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 93298 78 0 0 20 0 10 0 839650640 854454272 25959 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25959 13086 16 0 208591 0
vsize: 834428
[startup+1020.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 94204 79 0 0 24 0 10 0 839650640 854454272 25980 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 25981 13086 16 0 208591 0
vsize: 834428
[startup+1030.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 95114 79 0 0 23 0 10 0 839650640 854454272 26010 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26010 13086 16 0 208591 0
vsize: 834428
[startup+1040.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 96018 80 0 0 21 0 10 0 839650640 854454272 26034 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26034 13086 16 0 208591 0
vsize: 834428
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 96922 80 0 0 19 0 10 0 839650640 854454272 26056 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26056 13086 16 0 208591 0
vsize: 834428
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 97831 80 0 0 22 0 10 0 839650640 854454272 26085 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26085 13086 16 0 208591 0
vsize: 834428
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 98733 81 0 0 21 0 10 0 839650640 854454272 26109 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26109 13086 16 0 208591 0
vsize: 834428
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 99634 81 0 0 19 0 10 0 839650640 854454272 26135 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26135 13086 16 0 208591 0
vsize: 834428
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 100543 81 0 0 22 0 10 0 839650640 854454272 26155 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26155 13086 16 0 208591 0
vsize: 834428
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 101445 82 0 0 20 0 10 0 839650640 854454272 26182 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26182 13086 16 0 208591 0
vsize: 834428
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 102348 82 0 0 24 0 10 0 839650640 854454272 26206 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26206 13086 16 0 208591 0
vsize: 834428
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 103254 82 0 0 21 0 10 0 839650640 854454272 26230 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26230 13086 16 0 208591 0
vsize: 834428
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 104155 83 0 0 20 0 10 0 839650640 854454272 26253 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26253 13086 16 0 208591 0
vsize: 834428
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 105062 83 0 0 24 0 10 0 839650640 854454272 26277 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26277 13086 16 0 208591 0
vsize: 834428
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 105963 83 0 0 21 0 10 0 839650640 854454272 26299 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26299 13086 16 0 208591 0
vsize: 834428
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 106863 84 0 0 18 0 10 0 839650640 854454272 26327 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26327 13086 16 0 208591 0
vsize: 834428
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 107770 84 0 0 22 0 10 0 839650640 854454272 26347 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26347 13086 16 0 208591 0
vsize: 834428
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 108670 85 0 0 20 0 10 0 839650640 854454272 26371 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26371 13086 16 0 208591 0
vsize: 834428
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 109575 85 0 0 24 0 10 0 839650640 854454272 26395 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26395 13086 16 0 208591 0
vsize: 834428
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 110474 86 0 0 21 0 10 0 839650640 854454272 26418 4294967295 134512640 134569956 3221224368 3221214232 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26418 13086 16 0 208591 0
vsize: 834428
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 111371 86 0 0 18 0 10 0 839650640 854454272 26443 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26443 13086 16 0 208591 0
vsize: 834428
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 112276 86 0 0 21 0 10 0 839650640 854454272 26462 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26462 13086 16 0 208591 0
vsize: 834428
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 113174 87 0 0 19 0 10 0 839650640 854454272 26485 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26485 13086 16 0 208591 0
vsize: 834428
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 114080 87 0 0 22 0 10 0 839650640 854454272 26504 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26504 13086 16 0 208591 0
vsize: 834428
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 114979 87 0 0 20 0 10 0 839650640 854454272 26524 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26524 13086 16 0 208591 0
vsize: 834428
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 115885 87 0 0 23 0 10 0 839650640 854454272 26557 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26557 13086 16 0 208591 0
vsize: 834428
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 116783 87 0 0 20 0 10 0 839650640 854454272 26574 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26574 13086 16 0 208591 0
vsize: 834428
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) S 1813 20001 20000 0 -1 0 18007 0 1 0 117681 88 0 0 24 0 10 0 839650640 854454272 26606 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26606 13086 16 0 208591 0
vsize: 834428
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 118587 88 0 0 21 0 10 0 839650640 854454272 26625 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26625 13086 16 0 208591 0
vsize: 834428
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 119487 89 0 0 20 0 10 0 839650640 854454272 26654 4294967295 134512640 134569956 3221224368 3221214232 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26654 13086 16 0 208591 0
vsize: 834428
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1823
Raw data (stat): 1814 (java) R 1813 20001 20000 0 -1 0 18007 0 1 0 120395 89 0 0 23 0 10 0 839650640 854454272 26674 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208607 26674 13086 16 0 208591 0
vsize: 834428
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1825
Raw data (stat): 1814 (java) Z 1813 20001 20000 0 -1 1036 18007 9184 1 0 120396 94 10678 46 19 0 1 0 839650640 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): 1310.23
CPU time (s): 1312.16
CPU user time (s): 1310.75
CPU system time (s): 1.41079
CPU usage (%): 100.147
Max. virtual memory (Kb): 834428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####