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/synthesis-ptl-cmos-circuits/normalized-c8.opb
MD5SUM	9b291040ec2b77d0bffb739c0db80d53
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1194
Optimality of the best value was proved	NO
Number of terms in the objective function	239
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	10012
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	10012
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.941856
Number of variables	239
Total number of constraints	524
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4
Minimum length of a constraint	1
Maximum length of a constraint	36
Trace number 4436

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-13 17:11:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2250 boxname=wulflinc9 idbench=250 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9b291040ec2b77d0bffb739c0db80d53  /oldhome/oroussel/tmp/wulflinc9/normalized-c8.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-c8.opb
IDLAUNCH: 2250
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        935988 kB
Buffers:         32264 kB
Cached:          46732 kB
SwapCached:        564 kB
Active:          44636 kB
Inactive:        37724 kB
HighTotal:      131008 kB
HighFree:        80444 kB
LowTotal:       903652 kB
LowFree:        855544 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10732 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:32:12 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2250 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-c8.opb
c reading problem 
c [nbvar=239]
c [nbconstr=524]
c time 1.459
c #vars     239
c #clauses  524
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=1349
c Current CPU time (ms) : 2.288
c starts	: 1
c conflicts	: 5
c decisions	: 197
c propagations	: 443
c inspects	: 1108
c learned literals	: 4
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 5
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.95 2/54 31639
Raw data (stat): 31639 (runsolver) R 31638 30854 30853 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 419429971 1052672 97 4294967295 134512640 135381576 3221224448 3221219820 135024803 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 1.16 1.03 0.96 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18078 3 1 0 681 47 0 0 25 0 11 0 419429971 861892608 20665 4294967295 134512640 134569956 3221224416 3221214716 1080203725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210423 20665 13073 16 0 210407 0
vsize: 841692
[startup+20.0019 s]
Raw data (loadavg): 1.21 1.05 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18078 3 1 0 1590 47 0 0 19 0 11 0 419429971 861663232 21101 4294967295 134512640 134569956 3221224416 3221214792 1131266421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210367 21101 13073 16 0 210351 0
vsize: 841468
[startup+30.0039 s]
Raw data (loadavg): 1.18 1.05 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18079 3 1 0 2528 47 0 0 25 0 11 0 419429971 861106176 21454 4294967295 134512640 134569956 3221224416 3221214912 1131554462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 21454 13073 16 0 210215 0
vsize: 840924
[startup+40.0044 s]
Raw data (loadavg): 1.15 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18079 3 1 0 3451 47 0 0 25 0 11 0 419429971 861106176 21844 4294967295 134512640 134569956 3221224416 3221214792 1131265399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 21844 13073 16 0 210215 0
vsize: 840924
[startup+50.0051 s]
Raw data (loadavg): 1.13 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 4382 47 0 0 25 0 11 0 419429971 861106176 22180 4294967295 134512640 134569956 3221224416 3221214608 1131468611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 22180 13073 16 0 210215 0
vsize: 840924
[startup+60.0059 s]
Raw data (loadavg): 1.11 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 5313 48 0 0 25 0 11 0 419429971 861106176 22385 4294967295 134512640 134569956 3221224416 3221214608 1131468962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 22385 13073 16 0 210215 0
vsize: 840924
[startup+70.0066 s]
Raw data (loadavg): 1.09 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 6248 48 0 0 25 0 11 0 419429971 861106176 22586 4294967295 134512640 134569956 3221224416 3221214792 1131265338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 22586 13073 16 0 210215 0
vsize: 840924
[startup+80.0084 s]
Raw data (loadavg): 1.08 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 7187 48 0 0 25 0 11 0 419429971 861106176 22790 4294967295 134512640 134569956 3221224416 3221214792 1131270160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 22790 13073 16 0 210215 0
vsize: 840924
[startup+90.0091 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 8136 48 0 0 25 0 11 0 419429971 861106176 22956 4294967295 134512640 134569956 3221224416 3221214880 1131588186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 22956 13073 16 0 210215 0
vsize: 840924
[startup+100.009 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 9090 48 0 0 25 0 11 0 419429971 861106176 23094 4294967295 134512640 134569956 3221224416 3221214688 1131218573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23094 13073 16 0 210215 0
vsize: 840924
[startup+110.01 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 10050 48 0 0 25 0 11 0 419429971 861106176 23237 4294967295 134512640 134569956 3221224416 3221214608 1131407238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23237 13073 16 0 210215 0
vsize: 840924
[startup+120.01 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 11007 48 0 0 25 0 11 0 419429971 861106176 23356 4294967295 134512640 134569956 3221224416 3221214688 1131218573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23356 13073 16 0 210215 0
vsize: 840924
[startup+130.011 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 11966 48 0 0 25 0 11 0 419429971 861106176 23499 4294967295 134512640 134569956 3221224416 3221214616 1131256449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23499 13073 16 0 210215 0
vsize: 840924
[startup+140.012 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 12928 48 0 0 25 0 11 0 419429971 861106176 23601 4294967295 134512640 134569956 3221224416 3221214688 1131219417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23601 13073 16 0 210215 0
vsize: 840924
[startup+150.013 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 13898 48 0 0 25 0 11 0 419429971 861106176 23718 4294967295 134512640 134569956 3221224416 3221214520 1080217364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23718 13073 16 0 210215 0
vsize: 840924
[startup+160.013 s]
Raw data (loadavg): 1.10 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 14867 48 0 0 25 0 11 0 419429971 861106176 23802 4294967295 134512640 134569956 3221224416 3221214784 1131267282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23802 13073 16 0 210215 0
vsize: 840924
[startup+170.014 s]
Raw data (loadavg): 1.08 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 15842 48 0 0 25 0 11 0 419429971 861106176 23896 4294967295 134512640 134569956 3221224416 3221214840 1131310374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23896 13073 16 0 210215 0
vsize: 840924
[startup+180.013 s]
Raw data (loadavg): 1.07 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 16815 48 0 0 25 0 11 0 419429971 861106176 23979 4294967295 134512640 134569956 3221224416 3221214528 1131518698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 23979 13073 16 0 210215 0
vsize: 840924
[startup+190.015 s]
Raw data (loadavg): 1.06 1.04 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 17792 48 0 0 25 0 11 0 419429971 861106176 24045 4294967295 134512640 134569956 3221224416 3221214576 1131499891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24045 13073 16 0 210215 0
vsize: 840924
[startup+200.015 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 18769 48 0 0 25 0 11 0 419429971 861106176 24103 4294967295 134512640 134569956 3221224416 3221214688 1131218573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24103 13073 16 0 210215 0
vsize: 840924
[startup+210.016 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 19744 48 0 0 25 0 11 0 419429971 861106176 24152 4294967295 134512640 134569956 3221224416 3221214496 1131621601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24152 13073 16 0 210215 0
vsize: 840924
[startup+220.017 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 20722 49 0 0 25 0 11 0 419429971 861106176 24228 4294967295 134512640 134569956 3221224416 3221214840 1131309242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24228 13073 16 0 210215 0
vsize: 840924
[startup+230.017 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 21700 49 0 0 25 0 11 0 419429971 861106176 24261 4294967295 134512640 134569956 3221224416 3221214720 1131611968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24261 13073 16 0 210215 0
vsize: 840924
[startup+240.018 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 22674 49 0 0 25 0 11 0 419429971 861106176 24326 4294967295 134512640 134569956 3221224416 3221214728 1131360656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24326 13073 16 0 210215 0
vsize: 840924
[startup+250.018 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 23643 50 0 0 25 0 11 0 419429971 861106176 24400 4294967295 134512640 134569956 3221224416 3221214688 1131218275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24400 13073 16 0 210215 0
vsize: 840924
[startup+260.019 s]
Raw data (loadavg): 1.10 1.04 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 24612 50 0 0 25 0 11 0 419429971 861106176 24464 4294967295 134512640 134569956 3221224416 3221214552 1131497763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24464 13073 16 0 210215 0
vsize: 840924
[startup+270.02 s]
Raw data (loadavg): 1.08 1.04 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 25578 51 0 0 24 0 11 0 419429971 861106176 24544 4294967295 134512640 134569956 3221224416 3221214784 1131265399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24544 13073 16 0 210215 0
vsize: 840924
[startup+280.019 s]
Raw data (loadavg): 1.07 1.04 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 26550 52 0 0 25 0 11 0 419429971 861106176 24578 4294967295 134512640 134569956 3221224416 3221214688 1131218312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24578 13073 16 0 210215 0
vsize: 840924
[startup+290.02 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 27516 52 0 0 24 0 11 0 419429971 861106176 24662 4294967295 134512640 134569956 3221224416 3221214720 1131614091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24662 13073 16 0 210215 0
vsize: 840924
[startup+300.021 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 28498 53 0 0 25 0 11 0 419429971 861106176 24766 4294967295 134512640 134569956 3221224416 3221214032 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24766 13073 16 0 210215 0
vsize: 840924
[startup+310.022 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 29467 53 0 0 25 0 11 0 419429971 861106176 24823 4294967295 134512640 134569956 3221224416 3221214480 1131624662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24823 13073 16 0 210215 0
vsize: 840924
[startup+320.022 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 30434 54 0 0 25 0 11 0 419429971 861106176 24887 4294967295 134512640 134569956 3221224416 3221214780 1131218156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24887 13073 16 0 210215 0
vsize: 840924
[startup+330.022 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 31405 54 0 0 25 0 11 0 419429971 861106176 24974 4294967295 134512640 134569956 3221224416 3221214424 1131624591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 24974 13073 16 0 210215 0
vsize: 840924
[startup+340.023 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 32369 54 0 0 25 0 11 0 419429971 861106176 25078 4294967295 134512640 134569956 3221224416 3221214728 1131360917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25078 13073 16 0 210215 0
vsize: 840924
[startup+350.023 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 33332 54 0 0 25 0 11 0 419429971 861106176 25174 4294967295 134512640 134569956 3221224416 3221214908 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25174 13073 16 0 210215 0
vsize: 840924
[startup+360.024 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 34301 55 0 0 25 0 11 0 419429971 861106176 25266 4294967295 134512640 134569956 3221224416 3221214784 1131265399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25266 13073 16 0 210215 0
vsize: 840924
[startup+370.025 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 35269 55 0 0 25 0 11 0 419429971 861106176 25351 4294967295 134512640 134569956 3221224416 3221214616 1131256375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25351 13073 16 0 210215 0
vsize: 840924
[startup+380.025 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 36243 56 0 0 25 0 11 0 419429971 861106176 25447 4294967295 134512640 134569956 3221224416 3221214784 1131265428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25447 13073 16 0 210215 0
vsize: 840924
[startup+390.026 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 37223 56 0 0 25 0 11 0 419429971 861106176 25530 4294967295 134512640 134569956 3221224416 3221214728 1131358288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 25530 13073 16 0 210215 0
vsize: 840924
[startup+400.027 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 38206 57 0 0 25 0 11 0 419429971 861106176 25588 4294967295 134512640 134569956 3221224416 3221214512 1131505901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25588 13073 16 0 210215 0
vsize: 840924
[startup+410.027 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 39189 57 0 0 24 0 11 0 419429971 861106176 25634 4294967295 134512640 134569956 3221224416 3221214608 1131406786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25634 13073 16 0 210215 0
vsize: 840924
[startup+420.028 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 40171 57 0 0 25 0 11 0 419429971 861106176 25676 4294967295 134512640 134569956 3221224416 3221214616 1131469228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25676 13073 16 0 210215 0
vsize: 840924
[startup+430.029 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 41150 58 0 0 25 0 11 0 419429971 861106176 25706 4294967295 134512640 134569956 3221224416 3221214616 1131256257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25706 13073 16 0 210215 0
vsize: 840924
[startup+440.03 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 42131 58 0 0 25 0 11 0 419429971 861106176 25758 4294967295 134512640 134569956 3221224416 3221214616 1131256484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25758 13073 16 0 210215 0
vsize: 840924
[startup+450.031 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 43114 58 0 0 25 0 11 0 419429971 861106176 25796 4294967295 134512640 134569956 3221224416 3221214616 1131256581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25796 13073 16 0 210215 0
vsize: 840924
[startup+460.038 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 44097 59 0 0 25 0 11 0 419429971 861106176 25865 4294967295 134512640 134569956 3221224416 3221214616 1131256375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25865 13073 16 0 210215 0
vsize: 840924
[startup+470.039 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 31650
Raw data (stat): 31639 (java) S 31638 30854 30853 0 -1 0 18080 3 1 0 45082 60 0 0 25 0 11 0 419429971 861106176 25914 4294967295 134512640 134569956 3221224416 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25914 13073 16 0 210215 0
vsize: 840924
[startup+480.04 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 46071 60 0 0 25 0 11 0 419429971 861106176 25947 4294967295 134512640 134569956 3221224416 3221214616 1131256449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25947 13073 16 0 210215 0
vsize: 840924
[startup+490.04 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 47062 60 0 0 25 0 11 0 419429971 861106176 25976 4294967295 134512640 134569956 3221224416 3221214584 1131591623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25976 13073 16 0 210215 0
vsize: 840924
[startup+500.041 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 48051 61 0 0 25 0 11 0 419429971 861106176 25996 4294967295 134512640 134569956 3221224416 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 25996 13073 16 0 210215 0
vsize: 840924
[startup+510.041 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 49037 61 0 0 25 0 11 0 419429971 861106176 26056 4294967295 134512640 134569956 3221224416 3221214608 1131407216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26056 13073 16 0 210215 0
vsize: 840924
[startup+520.042 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 50023 62 0 0 25 0 11 0 419429971 861106176 26106 4294967295 134512640 134569956 3221224416 3221214528 1131518717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26106 13073 16 0 210215 0
vsize: 840924
[startup+530.042 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 51018 62 0 0 25 0 11 0 419429971 861106176 26112 4294967295 134512640 134569956 3221224416 3221214568 1131609943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26112 13073 16 0 210215 0
vsize: 840924
[startup+540.043 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 52012 63 0 0 25 0 11 0 419429971 861106176 26112 4294967295 134512640 134569956 3221224416 3221214584 1131591581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26112 13073 16 0 210215 0
vsize: 840924
[startup+550.043 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 53007 63 0 0 25 0 11 0 419429971 861106176 26112 4294967295 134512640 134569956 3221224416 3221214584 1131591585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26112 13073 16 0 210215 0
vsize: 840924
[startup+560.044 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 54001 63 0 0 25 0 11 0 419429971 861106176 26154 4294967295 134512640 134569956 3221224416 3221214584 1131591585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26154 13073 16 0 210215 0
vsize: 840924
[startup+570.044 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 54996 64 0 0 25 0 11 0 419429971 861106176 26160 4294967295 134512640 134569956 3221224416 3221214608 1131406413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26160 13073 16 0 210215 0
vsize: 840924
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 55988 64 0 0 24 0 11 0 419429971 861106176 26180 4294967295 134512640 134569956 3221224416 3221214608 1131406176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26180 13073 16 0 210215 0
vsize: 840924
[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 56976 65 0 0 24 0 11 0 419429971 861106176 26221 4294967295 134512640 134569956 3221224416 3221214688 1131218554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26221 13073 16 0 210215 0
vsize: 840924
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 57965 65 0 0 25 0 11 0 419429971 861106176 26259 4294967295 134512640 134569956 3221224416 3221214840 1131309793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26259 13073 16 0 210215 0
vsize: 840924
[startup+610.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 58953 66 0 0 25 0 11 0 419429971 861106176 26259 4294967295 134512640 134569956 3221224416 3221214784 1131265338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26259 13073 16 0 210215 0
vsize: 840924
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 59942 66 0 0 25 0 11 0 419429971 861106176 26259 4294967295 134512640 134569956 3221224416 3221214688 1131219598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26259 13073 16 0 210215 0
vsize: 840924
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 60927 67 0 0 25 0 11 0 419429971 861106176 26289 4294967295 134512640 134569956 3221224416 3221214688 1131218743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26289 13073 16 0 210215 0
vsize: 840924
[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 61912 67 0 0 24 0 11 0 419429971 861106176 26345 4294967295 134512640 134569956 3221224416 3221214784 1131218530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26345 13073 16 0 210215 0
vsize: 840924
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 62900 68 0 0 25 0 11 0 419429971 861106176 26363 4294967295 134512640 134569956 3221224416 3221214400 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26363 13073 16 0 210215 0
vsize: 840924
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 63886 68 0 0 24 0 11 0 419429971 861106176 26388 4294967295 134512640 134569956 3221224416 3221214512 1131506226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26388 13073 16 0 210215 0
vsize: 840924
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 64875 69 0 0 25 0 11 0 419429971 861106176 26420 4294967295 134512640 134569956 3221224416 3221214688 1131218680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26420 13073 16 0 210215 0
vsize: 840924
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 65856 69 0 0 25 0 11 0 419429971 861106176 26459 4294967295 134512640 134569956 3221224416 3221214688 1131218743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26459 13073 16 0 210215 0
vsize: 840924
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 66843 70 0 0 25 0 11 0 419429971 861106176 26486 4294967295 134512640 134569956 3221224416 3221214512 1131519195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26486 13073 16 0 210215 0
vsize: 840924
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 67825 70 0 0 25 0 11 0 419429971 861106176 26498 4294967295 134512640 134569956 3221224416 3221214728 1131537216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26498 13073 16 0 210215 0
vsize: 840924
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 68803 71 0 0 25 0 11 0 419429971 861106176 26517 4294967295 134512640 134569956 3221224416 3221214688 1131218259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26517 13073 16 0 210215 0
vsize: 840924
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 69785 71 0 0 25 0 11 0 419429971 861106176 26584 4294967295 134512640 134569956 3221224416 3221214528 1131518628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26584 13073 16 0 210215 0
vsize: 840924
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 70775 71 0 0 25 0 11 0 419429971 861106176 26625 4294967295 134512640 134569956 3221224416 3221214688 1131218519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26625 13073 16 0 210215 0
vsize: 840924
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 71759 72 0 0 25 0 11 0 419429971 861106176 26694 4294967295 134512640 134569956 3221224416 3221214688 1131218771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26694 13073 16 0 210215 0
vsize: 840924
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 72742 72 0 0 25 0 11 0 419429971 861106176 26730 4294967295 134512640 134569956 3221224416 3221214464 1080216994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26730 13073 16 0 210215 0
vsize: 840924
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 73736 73 0 0 25 0 11 0 419429971 861106176 26746 4294967295 134512640 134569956 3221224416 3221214512 1131505768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26746 13073 16 0 210215 0
vsize: 840924
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 74733 73 0 0 25 0 11 0 419429971 861106176 26747 4294967295 134512640 134569956 3221224416 3221214560 1131497668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 26747 13073 16 0 210215 0
vsize: 840924
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 75723 73 0 0 25 0 11 0 419429971 861106176 26771 4294967295 134512640 134569956 3221224416 3221214540 1079721460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26771 13073 16 0 210215 0
vsize: 840924
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 76714 73 0 0 25 0 11 0 419429971 861106176 26819 4294967295 134512640 134569956 3221224416 3221214528 1131518670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26819 13073 16 0 210215 0
vsize: 840924
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 77711 74 0 0 25 0 11 0 419429971 861106176 26831 4294967295 134512640 134569956 3221224416 3221214616 1131256472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26831 13073 16 0 210215 0
vsize: 840924
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 78706 74 0 0 25 0 11 0 419429971 861106176 26865 4294967295 134512640 134569956 3221224416 3221214608 1131406379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 26865 13073 16 0 210215 0
vsize: 840924
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 79694 74 0 0 25 0 11 0 419429971 861106176 26899 4294967295 134512640 134569956 3221224416 3221214536 1131406368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26899 13073 16 0 210215 0
vsize: 840924
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 80685 75 0 0 25 0 11 0 419429971 861106176 26938 4294967295 134512640 134569956 3221224416 3221214608 1131406368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26938 13073 16 0 210215 0
vsize: 840924
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 81676 75 0 0 25 0 11 0 419429971 861106176 26946 4294967295 134512640 134569956 3221224416 3221214200 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26946 13073 16 0 210215 0
vsize: 840924
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 82671 75 0 0 25 0 11 0 419429971 861106176 26982 4294967295 134512640 134569956 3221224416 3221214528 1131518830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 26982 13073 16 0 210215 0
vsize: 840924
[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 83663 76 0 0 25 0 11 0 419429971 861106176 27007 4294967295 134512640 134569956 3221224416 3221214608 1131407144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27007 13073 16 0 210215 0
vsize: 840924
[startup+870.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 84655 76 0 0 25 0 11 0 419429971 861106176 27019 4294967295 134512640 134569956 3221224416 3221214528 1131518538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27019 13073 16 0 210215 0
vsize: 840924
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 85646 76 0 0 25 0 11 0 419429971 861106176 27070 4294967295 134512640 134569956 3221224416 3221214608 1131406413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27070 13073 16 0 210215 0
vsize: 840924
[startup+890.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 86644 77 0 0 25 0 11 0 419429971 861106176 27082 4294967295 134512640 134569956 3221224416 3221214528 1131518457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27082 13073 16 0 210215 0
vsize: 840924
[startup+900.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 87637 77 0 0 25 0 11 0 419429971 861106176 27090 4294967295 134512640 134569956 3221224416 3221214608 1131406402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27090 13073 16 0 210215 0
vsize: 840924
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 88630 77 0 0 25 0 11 0 419429971 861106176 27106 4294967295 134512640 134569956 3221224416 3221214608 1131406636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27106 13073 16 0 210215 0
vsize: 840924
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 89624 78 0 0 25 0 11 0 419429971 861106176 27183 4294967295 134512640 134569956 3221224416 3221214528 1131518642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27183 13073 16 0 210215 0
vsize: 840924
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 90621 78 0 0 25 0 11 0 419429971 861106176 27184 4294967295 134512640 134569956 3221224416 3221214512 1131505722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27184 13073 16 0 210215 0
vsize: 840924
[startup+940.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 91616 78 0 0 25 0 11 0 419429971 861106176 27202 4294967295 134512640 134569956 3221224416 3221214528 1131518646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27202 13073 16 0 210215 0
vsize: 840924
[startup+950.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 92608 78 0 0 25 0 11 0 419429971 861106176 27294 4294967295 134512640 134569956 3221224416 3221214464 1080216962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27294 13073 16 0 210215 0
vsize: 840924
[startup+960.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 93603 79 0 0 25 0 11 0 419429971 861106176 27294 4294967295 134512640 134569956 3221224416 3221214608 1131406829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27294 13073 16 0 210215 0
vsize: 840924
[startup+970.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 94597 79 0 0 25 0 11 0 419429971 861106176 27297 4294967295 134512640 134569956 3221224416 3221214528 1131518947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27297 13073 16 0 210215 0
vsize: 840924
[startup+980.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 95587 79 0 0 25 0 11 0 419429971 861106176 27297 4294967295 134512640 134569956 3221224416 3221214608 1131406402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27297 13073 16 0 210215 0
vsize: 840924
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 96582 80 0 0 25 0 11 0 419429971 861106176 27297 4294967295 134512640 134569956 3221224416 3221214584 1080217052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27297 13073 16 0 210215 0
vsize: 840924
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 97575 81 0 0 25 0 11 0 419429971 861106176 27298 4294967295 134512640 134569956 3221224416 3221214544 1079721536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27298 13073 16 0 210215 0
vsize: 840924
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 98570 81 0 0 25 0 11 0 419429971 861106176 27310 4294967295 134512640 134569956 3221224416 3221214528 1131518650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27310 13073 16 0 210215 0
vsize: 840924
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 99561 81 0 0 25 0 11 0 419429971 861106176 27404 4294967295 134512640 134569956 3221224416 3221214668 1080203730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27404 13073 16 0 210215 0
vsize: 840924
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 100552 82 0 0 25 0 11 0 419429971 861106176 27412 4294967295 134512640 134569956 3221224416 3221214608 1131406275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27412 13073 16 0 210215 0
vsize: 840924
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 101541 82 0 0 24 0 11 0 419429971 861106176 27504 4294967295 134512640 134569956 3221224416 3221214512 1131519380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27504 13073 16 0 210215 0
vsize: 840924
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 102539 82 0 0 25 0 11 0 419429971 861106176 27504 4294967295 134512640 134569956 3221224416 3221214560 1131497666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27504 13073 16 0 210215 0
vsize: 840924
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 103536 83 0 0 25 0 11 0 419429971 861106176 27504 4294967295 134512640 134569956 3221224416 3221214728 1131359426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27504 13073 16 0 210215 0
vsize: 840924
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 104532 83 0 0 25 0 11 0 419429971 861106176 27505 4294967295 134512640 134569956 3221224416 3221214548 1079721530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27505 13073 16 0 210215 0
vsize: 840924
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 105527 83 0 0 25 0 11 0 419429971 861106176 27507 4294967295 134512640 134569956 3221224416 3221214456 1131519260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27507 13073 16 0 210215 0
vsize: 840924
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 106521 83 0 0 25 0 11 0 419429971 861106176 27509 4294967295 134512640 134569956 3221224416 3221214584 1080217021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27509 13073 16 0 210215 0
vsize: 840924
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 107515 84 0 0 25 0 11 0 419429971 861106176 27527 4294967295 134512640 134569956 3221224416 3221214512 1131519260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27527 13073 16 0 210215 0
vsize: 840924
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 108512 84 0 0 25 0 11 0 419429971 861106176 27527 4294967295 134512640 134569956 3221224416 3221214512 1131519203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27527 13073 16 0 210215 0
vsize: 840924
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 109508 84 0 0 25 0 11 0 419429971 861106176 27527 4294967295 134512640 134569956 3221224416 3221214512 1131505632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27527 13073 16 0 210215 0
vsize: 840924
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 110500 85 0 0 25 0 11 0 419429971 861106176 27527 4294967295 134512640 134569956 3221224416 3221214528 1131518936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27527 13073 16 0 210215 0
vsize: 840924
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 111495 85 0 0 25 0 11 0 419429971 861106176 27609 4294967295 134512640 134569956 3221224416 3221214572 1079721462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27609 13073 16 0 210215 0
vsize: 840924
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 112489 85 0 0 25 0 11 0 419429971 861106176 27610 4294967295 134512640 134569956 3221224416 3221214608 1131407199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27610 13073 16 0 210215 0
vsize: 840924
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 113485 86 0 0 25 0 11 0 419429971 861106176 27649 4294967295 134512640 134569956 3221224416 3221214616 1131256449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27649 13073 16 0 210215 0
vsize: 840924
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 114482 86 0 0 25 0 11 0 419429971 861106176 27710 4294967295 134512640 134569956 3221224416 3221214360 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27710 13073 16 0 210215 0
vsize: 840924
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 115479 86 0 0 25 0 11 0 419429971 861106176 27724 4294967295 134512640 134569956 3221224416 3221214608 1131407144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27724 13073 16 0 210215 0
vsize: 840924
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 116473 87 0 0 25 0 11 0 419429971 861106176 27933 4294967295 134512640 134569956 3221224416 3221214528 1131518844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 27933 13073 16 0 210215 0
vsize: 840924
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 117453 87 0 0 25 0 11 0 419429971 861106176 29332 4294967295 134512640 134569956 3221224416 3221214488 1131521966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 29332 13073 16 0 210215 0
vsize: 840924
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 118441 88 0 0 25 0 11 0 419429971 861106176 29332 4294967295 134512640 134569956 3221224416 3221214616 1131256449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 29332 13073 16 0 210215 0
vsize: 840924
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 119427 88 0 0 25 0 11 0 419429971 861106176 29332 4294967295 134512640 134569956 3221224416 3221214456 1131519181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 29332 13073 16 0 210215 0
vsize: 840924
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31650
Raw data (stat): 31639 (java) R 31638 30854 30853 0 -1 0 18080 3 1 0 120416 89 0 0 25 0 11 0 419429971 861106176 29332 4294967295 134512640 134569956 3221224416 3221214552 1131609823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 29332 13073 16 0 210215 0
vsize: 840924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 31652
Raw data (stat): 31639 (java) Z 31638 30854 30853 0 -1 1036 18080 16127 1 0 120418 94 3477 43 25 0 1 0 419429971 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1240.34
CPU user time (s): 1238.96
CPU system time (s): 1.38179
CPU usage (%): 100.826
Max. virtual memory (Kb): 841692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####