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-n3706.opb
MD5SUM	2678162fff018c2bb73a090ae021ae87
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	39120920179
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	39120920179
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.973851
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 30076

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 14:31:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21480 boxname=wulflinc8 idbench=1468 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  2678162fff018c2bb73a090ae021ae87  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-n3706.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-n3706.opb
IDLAUNCH: 21480
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        338768 kB
Buffers:         37972 kB
Cached:         631012 kB
SwapCached:          0 kB
Active:          53788 kB
Inactive:       622096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        338516 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14420 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:53:43 (client local time) WITH STATUS 143 IN 1311.82 SECONDS
stats: 21480 7 1311.82 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/wulflinc8/normalized-mps-v2-13-7-n3706.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.12
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 19003
Raw data (stat): 19003 (runsolver) R 19002 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 767833746 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.0043 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18003 0 1 0 876 40 0 0 25 0 10 0 767833746 853479424 19358 4294967295 134512640 134569956 3221224368 3221213248 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208369 19358 13086 16 0 208353 0
vsize: 833476
[startup+20.0051 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 1771 41 0 0 24 0 10 0 767833746 854122496 19983 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208526 19983 13086 16 0 208510 0
vsize: 834104
[startup+30.0064 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 2664 41 0 0 24 0 10 0 767833746 853286912 20319 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208322 20319 13086 16 0 208306 0
vsize: 833288
[startup+40.0068 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 3581 41 0 0 25 0 10 0 767833746 853794816 20724 4294967295 134512640 134569956 3221224368 3221214768 1131239867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208446 20724 13086 16 0 208430 0
vsize: 833784
[startup+50.0077 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 4503 41 0 0 25 0 10 0 767833746 853794816 20884 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208446 20884 13086 16 0 208430 0
vsize: 833784
[startup+60.0087 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 5420 41 0 0 25 0 10 0 767833746 853794816 21014 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208446 21014 13086 16 0 208430 0
vsize: 833784
[startup+70.0091 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 6349 41 0 0 25 0 10 0 767833746 854573056 21350 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208636 21350 13086 16 0 208620 0
vsize: 834544
[startup+80.0109 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 7288 42 0 0 25 0 10 0 767833746 854573056 21450 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208636 21450 13086 16 0 208620 0
vsize: 834544
[startup+90.0121 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 8231 42 0 0 25 0 10 0 767833746 854573056 21536 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208636 21536 13086 16 0 208620 0
vsize: 834544
[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 9172 42 0 0 25 0 10 0 767833746 854573056 21621 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 21621 13086 16 0 208620 0
vsize: 834544
[startup+110.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 10113 42 0 0 25 0 10 0 767833746 854573056 21701 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 21701 13086 16 0 208620 0
vsize: 834544
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 11055 43 0 0 25 0 10 0 767833746 854573056 21775 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 21775 13086 16 0 208620 0
vsize: 834544
[startup+130.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 12000 43 0 0 25 0 10 0 767833746 854573056 21844 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208636 21844 13086 16 0 208620 0
vsize: 834544
[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 12942 43 0 0 25 0 10 0 767833746 854573056 21912 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 21912 13086 16 0 208620 0
vsize: 834544
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 13885 44 0 0 25 0 10 0 767833746 854573056 21978 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 21978 13086 16 0 208620 0
vsize: 834544
[startup+160.016 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 14829 44 0 0 25 0 10 0 767833746 854573056 22038 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22038 13086 16 0 208620 0
vsize: 834544
[startup+170.016 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 15762 45 0 0 25 0 10 0 767833746 854573056 22099 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22099 13086 16 0 208620 0
vsize: 834544
[startup+180.016 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 16679 45 0 0 25 0 10 0 767833746 854573056 22154 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22154 13086 16 0 208620 0
vsize: 834544
[startup+190.016 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 17604 45 0 0 25 0 10 0 767833746 854573056 22465 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22465 13086 16 0 208620 0
vsize: 834544
[startup+200.016 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 18543 45 0 0 25 0 10 0 767833746 854573056 22520 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22520 13086 16 0 208620 0
vsize: 834544
[startup+210.017 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 19480 46 0 0 25 0 10 0 767833746 854573056 22574 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22574 13086 16 0 208620 0
vsize: 834544
[startup+220.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 20422 46 0 0 25 0 10 0 767833746 854573056 22623 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22623 13086 16 0 208620 0
vsize: 834544
[startup+230.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 21360 46 0 0 25 0 10 0 767833746 854573056 22675 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22675 13086 16 0 208620 0
vsize: 834544
[startup+240.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 22297 47 0 0 25 0 10 0 767833746 854573056 22724 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22724 13086 16 0 208620 0
vsize: 834544
[startup+250.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 23237 47 0 0 25 0 10 0 767833746 854573056 22771 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22771 13086 16 0 208620 0
vsize: 834544
[startup+260.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 24173 47 0 0 23 0 10 0 767833746 854573056 22819 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22819 13086 16 0 208620 0
vsize: 834544
[startup+270.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 25112 47 0 0 25 0 10 0 767833746 854573056 22863 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22863 13086 16 0 208620 0
vsize: 834544
[startup+280.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 26047 47 0 0 25 0 10 0 767833746 854573056 22909 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208636 22909 13086 16 0 208620 0
vsize: 834544
[startup+290.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 26982 48 0 0 24 0 10 0 767833746 854573056 22953 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22953 13086 16 0 208620 0
vsize: 834544
[startup+300.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 27921 48 0 0 25 0 10 0 767833746 854573056 22995 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 22995 13086 16 0 208620 0
vsize: 834544
[startup+310.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 28854 48 0 0 25 0 10 0 767833746 854573056 23038 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23038 13086 16 0 208620 0
vsize: 834544
[startup+320.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 29791 49 0 0 25 0 10 0 767833746 854573056 23078 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23078 13086 16 0 208620 0
vsize: 834544
[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 30724 49 0 0 25 0 10 0 767833746 854573056 23120 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23120 13086 16 0 208620 0
vsize: 834544
[startup+340.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 31659 50 0 0 25 0 10 0 767833746 854573056 23159 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23159 13086 16 0 208620 0
vsize: 834544
[startup+350.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 32592 50 0 0 25 0 10 0 767833746 854573056 23199 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23199 13086 16 0 208620 0
vsize: 834544
[startup+360.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 33523 51 0 0 24 0 10 0 767833746 854573056 23238 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23238 13086 16 0 208620 0
vsize: 834544
[startup+370.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 34458 51 0 0 25 0 10 0 767833746 854573056 23276 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23276 13086 16 0 208620 0
vsize: 834544
[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 35389 51 0 0 24 0 10 0 767833746 854573056 23315 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23315 13086 16 0 208620 0
vsize: 834544
[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 36324 52 0 0 25 0 10 0 767833746 854573056 23351 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23351 13086 16 0 208620 0
vsize: 834544
[startup+400.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 37253 52 0 0 24 0 10 0 767833746 854573056 23388 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23388 13086 16 0 208620 0
vsize: 834544
[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 38185 52 0 0 25 0 10 0 767833746 854573056 23423 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23423 13086 16 0 208620 0
vsize: 834544
[startup+420.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 39116 53 0 0 25 0 10 0 767833746 854573056 23458 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23458 13086 16 0 208620 0
vsize: 834544
[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 40046 54 0 0 25 0 10 0 767833746 854573056 23494 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23494 13086 16 0 208620 0
vsize: 834544
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 40978 54 0 0 25 0 10 0 767833746 854573056 23527 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23527 13086 16 0 208620 0
vsize: 834544
[startup+450.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 41906 55 0 0 25 0 10 0 767833746 854573056 23563 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23563 13086 16 0 208620 0
vsize: 834544
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 42838 55 0 0 25 0 10 0 767833746 854573056 23596 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23596 13086 16 0 208620 0
vsize: 834544
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 43764 55 0 0 24 0 10 0 767833746 854573056 23630 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23630 13086 16 0 208620 0
vsize: 834544
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 44695 55 0 0 25 0 10 0 767833746 854573056 23662 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23662 13086 16 0 208620 0
vsize: 834544
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 45625 55 0 0 25 0 10 0 767833746 854573056 23694 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23694 13086 16 0 208620 0
vsize: 834544
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 46550 56 0 0 25 0 10 0 767833746 854573056 23727 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23727 13086 16 0 208620 0
vsize: 834544
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 47479 56 0 0 25 0 10 0 767833746 854573056 23758 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23758 13086 16 0 208620 0
vsize: 834544
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 48408 56 0 0 25 0 10 0 767833746 854573056 23790 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23790 13086 16 0 208620 0
vsize: 834544
[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 49331 57 0 0 25 0 10 0 767833746 854573056 23823 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23823 13086 16 0 208620 0
vsize: 834544
[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 50260 57 0 0 25 0 10 0 767833746 854573056 23853 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23853 13086 16 0 208620 0
vsize: 834544
[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 51188 57 0 0 25 0 10 0 767833746 854573056 23883 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23883 13086 16 0 208620 0
vsize: 834544
[startup+560.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 52111 58 0 0 25 0 10 0 767833746 854573056 23914 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23914 13086 16 0 208620 0
vsize: 834544
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 53039 58 0 0 25 0 10 0 767833746 854573056 23943 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23943 13086 16 0 208620 0
vsize: 834544
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 53965 58 0 0 25 0 10 0 767833746 854573056 23973 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 23973 13086 16 0 208620 0
vsize: 834544
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 54891 59 0 0 25 0 10 0 767833746 854573056 24002 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 24002 13086 16 0 208620 0
vsize: 834544
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 55813 59 0 0 25 0 10 0 767833746 854573056 24032 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 24032 13086 16 0 208620 0
vsize: 834544
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 56738 59 0 0 25 0 10 0 767833746 854573056 24060 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 24060 13086 16 0 208620 0
vsize: 834544
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 57663 60 0 0 25 0 10 0 767833746 854573056 24088 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 24088 13086 16 0 208620 0
vsize: 834544
[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 58586 60 0 0 25 0 10 0 767833746 854573056 24116 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 24116 13086 16 0 208620 0
vsize: 834544
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 59509 60 0 0 25 0 10 0 767833746 854573056 24145 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 24145 13086 16 0 208620 0
vsize: 834544
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 60435 61 0 0 25 0 10 0 767833746 854573056 24173 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 24173 13086 16 0 208620 0
vsize: 834544
[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 61353 61 0 0 25 0 10 0 767833746 854573056 24546 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 24546 13086 16 0 208620 0
vsize: 834544
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 62279 61 0 0 25 0 10 0 767833746 854573056 25111 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25111 13086 16 0 208620 0
vsize: 834544
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 63198 62 0 0 25 0 10 0 767833746 854573056 25113 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25113 13086 16 0 208620 0
vsize: 834544
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 64113 62 0 0 25 0 10 0 767833746 854573056 25140 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25140 13086 16 0 208620 0
vsize: 834544
[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 65028 62 0 0 25 0 10 0 767833746 854573056 25167 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25167 13086 16 0 208620 0
vsize: 834544
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 65940 63 0 0 25 0 10 0 767833746 854573056 25193 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25193 13086 16 0 208620 0
vsize: 834544
[startup+720.048 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 66854 63 0 0 25 0 10 0 767833746 854573056 25219 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25219 13086 16 0 208620 0
vsize: 834544
[startup+730.047 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 67766 64 0 0 25 0 10 0 767833746 854573056 25245 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25245 13086 16 0 208620 0
vsize: 834544
[startup+740.048 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 68679 65 0 0 25 0 10 0 767833746 854573056 25270 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25270 13086 16 0 208620 0
vsize: 834544
[startup+750.048 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 69592 65 0 0 25 0 10 0 767833746 854573056 25296 4294967295 134512640 134569956 3221224368 3221214204 1077378400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25296 13086 16 0 208620 0
vsize: 834544
[startup+760.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 70504 66 0 0 25 0 10 0 767833746 854573056 25321 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25321 13086 16 0 208620 0
vsize: 834544
[startup+770.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 71417 66 0 0 25 0 10 0 767833746 854573056 25346 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25346 13086 16 0 208620 0
vsize: 834544
[startup+780.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 72329 66 0 0 25 0 10 0 767833746 854573056 25371 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25371 13086 16 0 208620 0
vsize: 834544
[startup+790.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 73240 67 0 0 25 0 10 0 767833746 854573056 25396 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25396 13086 16 0 208620 0
vsize: 834544
[startup+800.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 74151 67 0 0 25 0 10 0 767833746 854573056 25421 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25421 13086 16 0 208620 0
vsize: 834544
[startup+810.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 75062 68 0 0 25 0 10 0 767833746 854573056 25445 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25445 13086 16 0 208620 0
vsize: 834544
[startup+820.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 75972 68 0 0 25 0 10 0 767833746 854573056 25470 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25470 13086 16 0 208620 0
vsize: 834544
[startup+830.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 76881 69 0 0 25 0 10 0 767833746 854573056 25494 4294967295 134512640 134569956 3221224368 3221214632 1076619332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25494 13086 16 0 208620 0
vsize: 834544
[startup+840.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 77791 69 0 0 17 0 10 0 767833746 854573056 25518 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25518 13086 16 0 208620 0
vsize: 834544
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 78700 69 0 0 20 0 10 0 767833746 854573056 25542 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25542 13086 16 0 208620 0
vsize: 834544
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 79611 70 0 0 25 0 10 0 767833746 854573056 25565 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25565 13086 16 0 208620 0
vsize: 834544
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 80526 70 0 0 25 0 10 0 767833746 854573056 25588 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25588 13086 16 0 208620 0
vsize: 834544
[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 81436 70 0 0 25 0 10 0 767833746 854573056 25611 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25611 13086 16 0 208620 0
vsize: 834544
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 82344 71 0 0 25 0 10 0 767833746 854573056 25634 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25634 13086 16 0 208620 0
vsize: 834544
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 83252 71 0 0 25 0 10 0 767833746 854573056 25660 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25660 13086 16 0 208620 0
vsize: 834544
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 84160 71 0 0 20 0 10 0 767833746 854573056 25683 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25683 13086 16 0 208620 0
vsize: 834544
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 85066 72 0 0 19 0 10 0 767833746 854573056 25712 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25712 13086 16 0 208620 0
vsize: 834544
[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 85972 73 0 0 19 0 10 0 767833746 854573056 25737 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25737 13086 16 0 208620 0
vsize: 834544
[startup+940.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 86885 74 0 0 24 0 10 0 767833746 854573056 25758 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25758 13086 16 0 208620 0
vsize: 834544
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 87791 74 0 0 23 0 10 0 767833746 854573056 25791 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25791 13086 16 0 208620 0
vsize: 834544
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 88696 75 0 0 21 0 10 0 767833746 854573056 25817 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25817 13086 16 0 208620 0
vsize: 834544
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 89602 75 0 0 20 0 10 0 767833746 854573056 25839 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25839 13086 16 0 208620 0
vsize: 834544
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 90507 76 0 0 19 0 10 0 767833746 854573056 25868 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25868 13086 16 0 208620 0
vsize: 834544
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 91417 76 0 0 23 0 10 0 767833746 854573056 25894 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25894 13086 16 0 208620 0
vsize: 834544
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 92322 76 0 0 22 0 10 0 767833746 854573056 25919 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25919 13086 16 0 208620 0
vsize: 834544
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 93227 77 0 0 21 0 10 0 767833746 854573056 25940 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25940 13086 16 0 208620 0
vsize: 834544
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 94132 77 0 0 19 0 10 0 767833746 854573056 25970 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25970 13086 16 0 208620 0
vsize: 834544
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 95041 77 0 0 24 0 10 0 767833746 854573056 25994 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 25994 13086 16 0 208620 0
vsize: 834544
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 95946 78 0 0 22 0 10 0 767833746 854573056 26015 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26015 13086 16 0 208620 0
vsize: 834544
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 96850 78 0 0 20 0 10 0 767833746 854573056 26043 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26043 13086 16 0 208620 0
vsize: 834544
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 97753 78 0 0 19 0 10 0 767833746 854573056 26069 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26069 13086 16 0 208620 0
vsize: 834544
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 98656 79 0 0 22 0 10 0 767833746 854573056 26094 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26094 13086 16 0 208620 0
vsize: 834544
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 99562 79 0 0 22 0 10 0 767833746 854573056 26115 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26115 13086 16 0 208620 0
vsize: 834544
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 100464 80 0 0 20 0 10 0 767833746 854573056 26142 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26142 13086 16 0 208620 0
vsize: 834544
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 101366 80 0 0 19 0 10 0 767833746 854573056 26166 4294967295 134512640 134569956 3221224368 3221214224 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26166 13086 16 0 208620 0
vsize: 834544
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 102274 81 0 0 22 0 10 0 767833746 854573056 26189 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26189 13086 16 0 208620 0
vsize: 834544
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 103175 81 0 0 21 0 10 0 767833746 854573056 26214 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26214 13086 16 0 208620 0
vsize: 834544
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 104076 82 0 0 19 0 10 0 767833746 854573056 26239 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26239 13086 16 0 208620 0
vsize: 834544
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 104983 82 0 0 23 0 10 0 767833746 854573056 26260 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26260 13086 16 0 208620 0
vsize: 834544
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 105883 83 0 0 21 0 10 0 767833746 854573056 26287 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26287 13086 16 0 208620 0
vsize: 834544
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 106784 83 0 0 19 0 10 0 767833746 854573056 26309 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26309 13086 16 0 208620 0
vsize: 834544
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 107691 84 0 0 24 0 10 0 767833746 854573056 26332 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26332 13086 16 0 208620 0
vsize: 834544
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 108591 85 0 0 21 0 10 0 767833746 854573056 26352 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26352 13086 16 0 208620 0
vsize: 834544
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 109490 85 0 0 19 0 10 0 767833746 854573056 26380 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26380 13086 16 0 208620 0
vsize: 834544
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 110389 86 0 0 23 0 10 0 767833746 854573056 26403 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26403 13086 16 0 208620 0
vsize: 834544
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 111290 86 0 0 21 0 10 0 767833746 854573056 26425 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26425 13086 16 0 208620 0
vsize: 834544
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 112190 87 0 0 19 0 10 0 767833746 854573056 26447 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26447 13086 16 0 208620 0
vsize: 834544
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 113091 87 0 0 24 0 10 0 767833746 854573056 26467 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26467 13086 16 0 208620 0
vsize: 834544
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 113994 87 0 0 21 0 10 0 767833746 854573056 26486 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26486 13086 16 0 208620 0
vsize: 834544
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 114893 87 0 0 20 0 10 0 767833746 854573056 26507 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26507 13086 16 0 208620 0
vsize: 834544
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 115794 88 0 0 24 0 10 0 767833746 854573056 26536 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26536 13086 16 0 208620 0
vsize: 834544
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 116696 88 0 0 21 0 10 0 767833746 854573056 26568 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26568 13086 16 0 208620 0
vsize: 834544
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 117596 89 0 0 21 0 10 0 767833746 854573056 26591 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26591 13086 16 0 208620 0
vsize: 834544
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) S 19002 3132 3131 0 -1 0 18004 0 1 0 118496 89 0 0 24 0 10 0 767833746 854573056 26603 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26603 13086 16 0 208620 0
vsize: 834544
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 119404 89 0 0 23 0 10 0 767833746 854573056 26640 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26640 13086 16 0 208620 0
vsize: 834544
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19012
Raw data (stat): 19003 (java) R 19002 3132 3131 0 -1 0 18004 0 1 0 120307 90 0 0 22 0 10 0 767833746 854573056 26653 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208636 26653 13086 16 0 208620 0
vsize: 834544
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 19014
Raw data (stat): 19003 (java) Z 19002 3132 3131 0 -1 1036 18004 9366 1 0 120310 90 10733 48 22 0 1 0 767833746 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.17
CPU time (s): 1311.82
CPU user time (s): 1310.43
CPU system time (s): 1.38679
CPU usage (%): 100.126
Max. virtual memory (Kb): 834544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####