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/routing/normalized-s4-4-3-7pb.opb
MD5SUM	24909033929a72aa74b2fd8b12f27bce
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64
Optimality of the best value was proved	NO
Number of terms in the objective function	672
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	672
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	672
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02884
Number of variables	672
Total number of constraints	2030
Number of constraints which are clauses	2006
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 4429

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        921656 kB
Buffers:         34776 kB
Cached:          55516 kB
SwapCached:       3276 kB
Active:          65524 kB
Inactive:        30904 kB
HighTotal:      131008 kB
HighFree:        71568 kB
LowTotal:       903652 kB
LowFree:        850088 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            10952 kB
Committed_AS:    71664 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:26:25 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2187 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-7pb.opb
c reading problem 
c [nbvar=672]
c [nbconstr=2030]
c time 2.524
c #vars     672
c #clauses  2030
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=68
c Current CPU time (ms) : 38.51
c starts	: 3
c conflicts	: 372
c decisions	: 3498
c propagations	: 20243
c inspects	: 79342
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 6
c learned clauses	: 372
c root simplifications	: 9
c 
c CURRENT OPTIMUM=66
c Current CPU time (ms) : 192.897
c starts	: 6
c conflicts	: 643
c decisions	: 5811
c propagations	: 33279
c inspects	: 199596
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 6
c learned clauses	: 643
c root simplifications	: 19
c 
c CURRENT OPTIMUM=64
c Current CPU time (ms) : 211.044
c starts	: 7
c conflicts	: 668
c decisions	: 6034
c propagations	: 34400
c inspects	: 212732
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 6
c learned clauses	: 668
c root simplifications	: 20
#### 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.92 1.02 0.99 2/54 12118
Raw data (stat): 12118 (runsolver) R 12117 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419388411 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0002 s]
Raw data (loadavg): 1.24 1.09 1.01 2/64 12128
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18078 0 1 0 552 46 0 0 25 0 11 0 419388411 865419264 21496 4294967295 134512640 134569956 3221224416 3221214648 1131269080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 21496 13073 16 0 211268 0
vsize: 845136
[startup+20.001 s]
Raw data (loadavg): 1.20 1.08 1.01 2/64 12128
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18079 0 1 0 1481 46 0 0 25 0 11 0 419388411 864141312 22109 4294967295 134512640 134569956 3221224416 3221214568 1131463437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 22109 13073 16 0 210956 0
vsize: 843888
[startup+30.0023 s]
Raw data (loadavg): 1.17 1.08 1.00 2/64 12128
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18079 0 1 0 2406 47 0 0 25 0 11 0 419388411 864141312 22524 4294967295 134512640 134569956 3221224416 3221214704 1131330875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 22524 13073 16 0 210956 0
vsize: 843888
[startup+40.0025 s]
Raw data (loadavg): 1.14 1.08 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 3321 47 0 0 25 0 11 0 419388411 864141312 22720 4294967295 134512640 134569956 3221224416 3221214944 1130883196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210972 22720 13073 16 0 210956 0
vsize: 843888
[startup+50.0035 s]
Raw data (loadavg): 1.12 1.07 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 4234 48 0 0 25 0 11 0 419388411 864141312 23187 4294967295 134512640 134569956 3221224416 3221214648 1131475522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 23187 13073 16 0 210956 0
vsize: 843888
[startup+60.0038 s]
Raw data (loadavg): 1.10 1.07 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 5152 48 0 0 24 0 11 0 419388411 864141312 23425 4294967295 134512640 134569956 3221224416 3221214592 1131463506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 23425 13073 16 0 210956 0
vsize: 843888
[startup+70.0051 s]
Raw data (loadavg): 1.16 1.09 1.01 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 6080 48 0 0 24 0 11 0 419388411 866238464 24126 4294967295 134512640 134569956 3221224416 3221214584 1131269080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 24126 13073 16 0 211468 0
vsize: 845936
[startup+80.0059 s]
Raw data (loadavg): 1.13 1.08 1.01 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 7013 48 0 0 25 0 11 0 419388411 866238464 24361 4294967295 134512640 134569956 3221224416 3221214576 1131462712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 24361 13073 16 0 211468 0
vsize: 845936
[startup+90.0062 s]
Raw data (loadavg): 1.11 1.08 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 7956 48 0 0 25 0 11 0 419388411 866238464 24545 4294967295 134512640 134569956 3221224416 3221214696 1131211633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 24545 13073 16 0 211468 0
vsize: 845936
[startup+100.006 s]
Raw data (loadavg): 1.10 1.08 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 8898 48 0 0 25 0 11 0 419388411 866238464 24729 4294967295 134512640 134569956 3221224416 3221214796 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 24729 13073 16 0 211468 0
vsize: 845936
[startup+110.006 s]
Raw data (loadavg): 1.08 1.07 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 9836 48 0 0 25 0 11 0 419388411 866238464 24889 4294967295 134512640 134569956 3221224416 3221214576 1131463506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 24889 13073 16 0 211468 0
vsize: 845936
[startup+120.008 s]
Raw data (loadavg): 1.07 1.07 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 10783 48 0 0 25 0 11 0 419388411 866238464 24989 4294967295 134512640 134569956 3221224416 3221214696 1131211837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 24989 13073 16 0 211468 0
vsize: 845936
[startup+130.012 s]
Raw data (loadavg): 1.06 1.07 1.00 2/64 12129
Raw data (stat): 12118 (java) S 12117 10720 10719 0 -1 0 18080 3 1 0 11725 48 0 0 25 0 11 0 419388411 866238464 25176 4294967295 134512640 134569956 3221224416 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 25176 13073 16 0 211468 0
vsize: 845936
[startup+140.012 s]
Raw data (loadavg): 1.05 1.06 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 12674 48 0 0 25 0 11 0 419388411 866238464 25306 4294967295 134512640 134569956 3221224416 3221214584 1131268942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 25306 13073 16 0 211468 0
vsize: 845936
[startup+150.013 s]
Raw data (loadavg): 1.04 1.06 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 13620 48 0 0 24 0 11 0 419388411 866238464 25424 4294967295 134512640 134569956 3221224416 3221214584 1131269080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 25424 13073 16 0 211468 0
vsize: 845936
[startup+160.013 s]
Raw data (loadavg): 1.03 1.06 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 14574 48 0 0 25 0 11 0 419388411 866238464 25539 4294967295 134512640 134569956 3221224416 3221214576 1131462746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 25539 13073 16 0 211468 0
vsize: 845936
[startup+170.014 s]
Raw data (loadavg): 1.03 1.06 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 15527 49 0 0 25 0 11 0 419388411 866238464 25674 4294967295 134512640 134569956 3221224416 3221214696 1131211633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 25674 13073 16 0 211468 0
vsize: 845936
[startup+180.015 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 16481 49 0 0 25 0 11 0 419388411 866238464 25775 4294967295 134512640 134569956 3221224416 3221214808 1131387730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 25775 13073 16 0 211468 0
vsize: 845936
[startup+190.015 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 12129
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 17444 49 0 0 25 0 11 0 419388411 866238464 25878 4294967295 134512640 134569956 3221224416 3221214792 1131288995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 25878 13073 16 0 211468 0
vsize: 845936
[startup+200.015 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 12130
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 18396 49 0 0 25 0 11 0 419388411 866238464 25960 4294967295 134512640 134569956 3221224416 3221214584 1131269423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 25960 13073 16 0 211468 0
vsize: 845936
[startup+210.015 s]
Raw data (loadavg): 1.01 1.05 1.00 2/64 12130
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18080 3 1 0 19344 49 0 0 25 0 11 0 419388411 866238464 26090 4294967295 134512640 134569956 3221224416 3221214576 1131462765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 26090 13073 16 0 211468 0
vsize: 845936
[startup+220.016 s]
Raw data (loadavg): 1.01 1.05 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 20299 49 0 0 25 0 11 0 419388411 866238464 26141 4294967295 134512640 134569956 3221224416 3221214792 1131289278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 26141 13073 16 0 211468 0
vsize: 845936
[startup+230.016 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 21240 49 0 0 25 0 11 0 419388411 866238464 26301 4294967295 134512640 134569956 3221224416 3221214696 1131211562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 26301 13073 16 0 211468 0
vsize: 845936
[startup+240.017 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 22189 49 0 0 25 0 11 0 419388411 866238464 26418 4294967295 134512640 134569956 3221224416 3221214584 1131269583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 26418 13073 16 0 211468 0
vsize: 845936
[startup+250.017 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 23139 49 0 0 25 0 11 0 419388411 866238464 26564 4294967295 134512640 134569956 3221224416 3221214792 1131288059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 26564 13073 16 0 211468 0
vsize: 845936
[startup+260.018 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 24089 49 0 0 25 0 11 0 419388411 866238464 26669 4294967295 134512640 134569956 3221224416 3221214576 1131463429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 26669 13073 16 0 211468 0
vsize: 845936
[startup+270.019 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 25039 49 0 0 25 0 11 0 419388411 866238464 26788 4294967295 134512640 134569956 3221224416 3221214792 1131288059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 26788 13073 16 0 211468 0
vsize: 845936
[startup+280.019 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 25991 49 0 0 25 0 11 0 419388411 866238464 26914 4294967295 134512640 134569956 3221224416 3221214684 1131359468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 26914 13073 16 0 211468 0
vsize: 845936
[startup+290.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 26944 49 0 0 25 0 11 0 419388411 866238464 27053 4294967295 134512640 134569956 3221224416 3221214576 1131462828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27053 13073 16 0 211468 0
vsize: 845936
[startup+300.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 27896 49 0 0 25 0 11 0 419388411 866238464 27162 4294967295 134512640 134569956 3221224416 3221214696 1131211740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27162 13073 16 0 211468 0
vsize: 845936
[startup+310.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 28843 49 0 0 25 0 11 0 419388411 866238464 27241 4294967295 134512640 134569956 3221224416 3221214696 1131211325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27241 13073 16 0 211468 0
vsize: 845936
[startup+320.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 29791 49 0 0 25 0 11 0 419388411 866238464 27364 4294967295 134512640 134569956 3221224416 3221214788 1131211244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27364 13073 16 0 211468 0
vsize: 845936
[startup+330.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 30742 50 0 0 25 0 11 0 419388411 866238464 27488 4294967295 134512640 134569956 3221224416 3221214688 1131598254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27488 13073 16 0 211468 0
vsize: 845936
[startup+340.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 31699 50 0 0 25 0 11 0 419388411 866238464 27660 4294967295 134512640 134569956 3221224416 3221214792 1131288124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27660 13073 16 0 211468 0
vsize: 845936
[startup+350.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 32667 50 0 0 25 0 11 0 419388411 866238464 27777 4294967295 134512640 134569956 3221224416 3221214816 1131261040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27777 13073 16 0 211468 0
vsize: 845936
[startup+360.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) S 12117 10720 10719 0 -1 0 18081 3 1 0 33629 50 0 0 25 0 11 0 419388411 866238464 27837 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27837 13073 16 0 211468 0
vsize: 845936
[startup+370.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 34590 50 0 0 25 0 11 0 419388411 866238464 27901 4294967295 134512640 134569956 3221224416 3221214808 1131391126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27901 13073 16 0 211468 0
vsize: 845936
[startup+380.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 35544 50 0 0 25 0 11 0 419388411 866238464 27977 4294967295 134512640 134569956 3221224416 3221214584 1131269101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 27977 13073 16 0 211468 0
vsize: 845936
[startup+390.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 36504 50 0 0 25 0 11 0 419388411 866238464 28132 4294967295 134512640 134569956 3221224416 3221214584 1131269423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28132 13073 16 0 211468 0
vsize: 845936
[startup+400.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 37463 50 0 0 25 0 11 0 419388411 866238464 28197 4294967295 134512640 134569956 3221224416 3221214576 1131463429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28197 13073 16 0 211468 0
vsize: 845936
[startup+410.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 38421 50 0 0 25 0 11 0 419388411 866238464 28319 4294967295 134512640 134569956 3221224416 3221214688 1131592299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28319 13073 16 0 211468 0
vsize: 845936
[startup+420.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 39386 50 0 0 25 0 11 0 419388411 866238464 28393 4294967295 134512640 134569956 3221224416 3221214760 1131223526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28393 13073 16 0 211468 0
vsize: 845936
[startup+430.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 40347 50 0 0 24 0 11 0 419388411 866238464 28473 4294967295 134512640 134569956 3221224416 3221214792 1131288063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28473 13073 16 0 211468 0
vsize: 845936
[startup+440.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 41317 50 0 0 25 0 11 0 419388411 866238464 28560 4294967295 134512640 134569956 3221224416 3221214584 1131269101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28560 13073 16 0 211468 0
vsize: 845936
[startup+450.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 42279 50 0 0 25 0 11 0 419388411 866238464 28652 4294967295 134512640 134569956 3221224416 3221214792 1131289222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28652 13073 16 0 211468 0
vsize: 845936
[startup+460.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 43243 50 0 0 24 0 11 0 419388411 866238464 28727 4294967295 134512640 134569956 3221224416 3221214584 1131269056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28727 13073 16 0 211468 0
vsize: 845936
[startup+470.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 44212 50 0 0 25 0 11 0 419388411 866238464 28786 4294967295 134512640 134569956 3221224416 3221214792 1131288124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28786 13073 16 0 211468 0
vsize: 845936
[startup+480.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 45183 50 0 0 25 0 11 0 419388411 866238464 28848 4294967295 134512640 134569956 3221224416 3221214696 1131211681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28848 13073 16 0 211468 0
vsize: 845936
[startup+490.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 46144 50 0 0 25 0 11 0 419388411 866238464 28919 4294967295 134512640 134569956 3221224416 3221214584 1131268965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28919 13073 16 0 211468 0
vsize: 845936
[startup+500.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 47107 50 0 0 25 0 11 0 419388411 866238464 28960 4294967295 134512640 134569956 3221224416 3221214696 1131211681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 28960 13073 16 0 211468 0
vsize: 845936
[startup+510.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 48071 50 0 0 25 0 11 0 419388411 866238464 29034 4294967295 134512640 134569956 3221224416 3221214792 1131288124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29034 13073 16 0 211468 0
vsize: 845936
[startup+520.031 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 49036 50 0 0 25 0 11 0 419388411 866238464 29122 4294967295 134512640 134569956 3221224416 3221214584 1131269125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29122 13073 16 0 211468 0
vsize: 845936
[startup+530.031 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 50002 50 0 0 25 0 11 0 419388411 866238464 29207 4294967295 134512640 134569956 3221224416 3221214584 1131268910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29207 13073 16 0 211468 0
vsize: 845936
[startup+540.032 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 50972 50 0 0 25 0 11 0 419388411 866238464 29271 4294967295 134512640 134569956 3221224416 3221214696 1131211605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29271 13073 16 0 211468 0
vsize: 845936
[startup+550.034 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 51944 50 0 0 25 0 11 0 419388411 866238464 29346 4294967295 134512640 134569956 3221224416 3221214696 1131211633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29346 13073 16 0 211468 0
vsize: 845936
[startup+560.034 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 52915 50 0 0 25 0 11 0 419388411 866238464 29375 4294967295 134512640 134569956 3221224416 3221214684 1131268716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29375 13073 16 0 211468 0
vsize: 845936
[startup+570.034 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 53879 50 0 0 25 0 11 0 419388411 866238464 29400 4294967295 134512640 134569956 3221224416 3221214576 1131463506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29400 13073 16 0 211468 0
vsize: 845936
[startup+580.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 54844 50 0 0 25 0 11 0 419388411 866238464 29477 4294967295 134512640 134569956 3221224416 3221214688 1131598227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29477 13073 16 0 211468 0
vsize: 845936
[startup+590.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 55814 50 0 0 25 0 11 0 419388411 866238464 29547 4294967295 134512640 134569956 3221224416 3221214688 1131598291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29547 13073 16 0 211468 0
vsize: 845936
[startup+600.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 56781 50 0 0 25 0 11 0 419388411 866238464 29636 4294967295 134512640 134569956 3221224416 3221214792 1131288059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29636 13073 16 0 211468 0
vsize: 845936
[startup+610.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 57751 51 0 0 25 0 11 0 419388411 866238464 29680 4294967295 134512640 134569956 3221224416 3221214584 1131269080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29680 13073 16 0 211468 0
vsize: 845936
[startup+620.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 58719 51 0 0 25 0 11 0 419388411 866238464 29745 4294967295 134512640 134569956 3221224416 3221214696 1131211681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29745 13073 16 0 211468 0
vsize: 845936
[startup+630.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 59675 51 0 0 25 0 11 0 419388411 866238464 29818 4294967295 134512640 134569956 3221224416 3221214448 1131584917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29818 13073 16 0 211468 0
vsize: 845936
[startup+640.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 60632 51 0 0 25 0 11 0 419388411 866238464 29864 4294967295 134512640 134569956 3221224416 3221214576 1131463259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29864 13073 16 0 211468 0
vsize: 845936
[startup+650.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 61591 51 0 0 25 0 11 0 419388411 866238464 29964 4294967295 134512640 134569956 3221224416 3221214696 1131211681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 29964 13073 16 0 211468 0
vsize: 845936
[startup+660.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 62554 51 0 0 25 0 11 0 419388411 866238464 30084 4294967295 134512640 134569956 3221224416 3221214696 1131212180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 30084 13073 16 0 211468 0
vsize: 845936
[startup+670.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 63514 51 0 0 25 0 11 0 419388411 866238464 30154 4294967295 134512640 134569956 3221224416 3221214584 1131269277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30154 13073 16 0 211468 0
vsize: 845936
[startup+680.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 64476 52 0 0 25 0 11 0 419388411 866238464 30262 4294967295 134512640 134569956 3221224416 3221214584 1131269012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30262 13073 16 0 211468 0
vsize: 845936
[startup+690.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 65437 52 0 0 24 0 11 0 419388411 866238464 30346 4294967295 134512640 134569956 3221224416 3221214584 1131268942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30346 13073 16 0 211468 0
vsize: 845936
[startup+700.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 66406 52 0 0 24 0 11 0 419388411 866238464 30421 4294967295 134512640 134569956 3221224416 3221214856 1131374821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30421 13073 16 0 211468 0
vsize: 845936
[startup+710.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 67373 52 0 0 25 0 11 0 419388411 866238464 30494 4294967295 134512640 134569956 3221224416 3221214584 1131268808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30494 13073 16 0 211468 0
vsize: 845936
[startup+720.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 68338 53 0 0 25 0 11 0 419388411 866238464 30531 4294967295 134512640 134569956 3221224416 3221214712 1131344442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30531 13073 16 0 211468 0
vsize: 845936
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 69303 53 0 0 25 0 11 0 419388411 866238464 30583 4294967295 134512640 134569956 3221224416 3221214584 1131269080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30583 13073 16 0 211468 0
vsize: 845936
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 70275 53 0 0 25 0 11 0 419388411 866238464 30647 4294967295 134512640 134569956 3221224416 3221214792 1131292882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30647 13073 16 0 211468 0
vsize: 845936
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 71232 53 0 0 25 0 11 0 419388411 866238464 30727 4294967295 134512640 134569956 3221224416 3221214792 1131288052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30727 13073 16 0 211468 0
vsize: 845936
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 72182 54 0 0 25 0 11 0 419388411 866238464 30781 4294967295 134512640 134569956 3221224416 3221214696 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30781 13073 16 0 211468 0
vsize: 845936
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 73129 54 0 0 25 0 11 0 419388411 866238464 30873 4294967295 134512640 134569956 3221224416 3221214696 1131211936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30873 13073 16 0 211468 0
vsize: 845936
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 74083 54 0 0 25 0 11 0 419388411 866238464 30975 4294967295 134512640 134569956 3221224416 3221214792 1131288059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 30975 13073 16 0 211468 0
vsize: 845936
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 75030 54 0 0 25 0 11 0 419388411 866238464 31150 4294967295 134512640 134569956 3221224416 3221214792 1131293062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31150 13073 16 0 211468 0
vsize: 845936
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 75987 55 0 0 24 0 11 0 419388411 866238464 31240 4294967295 134512640 134569956 3221224416 3221214584 1131268942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31240 13073 16 0 211468 0
vsize: 845936
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 76950 55 0 0 25 0 11 0 419388411 866238464 31368 4294967295 134512640 134569956 3221224416 3221214584 1131268876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31368 13073 16 0 211468 0
vsize: 845936
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 77912 55 0 0 25 0 11 0 419388411 866238464 31447 4294967295 134512640 134569956 3221224416 3221214584 1131269218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31447 13073 16 0 211468 0
vsize: 845936
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 78876 55 0 0 25 0 11 0 419388411 866238464 31532 4294967295 134512640 134569956 3221224416 3221214584 1131269080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31532 13073 16 0 211468 0
vsize: 845936
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 79840 56 0 0 25 0 11 0 419388411 866238464 31603 4294967295 134512640 134569956 3221224416 3221214584 1131268949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31603 13073 16 0 211468 0
vsize: 845936
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 80806 56 0 0 25 0 11 0 419388411 866238464 31699 4294967295 134512640 134569956 3221224416 3221214688 1131598167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31699 13073 16 0 211468 0
vsize: 845936
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 81775 56 0 0 25 0 11 0 419388411 866238464 31754 4294967295 134512640 134569956 3221224416 3221214584 1131269083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31754 13073 16 0 211468 0
vsize: 845936
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 82744 57 0 0 25 0 11 0 419388411 866238464 31834 4294967295 134512640 134569956 3221224416 3221214696 1131212244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31834 13073 16 0 211468 0
vsize: 845936
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 83715 57 0 0 25 0 11 0 419388411 866238464 31894 4294967295 134512640 134569956 3221224416 3221214696 1131212327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31894 13073 16 0 211468 0
vsize: 845936
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 84678 57 0 0 25 0 11 0 419388411 866238464 31932 4294967295 134512640 134569956 3221224416 3221214584 1131269083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 31932 13073 16 0 211468 0
vsize: 845936
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 85631 58 0 0 24 0 11 0 419388411 866238464 32001 4294967295 134512640 134569956 3221224416 3221214684 1131270581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32001 13073 16 0 211468 0
vsize: 845936
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 86593 58 0 0 25 0 11 0 419388411 866238464 32059 4294967295 134512640 134569956 3221224416 3221214792 1131288124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32059 13073 16 0 211468 0
vsize: 845936
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 87539 58 0 0 25 0 11 0 419388411 866238464 32152 4294967295 134512640 134569956 3221224416 3221214576 1131463632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32152 13073 16 0 211468 0
vsize: 845936
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 88485 59 0 0 25 0 11 0 419388411 866238464 32287 4294967295 134512640 134569956 3221224416 3221214584 1131239074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32287 13073 16 0 211468 0
vsize: 845936
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 89433 59 0 0 25 0 11 0 419388411 866238464 32410 4294967295 134512640 134569956 3221224416 3221214688 1131598167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32410 13073 16 0 211468 0
vsize: 845936
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 90380 59 0 0 24 0 11 0 419388411 866238464 32523 4294967295 134512640 134569956 3221224416 3221214696 1131212384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32523 13073 16 0 211468 0
vsize: 845936
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 91342 60 0 0 25 0 11 0 419388411 866238464 32631 4294967295 134512640 134569956 3221224416 3221214584 1131269331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32631 13073 16 0 211468 0
vsize: 845936
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 92294 60 0 0 25 0 11 0 419388411 866238464 32727 4294967295 134512640 134569956 3221224416 3221214792 1131288059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 32727 13073 16 0 211468 0
vsize: 845936
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 93251 61 0 0 25 0 11 0 419388411 866238464 32869 4294967295 134512640 134569956 3221224416 3221214696 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32869 13073 16 0 211468 0
vsize: 845936
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 94211 61 0 0 25 0 11 0 419388411 866238464 32990 4294967295 134512640 134569956 3221224416 3221214584 1131268942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 32990 13073 16 0 211468 0
vsize: 845936
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 95178 61 0 0 25 0 11 0 419388411 866238464 33060 4294967295 134512640 134569956 3221224416 3221214688 1131592340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 33060 13073 16 0 211468 0
vsize: 845936
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 96145 61 0 0 25 0 11 0 419388411 866238464 33127 4294967295 134512640 134569956 3221224416 3221214792 1131288904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33127 13073 16 0 211468 0
vsize: 845936
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 97112 62 0 0 25 0 11 0 419388411 866238464 33217 4294967295 134512640 134569956 3221224416 3221214584 1131268942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33217 13073 16 0 211468 0
vsize: 845936
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 98080 62 0 0 25 0 11 0 419388411 866238464 33258 4294967295 134512640 134569956 3221224416 3221214584 1131269308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33258 13073 16 0 211468 0
vsize: 845936
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 99048 62 0 0 25 0 11 0 419388411 866238464 33326 4294967295 134512640 134569956 3221224416 3221214688 1131598281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33326 13073 16 0 211468 0
vsize: 845936
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 100017 63 0 0 25 0 11 0 419388411 866238464 33395 4294967295 134512640 134569956 3221224416 3221214696 1131212321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33395 13073 16 0 211468 0
vsize: 845936
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 100985 63 0 0 25 0 11 0 419388411 866238464 33444 4294967295 134512640 134569956 3221224416 3221214724 1131592211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33444 13073 16 0 211468 0
vsize: 845936
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 101953 63 0 0 25 0 11 0 419388411 866238464 33505 4294967295 134512640 134569956 3221224416 3221214584 1131269056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33505 13073 16 0 211468 0
vsize: 845936
[startup+1080.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 102922 64 0 0 25 0 11 0 419388411 866238464 33555 4294967295 134512640 134569956 3221224416 3221214576 1131465170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33555 13073 16 0 211468 0
vsize: 845936
[startup+1090.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 103891 64 0 0 25 0 11 0 419388411 866238464 33640 4294967295 134512640 134569956 3221224416 3221214664 1131564009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33640 13073 16 0 211468 0
vsize: 845936
[startup+1100.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 104861 65 0 0 25 0 11 0 419388411 866238464 33684 4294967295 134512640 134569956 3221224416 3221214688 1131592340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33684 13073 16 0 211468 0
vsize: 845936
[startup+1110.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 105828 65 0 0 25 0 11 0 419388411 866238464 33717 4294967295 134512640 134569956 3221224416 3221214792 1131289212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33717 13073 16 0 211468 0
vsize: 845936
[startup+1120.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 106798 65 0 0 25 0 11 0 419388411 866238464 33787 4294967295 134512640 134569956 3221224416 3221214696 1131211265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33787 13073 16 0 211468 0
vsize: 845936
[startup+1130.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 107772 65 0 0 25 0 11 0 419388411 866238464 33841 4294967295 134512640 134569956 3221224416 3221214696 1131211704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33841 13073 16 0 211468 0
vsize: 845936
[startup+1140.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 108742 66 0 0 25 0 11 0 419388411 866238464 33888 4294967295 134512640 134569956 3221224416 3221214632 1131355361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 33888 13073 16 0 211468 0
vsize: 845936
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 109705 66 0 0 25 0 11 0 419388411 866238464 33935 4294967295 134512640 134569956 3221224416 3221214688 1131598182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211484 33935 13073 16 0 211468 0
vsize: 845936
[startup+1160.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 110667 66 0 0 25 0 11 0 419388411 866238464 34022 4294967295 134512640 134569956 3221224416 3221214576 1131462751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34022 13073 16 0 211468 0
vsize: 845936
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 111643 67 0 0 25 0 11 0 419388411 866238464 34076 4294967295 134512640 134569956 3221224416 3221214576 1131463407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34076 13073 16 0 211468 0
vsize: 845936
[startup+1180.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 112618 67 0 0 25 0 11 0 419388411 866238464 34120 4294967295 134512640 134569956 3221224416 3221214696 1131211581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34120 13073 16 0 211468 0
vsize: 845936
[startup+1190.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 113589 67 0 0 25 0 11 0 419388411 866238464 34175 4294967295 134512640 134569956 3221224416 3221214792 1131287824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34175 13073 16 0 211468 0
vsize: 845936
[startup+1200.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 114558 67 0 0 25 0 11 0 419388411 866238464 34204 4294967295 134512640 134569956 3221224416 3221214576 1131464504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34204 13073 16 0 211468 0
vsize: 845936
[startup+1210.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 115533 68 0 0 25 0 11 0 419388411 866238464 34233 4294967295 134512640 134569956 3221224416 3221214696 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34233 13073 16 0 211468 0
vsize: 845936
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 116498 68 0 0 25 0 11 0 419388411 866238464 34278 4294967295 134512640 134569956 3221224416 3221214696 1131211278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34278 13073 16 0 211468 0
vsize: 845936
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 117464 68 0 0 25 0 11 0 419388411 866238464 34362 4294967295 134512640 134569956 3221224416 3221214792 1131292922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34362 13073 16 0 211468 0
vsize: 845936
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 118432 69 0 0 25 0 11 0 419388411 866238464 34435 4294967295 134512640 134569956 3221224416 3221214688 1131598295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34435 13073 16 0 211468 0
vsize: 845936
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 119411 69 0 0 25 0 11 0 419388411 866238464 34469 4294967295 134512640 134569956 3221224416 3221214696 1131211693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34469 13073 16 0 211468 0
vsize: 845936
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12131
Raw data (stat): 12118 (java) R 12117 10720 10719 0 -1 0 18081 3 1 0 120374 69 0 0 25 0 11 0 419388411 866238464 34522 4294967295 134512640 134569956 3221224416 3221214576 1131463385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211484 34522 13073 16 0 211468 0
vsize: 845936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12133
Raw data (stat): 12118 (java) Z 12117 10720 10719 0 -1 1036 18081 21389 1 0 120376 69 6132 64 25 0 1 0 419388411 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.2
CPU time (s): 1266.44
CPU user time (s): 1265.1
CPU system time (s): 1.3418
CPU usage (%): 100.495
Max. virtual memory (Kb): 845936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####