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/unibo/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	9136d330eaa53552ba154b6915193b35
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	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.131979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 30187

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        850052 kB
Buffers:         29960 kB
Cached:         131964 kB
SwapCached:        528 kB
Active:          32564 kB
Inactive:       131492 kB
HighTotal:      131008 kB
HighFree:        42056 kB
LowTotal:       903652 kB
LowFree:        807996 kB
SwapTotal:     2097892 kB
SwapFree:      2096544 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            15008 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:59:38 (client local time) WITH STATUS 143 IN 1241.81 SECONDS
stats: 21573 7 1241.81 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/wulflinc17/normalized-mps-v2-13-7-tr12-30.opb
c reading problem ... done. Time 68.925 ms.
c #vars     14760
c #constraints  1110
c starts	: 4
c conflicts	: 557
c decisions	: 36729
c propagations	: 112614
c inspects	: 1492884
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 557
c root simplifications	: 553
s UNKNOWN
c Total CPU time (ms) : 1229.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.85 0.97 0.99 2/54 23673
Raw data (stat): 23673 (runsolver) R 23672 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840036745 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.0005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 23682
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18007 0 1 0 870 41 0 0 25 0 10 0 840036745 854032384 19466 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 19466 13086 16 0 208488 0
vsize: 834016
[startup+20.002 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 23682
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18008 0 1 0 1765 42 0 0 25 0 10 0 840036745 854642688 20162 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 20162 13086 16 0 208637 0
vsize: 834612
[startup+30.0021 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 23682
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18017 0 1 0 2650 42 0 0 25 0 10 0 840036745 854032384 20637 4294967295 134512640 134569956 3221224368 3221214448 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 20637 13086 16 0 208488 0
vsize: 834016
[startup+40.0027 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 23682
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18018 0 1 0 3566 43 0 0 25 0 10 0 840036745 854855680 21149 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208705 21149 13086 16 0 208689 0
vsize: 834820
[startup+50.0037 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 23682
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18019 0 1 0 4489 43 0 0 25 0 10 0 840036745 854855680 21361 4294967295 134512640 134569956 3221224368 3221214800 1131305094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208705 21361 13086 16 0 208689 0
vsize: 834820
[startup+60.0029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 23682
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18019 0 1 0 5408 44 0 0 25 0 10 0 840036745 854425600 21413 4294967295 134512640 134569956 3221224368 3221214800 1131307189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 21413 13086 16 0 208584 0
vsize: 834400
[startup+70.0274 s]
Raw data (loadavg): 1.09 1.02 1.00 3/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18046 0 1 0 6321 46 0 0 25 0 11 0 840036745 854953984 21568 4294967295 134512640 134569956 3221224368 3221214808 1130918432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208729 21568 13086 16 0 208713 0
vsize: 834916
[startup+80.0294 s]
Raw data (loadavg): 1.23 1.05 1.01 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 7136 47 0 0 25 0 11 0 840036745 861278208 24336 4294967295 134512640 134569956 3221224368 3221214672 1131462218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24336 13086 16 0 210257 0
vsize: 841092
[startup+90.0301 s]
Raw data (loadavg): 1.19 1.05 1.01 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 8039 47 0 0 25 0 11 0 840036745 861278208 25054 4294967295 134512640 134569956 3221224368 3221214512 1131313239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25054 13086 16 0 210257 0
vsize: 841092
[startup+100.03 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 9008 47 0 0 25 0 11 0 840036745 861278208 25054 4294967295 134512640 134569956 3221224368 3221214608 1131352834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25054 13086 16 0 210257 0
vsize: 841092
[startup+110.03 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 9970 47 0 0 24 0 11 0 840036745 861278208 25090 4294967295 134512640 134569956 3221224368 3221214604 1131314199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25090 13086 16 0 210257 0
vsize: 841092
[startup+120.033 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 23683
Raw data (stat): 23673 (java) S 23672 7475 7474 0 -1 0 18073 0 1 0 10940 47 0 0 25 0 11 0 840036745 861278208 25240 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25240 13086 16 0 210257 0
vsize: 841092
[startup+130.04 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 11914 47 0 0 25 0 11 0 840036745 861278208 25330 4294967295 134512640 134569956 3221224368 3221214672 1131466839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25330 13086 16 0 210257 0
vsize: 841092
[startup+140.042 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 23683
Raw data (stat): 23673 (java) S 23672 7475 7474 0 -1 0 18073 0 1 0 12888 47 0 0 25 0 11 0 840036745 861278208 25399 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25399 13086 16 0 210257 0
vsize: 841092
[startup+150.043 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 13866 47 0 0 24 0 11 0 840036745 861278208 25472 4294967295 134512640 134569956 3221224368 3221214608 1131353157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25472 13086 16 0 210257 0
vsize: 841092
[startup+160.043 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 14847 47 0 0 25 0 11 0 840036745 861278208 25566 4294967295 134512640 134569956 3221224368 3221214608 1131353157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25566 13086 16 0 210257 0
vsize: 841092
[startup+170.044 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 15830 47 0 0 25 0 11 0 840036745 861278208 25569 4294967295 134512640 134569956 3221224368 3221214608 1131352893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25569 13086 16 0 210257 0
vsize: 841092
[startup+180.045 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 16813 47 0 0 25 0 11 0 840036745 861278208 25612 4294967295 134512640 134569956 3221224368 3221214608 1131352834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25612 13086 16 0 210257 0
vsize: 841092
[startup+190.045 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 17797 47 0 0 25 0 11 0 840036745 861278208 25650 4294967295 134512640 134569956 3221224368 3221214608 1131353214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25650 13086 16 0 210257 0
vsize: 841092
[startup+200.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 18782 47 0 0 25 0 11 0 840036745 861278208 25689 4294967295 134512640 134569956 3221224368 3221214368 1131382972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25689 13086 16 0 210257 0
vsize: 841092
[startup+210.045 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 19767 47 0 0 25 0 11 0 840036745 861278208 25723 4294967295 134512640 134569956 3221224368 3221214672 1131466839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25723 13086 16 0 210257 0
vsize: 841092
[startup+220.048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 20752 47 0 0 25 0 11 0 840036745 861278208 25762 4294967295 134512640 134569956 3221224368 3221214608 1131353145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25762 13086 16 0 210257 0
vsize: 841092
[startup+230.048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 21737 47 0 0 25 0 11 0 840036745 861278208 25792 4294967295 134512640 134569956 3221224368 3221214832 1131216153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25792 13086 16 0 210257 0
vsize: 841092
[startup+240.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 22717 48 0 0 25 0 11 0 840036745 861278208 25822 4294967295 134512640 134569956 3221224368 3221214672 1131461843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25822 13086 16 0 210257 0
vsize: 841092
[startup+250.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 23694 48 0 0 25 0 11 0 840036745 861278208 25852 4294967295 134512640 134569956 3221224368 3221214608 1131353073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25852 13086 16 0 210257 0
vsize: 841092
[startup+260.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 24672 48 0 0 25 0 11 0 840036745 861278208 25882 4294967295 134512640 134569956 3221224368 3221214672 1131463243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25882 13086 16 0 210257 0
vsize: 841092
[startup+270.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 25654 48 0 0 24 0 11 0 840036745 861278208 26006 4294967295 134512640 134569956 3221224368 3221214672 1131462081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26006 13086 16 0 210257 0
vsize: 841092
[startup+280.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 26642 48 0 0 25 0 11 0 840036745 861278208 26034 4294967295 134512640 134569956 3221224368 3221214632 1131463288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26034 13086 16 0 210257 0
vsize: 841092
[startup+290.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 27629 48 0 0 25 0 11 0 840036745 861278208 26060 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26060 13086 16 0 210257 0
vsize: 841092
[startup+300.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 28616 48 0 0 25 0 11 0 840036745 861278208 26086 4294967295 134512640 134569956 3221224368 3221214632 1131467018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26086 13086 16 0 210257 0
vsize: 841092
[startup+310.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 29603 48 0 0 25 0 11 0 840036745 861278208 26111 4294967295 134512640 134569956 3221224368 3221214668 1131353485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26111 13086 16 0 210257 0
vsize: 841092
[startup+320.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 30590 48 0 0 25 0 11 0 840036745 861278208 26137 4294967295 134512640 134569956 3221224368 3221214512 1131313165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26137 13086 16 0 210257 0
vsize: 841092
[startup+330.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 31576 48 0 0 25 0 11 0 840036745 861278208 26158 4294967295 134512640 134569956 3221224368 3221214604 1131313152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26158 13086 16 0 210257 0
vsize: 841092
[startup+340.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 32563 48 0 0 25 0 11 0 840036745 861278208 26184 4294967295 134512640 134569956 3221224368 3221214480 1131246873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26184 13086 16 0 210257 0
vsize: 841092
[startup+350.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 33548 49 0 0 25 0 11 0 840036745 861278208 26206 4294967295 134512640 134569956 3221224368 3221214564 1131314199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26206 13086 16 0 210257 0
vsize: 841092
[startup+360.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 34535 49 0 0 25 0 11 0 840036745 861278208 26227 4294967295 134512640 134569956 3221224368 3221214472 1131313375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26227 13086 16 0 210257 0
vsize: 841092
[startup+370.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 35522 49 0 0 25 0 11 0 840036745 861278208 26248 4294967295 134512640 134569956 3221224368 3221214568 1131353120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26248 13086 16 0 210257 0
vsize: 841092
[startup+380.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 36508 49 0 0 25 0 11 0 840036745 861278208 26274 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26274 13086 16 0 210257 0
vsize: 841092
[startup+390.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 37495 50 0 0 25 0 11 0 840036745 861278208 26291 4294967295 134512640 134569956 3221224368 3221214472 1131313233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26291 13086 16 0 210257 0
vsize: 841092
[startup+400.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 38482 50 0 0 25 0 11 0 840036745 861278208 26313 4294967295 134512640 134569956 3221224368 3221214472 1131313371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26313 13086 16 0 210257 0
vsize: 841092
[startup+410.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 39469 50 0 0 25 0 11 0 840036745 861278208 26334 4294967295 134512640 134569956 3221224368 3221214568 1131352806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26334 13086 16 0 210257 0
vsize: 841092
[startup+420.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 40456 50 0 0 25 0 11 0 840036745 861278208 26356 4294967295 134512640 134569956 3221224368 3221214568 1131352801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26356 13086 16 0 210257 0
vsize: 841092
[startup+430.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 41443 50 0 0 25 0 11 0 840036745 861278208 26373 4294967295 134512640 134569956 3221224368 3221214472 1131313471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26373 13086 16 0 210257 0
vsize: 841092
[startup+440.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 42430 50 0 0 25 0 11 0 840036745 861278208 26394 4294967295 134512640 134569956 3221224368 3221214568 1131352865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26394 13086 16 0 210257 0
vsize: 841092
[startup+450.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 43418 51 0 0 25 0 11 0 840036745 861278208 26411 4294967295 134512640 134569956 3221224368 3221214472 1131313471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26411 13086 16 0 210257 0
vsize: 841092
[startup+460.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 44404 51 0 0 25 0 11 0 840036745 861278208 26428 4294967295 134512640 134569956 3221224368 3221214632 1131462023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26428 13086 16 0 210257 0
vsize: 841092
[startup+470.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 45391 51 0 0 25 0 11 0 840036745 861278208 26450 4294967295 134512640 134569956 3221224368 3221214568 1131352996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26450 13086 16 0 210257 0
vsize: 841092
[startup+480.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 46378 52 0 0 25 0 11 0 840036745 861278208 26467 4294967295 134512640 134569956 3221224368 3221214632 1131466017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26467 13086 16 0 210257 0
vsize: 841092
[startup+490.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 47367 52 0 0 25 0 11 0 840036745 861278208 26484 4294967295 134512640 134569956 3221224368 3221214628 1131352787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26484 13086 16 0 210257 0
vsize: 841092
[startup+500.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 48354 52 0 0 25 0 11 0 840036745 861278208 26501 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26501 13086 16 0 210257 0
vsize: 841092
[startup+510.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 49342 53 0 0 25 0 11 0 840036745 861278208 26519 4294967295 134512640 134569956 3221224368 3221214472 1131313502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26519 13086 16 0 210257 0
vsize: 841092
[startup+520.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 50329 53 0 0 24 0 11 0 840036745 861278208 26541 4294967295 134512640 134569956 3221224368 3221214472 1131313398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26541 13086 16 0 210257 0
vsize: 841092
[startup+530.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 51317 54 0 0 25 0 11 0 840036745 861278208 26558 4294967295 134512640 134569956 3221224368 3221214568 1131353193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26558 13086 16 0 210257 0
vsize: 841092
[startup+540.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 52305 54 0 0 25 0 11 0 840036745 861278208 26571 4294967295 134512640 134569956 3221224368 3221214632 1131463296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26571 13086 16 0 210257 0
vsize: 841092
[startup+550.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 53292 54 0 0 25 0 11 0 840036745 861278208 26592 4294967295 134512640 134569956 3221224368 3221214568 1131352793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26592 13086 16 0 210257 0
vsize: 841092
[startup+560.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 54280 54 0 0 25 0 11 0 840036745 861278208 26605 4294967295 134512640 134569956 3221224368 3221214472 1131313315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26605 13086 16 0 210257 0
vsize: 841092
[startup+570.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 55268 55 0 0 25 0 11 0 840036745 861278208 26622 4294967295 134512640 134569956 3221224368 3221214632 1131466975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26622 13086 16 0 210257 0
vsize: 841092
[startup+580.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 56255 56 0 0 25 0 11 0 840036745 861278208 26640 4294967295 134512640 134569956 3221224368 3221214632 1131462051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26640 13086 16 0 210257 0
vsize: 841092
[startup+590.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 57243 56 0 0 25 0 11 0 840036745 861278208 26657 4294967295 134512640 134569956 3221224368 3221214480 1131246840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26657 13086 16 0 210257 0
vsize: 841092
[startup+600.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) S 23672 7475 7474 0 -1 0 18073 0 1 0 58231 56 0 0 25 0 11 0 840036745 861278208 26670 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26670 13086 16 0 210257 0
vsize: 841092
[startup+610.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 59219 56 0 0 25 0 11 0 840036745 861278208 26687 4294967295 134512640 134569956 3221224368 3221214568 1131353006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26687 13086 16 0 210257 0
vsize: 841092
[startup+620.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 60207 57 0 0 25 0 11 0 840036745 861278208 26700 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26700 13086 16 0 210257 0
vsize: 841092
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 61194 57 0 0 24 0 11 0 840036745 861278208 26717 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26717 13086 16 0 210257 0
vsize: 841092
[startup+640.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 62182 58 0 0 25 0 11 0 840036745 861278208 26734 4294967295 134512640 134569956 3221224368 3221214472 1131313233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26734 13086 16 0 210257 0
vsize: 841092
[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 63170 58 0 0 25 0 11 0 840036745 861278208 26747 4294967295 134512640 134569956 3221224368 3221214632 1131466795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26747 13086 16 0 210257 0
vsize: 841092
[startup+660.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 64157 58 0 0 25 0 11 0 840036745 861278208 26765 4294967295 134512640 134569956 3221224368 3221214480 1131247900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26765 13086 16 0 210257 0
vsize: 841092
[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 65135 59 0 0 25 0 11 0 840036745 861278208 26777 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26777 13086 16 0 210257 0
vsize: 841092
[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 66105 59 0 0 25 0 11 0 840036745 861278208 26790 4294967295 134512640 134569956 3221224368 3221214480 1131246840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26790 13086 16 0 210257 0
vsize: 841092
[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 67076 59 0 0 25 0 11 0 840036745 861278208 26829 4294967295 134512640 134569956 3221224368 3221214632 1131463243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26829 13086 16 0 210257 0
vsize: 841092
[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 68053 59 0 0 25 0 11 0 840036745 861278208 26994 4294967295 134512640 134569956 3221224368 3221214568 1131353211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 26994 13086 16 0 210257 0
vsize: 841092
[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 69041 60 0 0 25 0 11 0 840036745 861278208 27033 4294967295 134512640 134569956 3221224368 3221214568 1131353211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27033 13086 16 0 210257 0
vsize: 841092
[startup+720.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 70029 60 0 0 25 0 11 0 840036745 861278208 27048 4294967295 134512640 134569956 3221224368 3221214472 1131314138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27048 13086 16 0 210257 0
vsize: 841092
[startup+730.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 71016 61 0 0 25 0 11 0 840036745 861278208 27062 4294967295 134512640 134569956 3221224368 3221214472 1131314164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27062 13086 16 0 210257 0
vsize: 841092
[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 72005 61 0 0 25 0 11 0 840036745 861278208 27074 4294967295 134512640 134569956 3221224368 3221214632 1131461843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27074 13086 16 0 210257 0
vsize: 841092
[startup+750.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 72993 62 0 0 25 0 11 0 840036745 861278208 27087 4294967295 134512640 134569956 3221224368 3221214632 1131463243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27087 13086 16 0 210257 0
vsize: 841092
[startup+760.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 73980 62 0 0 25 0 11 0 840036745 861278208 27104 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27104 13086 16 0 210257 0
vsize: 841092
[startup+770.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 74968 62 0 0 25 0 11 0 840036745 861278208 27117 4294967295 134512640 134569956 3221224368 3221214568 1131353006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27117 13086 16 0 210257 0
vsize: 841092
[startup+780.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 75956 62 0 0 25 0 11 0 840036745 861278208 27130 4294967295 134512640 134569956 3221224368 3221214564 1131246816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27130 13086 16 0 210257 0
vsize: 841092
[startup+790.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 76944 63 0 0 25 0 11 0 840036745 861278208 27143 4294967295 134512640 134569956 3221224368 3221214472 1131313341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27143 13086 16 0 210257 0
vsize: 841092
[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 77933 63 0 0 25 0 11 0 840036745 861278208 27156 4294967295 134512640 134569956 3221224368 3221214812 1131216099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27156 13086 16 0 210257 0
vsize: 841092
[startup+810.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 78919 63 0 0 25 0 11 0 840036745 861278208 27173 4294967295 134512640 134569956 3221224368 3221214632 1131462023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27173 13086 16 0 210257 0
vsize: 841092
[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 79908 63 0 0 25 0 11 0 840036745 861278208 27182 4294967295 134512640 134569956 3221224368 3221214568 1131352834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27182 13086 16 0 210257 0
vsize: 841092
[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 80896 64 0 0 25 0 11 0 840036745 861278208 27194 4294967295 134512640 134569956 3221224368 3221214568 1131353006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27194 13086 16 0 210257 0
vsize: 841092
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 81883 64 0 0 25 0 11 0 840036745 861278208 27212 4294967295 134512640 134569956 3221224368 3221214472 1131313273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27212 13086 16 0 210257 0
vsize: 841092
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 82871 64 0 0 25 0 11 0 840036745 861278208 27224 4294967295 134512640 134569956 3221224368 3221214568 1131353083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27224 13086 16 0 210257 0
vsize: 841092
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 83858 64 0 0 25 0 11 0 840036745 861278208 27237 4294967295 134512640 134569956 3221224368 3221214720 1131369654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27237 13086 16 0 210257 0
vsize: 841092
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 84846 65 0 0 25 0 11 0 840036745 861278208 27250 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27250 13086 16 0 210257 0
vsize: 841092
[startup+880.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 85835 65 0 0 25 0 11 0 840036745 861278208 27259 4294967295 134512640 134569956 3221224368 3221214472 1131313233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27259 13086 16 0 210257 0
vsize: 841092
[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 86822 65 0 0 25 0 11 0 840036745 861278208 27272 4294967295 134512640 134569956 3221224368 3221214472 1131313233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27272 13086 16 0 210257 0
vsize: 841092
[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 87810 66 0 0 25 0 11 0 840036745 861278208 27284 4294967295 134512640 134569956 3221224368 3221214568 1131353214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27284 13086 16 0 210257 0
vsize: 841092
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 88799 66 0 0 25 0 11 0 840036745 861278208 27297 4294967295 134512640 134569956 3221224368 3221214568 1131353157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27297 13086 16 0 210257 0
vsize: 841092
[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 89785 66 0 0 25 0 11 0 840036745 861278208 27310 4294967295 134512640 134569956 3221224368 3221214608 1131352873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27310 13086 16 0 210257 0
vsize: 841092
[startup+930.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 90774 67 0 0 25 0 11 0 840036745 861278208 27323 4294967295 134512640 134569956 3221224368 3221214512 1131313183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27323 13086 16 0 210257 0
vsize: 841092
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 91760 67 0 0 24 0 11 0 840036745 861278208 27336 4294967295 134512640 134569956 3221224368 3221214608 1131353200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27336 13086 16 0 210257 0
vsize: 841092
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 92748 68 0 0 25 0 11 0 840036745 861278208 27349 4294967295 134512640 134569956 3221224368 3221214512 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27349 13086 16 0 210257 0
vsize: 841092
[startup+960.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 93736 68 0 0 25 0 11 0 840036745 861278208 27357 4294967295 134512640 134569956 3221224368 3221214520 1131246837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27357 13086 16 0 210257 0
vsize: 841092
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 94723 69 0 0 25 0 11 0 840036745 861278208 27370 4294967295 134512640 134569956 3221224368 3221214472 1131313409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27370 13086 16 0 210257 0
vsize: 841092
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 95711 69 0 0 25 0 11 0 840036745 861278208 27383 4294967295 134512640 134569956 3221224368 3221214472 1131313269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27383 13086 16 0 210257 0
vsize: 841092
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 96699 70 0 0 25 0 11 0 840036745 861278208 27396 4294967295 134512640 134569956 3221224368 3221214568 1131352834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27396 13086 16 0 210257 0
vsize: 841092
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 97686 70 0 0 25 0 11 0 840036745 861278208 27404 4294967295 134512640 134569956 3221224368 3221214472 1131313256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27404 13086 16 0 210257 0
vsize: 841092
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 98674 70 0 0 25 0 11 0 840036745 861278208 27417 4294967295 134512640 134569956 3221224368 3221214568 1131353186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27417 13086 16 0 210257 0
vsize: 841092
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 99661 71 0 0 24 0 11 0 840036745 861278208 27430 4294967295 134512640 134569956 3221224368 3221214568 1131353154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27430 13086 16 0 210257 0
vsize: 841092
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 100650 71 0 0 25 0 11 0 840036745 861278208 27439 4294967295 134512640 134569956 3221224368 3221214632 1131467967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27439 13086 16 0 210257 0
vsize: 841092
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 101638 71 0 0 25 0 11 0 840036745 861278208 27452 4294967295 134512640 134569956 3221224368 3221214472 1131313273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27452 13086 16 0 210257 0
vsize: 841092
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 102624 72 0 0 25 0 11 0 840036745 861278208 27464 4294967295 134512640 134569956 3221224368 3221214568 1131352946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27464 13086 16 0 210257 0
vsize: 841092
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 103612 72 0 0 25 0 11 0 840036745 861278208 27473 4294967295 134512640 134569956 3221224368 3221214564 1131246816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27473 13086 16 0 210257 0
vsize: 841092
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 104601 72 0 0 25 0 11 0 840036745 861278208 27486 4294967295 134512640 134569956 3221224368 3221214632 1131463132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27486 13086 16 0 210257 0
vsize: 841092
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 105588 72 0 0 25 0 11 0 840036745 861278208 27499 4294967295 134512640 134569956 3221224368 3221214472 1131313313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27499 13086 16 0 210257 0
vsize: 841092
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 106575 73 0 0 25 0 11 0 840036745 861278208 27507 4294967295 134512640 134569956 3221224368 3221214472 1131313434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27507 13086 16 0 210257 0
vsize: 841092
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 107562 73 0 0 24 0 11 0 840036745 861278208 27520 4294967295 134512640 134569956 3221224368 3221214472 1131313245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27520 13086 16 0 210257 0
vsize: 841092
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 108550 74 0 0 25 0 11 0 840036745 861278208 27529 4294967295 134512640 134569956 3221224368 3221214632 1131467870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27529 13086 16 0 210257 0
vsize: 841092
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 109538 74 0 0 25 0 11 0 840036745 861278208 27542 4294967295 134512640 134569956 3221224368 3221214568 1131352806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27542 13086 16 0 210257 0
vsize: 841092
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 110525 75 0 0 25 0 11 0 840036745 861278208 27555 4294967295 134512640 134569956 3221224368 3221214632 1131462161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27555 13086 16 0 210257 0
vsize: 841092
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 111513 75 0 0 25 0 11 0 840036745 861278208 27563 4294967295 134512640 134569956 3221224368 3221214632 1131467085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27563 13086 16 0 210257 0
vsize: 841092
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 112500 76 0 0 25 0 11 0 840036745 861278208 27577 4294967295 134512640 134569956 3221224368 3221214568 1131353088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27577 13086 16 0 210257 0
vsize: 841092
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 113487 76 0 0 25 0 11 0 840036745 861278208 27586 4294967295 134512640 134569956 3221224368 3221214472 1131313273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27586 13086 16 0 210257 0
vsize: 841092
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 114475 76 0 0 25 0 11 0 840036745 861278208 27598 4294967295 134512640 134569956 3221224368 3221214568 1131353012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27598 13086 16 0 210257 0
vsize: 841092
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 115462 76 0 0 24 0 11 0 840036745 861278208 27607 4294967295 134512640 134569956 3221224368 3221214472 1131313165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27607 13086 16 0 210257 0
vsize: 841092
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 116450 76 0 0 25 0 11 0 840036745 861278208 27620 4294967295 134512640 134569956 3221224368 3221214472 1131313273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27620 13086 16 0 210257 0
vsize: 841092
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 117437 77 0 0 25 0 11 0 840036745 861278208 27628 4294967295 134512640 134569956 3221224368 3221214472 1131313525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27628 13086 16 0 210257 0
vsize: 841092
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 118423 77 0 0 25 0 11 0 840036745 861278208 27641 4294967295 134512640 134569956 3221224368 3221214472 1131314164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27641 13086 16 0 210257 0
vsize: 841092
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 119412 77 0 0 25 0 11 0 840036745 861278208 27650 4294967295 134512640 134569956 3221224368 3221214632 1131466989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27650 13086 16 0 210257 0
vsize: 841092
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23683
Raw data (stat): 23673 (java) R 23672 7475 7474 0 -1 0 18073 0 1 0 120400 78 0 0 25 0 11 0 840036745 861278208 27658 4294967295 134512640 134569956 3221224368 3221214480 1131246840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 27658 13086 16 0 210257 0
vsize: 841092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.26 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23685
Raw data (stat): 23673 (java) Z 23672 7475 7474 0 -1 1036 18073 14654 1 0 120402 83 3649 45 24 0 1 0 840036745 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.26
CPU time (s): 1241.81
CPU user time (s): 1240.52
CPU system time (s): 1.2908
CPU usage (%): 100.939
Max. virtual memory (Kb): 841092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####