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/MIPLIB/miplib3/normalized-mps-v2-20-10-misc06.opb
MD5SUM	86682de73055d933eb09b91ae4b3aec3
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	211324891222433890304
Number of bits of the biggest number in a constraint	68
Biggest sum of numbers in a constraint	23205541583449342607360
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.22281
Number of variables	51018
Total number of constraints	932
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	112
Number of constraints which are nor clauses,nor cardinality constraints	820
Minimum length of a constraint	1
Maximum length of a constraint	13471
Trace number 29658

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        644916 kB
Buffers:         27516 kB
Cached:         339500 kB
SwapCached:        524 kB
Active:         160616 kB
Inactive:       208752 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        644664 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14700 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:29:01 (client local time) WITH STATUS 143 IN 1269.12 SECONDS
stats: 21057 7 1269.12 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/wulflinc24/normalized-mps-v2-20-10-misc06.opb
c reading problem ... done. Time 748.001 ms.
c #vars     51018
c #constraints  1070
c starts	: 1
c conflicts	: 77
c decisions	: 20254
c propagations	: 62245
c inspects	: 110083
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 77
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1269.095
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.99 1/54 20607
Raw data (stat): 20607 (runsolver) R 20606 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838034357 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.0002 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 866 39 0 0 25 0 10 0 838034357 853934080 19424 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208480 19424 13086 16 0 208464 0
vsize: 833920
[startup+20.0008 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 1761 39 0 0 24 0 10 0 838034357 853884928 19928 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 19928 13086 16 0 208452 0
vsize: 833872
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 2653 40 0 0 25 0 10 0 838034357 853884928 20442 4294967295 134512640 134569956 3221224368 3221214656 1131196237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 20442 13086 16 0 208452 0
vsize: 833872
[startup+40.0023 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 3554 41 0 0 24 0 10 0 838034357 854016000 20773 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 20773 13086 16 0 208484 0
vsize: 834000
[startup+50.003 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 4474 41 0 0 25 0 10 0 838034357 853884928 20919 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 20919 13086 16 0 208452 0
vsize: 833872
[startup+60.0031 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 5388 41 0 0 25 0 10 0 838034357 853884928 21080 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21080 13086 16 0 208452 0
vsize: 833872
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 6317 42 0 0 25 0 10 0 838034357 853884928 21288 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21288 13086 16 0 208452 0
vsize: 833872
[startup+80.004 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 7255 43 0 0 25 0 10 0 838034357 853884928 21393 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21393 13086 16 0 208452 0
vsize: 833872
[startup+90.0053 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 8192 44 0 0 25 0 10 0 838034357 853884928 21495 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21495 13086 16 0 208452 0
vsize: 833872
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 9127 44 0 0 25 0 10 0 838034357 853884928 21583 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21583 13086 16 0 208452 0
vsize: 833872
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 10053 44 0 0 25 0 10 0 838034357 853884928 21667 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 21667 13086 16 0 208452 0
vsize: 833872
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 10987 44 0 0 25 0 10 0 838034357 853884928 21824 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21824 13086 16 0 208452 0
vsize: 833872
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 11927 45 0 0 25 0 10 0 838034357 853884928 21896 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21896 13086 16 0 208452 0
vsize: 833872
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 12867 45 0 0 25 0 10 0 838034357 853884928 21972 4294967295 134512640 134569956 3221224368 3221214464 1130906657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21972 13086 16 0 208452 0
vsize: 833872
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 13803 46 0 0 25 0 10 0 838034357 853884928 22050 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22050 13086 16 0 208452 0
vsize: 833872
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 14739 46 0 0 25 0 10 0 838034357 853884928 22129 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22129 13086 16 0 208452 0
vsize: 833872
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 3/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 15671 47 0 0 25 0 10 0 838034357 853884928 22207 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 22207 13086 16 0 208452 0
vsize: 833872
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 16579 47 0 0 24 0 10 0 838034357 853884928 22290 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22290 13086 16 0 208452 0
vsize: 833872
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 17494 47 0 0 25 0 10 0 838034357 853884928 22427 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22427 13086 16 0 208452 0
vsize: 833872
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 18424 48 0 0 25 0 10 0 838034357 853884928 22656 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22656 13086 16 0 208452 0
vsize: 833872
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 19354 49 0 0 24 0 10 0 838034357 853884928 22727 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22727 13086 16 0 208452 0
vsize: 833872
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 20289 49 0 0 25 0 10 0 838034357 853884928 22793 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22793 13086 16 0 208452 0
vsize: 833872
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 21224 49 0 0 25 0 10 0 838034357 853884928 22854 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22854 13086 16 0 208452 0
vsize: 833872
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 22159 50 0 0 25 0 10 0 838034357 853884928 22918 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22918 13086 16 0 208452 0
vsize: 833872
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 23093 50 0 0 25 0 10 0 838034357 853884928 22977 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22977 13086 16 0 208452 0
vsize: 833872
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 24025 51 0 0 25 0 10 0 838034357 853884928 23038 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23038 13086 16 0 208452 0
vsize: 833872
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 24957 52 0 0 25 0 10 0 838034357 853884928 23099 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23099 13086 16 0 208452 0
vsize: 833872
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 25890 52 0 0 25 0 10 0 838034357 853884928 23160 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23160 13086 16 0 208452 0
vsize: 833872
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) S 20606 4613 4612 0 -1 0 18023 0 1 0 26820 53 0 0 25 0 10 0 838034357 853884928 23221 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23221 13086 16 0 208452 0
vsize: 833872
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 27749 53 0 0 24 0 10 0 838034357 853884928 23282 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23282 13086 16 0 208452 0
vsize: 833872
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 28679 53 0 0 24 0 10 0 838034357 853884928 23341 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23341 13086 16 0 208452 0
vsize: 833872
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) S 20606 4613 4612 0 -1 0 18023 0 1 0 29609 54 0 0 25 0 10 0 838034357 853884928 23398 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23398 13086 16 0 208452 0
vsize: 833872
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 30534 54 0 0 25 0 10 0 838034357 853884928 23457 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23457 13086 16 0 208452 0
vsize: 833872
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 31451 55 0 0 25 0 10 0 838034357 853884928 23526 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23526 13086 16 0 208452 0
vsize: 833872
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 32369 56 0 0 24 0 10 0 838034357 853884928 23621 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23621 13086 16 0 208452 0
vsize: 833872
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 33298 56 0 0 25 0 10 0 838034357 853884928 23693 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23693 13086 16 0 208452 0
vsize: 833872
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18023 0 1 0 34222 57 0 0 25 0 10 0 838034357 853884928 23760 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23760 13086 16 0 208452 0
vsize: 833872
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 35140 57 0 0 25 0 10 0 838034357 854482944 23913 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208614 23913 13086 16 0 208598 0
vsize: 834456
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 36047 57 0 0 24 0 10 0 838034357 854482944 23977 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 23977 13086 16 0 208598 0
vsize: 834456
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 36971 58 0 0 25 0 10 0 838034357 854482944 24107 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24107 13086 16 0 208598 0
vsize: 834456
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 37898 58 0 0 25 0 10 0 838034357 854482944 24161 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24161 13086 16 0 208598 0
vsize: 834456
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 38826 58 0 0 24 0 10 0 838034357 854482944 24211 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24211 13086 16 0 208598 0
vsize: 834456
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 39757 58 0 0 25 0 10 0 838034357 854482944 24258 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24258 13086 16 0 208598 0
vsize: 834456
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 40684 58 0 0 25 0 10 0 838034357 854482944 24308 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24308 13086 16 0 208598 0
vsize: 834456
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 41610 58 0 0 25 0 10 0 838034357 854482944 24357 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24357 13086 16 0 208598 0
vsize: 834456
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 42541 59 0 0 25 0 10 0 838034357 854482944 24403 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24403 13086 16 0 208598 0
vsize: 834456
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 43466 59 0 0 25 0 10 0 838034357 854482944 24452 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24452 13086 16 0 208598 0
vsize: 834456
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 44391 59 0 0 24 0 10 0 838034357 854482944 24499 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24499 13086 16 0 208598 0
vsize: 834456
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 45320 59 0 0 25 0 10 0 838034357 854482944 24545 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24545 13086 16 0 208598 0
vsize: 834456
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 46245 59 0 0 25 0 10 0 838034357 854482944 24592 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24592 13086 16 0 208598 0
vsize: 834456
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) S 20606 4613 4612 0 -1 0 18024 0 1 0 47173 59 0 0 25 0 10 0 838034357 854482944 24634 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24634 13086 16 0 208598 0
vsize: 834456
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 48099 59 0 0 25 0 10 0 838034357 854482944 24680 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24680 13086 16 0 208598 0
vsize: 834456
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 49022 59 0 0 24 0 10 0 838034357 854482944 24727 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24727 13086 16 0 208598 0
vsize: 834456
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 49950 59 0 0 25 0 10 0 838034357 854482944 24767 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24767 13086 16 0 208598 0
vsize: 834456
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 50873 59 0 0 25 0 10 0 838034357 854482944 24814 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24814 13086 16 0 208598 0
vsize: 834456
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 51800 60 0 0 25 0 10 0 838034357 854482944 24854 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24854 13086 16 0 208598 0
vsize: 834456
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 52722 60 0 0 25 0 10 0 838034357 854482944 24896 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24896 13086 16 0 208598 0
vsize: 834456
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 53644 60 0 0 25 0 10 0 838034357 854482944 24941 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24941 13086 16 0 208598 0
vsize: 834456
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 54570 60 0 0 25 0 10 0 838034357 854482944 24981 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 24981 13086 16 0 208598 0
vsize: 834456
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 55491 60 0 0 25 0 10 0 838034357 854482944 25026 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208614 25026 13086 16 0 208598 0
vsize: 834456
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 56417 60 0 0 25 0 10 0 838034357 854482944 25065 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 25065 13086 16 0 208598 0
vsize: 834456
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 57336 61 0 0 25 0 10 0 838034357 854482944 25105 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208614 25105 13086 16 0 208598 0
vsize: 834456
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 58256 61 0 0 25 0 10 0 838034357 854482944 25144 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 25144 13086 16 0 208598 0
vsize: 834456
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 59171 61 0 0 25 0 10 0 838034357 854482944 25196 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 25196 13086 16 0 208598 0
vsize: 834456
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 60080 61 0 0 25 0 10 0 838034357 854482944 25262 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208614 25262 13086 16 0 208598 0
vsize: 834456
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 60995 61 0 0 25 0 10 0 838034357 853884928 25236 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 25236 13086 16 0 208452 0
vsize: 833872
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 61909 61 0 0 25 0 10 0 838034357 853884928 25296 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 25296 13086 16 0 208452 0
vsize: 833872
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 62822 62 0 0 25 0 10 0 838034357 853884928 25352 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 25352 13086 16 0 208452 0
vsize: 833872
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 63730 62 0 0 25 0 10 0 838034357 853884928 25621 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 25621 13086 16 0 208452 0
vsize: 833872
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 64655 62 0 0 25 0 10 0 838034357 853884928 26058 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 26058 13086 16 0 208452 0
vsize: 833872
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 65567 63 0 0 23 0 10 0 838034357 853884928 26058 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 26058 13086 16 0 208452 0
vsize: 833872
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 66473 63 0 0 23 0 10 0 838034357 853884928 26113 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26113 13086 16 0 208452 0
vsize: 833872
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 67372 63 0 0 25 0 10 0 838034357 853884928 26168 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 26168 13086 16 0 208452 0
vsize: 833872
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18024 0 1 0 68273 64 0 0 25 0 10 0 838034357 853884928 26213 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208468 26213 13086 16 0 208452 0
vsize: 833872
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.99 3/63 20616
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18075 0 1 0 69184 65 0 0 25 0 10 0 838034357 858988544 29101 4294967295 134512640 134569956 3221224368 3221214756 1130912096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209714 29101 13086 16 0 209698 0
vsize: 838856
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18087 0 1 0 70090 66 0 0 25 0 11 0 838034357 860344320 31176 4294967295 134512640 134569956 3221224368 3221214672 1131365772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210045 31176 13086 16 0 210029 0
vsize: 840180
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18087 0 1 0 71028 66 0 0 25 0 11 0 838034357 860311552 31174 4294967295 134512640 134569956 3221224368 3221214672 1131367259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31174 13086 16 0 210021 0
vsize: 840148
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18099 0 1 0 71956 66 0 0 25 0 11 0 838034357 860311552 31222 4294967295 134512640 134569956 3221224368 3221214512 1131268686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31222 13086 16 0 210021 0
vsize: 840148
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18100 0 1 0 72919 66 0 0 25 0 11 0 838034357 860311552 31229 4294967295 134512640 134569956 3221224368 3221214560 1131479442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31229 13086 16 0 210021 0
vsize: 840148
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.99 3/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18105 0 1 0 73900 67 0 0 25 0 11 0 838034357 860311552 31615 4294967295 134512640 134569956 3221224368 3221213032 1077516108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31615 13086 16 0 210021 0
vsize: 840148
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18105 0 1 0 74865 67 0 0 25 0 11 0 838034357 860311552 31622 4294967295 134512640 134569956 3221224368 3221214584 1131307045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31622 13086 16 0 210021 0
vsize: 840148
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) S 20606 4613 4612 0 -1 0 18105 0 1 0 75825 67 0 0 25 0 11 0 838034357 860311552 31624 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31624 13086 16 0 210021 0
vsize: 840148
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18105 0 1 0 76787 67 0 0 25 0 11 0 838034357 860311552 31626 4294967295 134512640 134569956 3221224368 3221214672 1131371252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31626 13086 16 0 210021 0
vsize: 840148
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18105 0 1 0 77767 68 0 0 25 0 11 0 838034357 860311552 31795 4294967295 134512640 134569956 3221224368 3221214584 1131307045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31795 13086 16 0 210021 0
vsize: 840148
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18105 0 1 0 78753 68 0 0 25 0 11 0 838034357 860311552 31863 4294967295 134512640 134569956 3221224368 3221214568 1131307045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31863 13086 16 0 210021 0
vsize: 840148
[startup+860.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18105 0 1 0 79732 68 0 0 25 0 11 0 838034357 860311552 31863 4294967295 134512640 134569956 3221224368 3221214584 1131307045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31863 13086 16 0 210021 0
vsize: 840148
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18105 0 1 0 80712 68 0 0 25 0 11 0 838034357 860311552 31886 4294967295 134512640 134569956 3221224368 3221214472 1131268428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31886 13086 16 0 210021 0
vsize: 840148
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 81691 68 0 0 25 0 11 0 838034357 860311552 31960 4294967295 134512640 134569956 3221224368 3221214540 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31960 13086 16 0 210021 0
vsize: 840148
[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 82674 68 0 0 25 0 11 0 838034357 860311552 31962 4294967295 134512640 134569956 3221224368 3221214672 1131363802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 31962 13086 16 0 210021 0
vsize: 840148
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 83659 68 0 0 25 0 11 0 838034357 860311552 32050 4294967295 134512640 134569956 3221224368 3221214480 1131423700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32050 13086 16 0 210021 0
vsize: 840148
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 84643 68 0 0 25 0 11 0 838034357 860311552 32076 4294967295 134512640 134569956 3221224368 3221214672 1131372489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32076 13086 16 0 210021 0
vsize: 840148
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 85625 68 0 0 25 0 11 0 838034357 860311552 32087 4294967295 134512640 134569956 3221224368 3221214520 1131268589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32087 13086 16 0 210021 0
vsize: 840148
[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 86603 68 0 0 25 0 11 0 838034357 860311552 32142 4294967295 134512640 134569956 3221224368 3221214672 1131372493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32142 13086 16 0 210021 0
vsize: 840148
[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 87578 69 0 0 25 0 11 0 838034357 860311552 32188 4294967295 134512640 134569956 3221224368 3221214672 1131368272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32188 13086 16 0 210021 0
vsize: 840148
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 88552 69 0 0 25 0 11 0 838034357 860311552 32274 4294967295 134512640 134569956 3221224368 3221214748 1131127955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32274 13086 16 0 210021 0
vsize: 840148
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 89529 69 0 0 24 0 11 0 838034357 860311552 32371 4294967295 134512640 134569956 3221224368 3221214584 1131363802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32371 13086 16 0 210021 0
vsize: 840148
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 90511 69 0 0 25 0 11 0 838034357 860311552 32411 4294967295 134512640 134569956 3221224368 3221214584 1131366002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32411 13086 16 0 210021 0
vsize: 840148
[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 91486 69 0 0 24 0 11 0 838034357 860311552 32432 4294967295 134512640 134569956 3221224368 3221214584 1131370095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32432 13086 16 0 210021 0
vsize: 840148
[startup+990.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 92459 69 0 0 25 0 11 0 838034357 860311552 32529 4294967295 134512640 134569956 3221224368 3221214496 1131307115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32529 13086 16 0 210021 0
vsize: 840148
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 93436 69 0 0 25 0 11 0 838034357 860311552 32532 4294967295 134512640 134569956 3221224368 3221214496 1131307045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32532 13086 16 0 210021 0
vsize: 840148
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 94418 69 0 0 25 0 11 0 838034357 860311552 32677 4294967295 134512640 134569956 3221224368 3221214584 1131367613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32677 13086 16 0 210021 0
vsize: 840148
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 95412 69 0 0 25 0 11 0 838034357 860311552 32683 4294967295 134512640 134569956 3221224368 3221214592 1131522253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32683 13086 16 0 210021 0
vsize: 840148
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 96404 69 0 0 25 0 11 0 838034357 860311552 32685 4294967295 134512640 134569956 3221224368 3221214496 1131307072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32685 13086 16 0 210021 0
vsize: 840148
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 97386 70 0 0 25 0 11 0 838034357 860311552 32688 4294967295 134512640 134569956 3221224368 3221214584 1131363812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32688 13086 16 0 210021 0
vsize: 840148
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 98369 70 0 0 25 0 11 0 838034357 860311552 32707 4294967295 134512640 134569956 3221224368 3221214128 1131245428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32707 13086 16 0 210021 0
vsize: 840148
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 99351 70 0 0 25 0 11 0 838034357 860311552 32722 4294967295 134512640 134569956 3221224368 3221214496 1131307045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32722 13086 16 0 210021 0
vsize: 840148
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 100335 70 0 0 25 0 11 0 838034357 860311552 32817 4294967295 134512640 134569956 3221224368 3221214496 1131307178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32817 13086 16 0 210021 0
vsize: 840148
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 101316 70 0 0 25 0 11 0 838034357 860311552 32818 4294967295 134512640 134569956 3221224368 3221214584 1131367266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32818 13086 16 0 210021 0
vsize: 840148
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 102295 70 0 0 25 0 11 0 838034357 860311552 32853 4294967295 134512640 134569956 3221224368 3221214584 1131365008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32853 13086 16 0 210021 0
vsize: 840148
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 103278 70 0 0 25 0 11 0 838034357 860311552 32867 4294967295 134512640 134569956 3221224368 3221214496 1131307904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32867 13086 16 0 210021 0
vsize: 840148
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 104263 70 0 0 24 0 11 0 838034357 860311552 32961 4294967295 134512640 134569956 3221224368 3221214496 1131307045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32961 13086 16 0 210021 0
vsize: 840148
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 105243 70 0 0 25 0 11 0 838034357 860311552 32963 4294967295 134512640 134569956 3221224368 3221214536 1131217607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32963 13086 16 0 210021 0
vsize: 840148
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 106221 70 0 0 25 0 11 0 838034357 860311552 32965 4294967295 134512640 134569956 3221224368 3221214584 1131365922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 32965 13086 16 0 210021 0
vsize: 840148
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 107200 70 0 0 24 0 11 0 838034357 860311552 33045 4294967295 134512640 134569956 3221224368 3221214584 1131367059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33045 13086 16 0 210021 0
vsize: 840148
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 108193 70 0 0 25 0 11 0 838034357 860311552 33130 4294967295 134512640 134569956 3221224368 3221214496 1131307771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33130 13086 16 0 210021 0
vsize: 840148
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 109187 71 0 0 25 0 11 0 838034357 860311552 33136 4294967295 134512640 134569956 3221224368 3221214584 1131371259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33136 13086 16 0 210021 0
vsize: 840148
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 110179 71 0 0 25 0 11 0 838034357 860311552 33141 4294967295 134512640 134569956 3221224368 3221214584 1131363857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33141 13086 16 0 210021 0
vsize: 840148
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) S 20606 4613 4612 0 -1 0 18106 0 1 0 111162 71 0 0 25 0 11 0 838034357 860311552 33147 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33147 13086 16 0 210021 0
vsize: 840148
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 112146 71 0 0 25 0 11 0 838034357 860311552 33158 4294967295 134512640 134569956 3221224368 3221214496 1131307045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33158 13086 16 0 210021 0
vsize: 840148
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 113130 71 0 0 25 0 11 0 838034357 860311552 33170 4294967295 134512640 134569956 3221224368 3221214584 1131367609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33170 13086 16 0 210021 0
vsize: 840148
[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 114122 71 0 0 25 0 11 0 838034357 860311552 33257 4294967295 134512640 134569956 3221224368 3221214584 1131371248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33257 13086 16 0 210021 0
vsize: 840148
[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 115119 71 0 0 25 0 11 0 838034357 860311552 33258 4294967295 134512640 134569956 3221224368 3221214496 1131306991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33258 13086 16 0 210021 0
vsize: 840148
[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 116112 71 0 0 25 0 11 0 838034357 860311552 33258 4294967295 134512640 134569956 3221224368 3221214344 1131422695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33258 13086 16 0 210021 0
vsize: 840148
[startup+1240.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 117107 71 0 0 25 0 11 0 838034357 860311552 33258 4294967295 134512640 134569956 3221224368 3221214432 1131411775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33258 13086 16 0 210021 0
vsize: 840148
[startup+1250.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 118103 71 0 0 25 0 11 0 838034357 860311552 33258 4294967295 134512640 134569956 3221224368 3221214432 1131411938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33258 13086 16 0 210021 0
vsize: 840148
[startup+1260.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 119087 71 0 0 25 0 11 0 838034357 860311552 33258 4294967295 134512640 134569956 3221224368 3221214584 1131371340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33258 13086 16 0 210021 0
vsize: 840148
[startup+1270.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 20617
Raw data (stat): 20607 (java) R 20606 4613 4612 0 -1 0 18106 0 1 0 120066 71 0 0 25 0 11 0 838034357 860311552 33258 4294967295 134512640 134569956 3221224368 3221214584 1131371340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210037 33258 13086 16 0 210021 0
vsize: 840148
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.14 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 20619
Raw data (stat): 20607 (java) Z 20606 4613 4612 0 -1 1036 18106 13284 1 0 120068 71 6723 49 25 0 1 0 838034357 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): 1270.14
CPU time (s): 1269.12
CPU user time (s): 1267.91
CPU system time (s): 1.21081
CPU usage (%): 99.9201
Max. virtual memory (Kb): 840180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####