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/unibo/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM	81fe81e3ddb87532751f87d8d69ff2f0
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	11160
Biggest coefficient in the objective function	2147483648
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	869952060630
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	2147483648
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	869952060630
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.18997
Number of variables	21960
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	372
Trace number 29793

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        702204 kB
Buffers:         32092 kB
Cached:         274924 kB
SwapCached:        412 kB
Active:          81972 kB
Inactive:       227388 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701952 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17396 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:57:34 (client local time) WITH STATUS 143 IN 1254.84 SECONDS
stats: 21188 7 1254.84 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/wulflinc6/normalized-mps-v2-20-10-tr12-30.opb
c reading problem ... done. Time 141.036 ms.
c #vars     21960
c #constraints  1110
c starts	: 4
c conflicts	: 734
c decisions	: 70043
c propagations	: 152944
c inspects	: 929019
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 734
c root simplifications	: 674
s UNKNOWN
c Total CPU time (ms) : 1239.229
#### 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.98 1.00 1.00 2/54 6703
Raw data (stat): 6703 (runsolver) R 6702 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780348829 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18012 0 1 0 875 38 0 0 25 0 10 0 780348829 853585920 19378 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208395 19378 13086 16 0 208379 0
vsize: 833580
[startup+20.0017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18013 0 1 0 1766 38 0 0 19 0 10 0 780348829 855138304 20280 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208774 20280 13086 16 0 208758 0
vsize: 835096
[startup+30.0018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18013 0 1 0 2654 38 0 0 19 0 10 0 780348829 853651456 20505 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208411 20505 13086 16 0 208395 0
vsize: 833644
[startup+40.0076 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18013 0 1 0 3568 39 0 0 16 0 10 0 780348829 853962752 20905 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 20905 13086 16 0 208471 0
vsize: 833948
[startup+50.0123 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18026 0 1 0 4486 39 0 0 18 0 10 0 780348829 853651456 21033 4294967295 134512640 134569956 3221224368 3221214768 1131243002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208411 21033 13086 16 0 208395 0
vsize: 833644
[startup+60.0128 s]
Raw data (loadavg): 1.14 1.03 1.01 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18027 0 1 0 5386 39 0 0 20 0 10 0 780348829 855769088 21645 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208928 21645 13086 16 0 208912 0
vsize: 835712
[startup+70.0138 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18027 0 1 0 6314 39 0 0 25 0 10 0 780348829 855101440 21749 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208765 21749 13086 16 0 208749 0
vsize: 835060
[startup+80.0147 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18028 0 1 0 7252 40 0 0 25 0 10 0 780348829 855101440 21858 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208765 21858 13086 16 0 208749 0
vsize: 835060
[startup+90.0149 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18028 0 1 0 8192 40 0 0 25 0 10 0 780348829 855101440 21964 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208765 21964 13086 16 0 208749 0
vsize: 835060
[startup+100.015 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18028 0 1 0 9108 40 0 0 19 0 10 0 780348829 855101440 22095 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208765 22095 13086 16 0 208749 0
vsize: 835060
[startup+110.016 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18028 0 1 0 10050 40 0 0 25 0 10 0 780348829 855101440 22184 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208765 22184 13086 16 0 208749 0
vsize: 835060
[startup+120.017 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18028 0 1 0 10992 40 0 0 24 0 10 0 780348829 855101440 22270 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208765 22270 13086 16 0 208749 0
vsize: 835060
[startup+130.02 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 6712
Raw data (stat): 6703 (java) S 6702 25568 25567 0 -1 0 18028 0 1 0 11928 40 0 0 25 0 10 0 780348829 855101440 22351 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208765 22351 13086 16 0 208749 0
vsize: 835060
[startup+140.022 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 6712
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18030 0 1 0 12870 41 0 0 25 0 10 0 780348829 855101440 22437 4294967295 134512640 134569956 3221224368 3221214056 1130893592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208765 22437 13086 16 0 208749 0
vsize: 835060
[startup+150.022 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18120 0 1 0 13729 43 0 0 25 0 11 0 780348829 865079296 27524 4294967295 134512640 134569956 3221224368 3221214424 1130894939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211201 27524 13086 16 0 211185 0
vsize: 844804
[startup+160.023 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 14681 43 0 0 25 0 11 0 780348829 860262400 26372 4294967295 134512640 134569956 3221224368 3221214632 1131282431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 26372 13086 16 0 210009 0
vsize: 840100
[startup+170.024 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 15661 43 0 0 25 0 11 0 780348829 860262400 26379 4294967295 134512640 134569956 3221224368 3221214720 1131433441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 26379 13086 16 0 210009 0
vsize: 840100
[startup+180.024 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 16622 44 0 0 25 0 11 0 780348829 860262400 26384 4294967295 134512640 134569956 3221224368 3221214660 1131268384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 26384 13086 16 0 210009 0
vsize: 840100
[startup+190.024 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 17563 44 0 0 25 0 11 0 780348829 860262400 26417 4294967295 134512640 134569956 3221224368 3221214576 1131282302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 26417 13086 16 0 210009 0
vsize: 840100
[startup+200.024 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 18492 44 0 0 25 0 11 0 780348829 860262400 26486 4294967295 134512640 134569956 3221224368 3221214680 1131253632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 26486 13086 16 0 210009 0
vsize: 840100
[startup+210.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 19427 44 0 0 25 0 11 0 780348829 860262400 26715 4294967295 134512640 134569956 3221224368 3221214576 1131282170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 26715 13086 16 0 210009 0
vsize: 840100
[startup+220.025 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 20367 45 0 0 25 0 11 0 780348829 860262400 26943 4294967295 134512640 134569956 3221224368 3221214680 1131253632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 26943 13086 16 0 210009 0
vsize: 840100
[startup+230.024 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 21314 45 0 0 25 0 11 0 780348829 860262400 27192 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 27192 13086 16 0 210009 0
vsize: 840100
[startup+240.024 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 22268 45 0 0 25 0 11 0 780348829 860262400 27338 4294967295 134512640 134569956 3221224368 3221214664 1131433474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 27338 13086 16 0 210009 0
vsize: 840100
[startup+250.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 23216 45 0 0 25 0 11 0 780348829 860262400 27471 4294967295 134512640 134569956 3221224368 3221214664 1131433463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 27471 13086 16 0 210009 0
vsize: 840100
[startup+260.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 24166 45 0 0 25 0 11 0 780348829 860262400 27585 4294967295 134512640 134569956 3221224368 3221214664 1131433441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 27585 13086 16 0 210009 0
vsize: 840100
[startup+270.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 25118 45 0 0 25 0 11 0 780348829 860262400 27692 4294967295 134512640 134569956 3221224368 3221214680 1131253723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 27692 13086 16 0 210009 0
vsize: 840100
[startup+280.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 26072 45 0 0 24 0 11 0 780348829 860262400 27942 4294967295 134512640 134569956 3221224368 3221214680 1131253657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 27942 13086 16 0 210009 0
vsize: 840100
[startup+290.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 27038 45 0 0 25 0 11 0 780348829 860262400 28037 4294967295 134512640 134569956 3221224368 3221214576 1131283631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28037 13086 16 0 210009 0
vsize: 840100
[startup+300.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 28006 46 0 0 25 0 11 0 780348829 860262400 28125 4294967295 134512640 134569956 3221224368 3221214680 1131253632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28125 13086 16 0 210009 0
vsize: 840100
[startup+310.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 28975 46 0 0 25 0 11 0 780348829 860262400 28207 4294967295 134512640 134569956 3221224368 3221214680 1131253632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28207 13086 16 0 210009 0
vsize: 840100
[startup+320.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 29944 46 0 0 25 0 11 0 780348829 860262400 28283 4294967295 134512640 134569956 3221224368 3221214664 1131433445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28283 13086 16 0 210009 0
vsize: 840100
[startup+330.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 30911 46 0 0 25 0 11 0 780348829 860262400 28372 4294967295 134512640 134569956 3221224368 3221214576 1131282219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28372 13086 16 0 210009 0
vsize: 840100
[startup+340.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 31883 46 0 0 25 0 11 0 780348829 860262400 28442 4294967295 134512640 134569956 3221224368 3221214680 1131253649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28442 13086 16 0 210009 0
vsize: 840100
[startup+350.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 32855 46 0 0 24 0 11 0 780348829 860262400 28511 4294967295 134512640 134569956 3221224368 3221214680 1131253653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 28511 13086 16 0 210009 0
vsize: 840100
[startup+360.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 33824 47 0 0 25 0 11 0 780348829 860262400 28587 4294967295 134512640 134569956 3221224368 3221214576 1131282344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28587 13086 16 0 210009 0
vsize: 840100
[startup+370.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 34798 47 0 0 25 0 11 0 780348829 860262400 28656 4294967295 134512640 134569956 3221224368 3221214724 1131433420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28656 13086 16 0 210009 0
vsize: 840100
[startup+380.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 35771 47 0 0 25 0 11 0 780348829 860262400 28719 4294967295 134512640 134569956 3221224368 3221214664 1131433505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28719 13086 16 0 210009 0
vsize: 840100
[startup+390.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 36742 47 0 0 25 0 11 0 780348829 860262400 28789 4294967295 134512640 134569956 3221224368 3221214728 1131529014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28789 13086 16 0 210009 0
vsize: 840100
[startup+400.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 37717 48 0 0 25 0 11 0 780348829 860262400 28846 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28846 13086 16 0 210009 0
vsize: 840100
[startup+410.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 38687 48 0 0 25 0 11 0 780348829 860262400 28910 4294967295 134512640 134569956 3221224368 3221214576 1131282155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28910 13086 16 0 210009 0
vsize: 840100
[startup+420.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 39645 48 0 0 25 0 11 0 780348829 860262400 28967 4294967295 134512640 134569956 3221224368 3221214576 1131282355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 28967 13086 16 0 210009 0
vsize: 840100
[startup+430.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) S 6702 25568 25567 0 -1 0 18123 0 1 0 40596 48 0 0 25 0 11 0 780348829 860262400 29024 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29024 13086 16 0 210009 0
vsize: 840100
[startup+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 41545 48 0 0 25 0 11 0 780348829 860262400 29109 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29109 13086 16 0 210009 0
vsize: 840100
[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 42510 48 0 0 25 0 11 0 780348829 860262400 29396 4294967295 134512640 134569956 3221224368 3221214576 1131282193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29396 13086 16 0 210009 0
vsize: 840100
[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 43486 49 0 0 25 0 11 0 780348829 860262400 29472 4294967295 134512640 134569956 3221224368 3221214576 1131282233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29472 13086 16 0 210009 0
vsize: 840100
[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 44460 49 0 0 25 0 11 0 780348829 860262400 29528 4294967295 134512640 134569956 3221224368 3221214664 1131433474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29528 13086 16 0 210009 0
vsize: 840100
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 45437 49 0 0 25 0 11 0 780348829 860262400 29579 4294967295 134512640 134569956 3221224368 3221214680 1131253632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29579 13086 16 0 210009 0
vsize: 840100
[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 46414 49 0 0 25 0 11 0 780348829 860262400 29629 4294967295 134512640 134569956 3221224368 3221214680 1131253653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29629 13086 16 0 210009 0
vsize: 840100
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 47389 49 0 0 25 0 11 0 780348829 860262400 29686 4294967295 134512640 134569956 3221224368 3221214664 1131385449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29686 13086 16 0 210009 0
vsize: 840100
[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 48366 49 0 0 25 0 11 0 780348829 860262400 29730 4294967295 134512640 134569956 3221224368 3221214680 1131253766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29730 13086 16 0 210009 0
vsize: 840100
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 49344 50 0 0 25 0 11 0 780348829 860262400 29781 4294967295 134512640 134569956 3221224368 3221214560 1131272101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29781 13086 16 0 210009 0
vsize: 840100
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 50319 50 0 0 25 0 11 0 780348829 860262400 29831 4294967295 134512640 134569956 3221224368 3221214576 1131282369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29831 13086 16 0 210009 0
vsize: 840100
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 51297 50 0 0 25 0 11 0 780348829 860262400 29875 4294967295 134512640 134569956 3221224368 3221214728 1131528855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29875 13086 16 0 210009 0
vsize: 840100
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 52275 50 0 0 25 0 11 0 780348829 860262400 29921 4294967295 134512640 134569956 3221224368 3221214576 1131282224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29921 13086 16 0 210009 0
vsize: 840100
[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 53251 50 0 0 25 0 11 0 780348829 860262400 29971 4294967295 134512640 134569956 3221224368 3221214664 1131433786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 29971 13086 16 0 210009 0
vsize: 840100
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 54229 51 0 0 23 0 11 0 780348829 860262400 30015 4294967295 134512640 134569956 3221224368 3221214680 1131253632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30015 13086 16 0 210009 0
vsize: 840100
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 55205 51 0 0 25 0 11 0 780348829 860262400 30066 4294967295 134512640 134569956 3221224368 3221214680 1131253746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30066 13086 16 0 210009 0
vsize: 840100
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 56184 51 0 0 25 0 11 0 780348829 860262400 30110 4294967295 134512640 134569956 3221224368 3221214680 1131253657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30110 13086 16 0 210009 0
vsize: 840100
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 57162 51 0 0 25 0 11 0 780348829 860262400 30148 4294967295 134512640 134569956 3221224368 3221214664 1131433474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 30148 13086 16 0 210009 0
vsize: 840100
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 58139 51 0 0 25 0 11 0 780348829 860262400 30198 4294967295 134512640 134569956 3221224368 3221214576 1131283653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30198 13086 16 0 210009 0
vsize: 840100
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 59118 51 0 0 25 0 11 0 780348829 860262400 30236 4294967295 134512640 134569956 3221224368 3221214680 1131253689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30236 13086 16 0 210009 0
vsize: 840100
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 60094 52 0 0 25 0 11 0 780348829 860262400 30280 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30280 13086 16 0 210009 0
vsize: 840100
[startup+640.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 61074 52 0 0 25 0 11 0 780348829 860262400 30324 4294967295 134512640 134569956 3221224368 3221214664 1131386209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30324 13086 16 0 210009 0
vsize: 840100
[startup+650.044 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 62053 52 0 0 25 0 11 0 780348829 860262400 30362 4294967295 134512640 134569956 3221224368 3221214728 1131529786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30362 13086 16 0 210009 0
vsize: 840100
[startup+660.045 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 63029 52 0 0 25 0 11 0 780348829 860262400 30407 4294967295 134512640 134569956 3221224368 3221214576 1131282275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30407 13086 16 0 210009 0
vsize: 840100
[startup+670.045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 64009 52 0 0 23 0 11 0 780348829 860262400 30445 4294967295 134512640 134569956 3221224368 3221214680 1131253653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30445 13086 16 0 210009 0
vsize: 840100
[startup+680.046 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 64986 52 0 0 25 0 11 0 780348829 860262400 30489 4294967295 134512640 134569956 3221224368 3221214576 1131282260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30489 13086 16 0 210009 0
vsize: 840100
[startup+690.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 65966 53 0 0 25 0 11 0 780348829 860262400 30527 4294967295 134512640 134569956 3221224368 3221214560 1131272615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30527 13086 16 0 210009 0
vsize: 840100
[startup+700.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 66945 53 0 0 25 0 11 0 780348829 860262400 30565 4294967295 134512640 134569956 3221224368 3221214680 1131253801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30565 13086 16 0 210009 0
vsize: 840100
[startup+710.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 67923 53 0 0 25 0 11 0 780348829 860262400 30603 4294967295 134512640 134569956 3221224368 3221214560 1131272174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30603 13086 16 0 210009 0
vsize: 840100
[startup+720.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 68902 53 0 0 25 0 11 0 780348829 860262400 30647 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30647 13086 16 0 210009 0
vsize: 840100
[startup+730.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 69883 53 0 0 25 0 11 0 780348829 860262400 30685 4294967295 134512640 134569956 3221224368 3221214664 1131433896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30685 13086 16 0 210009 0
vsize: 840100
[startup+740.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 70867 53 0 0 25 0 11 0 780348829 860262400 30729 4294967295 134512640 134569956 3221224368 3221214664 1131433454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30729 13086 16 0 210009 0
vsize: 840100
[startup+750.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 71853 53 0 0 25 0 11 0 780348829 860262400 30742 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30742 13086 16 0 210009 0
vsize: 840100
[startup+760.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 72838 54 0 0 25 0 11 0 780348829 860262400 30764 4294967295 134512640 134569956 3221224368 3221214664 1131433807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30764 13086 16 0 210009 0
vsize: 840100
[startup+770.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 73823 54 0 0 25 0 11 0 780348829 860262400 30770 4294967295 134512640 134569956 3221224368 3221214680 1131253653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30770 13086 16 0 210009 0
vsize: 840100
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 74809 54 0 0 25 0 11 0 780348829 860262400 30789 4294967295 134512640 134569956 3221224368 3221214576 1131268852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30789 13086 16 0 210009 0
vsize: 840100
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 75795 54 0 0 24 0 11 0 780348829 860262400 30805 4294967295 134512640 134569956 3221224368 3221214576 1131282193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30805 13086 16 0 210009 0
vsize: 840100
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 76780 55 0 0 25 0 11 0 780348829 860262400 30817 4294967295 134512640 134569956 3221224368 3221214680 1131253657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30817 13086 16 0 210009 0
vsize: 840100
[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18123 0 1 0 77763 55 0 0 25 0 11 0 780348829 860262400 30820 4294967295 134512640 134569956 3221224368 3221214664 1131433441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30820 13086 16 0 210009 0
vsize: 840100
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 78746 55 0 0 25 0 11 0 780348829 860262400 30846 4294967295 134512640 134569956 3221224368 3221214664 1131433743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30846 13086 16 0 210009 0
vsize: 840100
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 79730 55 0 0 25 0 11 0 780348829 860262400 30873 4294967295 134512640 134569956 3221224368 3221214576 1131282463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30873 13086 16 0 210009 0
vsize: 840100
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 80714 55 0 0 25 0 11 0 780348829 860262400 30892 4294967295 134512640 134569956 3221224368 3221214664 1131433829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 30892 13086 16 0 210009 0
vsize: 840100
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 81697 55 0 0 25 0 11 0 780348829 860262400 30912 4294967295 134512640 134569956 3221224368 3221214664 1131433921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30912 13086 16 0 210009 0
vsize: 840100
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 82682 55 0 0 25 0 11 0 780348829 860262400 30931 4294967295 134512640 134569956 3221224368 3221214664 1131433841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30931 13086 16 0 210009 0
vsize: 840100
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 83666 55 0 0 25 0 11 0 780348829 860262400 30952 4294967295 134512640 134569956 3221224368 3221214576 1131283653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 30952 13086 16 0 210009 0
vsize: 840100
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 84650 55 0 0 23 0 11 0 780348829 860262400 30971 4294967295 134512640 134569956 3221224368 3221214576 1131282467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 30971 13086 16 0 210009 0
vsize: 840100
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 85634 56 0 0 18 0 11 0 780348829 860262400 30996 4294967295 134512640 134569956 3221224368 3221214728 1131529221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 30996 13086 16 0 210009 0
vsize: 840100
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 86620 56 0 0 21 0 11 0 780348829 860262400 31010 4294967295 134512640 134569956 3221224368 3221214664 1131433452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31010 13086 16 0 210009 0
vsize: 840100
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 87606 57 0 0 22 0 11 0 780348829 860262400 31022 4294967295 134512640 134569956 3221224368 3221214664 1131433505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31022 13086 16 0 210009 0
vsize: 840100
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 88594 57 0 0 23 0 11 0 780348829 860262400 31029 4294967295 134512640 134569956 3221224368 3221214680 1131253746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31029 13086 16 0 210009 0
vsize: 840100
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 89580 57 0 0 25 0 11 0 780348829 860262400 31029 4294967295 134512640 134569956 3221224368 3221214680 1131253632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31029 13086 16 0 210009 0
vsize: 840100
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 90565 58 0 0 18 0 11 0 780348829 860262400 31032 4294967295 134512640 134569956 3221224368 3221214576 1131282136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31032 13086 16 0 210009 0
vsize: 840100
[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 91551 59 0 0 20 0 11 0 780348829 860262400 31041 4294967295 134512640 134569956 3221224368 3221214576 1131282501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31041 13086 16 0 210009 0
vsize: 840100
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 92539 59 0 0 21 0 11 0 780348829 860262400 31058 4294967295 134512640 134569956 3221224368 3221214664 1131433737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31058 13086 16 0 210009 0
vsize: 840100
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 93526 59 0 0 22 0 11 0 780348829 860262400 31058 4294967295 134512640 134569956 3221224368 3221214680 1131253713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31058 13086 16 0 210009 0
vsize: 840100
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 94513 59 0 0 23 0 11 0 780348829 860262400 31060 4294967295 134512640 134569956 3221224368 3221214680 1131253736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31060 13086 16 0 210009 0
vsize: 840100
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 95499 60 0 0 25 0 11 0 780348829 860262400 31067 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31067 13086 16 0 210009 0
vsize: 840100
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 96485 60 0 0 25 0 11 0 780348829 860262400 31075 4294967295 134512640 134569956 3221224368 3221214664 1131433786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31075 13086 16 0 210009 0
vsize: 840100
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 97469 60 0 0 17 0 11 0 780348829 860262400 31084 4294967295 134512640 134569956 3221224368 3221214664 1131433441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31084 13086 16 0 210009 0
vsize: 840100
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 98455 61 0 0 18 0 11 0 780348829 860262400 31085 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31085 13086 16 0 210009 0
vsize: 840100
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 99440 62 0 0 20 0 11 0 780348829 860262400 31093 4294967295 134512640 134569956 3221224368 3221214728 1131529868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31093 13086 16 0 210009 0
vsize: 840100
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 100428 63 0 0 21 0 11 0 780348829 860262400 31111 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31111 13086 16 0 210009 0
vsize: 840100
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 101415 63 0 0 23 0 11 0 780348829 860262400 31118 4294967295 134512640 134569956 3221224368 3221214576 1131282451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31118 13086 16 0 210009 0
vsize: 840100
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 102403 64 0 0 25 0 11 0 780348829 860262400 31124 4294967295 134512640 134569956 3221224368 3221214680 1131253657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31124 13086 16 0 210009 0
vsize: 840100
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 103389 64 0 0 18 0 11 0 780348829 860262400 31133 4294967295 134512640 134569956 3221224368 3221214576 1131282332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31133 13086 16 0 210009 0
vsize: 840100
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 104379 65 0 0 17 0 11 0 780348829 860262400 31135 4294967295 134512640 134569956 3221224368 3221214728 1131529029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210025 31135 13086 16 0 210009 0
vsize: 840100
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 105365 65 0 0 20 0 11 0 780348829 860262400 31137 4294967295 134512640 134569956 3221224368 3221214576 1131283547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31137 13086 16 0 210009 0
vsize: 840100
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 106353 65 0 0 21 0 11 0 780348829 860262400 31145 4294967295 134512640 134569956 3221224368 3221214728 1131529333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31145 13086 16 0 210009 0
vsize: 840100
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 107339 65 0 0 22 0 11 0 780348829 860262400 31153 4294967295 134512640 134569956 3221224368 3221214576 1131282299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31153 13086 16 0 210009 0
vsize: 840100
[startup+1120.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 108325 66 0 0 23 0 11 0 780348829 860262400 31166 4294967295 134512640 134569956 3221224368 3221214576 1131282260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31166 13086 16 0 210009 0
vsize: 840100
[startup+1130.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 109313 67 0 0 25 0 11 0 780348829 860262400 31166 4294967295 134512640 134569956 3221224368 3221214704 1131365169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31166 13086 16 0 210009 0
vsize: 840100
[startup+1140.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 110299 67 0 0 17 0 11 0 780348829 860262400 31182 4294967295 134512640 134569956 3221224368 3221214680 1131253625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31182 13086 16 0 210009 0
vsize: 840100
[startup+1150.2 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 111299 67 0 0 20 0 11 0 780348829 860262400 31189 4294967295 134512640 134569956 3221224368 3221214788 1131385315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31189 13086 16 0 210009 0
vsize: 840100
[startup+1160.2 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 112287 68 0 0 20 0 11 0 780348829 860262400 31190 4294967295 134512640 134569956 3221224368 3221214576 1131282284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31190 13086 16 0 210009 0
vsize: 840100
[startup+1170.2 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 113272 68 0 0 21 0 11 0 780348829 860262400 31190 4294967295 134512640 134569956 3221224368 3221214576 1131283640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31190 13086 16 0 210009 0
vsize: 840100
[startup+1180.2 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 114256 69 0 0 23 0 11 0 780348829 860262400 31192 4294967295 134512640 134569956 3221224368 3221214576 1131282191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31192 13086 16 0 210009 0
vsize: 840100
[startup+1190.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 115242 69 0 0 24 0 11 0 780348829 860262400 31212 4294967295 134512640 134569956 3221224368 3221214576 1131283643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31212 13086 16 0 210009 0
vsize: 840100
[startup+1200.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 116230 70 0 0 25 0 11 0 780348829 860262400 31226 4294967295 134512640 134569956 3221224368 3221214560 1131272008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31226 13086 16 0 210009 0
vsize: 840100
[startup+1210.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 117217 70 0 0 17 0 11 0 780348829 860262400 31227 4294967295 134512640 134569956 3221224368 3221214664 1131433896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31227 13086 16 0 210009 0
vsize: 840100
[startup+1220.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 118205 70 0 0 19 0 11 0 780348829 860262400 31227 4294967295 134512640 134569956 3221224368 3221214680 1131253629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31227 13086 16 0 210009 0
vsize: 840100
[startup+1230.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 119192 71 0 0 20 0 11 0 780348829 860262400 31228 4294967295 134512640 134569956 3221224368 3221214704 1131365158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31228 13086 16 0 210009 0
vsize: 840100
[startup+1240.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6713
Raw data (stat): 6703 (java) R 6702 25568 25567 0 -1 0 18124 0 1 0 120180 71 0 0 21 0 11 0 780348829 860262400 31236 4294967295 134512640 134569956 3221224368 3221214680 1131253689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210025 31236 13086 16 0 210009 0
vsize: 840100
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.28 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 6715
Raw data (stat): 6703 (java) Z 6702 25568 25567 0 -1 1036 18124 20552 1 0 120181 77 5163 62 21 0 1 0 780348829 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): 1240.28
CPU time (s): 1254.84
CPU user time (s): 1253.45
CPU system time (s): 1.39579
CPU usage (%): 101.174
Max. virtual memory (Kb): 844804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####