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/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
MD5SUM	e8f0ca38acbe8c57203147fb9147be3a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	487.167
Number of variables	84836
Total number of constraints	245062
Number of constraints which are clauses	233598
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	11464
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 29317

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 06:22:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20714 boxname=wulflinc31 idbench=304 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  e8f0ca38acbe8c57203147fb9147be3a  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.unbounded.all.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.unbounded.all.ucl.opb
IDLAUNCH: 20714
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        487104 kB
Buffers:         13068 kB
Cached:         503488 kB
SwapCached:       1060 kB
Active:          64516 kB
Inactive:       454200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        486852 kB
SwapTotal:     2097892 kB
SwapFree:      2095956 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            23172 kB
Committed_AS:    63812 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:45:21 (client local time) WITH STATUS 143 IN 1373.41 SECONDS
stats: 20714 7 1373.41 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/wulflinc31/normalized-ooo.unbounded.all.ucl.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) : 1369.32
#### 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.92 0.98 0.99 2/55 11613
Raw data (stat): 11613 (runsolver) R 11612 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836664797 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.0019 s]
Raw data (loadavg): 0.93 0.98 0.99 2/64 11622
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 770 43 0 0 24 0 10 0 836664797 854388736 20956 4294967295 134512640 134569956 3221224368 3221214832 1131141103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 20956 13086 16 0 208575 0
vsize: 834364
[startup+20.0029 s]
Raw data (loadavg): 0.94 0.98 0.99 2/64 11622
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 1610 43 0 0 17 0 10 0 836664797 853831680 21769 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 21769 13086 16 0 208439 0
vsize: 833820
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.98 0.99 2/64 11624
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 2463 43 0 0 21 0 10 0 836664797 853831680 22418 4294967295 134512640 134569956 3221224368 3221214392 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 22418 13086 16 0 208439 0
vsize: 833820
[startup+40.0099 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 11624
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 3305 44 0 0 16 0 10 0 836664797 853831680 23105 4294967295 134512640 134569956 3221224368 3221214460 1080022369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 23105 13086 16 0 208439 0
vsize: 833820
[startup+50.0115 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 11624
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 4161 44 0 0 20 0 10 0 836664797 853831680 23573 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 23573 13086 16 0 208439 0
vsize: 833820
[startup+60.0121 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 11624
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 5008 45 0 0 18 0 10 0 836664797 853831680 24039 4294967295 134512640 134569956 3221224368 3221214688 1131325443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 24039 13086 16 0 208439 0
vsize: 833820
[startup+70.0124 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 11624
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 5859 45 0 0 18 0 10 0 836664797 853831680 24538 4294967295 134512640 134569956 3221224368 3221214436 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 24538 13086 16 0 208439 0
vsize: 833820
[startup+80.0134 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 11624
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 6715 46 0 0 18 0 10 0 836664797 853831680 24927 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 24927 13086 16 0 208439 0
vsize: 833820
[startup+90.0138 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 11626
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 7568 47 0 0 17 0 10 0 836664797 853831680 25267 4294967295 134512640 134569956 3221224368 3221214688 1131325326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 25267 13086 16 0 208439 0
vsize: 833820
[startup+100.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 11626
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 8419 47 0 0 16 0 10 0 836664797 853831680 25615 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 25615 13086 16 0 208439 0
vsize: 833820
[startup+110.016 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 11626
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 9272 48 0 0 16 0 10 0 836664797 853831680 25960 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 25960 13086 16 0 208439 0
vsize: 833820
[startup+120.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11626
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 10117 48 0 0 16 0 10 0 836664797 853831680 26300 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 26300 13086 16 0 208439 0
vsize: 833820
[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11626
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 10961 49 0 0 16 0 10 0 836664797 853831680 26725 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 26725 13086 16 0 208439 0
vsize: 833820
[startup+140.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11626
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 11812 50 0 0 16 0 10 0 836664797 853831680 27025 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 27025 13086 16 0 208439 0
vsize: 833820
[startup+150.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11628
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 12665 50 0 0 16 0 10 0 836664797 853831680 27358 4294967295 134512640 134569956 3221224368 3221213676 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 27358 13086 16 0 208439 0
vsize: 833820
[startup+160.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11628
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 13511 51 0 0 16 0 10 0 836664797 853831680 27668 4294967295 134512640 134569956 3221224368 3221214684 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 27668 13086 16 0 208439 0
vsize: 833820
[startup+170.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11628
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 14371 52 0 0 16 0 10 0 836664797 853831680 27956 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 27956 13086 16 0 208439 0
vsize: 833820
[startup+180.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11628
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 15238 52 0 0 16 0 10 0 836664797 853831680 28231 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 28231 13086 16 0 208439 0
vsize: 833820
[startup+190.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11628
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 16104 52 0 0 16 0 10 0 836664797 853831680 28501 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 28501 13086 16 0 208439 0
vsize: 833820
[startup+200.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11628
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 16977 53 0 0 16 0 10 0 836664797 853831680 28738 4294967295 134512640 134569956 3221224368 3221213680 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 28738 13086 16 0 208439 0
vsize: 833820
[startup+210.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11630
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 17838 54 0 0 16 0 10 0 836664797 853831680 29031 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 29031 13086 16 0 208439 0
vsize: 833820
[startup+220.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11630
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 18706 54 0 0 16 0 10 0 836664797 853831680 29310 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 29310 13086 16 0 208439 0
vsize: 833820
[startup+230.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11630
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 19570 54 0 0 16 0 10 0 836664797 853831680 29627 4294967295 134512640 134569956 3221224368 3221214684 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 29627 13086 16 0 208439 0
vsize: 833820
[startup+240.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11630
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 20445 55 0 0 16 0 10 0 836664797 853831680 29881 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 29881 13086 16 0 208439 0
vsize: 833820
[startup+250.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 11630
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 21324 55 0 0 16 0 10 0 836664797 853831680 30056 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 30056 13086 16 0 208439 0
vsize: 833820
[startup+260.042 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 11630
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 22186 55 0 0 16 0 10 0 836664797 853831680 30276 4294967295 134512640 134569956 3221224368 3221214520 1131331457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 30276 13086 16 0 208439 0
vsize: 833820
[startup+270.043 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 11632
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 23050 55 0 0 16 0 10 0 836664797 853831680 30514 4294967295 134512640 134569956 3221224368 3221214152 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 30514 13086 16 0 208439 0
vsize: 833820
[startup+280.047 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 11632
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 23926 55 0 0 16 0 10 0 836664797 853831680 30726 4294967295 134512640 134569956 3221224368 3221214152 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 30726 13086 16 0 208439 0
vsize: 833820
[startup+290.048 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 11632
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 24793 56 0 0 16 0 10 0 836664797 853831680 30949 4294967295 134512640 134569956 3221224368 3221214696 1130918966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 30949 13086 16 0 208439 0
vsize: 833820
[startup+300.049 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 11632
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 25665 57 0 0 16 0 10 0 836664797 853831680 31158 4294967295 134512640 134569956 3221224368 3221213680 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 31158 13086 16 0 208439 0
vsize: 833820
[startup+310.051 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 11632
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 26542 57 0 0 16 0 10 0 836664797 853831680 31373 4294967295 134512640 134569956 3221224368 3221214684 1131275146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 31373 13086 16 0 208439 0
vsize: 833820
[startup+320.052 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 11632
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 27417 57 0 0 16 0 10 0 836664797 853831680 31581 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 31581 13086 16 0 208439 0
vsize: 833820
[startup+330.052 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 11634
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 28289 58 0 0 15 0 10 0 836664797 853831680 31768 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 31768 13086 16 0 208439 0
vsize: 833820
[startup+340.054 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11634
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 29169 59 0 0 16 0 10 0 836664797 853831680 31956 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 31956 13086 16 0 208439 0
vsize: 833820
[startup+350.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11634
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 30042 59 0 0 16 0 10 0 836664797 853831680 32157 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 32157 13086 16 0 208439 0
vsize: 833820
[startup+360.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11634
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 30915 59 0 0 16 0 10 0 836664797 853831680 32345 4294967295 134512640 134569956 3221224368 3221214436 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 32345 13086 16 0 208439 0
vsize: 833820
[startup+370.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11634
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 31795 59 0 0 16 0 10 0 836664797 853831680 32523 4294967295 134512640 134569956 3221224368 3221214440 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 32523 13086 16 0 208439 0
vsize: 833820
[startup+380.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11634
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 32668 59 0 0 16 0 10 0 836664797 853831680 32717 4294967295 134512640 134569956 3221224368 3221214440 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 32717 13086 16 0 208439 0
vsize: 833820
[startup+390.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11636
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 33545 59 0 0 16 0 10 0 836664797 853831680 32903 4294967295 134512640 134569956 3221224368 3221214184 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 32903 13086 16 0 208439 0
vsize: 833820
[startup+400.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11636
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 34422 60 0 0 16 0 10 0 836664797 853831680 33091 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 33091 13086 16 0 208439 0
vsize: 833820
[startup+410.06 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 11636
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 35301 60 0 0 16 0 10 0 836664797 853831680 33255 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 33255 13086 16 0 208439 0
vsize: 833820
[startup+420.066 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11636
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 36186 61 0 0 16 0 10 0 836664797 853831680 33421 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 33421 13086 16 0 208439 0
vsize: 833820
[startup+430.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 11636
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 37059 61 0 0 16 0 10 0 836664797 853831680 33644 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 33644 13086 16 0 208439 0
vsize: 833820
[startup+440.071 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11636
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 37926 61 0 0 16 0 10 0 836664797 853831680 33807 4294967295 134512640 134569956 3221224368 3221214152 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 33807 13086 16 0 208439 0
vsize: 833820
[startup+450.071 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11638
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 38810 62 0 0 16 0 10 0 836664797 853831680 34110 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 34110 13086 16 0 208439 0
vsize: 833820
[startup+460.077 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11638
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 39694 62 0 0 16 0 10 0 836664797 853831680 34257 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 34257 13086 16 0 208439 0
vsize: 833820
[startup+470.083 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11638
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 40583 63 0 0 16 0 10 0 836664797 853831680 34408 4294967295 134512640 134569956 3221224368 3221214508 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 34408 13086 16 0 208439 0
vsize: 833820
[startup+480.083 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11638
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 41461 63 0 0 16 0 10 0 836664797 853831680 34572 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 34572 13086 16 0 208439 0
vsize: 833820
[startup+490.085 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11638
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 42340 63 0 0 16 0 10 0 836664797 853831680 34738 4294967295 134512640 134569956 3221224368 3221214440 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 34738 13086 16 0 208439 0
vsize: 833820
[startup+500.086 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11638
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 43217 64 0 0 16 0 10 0 836664797 853831680 34904 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 34904 13086 16 0 208439 0
vsize: 833820
[startup+510.089 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11640
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 44097 64 0 0 16 0 10 0 836664797 853831680 35059 4294967295 134512640 134569956 3221224368 3221213676 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 35059 13086 16 0 208439 0
vsize: 833820
[startup+520.093 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11640
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 44979 65 0 0 16 0 10 0 836664797 853831680 35222 4294967295 134512640 134569956 3221224368 3221214436 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 35222 13086 16 0 208439 0
vsize: 833820
[startup+530.095 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11640
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 45860 65 0 0 16 0 10 0 836664797 853831680 35385 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 35385 13086 16 0 208439 0
vsize: 833820
[startup+540.099 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11640
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 46747 66 0 0 16 0 10 0 836664797 853831680 35538 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 35538 13086 16 0 208439 0
vsize: 833820
[startup+550.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11640
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 47634 66 0 0 16 0 10 0 836664797 853831680 35677 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 35677 13086 16 0 208439 0
vsize: 833820
[startup+560.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11640
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 48517 66 0 0 16 0 10 0 836664797 853831680 35809 4294967295 134512640 134569956 3221224368 3221214684 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 35809 13086 16 0 208439 0
vsize: 833820
[startup+570.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11642
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 49398 66 0 0 16 0 10 0 836664797 853831680 35953 4294967295 134512640 134569956 3221224368 3221214152 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 35953 13086 16 0 208439 0
vsize: 833820
[startup+580.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11642
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 50285 66 0 0 16 0 10 0 836664797 853831680 36093 4294967295 134512640 134569956 3221224368 3221213748 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 36093 13086 16 0 208439 0
vsize: 833820
[startup+590.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11642
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 51166 67 0 0 16 0 10 0 836664797 853831680 36238 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 36238 13086 16 0 208439 0
vsize: 833820
[startup+600.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11642
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 52045 67 0 0 16 0 10 0 836664797 853831680 36386 4294967295 134512640 134569956 3221224368 3221214344 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 36386 13086 16 0 208439 0
vsize: 833820
[startup+610.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11642
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 52923 67 0 0 16 0 10 0 836664797 853831680 36533 4294967295 134512640 134569956 3221224368 3221214152 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 36533 13086 16 0 208439 0
vsize: 833820
[startup+620.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11642
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 53810 67 0 0 16 0 10 0 836664797 853831680 36670 4294967295 134512640 134569956 3221224368 3221214440 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 36670 13086 16 0 208439 0
vsize: 833820
[startup+630.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11644
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 54688 67 0 0 16 0 10 0 836664797 853831680 36814 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 36814 13086 16 0 208439 0
vsize: 833820
[startup+640.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11644
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 55566 68 0 0 16 0 10 0 836664797 853831680 36959 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 36959 13086 16 0 208439 0
vsize: 833820
[startup+650.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11644
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 56450 68 0 0 16 0 10 0 836664797 853831680 37095 4294967295 134512640 134569956 3221224368 3221213676 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 37095 13086 16 0 208439 0
vsize: 833820
[startup+660.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11644
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 57334 69 0 0 16 0 10 0 836664797 853831680 37235 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 37235 13086 16 0 208439 0
vsize: 833820
[startup+670.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11644
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 58218 69 0 0 16 0 10 0 836664797 853831680 37375 4294967295 134512640 134569956 3221224368 3221214864 1131201807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 37375 13086 16 0 208439 0
vsize: 833820
[startup+680.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11644
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 59101 70 0 0 16 0 10 0 836664797 853831680 37501 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 37501 13086 16 0 208439 0
vsize: 833820
[startup+690.132 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 11646
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 59983 70 0 0 16 0 10 0 836664797 853831680 37635 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 37635 13086 16 0 208439 0
vsize: 833820
[startup+700.132 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11646
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 60863 71 0 0 16 0 10 0 836664797 853831680 37766 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 37766 13086 16 0 208439 0
vsize: 833820
[startup+710.134 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 11646
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 61742 71 0 0 15 0 10 0 836664797 853831680 37900 4294967295 134512640 134569956 3221224368 3221214392 1074489715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 37900 13086 16 0 208439 0
vsize: 833820
[startup+720.136 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11646
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 62630 71 0 0 16 0 10 0 836664797 853831680 38027 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 38027 13086 16 0 208439 0
vsize: 833820
[startup+730.136 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11646
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 63509 72 0 0 16 0 10 0 836664797 853831680 38163 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 38163 13086 16 0 208439 0
vsize: 833820
[startup+740.137 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11646
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 64389 72 0 0 16 0 10 0 836664797 853831680 38296 4294967295 134512640 134569956 3221224368 3221214184 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 38296 13086 16 0 208439 0
vsize: 833820
[startup+750.137 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11648
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 65269 73 0 0 16 0 10 0 836664797 853831680 38422 4294967295 134512640 134569956 3221224368 3221214684 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 38422 13086 16 0 208439 0
vsize: 833820
[startup+760.139 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11648
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 66156 74 0 0 16 0 10 0 836664797 853831680 39241 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 39241 13086 16 0 208439 0
vsize: 833820
[startup+770.14 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11648
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 67062 74 0 0 16 0 10 0 836664797 853831680 39241 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 39241 13086 16 0 208439 0
vsize: 833820
[startup+780.14 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11648
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 67940 75 0 0 16 0 10 0 836664797 853831680 39284 4294967295 134512640 134569956 3221224368 3221214684 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 39284 13086 16 0 208439 0
vsize: 833820
[startup+790.142 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11648
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 68818 75 0 0 16 0 10 0 836664797 853831680 39405 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 39405 13086 16 0 208439 0
vsize: 833820
[startup+800.142 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11648
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 69693 76 0 0 16 0 10 0 836664797 853831680 39527 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 39527 13086 16 0 208439 0
vsize: 833820
[startup+810.143 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11650
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 70565 76 0 0 16 0 10 0 836664797 853831680 39655 4294967295 134512640 134569956 3221224368 3221214684 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 39655 13086 16 0 208439 0
vsize: 833820
[startup+820.147 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11650
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 71441 77 0 0 16 0 10 0 836664797 853831680 39777 4294967295 134512640 134569956 3221224368 3221213680 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 39777 13086 16 0 208439 0
vsize: 833820
[startup+830.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 72323 77 0 0 16 0 10 0 836664797 853831680 39901 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 39901 13086 16 0 208439 0
vsize: 833820
[startup+840.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 73196 78 0 0 16 0 10 0 836664797 853831680 40017 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40017 13086 16 0 208439 0
vsize: 833820
[startup+850.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 74068 78 0 0 15 0 10 0 836664797 853831680 40136 4294967295 134512640 134569956 3221224368 3221214684 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40136 13086 16 0 208439 0
vsize: 833820
[startup+860.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11650
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 74952 78 0 0 16 0 10 0 836664797 853831680 40248 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40248 13086 16 0 208439 0
vsize: 833820
[startup+870.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11652
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 75830 79 0 0 16 0 10 0 836664797 853831680 40355 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40355 13086 16 0 208439 0
vsize: 833820
[startup+880.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11652
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 76704 79 0 0 16 0 10 0 836664797 853831680 40485 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40485 13086 16 0 208439 0
vsize: 833820
[startup+890.159 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 11652
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 77588 79 0 0 16 0 10 0 836664797 853831680 40577 4294967295 134512640 134569956 3221224368 3221213680 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40577 13086 16 0 208439 0
vsize: 833820
[startup+900.162 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11652
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 78465 80 0 0 16 0 10 0 836664797 853831680 40698 4294967295 134512640 134569956 3221224368 3221214152 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40698 13086 16 0 208439 0
vsize: 833820
[startup+910.162 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 11652
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 79341 80 0 0 16 0 10 0 836664797 853831680 40815 4294967295 134512640 134569956 3221224368 3221214152 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40815 13086 16 0 208439 0
vsize: 833820
[startup+920.164 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11652
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 80216 81 0 0 16 0 10 0 836664797 853831680 40943 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 40943 13086 16 0 208439 0
vsize: 833820
[startup+930.164 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11654
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 81102 82 0 0 16 0 10 0 836664797 853831680 41018 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41018 13086 16 0 208439 0
vsize: 833820
[startup+940.165 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11654
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 81980 82 0 0 16 0 10 0 836664797 853831680 41133 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41133 13086 16 0 208439 0
vsize: 833820
[startup+950.166 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11654
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 82857 83 0 0 16 0 10 0 836664797 853831680 41238 4294967295 134512640 134569956 3221224368 3221214684 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41238 13086 16 0 208439 0
vsize: 833820
[startup+960.166 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11654
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 83732 83 0 0 16 0 10 0 836664797 853831680 41367 4294967295 134512640 134569956 3221224368 3221214152 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41367 13086 16 0 208439 0
vsize: 833820
[startup+970.17 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11654
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 84614 84 0 0 16 0 10 0 836664797 853831680 41497 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41497 13086 16 0 208439 0
vsize: 833820
[startup+980.175 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11654
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 85496 84 0 0 16 0 10 0 836664797 853831680 41571 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41571 13086 16 0 208439 0
vsize: 833820
[startup+990.177 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11656
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 86371 85 0 0 16 0 10 0 836664797 853831680 41700 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41700 13086 16 0 208439 0
vsize: 833820
[startup+1000.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11656
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 87247 85 0 0 16 0 10 0 836664797 853831680 41846 4294967295 134512640 134569956 3221224368 3221214184 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41846 13086 16 0 208439 0
vsize: 833820
[startup+1010.18 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11656
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 88131 86 0 0 16 0 10 0 836664797 853831680 41914 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 41914 13086 16 0 208439 0
vsize: 833820
[startup+1020.19 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11656
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 89006 86 0 0 16 0 10 0 836664797 853831680 42019 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 42019 13086 16 0 208439 0
vsize: 833820
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11656
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 89879 87 0 0 16 0 10 0 836664797 853831680 42147 4294967295 134512640 134569956 3221224368 3221214508 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 42147 13086 16 0 208439 0
vsize: 833820
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11656
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 90760 87 0 0 16 0 10 0 836664797 853831680 42290 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 42290 13086 16 0 208439 0
vsize: 833820
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11658
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 91647 87 0 0 16 0 10 0 836664797 853831680 42401 4294967295 134512640 134569956 3221224368 3221214436 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 42401 13086 16 0 208439 0
vsize: 833820
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11658
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 92524 88 0 0 16 0 10 0 836664797 853831680 42527 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 42527 13086 16 0 208439 0
vsize: 833820
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11658
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 93405 88 0 0 16 0 10 0 836664797 853831680 42637 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 42637 13086 16 0 208439 0
vsize: 833820
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11658
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 94290 88 0 0 16 0 10 0 836664797 853831680 42732 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 42732 13086 16 0 208439 0
vsize: 833820
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11658
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 95170 88 0 0 15 0 10 0 836664797 853831680 42808 4294967295 134512640 134569956 3221224368 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 42808 13086 16 0 208439 0
vsize: 833820
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11658
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 96062 89 0 0 16 0 10 0 836664797 853831680 42898 4294967295 134512640 134569956 3221224368 3221214152 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 42898 13086 16 0 208439 0
vsize: 833820
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11660
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 96946 89 0 0 16 0 10 0 836664797 853831680 42980 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 42980 13086 16 0 208439 0
vsize: 833820
[startup+1120.21 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 11660
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 97830 90 0 0 16 0 10 0 836664797 853831680 43121 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 43121 13086 16 0 208439 0
vsize: 833820
[startup+1130.21 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11660
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 98713 90 0 0 16 0 10 0 836664797 853831680 43168 4294967295 134512640 134569956 3221224368 3221214440 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 43168 13086 16 0 208439 0
vsize: 833820
[startup+1140.21 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 11660
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 99593 90 0 0 16 0 10 0 836664797 853831680 43293 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 43293 13086 16 0 208439 0
vsize: 833820
[startup+1150.21 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11660
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 100480 91 0 0 16 0 10 0 836664797 853831680 43408 4294967295 134512640 134569956 3221224368 3221214440 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 43408 13086 16 0 208439 0
vsize: 833820
[startup+1160.21 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11660
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 101366 91 0 0 15 0 10 0 836664797 853831680 43515 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 43515 13086 16 0 208439 0
vsize: 833820
[startup+1170.22 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11662
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 102256 91 0 0 16 0 10 0 836664797 853831680 43606 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 43606 13086 16 0 208439 0
vsize: 833820
[startup+1180.22 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11662
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 103148 92 0 0 16 0 10 0 836664797 853831680 43685 4294967295 134512640 134569956 3221224368 3221214796 1131155491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 43685 13086 16 0 208439 0
vsize: 833820
[startup+1190.22 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11662
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 104036 92 0 0 16 0 10 0 836664797 853831680 43818 4294967295 134512640 134569956 3221224368 3221214152 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 43818 13086 16 0 208439 0
vsize: 833820
[startup+1200.22 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11662
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 104928 93 0 0 16 0 10 0 836664797 853831680 43902 4294967295 134512640 134569956 3221224368 3221214632 1131275324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 43902 13086 16 0 208439 0
vsize: 833820
[startup+1210.22 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11662
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 105817 93 0 0 16 0 10 0 836664797 853831680 43978 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 43978 13086 16 0 208439 0
vsize: 833820
[startup+1220.22 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11662
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 106706 93 0 0 16 0 10 0 836664797 853831680 44075 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 44075 13086 16 0 208439 0
vsize: 833820
[startup+1230.22 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11664
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 107595 94 0 0 16 0 10 0 836664797 853831680 44191 4294967295 134512640 134569956 3221224368 3221214088 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 44191 13086 16 0 208439 0
vsize: 833820
[startup+1240.22 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11664
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 108488 95 0 0 16 0 10 0 836664797 853831680 44297 4294967295 134512640 134569956 3221224368 3221214684 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 44297 13086 16 0 208439 0
vsize: 833820
[startup+1250.23 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11664
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 109380 96 0 0 16 0 10 0 836664797 853831680 44378 4294967295 134512640 134569956 3221224368 3221214440 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 44378 13086 16 0 208439 0
vsize: 833820
[startup+1260.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11664
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 110274 96 0 0 16 0 10 0 836664797 853831680 44504 4294967295 134512640 134569956 3221224368 3221214152 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 44504 13086 16 0 208439 0
vsize: 833820
[startup+1270.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11664
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 111167 96 0 0 16 0 10 0 836664797 853831680 44582 4294967295 134512640 134569956 3221224368 3221214440 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 44582 13086 16 0 208439 0
vsize: 833820
[startup+1280.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11664
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 112058 97 0 0 16 0 10 0 836664797 853831680 44698 4294967295 134512640 134569956 3221224368 3221214392 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 44698 13086 16 0 208439 0
vsize: 833820
[startup+1290.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11666
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 112951 97 0 0 16 0 10 0 836664797 853831680 44753 4294967295 134512640 134569956 3221224368 3221214440 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 44753 13086 16 0 208439 0
vsize: 833820
[startup+1300.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11666
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 113841 97 0 0 16 0 10 0 836664797 853831680 44850 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 44850 13086 16 0 208439 0
vsize: 833820
[startup+1310.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11666
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 114734 97 0 0 16 0 10 0 836664797 853831680 44976 4294967295 134512640 134569956 3221224368 3221214440 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 44976 13086 16 0 208439 0
vsize: 833820
[startup+1320.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11666
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 115629 97 0 0 16 0 10 0 836664797 853831680 45065 4294967295 134512640 134569956 3221224368 3221214152 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 45065 13086 16 0 208439 0
vsize: 833820
[startup+1330.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11666
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 116515 98 0 0 16 0 10 0 836664797 853831680 45134 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 45134 13086 16 0 208439 0
vsize: 833820
[startup+1340.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11666
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 117405 98 0 0 16 0 10 0 836664797 853831680 45222 4294967295 134512640 134569956 3221224368 3221213676 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 45222 13086 16 0 208439 0
vsize: 833820
[startup+1350.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11668
Raw data (stat): 11613 (java) R 11612 29618 29617 0 -1 0 18024 0 1 0 118301 99 0 0 16 0 10 0 836664797 853831680 45383 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 45383 13086 16 0 208439 0
vsize: 833820
[startup+1360.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11668
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 119199 99 0 0 16 0 10 0 836664797 853831680 45465 4294967295 134512640 134569956 3221224368 3221213680 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 45465 13086 16 0 208439 0
vsize: 833820
[startup+1370.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11668
Raw data (stat): 11613 (java) S 11612 29618 29617 0 -1 0 18024 0 1 0 120097 100 0 0 16 0 10 0 836664797 853831680 45558 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 45558 13086 16 0 208439 0
vsize: 833820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1370.43 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 11670
Raw data (stat): 11613 (java) Z 11612 29618 29617 0 -1 1036 18024 28425 1 0 120101 100 17048 90 16 0 1 0 836664797 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): 1370.43
CPU time (s): 1373.41
CPU user time (s): 1371.5
CPU system time (s): 1.90771
CPU usage (%): 100.217
Max. virtual memory (Kb): 834364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####