PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb
MD5SUM	15d69bc05970e4bbd20708cb8fb70185
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	104999
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39166356584
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39166356584
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97585
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30073

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        657328 kB
Buffers:         32016 kB
Cached:         322852 kB
SwapCached:         92 kB
Active:          63328 kB
Inactive:       294180 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        657076 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            14088 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:52:30 (client local time) WITH STATUS 143 IN 1309.78 SECONDS
stats: 21477 7 1309.78 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/wulflinc10/normalized-mps-v2-13-7-n3703.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.106
#### 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.93 0.98 0.99 2/54 31278
Raw data (stat): 31278 (runsolver) R 31277 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781405730 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+9.99944 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18008 0 1 0 874 36 0 0 24 0 10 0 781405730 853716992 19352 4294967295 134512640 134569956 3221224368 3221214416 1076461328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 19352 13086 16 0 208411 0
vsize: 833708
[startup+19.9998 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 1769 36 0 0 25 0 10 0 781405730 853716992 19837 4294967295 134512640 134569956 3221224368 3221213288 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 19842 13086 16 0 208411 0
vsize: 833708
[startup+29.9999 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 2666 36 0 0 25 0 10 0 781405730 853716992 20315 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 20315 13086 16 0 208411 0
vsize: 833708
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 3577 37 0 0 25 0 10 0 781405730 853921792 20658 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208477 20658 13086 16 0 208461 0
vsize: 833908
[startup+50.0016 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 4497 37 0 0 24 0 10 0 781405730 853921792 20824 4294967295 134512640 134569956 3221224368 3221214768 1131230581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208477 20824 13086 16 0 208461 0
vsize: 833908
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 5417 37 0 0 25 0 10 0 781405730 853921792 20947 4294967295 134512640 134569956 3221224368 3221214768 1131230581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208477 20947 13086 16 0 208461 0
vsize: 833908
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 6344 38 0 0 25 0 10 0 781405730 853716992 21143 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21143 13086 16 0 208411 0
vsize: 833708
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 7281 38 0 0 25 0 10 0 781405730 853716992 21244 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21244 13086 16 0 208411 0
vsize: 833708
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 8223 38 0 0 25 0 10 0 781405730 853716992 21331 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21331 13086 16 0 208411 0
vsize: 833708
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 9162 39 0 0 25 0 10 0 781405730 853716992 21416 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21416 13086 16 0 208411 0
vsize: 833708
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 10103 39 0 0 25 0 10 0 781405730 853716992 21496 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21496 13086 16 0 208411 0
vsize: 833708
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 11047 39 0 0 25 0 10 0 781405730 853716992 21568 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21568 13086 16 0 208411 0
vsize: 833708
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 11988 40 0 0 25 0 10 0 781405730 853716992 21639 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21639 13086 16 0 208411 0
vsize: 833708
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 12929 40 0 0 25 0 10 0 781405730 853716992 21708 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21708 13086 16 0 208411 0
vsize: 833708
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 13874 40 0 0 25 0 10 0 781405730 853716992 21770 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21770 13086 16 0 208411 0
vsize: 833708
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 14815 41 0 0 25 0 10 0 781405730 853716992 21834 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21834 13086 16 0 208411 0
vsize: 833708
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 15750 41 0 0 24 0 10 0 781405730 853716992 21895 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21895 13086 16 0 208411 0
vsize: 833708
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 16666 41 0 0 25 0 10 0 781405730 853716992 21950 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 21950 13086 16 0 208411 0
vsize: 833708
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 17589 42 0 0 25 0 10 0 781405730 853716992 22261 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 22261 13086 16 0 208411 0
vsize: 833708
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 18527 43 0 0 25 0 10 0 781405730 853716992 22317 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 22317 13086 16 0 208411 0
vsize: 833708
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 19468 43 0 0 25 0 10 0 781405730 853716992 22368 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 22368 13086 16 0 208411 0
vsize: 833708
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 20406 44 0 0 25 0 10 0 781405730 853716992 22420 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 22420 13086 16 0 208411 0
vsize: 833708
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 21343 44 0 0 25 0 10 0 781405730 853716992 22471 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 22471 13086 16 0 208411 0
vsize: 833708
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 22284 45 0 0 25 0 10 0 781405730 853716992 22518 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 22518 13086 16 0 208411 0
vsize: 833708
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 23221 45 0 0 25 0 10 0 781405730 853716992 22568 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22568 13086 16 0 208411 0
vsize: 833708
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 24162 45 0 0 25 0 10 0 781405730 853716992 22613 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22613 13086 16 0 208411 0
vsize: 833708
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 25098 45 0 0 25 0 10 0 781405730 853716992 22660 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22660 13086 16 0 208411 0
vsize: 833708
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 26039 45 0 0 25 0 10 0 781405730 853716992 22703 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22703 13086 16 0 208411 0
vsize: 833708
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 26974 45 0 0 22 0 10 0 781405730 853716992 22748 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22748 13086 16 0 208411 0
vsize: 833708
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 27912 46 0 0 25 0 10 0 781405730 853716992 22789 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22789 13086 16 0 208411 0
vsize: 833708
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 28847 46 0 0 25 0 10 0 781405730 853716992 22833 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22833 13086 16 0 208411 0
vsize: 833708
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 29785 46 0 0 25 0 10 0 781405730 853716992 22873 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22873 13086 16 0 208411 0
vsize: 833708
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 30719 46 0 0 25 0 10 0 781405730 853716992 22914 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22914 13086 16 0 208411 0
vsize: 833708
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 31656 46 0 0 25 0 10 0 781405730 853716992 22953 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22953 13086 16 0 208411 0
vsize: 833708
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 32589 46 0 0 25 0 10 0 781405730 853716992 22994 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 22994 13086 16 0 208411 0
vsize: 833708
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 33526 46 0 0 25 0 10 0 781405730 853716992 23031 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23031 13086 16 0 208411 0
vsize: 833708
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 34458 46 0 0 25 0 10 0 781405730 853716992 23071 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23071 13086 16 0 208411 0
vsize: 833708
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 35394 47 0 0 25 0 10 0 781405730 853716992 23108 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23108 13086 16 0 208411 0
vsize: 833708
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 36325 47 0 0 24 0 10 0 781405730 853716992 23146 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23146 13086 16 0 208411 0
vsize: 833708
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 37260 47 0 0 25 0 10 0 781405730 853716992 23182 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23182 13086 16 0 208411 0
vsize: 833708
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 38191 47 0 0 24 0 10 0 781405730 853716992 23219 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23219 13086 16 0 208411 0
vsize: 833708
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 39125 47 0 0 25 0 10 0 781405730 853716992 23253 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23253 13086 16 0 208411 0
vsize: 833708
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 40057 47 0 0 25 0 10 0 781405730 853716992 23287 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23287 13086 16 0 208411 0
vsize: 833708
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 40986 47 0 0 25 0 10 0 781405730 853716992 23323 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23323 13086 16 0 208411 0
vsize: 833708
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 41919 47 0 0 25 0 10 0 781405730 853716992 23356 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23356 13086 16 0 208411 0
vsize: 833708
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 42847 48 0 0 25 0 10 0 781405730 853716992 23391 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23391 13086 16 0 208411 0
vsize: 833708
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 43779 48 0 0 25 0 10 0 781405730 853716992 23424 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23424 13086 16 0 208411 0
vsize: 833708
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 44708 48 0 0 25 0 10 0 781405730 853716992 23457 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23457 13086 16 0 208411 0
vsize: 833708
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 45638 48 0 0 25 0 10 0 781405730 853716992 23490 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23490 13086 16 0 208411 0
vsize: 833708
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 46569 48 0 0 25 0 10 0 781405730 853716992 23521 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23521 13086 16 0 208411 0
vsize: 833708
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 47494 48 0 0 25 0 10 0 781405730 853716992 23554 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23554 13086 16 0 208411 0
vsize: 833708
[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 48424 49 0 0 25 0 10 0 781405730 853716992 23586 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23586 13086 16 0 208411 0
vsize: 833708
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 49354 49 0 0 25 0 10 0 781405730 853716992 23617 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23617 13086 16 0 208411 0
vsize: 833708
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 50278 49 0 0 24 0 10 0 781405730 853716992 23649 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23649 13086 16 0 208411 0
vsize: 833708
[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 51204 49 0 0 25 0 10 0 781405730 853716992 23679 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23679 13086 16 0 208411 0
vsize: 833708
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 52131 49 0 0 25 0 10 0 781405730 853716992 23709 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23709 13086 16 0 208411 0
vsize: 833708
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 53058 49 0 0 25 0 10 0 781405730 853716992 23738 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23738 13086 16 0 208411 0
vsize: 833708
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 53982 49 0 0 25 0 10 0 781405730 853716992 23768 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23768 13086 16 0 208411 0
vsize: 833708
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 54905 50 0 0 25 0 10 0 781405730 853716992 23798 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23798 13086 16 0 208411 0
vsize: 833708
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 55829 51 0 0 25 0 10 0 781405730 853716992 23826 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23826 13086 16 0 208411 0
vsize: 833708
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 56755 51 0 0 25 0 10 0 781405730 853716992 23855 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23855 13086 16 0 208411 0
vsize: 833708
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 57679 52 0 0 25 0 10 0 781405730 853716992 23883 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23883 13086 16 0 208411 0
vsize: 833708
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 58603 52 0 0 25 0 10 0 781405730 853716992 23911 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23911 13086 16 0 208411 0
vsize: 833708
[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 59523 53 0 0 25 0 10 0 781405730 853716992 23939 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23939 13086 16 0 208411 0
vsize: 833708
[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 60446 54 0 0 25 0 10 0 781405730 853716992 23967 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 23967 13086 16 0 208411 0
vsize: 833708
[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 61371 54 0 0 25 0 10 0 781405730 853716992 23995 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 23995 13086 16 0 208411 0
vsize: 833708
[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 62290 55 0 0 25 0 10 0 781405730 853716992 24911 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 24911 13086 16 0 208411 0
vsize: 833708
[startup+680.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 63211 55 0 0 25 0 10 0 781405730 853716992 24911 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 24911 13086 16 0 208411 0
vsize: 833708
[startup+690.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 64127 55 0 0 25 0 10 0 781405730 853716992 24935 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 24935 13086 16 0 208411 0
vsize: 833708
[startup+700.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 65042 55 0 0 25 0 10 0 781405730 853716992 24962 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 24962 13086 16 0 208411 0
vsize: 833708
[startup+710.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 65955 55 0 0 25 0 10 0 781405730 853716992 24988 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 24988 13086 16 0 208411 0
vsize: 833708
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 66868 55 0 0 25 0 10 0 781405730 853716992 25014 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25014 13086 16 0 208411 0
vsize: 833708
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 67782 55 0 0 25 0 10 0 781405730 853716992 25040 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25040 13086 16 0 208411 0
vsize: 833708
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 68696 55 0 0 25 0 10 0 781405730 853716992 25065 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25065 13086 16 0 208411 0
vsize: 833708
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 69609 56 0 0 25 0 10 0 781405730 853716992 25091 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25091 13086 16 0 208411 0
vsize: 833708
[startup+760.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 70521 56 0 0 25 0 10 0 781405730 853716992 25116 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25116 13086 16 0 208411 0
vsize: 833708
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 71434 56 0 0 25 0 10 0 781405730 853716992 25141 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25141 13086 16 0 208411 0
vsize: 833708
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 72346 56 0 0 25 0 10 0 781405730 853716992 25166 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25166 13086 16 0 208411 0
vsize: 833708
[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 73258 56 0 0 25 0 10 0 781405730 853716992 25191 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25191 13086 16 0 208411 0
vsize: 833708
[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 74169 56 0 0 22 0 10 0 781405730 853716992 25216 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25216 13086 16 0 208411 0
vsize: 833708
[startup+810.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 75080 56 0 0 25 0 10 0 781405730 853716992 25241 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25241 13086 16 0 208411 0
vsize: 833708
[startup+820.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 75991 56 0 0 25 0 10 0 781405730 853716992 25265 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25265 13086 16 0 208411 0
vsize: 833708
[startup+830.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 76902 56 0 0 25 0 10 0 781405730 853716992 25289 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25289 13086 16 0 208411 0
vsize: 833708
[startup+840.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 77812 56 0 0 25 0 10 0 781405730 853716992 25313 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25313 13086 16 0 208411 0
vsize: 833708
[startup+850.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 78722 56 0 0 25 0 10 0 781405730 853716992 25337 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25337 13086 16 0 208411 0
vsize: 833708
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 79631 56 0 0 25 0 10 0 781405730 853716992 25361 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25361 13086 16 0 208411 0
vsize: 833708
[startup+870.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 80541 56 0 0 24 0 10 0 781405730 853716992 25385 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25385 13086 16 0 208411 0
vsize: 833708
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 81449 57 0 0 24 0 10 0 781405730 853716992 25408 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25408 13086 16 0 208411 0
vsize: 833708
[startup+890.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 82364 57 0 0 25 0 10 0 781405730 853716992 25430 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25430 13086 16 0 208411 0
vsize: 833708
[startup+900.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 83273 57 0 0 25 0 10 0 781405730 853716992 25454 4294967295 134512640 134569956 3221224368 3221213972 1077378858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25454 13086 16 0 208411 0
vsize: 833708
[startup+910.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 84181 57 0 0 25 0 10 0 781405730 853716992 25478 4294967295 134512640 134569956 3221224368 3221214644 1079677984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25478 13086 16 0 208411 0
vsize: 833708
[startup+920.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 85089 57 0 0 25 0 10 0 781405730 853716992 25507 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25507 13086 16 0 208411 0
vsize: 833708
[startup+930.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 85996 57 0 0 25 0 10 0 781405730 853716992 25532 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25532 13086 16 0 208411 0
vsize: 833708
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 86908 58 0 0 24 0 10 0 781405730 853716992 25554 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25554 13086 16 0 208411 0
vsize: 833708
[startup+950.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 87816 58 0 0 22 0 10 0 781405730 853716992 25584 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25584 13086 16 0 208411 0
vsize: 833708
[startup+960.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 88721 58 0 0 22 0 10 0 781405730 853716992 25613 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25613 13086 16 0 208411 0
vsize: 833708
[startup+970.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 89626 58 0 0 20 0 10 0 781405730 853716992 25635 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25635 13086 16 0 208411 0
vsize: 833708
[startup+980.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 90532 58 0 0 19 0 10 0 781405730 853716992 25657 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25657 13086 16 0 208411 0
vsize: 833708
[startup+990.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 91443 58 0 0 23 0 10 0 781405730 853716992 25678 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208427 25678 13086 16 0 208411 0
vsize: 833708
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 92347 58 0 0 22 0 10 0 781405730 853716992 25714 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25714 13086 16 0 208411 0
vsize: 833708
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 93250 59 0 0 20 0 10 0 781405730 853716992 25736 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25736 13086 16 0 208411 0
vsize: 833708
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 94153 60 0 0 19 0 10 0 781405730 853716992 25758 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25758 13086 16 0 208411 0
vsize: 833708
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 95062 60 0 0 23 0 10 0 781405730 853716992 25790 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25790 13086 16 0 208411 0
vsize: 833708
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 95965 60 0 0 21 0 10 0 781405730 853716992 25811 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25811 13086 16 0 208411 0
vsize: 833708
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 96866 61 0 0 19 0 10 0 781405730 853716992 25839 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25839 13086 16 0 208411 0
vsize: 833708
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 97773 61 0 0 22 0 10 0 781405730 853716992 25864 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25864 13086 16 0 208411 0
vsize: 833708
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 98671 61 0 0 20 0 10 0 781405730 853716992 25888 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25888 13086 16 0 208411 0
vsize: 833708
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 99576 61 0 0 24 0 10 0 781405730 853716992 25910 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25910 13086 16 0 208411 0
vsize: 833708
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 100479 62 0 0 21 0 10 0 781405730 853716992 25936 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25936 13086 16 0 208411 0
vsize: 833708
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 101380 63 0 0 19 0 10 0 781405730 853716992 25960 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25960 13086 16 0 208411 0
vsize: 833708
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 102286 63 0 0 23 0 10 0 781405730 853716992 25982 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 25982 13086 16 0 208411 0
vsize: 833708
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 103187 63 0 0 20 0 10 0 781405730 853716992 26009 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26009 13086 16 0 208411 0
vsize: 833708
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 104086 64 0 0 19 0 10 0 781405730 853716992 26032 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26032 13086 16 0 208411 0
vsize: 833708
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 104992 64 0 0 22 0 10 0 781405730 853716992 26055 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26055 13086 16 0 208411 0
vsize: 833708
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 105891 65 0 0 19 0 10 0 781405730 853716992 26075 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26075 13086 16 0 208411 0
vsize: 833708
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 106796 65 0 0 23 0 10 0 781405730 853716992 26103 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26103 13086 16 0 208411 0
vsize: 833708
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 107695 65 0 0 20 0 10 0 781405730 853716992 26125 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26125 13086 16 0 208411 0
vsize: 833708
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) S 31277 15547 15546 0 -1 0 18009 0 1 0 108596 66 0 0 24 0 10 0 781405730 853716992 26146 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26146 13086 16 0 208411 0
vsize: 833708
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 109499 67 0 0 21 0 10 0 781405730 853716992 26173 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26173 13086 16 0 208411 0
vsize: 833708
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 110396 67 0 0 18 0 10 0 781405730 853716992 26196 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26196 13086 16 0 208411 0
vsize: 833708
[startup+1210.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 111297 67 0 0 22 0 10 0 781405730 853716992 26218 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26218 13086 16 0 208411 0
vsize: 833708
[startup+1220.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 112193 67 0 0 20 0 10 0 781405730 853716992 26241 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26241 13086 16 0 208411 0
vsize: 833708
[startup+1230.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 113097 68 0 0 23 0 10 0 781405730 853716992 26260 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26260 13086 16 0 208411 0
vsize: 833708
[startup+1240.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 113994 68 0 0 19 0 10 0 781405730 853716992 26280 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26280 13086 16 0 208411 0
vsize: 833708
[startup+1250.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 114899 69 0 0 24 0 10 0 781405730 853716992 26298 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26298 13086 16 0 208411 0
vsize: 833708
[startup+1260.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 115796 69 0 0 20 0 10 0 781405730 853716992 26331 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26331 13086 16 0 208411 0
vsize: 833708
[startup+1270.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 116699 70 0 0 23 0 10 0 781405730 853716992 26348 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26348 13086 16 0 208411 0
vsize: 833708
[startup+1280.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 117597 70 0 0 21 0 10 0 781405730 853716992 26383 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26383 13086 16 0 208411 0
vsize: 833708
[startup+1290.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 118496 70 0 0 19 0 10 0 781405730 853716992 26403 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26403 13086 16 0 208411 0
vsize: 833708
[startup+1300.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 119402 70 0 0 22 0 10 0 781405730 853716992 26431 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26431 13086 16 0 208411 0
vsize: 833708
[startup+1310.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 31287
Raw data (stat): 31278 (java) R 31277 15547 15546 0 -1 0 18009 0 1 0 120304 71 0 0 20 0 10 0 781405730 853716992 26453 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208427 26453 13086 16 0 208411 0
vsize: 833708
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.14 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 31289
Raw data (stat): 31278 (java) Z 31277 15547 15546 0 -1 1036 18009 8127 1 0 120310 71 10552 44 21 0 1 0 781405730 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.14
CPU time (s): 1309.78
CPU user time (s): 1308.62
CPU system time (s): 1.15882
CPU usage (%): 99.9727
Max. virtual memory (Kb): 833908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####