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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb
MD5SUM	ebb49febffdfe5475bc23e4ef8d466db
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	188160
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6734508713856
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	4602477289606474
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.65459
Number of variables	282240
Total number of constraints	3136
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	3136
Minimum length of a constraint	150
Maximum length of a constraint	720
Trace number 29460

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        613204 kB
Buffers:         34352 kB
Cached:         363140 kB
SwapCached:        716 kB
Active:         133908 kB
Inactive:       265708 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        612952 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            16088 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:16:53 (client local time) WITH STATUS 143 IN 1204.87 SECONDS
stats: 20858 7 1204.87 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/wulflinc30/normalized-mps-v2-20-10-maros-r7.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.423
#### 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): 1.02 1.00 1.00 2/54 5220
Raw data (stat): 5220 (runsolver) R 5219 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837234771 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0035 s]
Raw data (loadavg): 1.17 1.03 1.01 2/63 5229
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18021 0 1 0 870 40 0 0 25 0 10 0 837234771 853626880 19336 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 19336 13086 16 0 208389 0
vsize: 833620
[startup+20.0044 s]
Raw data (loadavg): 1.15 1.03 1.01 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 1765 40 0 0 24 0 10 0 837234771 853626880 19861 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 19861 13086 16 0 208389 0
vsize: 833620
[startup+30.0051 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 2658 40 0 0 24 0 10 0 837234771 853626880 20351 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 20351 13086 16 0 208389 0
vsize: 833620
[startup+40.006 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 3574 41 0 0 24 0 10 0 837234771 853995520 20727 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208495 20727 13086 16 0 208479 0
vsize: 833980
[startup+50.0068 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 4494 41 0 0 25 0 10 0 837234771 853995520 20890 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208495 20890 13086 16 0 208479 0
vsize: 833980
[startup+60.0075 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 5416 41 0 0 25 0 10 0 837234771 853995520 21014 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21014 13086 16 0 208479 0
vsize: 833980
[startup+70.0084 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 6344 41 0 0 25 0 10 0 837234771 853725184 21196 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21196 13086 16 0 208413 0
vsize: 833716
[startup+80.012 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 7283 41 0 0 25 0 10 0 837234771 853725184 21295 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21295 13086 16 0 208413 0
vsize: 833716
[startup+90.013 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 8225 41 0 0 25 0 10 0 837234771 853725184 21387 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21387 13086 16 0 208413 0
vsize: 833716
[startup+100.014 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 9165 41 0 0 25 0 10 0 837234771 853725184 21475 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21475 13086 16 0 208413 0
vsize: 833716
[startup+110.015 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 10107 41 0 0 25 0 10 0 837234771 853725184 21557 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21557 13086 16 0 208413 0
vsize: 833716
[startup+120.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 11049 41 0 0 24 0 10 0 837234771 853725184 21633 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21633 13086 16 0 208413 0
vsize: 833716
[startup+130.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 11994 41 0 0 25 0 10 0 837234771 853725184 21702 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21702 13086 16 0 208413 0
vsize: 833716
[startup+140.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 12936 41 0 0 25 0 10 0 837234771 853725184 21771 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21771 13086 16 0 208413 0
vsize: 833716
[startup+150.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 13878 42 0 0 25 0 10 0 837234771 853725184 21837 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21837 13086 16 0 208413 0
vsize: 833716
[startup+160.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 14820 42 0 0 24 0 10 0 837234771 853725184 21901 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21901 13086 16 0 208413 0
vsize: 833716
[startup+170.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 15759 42 0 0 25 0 10 0 837234771 853725184 21958 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 21958 13086 16 0 208413 0
vsize: 833716
[startup+180.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 16670 42 0 0 25 0 10 0 837234771 853725184 22018 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22018 13086 16 0 208413 0
vsize: 833716
[startup+190.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 17596 42 0 0 25 0 10 0 837234771 853725184 22329 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22329 13086 16 0 208413 0
vsize: 833716
[startup+200.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 18535 43 0 0 24 0 10 0 837234771 853725184 22384 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22384 13086 16 0 208413 0
vsize: 833716
[startup+210.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 19476 43 0 0 25 0 10 0 837234771 853725184 22435 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22435 13086 16 0 208413 0
vsize: 833716
[startup+220.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 20413 43 0 0 25 0 10 0 837234771 853725184 22488 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22488 13086 16 0 208413 0
vsize: 833716
[startup+230.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 21350 43 0 0 25 0 10 0 837234771 853725184 22539 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22539 13086 16 0 208413 0
vsize: 833716
[startup+240.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 22291 43 0 0 25 0 10 0 837234771 853725184 22587 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22587 13086 16 0 208413 0
vsize: 833716
[startup+250.128 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 23237 43 0 0 25 0 10 0 837234771 853725184 22636 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22636 13086 16 0 208413 0
vsize: 833716
[startup+260.136 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 24174 44 0 0 24 0 10 0 837234771 853725184 22684 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22684 13086 16 0 208413 0
vsize: 833716
[startup+270.136 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 25113 44 0 0 25 0 10 0 837234771 853725184 22728 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22728 13086 16 0 208413 0
vsize: 833716
[startup+280.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 26047 45 0 0 25 0 10 0 837234771 853725184 22774 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22774 13086 16 0 208413 0
vsize: 833716
[startup+290.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 26984 45 0 0 24 0 10 0 837234771 853725184 22819 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 22819 13086 16 0 208413 0
vsize: 833716
[startup+300.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5229
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 27923 45 0 0 25 0 10 0 837234771 853725184 22861 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 22861 13086 16 0 208413 0
vsize: 833716
[startup+310.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5282
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 28856 47 0 0 25 0 10 0 837234771 853725184 22902 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 22902 13086 16 0 208413 0
vsize: 833716
[startup+320.161 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5282
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 29792 47 0 0 23 0 10 0 837234771 853725184 22944 4294967295 134512640 134569956 3221224368 3221214208 1077558423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 22944 13086 16 0 208413 0
vsize: 833716
[startup+330.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5282
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 30730 47 0 0 25 0 10 0 837234771 853725184 22984 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 22984 13086 16 0 208413 0
vsize: 833716
[startup+340.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5282
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 31663 47 0 0 25 0 10 0 837234771 853725184 23025 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23025 13086 16 0 208413 0
vsize: 833716
[startup+350.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5282
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 32599 47 0 0 25 0 10 0 837234771 853725184 23063 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23063 13086 16 0 208413 0
vsize: 833716
[startup+360.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5282
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 33532 47 0 0 24 0 10 0 837234771 853725184 23104 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23104 13086 16 0 208413 0
vsize: 833716
[startup+370.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5282
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 34468 47 0 0 25 0 10 0 837234771 853725184 23141 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23141 13086 16 0 208413 0
vsize: 833716
[startup+380.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 35403 47 0 0 25 0 10 0 837234771 853725184 23178 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23178 13086 16 0 208413 0
vsize: 833716
[startup+390.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 36334 47 0 0 24 0 10 0 837234771 853725184 23216 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23216 13086 16 0 208413 0
vsize: 833716
[startup+400.168 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 37268 47 0 0 25 0 10 0 837234771 853725184 23252 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23252 13086 16 0 208413 0
vsize: 833716
[startup+410.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 38202 48 0 0 25 0 10 0 837234771 853725184 23287 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23287 13086 16 0 208413 0
vsize: 833716
[startup+420.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 39132 48 0 0 25 0 10 0 837234771 853725184 23324 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23324 13086 16 0 208413 0
vsize: 833716
[startup+430.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 40065 48 0 0 25 0 10 0 837234771 853725184 23358 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23358 13086 16 0 208413 0
vsize: 833716
[startup+440.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 40998 48 0 0 25 0 10 0 837234771 853725184 23392 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23392 13086 16 0 208413 0
vsize: 833716
[startup+450.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 41926 48 0 0 25 0 10 0 837234771 853725184 23427 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23427 13086 16 0 208413 0
vsize: 833716
[startup+460.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 42858 48 0 0 25 0 10 0 837234771 853725184 23460 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23460 13086 16 0 208413 0
vsize: 833716
[startup+470.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 43790 48 0 0 25 0 10 0 837234771 853725184 23493 4294967295 134512640 134569956 3221224368 3221214756 1131196803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 23493 13086 16 0 208413 0
vsize: 833716
[startup+480.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 44721 49 0 0 25 0 10 0 837234771 853725184 23525 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23525 13086 16 0 208413 0
vsize: 833716
[startup+490.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 45648 49 0 0 25 0 10 0 837234771 853725184 23559 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23559 13086 16 0 208413 0
vsize: 833716
[startup+500.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 46579 49 0 0 25 0 10 0 837234771 853725184 23591 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23591 13086 16 0 208413 0
vsize: 833716
[startup+510.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 47509 49 0 0 25 0 10 0 837234771 853725184 23623 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23623 13086 16 0 208413 0
vsize: 833716
[startup+520.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 48439 49 0 0 25 0 10 0 837234771 853725184 23654 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23654 13086 16 0 208413 0
vsize: 833716
[startup+530.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 49364 50 0 0 25 0 10 0 837234771 853725184 23687 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23687 13086 16 0 208413 0
vsize: 833716
[startup+540.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 50293 50 0 0 25 0 10 0 837234771 853725184 23717 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23717 13086 16 0 208413 0
vsize: 833716
[startup+550.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 51222 50 0 0 25 0 10 0 837234771 853725184 23747 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23747 13086 16 0 208413 0
vsize: 833716
[startup+560.179 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 52151 50 0 0 25 0 10 0 837234771 853725184 23777 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23777 13086 16 0 208413 0
vsize: 833716
[startup+570.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 53077 50 0 0 25 0 10 0 837234771 853725184 23807 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23807 13086 16 0 208413 0
vsize: 833716
[startup+580.185 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 54003 50 0 0 25 0 10 0 837234771 853725184 23838 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23838 13086 16 0 208413 0
vsize: 833716
[startup+590.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 54930 50 0 0 25 0 10 0 837234771 853725184 23866 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23866 13086 16 0 208413 0
vsize: 833716
[startup+600.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 55856 50 0 0 25 0 10 0 837234771 853725184 23895 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23895 13086 16 0 208413 0
vsize: 833716
[startup+610.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5284
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 56782 51 0 0 25 0 10 0 837234771 853725184 23924 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23924 13086 16 0 208413 0
vsize: 833716
[startup+620.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 57709 51 0 0 25 0 10 0 837234771 853725184 23952 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23952 13086 16 0 208413 0
vsize: 833716
[startup+630.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 58634 51 0 0 25 0 10 0 837234771 853725184 23980 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 23980 13086 16 0 208413 0
vsize: 833716
[startup+640.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 59560 51 0 0 25 0 10 0 837234771 853725184 24008 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 24008 13086 16 0 208413 0
vsize: 833716
[startup+650.194 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 60482 51 0 0 25 0 10 0 837234771 853725184 24036 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 24036 13086 16 0 208413 0
vsize: 833716
[startup+660.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 61406 51 0 0 24 0 10 0 837234771 853725184 24065 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 24065 13086 16 0 208413 0
vsize: 833716
[startup+670.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 62326 51 0 0 24 0 10 0 837234771 853725184 24981 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 24981 13086 16 0 208413 0
vsize: 833716
[startup+680.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 63247 51 0 0 24 0 10 0 837234771 853725184 24981 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 24981 13086 16 0 208413 0
vsize: 833716
[startup+690.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 64161 51 0 0 24 0 10 0 837234771 853725184 25002 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25002 13086 16 0 208413 0
vsize: 833716
[startup+700.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 65081 51 0 0 25 0 10 0 837234771 853725184 25027 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25027 13086 16 0 208413 0
vsize: 833716
[startup+710.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 65995 52 0 0 25 0 10 0 837234771 853725184 25054 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25054 13086 16 0 208413 0
vsize: 833716
[startup+720.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 66908 52 0 0 25 0 10 0 837234771 853725184 25080 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25080 13086 16 0 208413 0
vsize: 833716
[startup+730.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 67822 52 0 0 25 0 10 0 837234771 853725184 25106 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25106 13086 16 0 208413 0
vsize: 833716
[startup+740.199 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 68735 52 0 0 25 0 10 0 837234771 853725184 25132 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25132 13086 16 0 208413 0
vsize: 833716
[startup+750.199 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 69648 52 0 0 25 0 10 0 837234771 853725184 25157 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25157 13086 16 0 208413 0
vsize: 833716
[startup+760.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 70559 52 0 0 25 0 10 0 837234771 853725184 25183 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25183 13086 16 0 208413 0
vsize: 833716
[startup+770.201 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 71472 53 0 0 24 0 10 0 837234771 853725184 25208 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25208 13086 16 0 208413 0
vsize: 833716
[startup+780.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 72386 53 0 0 25 0 10 0 837234771 853725184 25232 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25232 13086 16 0 208413 0
vsize: 833716
[startup+790.206 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 73302 53 0 0 25 0 10 0 837234771 853725184 25257 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25257 13086 16 0 208413 0
vsize: 833716
[startup+800.206 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 74213 53 0 0 25 0 10 0 837234771 853725184 25281 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25281 13086 16 0 208413 0
vsize: 833716
[startup+810.206 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 75124 53 0 0 25 0 10 0 837234771 853725184 25306 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25306 13086 16 0 208413 0
vsize: 833716
[startup+820.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 76034 53 0 0 25 0 10 0 837234771 853725184 25331 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25331 13086 16 0 208413 0
vsize: 833716
[startup+830.309 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 76954 53 0 0 25 0 10 0 837234771 853725184 25355 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25355 13086 16 0 208413 0
vsize: 833716
[startup+840.309 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 77864 54 0 0 24 0 10 0 837234771 853725184 25379 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25379 13086 16 0 208413 0
vsize: 833716
[startup+850.309 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 78779 54 0 0 23 0 10 0 837234771 853725184 25402 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25402 13086 16 0 208413 0
vsize: 833716
[startup+860.31 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 79689 54 0 0 23 0 10 0 837234771 853725184 25426 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25426 13086 16 0 208413 0
vsize: 833716
[startup+870.311 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 80599 54 0 0 25 0 10 0 837234771 853725184 25450 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25450 13086 16 0 208413 0
vsize: 833716
[startup+880.311 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 81508 54 0 0 20 0 10 0 837234771 853725184 25473 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25473 13086 16 0 208413 0
vsize: 833716
[startup+890.315 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 82417 54 0 0 25 0 10 0 837234771 853725184 25497 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25497 13086 16 0 208413 0
vsize: 833716
[startup+900.315 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 83332 54 0 0 25 0 10 0 837234771 853725184 25520 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25520 13086 16 0 208413 0
vsize: 833716
[startup+910.316 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 84239 54 0 0 25 0 10 0 837234771 853725184 25543 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25543 13086 16 0 208413 0
vsize: 833716
[startup+920.316 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 85146 54 0 0 25 0 10 0 837234771 853725184 25566 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25566 13086 16 0 208413 0
vsize: 833716
[startup+930.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 86054 55 0 0 24 0 10 0 837234771 853725184 25589 4294967295 134512640 134569956 3221224368 3221214112 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25589 13086 16 0 208413 0
vsize: 833716
[startup+940.316 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 86967 55 0 0 25 0 10 0 837234771 853725184 25610 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25610 13086 16 0 208413 0
vsize: 833716
[startup+950.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 87874 55 0 0 25 0 10 0 837234771 853725184 25639 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25639 13086 16 0 208413 0
vsize: 833716
[startup+960.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 88779 55 0 0 24 0 10 0 837234771 853725184 25667 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25667 13086 16 0 208413 0
vsize: 833716
[startup+970.322 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 89688 55 0 0 25 0 10 0 837234771 853725184 25690 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25690 13086 16 0 208413 0
vsize: 833716
[startup+980.322 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 90597 55 0 0 25 0 10 0 837234771 853725184 25716 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25716 13086 16 0 208413 0
vsize: 833716
[startup+990.322 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 91502 56 0 0 25 0 10 0 837234771 853725184 25740 4294967295 134512640 134569956 3221224368 3221214128 1076874544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25740 13086 16 0 208413 0
vsize: 833716
[startup+1000.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 92407 56 0 0 24 0 10 0 837234771 853725184 25768 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25768 13086 16 0 208413 0
vsize: 833716
[startup+1010.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 93319 56 0 0 25 0 10 0 837234771 853725184 25791 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 25791 13086 16 0 208413 0
vsize: 833716
[startup+1020.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 94224 56 0 0 25 0 10 0 837234771 853725184 25813 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25813 13086 16 0 208413 0
vsize: 833716
[startup+1030.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 95128 56 0 0 25 0 10 0 837234771 853725184 25845 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25845 13086 16 0 208413 0
vsize: 833716
[startup+1040.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 96039 56 0 0 25 0 10 0 837234771 853725184 25866 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25866 13086 16 0 208413 0
vsize: 833716
[startup+1050.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 96943 56 0 0 22 0 10 0 837234771 853725184 25894 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25894 13086 16 0 208413 0
vsize: 833716
[startup+1060.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 97847 56 0 0 20 0 10 0 837234771 853725184 25918 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25918 13086 16 0 208413 0
vsize: 833716
[startup+1070.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 98754 56 0 0 24 0 10 0 837234771 853725184 25943 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25943 13086 16 0 208413 0
vsize: 833716
[startup+1080.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 99657 56 0 0 21 0 10 0 837234771 853725184 25968 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25968 13086 16 0 208413 0
vsize: 833716
[startup+1090.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 100560 56 0 0 20 0 10 0 837234771 853725184 25989 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 25989 13086 16 0 208413 0
vsize: 833716
[startup+1100.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 101468 57 0 0 23 0 10 0 837234771 853725184 26014 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26014 13086 16 0 208413 0
vsize: 833716
[startup+1110.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 102369 57 0 0 21 0 10 0 837234771 853725184 26039 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26039 13086 16 0 208413 0
vsize: 833716
[startup+1120.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 103270 57 0 0 19 0 10 0 837234771 853725184 26065 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26065 13086 16 0 208413 0
vsize: 833716
[startup+1130.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 104178 57 0 0 22 0 10 0 837234771 853725184 26088 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26088 13086 16 0 208413 0
vsize: 833716
[startup+1140.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 105078 57 0 0 20 0 10 0 837234771 853725184 26112 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26112 13086 16 0 208413 0
vsize: 833716
[startup+1150.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 105985 57 0 0 24 0 10 0 837234771 853725184 26131 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26131 13086 16 0 208413 0
vsize: 833716
[startup+1160.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 106887 57 0 0 20 0 10 0 837234771 853725184 26159 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26159 13086 16 0 208413 0
vsize: 833716
[startup+1170.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 107787 58 0 0 19 0 10 0 837234771 853725184 26180 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26180 13086 16 0 208413 0
vsize: 833716
[startup+1180.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 108694 58 0 0 22 0 10 0 837234771 853725184 26203 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26203 13086 16 0 208413 0
vsize: 833716
[startup+1190.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 109594 58 0 0 19 0 10 0 837234771 853725184 26229 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26229 13086 16 0 208413 0
vsize: 833716
[startup+1200.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 110499 58 0 0 22 0 10 0 837234771 853725184 26252 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26252 13086 16 0 208413 0
vsize: 833716
[startup+1210.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 111396 58 0 0 19 0 10 0 837234771 853725184 26275 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26275 13086 16 0 208413 0
vsize: 833716
[startup+1220.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 112301 58 0 0 23 0 10 0 837234771 853725184 26296 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26296 13086 16 0 208413 0
vsize: 833716
[startup+1230.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 113201 58 0 0 20 0 10 0 837234771 853725184 26318 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26318 13086 16 0 208413 0
vsize: 833716
[startup+1240.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 114105 58 0 0 24 0 10 0 837234771 853725184 26337 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26337 13086 16 0 208413 0
vsize: 833716
[startup+1250.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 115003 58 0 0 21 0 10 0 837234771 853725184 26357 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26357 13086 16 0 208413 0
vsize: 833716
[startup+1260.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) S 5219 22056 22055 0 -1 0 18022 0 1 0 115903 58 0 0 23 0 10 0 837234771 853725184 26391 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26391 13086 16 0 208413 0
vsize: 833716
[startup+1270.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 116807 58 0 0 21 0 10 0 837234771 853725184 26407 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26407 13086 16 0 208413 0
vsize: 833716
[startup+1280.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 117706 58 0 0 19 0 10 0 837234771 853725184 26440 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26440 13086 16 0 208413 0
vsize: 833716
[startup+1290.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 118613 58 0 0 22 0 10 0 837234771 853725184 26455 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26455 13086 16 0 208413 0
vsize: 833716
[startup+1300.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 119514 59 0 0 19 0 10 0 837234771 853725184 26484 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26484 13086 16 0 208413 0
vsize: 833716
[startup+1310.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5286
Raw data (stat): 5220 (java) R 5219 22056 22055 0 -1 0 18022 0 1 0 120422 59 0 0 23 0 10 0 837234771 853725184 26509 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 26509 13086 16 0 208413 0
vsize: 833716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.49 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5288
Raw data (stat): 5220 (java) Z 5219 22056 22055 0 -1 1036 18022 25 1 0 120425 59 2 0 16 0 1 0 837234771 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.49
CPU time (s): 1204.87
CPU user time (s): 1204.28
CPU system time (s): 0.593909
CPU usage (%): 91.9404
Max. virtual memory (Kb): 833980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####