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/manquinho/logic-synthesis/normalized-count.b.opb
MD5SUM	f13ba9c997276002b5bd6db1f679a6f5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	24
Optimality of the best value was proved	NO
Number of terms in the objective function	467
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	467
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	467
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04584
Number of variables	466
Total number of constraints	694
Number of constraints which are clauses	694
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	78
Trace number 4282

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        868460 kB
Buffers:         32192 kB
Cached:          93716 kB
SwapCached:       2476 kB
Active:          40632 kB
Inactive:        90588 kB
HighTotal:      131008 kB
HighFree:        33740 kB
LowTotal:       903652 kB
LowFree:        834720 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            29312 kB
Committed_AS:    63652 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:25:59 (client local time) WITH STATUS 143 IN  SECONDS
stats: 585 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-count.b.opb
c reading problem 
c [nbvar=467]
c [nbconstr=694]
c time 3.099
c #vars     467
c #clauses  694
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=31
c Current CPU time (ms) : 4.98
c starts	: 1
c conflicts	: 2
c decisions	: 274
c propagations	: 526
c inspects	: 1922
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 1
c 
c CURRENT OPTIMUM=30
c Current CPU time (ms) : 560.589
c starts	: 6
c conflicts	: 879
c decisions	: 11653
c propagations	: 33121
c inspects	: 276465
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 879
c root simplifications	: 6
c 
c CURRENT OPTIMUM=29
c Current CPU time (ms) : 926.339
c starts	: 10
c conflicts	: 1406
c decisions	: 18368
c propagations	: 49147
c inspects	: 656002
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1406
c root simplifications	: 10
c 
c CURRENT OPTIMUM=28
c Current CPU time (ms) : 989.559
c starts	: 11
c conflicts	: 1502
c decisions	: 19775
c propagations	: 53833
c inspects	: 739817
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1502
c root simplifications	: 11
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.91 0.56 2/54 22813
Raw data (stat): 22813 (runsolver) R 22812 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477255539 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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+9.99991 s]
Raw data (loadavg): 1.09 0.95 0.57 2/64 22824
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18072 3 1 0 619 44 0 0 25 0 11 0 477255539 865648640 21688 4294967295 134512640 134569956 3221224416 3221214680 1131384063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211340 21688 13073 16 0 211324 0
vsize: 845360
[startup+20.0002 s]
Raw data (loadavg): 1.08 0.95 0.58 3/64 22824
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18074 3 1 0 1546 45 0 0 25 0 11 0 477255539 868532224 22898 4294967295 134512640 134569956 3221224416 3221214776 1131425160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212044 22898 13073 16 0 212028 0
vsize: 848176
[startup+30.0011 s]
Raw data (loadavg): 1.06 0.95 0.58 2/64 22824
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 2476 45 0 0 25 0 11 0 477255539 867483648 23216 4294967295 134512640 134569956 3221224416 3221214596 1130894840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 23216 13073 16 0 211772 0
vsize: 847152
[startup+40.0018 s]
Raw data (loadavg): 1.05 0.95 0.58 2/64 22824
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 3399 45 0 0 25 0 11 0 477255539 867483648 23535 4294967295 134512640 134569956 3221224416 3221214680 1131678124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 23535 13073 16 0 211772 0
vsize: 847152
[startup+50.0022 s]
Raw data (loadavg): 1.05 0.95 0.59 2/64 22824
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 4317 45 0 0 25 0 11 0 477255539 867483648 23812 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 23812 13073 16 0 211772 0
vsize: 847152
[startup+60.0023 s]
Raw data (loadavg): 1.04 0.95 0.59 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 5240 46 0 0 25 0 11 0 477255539 867483648 24111 4294967295 134512640 134569956 3221224416 3221214680 1131678127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 24111 13073 16 0 211772 0
vsize: 847152
[startup+70.0029 s]
Raw data (loadavg): 1.03 0.95 0.60 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 6169 46 0 0 25 0 11 0 477255539 867483648 24241 4294967295 134512640 134569956 3221224416 3221214680 1131679709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 24241 13073 16 0 211772 0
vsize: 847152
[startup+80.0032 s]
Raw data (loadavg): 1.03 0.96 0.60 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 7107 46 0 0 25 0 11 0 477255539 867483648 24480 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 24480 13073 16 0 211772 0
vsize: 847152
[startup+90.0043 s]
Raw data (loadavg): 1.02 0.96 0.60 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 8057 46 0 0 25 0 11 0 477255539 867483648 24769 4294967295 134512640 134569956 3221224416 3221214576 1131592295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 24769 13073 16 0 211772 0
vsize: 847152
[startup+100.005 s]
Raw data (loadavg): 1.02 0.96 0.61 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 9028 46 0 0 25 0 11 0 477255539 867483648 24930 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 24930 13073 16 0 211772 0
vsize: 847152
[startup+110.005 s]
Raw data (loadavg): 1.02 0.96 0.61 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 9999 47 0 0 25 0 11 0 477255539 867483648 24998 4294967295 134512640 134569956 3221224416 3221214768 1131328371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 24998 13073 16 0 211772 0
vsize: 847152
[startup+120.006 s]
Raw data (loadavg): 1.01 0.96 0.62 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 10956 47 0 0 25 0 11 0 477255539 867483648 25093 4294967295 134512640 134569956 3221224416 3221214808 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25093 13073 16 0 211772 0
vsize: 847152
[startup+130.007 s]
Raw data (loadavg): 1.01 0.96 0.62 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 11907 48 0 0 25 0 11 0 477255539 867483648 25150 4294967295 134512640 134569956 3221224416 3221214816 1131426249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25150 13073 16 0 211772 0
vsize: 847152
[startup+140.007 s]
Raw data (loadavg): 1.01 0.96 0.62 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 12859 48 0 0 25 0 11 0 477255539 867483648 25175 4294967295 134512640 134569956 3221224416 3221214584 1131272745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 25175 13073 16 0 211772 0
vsize: 847152
[startup+150.008 s]
Raw data (loadavg): 1.01 0.96 0.63 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 13815 49 0 0 25 0 11 0 477255539 867483648 25447 4294967295 134512640 134569956 3221224416 3221214576 1131592464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25447 13073 16 0 211772 0
vsize: 847152
[startup+160.008 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 14792 49 0 0 25 0 11 0 477255539 867483648 25573 4294967295 134512640 134569956 3221224416 3221214576 1131590705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25573 13073 16 0 211772 0
vsize: 847152
[startup+170.008 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 15771 50 0 0 25 0 11 0 477255539 867483648 25612 4294967295 134512640 134569956 3221224416 3221214704 1131224381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25612 13073 16 0 211772 0
vsize: 847152
[startup+180.008 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 16746 50 0 0 25 0 11 0 477255539 867483648 25631 4294967295 134512640 134569956 3221224416 3221214720 1131384667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25631 13073 16 0 211772 0
vsize: 847152
[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 17707 50 0 0 25 0 11 0 477255539 867483648 25699 4294967295 134512640 134569956 3221224416 3221214676 1131398435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25699 13073 16 0 211772 0
vsize: 847152
[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18076 3 1 0 18665 50 0 0 25 0 11 0 477255539 867483648 25747 4294967295 134512640 134569956 3221224416 3221214576 1131590689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25747 13073 16 0 211772 0
vsize: 847152
[startup+210.01 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 19608 51 0 0 25 0 11 0 477255539 867483648 25810 4294967295 134512640 134569956 3221224416 3221214656 1131398522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 25810 13073 16 0 211772 0
vsize: 847152
[startup+220.011 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 20562 51 0 0 25 0 11 0 477255539 867483648 25950 4294967295 134512640 134569956 3221224416 3221214584 1131272588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 25950 13073 16 0 211772 0
vsize: 847152
[startup+230.011 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 21519 51 0 0 25 0 11 0 477255539 867483648 26082 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 26082 13073 16 0 211772 0
vsize: 847152
[startup+240.012 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 22484 52 0 0 25 0 11 0 477255539 867483648 26249 4294967295 134512640 134569956 3221224416 3221214576 1131591410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 26249 13073 16 0 211772 0
vsize: 847152
[startup+250.012 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 23459 52 0 0 24 0 11 0 477255539 867483648 26353 4294967295 134512640 134569956 3221224416 3221214680 1131678112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 26353 13073 16 0 211772 0
vsize: 847152
[startup+260.012 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 24442 52 0 0 25 0 11 0 477255539 867483648 26409 4294967295 134512640 134569956 3221224416 3221214680 1131678124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 26409 13073 16 0 211772 0
vsize: 847152
[startup+270.013 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 25421 53 0 0 24 0 11 0 477255539 867483648 26459 4294967295 134512640 134569956 3221224416 3221214584 1131272745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 26459 13073 16 0 211772 0
vsize: 847152
[startup+280.014 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 26406 53 0 0 25 0 11 0 477255539 867483648 26495 4294967295 134512640 134569956 3221224416 3221214584 1131272745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 26495 13073 16 0 211772 0
vsize: 847152
[startup+290.015 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 27389 53 0 0 25 0 11 0 477255539 867483648 26519 4294967295 134512640 134569956 3221224416 3221214704 1131223881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 26519 13073 16 0 211772 0
vsize: 847152
[startup+300.041 s]
Raw data (loadavg): 1.00 0.97 0.67 3/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 28366 53 0 0 25 0 11 0 477255539 867483648 26554 4294967295 134512640 134569956 3221224416 3221214816 1131424939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 26554 13073 16 0 211772 0
vsize: 847152
[startup+310.041 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 29335 53 0 0 25 0 11 0 477255539 867483648 26582 4294967295 134512640 134569956 3221224416 3221214584 1131272828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 26582 13073 16 0 211772 0
vsize: 847152
[startup+320.041 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 30292 53 0 0 25 0 11 0 477255539 867483648 26643 4294967295 134512640 134569956 3221224416 3221214576 1131591312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 26643 13073 16 0 211772 0
vsize: 847152
[startup+330.041 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 31259 53 0 0 25 0 11 0 477255539 867483648 26722 4294967295 134512640 134569956 3221224416 3221214800 1131341557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 26722 13073 16 0 211772 0
vsize: 847152
[startup+340.042 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 32221 54 0 0 25 0 11 0 477255539 867483648 26831 4294967295 134512640 134569956 3221224416 3221214856 1131532571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 26831 13073 16 0 211772 0
vsize: 847152
[startup+350.042 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 33186 54 0 0 25 0 11 0 477255539 867483648 26935 4294967295 134512640 134569956 3221224416 3221214680 1131678236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 26935 13073 16 0 211772 0
vsize: 847152
[startup+360.043 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 34149 55 0 0 25 0 11 0 477255539 867483648 26992 4294967295 134512640 134569956 3221224416 3221214816 1131428362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 26992 13073 16 0 211772 0
vsize: 847152
[startup+370.044 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 35123 55 0 0 25 0 11 0 477255539 867483648 27089 4294967295 134512640 134569956 3221224416 3221214584 1131272588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27089 13073 16 0 211772 0
vsize: 847152
[startup+380.044 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 36098 56 0 0 25 0 11 0 477255539 867483648 27165 4294967295 134512640 134569956 3221224416 3221214720 1131383006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27165 13073 16 0 211772 0
vsize: 847152
[startup+390.045 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 37058 56 0 0 25 0 11 0 477255539 867483648 27213 4294967295 134512640 134569956 3221224416 3221214656 1131398529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27213 13073 16 0 211772 0
vsize: 847152
[startup+400.046 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 38005 56 0 0 25 0 11 0 477255539 867483648 27251 4294967295 134512640 134569956 3221224416 3221214720 1131383191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27251 13073 16 0 211772 0
vsize: 847152
[startup+410.046 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 38950 57 0 0 25 0 11 0 477255539 867483648 27302 4294967295 134512640 134569956 3221224416 3221214584 1131272702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27302 13073 16 0 211772 0
vsize: 847152
[startup+420.047 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 39901 57 0 0 25 0 11 0 477255539 867483648 27515 4294967295 134512640 134569956 3221224416 3221214576 1131592291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27515 13073 16 0 211772 0
vsize: 847152
[startup+430.048 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 40860 58 0 0 25 0 11 0 477255539 867483648 27655 4294967295 134512640 134569956 3221224416 3221214656 1131581589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27655 13073 16 0 211772 0
vsize: 847152
[startup+440.048 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 41826 58 0 0 25 0 11 0 477255539 867483648 27804 4294967295 134512640 134569956 3221224416 3221214584 1131272902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 27804 13073 16 0 211772 0
vsize: 847152
[startup+450.048 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 42796 58 0 0 25 0 11 0 477255539 867483648 27889 4294967295 134512640 134569956 3221224416 3221214576 1131592287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27889 13073 16 0 211772 0
vsize: 847152
[startup+460.048 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 43765 59 0 0 25 0 11 0 477255539 867483648 27925 4294967295 134512640 134569956 3221224416 3221214576 1131591554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27925 13073 16 0 211772 0
vsize: 847152
[startup+470.049 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 44737 59 0 0 25 0 11 0 477255539 867483648 27997 4294967295 134512640 134569956 3221224416 3221214800 1131339279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 27997 13073 16 0 211772 0
vsize: 847152
[startup+480.049 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 45707 60 0 0 25 0 11 0 477255539 867483648 28073 4294967295 134512640 134569956 3221224416 3221214656 1131398478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28073 13073 16 0 211772 0
vsize: 847152
[startup+490.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 46676 61 0 0 25 0 11 0 477255539 867483648 28137 4294967295 134512640 134569956 3221224416 3221214576 1131590700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28137 13073 16 0 211772 0
vsize: 847152
[startup+500.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 47648 61 0 0 25 0 11 0 477255539 867483648 28197 4294967295 134512640 134569956 3221224416 3221214704 1131223881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211788 28197 13073 16 0 211772 0
vsize: 847152
[startup+510.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 48618 61 0 0 25 0 11 0 477255539 867483648 28236 4294967295 134512640 134569956 3221224416 3221214672 1131326140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28236 13073 16 0 211772 0
vsize: 847152
[startup+520.051 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 49585 62 0 0 25 0 11 0 477255539 867483648 28320 4294967295 134512640 134569956 3221224416 3221214408 1078032837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28320 13073 16 0 211772 0
vsize: 847152
[startup+530.051 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 50553 62 0 0 25 0 11 0 477255539 867483648 28363 4294967295 134512640 134569956 3221224416 3221214576 1131593154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28363 13073 16 0 211772 0
vsize: 847152
[startup+540.052 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 51514 63 0 0 25 0 11 0 477255539 867483648 28439 4294967295 134512640 134569956 3221224416 3221214800 1131337370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28439 13073 16 0 211772 0
vsize: 847152
[startup+550.052 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 52492 63 0 0 25 0 11 0 477255539 867483648 28510 4294967295 134512640 134569956 3221224416 3221214696 1131382827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28510 13073 16 0 211772 0
vsize: 847152
[startup+560.051 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 22826
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 53459 64 0 0 25 0 11 0 477255539 867483648 28565 4294967295 134512640 134569956 3221224416 3221214704 1131223767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28565 13073 16 0 211772 0
vsize: 847152
[startup+570.052 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 54413 64 0 0 25 0 11 0 477255539 867483648 28621 4294967295 134512640 134569956 3221224416 3221214800 1131338495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28621 13073 16 0 211772 0
vsize: 847152
[startup+580.052 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 55362 64 0 0 25 0 11 0 477255539 867483648 28678 4294967295 134512640 134569956 3221224416 3221214352 1131582264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28678 13073 16 0 211772 0
vsize: 847152
[startup+590.053 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 56289 64 0 0 25 0 11 0 477255539 867483648 28744 4294967295 134512640 134569956 3221224416 3221214560 1131272685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28744 13073 16 0 211772 0
vsize: 847152
[startup+600.052 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 57234 65 0 0 25 0 11 0 477255539 867483648 28872 4294967295 134512640 134569956 3221224416 3221214560 1131272456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 28872 13073 16 0 211772 0
vsize: 847152
[startup+610.052 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 58191 65 0 0 25 0 11 0 477255539 867483648 29168 4294967295 134512640 134569956 3221224416 3221214704 1131224073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 29168 13073 16 0 211772 0
vsize: 847152
[startup+620.052 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 59134 66 0 0 24 0 11 0 477255539 867483648 29324 4294967295 134512640 134569956 3221224416 3221214704 1131223815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 29324 13073 16 0 211772 0
vsize: 847152
[startup+630.052 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 60107 66 0 0 25 0 11 0 477255539 867483648 29434 4294967295 134512640 134569956 3221224416 3221214576 1131582289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 29434 13073 16 0 211772 0
vsize: 847152
[startup+640.054 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 61072 67 0 0 25 0 11 0 477255539 867483648 29478 4294967295 134512640 134569956 3221224416 3221214632 1131398513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 29478 13073 16 0 211772 0
vsize: 847152
[startup+650.054 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 62018 67 0 0 25 0 11 0 477255539 867483648 29550 4294967295 134512640 134569956 3221224416 3221214560 1131272593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 29550 13073 16 0 211772 0
vsize: 847152
[startup+660.053 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 62983 68 0 0 25 0 11 0 477255539 867483648 29629 4294967295 134512640 134569956 3221224416 3221214792 1131425365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 29629 13073 16 0 211772 0
vsize: 847152
[startup+670.054 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 63934 68 0 0 25 0 11 0 477255539 867483648 29842 4294967295 134512640 134569956 3221224416 3221214792 1131429789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 29842 13073 16 0 211772 0
vsize: 847152
[startup+680.054 s]
Raw data (loadavg): 1.00 0.97 0.77 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 64889 68 0 0 25 0 11 0 477255539 867483648 29948 4294967295 134512640 134569956 3221224416 3221214800 1131337435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 29948 13073 16 0 211772 0
vsize: 847152
[startup+690.056 s]
Raw data (loadavg): 1.00 0.97 0.77 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 65833 68 0 0 25 0 11 0 477255539 867483648 30053 4294967295 134512640 134569956 3221224416 3221214656 1131678127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30053 13073 16 0 211772 0
vsize: 847152
[startup+700.057 s]
Raw data (loadavg): 1.00 0.97 0.77 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 66778 68 0 0 25 0 11 0 477255539 867483648 30175 4294967295 134512640 134569956 3221224416 3221214560 1131272558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30175 13073 16 0 211772 0
vsize: 847152
[startup+710.057 s]
Raw data (loadavg): 1.00 0.97 0.77 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 67734 69 0 0 24 0 11 0 477255539 867483648 30354 4294967295 134512640 134569956 3221224416 3221214560 1131272828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30354 13073 16 0 211772 0
vsize: 847152
[startup+720.058 s]
Raw data (loadavg): 1.00 0.97 0.77 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 68705 69 0 0 25 0 11 0 477255539 867483648 30483 4294967295 134512640 134569956 3221224416 3221214656 1131678131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30483 13073 16 0 211772 0
vsize: 847152
[startup+730.058 s]
Raw data (loadavg): 1.00 0.97 0.78 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 69678 69 0 0 25 0 11 0 477255539 867483648 30540 4294967295 134512640 134569956 3221224416 3221214800 1131339402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30540 13073 16 0 211772 0
vsize: 847152
[startup+740.059 s]
Raw data (loadavg): 1.00 0.97 0.78 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 70641 70 0 0 25 0 11 0 477255539 867483648 30560 4294967295 134512640 134569956 3221224416 3221214656 1131678160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30560 13073 16 0 211772 0
vsize: 847152
[startup+750.06 s]
Raw data (loadavg): 1.00 0.97 0.78 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 71589 70 0 0 25 0 11 0 477255539 867483648 30605 4294967295 134512640 134569956 3221224416 3221214488 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30605 13073 16 0 211772 0
vsize: 847152
[startup+760.059 s]
Raw data (loadavg): 1.00 0.97 0.78 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 72547 71 0 0 25 0 11 0 477255539 867483648 30739 4294967295 134512640 134569956 3221224416 3221214292 1131582224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30739 13073 16 0 211772 0
vsize: 847152
[startup+770.06 s]
Raw data (loadavg): 1.08 0.99 0.79 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 73511 71 0 0 25 0 11 0 477255539 867483648 30875 4294967295 134512640 134569956 3221224416 3221214560 1131272702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30875 13073 16 0 211772 0
vsize: 847152
[startup+780.061 s]
Raw data (loadavg): 1.07 0.99 0.79 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 74473 72 0 0 24 0 11 0 477255539 867483648 30996 4294967295 134512640 134569956 3221224416 3221214788 1131375904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 30996 13073 16 0 211772 0
vsize: 847152
[startup+790.061 s]
Raw data (loadavg): 1.06 0.99 0.79 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 75440 72 0 0 25 0 11 0 477255539 867483648 31019 4294967295 134512640 134569956 3221224416 3221214560 1131272745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31019 13073 16 0 211772 0
vsize: 847152
[startup+800.062 s]
Raw data (loadavg): 1.05 0.99 0.80 2/64 22827
Raw data (stat): 22813 (java) S 22812 22612 22611 0 -1 0 18077 3 1 0 76405 73 0 0 25 0 11 0 477255539 867483648 31068 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31068 13073 16 0 211772 0
vsize: 847152
[startup+810.062 s]
Raw data (loadavg): 1.04 0.99 0.80 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 77367 73 0 0 24 0 11 0 477255539 867483648 31175 4294967295 134512640 134569956 3221224416 3221214560 1131272745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31175 13073 16 0 211772 0
vsize: 847152
[startup+820.063 s]
Raw data (loadavg): 1.03 0.99 0.80 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 78335 73 0 0 25 0 11 0 477255539 867483648 31253 4294967295 134512640 134569956 3221224416 3221214704 1131223679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31253 13073 16 0 211772 0
vsize: 847152
[startup+830.063 s]
Raw data (loadavg): 1.03 0.99 0.80 2/64 22827
Raw data (stat): 22813 (java) S 22812 22612 22611 0 -1 0 18077 3 1 0 79301 74 0 0 25 0 11 0 477255539 867483648 31292 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31292 13073 16 0 211772 0
vsize: 847152
[startup+840.064 s]
Raw data (loadavg): 1.02 0.99 0.80 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 80269 74 0 0 25 0 11 0 477255539 867483648 31361 4294967295 134512640 134569956 3221224416 3221214704 1131224101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31361 13073 16 0 211772 0
vsize: 847152
[startup+850.064 s]
Raw data (loadavg): 1.02 0.99 0.81 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 81231 75 0 0 25 0 11 0 477255539 867483648 31424 4294967295 134512640 134569956 3221224416 3221214704 1131223970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31424 13073 16 0 211772 0
vsize: 847152
[startup+860.064 s]
Raw data (loadavg): 1.02 0.99 0.81 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 82198 75 0 0 25 0 11 0 477255539 867483648 31500 4294967295 134512640 134569956 3221224416 3221214544 1085679321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31500 13073 16 0 211772 0
vsize: 847152
[startup+870.064 s]
Raw data (loadavg): 1.01 0.99 0.81 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 83169 75 0 0 25 0 11 0 477255539 867483648 31555 4294967295 134512640 134569956 3221224416 3221214680 1131575370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31555 13073 16 0 211772 0
vsize: 847152
[startup+880.064 s]
Raw data (loadavg): 1.01 0.99 0.81 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 84139 76 0 0 25 0 11 0 477255539 867483648 31635 4294967295 134512640 134569956 3221224416 3221214704 1131223881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31635 13073 16 0 211772 0
vsize: 847152
[startup+890.065 s]
Raw data (loadavg): 1.01 0.99 0.81 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 85093 76 0 0 25 0 11 0 477255539 867483648 31727 4294967295 134512640 134569956 3221224416 3221214656 1131678212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31727 13073 16 0 211772 0
vsize: 847152
[startup+900.065 s]
Raw data (loadavg): 1.01 0.99 0.81 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 86058 76 0 0 25 0 11 0 477255539 867483648 31791 4294967295 134512640 134569956 3221224416 3221214032 1131566154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31791 13073 16 0 211772 0
vsize: 847152
[startup+910.064 s]
Raw data (loadavg): 1.00 0.99 0.82 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 87033 76 0 0 25 0 11 0 477255539 867483648 31838 4294967295 134512640 134569956 3221224416 3221214216 1131582302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31838 13073 16 0 211772 0
vsize: 847152
[startup+920.065 s]
Raw data (loadavg): 1.00 0.99 0.82 2/64 22827
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 87990 77 0 0 25 0 11 0 477255539 867483648 31941 4294967295 134512640 134569956 3221224416 3221214704 1131223881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 31941 13073 16 0 211772 0
vsize: 847152
[startup+930.065 s]
Raw data (loadavg): 1.00 0.99 0.82 2/64 22828
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 88952 77 0 0 25 0 11 0 477255539 867483648 32001 4294967295 134512640 134569956 3221224416 3221214704 1131223533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32001 13073 16 0 211772 0
vsize: 847152
[startup+940.066 s]
Raw data (loadavg): 1.00 0.99 0.82 2/64 22828
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 89914 77 0 0 25 0 11 0 477255539 867483648 32025 4294967295 134512640 134569956 3221224416 3221214800 1131337215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32025 13073 16 0 211772 0
vsize: 847152
[startup+950.066 s]
Raw data (loadavg): 1.00 0.99 0.82 2/64 22828
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 90852 78 0 0 25 0 11 0 477255539 867483648 32173 4294967295 134512640 134569956 3221224416 3221214292 1131582288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32173 13073 16 0 211772 0
vsize: 847152
[startup+960.066 s]
Raw data (loadavg): 1.00 0.99 0.82 2/64 22828
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 91814 78 0 0 25 0 11 0 477255539 867483648 32221 4294967295 134512640 134569956 3221224416 3221214800 1131337199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32221 13073 16 0 211772 0
vsize: 847152
[startup+970.066 s]
Raw data (loadavg): 1.00 0.99 0.82 2/64 22828
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 92769 78 0 0 25 0 11 0 477255539 867483648 32457 4294967295 134512640 134569956 3221224416 3221214264 1131565884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32457 13073 16 0 211772 0
vsize: 847152
[startup+980.066 s]
Raw data (loadavg): 1.00 0.99 0.82 2/64 22828
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 93742 79 0 0 25 0 11 0 477255539 867483648 32524 4294967295 134512640 134569956 3221224416 3221214384 1131570850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32524 13073 16 0 211772 0
vsize: 847152
[startup+990.067 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22828
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18077 3 1 0 94708 79 0 0 25 0 11 0 477255539 867483648 32555 4294967295 134512640 134569956 3221224416 3221214704 1131223662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32555 13073 16 0 211772 0
vsize: 847152
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 95678 79 0 0 25 0 11 0 477255539 867483648 32614 4294967295 134512640 134569956 3221224416 3221214216 1131582282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32614 13073 16 0 211772 0
vsize: 847152
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 96630 79 0 0 25 0 11 0 477255539 867483648 32745 4294967295 134512640 134569956 3221224416 3221214512 1131575209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32745 13073 16 0 211772 0
vsize: 847152
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 97597 80 0 0 25 0 11 0 477255539 867483648 32782 4294967295 134512640 134569956 3221224416 3221214368 1085679261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32782 13073 16 0 211772 0
vsize: 847152
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 98538 80 0 0 25 0 11 0 477255539 867483648 32877 4294967295 134512640 134569956 3221224416 3221214800 1131337370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 32877 13073 16 0 211772 0
vsize: 847152
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 99471 81 0 0 25 0 11 0 477255539 867483648 33038 4294967295 134512640 134569956 3221224416 3221214656 1131678112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33038 13073 16 0 211772 0
vsize: 847152
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 100414 81 0 0 25 0 11 0 477255539 867483648 33215 4294967295 134512640 134569956 3221224416 3221214384 1131570626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33215 13073 16 0 211772 0
vsize: 847152
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 101401 81 0 0 25 0 11 0 477255539 867483648 33255 4294967295 134512640 134569956 3221224416 3221214704 1131223893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33255 13073 16 0 211772 0
vsize: 847152
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 102382 82 0 0 25 0 11 0 477255539 867483648 33327 4294967295 134512640 134569956 3221224416 3221214800 1131337370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33327 13073 16 0 211772 0
vsize: 847152
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.83 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 103333 82 0 0 25 0 11 0 477255539 867483648 33476 4294967295 134512640 134569956 3221224416 3221214240 1131582181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33476 13073 16 0 211772 0
vsize: 847152
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 104309 82 0 0 25 0 11 0 477255539 867483648 33528 4294967295 134512640 134569956 3221224416 3221214288 1131575356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33528 13073 16 0 211772 0
vsize: 847152
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 105291 82 0 0 25 0 11 0 477255539 867483648 33578 4294967295 134512640 134569956 3221224416 3221214432 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33578 13073 16 0 211772 0
vsize: 847152
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 106251 82 0 0 25 0 11 0 477255539 867483648 33623 4294967295 134512640 134569956 3221224416 3221214296 1131582295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33623 13073 16 0 211772 0
vsize: 847152
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 107217 83 0 0 25 0 11 0 477255539 867483648 33666 4294967295 134512640 134569956 3221224416 3221214704 1131223521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33666 13073 16 0 211772 0
vsize: 847152
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 108189 83 0 0 25 0 11 0 477255539 867483648 33745 4294967295 134512640 134569956 3221224416 3221214792 1131429002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33745 13073 16 0 211772 0
vsize: 847152
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 109141 84 0 0 25 0 11 0 477255539 867483648 33850 4294967295 134512640 134569956 3221224416 3221214464 1131582264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33850 13073 16 0 211772 0
vsize: 847152
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 110093 84 0 0 24 0 11 0 477255539 867483648 33949 4294967295 134512640 134569956 3221224416 3221214552 1131591450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 33949 13073 16 0 211772 0
vsize: 847152
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 111047 84 0 0 25 0 11 0 477255539 867483648 34101 4294967295 134512640 134569956 3221224416 3221214560 1131272886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34101 13073 16 0 211772 0
vsize: 847152
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 112011 85 0 0 25 0 11 0 477255539 867483648 34219 4294967295 134512640 134569956 3221224416 3221214560 1131272588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34219 13073 16 0 211772 0
vsize: 847152
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.84 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 112983 85 0 0 25 0 11 0 477255539 867483648 34313 4294967295 134512640 134569956 3221224416 3221214208 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34313 13073 16 0 211772 0
vsize: 847152
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.85 2/64 22829
Raw data (stat): 22813 (java) S 22812 22612 22611 0 -1 0 18078 3 1 0 113953 85 0 0 25 0 11 0 477255539 867483648 34402 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34402 13073 16 0 211772 0
vsize: 847152
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.85 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 114920 85 0 0 25 0 11 0 477255539 867483648 34426 4294967295 134512640 134569956 3221224416 3221214296 1131582264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34426 13073 16 0 211772 0
vsize: 847152
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.85 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 115878 86 0 0 25 0 11 0 477255539 867483648 34482 4294967295 134512640 134569956 3221224416 3221214800 1131338475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34482 13073 16 0 211772 0
vsize: 847152
[startup+1220.08 s]
Raw data (loadavg): 1.00 0.99 0.85 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 116838 86 0 0 25 0 11 0 477255539 867483648 34566 4294967295 134512640 134569956 3221224416 3221214656 1131678127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34566 13073 16 0 211772 0
vsize: 847152
[startup+1230.08 s]
Raw data (loadavg): 1.00 0.99 0.85 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 117816 86 0 0 25 0 11 0 477255539 867483648 34602 4294967295 134512640 134569956 3221224416 3221214880 1131611481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34602 13073 16 0 211772 0
vsize: 847152
[startup+1240.08 s]
Raw data (loadavg): 1.00 0.99 0.85 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 118784 87 0 0 25 0 11 0 477255539 867483648 34668 4294967295 134512640 134569956 3221224416 3221214652 1131398542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34668 13073 16 0 211772 0
vsize: 847152
[startup+1250.08 s]
Raw data (loadavg): 1.00 0.99 0.85 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 119748 87 0 0 25 0 11 0 477255539 867483648 34765 4294967295 134512640 134569956 3221224416 3221214560 1131272590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34765 13073 16 0 211772 0
vsize: 847152
[startup+1260.08 s]
Raw data (loadavg): 1.00 0.99 0.85 2/64 22829
Raw data (stat): 22813 (java) R 22812 22612 22611 0 -1 0 18078 3 1 0 120717 87 0 0 25 0 11 0 477255539 867483648 34840 4294967295 134512640 134569956 3221224416 3221214504 1131575362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211788 34840 13073 16 0 211772 0
vsize: 847152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.42 s]
Raw data (loadavg): 1.00 0.99 0.85 1/54 22831
Raw data (stat): 22813 (java) Z 22812 22612 22611 0 -1 1036 18078 21066 1 1 120744 95 6343 59 25 0 1 0 477255539 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.42
CPU time (s): 1272.43
CPU user time (s): 1270.88
CPU system time (s): 1.54976
CPU usage (%): 100.952
Max. virtual memory (Kb): 848176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####