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/submitted/een/normalized-nw04.opb
MD5SUM	c4c13764e2ea959929790d6ef6d0273c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	42031
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	18.0483
Number of variables	87482
Total number of constraints	72
Number of constraints which are clauses	36
Number of constraints which are cardinality constraints (but not clauses)	36
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	599
Maximum length of a constraint	42032
Trace number 29413

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        748968 kB
Buffers:         24328 kB
Cached:         238364 kB
SwapCached:        400 kB
Active:          54852 kB
Inactive:       210040 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        748716 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            15208 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:42:55 (client local time) WITH STATUS 143 IN 1312.26 SECONDS
stats: 20802 7 1312.26 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/wulflinc22/normalized-nw04.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.181
#### 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.94 0.98 0.99 2/54 1099
Raw data (stat): 1099 (runsolver) R 1098 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837034986 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18007 0 1 0 886 37 0 0 25 0 10 0 837034986 853663744 19353 4294967295 134512640 134569956 3221224384 3221214476 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208414 19353 13086 16 0 208398 0
vsize: 833656
[startup+20.0019 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 1783 38 0 0 25 0 10 0 837034986 853516288 19897 4294967295 134512640 134569956 3221224384 3221214652 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 19897 13086 16 0 208362 0
vsize: 833512
[startup+30.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 2677 38 0 0 24 0 10 0 837034986 853516288 20295 4294967295 134512640 134569956 3221224384 3221214128 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 20295 13086 16 0 208362 0
vsize: 833512
[startup+40.0033 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 3596 38 0 0 24 0 10 0 837034986 854564864 20817 4294967295 134512640 134569956 3221224384 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 20817 13086 16 0 208618 0
vsize: 834536
[startup+50.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 4519 38 0 0 24 0 10 0 837034986 854564864 20972 4294967295 134512640 134569956 3221224384 3221214780 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 20972 13086 16 0 208618 0
vsize: 834536
[startup+60.0042 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 5441 38 0 0 25 0 10 0 837034986 854564864 21092 4294967295 134512640 134569956 3221224384 3221214152 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21092 13086 16 0 208618 0
vsize: 834536
[startup+70.0056 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 6370 38 0 0 24 0 10 0 837034986 853516288 21139 4294967295 134512640 134569956 3221224384 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21139 13086 16 0 208362 0
vsize: 833512
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 7313 39 0 0 25 0 10 0 837034986 853516288 21232 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21232 13086 16 0 208362 0
vsize: 833512
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 8254 39 0 0 25 0 10 0 837034986 853516288 21322 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21322 13086 16 0 208362 0
vsize: 833512
[startup+100.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 9199 39 0 0 25 0 10 0 837034986 853516288 21400 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21400 13086 16 0 208362 0
vsize: 833512
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 10140 40 0 0 25 0 10 0 837034986 853516288 21478 4294967295 134512640 134569956 3221224384 3221214728 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208378 21478 13086 16 0 208362 0
vsize: 833512
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 11083 40 0 0 25 0 10 0 837034986 853516288 21553 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21553 13086 16 0 208362 0
vsize: 833512
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 12029 40 0 0 25 0 10 0 837034986 853516288 21618 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21618 13086 16 0 208362 0
vsize: 833512
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 12972 41 0 0 25 0 10 0 837034986 853516288 21684 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21684 13086 16 0 208362 0
vsize: 833512
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 13914 41 0 0 24 0 10 0 837034986 853516288 21748 4294967295 134512640 134569956 3221224384 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21748 13086 16 0 208362 0
vsize: 833512
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 14861 41 0 0 25 0 10 0 837034986 853516288 21805 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21805 13086 16 0 208362 0
vsize: 833512
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 15798 41 0 0 24 0 10 0 837034986 853516288 21864 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21864 13086 16 0 208362 0
vsize: 833512
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 16716 42 0 0 25 0 10 0 837034986 853516288 21918 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 21918 13086 16 0 208362 0
vsize: 833512
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 17640 42 0 0 25 0 10 0 837034986 853516288 22226 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22226 13086 16 0 208362 0
vsize: 833512
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 18579 42 0 0 24 0 10 0 837034986 853516288 22280 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22280 13086 16 0 208362 0
vsize: 833512
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 19521 43 0 0 25 0 10 0 837034986 853516288 22329 4294967295 134512640 134569956 3221224384 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22329 13086 16 0 208362 0
vsize: 833512
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 20460 43 0 0 24 0 10 0 837034986 853516288 22379 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22379 13086 16 0 208362 0
vsize: 833512
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 21402 43 0 0 25 0 10 0 837034986 853516288 22426 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22426 13086 16 0 208362 0
vsize: 833512
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 22340 43 0 0 24 0 10 0 837034986 853516288 22474 4294967295 134512640 134569956 3221224384 3221214764 1080204149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22474 13086 16 0 208362 0
vsize: 833512
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 23281 44 0 0 25 0 10 0 837034986 853516288 22518 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22518 13086 16 0 208362 0
vsize: 833512
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 24218 44 0 0 24 0 10 0 837034986 853516288 22565 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22565 13086 16 0 208362 0
vsize: 833512
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 25158 44 0 0 25 0 10 0 837034986 853516288 22607 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22607 13086 16 0 208362 0
vsize: 833512
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 26098 45 0 0 25 0 10 0 837034986 853516288 22648 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22648 13086 16 0 208362 0
vsize: 833512
[startup+290.022 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 27034 45 0 0 25 0 10 0 837034986 853516288 22692 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22692 13086 16 0 208362 0
vsize: 833512
[startup+300.022 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 27973 45 0 0 25 0 10 0 837034986 853516288 22732 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22732 13086 16 0 208362 0
vsize: 833512
[startup+310.023 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 28908 46 0 0 25 0 10 0 837034986 853516288 22773 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22773 13086 16 0 208362 0
vsize: 833512
[startup+320.023 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 29846 46 0 0 25 0 10 0 837034986 853516288 22812 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22812 13086 16 0 208362 0
vsize: 833512
[startup+330.023 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 30779 47 0 0 24 0 10 0 837034986 853516288 22852 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22852 13086 16 0 208362 0
vsize: 833512
[startup+340.025 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 31717 47 0 0 25 0 10 0 837034986 853516288 22889 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22889 13086 16 0 208362 0
vsize: 833512
[startup+350.025 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 32654 47 0 0 25 0 10 0 837034986 853516288 22926 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22926 13086 16 0 208362 0
vsize: 833512
[startup+360.026 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 33587 47 0 0 25 0 10 0 837034986 853516288 22964 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 22964 13086 16 0 208362 0
vsize: 833512
[startup+370.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 34523 48 0 0 25 0 10 0 837034986 853516288 23000 4294967295 134512640 134569956 3221224384 3221214232 1080019619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23000 13086 16 0 208362 0
vsize: 833512
[startup+380.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 35455 49 0 0 24 0 10 0 837034986 853516288 23037 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23037 13086 16 0 208362 0
vsize: 833512
[startup+390.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 36390 49 0 0 25 0 10 0 837034986 853516288 23073 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23073 13086 16 0 208362 0
vsize: 833512
[startup+400.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 37324 50 0 0 25 0 10 0 837034986 853516288 23107 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23107 13086 16 0 208362 0
vsize: 833512
[startup+410.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 38254 50 0 0 25 0 10 0 837034986 853516288 23142 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23142 13086 16 0 208362 0
vsize: 833512
[startup+420.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 39188 51 0 0 25 0 10 0 837034986 853516288 23176 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23176 13086 16 0 208362 0
vsize: 833512
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 40122 51 0 0 25 0 10 0 837034986 853516288 23208 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23208 13086 16 0 208362 0
vsize: 833512
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 41051 51 0 0 25 0 10 0 837034986 853516288 23243 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23243 13086 16 0 208362 0
vsize: 833512
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 41984 51 0 0 25 0 10 0 837034986 853516288 23275 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23275 13086 16 0 208362 0
vsize: 833512
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 42918 51 0 0 25 0 10 0 837034986 853516288 23307 4294967295 134512640 134569956 3221224384 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23307 13086 16 0 208362 0
vsize: 833512
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 43846 52 0 0 24 0 10 0 837034986 853516288 23340 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23340 13086 16 0 208362 0
vsize: 833512
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 44777 52 0 0 25 0 10 0 837034986 853516288 23371 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23371 13086 16 0 208362 0
vsize: 833512
[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 45707 53 0 0 25 0 10 0 837034986 853516288 23401 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23401 13086 16 0 208362 0
vsize: 833512
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 46638 54 0 0 25 0 10 0 837034986 853516288 23432 4294967295 134512640 134569956 3221224384 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23432 13086 16 0 208362 0
vsize: 833512
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 47563 54 0 0 24 0 10 0 837034986 853516288 23464 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23464 13086 16 0 208362 0
vsize: 833512
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 48493 54 0 0 25 0 10 0 837034986 853516288 23493 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23493 13086 16 0 208362 0
vsize: 833512
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 49421 55 0 0 25 0 10 0 837034986 853516288 23523 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23523 13086 16 0 208362 0
vsize: 833512
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 50350 56 0 0 25 0 10 0 837034986 853516288 23552 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23552 13086 16 0 208362 0
vsize: 833512
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 51279 56 0 0 25 0 10 0 837034986 853516288 23580 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23580 13086 16 0 208362 0
vsize: 833512
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 52206 57 0 0 25 0 10 0 837034986 853516288 23610 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23610 13086 16 0 208362 0
vsize: 833512
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) S 1098 23310 23309 0 -1 0 18008 0 1 0 53133 57 0 0 25 0 10 0 837034986 853516288 23639 4294967295 134512640 134569956 3221224384 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23639 13086 16 0 208362 0
vsize: 833512
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 54058 58 0 0 24 0 10 0 837034986 853516288 23668 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23668 13086 16 0 208362 0
vsize: 833512
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 54985 58 0 0 25 0 10 0 837034986 853516288 23696 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23696 13086 16 0 208362 0
vsize: 833512
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 55911 58 0 0 25 0 10 0 837034986 853516288 23723 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23723 13086 16 0 208362 0
vsize: 833512
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 56837 59 0 0 25 0 10 0 837034986 853516288 23751 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23751 13086 16 0 208362 0
vsize: 833512
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 57763 59 0 0 25 0 10 0 837034986 853516288 23778 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23778 13086 16 0 208362 0
vsize: 833512
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 58689 60 0 0 25 0 10 0 837034986 853516288 23805 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23805 13086 16 0 208362 0
vsize: 833512
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 59614 60 0 0 25 0 10 0 837034986 853516288 23831 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23831 13086 16 0 208362 0
vsize: 833512
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 60540 60 0 0 25 0 10 0 837034986 853516288 23858 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23858 13086 16 0 208362 0
vsize: 833512
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) S 1098 23310 23309 0 -1 0 18008 0 1 0 61465 60 0 0 25 0 10 0 837034986 853516288 23884 4294967295 134512640 134569956 3221224384 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 23884 13086 16 0 208362 0
vsize: 833512
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 62383 61 0 0 25 0 10 0 837034986 853516288 24830 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24830 13086 16 0 208362 0
vsize: 833512
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 63302 61 0 0 24 0 10 0 837034986 853516288 24830 4294967295 134512640 134569956 3221224384 3221214764 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24830 13086 16 0 208362 0
vsize: 833512
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) S 1098 23310 23309 0 -1 0 18008 0 1 0 64220 62 0 0 25 0 10 0 837034986 853516288 24843 4294967295 134512640 134569956 3221224384 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24843 13086 16 0 208362 0
vsize: 833512
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 65136 62 0 0 25 0 10 0 837034986 853516288 24868 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24868 13086 16 0 208362 0
vsize: 833512
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 66050 63 0 0 25 0 10 0 837034986 853516288 24893 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24893 13086 16 0 208362 0
vsize: 833512
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 66963 63 0 0 25 0 10 0 837034986 853516288 24918 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24918 13086 16 0 208362 0
vsize: 833512
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 67877 63 0 0 25 0 10 0 837034986 853516288 24943 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24943 13086 16 0 208362 0
vsize: 833512
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 68790 64 0 0 25 0 10 0 837034986 853516288 24968 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24968 13086 16 0 208362 0
vsize: 833512
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 69702 64 0 0 25 0 10 0 837034986 853516288 24993 4294967295 134512640 134569956 3221224384 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 24993 13086 16 0 208362 0
vsize: 833512
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 70614 65 0 0 19 0 10 0 837034986 853516288 25018 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25018 13086 16 0 208362 0
vsize: 833512
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 71527 65 0 0 25 0 10 0 837034986 853516288 25042 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25042 13086 16 0 208362 0
vsize: 833512
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 72439 65 0 0 24 0 10 0 837034986 853516288 25066 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25066 13086 16 0 208362 0
vsize: 833512
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 73357 66 0 0 25 0 10 0 837034986 853516288 25088 4294967295 134512640 134569956 3221224384 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25088 13086 16 0 208362 0
vsize: 833512
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 74269 66 0 0 25 0 10 0 837034986 853516288 25112 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25112 13086 16 0 208362 0
vsize: 833512
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 75180 66 0 0 25 0 10 0 837034986 853516288 25136 4294967295 134512640 134569956 3221224384 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25136 13086 16 0 208362 0
vsize: 833512
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 76091 67 0 0 25 0 10 0 837034986 853516288 25159 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25159 13086 16 0 208362 0
vsize: 833512
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 77001 68 0 0 25 0 10 0 837034986 853516288 25183 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25183 13086 16 0 208362 0
vsize: 833512
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 77911 68 0 0 24 0 10 0 837034986 853516288 25206 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25206 13086 16 0 208362 0
vsize: 833512
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 78827 68 0 0 25 0 10 0 837034986 853516288 25227 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25227 13086 16 0 208362 0
vsize: 833512
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 79736 69 0 0 25 0 10 0 837034986 853516288 25250 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25250 13086 16 0 208362 0
vsize: 833512
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 80646 69 0 0 25 0 10 0 837034986 853516288 25273 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25273 13086 16 0 208362 0
vsize: 833512
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 81554 69 0 0 24 0 10 0 837034986 853516288 25299 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25299 13086 16 0 208362 0
vsize: 833512
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) S 1098 23310 23309 0 -1 0 18008 0 1 0 82467 70 0 0 25 0 10 0 837034986 853516288 25322 4294967295 134512640 134569956 3221224384 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25322 13086 16 0 208362 0
vsize: 833512
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 83375 71 0 0 25 0 10 0 837034986 853516288 25344 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25344 13086 16 0 208362 0
vsize: 833512
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 84283 71 0 0 21 0 10 0 837034986 853516288 25376 4294967295 134512640 134569956 3221224384 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25376 13086 16 0 208362 0
vsize: 833512
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 85190 72 0 0 20 0 10 0 837034986 853516288 25401 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25401 13086 16 0 208362 0
vsize: 833512
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 86103 72 0 0 25 0 10 0 837034986 853516288 25426 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25426 13086 16 0 208362 0
vsize: 833512
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 87009 73 0 0 25 0 10 0 837034986 853516288 25448 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25448 13086 16 0 208362 0
vsize: 833512
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 87916 73 0 0 25 0 10 0 837034986 853516288 25478 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25478 13086 16 0 208362 0
vsize: 833512
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 88822 73 0 0 24 0 10 0 837034986 853516288 25504 4294967295 134512640 134569956 3221224384 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25504 13086 16 0 208362 0
vsize: 833512
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 89732 73 0 0 25 0 10 0 837034986 853516288 25528 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25528 13086 16 0 208362 0
vsize: 833512
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 90638 74 0 0 25 0 10 0 837034986 853516288 25553 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25553 13086 16 0 208362 0
vsize: 833512
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 91543 74 0 0 24 0 10 0 837034986 853516288 25576 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25576 13086 16 0 208362 0
vsize: 833512
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 92455 75 0 0 25 0 10 0 837034986 853516288 25601 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25601 13086 16 0 208362 0
vsize: 833512
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 93359 76 0 0 20 0 10 0 837034986 853516288 25625 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25625 13086 16 0 208362 0
vsize: 833512
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 94263 76 0 0 19 0 10 0 837034986 853516288 25646 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25646 13086 16 0 208362 0
vsize: 833512
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 95174 76 0 0 24 0 10 0 837034986 853516288 25674 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25674 13086 16 0 208362 0
vsize: 833512
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 96078 77 0 0 21 0 10 0 837034986 853516288 25697 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25697 13086 16 0 208362 0
vsize: 833512
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 96982 77 0 0 20 0 10 0 837034986 853516288 25718 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25718 13086 16 0 208362 0
vsize: 833512
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) S 1098 23310 23309 0 -1 0 18008 0 1 0 97891 78 0 0 24 0 10 0 837034986 853516288 25746 4294967295 134512640 134569956 3221224384 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25746 13086 16 0 208362 0
vsize: 833512
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 98793 78 0 0 22 0 10 0 837034986 853516288 25771 4294967295 134512640 134569956 3221224384 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25771 13086 16 0 208362 0
vsize: 833512
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 99695 78 0 0 19 0 10 0 837034986 853516288 25794 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25794 13086 16 0 208362 0
vsize: 833512
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 100603 79 0 0 23 0 10 0 837034986 853516288 25814 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25814 13086 16 0 208362 0
vsize: 833512
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 101504 80 0 0 21 0 10 0 837034986 853516288 25840 4294967295 134512640 134569956 3221224384 3221214216 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25840 13086 16 0 208362 0
vsize: 833512
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) S 1098 23310 23309 0 -1 0 18008 0 1 0 102406 80 0 0 23 0 10 0 837034986 853516288 25864 4294967295 134512640 134569956 3221224384 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25864 13086 16 0 208362 0
vsize: 833512
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 103313 81 0 0 21 0 10 0 837034986 853516288 25886 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25886 13086 16 0 208362 0
vsize: 833512
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 104213 81 0 0 19 0 10 0 837034986 853516288 25908 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25908 13086 16 0 208362 0
vsize: 833512
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 105120 81 0 0 23 0 10 0 837034986 853516288 25932 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25932 13086 16 0 208362 0
vsize: 833512
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 106022 82 0 0 18 0 10 0 837034986 853516288 25953 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25953 13086 16 0 208362 0
vsize: 833512
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 106922 82 0 0 19 0 10 0 837034986 853516288 25978 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25978 13086 16 0 208362 0
vsize: 833512
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 107830 83 0 0 21 0 10 0 837034986 853516288 25999 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 25999 13086 16 0 208362 0
vsize: 833512
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 108731 83 0 0 19 0 10 0 837034986 853516288 26022 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26022 13086 16 0 208362 0
vsize: 833512
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 109636 83 0 0 21 0 10 0 837034986 853516288 26040 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26040 13086 16 0 208362 0
vsize: 833512
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 110534 84 0 0 19 0 10 0 837034986 853516288 26067 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26067 13086 16 0 208362 0
vsize: 833512
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) S 1098 23310 23309 0 -1 0 18008 0 1 0 111433 84 0 0 23 0 10 0 837034986 853516288 26090 4294967295 134512640 134569956 3221224384 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26090 13086 16 0 208362 0
vsize: 833512
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 112334 84 0 0 21 0 10 0 837034986 853516288 26110 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26110 13086 16 0 208362 0
vsize: 833512
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 113233 85 0 0 18 0 10 0 837034986 853516288 26133 4294967295 134512640 134569956 3221224384 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26133 13086 16 0 208362 0
vsize: 833512
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 114138 85 0 0 22 0 10 0 837034986 853516288 26151 4294967295 134512640 134569956 3221224384 3221214216 1077558179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26151 13086 16 0 208362 0
vsize: 833512
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 115036 85 0 0 19 0 10 0 837034986 853516288 26170 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26170 13086 16 0 208362 0
vsize: 833512
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 115940 86 0 0 23 0 10 0 837034986 853516288 26199 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26199 13086 16 0 208362 0
vsize: 833512
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 116839 86 0 0 20 0 10 0 837034986 853516288 26220 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26220 13086 16 0 208362 0
vsize: 833512
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) S 1098 23310 23309 0 -1 0 18008 0 1 0 117738 87 0 0 22 0 10 0 837034986 853516288 26249 4294967295 134512640 134569956 3221224384 3221213368 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26249 13086 16 0 208362 0
vsize: 833512
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 118643 88 0 0 21 0 10 0 837034986 853516288 26269 4294967295 134512640 134569956 3221224384 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26269 13086 16 0 208362 0
vsize: 833512
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 119543 89 0 0 19 0 10 0 837034986 853516288 26297 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26297 13086 16 0 208362 0
vsize: 833512
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1108
Raw data (stat): 1099 (java) R 1098 23310 23309 0 -1 0 18008 0 1 0 120450 89 0 0 23 0 10 0 837034986 853516288 26317 4294967295 134512640 134569956 3221224384 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208378 26317 13086 16 0 208362 0
vsize: 833512
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1110
Raw data (stat): 1099 (java) Z 1098 23310 23309 0 -1 1036 18008 9520 1 0 120453 93 10631 46 24 0 1 0 837034986 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.17
CPU time (s): 1312.26
CPU user time (s): 1310.85
CPU system time (s): 1.40879
CPU usage (%): 100.16
Max. virtual memory (Kb): 834536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####