PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
MD5SUM	ac4ddb996334a0834a018e09e97d1ecb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	76
Optimality of the best value was proved	NO
Number of terms in the objective function	4617
Biggest coefficient in the objective function	2642
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	13340
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	2642
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	13340
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	1.06984
Number of variables	4617
Total number of constraints	9896
Number of constraints which are clauses	4395
Number of constraints which are cardinality constraints (but not clauses)	5501
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	23
Trace number 4534

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-13 18:20:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3330 boxname=wulflinc31 idbench=370 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ac4ddb996334a0834a018e09e97d1ecb  /oldhome/oroussel/tmp/wulflinc31/normalized-30:30:4.5:0.95:100.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-30:30:4.5:0.95:100.opb
IDLAUNCH: 3330
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        913852 kB
Buffers:         34092 kB
Cached:          48272 kB
SwapCached:        392 kB
Active:          43708 kB
Inactive:        41792 kB
HighTotal:      131008 kB
HighFree:        79072 kB
LowTotal:       903652 kB
LowFree:        834780 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            29800 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:40:59 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3330 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-30:30:4.5:0.95:100.opb
c reading problem 
c [nbvar=4617]
c [nbconstr=9896]
c time 12.468
c #vars     4617
c #clauses  5280
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=106
c Current CPU time (ms) : 13.738
c starts	: 1
c conflicts	: 0
c decisions	: 1994
c propagations	: 4617
c inspects	: 8247
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=105
c Current CPU time (ms) : 85.967
c starts	: 2
c conflicts	: 27
c decisions	: 4055
c propagations	: 9440
c inspects	: 16081
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 27
c root simplifications	: 2
c 
c CURRENT OPTIMUM=79
c Current CPU time (ms) : 893.911
c starts	: 3
c conflicts	: 27
c decisions	: 6696
c propagations	: 14056
c inspects	: 78285
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 27
c root simplifications	: 3
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 24229
Raw data (stat): 24229 (runsolver) R 24228 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478052220 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.97 0.99 4/63 24238
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 17990 0 1 0 866 46 0 0 25 0 10 0 478052220 857370624 19952 4294967295 134512640 134569956 3221224400 3221214756 1130883262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209319 19952 13073 16 0 209303 0
vsize: 837276
[startup+20.001 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 24240
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18022 3 1 0 1671 47 0 0 24 0 11 0 478052220 858779648 21308 4294967295 134512640 134569956 3221224400 3221214672 1131239911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 21308 13073 16 0 209647 0
vsize: 838652
[startup+30.005 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 24240
Raw data (stat): 24229 (java) S 24228 23176 23175 0 -1 0 18022 3 1 0 2566 47 0 0 25 0 11 0 478052220 858779648 21306 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 21306 13073 16 0 209647 0
vsize: 838652
[startup+40.0058 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 24240
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18061 3 1 0 3429 47 0 0 25 0 11 0 478052220 860876800 21954 4294967295 134512640 134569956 3221224400 3221214664 1131520576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 21954 13073 16 0 210159 0
vsize: 840700
[startup+50.0072 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 24240
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 4357 47 0 0 25 0 11 0 478052220 860876800 23010 4294967295 134512640 134569956 3221224400 3221214736 1131310224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 23010 13073 16 0 210159 0
vsize: 840700
[startup+60.0071 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 24240
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 5297 47 0 0 25 0 11 0 478052220 860876800 23368 4294967295 134512640 134569956 3221224400 3221214712 1131442481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 23368 13073 16 0 210159 0
vsize: 840700
[startup+70.0077 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24240
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 6236 48 0 0 24 0 11 0 478052220 860876800 23682 4294967295 134512640 134569956 3221224400 3221214824 1131511256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 23682 13073 16 0 210159 0
vsize: 840700
[startup+80.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24240
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 7168 48 0 0 25 0 11 0 478052220 860876800 24158 4294967295 134512640 134569956 3221224400 3221214672 1131239532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24158 13073 16 0 210159 0
vsize: 840700
[startup+90.0118 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) S 24228 23176 23175 0 -1 0 18062 3 1 0 8098 48 0 0 25 0 11 0 478052220 865624064 25611 4294967295 134512640 134569956 3221224400 3221213264 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211334 25611 13073 16 0 211318 0
vsize: 845336
[startup+100.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 9013 49 0 0 25 0 11 0 478052220 860942336 24660 4294967295 134512640 134569956 3221224400 3221214128 1080019657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 24660 13073 16 0 210175 0
vsize: 840764
[startup+110.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) S 24228 23176 23175 0 -1 0 18062 3 1 0 9924 49 0 0 25 0 11 0 478052220 860942336 24660 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 24660 13073 16 0 210175 0
vsize: 840764
[startup+120.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 10855 49 0 0 25 0 11 0 478052220 860942336 25301 4294967295 134512640 134569956 3221224400 3221214664 1131240597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25301 13073 16 0 210175 0
vsize: 840764
[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 11842 50 0 0 25 0 11 0 478052220 860942336 25436 4294967295 134512640 134569956 3221224400 3221214664 1131240274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25436 13073 16 0 210175 0
vsize: 840764
[startup+140.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 12838 50 0 0 25 0 11 0 478052220 860942336 25441 4294967295 134512640 134569956 3221224400 3221214768 1131368527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25441 13073 16 0 210175 0
vsize: 840764
[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 13833 50 0 0 25 0 11 0 478052220 860942336 25443 4294967295 134512640 134569956 3221224400 3221214664 1131239764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25443 13073 16 0 210175 0
vsize: 840764
[startup+160.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 14829 50 0 0 25 0 11 0 478052220 860942336 25447 4294967295 134512640 134569956 3221224400 3221214664 1131240354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210191 25447 13073 16 0 210175 0
vsize: 840764
[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 15825 50 0 0 25 0 11 0 478052220 860942336 25450 4294967295 134512640 134569956 3221224400 3221214664 1131240057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25450 13073 16 0 210175 0
vsize: 840764
[startup+180.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 16820 51 0 0 25 0 11 0 478052220 860942336 25453 4294967295 134512640 134569956 3221224400 3221214768 1131373393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25453 13073 16 0 210175 0
vsize: 840764
[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 17816 51 0 0 25 0 11 0 478052220 860942336 25459 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25459 13073 16 0 210175 0
vsize: 840764
[startup+200.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 18811 51 0 0 25 0 11 0 478052220 860942336 25463 4294967295 134512640 134569956 3221224400 3221214768 1131368697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25463 13073 16 0 210175 0
vsize: 840764
[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 19807 52 0 0 25 0 11 0 478052220 860942336 25470 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25470 13073 16 0 210175 0
vsize: 840764
[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 20803 52 0 0 25 0 11 0 478052220 860942336 25475 4294967295 134512640 134569956 3221224400 3221214768 1131373274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210191 25475 13073 16 0 210175 0
vsize: 840764
[startup+230.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 21799 52 0 0 25 0 11 0 478052220 860942336 25477 4294967295 134512640 134569956 3221224400 3221214664 1131240649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25477 13073 16 0 210175 0
vsize: 840764
[startup+240.02 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 22795 53 0 0 25 0 11 0 478052220 860942336 25479 4294967295 134512640 134569956 3221224400 3221214664 1131239779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25479 13073 16 0 210175 0
vsize: 840764
[startup+250.02 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 23791 53 0 0 25 0 11 0 478052220 860942336 25481 4294967295 134512640 134569956 3221224400 3221214664 1131240681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25481 13073 16 0 210175 0
vsize: 840764
[startup+260.021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 24787 53 0 0 25 0 11 0 478052220 860942336 25483 4294967295 134512640 134569956 3221224400 3221214768 1131369900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25483 13073 16 0 210175 0
vsize: 840764
[startup+270.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 25782 53 0 0 25 0 11 0 478052220 860942336 25485 4294967295 134512640 134569956 3221224400 3221214664 1131240057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25485 13073 16 0 210175 0
vsize: 840764
[startup+280.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 26778 54 0 0 25 0 11 0 478052220 860942336 25488 4294967295 134512640 134569956 3221224400 3221214768 1131373353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25488 13073 16 0 210175 0
vsize: 840764
[startup+290.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 27773 54 0 0 25 0 11 0 478052220 860942336 25495 4294967295 134512640 134569956 3221224400 3221214768 1131373359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25495 13073 16 0 210175 0
vsize: 840764
[startup+300.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 28768 54 0 0 25 0 11 0 478052220 860942336 25505 4294967295 134512640 134569956 3221224400 3221214664 1131239521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25505 13073 16 0 210175 0
vsize: 840764
[startup+310.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 29763 55 0 0 25 0 11 0 478052220 860942336 25513 4294967295 134512640 134569956 3221224400 3221214768 1131368762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25513 13073 16 0 210175 0
vsize: 840764
[startup+320.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 30759 55 0 0 25 0 11 0 478052220 860942336 25517 4294967295 134512640 134569956 3221224400 3221214768 1131368697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25517 13073 16 0 210175 0
vsize: 840764
[startup+330.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 31755 55 0 0 25 0 11 0 478052220 860942336 25519 4294967295 134512640 134569956 3221224400 3221214664 1131240150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25519 13073 16 0 210175 0
vsize: 840764
[startup+340.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 32751 56 0 0 25 0 11 0 478052220 860942336 25522 4294967295 134512640 134569956 3221224400 3221214664 1131239569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25522 13073 16 0 210175 0
vsize: 840764
[startup+350.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 33747 56 0 0 25 0 11 0 478052220 860942336 25524 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25524 13073 16 0 210175 0
vsize: 840764
[startup+360.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 34742 56 0 0 25 0 11 0 478052220 860942336 25526 4294967295 134512640 134569956 3221224400 3221214664 1131239532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25526 13073 16 0 210175 0
vsize: 840764
[startup+370.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 35738 56 0 0 25 0 11 0 478052220 860942336 25528 4294967295 134512640 134569956 3221224400 3221214764 1131240795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25528 13073 16 0 210175 0
vsize: 840764
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 36733 56 0 0 25 0 11 0 478052220 860942336 25530 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25530 13073 16 0 210175 0
vsize: 840764
[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 37729 57 0 0 25 0 11 0 478052220 860942336 25533 4294967295 134512640 134569956 3221224400 3221214664 1131240037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25533 13073 16 0 210175 0
vsize: 840764
[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 38724 57 0 0 25 0 11 0 478052220 860942336 25535 4294967295 134512640 134569956 3221224400 3221214768 1131368762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25535 13073 16 0 210175 0
vsize: 840764
[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 39720 57 0 0 25 0 11 0 478052220 860942336 25537 4294967295 134512640 134569956 3221224400 3221214768 1131368762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25537 13073 16 0 210175 0
vsize: 840764
[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 40715 57 0 0 25 0 11 0 478052220 860942336 25539 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25539 13073 16 0 210175 0
vsize: 840764
[startup+430.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 41710 58 0 0 25 0 11 0 478052220 860942336 25544 4294967295 134512640 134569956 3221224400 3221214664 1131239532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25544 13073 16 0 210175 0
vsize: 840764
[startup+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 42705 58 0 0 25 0 11 0 478052220 860942336 25546 4294967295 134512640 134569956 3221224400 3221214664 1131239557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25546 13073 16 0 210175 0
vsize: 840764
[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 43699 58 0 0 25 0 11 0 478052220 860942336 25548 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25548 13073 16 0 210175 0
vsize: 840764
[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 44693 59 0 0 25 0 11 0 478052220 860942336 25560 4294967295 134512640 134569956 3221224400 3221214624 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210191 25560 13073 16 0 210175 0
vsize: 840764
[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 45688 59 0 0 25 0 11 0 478052220 860942336 25573 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25573 13073 16 0 210175 0
vsize: 840764
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 46683 60 0 0 25 0 11 0 478052220 860942336 25595 4294967295 134512640 134569956 3221224400 3221214768 1131369729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25595 13073 16 0 210175 0
vsize: 840764
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 47679 60 0 0 25 0 11 0 478052220 860942336 25599 4294967295 134512640 134569956 3221224400 3221214664 1131239525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25599 13073 16 0 210175 0
vsize: 840764
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 48675 60 0 0 25 0 11 0 478052220 860942336 25601 4294967295 134512640 134569956 3221224400 3221214664 1131240764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25601 13073 16 0 210175 0
vsize: 840764
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 49673 61 0 0 25 0 11 0 478052220 860942336 25603 4294967295 134512640 134569956 3221224400 3221214768 1131369583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25603 13073 16 0 210175 0
vsize: 840764
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 50669 61 0 0 25 0 11 0 478052220 860942336 25605 4294967295 134512640 134569956 3221224400 3221214664 1131240032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25605 13073 16 0 210175 0
vsize: 840764
[startup+530.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 51666 61 0 0 25 0 11 0 478052220 860942336 25607 4294967295 134512640 134569956 3221224400 3221214664 1131240764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25607 13073 16 0 210175 0
vsize: 840764
[startup+540.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 52663 62 0 0 25 0 11 0 478052220 860942336 25608 4294967295 134512640 134569956 3221224400 3221214768 1131373412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25608 13073 16 0 210175 0
vsize: 840764
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 53659 62 0 0 25 0 11 0 478052220 860942336 25610 4294967295 134512640 134569956 3221224400 3221214664 1131240194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25610 13073 16 0 210175 0
vsize: 840764
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 54656 63 0 0 25 0 11 0 478052220 860942336 25612 4294967295 134512640 134569956 3221224400 3221214764 1131239507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25612 13073 16 0 210175 0
vsize: 840764
[startup+570.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 55652 63 0 0 25 0 11 0 478052220 860942336 25614 4294967295 134512640 134569956 3221224400 3221214664 1131239749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25614 13073 16 0 210175 0
vsize: 840764
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 56648 64 0 0 25 0 11 0 478052220 860942336 25616 4294967295 134512640 134569956 3221224400 3221214664 1131239791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25616 13073 16 0 210175 0
vsize: 840764
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 57645 64 0 0 25 0 11 0 478052220 860942336 25618 4294967295 134512640 134569956 3221224400 3221214664 1131240074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210191 25618 13073 16 0 210175 0
vsize: 840764
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 58642 64 0 0 25 0 11 0 478052220 860942336 25620 4294967295 134512640 134569956 3221224400 3221214664 1131239532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25620 13073 16 0 210175 0
vsize: 840764
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 59638 64 0 0 25 0 11 0 478052220 860942336 25622 4294967295 134512640 134569956 3221224400 3221214664 1131239903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25622 13073 16 0 210175 0
vsize: 840764
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 60633 65 0 0 25 0 11 0 478052220 860942336 25625 4294967295 134512640 134569956 3221224400 3221214768 1131368697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25625 13073 16 0 210175 0
vsize: 840764
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 61630 66 0 0 25 0 11 0 478052220 860942336 25627 4294967295 134512640 134569956 3221224400 3221214664 1131240074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25627 13073 16 0 210175 0
vsize: 840764
[startup+640.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 62627 66 0 0 25 0 11 0 478052220 860942336 25629 4294967295 134512640 134569956 3221224400 3221214768 1131373331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25629 13073 16 0 210175 0
vsize: 840764
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 63623 67 0 0 25 0 11 0 478052220 860942336 25631 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25631 13073 16 0 210175 0
vsize: 840764
[startup+660.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 64620 67 0 0 25 0 11 0 478052220 860942336 25633 4294967295 134512640 134569956 3221224400 3221214768 1131373363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25633 13073 16 0 210175 0
vsize: 840764
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 65616 68 0 0 25 0 11 0 478052220 860942336 25635 4294967295 134512640 134569956 3221224400 3221214664 1131240399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25635 13073 16 0 210175 0
vsize: 840764
[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 66613 68 0 0 25 0 11 0 478052220 860942336 25637 4294967295 134512640 134569956 3221224400 3221214768 1131368737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25637 13073 16 0 210175 0
vsize: 840764
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 67610 69 0 0 25 0 11 0 478052220 860942336 25639 4294967295 134512640 134569956 3221224400 3221214664 1131240306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25639 13073 16 0 210175 0
vsize: 840764
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 68607 69 0 0 25 0 11 0 478052220 860942336 25641 4294967295 134512640 134569956 3221224400 3221214664 1131239532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25641 13073 16 0 210175 0
vsize: 840764
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 69604 69 0 0 25 0 11 0 478052220 860942336 25643 4294967295 134512640 134569956 3221224400 3221214664 1131240304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25643 13073 16 0 210175 0
vsize: 840764
[startup+720.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 70601 70 0 0 25 0 11 0 478052220 860942336 25645 4294967295 134512640 134569956 3221224400 3221214764 1131240795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25645 13073 16 0 210175 0
vsize: 840764
[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 71598 70 0 0 25 0 11 0 478052220 860942336 25647 4294967295 134512640 134569956 3221224400 3221214768 1131369664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25647 13073 16 0 210175 0
vsize: 840764
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 72595 70 0 0 25 0 11 0 478052220 860942336 25649 4294967295 134512640 134569956 3221224400 3221214664 1131240060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25649 13073 16 0 210175 0
vsize: 840764
[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 73592 70 0 0 25 0 11 0 478052220 860942336 25651 4294967295 134512640 134569956 3221224400 3221214664 1131239534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25651 13073 16 0 210175 0
vsize: 840764
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 74587 71 0 0 25 0 11 0 478052220 860942336 25653 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25653 13073 16 0 210175 0
vsize: 840764
[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 75581 71 0 0 25 0 11 0 478052220 860942336 25655 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25655 13073 16 0 210175 0
vsize: 840764
[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 76574 71 0 0 25 0 11 0 478052220 860942336 25678 4294967295 134512640 134569956 3221224400 3221214768 1131370633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25678 13073 16 0 210175 0
vsize: 840764
[startup+790.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 77568 72 0 0 25 0 11 0 478052220 860942336 25711 4294967295 134512640 134569956 3221224400 3221214664 1131240572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25711 13073 16 0 210175 0
vsize: 840764
[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 78564 72 0 0 25 0 11 0 478052220 860942336 25746 4294967295 134512640 134569956 3221224400 3221214664 1131240057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25746 13073 16 0 210175 0
vsize: 840764
[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 79560 73 0 0 25 0 11 0 478052220 860942336 25748 4294967295 134512640 134569956 3221224400 3221214664 1131240399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25748 13073 16 0 210175 0
vsize: 840764
[startup+820.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 80557 73 0 0 25 0 11 0 478052220 860942336 25751 4294967295 134512640 134569956 3221224400 3221214768 1131369770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25751 13073 16 0 210175 0
vsize: 840764
[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 81554 73 0 0 25 0 11 0 478052220 860942336 25753 4294967295 134512640 134569956 3221224400 3221214664 1131239525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25753 13073 16 0 210175 0
vsize: 840764
[startup+840.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 82550 73 0 0 25 0 11 0 478052220 860942336 25755 4294967295 134512640 134569956 3221224400 3221214664 1131239903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25755 13073 16 0 210175 0
vsize: 840764
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 83546 74 0 0 25 0 11 0 478052220 860942336 25763 4294967295 134512640 134569956 3221224400 3221214664 1131240346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25763 13073 16 0 210175 0
vsize: 840764
[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 84542 74 0 0 25 0 11 0 478052220 860942336 25766 4294967295 134512640 134569956 3221224400 3221214768 1131369770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25766 13073 16 0 210175 0
vsize: 840764
[startup+870.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 85538 75 0 0 25 0 11 0 478052220 860942336 25768 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25768 13073 16 0 210175 0
vsize: 840764
[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 86533 75 0 0 25 0 11 0 478052220 860942336 25770 4294967295 134512640 134569956 3221224400 3221214768 1131373304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25770 13073 16 0 210175 0
vsize: 840764
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24241
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 87529 76 0 0 25 0 11 0 478052220 860942336 25772 4294967295 134512640 134569956 3221224400 3221214776 1131551932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210191 25772 13073 16 0 210175 0
vsize: 840764
[startup+900.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 88515 76 0 0 25 0 11 0 478052220 860942336 25773 4294967295 134512640 134569956 3221224400 3221214768 1131373363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25773 13073 16 0 210175 0
vsize: 840764
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 89488 76 0 0 25 0 11 0 478052220 860942336 25775 4294967295 134512640 134569956 3221224400 3221214664 1131240708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210191 25775 13073 16 0 210175 0
vsize: 840764
[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 90461 77 0 0 25 0 11 0 478052220 860942336 25776 4294967295 134512640 134569956 3221224400 3221214768 1131368527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210191 25776 13073 16 0 210175 0
vsize: 840764
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 91441 77 0 0 25 0 11 0 478052220 860942336 25903 4294967295 134512640 134569956 3221224400 3221214664 1131239779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25903 13073 16 0 210175 0
vsize: 840764
[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 92439 77 0 0 25 0 11 0 478052220 860942336 25903 4294967295 134512640 134569956 3221224400 3221214664 1131239972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25903 13073 16 0 210175 0
vsize: 840764
[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 93436 77 0 0 25 0 11 0 478052220 860942336 25904 4294967295 134512640 134569956 3221224400 3221214768 1131373324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25904 13073 16 0 210175 0
vsize: 840764
[startup+960.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 94434 78 0 0 25 0 11 0 478052220 860942336 25904 4294967295 134512640 134569956 3221224400 3221214768 1131370676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25904 13073 16 0 210175 0
vsize: 840764
[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 95432 78 0 0 25 0 11 0 478052220 860942336 25904 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25904 13073 16 0 210175 0
vsize: 840764
[startup+980.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 96430 78 0 0 25 0 11 0 478052220 860942336 25905 4294967295 134512640 134569956 3221224400 3221214664 1131240638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25905 13073 16 0 210175 0
vsize: 840764
[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 97427 78 0 0 25 0 11 0 478052220 860942336 25905 4294967295 134512640 134569956 3221224400 3221214664 1131240243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25905 13073 16 0 210175 0
vsize: 840764
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 98424 79 0 0 25 0 11 0 478052220 860942336 25906 4294967295 134512640 134569956 3221224400 3221214768 1131368762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25906 13073 16 0 210175 0
vsize: 840764
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 99422 79 0 0 25 0 11 0 478052220 860942336 25907 4294967295 134512640 134569956 3221224400 3221214664 1131239532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25907 13073 16 0 210175 0
vsize: 840764
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 100419 79 0 0 25 0 11 0 478052220 860942336 25907 4294967295 134512640 134569956 3221224400 3221214768 1131369906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25907 13073 16 0 210175 0
vsize: 840764
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 101416 80 0 0 25 0 11 0 478052220 860942336 25908 4294967295 134512640 134569956 3221224400 3221214664 1131239517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25908 13073 16 0 210175 0
vsize: 840764
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 102414 80 0 0 25 0 11 0 478052220 860942336 25909 4294967295 134512640 134569956 3221224400 3221214768 1131373334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25909 13073 16 0 210175 0
vsize: 840764
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 103412 80 0 0 25 0 11 0 478052220 860942336 25909 4294967295 134512640 134569956 3221224400 3221214664 1131239532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25909 13073 16 0 210175 0
vsize: 840764
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 104409 81 0 0 25 0 11 0 478052220 860942336 25910 4294967295 134512640 134569956 3221224400 3221214664 1131240708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25910 13073 16 0 210175 0
vsize: 840764
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 105406 81 0 0 25 0 11 0 478052220 860942336 25910 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25910 13073 16 0 210175 0
vsize: 840764
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 106403 81 0 0 25 0 11 0 478052220 860942336 25911 4294967295 134512640 134569956 3221224400 3221214768 1131368801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25911 13073 16 0 210175 0
vsize: 840764
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 107400 82 0 0 25 0 11 0 478052220 860942336 25912 4294967295 134512640 134569956 3221224400 3221214664 1131240399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25912 13073 16 0 210175 0
vsize: 840764
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 108397 82 0 0 25 0 11 0 478052220 860942336 25912 4294967295 134512640 134569956 3221224400 3221214664 1131240727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25912 13073 16 0 210175 0
vsize: 840764
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 109394 83 0 0 25 0 11 0 478052220 860942336 25913 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25913 13073 16 0 210175 0
vsize: 840764
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 110392 83 0 0 25 0 11 0 478052220 860942336 25914 4294967295 134512640 134569956 3221224400 3221214664 1131240020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25914 13073 16 0 210175 0
vsize: 840764
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 111389 83 0 0 25 0 11 0 478052220 860942336 25915 4294967295 134512640 134569956 3221224400 3221214768 1131369515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25915 13073 16 0 210175 0
vsize: 840764
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 112385 84 0 0 25 0 11 0 478052220 860942336 25916 4294967295 134512640 134569956 3221224400 3221214664 1131239907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25916 13073 16 0 210175 0
vsize: 840764
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 113383 84 0 0 25 0 11 0 478052220 860942336 25917 4294967295 134512640 134569956 3221224400 3221214664 1131240399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25917 13073 16 0 210175 0
vsize: 840764
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 114379 85 0 0 25 0 11 0 478052220 860942336 25918 4294967295 134512640 134569956 3221224400 3221214768 1131373349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25918 13073 16 0 210175 0
vsize: 840764
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 115376 85 0 0 25 0 11 0 478052220 860942336 25918 4294967295 134512640 134569956 3221224400 3221214664 1131239532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25918 13073 16 0 210175 0
vsize: 840764
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 116373 86 0 0 25 0 11 0 478052220 860942336 25919 4294967295 134512640 134569956 3221224400 3221214664 1131240635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25919 13073 16 0 210175 0
vsize: 840764
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 117370 86 0 0 25 0 11 0 478052220 860942336 25920 4294967295 134512640 134569956 3221224400 3221214768 1131373292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25920 13073 16 0 210175 0
vsize: 840764
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 118367 87 0 0 25 0 11 0 478052220 860942336 25921 4294967295 134512640 134569956 3221224400 3221214664 1131239996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25921 13073 16 0 210175 0
vsize: 840764
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 119364 87 0 0 25 0 11 0 478052220 860942336 25922 4294967295 134512640 134569956 3221224400 3221214664 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25922 13073 16 0 210175 0
vsize: 840764
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24242
Raw data (stat): 24229 (java) R 24228 23176 23175 0 -1 0 18062 3 1 0 120360 88 0 0 25 0 11 0 478052220 860942336 25923 4294967295 134512640 134569956 3221224400 3221214768 1131373334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 25923 13073 16 0 210175 0
vsize: 840764
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24244
Raw data (stat): 24229 (java) Z 24228 23176 23175 0 -1 1036 18062 15289 1 0 120364 92 2678 47 25 0 1 0 478052220 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): 1220.18
CPU time (s): 1231.83
CPU user time (s): 1230.43
CPU system time (s): 1.40479
CPU usage (%): 100.955
Max. virtual memory (Kb): 845336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####