PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM	44b9f0f81a9b533b0f9e0fd187bafc3d
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	198658
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	38727219
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	30720
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	38727219
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	8.39472
Number of variables	874498
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	14080
Trace number 29744

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-25 11:09:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21148 boxname=wulflinc23 idbench=1136 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  44b9f0f81a9b533b0f9e0fd187bafc3d  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-neos9.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-neos9.opb
IDLAUNCH: 21148
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        583656 kB
Buffers:         33636 kB
Cached:         395144 kB
SwapCached:        640 kB
Active:         150292 kB
Inactive:       280960 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        583404 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            14120 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:31:14 (client local time) WITH STATUS 143 IN 1312.13 SECONDS
stats: 21148 7 1312.13 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/wulflinc23/normalized-mps-v2-20-10-neos9.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.157
#### 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.95 0.98 0.99 2/54 15732
Raw data (stat): 15732 (runsolver) R 15731 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838408122 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18009 0 1 0 863 41 0 0 25 0 10 0 838408122 853782528 19328 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 19328 13086 16 0 208427 0
vsize: 833772
[startup+20.0011 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 1759 41 0 0 25 0 10 0 838408122 854138880 19927 4294967295 134512640 134569956 3221224368 3221214644 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 19927 13086 16 0 208514 0
vsize: 834120
[startup+30.0011 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 2653 41 0 0 25 0 10 0 838408122 853782528 20336 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 20336 13086 16 0 208427 0
vsize: 833772
[startup+40.0017 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) S 15731 5562 5561 0 -1 0 18010 0 1 0 3568 41 0 0 25 0 10 0 838408122 853913600 20665 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208475 20665 13086 16 0 208459 0
vsize: 833900
[startup+50.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 4489 42 0 0 25 0 10 0 838408122 853913600 20834 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208475 20834 13086 16 0 208459 0
vsize: 833900
[startup+60.0031 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 5407 42 0 0 25 0 10 0 838408122 853913600 20964 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208475 20964 13086 16 0 208459 0
vsize: 833900
[startup+70.0033 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 6333 42 0 0 25 0 10 0 838408122 853782528 21178 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21178 13086 16 0 208427 0
vsize: 833772
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 7271 42 0 0 25 0 10 0 838408122 853782528 21278 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21278 13086 16 0 208427 0
vsize: 833772
[startup+90.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 8209 43 0 0 25 0 10 0 838408122 853782528 21375 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21375 13086 16 0 208427 0
vsize: 833772
[startup+100.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 9150 43 0 0 25 0 10 0 838408122 853782528 21459 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21459 13086 16 0 208427 0
vsize: 833772
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 10093 44 0 0 25 0 10 0 838408122 853782528 21538 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21538 13086 16 0 208427 0
vsize: 833772
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 11032 44 0 0 25 0 10 0 838408122 853782528 21617 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21617 13086 16 0 208427 0
vsize: 833772
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 11975 44 0 0 25 0 10 0 838408122 853782528 21687 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21687 13086 16 0 208427 0
vsize: 833772
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 12915 44 0 0 25 0 10 0 838408122 853782528 21758 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21758 13086 16 0 208427 0
vsize: 833772
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 13859 45 0 0 25 0 10 0 838408122 853782528 21822 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21822 13086 16 0 208427 0
vsize: 833772
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 14798 45 0 0 24 0 10 0 838408122 853782528 21887 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21887 13086 16 0 208427 0
vsize: 833772
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 15742 46 0 0 25 0 10 0 838408122 853782528 21946 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 21946 13086 16 0 208427 0
vsize: 833772
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 16662 46 0 0 25 0 10 0 838408122 853782528 22003 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22003 13086 16 0 208427 0
vsize: 833772
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 17579 47 0 0 25 0 10 0 838408122 853782528 22058 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22058 13086 16 0 208427 0
vsize: 833772
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 18510 47 0 0 24 0 10 0 838408122 853782528 22372 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22372 13086 16 0 208427 0
vsize: 833772
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 19451 47 0 0 25 0 10 0 838408122 853782528 22424 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22424 13086 16 0 208427 0
vsize: 833772
[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 20387 48 0 0 25 0 10 0 838408122 853782528 22478 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22478 13086 16 0 208427 0
vsize: 833772
[startup+230.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 21327 48 0 0 25 0 10 0 838408122 853782528 22527 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22527 13086 16 0 208427 0
vsize: 833772
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 22263 49 0 0 25 0 10 0 838408122 853782528 22579 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22579 13086 16 0 208427 0
vsize: 833772
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 23201 49 0 0 25 0 10 0 838408122 853782528 22626 4294967295 134512640 134569956 3221224368 3221214704 1131132609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22626 13086 16 0 208427 0
vsize: 833772
[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 24136 50 0 0 24 0 10 0 838408122 853782528 22675 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22675 13086 16 0 208427 0
vsize: 833772
[startup+270.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 25075 50 0 0 25 0 10 0 838408122 853782528 22720 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22720 13086 16 0 208427 0
vsize: 833772
[startup+280.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 26009 51 0 0 24 0 10 0 838408122 853782528 22766 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22766 13086 16 0 208427 0
vsize: 833772
[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 26947 51 0 0 25 0 10 0 838408122 853782528 22809 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22809 13086 16 0 208427 0
vsize: 833772
[startup+300.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 27885 52 0 0 25 0 10 0 838408122 853782528 22852 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22852 13086 16 0 208427 0
vsize: 833772
[startup+310.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 28818 52 0 0 25 0 10 0 838408122 853782528 22896 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22896 13086 16 0 208427 0
vsize: 833772
[startup+320.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 29755 53 0 0 25 0 10 0 838408122 853782528 22937 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22937 13086 16 0 208427 0
vsize: 833772
[startup+330.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 30691 53 0 0 25 0 10 0 838408122 853782528 22977 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 22977 13086 16 0 208427 0
vsize: 833772
[startup+340.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 31626 54 0 0 25 0 10 0 838408122 853782528 23019 4294967295 134512640 134569956 3221224368 3221214264 1079300802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23019 13086 16 0 208427 0
vsize: 833772
[startup+350.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 32560 54 0 0 25 0 10 0 838408122 853782528 23058 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23058 13086 16 0 208427 0
vsize: 833772
[startup+360.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) S 15731 5562 5561 0 -1 0 18010 0 1 0 33495 55 0 0 25 0 10 0 838408122 853782528 23098 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23098 13086 16 0 208427 0
vsize: 833772
[startup+370.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 34426 55 0 0 25 0 10 0 838408122 853782528 23137 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23137 13086 16 0 208427 0
vsize: 833772
[startup+380.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 35360 56 0 0 25 0 10 0 838408122 853782528 23174 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23174 13086 16 0 208427 0
vsize: 833772
[startup+390.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 36294 56 0 0 25 0 10 0 838408122 853782528 23211 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23211 13086 16 0 208427 0
vsize: 833772
[startup+400.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 37224 56 0 0 25 0 10 0 838408122 853782528 23249 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23249 13086 16 0 208427 0
vsize: 833772
[startup+410.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 38157 56 0 0 25 0 10 0 838408122 853782528 23285 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23285 13086 16 0 208427 0
vsize: 833772
[startup+420.087 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 39090 57 0 0 25 0 10 0 838408122 853782528 23320 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23320 13086 16 0 208427 0
vsize: 833772
[startup+430.087 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 40018 57 0 0 24 0 10 0 838408122 853782528 23357 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23357 13086 16 0 208427 0
vsize: 833772
[startup+440.088 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 40949 58 0 0 25 0 10 0 838408122 853782528 23391 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23391 13086 16 0 208427 0
vsize: 833772
[startup+450.089 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 41880 58 0 0 25 0 10 0 838408122 853782528 23425 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23425 13086 16 0 208427 0
vsize: 833772
[startup+460.091 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) S 15731 5562 5561 0 -1 0 18010 0 1 0 42808 58 0 0 25 0 10 0 838408122 853782528 23459 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23459 13086 16 0 208427 0
vsize: 833772
[startup+470.091 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 43738 58 0 0 25 0 10 0 838408122 853782528 23494 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23494 13086 16 0 208427 0
vsize: 833772
[startup+480.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 44668 59 0 0 25 0 10 0 838408122 853782528 23526 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23526 13086 16 0 208427 0
vsize: 833772
[startup+490.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) S 15731 5562 5561 0 -1 0 18010 0 1 0 45597 59 0 0 25 0 10 0 838408122 853782528 23559 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23559 13086 16 0 208427 0
vsize: 833772
[startup+500.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 46523 59 0 0 25 0 10 0 838408122 853782528 23593 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23593 13086 16 0 208427 0
vsize: 833772
[startup+510.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 47451 60 0 0 25 0 10 0 838408122 853782528 23626 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23626 13086 16 0 208427 0
vsize: 833772
[startup+520.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 48379 60 0 0 25 0 10 0 838408122 853782528 23657 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23657 13086 16 0 208427 0
vsize: 833772
[startup+530.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 49302 61 0 0 24 0 10 0 838408122 853782528 23690 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23690 13086 16 0 208427 0
vsize: 833772
[startup+540.097 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 50230 61 0 0 25 0 10 0 838408122 853782528 23721 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 23721 13086 16 0 208427 0
vsize: 833772
[startup+550.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 51157 62 0 0 25 0 10 0 838408122 853782528 23751 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23751 13086 16 0 208427 0
vsize: 833772
[startup+560.097 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 52083 63 0 0 25 0 10 0 838408122 853782528 23781 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23781 13086 16 0 208427 0
vsize: 833772
[startup+570.097 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 53005 63 0 0 24 0 10 0 838408122 853782528 23813 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23813 13086 16 0 208427 0
vsize: 833772
[startup+580.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 53931 64 0 0 25 0 10 0 838408122 853782528 23843 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23843 13086 16 0 208427 0
vsize: 833772
[startup+590.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 54857 64 0 0 25 0 10 0 838408122 853782528 23872 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23872 13086 16 0 208427 0
vsize: 833772
[startup+600.099 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 55782 64 0 0 25 0 10 0 838408122 853782528 23901 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23901 13086 16 0 208427 0
vsize: 833772
[startup+610.099 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 56706 64 0 0 25 0 10 0 838408122 853782528 23930 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23930 13086 16 0 208427 0
vsize: 833772
[startup+620.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 57626 65 0 0 24 0 10 0 838408122 853782528 23960 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23960 13086 16 0 208427 0
vsize: 833772
[startup+630.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 58550 65 0 0 25 0 10 0 838408122 853782528 23989 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 23989 13086 16 0 208427 0
vsize: 833772
[startup+640.103 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 59474 66 0 0 25 0 10 0 838408122 853782528 24017 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 24017 13086 16 0 208427 0
vsize: 833772
[startup+650.103 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 60398 66 0 0 25 0 10 0 838408122 853782528 24045 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 24045 13086 16 0 208427 0
vsize: 833772
[startup+660.103 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 61322 66 0 0 25 0 10 0 838408122 853782528 24072 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 24072 13086 16 0 208427 0
vsize: 833772
[startup+670.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 62236 67 0 0 25 0 10 0 838408122 853782528 25008 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 25008 13086 16 0 208427 0
vsize: 833772
[startup+680.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 63163 67 0 0 25 0 10 0 838408122 853782528 25008 4294967295 134512640 134569956 3221224368 3221214280 1079300877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25008 13086 16 0 208427 0
vsize: 833772
[startup+690.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 64078 67 0 0 25 0 10 0 838408122 853782528 25013 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25013 13086 16 0 208427 0
vsize: 833772
[startup+700.105 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 64991 67 0 0 24 0 10 0 838408122 853782528 25040 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25040 13086 16 0 208427 0
vsize: 833772
[startup+710.105 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 65909 67 0 0 25 0 10 0 838408122 853782528 25065 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25065 13086 16 0 208427 0
vsize: 833772
[startup+720.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 66819 68 0 0 25 0 10 0 838408122 853782528 25091 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25091 13086 16 0 208427 0
vsize: 833772
[startup+730.105 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 67730 68 0 0 25 0 10 0 838408122 853782528 25118 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25118 13086 16 0 208427 0
vsize: 833772
[startup+740.106 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 68641 68 0 0 25 0 10 0 838408122 853782528 25144 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25144 13086 16 0 208427 0
vsize: 833772
[startup+750.105 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 69552 68 0 0 24 0 10 0 838408122 853782528 25170 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25170 13086 16 0 208427 0
vsize: 833772
[startup+760.105 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 70462 68 0 0 24 0 10 0 838408122 853782528 25195 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25195 13086 16 0 208427 0
vsize: 833772
[startup+770.106 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 71378 69 0 0 25 0 10 0 838408122 853782528 25219 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25219 13086 16 0 208427 0
vsize: 833772
[startup+780.105 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 72287 69 0 0 25 0 10 0 838408122 853782528 25245 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25245 13086 16 0 208427 0
vsize: 833772
[startup+790.106 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 73196 69 0 0 21 0 10 0 838408122 853782528 25270 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25270 13086 16 0 208427 0
vsize: 833772
[startup+800.108 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 74106 69 0 0 24 0 10 0 838408122 853782528 25295 4294967295 134512640 134569956 3221224368 3221213776 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25295 13086 16 0 208427 0
vsize: 833772
[startup+810.107 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 75020 69 0 0 25 0 10 0 838408122 853782528 25318 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25318 13086 16 0 208427 0
vsize: 833772
[startup+820.108 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 75928 69 0 0 25 0 10 0 838408122 853782528 25343 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25343 13086 16 0 208427 0
vsize: 833772
[startup+830.108 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 76836 69 0 0 25 0 10 0 838408122 853782528 25368 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25368 13086 16 0 208427 0
vsize: 833772
[startup+840.109 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 77749 70 0 0 25 0 10 0 838408122 853782528 25391 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25391 13086 16 0 208427 0
vsize: 833772
[startup+850.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 78656 70 0 0 25 0 10 0 838408122 853782528 25415 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25415 13086 16 0 208427 0
vsize: 833772
[startup+860.109 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 79563 70 0 0 25 0 10 0 838408122 853782528 25439 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25439 13086 16 0 208427 0
vsize: 833772
[startup+870.109 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 80476 70 0 0 24 0 10 0 838408122 853782528 25462 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25462 13086 16 0 208427 0
vsize: 833772
[startup+880.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 81383 70 0 0 23 0 10 0 838408122 853782528 25486 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25486 13086 16 0 208427 0
vsize: 833772
[startup+890.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 82290 70 0 0 21 0 10 0 838408122 853782528 25511 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25511 13086 16 0 208427 0
vsize: 833772
[startup+900.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 83196 71 0 0 19 0 10 0 838408122 853782528 25534 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25534 13086 16 0 208427 0
vsize: 833772
[startup+910.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 84107 71 0 0 22 0 10 0 838408122 853782528 25556 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25556 13086 16 0 208427 0
vsize: 833772
[startup+920.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 85012 71 0 0 20 0 10 0 838408122 853782528 25580 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25580 13086 16 0 208427 0
vsize: 833772
[startup+930.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 85923 71 0 0 23 0 10 0 838408122 853782528 25602 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25602 13086 16 0 208427 0
vsize: 833772
[startup+940.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 86828 71 0 0 22 0 10 0 838408122 853782528 25625 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25625 13086 16 0 208427 0
vsize: 833772
[startup+950.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 87732 71 0 0 19 0 10 0 838408122 853782528 25648 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25648 13086 16 0 208427 0
vsize: 833772
[startup+960.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 88642 71 0 0 23 0 10 0 838408122 853782528 25677 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25677 13086 16 0 208427 0
vsize: 833772
[startup+970.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 89544 72 0 0 21 0 10 0 838408122 853782528 25705 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25705 13086 16 0 208427 0
vsize: 833772
[startup+980.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 90446 72 0 0 19 0 10 0 838408122 853782528 25730 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25730 13086 16 0 208427 0
vsize: 833772
[startup+990.112 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 91356 72 0 0 22 0 10 0 838408122 853782528 25751 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25751 13086 16 0 208427 0
vsize: 833772
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 92259 72 0 0 19 0 10 0 838408122 853782528 25773 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25773 13086 16 0 208427 0
vsize: 833772
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 93167 72 0 0 22 0 10 0 838408122 853782528 25806 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25806 13086 16 0 208427 0
vsize: 833772
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 94069 72 0 0 21 0 10 0 838408122 853782528 25829 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25829 13086 16 0 208427 0
vsize: 833772
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 94972 72 0 0 19 0 10 0 838408122 853782528 25851 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25851 13086 16 0 208427 0
vsize: 833772
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 95879 73 0 0 22 0 10 0 838408122 853782528 25882 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25882 13086 16 0 208427 0
vsize: 833772
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 96781 73 0 0 20 0 10 0 838408122 853782528 25905 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25905 13086 16 0 208427 0
vsize: 833772
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 97684 73 0 0 23 0 10 0 838408122 853782528 25931 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25931 13086 16 0 208427 0
vsize: 833772
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 98586 73 0 0 20 0 10 0 838408122 853782528 25956 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25956 13086 16 0 208427 0
vsize: 833772
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 99491 73 0 0 23 0 10 0 838408122 853782528 25981 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 25981 13086 16 0 208427 0
vsize: 833772
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 100389 73 0 0 21 0 10 0 838408122 853782528 26006 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26006 13086 16 0 208427 0
vsize: 833772
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 101295 73 0 0 23 0 10 0 838408122 853782528 26026 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26026 13086 16 0 208427 0
vsize: 833772
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 102195 73 0 0 21 0 10 0 838408122 853782528 26053 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26053 13086 16 0 208427 0
vsize: 833772
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) S 15731 5562 5561 0 -1 0 18010 0 1 0 103100 74 0 0 23 0 10 0 838408122 853782528 26078 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26078 13086 16 0 208427 0
vsize: 833772
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 103999 74 0 0 22 0 10 0 838408122 853782528 26102 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26102 13086 16 0 208427 0
vsize: 833772
[startup+1140.12 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) S 15731 5562 5561 0 -1 0 18010 0 1 0 104899 74 0 0 24 0 10 0 838408122 853782528 26127 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26127 13086 16 0 208427 0
vsize: 833772
[startup+1150.12 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 105801 74 0 0 20 0 10 0 838408122 853782528 26150 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26150 13086 16 0 208427 0
vsize: 833772
[startup+1160.12 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) S 15731 5562 5561 0 -1 0 18010 0 1 0 106704 74 0 0 24 0 10 0 838408122 853782528 26170 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26170 13086 16 0 208427 0
vsize: 833772
[startup+1170.12 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 107604 74 0 0 21 0 10 0 838408122 853782528 26197 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26197 13086 16 0 208427 0
vsize: 833772
[startup+1180.12 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 108509 74 0 0 24 0 10 0 838408122 853782528 26220 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26220 13086 16 0 208427 0
vsize: 833772
[startup+1190.12 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 109407 74 0 0 20 0 10 0 838408122 853782528 26242 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26242 13086 16 0 208427 0
vsize: 833772
[startup+1200.12 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 110311 74 0 0 23 0 10 0 838408122 853782528 26266 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26266 13086 16 0 208427 0
vsize: 833772
[startup+1210.12 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 111206 74 0 0 19 0 10 0 838408122 853782528 26290 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26290 13086 16 0 208427 0
vsize: 833772
[startup+1220.12 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 112107 75 0 0 23 0 10 0 838408122 853782528 26312 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26312 13086 16 0 208427 0
vsize: 833772
[startup+1230.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 113003 75 0 0 20 0 10 0 838408122 853782528 26334 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26334 13086 16 0 208427 0
vsize: 833772
[startup+1240.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 113906 75 0 0 22 0 10 0 838408122 853782528 26355 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26355 13086 16 0 208427 0
vsize: 833772
[startup+1250.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 114802 75 0 0 19 0 10 0 838408122 853782528 26375 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26375 13086 16 0 208427 0
vsize: 833772
[startup+1260.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 115704 75 0 0 21 0 10 0 838408122 853782528 26394 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26394 13086 16 0 208427 0
vsize: 833772
[startup+1270.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 116600 75 0 0 18 0 10 0 838408122 853782528 26429 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26429 13086 16 0 208427 0
vsize: 833772
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 117503 76 0 0 20 0 10 0 838408122 853782528 26445 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26445 13086 16 0 208427 0
vsize: 833772
[startup+1290.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) S 15731 5562 5561 0 -1 0 18010 0 1 0 118403 76 0 0 23 0 10 0 838408122 853782528 26479 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 26479 13086 16 0 208427 0
vsize: 833772
[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 119304 76 0 0 21 0 10 0 838408122 853782528 26494 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 26494 13086 16 0 208427 0
vsize: 833772
[startup+1310.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15741
Raw data (stat): 15732 (java) R 15731 5562 5561 0 -1 0 18010 0 1 0 120203 77 0 0 19 0 10 0 838408122 853782528 26521 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 26521 13086 16 0 208427 0
vsize: 833772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 15743
Raw data (stat): 15732 (java) Z 15731 5562 5561 0 -1 1036 18010 8959 1 0 120207 82 10877 45 21 0 1 0 838408122 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.23
CPU time (s): 1312.13
CPU user time (s): 1310.85
CPU system time (s): 1.27781
CPU usage (%): 100.145
Max. virtual memory (Kb): 834120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####