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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUM	9a33380ca74da1778d689b1fccd15cfc
Bench Category	optimization, big integers (OPTBIGINT)
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29764190431236
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29764190431236
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42078
Number of variables	155000
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	31
Maximum length of a constraint	3000
Trace number 29693

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        657792 kB
Buffers:         34472 kB
Cached:         321316 kB
SwapCached:        600 kB
Active:          81036 kB
Inactive:       277168 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        657540 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12824 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:53:03 (client local time) WITH STATUS 143 IN 1309.82 SECONDS
stats: 21097 7 1309.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/wulflinc4/normalized-mps-v2-20-10-n3707.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.191
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.99 2/54 650
Raw data (stat): 650 (runsolver) R 649 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779947140 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.0008 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18005 0 1 0 867 37 0 0 24 0 10 0 779947140 853897216 19390 4294967295 134512640 134569956 3221224368 3221214644 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208471 19390 13086 16 0 208455 0
vsize: 833884
[startup+20.0025 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 1764 38 0 0 25 0 10 0 779947140 855154688 20130 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208778 20130 13086 16 0 208762 0
vsize: 835112
[startup+30.0033 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 2660 38 0 0 25 0 10 0 779947140 853798912 20339 4294967295 134512640 134569956 3221224368 3221214648 1131191757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 20339 13086 16 0 208431 0
vsize: 833788
[startup+40.005 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 3576 38 0 0 25 0 10 0 779947140 853962752 20669 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 20669 13086 16 0 208471 0
vsize: 833948
[startup+50.007 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 4497 39 0 0 25 0 10 0 779947140 853962752 20831 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 20831 13086 16 0 208471 0
vsize: 833948
[startup+60.0077 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 5413 39 0 0 25 0 10 0 779947140 853962752 20962 4294967295 134512640 134569956 3221224368 3221214768 1131247672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 20962 13086 16 0 208471 0
vsize: 833948
[startup+70.0085 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 6343 39 0 0 25 0 10 0 779947140 853798912 21166 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 21166 13086 16 0 208431 0
vsize: 833788
[startup+80.0094 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 7283 39 0 0 19 0 10 0 779947140 853798912 21264 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 21264 13086 16 0 208431 0
vsize: 833788
[startup+90.0096 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 8223 39 0 0 25 0 10 0 779947140 853798912 21357 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21357 13086 16 0 208431 0
vsize: 833788
[startup+100.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 9164 39 0 0 24 0 10 0 779947140 853798912 21443 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21443 13086 16 0 208431 0
vsize: 833788
[startup+110.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 10109 40 0 0 25 0 10 0 779947140 853798912 21518 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21518 13086 16 0 208431 0
vsize: 833788
[startup+120.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 11051 40 0 0 25 0 10 0 779947140 853798912 21594 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21594 13086 16 0 208431 0
vsize: 833788
[startup+130.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 11992 40 0 0 25 0 10 0 779947140 853798912 21666 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21666 13086 16 0 208431 0
vsize: 833788
[startup+140.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 12935 40 0 0 25 0 10 0 779947140 853798912 21734 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21734 13086 16 0 208431 0
vsize: 833788
[startup+150.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 13877 40 0 0 25 0 10 0 779947140 853798912 21799 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21799 13086 16 0 208431 0
vsize: 833788
[startup+160.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 14819 40 0 0 25 0 10 0 779947140 853798912 21860 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21860 13086 16 0 208431 0
vsize: 833788
[startup+170.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 15758 40 0 0 25 0 10 0 779947140 853798912 21918 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21918 13086 16 0 208431 0
vsize: 833788
[startup+180.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 16670 40 0 0 24 0 10 0 779947140 853798912 21977 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 21977 13086 16 0 208431 0
vsize: 833788
[startup+190.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 17596 41 0 0 25 0 10 0 779947140 853798912 22287 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22287 13086 16 0 208431 0
vsize: 833788
[startup+200.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 18534 41 0 0 25 0 10 0 779947140 853798912 22342 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22342 13086 16 0 208431 0
vsize: 833788
[startup+210.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 19472 41 0 0 24 0 10 0 779947140 853798912 22395 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22395 13086 16 0 208431 0
vsize: 833788
[startup+220.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 20414 41 0 0 25 0 10 0 779947140 853798912 22443 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22443 13086 16 0 208431 0
vsize: 833788
[startup+230.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 21352 41 0 0 25 0 10 0 779947140 853798912 22494 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22494 13086 16 0 208431 0
vsize: 833788
[startup+240.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 22289 41 0 0 25 0 10 0 779947140 853798912 22543 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22543 13086 16 0 208431 0
vsize: 833788
[startup+250.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 23227 41 0 0 25 0 10 0 779947140 853798912 22591 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22591 13086 16 0 208431 0
vsize: 833788
[startup+260.034 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 24166 42 0 0 25 0 10 0 779947140 853798912 22636 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22636 13086 16 0 208431 0
vsize: 833788
[startup+270.036 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 25102 42 0 0 25 0 10 0 779947140 853798912 22683 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22683 13086 16 0 208431 0
vsize: 833788
[startup+280.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 26038 42 0 0 24 0 10 0 779947140 853798912 22729 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22729 13086 16 0 208431 0
vsize: 833788
[startup+290.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 26976 42 0 0 25 0 10 0 779947140 853798912 22771 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22771 13086 16 0 208431 0
vsize: 833788
[startup+300.039 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 27911 43 0 0 25 0 10 0 779947140 853798912 22815 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22815 13086 16 0 208431 0
vsize: 833788
[startup+310.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 28844 43 0 0 24 0 10 0 779947140 853798912 22858 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22858 13086 16 0 208431 0
vsize: 833788
[startup+320.041 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 29782 43 0 0 25 0 10 0 779947140 853798912 22899 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22899 13086 16 0 208431 0
vsize: 833788
[startup+330.042 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 30715 43 0 0 25 0 10 0 779947140 853798912 22940 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22940 13086 16 0 208431 0
vsize: 833788
[startup+340.046 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 31651 43 0 0 25 0 10 0 779947140 853798912 22980 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 22980 13086 16 0 208431 0
vsize: 833788
[startup+350.047 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 32585 43 0 0 25 0 10 0 779947140 853798912 23020 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23020 13086 16 0 208431 0
vsize: 833788
[startup+360.049 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 33516 44 0 0 25 0 10 0 779947140 853798912 23060 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23060 13086 16 0 208431 0
vsize: 833788
[startup+370.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 34452 44 0 0 25 0 10 0 779947140 853798912 23098 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23098 13086 16 0 208431 0
vsize: 833788
[startup+380.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 35383 44 0 0 25 0 10 0 779947140 853798912 23137 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23137 13086 16 0 208431 0
vsize: 833788
[startup+390.052 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 36317 44 0 0 25 0 10 0 779947140 853798912 23173 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23173 13086 16 0 208431 0
vsize: 833788
[startup+400.054 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 37248 44 0 0 25 0 10 0 779947140 853798912 23210 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23210 13086 16 0 208431 0
vsize: 833788
[startup+410.055 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 38182 44 0 0 25 0 10 0 779947140 853798912 23245 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23245 13086 16 0 208431 0
vsize: 833788
[startup+420.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 39111 45 0 0 25 0 10 0 779947140 853798912 23282 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23282 13086 16 0 208431 0
vsize: 833788
[startup+430.058 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 40044 45 0 0 25 0 10 0 779947140 853798912 23316 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23316 13086 16 0 208431 0
vsize: 833788
[startup+440.058 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 40971 45 0 0 25 0 10 0 779947140 853798912 23352 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23352 13086 16 0 208431 0
vsize: 833788
[startup+450.059 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 41903 46 0 0 25 0 10 0 779947140 853798912 23385 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23385 13086 16 0 208431 0
vsize: 833788
[startup+460.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 42830 46 0 0 25 0 10 0 779947140 853798912 23420 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23420 13086 16 0 208431 0
vsize: 833788
[startup+470.061 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 43761 46 0 0 25 0 10 0 779947140 853798912 23453 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23453 13086 16 0 208431 0
vsize: 833788
[startup+480.062 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 44687 46 0 0 24 0 10 0 779947140 853798912 23487 4294967295 134512640 134569956 3221224368 3221214168 1076460984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23487 13086 16 0 208431 0
vsize: 833788
[startup+490.063 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 45617 46 0 0 25 0 10 0 779947140 853798912 23519 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23519 13086 16 0 208431 0
vsize: 833788
[startup+500.065 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 46547 46 0 0 25 0 10 0 779947140 853798912 23551 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23551 13086 16 0 208431 0
vsize: 833788
[startup+510.066 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 47472 47 0 0 25 0 10 0 779947140 853798912 23584 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23584 13086 16 0 208431 0
vsize: 833788
[startup+520.066 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 48401 47 0 0 25 0 10 0 779947140 853798912 23616 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23616 13086 16 0 208431 0
vsize: 833788
[startup+530.067 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 49326 47 0 0 25 0 10 0 779947140 853798912 23648 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 23648 13086 16 0 208431 0
vsize: 833788
[startup+540.068 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 50254 47 0 0 25 0 10 0 779947140 853798912 23678 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23678 13086 16 0 208431 0
vsize: 833788
[startup+550.068 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 51182 47 0 0 25 0 10 0 779947140 853798912 23708 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23708 13086 16 0 208431 0
vsize: 833788
[startup+560.069 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 52109 48 0 0 25 0 10 0 779947140 853798912 23738 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23738 13086 16 0 208431 0
vsize: 833788
[startup+570.07 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 53033 48 0 0 25 0 10 0 779947140 853798912 23769 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23769 13086 16 0 208431 0
vsize: 833788
[startup+580.07 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 53959 48 0 0 25 0 10 0 779947140 853798912 23799 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23799 13086 16 0 208431 0
vsize: 833788
[startup+590.071 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 54886 49 0 0 25 0 10 0 779947140 853798912 23828 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23828 13086 16 0 208431 0
vsize: 833788
[startup+600.071 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 55811 49 0 0 25 0 10 0 779947140 853798912 23856 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23856 13086 16 0 208431 0
vsize: 833788
[startup+610.073 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 56737 49 0 0 25 0 10 0 779947140 853798912 23885 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23885 13086 16 0 208431 0
vsize: 833788
[startup+620.073 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 57658 49 0 0 24 0 10 0 779947140 853798912 23915 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23915 13086 16 0 208431 0
vsize: 833788
[startup+630.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 58584 49 0 0 25 0 10 0 779947140 853798912 23943 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23943 13086 16 0 208431 0
vsize: 833788
[startup+640.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 59509 49 0 0 25 0 10 0 779947140 853798912 23970 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23970 13086 16 0 208431 0
vsize: 833788
[startup+650.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 60433 50 0 0 25 0 10 0 779947140 853798912 23998 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 23998 13086 16 0 208431 0
vsize: 833788
[startup+660.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 61348 50 0 0 25 0 10 0 779947140 853798912 24943 4294967295 134512640 134569956 3221224368 3221214752 1131247463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 24943 13086 16 0 208431 0
vsize: 833788
[startup+670.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 62276 51 0 0 25 0 10 0 779947140 853798912 24945 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 24945 13086 16 0 208431 0
vsize: 833788
[startup+680.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 63195 51 0 0 25 0 10 0 779947140 853798912 24948 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 24948 13086 16 0 208431 0
vsize: 833788
[startup+690.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 64109 52 0 0 25 0 10 0 779947140 853798912 24976 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 24976 13086 16 0 208431 0
vsize: 833788
[startup+700.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 65023 53 0 0 25 0 10 0 779947140 853798912 25002 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25002 13086 16 0 208431 0
vsize: 833788
[startup+710.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 65935 53 0 0 25 0 10 0 779947140 853798912 25029 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25029 13086 16 0 208431 0
vsize: 833788
[startup+720.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 66849 54 0 0 25 0 10 0 779947140 853798912 25055 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25055 13086 16 0 208431 0
vsize: 833788
[startup+730.081 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 67762 54 0 0 25 0 10 0 779947140 853798912 25081 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25081 13086 16 0 208431 0
vsize: 833788
[startup+740.081 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 68674 55 0 0 25 0 10 0 779947140 853798912 25106 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25106 13086 16 0 208431 0
vsize: 833788
[startup+750.082 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 69585 55 0 0 25 0 10 0 779947140 853798912 25132 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25132 13086 16 0 208431 0
vsize: 833788
[startup+760.082 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 70497 56 0 0 25 0 10 0 779947140 853798912 25157 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25157 13086 16 0 208431 0
vsize: 833788
[startup+770.082 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 71408 56 0 0 25 0 10 0 779947140 853798912 25183 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25183 13086 16 0 208431 0
vsize: 833788
[startup+780.083 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 72320 57 0 0 25 0 10 0 779947140 853798912 25208 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25208 13086 16 0 208431 0
vsize: 833788
[startup+790.084 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 73231 57 0 0 25 0 10 0 779947140 853798912 25233 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25233 13086 16 0 208431 0
vsize: 833788
[startup+800.085 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 74142 57 0 0 25 0 10 0 779947140 853798912 25257 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25257 13086 16 0 208431 0
vsize: 833788
[startup+810.085 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 75052 58 0 0 25 0 10 0 779947140 853798912 25282 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25282 13086 16 0 208431 0
vsize: 833788
[startup+820.086 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 75961 58 0 0 24 0 10 0 779947140 853798912 25306 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25306 13086 16 0 208431 0
vsize: 833788
[startup+830.088 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 76874 59 0 0 25 0 10 0 779947140 853798912 25330 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25330 13086 16 0 208431 0
vsize: 833788
[startup+840.088 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 77786 59 0 0 25 0 10 0 779947140 853798912 25353 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25353 13086 16 0 208431 0
vsize: 833788
[startup+850.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 78695 60 0 0 25 0 10 0 779947140 853798912 25377 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25377 13086 16 0 208431 0
vsize: 833788
[startup+860.091 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 79604 60 0 0 25 0 10 0 779947140 853798912 25401 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25401 13086 16 0 208431 0
vsize: 833788
[startup+870.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 80513 61 0 0 25 0 10 0 779947140 853798912 25425 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25425 13086 16 0 208431 0
vsize: 833788
[startup+880.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 81421 61 0 0 25 0 10 0 779947140 853798912 25449 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25449 13086 16 0 208431 0
vsize: 833788
[startup+890.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 82329 61 0 0 25 0 10 0 779947140 853798912 25471 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25471 13086 16 0 208431 0
vsize: 833788
[startup+900.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 83242 61 0 0 23 0 10 0 779947140 853798912 25495 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25495 13086 16 0 208431 0
vsize: 833788
[startup+910.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 84150 62 0 0 25 0 10 0 779947140 853798912 25518 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25518 13086 16 0 208431 0
vsize: 833788
[startup+920.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 85058 62 0 0 25 0 10 0 779947140 853798912 25547 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25547 13086 16 0 208431 0
vsize: 833788
[startup+930.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 85967 62 0 0 25 0 10 0 779947140 853798912 25571 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25571 13086 16 0 208431 0
vsize: 833788
[startup+940.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 86877 62 0 0 25 0 10 0 779947140 853798912 25594 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25594 13086 16 0 208431 0
vsize: 833788
[startup+950.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 87783 62 0 0 25 0 10 0 779947140 853798912 25626 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25626 13086 16 0 208431 0
vsize: 833788
[startup+960.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 88688 63 0 0 24 0 10 0 779947140 853798912 25653 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25653 13086 16 0 208431 0
vsize: 833788
[startup+970.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 89598 63 0 0 25 0 10 0 779947140 853798912 25675 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 25675 13086 16 0 208431 0
vsize: 833788
[startup+980.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 90504 64 0 0 25 0 10 0 779947140 853798912 25702 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25702 13086 16 0 208431 0
vsize: 833788
[startup+990.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 91410 64 0 0 25 0 10 0 779947140 853798912 25730 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25730 13086 16 0 208431 0
vsize: 833788
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 92315 64 0 0 25 0 10 0 779947140 853798912 25754 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25754 13086 16 0 208431 0
vsize: 833788
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 93225 65 0 0 25 0 10 0 779947140 853798912 25776 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25776 13086 16 0 208431 0
vsize: 833788
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 94129 65 0 0 25 0 10 0 779947140 853798912 25797 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25797 13086 16 0 208431 0
vsize: 833788
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 95033 65 0 0 25 0 10 0 779947140 853798912 25830 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25830 13086 16 0 208431 0
vsize: 833788
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 95943 66 0 0 25 0 10 0 779947140 853798912 25851 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25851 13086 16 0 208431 0
vsize: 833788
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 96846 66 0 0 25 0 10 0 779947140 853798912 25878 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25878 13086 16 0 208431 0
vsize: 833788
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 97749 67 0 0 24 0 10 0 779947140 853798912 25906 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25906 13086 16 0 208431 0
vsize: 833788
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 98655 67 0 0 25 0 10 0 779947140 853798912 25929 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25929 13086 16 0 208431 0
vsize: 833788
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 99557 68 0 0 25 0 10 0 779947140 853798912 25952 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25952 13086 16 0 208431 0
vsize: 833788
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 100465 68 0 0 25 0 10 0 779947140 853798912 25976 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 25976 13086 16 0 208431 0
vsize: 833788
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 101368 68 0 0 25 0 10 0 779947140 853798912 26002 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 26002 13086 16 0 208431 0
vsize: 833788
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 102269 69 0 0 25 0 10 0 779947140 853798912 26026 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 26026 13086 16 0 208431 0
vsize: 833788
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 103174 69 0 0 25 0 10 0 779947140 853798912 26049 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 26049 13086 16 0 208431 0
vsize: 833788
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 104078 69 0 0 25 0 10 0 779947140 853798912 26074 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 26074 13086 16 0 208431 0
vsize: 833788
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 104979 70 0 0 25 0 10 0 779947140 853798912 26096 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 26096 13086 16 0 208431 0
vsize: 833788
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 105886 70 0 0 25 0 10 0 779947140 853798912 26122 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 26122 13086 16 0 208431 0
vsize: 833788
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 106786 71 0 0 25 0 10 0 779947140 853798912 26144 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208447 26144 13086 16 0 208431 0
vsize: 833788
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 107686 71 0 0 25 0 10 0 779947140 853798912 26169 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26169 13086 16 0 208431 0
vsize: 833788
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 108587 71 0 0 25 0 10 0 779947140 853798912 26188 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26188 13086 16 0 208431 0
vsize: 833788
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 109490 71 0 0 25 0 10 0 779947140 853798912 26215 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26215 13086 16 0 208431 0
vsize: 833788
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 110386 71 0 0 25 0 10 0 779947140 853798912 26239 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26239 13086 16 0 208431 0
vsize: 833788
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 111286 71 0 0 25 0 10 0 779947140 853798912 26262 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26262 13086 16 0 208431 0
vsize: 833788
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 112186 72 0 0 21 0 10 0 779947140 853798912 26283 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26283 13086 16 0 208431 0
vsize: 833788
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 113084 72 0 0 19 0 10 0 779947140 853798912 26303 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26303 13086 16 0 208431 0
vsize: 833788
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) S 649 21152 21151 0 -1 0 18006 0 1 0 113987 72 0 0 23 0 10 0 779947140 853798912 26322 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26322 13086 16 0 208431 0
vsize: 833788
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 114886 72 0 0 21 0 10 0 779947140 853798912 26342 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26342 13086 16 0 208431 0
vsize: 833788
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 115783 73 0 0 18 0 10 0 779947140 853798912 26374 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26374 13086 16 0 208431 0
vsize: 833788
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 116687 73 0 0 23 0 10 0 779947140 853798912 26404 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26404 13086 16 0 208431 0
vsize: 833788
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 117586 73 0 0 21 0 10 0 779947140 853798912 26426 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26426 13086 16 0 208431 0
vsize: 833788
[startup+1290.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 118486 73 0 0 19 0 10 0 779947140 853798912 26442 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26442 13086 16 0 208431 0
vsize: 833788
[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 119392 73 0 0 23 0 10 0 779947140 853798912 26475 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26475 13086 16 0 208431 0
vsize: 833788
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 659
Raw data (stat): 650 (java) R 649 21152 21151 0 -1 0 18006 0 1 0 120297 74 0 0 22 0 10 0 779947140 853798912 26492 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 26492 13086 16 0 208431 0
vsize: 833788
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 661
Raw data (stat): 650 (java) Z 649 21152 21151 0 -1 1036 18006 8143 1 0 120304 74 10561 42 23 0 1 0 779947140 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.28
CPU time (s): 1309.82
CPU user time (s): 1308.65
CPU system time (s): 1.16882
CPU usage (%): 99.9648
Max. virtual memory (Kb): 835112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####