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.burch_dill.3.accl.ucl.opb
MD5SUM	9fbb3a49a26e96e8ca349ca5e732b02f
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	36
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	130
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	9.8365
Number of variables	4622
Total number of constraints	12569
Number of constraints which are clauses	11753
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	816
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 4464

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-13 17:29:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2673 boxname=wulflinc4 idbench=297 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9fbb3a49a26e96e8ca349ca5e732b02f  /oldhome/oroussel/tmp/wulflinc4/normalized-ooo.burch_dill.3.accl.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-ooo.burch_dill.3.accl.ucl.opb
IDLAUNCH: 2673
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        933292 kB
Buffers:         33236 kB
Cached:          48636 kB
SwapCached:          0 kB
Active:          46452 kB
Inactive:        38292 kB
HighTotal:      131008 kB
HighFree:        78596 kB
LowTotal:       903652 kB
LowFree:        854696 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11112 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:49:37 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2673 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-ooo.burch_dill.3.accl.ucl.opb
c reading problem 
c [nbvar=4622]
c [nbconstr=12569]
c time 13.754
c #vars     4622
c #clauses  12569
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
#### 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.85 0.97 0.94 2/54 6686
Raw data (stat): 6686 (runsolver) R 6685 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419530631 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0002 s]
Raw data (loadavg): 0.94 0.98 0.94 2/63 6695
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18009 0 1 0 797 42 0 0 25 0 10 0 419530631 856100864 20782 4294967295 134512640 134569956 3221224400 3221214776 1131303042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209009 20782 13073 16 0 208993 0
vsize: 836036
[startup+20.0006 s]
Raw data (loadavg): 1.11 1.02 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18089 0 1 0 1630 43 0 0 25 0 11 0 419530631 863965184 23220 4294967295 134512640 134569956 3221224400 3221214896 1131338501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210929 23220 13073 16 0 210913 0
vsize: 843716
[startup+30.001 s]
Raw data (loadavg): 1.09 1.02 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18090 0 1 0 2568 44 0 0 25 0 11 0 419530631 862752768 23230 4294967295 134512640 134569956 3221224400 3221214576 1131350192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 23230 13073 16 0 210617 0
vsize: 842532
[startup+40.0007 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18091 0 1 0 3552 44 0 0 25 0 11 0 419530631 862752768 23291 4294967295 134512640 134569956 3221224400 3221214832 1131339968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 23291 13073 16 0 210617 0
vsize: 842532
[startup+50.0022 s]
Raw data (loadavg): 1.07 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18091 0 1 0 4521 44 0 0 25 0 11 0 419530631 862752768 23501 4294967295 134512640 134569956 3221224400 3221214832 1131339870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 23501 13073 16 0 210617 0
vsize: 842532
[startup+60.0025 s]
Raw data (loadavg): 1.06 1.01 0.95 3/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18091 0 1 0 5504 44 0 0 25 0 11 0 419530631 862752768 23560 4294967295 134512640 134569956 3221224400 3221214712 1131353762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 23560 13073 16 0 210617 0
vsize: 842532
[startup+70.0024 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18091 0 1 0 6476 45 0 0 25 0 11 0 419530631 862752768 23744 4294967295 134512640 134569956 3221224400 3221214832 1131339660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 23744 13073 16 0 210617 0
vsize: 842532
[startup+80.0037 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18091 0 1 0 7463 45 0 0 25 0 11 0 419530631 862752768 23883 4294967295 134512640 134569956 3221224400 3221214712 1131354689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 23883 13073 16 0 210617 0
vsize: 842532
[startup+90.0046 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18091 0 1 0 8439 45 0 0 24 0 11 0 419530631 862752768 23883 4294967295 134512640 134569956 3221224400 3221214832 1131340156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 23883 13073 16 0 210617 0
vsize: 842532
[startup+100.004 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18091 0 1 0 9425 45 0 0 25 0 11 0 419530631 862752768 23940 4294967295 134512640 134569956 3221224400 3221214832 1131339891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 23940 13073 16 0 210617 0
vsize: 842532
[startup+110.005 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18091 0 1 0 10413 45 0 0 25 0 11 0 419530631 862752768 24056 4294967295 134512640 134569956 3221224400 3221214712 1131353772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 24056 13073 16 0 210617 0
vsize: 842532
[startup+120.006 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 11389 46 0 0 25 0 11 0 419530631 862752768 24209 4294967295 134512640 134569956 3221224400 3221214680 1131211109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 24209 13073 16 0 210617 0
vsize: 842532
[startup+130.007 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 12365 46 0 0 25 0 11 0 419530631 862752768 24398 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 24398 13073 16 0 210617 0
vsize: 842532
[startup+140.008 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 13353 46 0 0 25 0 11 0 419530631 862752768 24498 4294967295 134512640 134569956 3221224400 3221214792 1131339972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 24498 13073 16 0 210617 0
vsize: 842532
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 14341 47 0 0 25 0 11 0 419530631 862752768 24608 4294967295 134512640 134569956 3221224400 3221214792 1131339891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 24608 13073 16 0 210617 0
vsize: 842532
[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 15317 47 0 0 25 0 11 0 419530631 862752768 24853 4294967295 134512640 134569956 3221224400 3221214792 1131339976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 24853 13073 16 0 210617 0
vsize: 842532
[startup+170.009 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 16305 47 0 0 25 0 11 0 419530631 862752768 25072 4294967295 134512640 134569956 3221224400 3221214672 1131353755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 25072 13073 16 0 210617 0
vsize: 842532
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 17283 47 0 0 25 0 11 0 419530631 862752768 25236 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 25236 13073 16 0 210617 0
vsize: 842532
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 18262 47 0 0 25 0 11 0 419530631 862752768 25482 4294967295 134512640 134569956 3221224400 3221214664 1131211474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 25482 13073 16 0 210617 0
vsize: 842532
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 19250 47 0 0 25 0 11 0 419530631 862752768 25482 4294967295 134512640 134569956 3221224400 3221214792 1131339983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 25482 13073 16 0 210617 0
vsize: 842532
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 20228 47 0 0 25 0 11 0 419530631 862752768 25722 4294967295 134512640 134569956 3221224400 3221214792 1131340154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 25722 13073 16 0 210617 0
vsize: 842532
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 21217 47 0 0 25 0 11 0 419530631 862752768 25825 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 25825 13073 16 0 210617 0
vsize: 842532
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 22195 47 0 0 25 0 11 0 419530631 862752768 26010 4294967295 134512640 134569956 3221224400 3221214592 1131449499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 26010 13073 16 0 210617 0
vsize: 842532
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 23184 47 0 0 25 0 11 0 419530631 862752768 26117 4294967295 134512640 134569956 3221224400 3221214792 1131340164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 26117 13073 16 0 210617 0
vsize: 842532
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 24163 48 0 0 25 0 11 0 419530631 862752768 26346 4294967295 134512640 134569956 3221224400 3221214792 1131339891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 26346 13073 16 0 210617 0
vsize: 842532
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 25143 48 0 0 25 0 11 0 419530631 862752768 26558 4294967295 134512640 134569956 3221224400 3221214792 1131340164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 26558 13073 16 0 210617 0
vsize: 842532
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 26133 48 0 0 25 0 11 0 419530631 862752768 26680 4294967295 134512640 134569956 3221224400 3221214792 1131340139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 26680 13073 16 0 210617 0
vsize: 842532
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 27115 48 0 0 25 0 11 0 419530631 862752768 26785 4294967295 134512640 134569956 3221224400 3221214792 1131339879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 26785 13073 16 0 210617 0
vsize: 842532
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 28104 48 0 0 25 0 11 0 419530631 862752768 26877 4294967295 134512640 134569956 3221224400 3221214672 1131353751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 26877 13073 16 0 210617 0
vsize: 842532
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 29084 48 0 0 25 0 11 0 419530631 862752768 27121 4294967295 134512640 134569956 3221224400 3221214792 1131340154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 27121 13073 16 0 210617 0
vsize: 842532
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 30062 48 0 0 25 0 11 0 419530631 862752768 27288 4294967295 134512640 134569956 3221224400 3221214792 1131339972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 27288 13073 16 0 210617 0
vsize: 842532
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 31051 48 0 0 25 0 11 0 419530631 862752768 27401 4294967295 134512640 134569956 3221224400 3221214672 1131353748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 27401 13073 16 0 210617 0
vsize: 842532
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 32029 48 0 0 25 0 11 0 419530631 862752768 27681 4294967295 134512640 134569956 3221224400 3221214792 1131340146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 27681 13073 16 0 210617 0
vsize: 842532
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 33007 48 0 0 25 0 11 0 419530631 862752768 27890 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 27890 13073 16 0 210617 0
vsize: 842532
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 33986 48 0 0 25 0 11 0 419530631 862752768 27960 4294967295 134512640 134569956 3221224400 3221214792 1131339648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 27960 13073 16 0 210617 0
vsize: 842532
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 34965 48 0 0 24 0 11 0 419530631 862752768 28193 4294967295 134512640 134569956 3221224400 3221214792 1131340146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 28193 13073 16 0 210617 0
vsize: 842532
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 35955 48 0 0 25 0 11 0 419530631 862752768 28314 4294967295 134512640 134569956 3221224400 3221214784 1131414877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 28314 13073 16 0 210617 0
vsize: 842532
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 36933 48 0 0 25 0 11 0 419530631 862752768 28507 4294967295 134512640 134569956 3221224400 3221214664 1131211489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 28507 13073 16 0 210617 0
vsize: 842532
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 37911 49 0 0 17 0 11 0 419530631 862752768 28655 4294967295 134512640 134569956 3221224400 3221214760 1131389673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 28655 13073 16 0 210617 0
vsize: 842532
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 38901 49 0 0 25 0 11 0 419530631 862752768 28729 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 28729 13073 16 0 210617 0
vsize: 842532
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 39880 49 0 0 25 0 11 0 419530631 862752768 28959 4294967295 134512640 134569956 3221224400 3221214792 1131339879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 28959 13073 16 0 210617 0
vsize: 842532
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 40860 49 0 0 25 0 11 0 419530631 862752768 29088 4294967295 134512640 134569956 3221224400 3221214792 1131340146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 29088 13073 16 0 210617 0
vsize: 842532
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 41850 49 0 0 25 0 11 0 419530631 862752768 29192 4294967295 134512640 134569956 3221224400 3221214792 1131340152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 29192 13073 16 0 210617 0
vsize: 842532
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 42830 49 0 0 25 0 11 0 419530631 862752768 29400 4294967295 134512640 134569956 3221224400 3221214672 1131353766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 29400 13073 16 0 210617 0
vsize: 842532
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 43821 49 0 0 25 0 11 0 419530631 862752768 29400 4294967295 134512640 134569956 3221224400 3221214792 1131339648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 29400 13073 16 0 210617 0
vsize: 842532
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 44788 49 0 0 25 0 11 0 419530631 862752768 29666 4294967295 134512640 134569956 3221224400 3221214632 1131633616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 29666 13073 16 0 210617 0
vsize: 842532
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 45778 49 0 0 25 0 11 0 419530631 862752768 29831 4294967295 134512640 134569956 3221224400 3221214672 1131353730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 29831 13073 16 0 210617 0
vsize: 842532
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 46756 49 0 0 25 0 11 0 419530631 862752768 30087 4294967295 134512640 134569956 3221224400 3221214672 1131353095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 30087 13073 16 0 210617 0
vsize: 842532
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 47736 49 0 0 25 0 11 0 419530631 862752768 30271 4294967295 134512640 134569956 3221224400 3221214672 1131353762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 30271 13073 16 0 210617 0
vsize: 842532
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 48717 49 0 0 25 0 11 0 419530631 862752768 30467 4294967295 134512640 134569956 3221224400 3221214792 1131339972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 30467 13073 16 0 210617 0
vsize: 842532
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 49707 49 0 0 25 0 11 0 419530631 862752768 30567 4294967295 134512640 134569956 3221224400 3221214672 1131353600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 30567 13073 16 0 210617 0
vsize: 842532
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 50689 49 0 0 25 0 11 0 419530631 862752768 30830 4294967295 134512640 134569956 3221224400 3221214792 1131340146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 30830 13073 16 0 210617 0
vsize: 842532
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 51665 49 0 0 25 0 11 0 419530631 862752768 31146 4294967295 134512640 134569956 3221224400 3221214792 1131339964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 31146 13073 16 0 210617 0
vsize: 842532
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 52650 49 0 0 25 0 11 0 419530631 862752768 31340 4294967295 134512640 134569956 3221224400 3221214792 1131339976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 31340 13073 16 0 210617 0
vsize: 842532
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 53634 49 0 0 25 0 11 0 419530631 862752768 31544 4294967295 134512640 134569956 3221224400 3221214848 1131430175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 31544 13073 16 0 210617 0
vsize: 842532
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 54626 49 0 0 25 0 11 0 419530631 862752768 31670 4294967295 134512640 134569956 3221224400 3221214792 1131339663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 31670 13073 16 0 210617 0
vsize: 842532
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 55607 49 0 0 25 0 11 0 419530631 862752768 31796 4294967295 134512640 134569956 3221224400 3221214792 1131339968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 31796 13073 16 0 210617 0
vsize: 842532
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 56589 49 0 0 25 0 11 0 419530631 862752768 32021 4294967295 134512640 134569956 3221224400 3221214248 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 32021 13073 16 0 210617 0
vsize: 842532
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 57568 49 0 0 25 0 11 0 419530631 862752768 32212 4294967295 134512640 134569956 3221224400 3221214792 1131340164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 32212 13073 16 0 210617 0
vsize: 842532
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 58557 49 0 0 25 0 11 0 419530631 862752768 32293 4294967295 134512640 134569956 3221224400 3221214792 1131339980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 32293 13073 16 0 210617 0
vsize: 842532
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 59535 49 0 0 25 0 11 0 419530631 862752768 32468 4294967295 134512640 134569956 3221224400 3221214792 1131339983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 32468 13073 16 0 210617 0
vsize: 842532
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 60513 49 0 0 25 0 11 0 419530631 862752768 32742 4294967295 134512640 134569956 3221224400 3221214792 1131339668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 32742 13073 16 0 210617 0
vsize: 842532
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 61491 49 0 0 25 0 11 0 419530631 862752768 32923 4294967295 134512640 134569956 3221224400 3221214792 1131339972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 32923 13073 16 0 210617 0
vsize: 842532
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 62468 49 0 0 25 0 11 0 419530631 862752768 33116 4294967295 134512640 134569956 3221224400 3221214632 1131633620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 33116 13073 16 0 210617 0
vsize: 842532
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 63445 49 0 0 25 0 11 0 419530631 862752768 33332 4294967295 134512640 134569956 3221224400 3221214792 1131340154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 33332 13073 16 0 210617 0
vsize: 842532
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 64423 50 0 0 25 0 11 0 419530631 862752768 33447 4294967295 134512640 134569956 3221224400 3221214784 1131416508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 33447 13073 16 0 210617 0
vsize: 842532
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 65412 50 0 0 25 0 11 0 419530631 862752768 33560 4294967295 134512640 134569956 3221224400 3221214632 1131633623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 33560 13073 16 0 210617 0
vsize: 842532
[startup+680.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 66390 50 0 0 25 0 11 0 419530631 862752768 33745 4294967295 134512640 134569956 3221224400 3221214672 1131353766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 33745 13073 16 0 210617 0
vsize: 842532
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 67370 50 0 0 25 0 11 0 419530631 862752768 33940 4294967295 134512640 134569956 3221224400 3221214792 1131340146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 33940 13073 16 0 210617 0
vsize: 842532
[startup+700.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 68351 50 0 0 25 0 11 0 419530631 862752768 34046 4294967295 134512640 134569956 3221224400 3221214792 1131339964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 34046 13073 16 0 210617 0
vsize: 842532
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 69330 50 0 0 25 0 11 0 419530631 862752768 34241 4294967295 134512640 134569956 3221224400 3221214792 1131339879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 34241 13073 16 0 210617 0
vsize: 842532
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 70311 50 0 0 25 0 11 0 419530631 862752768 34350 4294967295 134512640 134569956 3221224400 3221214792 1131339891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 34350 13073 16 0 210617 0
vsize: 842532
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 71302 50 0 0 25 0 11 0 419530631 862752768 34444 4294967295 134512640 134569956 3221224400 3221214792 1131339891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 34444 13073 16 0 210617 0
vsize: 842532
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 72284 50 0 0 25 0 11 0 419530631 862752768 34524 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 34524 13073 16 0 210617 0
vsize: 842532
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 73265 50 0 0 25 0 11 0 419530631 862752768 34685 4294967295 134512640 134569956 3221224400 3221214792 1131339870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 34685 13073 16 0 210617 0
vsize: 842532
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 74244 50 0 0 25 0 11 0 419530631 862752768 34903 4294967295 134512640 134569956 3221224400 3221214672 1131354769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 34903 13073 16 0 210617 0
vsize: 842532
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 75223 50 0 0 25 0 11 0 419530631 862752768 35011 4294967295 134512640 134569956 3221224400 3221214672 1131353819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 35011 13073 16 0 210617 0
vsize: 842532
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 76202 50 0 0 25 0 11 0 419530631 862752768 35212 4294967295 134512640 134569956 3221224400 3221214792 1131339891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 35212 13073 16 0 210617 0
vsize: 842532
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 77181 50 0 0 25 0 11 0 419530631 862752768 35376 4294967295 134512640 134569956 3221224400 3221214792 1131339964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 35376 13073 16 0 210617 0
vsize: 842532
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 78158 51 0 0 25 0 11 0 419530631 862752768 35595 4294967295 134512640 134569956 3221224400 3221214592 1131449195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 35595 13073 16 0 210617 0
vsize: 842532
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 79137 51 0 0 25 0 11 0 419530631 862752768 35757 4294967295 134512640 134569956 3221224400 3221214792 1131339983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 35757 13073 16 0 210617 0
vsize: 842532
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 80116 51 0 0 25 0 11 0 419530631 862752768 35859 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 35859 13073 16 0 210617 0
vsize: 842532
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 81095 51 0 0 25 0 11 0 419530631 862752768 35948 4294967295 134512640 134569956 3221224400 3221214784 1131414932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 35948 13073 16 0 210617 0
vsize: 842532
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 82072 51 0 0 25 0 11 0 419530631 862752768 36130 4294967295 134512640 134569956 3221224400 3221214648 1131228952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 36130 13073 16 0 210617 0
vsize: 842532
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 83039 51 0 0 25 0 11 0 419530631 862752768 36436 4294967295 134512640 134569956 3221224400 3221214792 1131339870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 36436 13073 16 0 210617 0
vsize: 842532
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 84028 51 0 0 25 0 11 0 419530631 862752768 36492 4294967295 134512640 134569956 3221224400 3221214664 1131211489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 36492 13073 16 0 210617 0
vsize: 842532
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 85007 51 0 0 25 0 11 0 419530631 862752768 36626 4294967295 134512640 134569956 3221224400 3221214792 1131339972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 36626 13073 16 0 210617 0
vsize: 842532
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 85986 51 0 0 25 0 11 0 419530631 862752768 36766 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 36766 13073 16 0 210617 0
vsize: 842532
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 86967 51 0 0 25 0 11 0 419530631 862752768 36897 4294967295 134512640 134569956 3221224400 3221214792 1131339968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 36897 13073 16 0 210617 0
vsize: 842532
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 87949 51 0 0 24 0 11 0 419530631 862752768 37061 4294967295 134512640 134569956 3221224400 3221214792 1131340154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 37061 13073 16 0 210617 0
vsize: 842532
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) S 6685 5897 5896 0 -1 0 18092 0 1 0 88937 51 0 0 25 0 11 0 419530631 862752768 37163 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 37163 13073 16 0 210617 0
vsize: 842532
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 89921 51 0 0 25 0 11 0 419530631 862752768 37300 4294967295 134512640 134569956 3221224400 3221214792 1131339870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 37300 13073 16 0 210617 0
vsize: 842532
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) S 6685 5897 5896 0 -1 0 18092 0 1 0 90897 51 0 0 25 0 11 0 419530631 862752768 37452 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 37452 13073 16 0 210617 0
vsize: 842532
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 91878 51 0 0 25 0 11 0 419530631 862752768 37614 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 37614 13073 16 0 210617 0
vsize: 842532
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 92862 51 0 0 25 0 11 0 419530631 862752768 37678 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 37678 13073 16 0 210617 0
vsize: 842532
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 93845 51 0 0 25 0 11 0 419530631 862752768 37827 4294967295 134512640 134569956 3221224400 3221214704 1131375346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 37827 13073 16 0 210617 0
vsize: 842532
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 94829 51 0 0 25 0 11 0 419530631 862752768 37936 4294967295 134512640 134569956 3221224400 3221214632 1131633755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 37936 13073 16 0 210617 0
vsize: 842532
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 95804 51 0 0 25 0 11 0 419530631 862752768 38088 4294967295 134512640 134569956 3221224400 3221214792 1131339980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 38088 13073 16 0 210617 0
vsize: 842532
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18092 0 1 0 96788 51 0 0 25 0 11 0 419530631 862752768 38217 4294967295 134512640 134569956 3221224400 3221214672 1131353776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 38217 13073 16 0 210617 0
vsize: 842532
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 97768 51 0 0 25 0 11 0 419530631 862752768 38386 4294967295 134512640 134569956 3221224400 3221214632 1131633616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 38386 13073 16 0 210617 0
vsize: 842532
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 98746 51 0 0 25 0 11 0 419530631 862752768 38608 4294967295 134512640 134569956 3221224400 3221214664 1131211489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 38608 13073 16 0 210617 0
vsize: 842532
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 99724 52 0 0 25 0 11 0 419530631 862752768 38790 4294967295 134512640 134569956 3221224400 3221214664 1131211275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 38790 13073 16 0 210617 0
vsize: 842532
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) S 6685 5897 5896 0 -1 0 18093 0 1 0 100701 52 0 0 25 0 11 0 419530631 862752768 38931 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 38934 13073 16 0 210617 0
vsize: 842532
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 101683 52 0 0 25 0 11 0 419530631 862752768 39048 4294967295 134512640 134569956 3221224400 3221214792 1131339668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 39048 13073 16 0 210617 0
vsize: 842532
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 102651 52 0 0 25 0 11 0 419530631 862752768 39301 4294967295 134512640 134569956 3221224400 3221214792 1131339891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 39301 13073 16 0 210617 0
vsize: 842532
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 103641 52 0 0 25 0 11 0 419530631 862752768 39376 4294967295 134512640 134569956 3221224400 3221214792 1131340076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 39376 13073 16 0 210617 0
vsize: 842532
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 104609 52 0 0 25 0 11 0 419530631 862752768 39576 4294967295 134512640 134569956 3221224400 3221214792 1131339663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 39576 13073 16 0 210617 0
vsize: 842532
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 105599 52 0 0 25 0 11 0 419530631 862752768 39658 4294967295 134512640 134569956 3221224400 3221214792 1131340154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 39658 13073 16 0 210617 0
vsize: 842532
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 106577 52 0 0 25 0 11 0 419530631 862752768 39874 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 39874 13073 16 0 210617 0
vsize: 842532
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 107556 52 0 0 25 0 11 0 419530631 862752768 40027 4294967295 134512640 134569956 3221224400 3221214792 1131339960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 40027 13073 16 0 210617 0
vsize: 842532
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 108534 52 0 0 25 0 11 0 419530631 862752768 40236 4294967295 134512640 134569956 3221224400 3221214792 1131339648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 40236 13073 16 0 210617 0
vsize: 842532
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 109513 52 0 0 25 0 11 0 419530631 862752768 40399 4294967295 134512640 134569956 3221224400 3221214792 1131340146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 40399 13073 16 0 210617 0
vsize: 842532
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 110503 52 0 0 25 0 11 0 419530631 862752768 40500 4294967295 134512640 134569956 3221224400 3221214792 1131340139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210633 40500 13073 16 0 210617 0
vsize: 842532
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 111483 52 0 0 25 0 11 0 419530631 862752768 40586 4294967295 134512640 134569956 3221224400 3221214792 1131339980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 40586 13073 16 0 210617 0
vsize: 842532
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 112454 52 0 0 25 0 11 0 419530631 862752768 40759 4294967295 134512640 134569956 3221224400 3221214736 1131227874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 40759 13073 16 0 210617 0
vsize: 842532
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 113435 52 0 0 25 0 11 0 419530631 862752768 40858 4294967295 134512640 134569956 3221224400 3221214792 1131339870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 40858 13073 16 0 210617 0
vsize: 842532
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 114415 52 0 0 25 0 11 0 419530631 862752768 40971 4294967295 134512640 134569956 3221224400 3221214792 1131339663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 40971 13073 16 0 210617 0
vsize: 842532
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 115395 52 0 0 25 0 11 0 419530631 862752768 41152 4294967295 134512640 134569956 3221224400 3221214792 1131339972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 41152 13073 16 0 210617 0
vsize: 842532
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 116375 52 0 0 25 0 11 0 419530631 862752768 41340 4294967295 134512640 134569956 3221224400 3221214664 1131212339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 41340 13073 16 0 210617 0
vsize: 842532
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 117355 52 0 0 25 0 11 0 419530631 862752768 41414 4294967295 134512640 134569956 3221224400 3221214792 1131339660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 41414 13073 16 0 210617 0
vsize: 842532
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 118334 52 0 0 25 0 11 0 419530631 862752768 41540 4294967295 134512640 134569956 3221224400 3221214672 1131353810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 41540 13073 16 0 210617 0
vsize: 842532
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 119312 52 0 0 25 0 11 0 419530631 862752768 41704 4294967295 134512640 134569956 3221224400 3221214792 1131339972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 41704 13073 16 0 210617 0
vsize: 842532
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6696
Raw data (stat): 6686 (java) R 6685 5897 5896 0 -1 0 18093 0 1 0 120290 52 0 0 25 0 11 0 419530631 862752768 41903 4294967295 134512640 134569956 3221224400 3221214760 1131391076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 41903 13073 16 0 210617 0
vsize: 842532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 6698
Raw data (stat): 6686 (java) Z 6685 5897 5896 0 -1 1036 18093 21417 1 0 120296 52 2376 46 25 0 1 0 419530631 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): 1230.19
CPU time (s): 1227.72
CPU user time (s): 1226.73
CPU system time (s): 0.996848
CPU usage (%): 99.7998
Max. virtual memory (Kb): 843716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####