PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2-o.opb
MD5SUM	97cd691a4b46f7816d8643c161590ce9
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	7248
Biggest coefficient in the objective function	409031671808
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	178209334735200
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	409031671808
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	178209334735200
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.100984
Number of variables	11184
Total number of constraints	1968
Number of constraints which are clauses	192
Number of constraints which are cardinality constraints (but not clauses)	384
Number of constraints which are nor clauses,nor cardinality constraints	1392
Minimum length of a constraint	1
Maximum length of a constraint	209
Trace number 29963

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 13:13:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21364 boxname=wulflinc29 idbench=1352 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  97cd691a4b46f7816d8643c161590ce9  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-gesa2-o.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-gesa2-o.opb
IDLAUNCH: 21364
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        625768 kB
Buffers:         34184 kB
Cached:         349172 kB
SwapCached:        572 kB
Active:          56876 kB
Inactive:       332008 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        625516 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14260 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:34:38 (client local time) WITH STATUS 143 IN 1282.33 SECONDS
stats: 21364 7 1282.33 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/wulflinc29/normalized-mps-v2-13-7-gesa2-o.opb
c reading problem ... done. Time 42.032 ms.
c #vars     11184
c #constraints  1608
c starts	: 9
c conflicts	: 5512
c decisions	: 13301
c propagations	: 40491
c inspects	: 1436819
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5511
c root simplifications	: 36
s UNKNOWN
c Total CPU time (ms) : 1269.178
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 1330
Raw data (stat): 1330 (runsolver) R 1329 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839146020 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 1339
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18011 0 1 0 882 38 0 0 24 0 10 0 839146020 853581824 19324 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208394 19324 13086 16 0 208378 0
vsize: 833576
[startup+20.0027 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1339
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18021 0 1 0 1775 38 0 0 25 0 10 0 839146020 855347200 20428 4294967295 134512640 134569956 3221224368 3221214668 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208825 20428 13086 16 0 208809 0
vsize: 835300
[startup+30.0032 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1339
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18023 0 1 0 2652 39 0 0 25 0 10 0 839146020 856088576 21215 4294967295 134512640 134569956 3221224368 3221214676 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209006 21215 13086 16 0 208990 0
vsize: 836024
[startup+40.0037 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1339
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18023 0 1 0 3541 40 0 0 25 0 10 0 839146020 855269376 21349 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208806 21349 13086 16 0 208790 0
vsize: 835224
[startup+50.0052 s]
Raw data (loadavg): 1.02 1.00 1.00 3/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18062 0 1 0 4421 40 0 0 25 0 11 0 839146020 856846336 22345 4294967295 134512640 134569956 3221224368 3221214456 1131341366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209191 22345 13086 16 0 209175 0
vsize: 836764
[startup+60.0054 s]
Raw data (loadavg): 1.10 1.02 1.01 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18065 0 1 0 5306 41 0 0 25 0 11 0 839146020 857894912 22814 4294967295 134512640 134569956 3221224368 3221214600 1131214225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 22814 13086 16 0 209431 0
vsize: 837788
[startup+70.0068 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18066 0 1 0 6253 41 0 0 24 0 11 0 839146020 857894912 23044 4294967295 134512640 134569956 3221224368 3221214464 1131341330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 23044 13086 16 0 209431 0
vsize: 837788
[startup+80.0076 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18066 0 1 0 7207 41 0 0 25 0 11 0 839146020 857894912 23408 4294967295 134512640 134569956 3221224368 3221214536 1131370865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 23408 13086 16 0 209431 0
vsize: 837788
[startup+90.0074 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18066 0 1 0 8165 41 0 0 25 0 11 0 839146020 857894912 23408 4294967295 134512640 134569956 3221224368 3221214768 1131386544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 23408 13086 16 0 209431 0
vsize: 837788
[startup+100.008 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18066 0 1 0 9116 42 0 0 25 0 11 0 839146020 857894912 23618 4294967295 134512640 134569956 3221224368 3221214448 1131459474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 23618 13086 16 0 209431 0
vsize: 837788
[startup+110.009 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18066 0 1 0 10066 42 0 0 25 0 11 0 839146020 857894912 23784 4294967295 134512640 134569956 3221224368 3221214496 1131474289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 23784 13086 16 0 209431 0
vsize: 837788
[startup+120.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18066 0 1 0 11016 42 0 0 25 0 11 0 839146020 857894912 24004 4294967295 134512640 134569956 3221224368 3221214496 1131448438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 24004 13086 16 0 209431 0
vsize: 837788
[startup+130.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18066 0 1 0 11966 43 0 0 25 0 11 0 839146020 857894912 24229 4294967295 134512640 134569956 3221224368 3221214448 1131341378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 24229 13086 16 0 209431 0
vsize: 837788
[startup+140.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18066 0 1 0 12907 43 0 0 25 0 11 0 839146020 857894912 24449 4294967295 134512640 134569956 3221224368 3221214448 1131459456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 24449 13086 16 0 209431 0
vsize: 837788
[startup+150.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 13849 43 0 0 24 0 11 0 839146020 857894912 24659 4294967295 134512640 134569956 3221224368 3221214464 1131341137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 24659 13086 16 0 209431 0
vsize: 837788
[startup+160.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 14801 43 0 0 25 0 11 0 839146020 857894912 24860 4294967295 134512640 134569956 3221224368 3221214544 1131451857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 24860 13086 16 0 209431 0
vsize: 837788
[startup+170.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 15752 43 0 0 25 0 11 0 839146020 857894912 25030 4294967295 134512640 134569956 3221224368 3221214632 1131364023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 25030 13086 16 0 209431 0
vsize: 837788
[startup+180.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 16691 44 0 0 25 0 11 0 839146020 857894912 25264 4294967295 134512640 134569956 3221224368 3221214376 1131574817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 25264 13086 16 0 209431 0
vsize: 837788
[startup+190.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 17639 44 0 0 25 0 11 0 839146020 857894912 25458 4294967295 134512640 134569956 3221224368 3221214448 1131461106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 25458 13086 16 0 209431 0
vsize: 837788
[startup+200.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 18585 44 0 0 25 0 11 0 839146020 857894912 25695 4294967295 134512640 134569956 3221224368 3221214448 1131461051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 25695 13086 16 0 209431 0
vsize: 837788
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 19535 44 0 0 25 0 11 0 839146020 857894912 25921 4294967295 134512640 134569956 3221224368 3221214560 1131214227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 25921 13086 16 0 209431 0
vsize: 837788
[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 20484 45 0 0 25 0 11 0 839146020 857894912 26159 4294967295 134512640 134569956 3221224368 3221214632 1131363192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 26159 13086 16 0 209431 0
vsize: 837788
[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 21433 45 0 0 25 0 11 0 839146020 857894912 26351 4294967295 134512640 134569956 3221224368 3221214464 1131341284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 26351 13086 16 0 209431 0
vsize: 837788
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 22379 45 0 0 25 0 11 0 839146020 857894912 26688 4294967295 134512640 134569956 3221224368 3221214544 1131451815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 26688 13086 16 0 209431 0
vsize: 837788
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 23317 46 0 0 25 0 11 0 839146020 857894912 26899 4294967295 134512640 134569956 3221224368 3221214512 1131267236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 26899 13086 16 0 209431 0
vsize: 837788
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 24263 46 0 0 25 0 11 0 839146020 857894912 27142 4294967295 134512640 134569956 3221224368 3221214448 1131460276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 27142 13086 16 0 209431 0
vsize: 837788
[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 25205 46 0 0 25 0 11 0 839146020 857894912 27420 4294967295 134512640 134569956 3221224368 3221214368 1131366324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 27420 13086 16 0 209431 0
vsize: 837788
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 26151 46 0 0 25 0 11 0 839146020 857894912 27690 4294967295 134512640 134569956 3221224368 3221213952 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 27690 13086 16 0 209431 0
vsize: 837788
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 27108 47 0 0 25 0 11 0 839146020 857894912 27842 4294967295 134512640 134569956 3221224368 3221214768 1131385657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 27842 13086 16 0 209431 0
vsize: 837788
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) S 1329 20001 20000 0 -1 0 18067 0 1 0 28055 47 0 0 25 0 11 0 839146020 857894912 27932 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 27932 13086 16 0 209431 0
vsize: 837788
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 29005 47 0 0 25 0 11 0 839146020 857894912 28140 4294967295 134512640 134569956 3221224368 3221214720 1131267600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 28140 13086 16 0 209431 0
vsize: 837788
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 29951 48 0 0 25 0 11 0 839146020 857894912 28350 4294967295 134512640 134569956 3221224368 3221214448 1131459448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 28350 13086 16 0 209431 0
vsize: 837788
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 30895 48 0 0 25 0 11 0 839146020 857894912 28688 4294967295 134512640 134569956 3221224368 3221214528 1131449798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 28688 13086 16 0 209431 0
vsize: 837788
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 31841 48 0 0 25 0 11 0 839146020 857894912 28919 4294967295 134512640 134569956 3221224368 3221214560 1131439541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 28919 13086 16 0 209431 0
vsize: 837788
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 32786 48 0 0 25 0 11 0 839146020 857894912 29201 4294967295 134512640 134569956 3221224368 3221214776 1130894842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 29201 13086 16 0 209431 0
vsize: 837788
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 33734 48 0 0 25 0 11 0 839146020 857894912 29457 4294967295 134512640 134569956 3221224368 3221214464 1131341378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 29457 13086 16 0 209431 0
vsize: 837788
[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 34691 48 0 0 25 0 11 0 839146020 857894912 29584 4294967295 134512640 134569956 3221224368 3221214536 1131214236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 29584 13086 16 0 209431 0
vsize: 837788
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 35637 49 0 0 25 0 11 0 839146020 857894912 29812 4294967295 134512640 134569956 3221224368 3221214312 1131363259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 29812 13086 16 0 209431 0
vsize: 837788
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 36584 49 0 0 25 0 11 0 839146020 857894912 30070 4294967295 134512640 134569956 3221224368 3221214448 1131459474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 30070 13086 16 0 209431 0
vsize: 837788
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 37542 50 0 0 25 0 11 0 839146020 857894912 30178 4294967295 134512640 134569956 3221224368 3221214448 1131459408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 30178 13086 16 0 209431 0
vsize: 837788
[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 38488 50 0 0 25 0 11 0 839146020 857894912 30409 4294967295 134512640 134569956 3221224368 3221214144 1131597159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 30409 13086 16 0 209431 0
vsize: 837788
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 39434 50 0 0 25 0 11 0 839146020 857894912 30607 4294967295 134512640 134569956 3221224368 3221214472 1131374861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 30607 13086 16 0 209431 0
vsize: 837788
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 40380 51 0 0 25 0 11 0 839146020 857894912 30844 4294967295 134512640 134569956 3221224368 3221214712 1131265660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 30844 13086 16 0 209431 0
vsize: 837788
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 41338 51 0 0 25 0 11 0 839146020 857894912 30963 4294967295 134512640 134569956 3221224368 3221214720 1131244800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 30963 13086 16 0 209431 0
vsize: 837788
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 42297 51 0 0 25 0 11 0 839146020 857894912 31071 4294967295 134512640 134569956 3221224368 3221213920 1131597183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 31071 13086 16 0 209431 0
vsize: 837788
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 43238 51 0 0 25 0 11 0 839146020 857894912 31116 4294967295 134512640 134569956 3221224368 3221214632 1131363499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 31116 13086 16 0 209431 0
vsize: 837788
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 44188 52 0 0 25 0 11 0 839146020 857894912 31235 4294967295 134512640 134569956 3221224368 3221214768 1131385524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 31235 13086 16 0 209431 0
vsize: 837788
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 45137 52 0 0 25 0 11 0 839146020 857894912 31439 4294967295 134512640 134569956 3221224368 3221214620 1131213424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 31439 13086 16 0 209431 0
vsize: 837788
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 46099 52 0 0 25 0 11 0 839146020 857894912 31616 4294967295 134512640 134569956 3221224368 3221214624 1131214163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 31616 13086 16 0 209431 0
vsize: 837788
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 47057 53 0 0 25 0 11 0 839146020 857894912 31812 4294967295 134512640 134569956 3221224368 3221214320 1131595850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 31812 13086 16 0 209431 0
vsize: 837788
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 48011 53 0 0 24 0 11 0 839146020 857894912 31948 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 31948 13086 16 0 209431 0
vsize: 837788
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 48967 53 0 0 25 0 11 0 839146020 857894912 32086 4294967295 134512640 134569956 3221224368 3221214536 1131461896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 32086 13086 16 0 209431 0
vsize: 837788
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 49922 53 0 0 25 0 11 0 839146020 857894912 32296 4294967295 134512640 134569956 3221224368 3221214120 1085679454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 32296 13086 16 0 209431 0
vsize: 837788
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 50866 54 0 0 25 0 11 0 839146020 857894912 32546 4294967295 134512640 134569956 3221224368 3221214628 1131507539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 32546 13086 16 0 209431 0
vsize: 837788
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 51822 54 0 0 25 0 11 0 839146020 857894912 32703 4294967295 134512640 134569956 3221224368 3221214552 1131341156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 32703 13086 16 0 209431 0
vsize: 837788
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 52775 54 0 0 25 0 11 0 839146020 857894912 32929 4294967295 134512640 134569956 3221224368 3221214624 1131214138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 32929 13086 16 0 209431 0
vsize: 837788
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 53730 54 0 0 25 0 11 0 839146020 857894912 33179 4294967295 134512640 134569956 3221224368 3221214264 1131595793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 33179 13086 16 0 209431 0
vsize: 837788
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 54686 55 0 0 25 0 11 0 839146020 857894912 33393 4294967295 134512640 134569956 3221224368 3221214472 1131377206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 33393 13086 16 0 209431 0
vsize: 837788
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 55632 55 0 0 25 0 11 0 839146020 857894912 33554 4294967295 134512640 134569956 3221224368 3221214624 1131214213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 33554 13086 16 0 209431 0
vsize: 837788
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 56587 55 0 0 25 0 11 0 839146020 857894912 33777 4294967295 134512640 134569956 3221224368 3221213936 1131595703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 33777 13086 16 0 209431 0
vsize: 837788
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 57542 56 0 0 25 0 11 0 839146020 857894912 34003 4294967295 134512640 134569956 3221224368 3221214536 1131461012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 34003 13086 16 0 209431 0
vsize: 837788
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 58497 56 0 0 25 0 11 0 839146020 857894912 34204 4294967295 134512640 134569956 3221224368 3221214640 1131441819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 34204 13086 16 0 209431 0
vsize: 837788
[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 59453 56 0 0 25 0 11 0 839146020 857894912 34418 4294967295 134512640 134569956 3221224368 3221214624 1131214079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 34418 13086 16 0 209431 0
vsize: 837788
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 60409 57 0 0 25 0 11 0 839146020 857894912 34659 4294967295 134512640 134569956 3221224368 3221214536 1131460204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 34659 13086 16 0 209431 0
vsize: 837788
[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 61362 57 0 0 25 0 11 0 839146020 857894912 35028 4294967295 134512640 134569956 3221224368 3221214632 1131364199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 35028 13086 16 0 209431 0
vsize: 837788
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 62315 57 0 0 25 0 11 0 839146020 857894912 35528 4294967295 134512640 134569956 3221224368 3221214552 1131341378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 35528 13086 16 0 209431 0
vsize: 837788
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 63271 58 0 0 25 0 11 0 839146020 857894912 35695 4294967295 134512640 134569956 3221224368 3221214616 1131449822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 35695 13086 16 0 209431 0
vsize: 837788
[startup+680.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 64228 58 0 0 25 0 11 0 839146020 857894912 36124 4294967295 134512640 134569956 3221224368 3221214720 1131244817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36124 13086 16 0 209431 0
vsize: 837788
[startup+690.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 65174 58 0 0 25 0 11 0 839146020 857894912 36124 4294967295 134512640 134569956 3221224368 3221214720 1131267610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36124 13086 16 0 209431 0
vsize: 837788
[startup+700.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 66138 58 0 0 25 0 11 0 839146020 857894912 36124 4294967295 134512640 134569956 3221224368 3221213992 1131595842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36124 13086 16 0 209431 0
vsize: 837788
[startup+710.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 67090 59 0 0 25 0 11 0 839146020 857894912 36124 4294967295 134512640 134569956 3221224368 3221214720 1131244910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36124 13086 16 0 209431 0
vsize: 837788
[startup+720.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 68051 59 0 0 25 0 11 0 839146020 857894912 36213 4294967295 134512640 134569956 3221224368 3221214720 1131244817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36213 13086 16 0 209431 0
vsize: 837788
[startup+730.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 69003 60 0 0 25 0 11 0 839146020 857894912 36517 4294967295 134512640 134569956 3221224368 3221214632 1131363185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36517 13086 16 0 209431 0
vsize: 837788
[startup+740.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 69971 60 0 0 25 0 11 0 839146020 857894912 36790 4294967295 134512640 134569956 3221224368 3221214720 1131244800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36790 13086 16 0 209431 0
vsize: 837788
[startup+750.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 70943 60 0 0 25 0 11 0 839146020 857894912 36948 4294967295 134512640 134569956 3221224368 3221213952 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36948 13086 16 0 209431 0
vsize: 837788
[startup+760.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 71922 61 0 0 25 0 11 0 839146020 857894912 36966 4294967295 134512640 134569956 3221224368 3221214536 1131342054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 36966 13086 16 0 209431 0
vsize: 837788
[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 72895 61 0 0 25 0 11 0 839146020 857894912 36969 4294967295 134512640 134569956 3221224368 3221214552 1131342008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 36969 13086 16 0 209431 0
vsize: 837788
[startup+780.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 73852 61 0 0 25 0 11 0 839146020 857894912 37006 4294967295 134512640 134569956 3221224368 3221214632 1131363242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 37006 13086 16 0 209431 0
vsize: 837788
[startup+790.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 74810 62 0 0 25 0 11 0 839146020 857894912 37079 4294967295 134512640 134569956 3221224368 3221214016 1131600155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 37079 13086 16 0 209431 0
vsize: 837788
[startup+800.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 75764 62 0 0 25 0 11 0 839146020 857894912 37290 4294967295 134512640 134569956 3221224368 3221214428 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 37290 13086 16 0 209431 0
vsize: 837788
[startup+810.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 76719 63 0 0 25 0 11 0 839146020 857894912 37474 4294967295 134512640 134569956 3221224368 3221214512 1131510394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 37474 13086 16 0 209431 0
vsize: 837788
[startup+820.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 77663 63 0 0 25 0 11 0 839146020 857894912 37711 4294967295 134512640 134569956 3221224368 3221214664 1131341378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 37711 13086 16 0 209431 0
vsize: 837788
[startup+830.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 78618 63 0 0 25 0 11 0 839146020 857894912 37840 4294967295 134512640 134569956 3221224368 3221214624 1131540129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 37840 13086 16 0 209431 0
vsize: 837788
[startup+840.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 79572 63 0 0 25 0 11 0 839146020 857894912 38046 4294967295 134512640 134569956 3221224368 3221214536 1131459460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 38046 13086 16 0 209431 0
vsize: 837788
[startup+850.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 80538 64 0 0 25 0 11 0 839146020 857894912 38183 4294967295 134512640 134569956 3221224368 3221214008 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 38183 13086 16 0 209431 0
vsize: 837788
[startup+860.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 81493 64 0 0 25 0 11 0 839146020 857894912 38375 4294967295 134512640 134569956 3221224368 3221214648 1131439701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 38375 13086 16 0 209431 0
vsize: 837788
[startup+870.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 82437 64 0 0 25 0 11 0 839146020 857894912 38571 4294967295 134512640 134569956 3221224368 3221214616 1131449816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 38571 13086 16 0 209431 0
vsize: 837788
[startup+880.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 83391 64 0 0 25 0 11 0 839146020 857894912 38771 4294967295 134512640 134569956 3221224368 3221214644 1131370796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 38771 13086 16 0 209431 0
vsize: 837788
[startup+890.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 84344 64 0 0 25 0 11 0 839146020 857894912 38973 4294967295 134512640 134569956 3221224368 3221214728 1131606687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 38973 13086 16 0 209431 0
vsize: 837788
[startup+900.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 85310 64 0 0 25 0 11 0 839146020 857894912 39175 4294967295 134512640 134569956 3221224368 3221214200 1131597033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 39175 13086 16 0 209431 0
vsize: 837788
[startup+910.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 86264 64 0 0 25 0 11 0 839146020 857894912 39343 4294967295 134512640 134569956 3221224368 3221214736 1131213471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 39343 13086 16 0 209431 0
vsize: 837788
[startup+920.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 87219 64 0 0 25 0 11 0 839146020 857894912 39495 4294967295 134512640 134569956 3221224368 3221214536 1131460084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 39495 13086 16 0 209431 0
vsize: 837788
[startup+930.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 88173 65 0 0 25 0 11 0 839146020 857894912 39697 4294967295 134512640 134569956 3221224368 3221214632 1131363167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 39697 13086 16 0 209431 0
vsize: 837788
[startup+940.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 89127 65 0 0 25 0 11 0 839146020 857894912 39896 4294967295 134512640 134569956 3221224368 3221213752 1131597180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 39896 13086 16 0 209431 0
vsize: 837788
[startup+950.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 90082 65 0 0 25 0 11 0 839146020 857894912 40121 4294967295 134512640 134569956 3221224368 3221214632 1131451815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 40121 13086 16 0 209431 0
vsize: 837788
[startup+960.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 91047 65 0 0 25 0 11 0 839146020 857894912 40272 4294967295 134512640 134569956 3221224368 3221214632 1131363305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 40272 13086 16 0 209431 0
vsize: 837788
[startup+970.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 92001 66 0 0 25 0 11 0 839146020 857894912 40469 4294967295 134512640 134569956 3221224368 3221214040 1131595772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 40469 13086 16 0 209431 0
vsize: 837788
[startup+980.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 92954 66 0 0 25 0 11 0 839146020 857894912 40637 4294967295 134512640 134569956 3221224368 3221214624 1131214236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209447 40637 13086 16 0 209431 0
vsize: 837788
[startup+990.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 93908 66 0 0 25 0 11 0 839146020 857894912 40879 4294967295 134512640 134569956 3221224368 3221214480 1131597092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 40879 13086 16 0 209431 0
vsize: 837788
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 94863 66 0 0 25 0 11 0 839146020 857894912 41075 4294967295 134512640 134569956 3221224368 3221214200 1085632273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 41075 13086 16 0 209431 0
vsize: 837788
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 95829 66 0 0 25 0 11 0 839146020 857894912 41197 4294967295 134512640 134569956 3221224368 3221214624 1131214279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 41197 13086 16 0 209431 0
vsize: 837788
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 96784 67 0 0 25 0 11 0 839146020 857894912 41389 4294967295 134512640 134569956 3221224368 3221214616 1131449844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 41389 13086 16 0 209431 0
vsize: 837788
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 97738 67 0 0 25 0 11 0 839146020 857894912 41560 4294967295 134512640 134569956 3221224368 3221214644 1131449696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 41560 13086 16 0 209431 0
vsize: 837788
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 98702 67 0 0 25 0 11 0 839146020 857894912 41770 4294967295 134512640 134569956 3221224368 3221214260 1131595792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 41770 13086 16 0 209431 0
vsize: 837788
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 99657 67 0 0 25 0 11 0 839146020 857894912 41957 4294967295 134512640 134569956 3221224368 3221214596 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 41957 13086 16 0 209431 0
vsize: 837788
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 100612 67 0 0 24 0 11 0 839146020 857894912 42122 4294967295 134512640 134569956 3221224368 3221214616 1131449799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 42122 13086 16 0 209431 0
vsize: 837788
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 101578 67 0 0 25 0 11 0 839146020 857894912 42266 4294967295 134512640 134569956 3221224368 3221214536 1131341421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 42266 13086 16 0 209431 0
vsize: 837788
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 102532 67 0 0 25 0 11 0 839146020 857894912 42446 4294967295 134512640 134569956 3221224368 3221214624 1131214204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 42446 13086 16 0 209431 0
vsize: 837788
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 103488 67 0 0 25 0 11 0 839146020 857894912 42672 4294967295 134512640 134569956 3221224368 3221214632 1131364023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 42672 13086 16 0 209431 0
vsize: 837788
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 104445 67 0 0 25 0 11 0 839146020 857894912 42687 4294967295 134512640 134569956 3221224368 3221214720 1131244817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 42687 13086 16 0 209431 0
vsize: 837788
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 105393 67 0 0 25 0 11 0 839146020 857894912 42756 4294967295 134512640 134569956 3221224368 3221214764 1131267212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 42756 13086 16 0 209431 0
vsize: 837788
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 106342 67 0 0 25 0 11 0 839146020 857894912 42756 4294967295 134512640 134569956 3221224368 3221214720 1131244800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 42756 13086 16 0 209431 0
vsize: 837788
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 107295 67 0 0 25 0 11 0 839146020 857894912 42998 4294967295 134512640 134569956 3221224368 3221214596 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 42998 13086 16 0 209431 0
vsize: 837788
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 108250 67 0 0 25 0 11 0 839146020 857894912 43231 4294967295 134512640 134569956 3221224368 3221214632 1131363261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 43231 13086 16 0 209431 0
vsize: 837788
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 109217 67 0 0 25 0 11 0 839146020 857894912 43406 4294967295 134512640 134569956 3221224368 3221214596 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 43406 13086 16 0 209431 0
vsize: 837788
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 110184 68 0 0 25 0 11 0 839146020 857894912 43511 4294967295 134512640 134569956 3221224368 3221213868 1131598112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 43511 13086 16 0 209431 0
vsize: 837788
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 111147 68 0 0 25 0 11 0 839146020 857894912 43521 4294967295 134512640 134569956 3221224368 3221214720 1131267431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 43521 13086 16 0 209431 0
vsize: 837788
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 112094 68 0 0 25 0 11 0 839146020 857894912 43577 4294967295 134512640 134569956 3221224368 3221214092 1131595792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 43577 13086 16 0 209431 0
vsize: 837788
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 113048 68 0 0 25 0 11 0 839146020 857894912 43737 4294967295 134512640 134569956 3221224368 3221214080 1131597186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 43737 13086 16 0 209431 0
vsize: 837788
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 113994 68 0 0 25 0 11 0 839146020 857894912 43875 4294967295 134512640 134569956 3221224368 3221214624 1131214152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 43875 13086 16 0 209431 0
vsize: 837788
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 114949 68 0 0 25 0 11 0 839146020 857894912 43975 4294967295 134512640 134569956 3221224368 3221214536 1131341304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 43975 13086 16 0 209431 0
vsize: 837788
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 115905 68 0 0 25 0 11 0 839146020 857894912 44077 4294967295 134512640 134569956 3221224368 3221214536 1131341621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 44077 13086 16 0 209431 0
vsize: 837788
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 116860 68 0 0 25 0 11 0 839146020 857894912 44195 4294967295 134512640 134569956 3221224368 3221213928 1131595850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 44195 13086 16 0 209431 0
vsize: 837788
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 117817 68 0 0 25 0 11 0 839146020 857894912 44358 4294967295 134512640 134569956 3221224368 3221213868 1131598092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 44358 13086 16 0 209431 0
vsize: 837788
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 118783 68 0 0 25 0 11 0 839146020 857894912 44513 4294967295 134512640 134569956 3221224368 3221213824 1131595793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 44513 13086 16 0 209431 0
vsize: 837788
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 119727 68 0 0 25 0 11 0 839146020 857894912 44725 4294967295 134512640 134569956 3221224368 3221213784 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 44725 13086 16 0 209431 0
vsize: 837788
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1340
Raw data (stat): 1330 (java) R 1329 20001 20000 0 -1 0 18067 0 1 0 120683 68 0 0 25 0 11 0 839146020 857894912 44865 4294967295 134512640 134569956 3221224368 3221214536 1131341635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209447 44865 13086 16 0 209431 0
vsize: 837788
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1342
Raw data (stat): 1330 (java) Z 1329 20001 20000 0 -1 1036 18067 32187 1 0 120684 76 7400 70 25 0 1 0 839146020 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1270.24
CPU time (s): 1282.33
CPU user time (s): 1280.86
CPU system time (s): 1.47378
CPU usage (%): 100.952
Max. virtual memory (Kb): 837788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####