PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb
MD5SUM	773129c71f80eff294fafd0a8a5769cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	121
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
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	4677
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4677
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.72874
Number of variables	4676
Total number of constraints	398
Number of constraints which are clauses	398
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	80
Trace number 4279

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        920480 kB
Buffers:         31208 kB
Cached:          62284 kB
SwapCached:          8 kB
Active:          44728 kB
Inactive:        51612 kB
HighTotal:      131008 kB
HighFree:        64428 kB
LowTotal:       903652 kB
LowFree:        856052 kB
SwapTotal:     2097136 kB
SwapFree:      2097128 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            12140 kB
Committed_AS:    71672 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:15:55 (client local time) WITH STATUS 143 IN  SECONDS
stats: 567 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-bench1.pi.opb
c reading problem 
c [nbvar=4677]
c [nbconstr=398]
c time 9.922
c #vars     4677
c #clauses  398
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=264
c Current CPU time (ms) : 11.179
c starts	: 1
c conflicts	: 0
c decisions	: 4413
c propagations	: 4677
c inspects	: 2133
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=263
c Current CPU time (ms) : 17.271
c starts	: 2
c conflicts	: 1
c decisions	: 8814
c propagations	: 9372
c inspects	: 2832
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 2
c 
c CURRENT OPTIMUM=185
c Current CPU time (ms) : 20.385
c starts	: 3
c conflicts	: 1
c decisions	: 13306
c propagations	: 14049
c inspects	: 5777
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 3
c 
c CURRENT OPTIMUM=184
c Current CPU time (ms) : 56.648
c starts	: 4
c conflicts	: 12
c decisions	: 17808
c propagations	: 19371
c inspects	: 6517
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 12
c root simplifications	: 4
c 
c CURRENT OPTIMUM=183
c Current CPU time (ms) : 94.805
c starts	: 5
c conflicts	: 26
c decisions	: 22290
c propagations	: 25188
c inspects	: 10177
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 26
c root simplifications	: 5
c 
c CURRENT OPTIMUM=182
c Current CPU time (ms) : 177.943
c starts	: 6
c conflicts	: 53
c decisions	: 26775
c propagations	: 30987
c inspects	: 14178
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 53
c root simplifications	: 6
c 
c CURRENT OPTIMUM=181
c Current CPU time (ms) : 344.414
c starts	: 7
c conflicts	: 112
c decisions	: 31563
c propagations	: 37694
c inspects	: 22529
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 112
c root simplifications	: 7
c 
c CURRENT OPTIMUM=177
c Current CPU time (ms) : 407.727
c starts	: 8
c conflicts	: 112
c decisions	: 36067
c propagations	: 42371
c inspects	: 34305
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 112
c root simplifications	: 8
c 
c CURRENT OPTIMUM=176
c Current CPU time (ms) : 460.467
c starts	: 9
c conflicts	: 132
c decisions	: 40635
c propagations	: 48010
c inspects	: 35601
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 132
c root simplifications	: 9
c 
c CURRENT OPTIMUM=175
c Current CPU time (ms) : 673.749
c starts	: 10
c conflicts	: 191
c decisions	: 45380
c propagations	: 55217
c inspects	: 53411
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 191
c root simplifications	: 10
c 
c CURRENT OPTIMUM=174
c Current CPU time (ms) : 777.973
c starts	: 11
c conflicts	: 191
c decisions	: 49884
c propagations	: 59894
c inspects	: 73123
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 191
c root simplifications	: 11
c 
c CURRENT OPTIMUM=173
c Current CPU time (ms) : 793.176
c starts	: 12
c conflicts	: 199
c decisions	: 54404
c propagations	: 64855
c inspects	: 73999
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 199
c root simplifications	: 12
c 
c CURRENT OPTIMUM=172
c Current CPU time (ms) : 1049.284
c starts	: 13
c conflicts	: 270
c decisions	: 59259
c propagations	: 73229
c inspects	: 95732
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 270
c root simplifications	: 13
#### 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): 1.40 0.56 0.20 2/54 21083
Raw data (stat): 21083 (runsolver) R 21082 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418966945 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 1.50 0.60 0.22 4/63 21092
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 17990 0 1 0 892 44 0 0 25 0 10 0 418966945 857788416 20031 4294967295 134512640 134569956 3221224416 3221214848 1130896449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209421 20031 13073 16 0 209405 0
vsize: 837684
[startup+20.0106 s]
Raw data (loadavg): 1.50 0.63 0.23 2/64 21095
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 1666 45 0 0 25 0 11 0 418966945 863903744 22119 4294967295 134512640 134569956 3221224416 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210914 22119 13073 16 0 210898 0
vsize: 843656
[startup+30.012 s]
Raw data (loadavg): 1.42 0.65 0.24 2/64 21096
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 2554 45 0 0 24 0 11 0 418966945 860569600 22157 4294967295 134512640 134569956 3221224416 3221214716 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 22157 13073 16 0 210084 0
vsize: 840400
[startup+40.0122 s]
Raw data (loadavg): 1.36 0.66 0.25 2/64 21096
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 3469 45 0 0 25 0 11 0 418966945 863715328 23341 4294967295 134512640 134569956 3221224416 3221214608 1131380472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210868 23341 13073 16 0 210852 0
vsize: 843472
[startup+50.0133 s]
Raw data (loadavg): 1.30 0.67 0.26 2/64 21096
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 4373 46 0 0 25 0 11 0 418966945 860569600 22912 4294967295 134512640 134569956 3221224416 3221214688 1131415590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 22912 13073 16 0 210084 0
vsize: 840400
[startup+60.014 s]
Raw data (loadavg): 1.26 0.68 0.26 2/64 21097
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 5287 46 0 0 25 0 11 0 418966945 860569600 23151 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 23151 13073 16 0 210084 0
vsize: 840400
[startup+70.0141 s]
Raw data (loadavg): 1.22 0.69 0.27 2/64 21097
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 6217 46 0 0 25 0 11 0 418966945 860569600 23464 4294967295 134512640 134569956 3221224416 3221214648 1131369773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 23464 13073 16 0 210084 0
vsize: 840400
[startup+80.0156 s]
Raw data (loadavg): 1.18 0.70 0.28 2/64 21097
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 7146 47 0 0 25 0 11 0 418966945 860569600 23616 4294967295 134512640 134569956 3221224416 3221214636 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 23616 13073 16 0 210084 0
vsize: 840400
[startup+90.016 s]
Raw data (loadavg): 1.15 0.71 0.29 2/64 21097
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 8037 48 0 0 25 0 11 0 418966945 860569600 24147 4294967295 134512640 134569956 3221224416 3221214688 1131413077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 24147 13073 16 0 210084 0
vsize: 840400
[startup+100.015 s]
Raw data (loadavg): 1.13 0.72 0.29 2/64 21098
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 8950 48 0 0 25 0 11 0 418966945 860569600 24539 4294967295 134512640 134569956 3221224416 3221214856 1131195520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 24539 13073 16 0 210084 0
vsize: 840400
[startup+110.016 s]
Raw data (loadavg): 1.11 0.73 0.30 2/64 21098
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 9862 48 0 0 25 0 11 0 418966945 860569600 24539 4294967295 134512640 134569956 3221224416 3221214856 1131195520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 24539 13073 16 0 210084 0
vsize: 840400
[startup+120.017 s]
Raw data (loadavg): 1.09 0.73 0.31 2/64 21098
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 10759 48 0 0 25 0 11 0 418966945 860569600 24984 4294967295 134512640 134569956 3221224416 3221214824 1131396777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 24984 13073 16 0 210084 0
vsize: 840400
[startup+130.017 s]
Raw data (loadavg): 1.08 0.74 0.31 2/64 21098
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 11653 48 0 0 25 0 11 0 418966945 860569600 25379 4294967295 134512640 134569956 3221224416 3221214688 1131414939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 25379 13073 16 0 210084 0
vsize: 840400
[startup+140.018 s]
Raw data (loadavg): 1.06 0.75 0.32 2/64 21098
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 12548 48 0 0 24 0 11 0 418966945 860569600 25692 4294967295 134512640 134569956 3221224416 3221214608 1131381028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 25692 13073 16 0 210084 0
vsize: 840400
[startup+150.018 s]
Raw data (loadavg): 1.05 0.76 0.33 2/64 21098
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 13443 49 0 0 25 0 11 0 418966945 860569600 25846 4294967295 134512640 134569956 3221224416 3221214640 1131606868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 25846 13073 16 0 210084 0
vsize: 840400
[startup+160.018 s]
Raw data (loadavg): 1.05 0.77 0.33 2/64 21098
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 14326 49 0 0 25 0 11 0 418966945 860569600 26899 4294967295 134512640 134569956 3221224416 3221214800 1131297905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 26899 13073 16 0 210084 0
vsize: 840400
[startup+170.018 s]
Raw data (loadavg): 1.04 0.77 0.34 2/64 21098
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 15218 50 0 0 25 0 11 0 418966945 860569600 27136 4294967295 134512640 134569956 3221224416 3221214720 1131302919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 27136 13073 16 0 210084 0
vsize: 840400
[startup+180.019 s]
Raw data (loadavg): 1.11 0.80 0.35 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 16135 50 0 0 25 0 11 0 418966945 860569600 27597 4294967295 134512640 134569956 3221224416 3221214856 1131195544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 27597 13073 16 0 210084 0
vsize: 840400
[startup+190.019 s]
Raw data (loadavg): 1.09 0.80 0.36 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 17070 50 0 0 25 0 11 0 418966945 860569600 27597 4294967295 134512640 134569956 3221224416 3221214896 1131319493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 27597 13073 16 0 210084 0
vsize: 840400
[startup+200.02 s]
Raw data (loadavg): 1.08 0.81 0.37 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 18004 50 0 0 25 0 11 0 418966945 860569600 27936 4294967295 134512640 134569956 3221224416 3221214792 1131227957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 27936 13073 16 0 210084 0
vsize: 840400
[startup+210.02 s]
Raw data (loadavg): 1.07 0.81 0.37 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 18962 51 0 0 25 0 11 0 418966945 860569600 28164 4294967295 134512640 134569956 3221224416 3221214640 1131606868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 28164 13073 16 0 210084 0
vsize: 840400
[startup+220.021 s]
Raw data (loadavg): 1.06 0.82 0.38 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 19918 51 0 0 25 0 11 0 418966945 860569600 28316 4294967295 134512640 134569956 3221224416 3221214688 1131414939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 28316 13073 16 0 210084 0
vsize: 840400
[startup+230.022 s]
Raw data (loadavg): 1.05 0.83 0.38 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 20831 52 0 0 25 0 11 0 418966945 860569600 28321 4294967295 134512640 134569956 3221224416 3221214856 1131195667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 28321 13073 16 0 210084 0
vsize: 840400
[startup+240.022 s]
Raw data (loadavg): 1.04 0.83 0.39 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 21715 52 0 0 25 0 11 0 418966945 860569600 29182 4294967295 134512640 134569956 3221224416 3221214824 1131396517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 29182 13073 16 0 210084 0
vsize: 840400
[startup+250.023 s]
Raw data (loadavg): 1.03 0.84 0.40 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 22612 53 0 0 25 0 11 0 418966945 860569600 29492 4294967295 134512640 134569956 3221224416 3221214720 1131303081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 29492 13073 16 0 210084 0
vsize: 840400
[startup+260.023 s]
Raw data (loadavg): 1.03 0.84 0.40 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 23495 53 0 0 25 0 11 0 418966945 860569600 29934 4294967295 134512640 134569956 3221224416 3221214608 1131379589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 29934 13073 16 0 210084 0
vsize: 840400
[startup+270.023 s]
Raw data (loadavg): 1.02 0.85 0.41 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 24378 54 0 0 25 0 11 0 418966945 860569600 30254 4294967295 134512640 134569956 3221224416 3221214688 1131415244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 30254 13073 16 0 210084 0
vsize: 840400
[startup+280.024 s]
Raw data (loadavg): 1.02 0.85 0.41 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 25274 54 0 0 25 0 11 0 418966945 860569600 30412 4294967295 134512640 134569956 3221224416 3221214640 1131368428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 30412 13073 16 0 210084 0
vsize: 840400
[startup+290.025 s]
Raw data (loadavg): 1.02 0.85 0.42 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 26180 54 0 0 25 0 11 0 418966945 860569600 30799 4294967295 134512640 134569956 3221224416 3221214608 1131380324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 30799 13073 16 0 210084 0
vsize: 840400
[startup+300.024 s]
Raw data (loadavg): 1.01 0.86 0.42 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 27111 55 0 0 25 0 11 0 418966945 860569600 31105 4294967295 134512640 134569956 3221224416 3221214628 1080203746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 31105 13073 16 0 210084 0
vsize: 840400
[startup+310.025 s]
Raw data (loadavg): 1.01 0.86 0.43 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 27996 55 0 0 25 0 11 0 418966945 860569600 31254 4294967295 134512640 134569956 3221224416 3221214552 1131403691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 31254 13073 16 0 210084 0
vsize: 840400
[startup+320.026 s]
Raw data (loadavg): 1.01 0.87 0.44 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 28909 55 0 0 25 0 11 0 418966945 860569600 32090 4294967295 134512640 134569956 3221224416 3221214608 1131380072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 32090 13073 16 0 210084 0
vsize: 840400
[startup+330.027 s]
Raw data (loadavg): 1.01 0.87 0.44 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 29866 56 0 0 25 0 11 0 418966945 860569600 32090 4294967295 134512640 134569956 3221224416 3221214720 1131227642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 32090 13073 16 0 210084 0
vsize: 840400
[startup+340.027 s]
Raw data (loadavg): 1.00 0.87 0.45 2/64 21099
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 30748 56 0 0 24 0 11 0 418966945 860569600 32807 4294967295 134512640 134569956 3221224416 3221214688 1131414939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 32807 13073 16 0 210084 0
vsize: 840400
[startup+350.027 s]
Raw data (loadavg): 1.00 0.88 0.45 2/64 21100
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 31674 56 0 0 25 0 11 0 418966945 860569600 33125 4294967295 134512640 134569956 3221224416 3221214856 1131195537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 33125 13073 16 0 210084 0
vsize: 840400
[startup+360.027 s]
Raw data (loadavg): 1.08 0.90 0.46 2/64 21153
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 32598 60 0 0 25 0 11 0 418966945 860569600 33125 4294967295 134512640 134569956 3221224416 3221214792 1131227987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 33125 13073 16 0 210084 0
vsize: 840400
[startup+370.027 s]
Raw data (loadavg): 1.06 0.90 0.47 2/64 21153
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 33518 61 0 0 25 0 11 0 418966945 860569600 33125 4294967295 134512640 134569956 3221224416 3221214896 1131319317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 33125 13073 16 0 210084 0
vsize: 840400
[startup+380.028 s]
Raw data (loadavg): 1.05 0.90 0.47 2/64 21153
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 34443 61 0 0 25 0 11 0 418966945 860569600 33508 4294967295 134512640 134569956 3221224416 3221214896 1131319769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 33508 13073 16 0 210084 0
vsize: 840400
[startup+390.028 s]
Raw data (loadavg): 1.05 0.91 0.48 2/64 21153
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 35412 61 0 0 25 0 11 0 418966945 860569600 33807 4294967295 134512640 134569956 3221224416 3221214792 1131228794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 33807 13073 16 0 210084 0
vsize: 840400
[startup+400.028 s]
Raw data (loadavg): 1.04 0.91 0.48 2/64 21153
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 36405 61 0 0 25 0 11 0 418966945 860569600 33813 4294967295 134512640 134569956 3221224416 3221214792 1131228045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 33813 13073 16 0 210084 0
vsize: 840400
[startup+410.028 s]
Raw data (loadavg): 1.03 0.91 0.49 2/64 21154
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 37393 62 0 0 25 0 11 0 418966945 860569600 33817 4294967295 134512640 134569956 3221224416 3221214608 1131382417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 33817 13073 16 0 210084 0
vsize: 840400
[startup+420.028 s]
Raw data (loadavg): 1.03 0.91 0.49 2/64 21156
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 38319 62 0 0 25 0 11 0 418966945 860569600 33819 4294967295 134512640 134569956 3221224416 3221214688 1131415182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 33819 13073 16 0 210084 0
vsize: 840400
[startup+430.029 s]
Raw data (loadavg): 1.02 0.92 0.50 2/64 21156
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 39200 62 0 0 25 0 11 0 418966945 860569600 33904 4294967295 134512640 134569956 3221224416 3221214608 1131379589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 33904 13073 16 0 210084 0
vsize: 840400
[startup+440.03 s]
Raw data (loadavg): 1.02 0.92 0.50 2/64 21156
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 40084 62 0 0 25 0 11 0 418966945 860569600 34216 4294967295 134512640 134569956 3221224416 3221214820 1131506732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 34216 13073 16 0 210084 0
vsize: 840400
[startup+450.03 s]
Raw data (loadavg): 1.02 0.92 0.51 2/64 21156
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 40961 62 0 0 25 0 11 0 418966945 860569600 34467 4294967295 134512640 134569956 3221224416 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 34467 13073 16 0 210084 0
vsize: 840400
[startup+460.031 s]
Raw data (loadavg): 1.01 0.92 0.51 2/64 21156
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 41864 63 0 0 25 0 11 0 418966945 860569600 34775 4294967295 134512640 134569956 3221224416 3221214792 1131228704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 34775 13073 16 0 210084 0
vsize: 840400
[startup+470.031 s]
Raw data (loadavg): 1.01 0.92 0.52 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 42815 63 0 0 25 0 11 0 418966945 860569600 34927 4294967295 134512640 134569956 3221224416 3221214792 1131228191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 34927 13073 16 0 210084 0
vsize: 840400
[startup+480.032 s]
Raw data (loadavg): 1.01 0.93 0.52 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 43751 64 0 0 24 0 11 0 418966945 860569600 35155 4294967295 134512640 134569956 3221224416 3221214896 1131319305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35155 13073 16 0 210084 0
vsize: 840400
[startup+490.032 s]
Raw data (loadavg): 1.01 0.93 0.53 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 44702 64 0 0 25 0 11 0 418966945 860569600 35228 4294967295 134512640 134569956 3221224416 3221214856 1131195520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35228 13073 16 0 210084 0
vsize: 840400
[startup+500.033 s]
Raw data (loadavg): 1.00 0.93 0.53 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 45659 65 0 0 25 0 11 0 418966945 860569600 35373 4294967295 134512640 134569956 3221224416 3221214792 1131227945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35373 13073 16 0 210084 0
vsize: 840400
[startup+510.033 s]
Raw data (loadavg): 1.00 0.93 0.54 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 46645 65 0 0 25 0 11 0 418966945 860569600 35527 4294967295 134512640 134569956 3221224416 3221214856 1131195537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35527 13073 16 0 210084 0
vsize: 840400
[startup+520.034 s]
Raw data (loadavg): 1.00 0.93 0.54 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 47640 65 0 0 25 0 11 0 418966945 860569600 35528 4294967295 134512640 134569956 3221224416 3221214792 1131227863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35528 13073 16 0 210084 0
vsize: 840400
[startup+530.035 s]
Raw data (loadavg): 1.00 0.94 0.55 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 48636 65 0 0 25 0 11 0 418966945 860569600 35530 4294967295 134512640 134569956 3221224416 3221214792 1131227905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35530 13073 16 0 210084 0
vsize: 840400
[startup+540.036 s]
Raw data (loadavg): 1.00 0.94 0.55 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 49614 66 0 0 25 0 11 0 418966945 860569600 35531 4294967295 134512640 134569956 3221224416 3221214680 1131394188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35531 13073 16 0 210084 0
vsize: 840400
[startup+550.035 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 21157
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 50528 66 0 0 23 0 11 0 418966945 860569600 35532 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35532 13073 16 0 210084 0
vsize: 840400
[startup+560.037 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 51421 67 0 0 19 0 11 0 418966945 860569600 35533 4294967295 134512640 134569956 3221224416 3221214608 1131380494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 35533 13073 16 0 210084 0
vsize: 840400
[startup+570.04 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 52296 67 0 0 16 0 11 0 418966945 860569600 36086 4294967295 134512640 134569956 3221224416 3221214064 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 36086 13073 16 0 210084 0
vsize: 840400
[startup+580.04 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 53178 67 0 0 18 0 11 0 418966945 860569600 36162 4294967295 134512640 134569956 3221224416 3221214664 1131505429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 36162 13073 16 0 210084 0
vsize: 840400
[startup+590.041 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 54055 67 0 0 22 0 11 0 418966945 860569600 36386 4294967295 134512640 134569956 3221224416 3221214640 1131367488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 36386 13073 16 0 210084 0
vsize: 840400
[startup+600.041 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 54962 68 0 0 20 0 11 0 418966945 860569600 36906 4294967295 134512640 134569956 3221224416 3221214792 1131227635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 36906 13073 16 0 210084 0
vsize: 840400
[startup+610.041 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 55891 68 0 0 25 0 11 0 418966945 860569600 37122 4294967295 134512640 134569956 3221224416 3221213872 1131507626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 37122 13073 16 0 210084 0
vsize: 840400
[startup+620.045 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 21157
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 56763 68 0 0 25 0 11 0 418966945 860569600 38172 4294967295 134512640 134569956 3221224416 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 38172 13073 16 0 210084 0
vsize: 840400
[startup+630.046 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 57651 69 0 0 25 0 11 0 418966945 860569600 38470 4294967295 134512640 134569956 3221224416 3221214688 1131412558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 38470 13073 16 0 210084 0
vsize: 840400
[startup+640.047 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 58531 69 0 0 24 0 11 0 418966945 860569600 38470 4294967295 134512640 134569956 3221224416 3221214700 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 38470 13073 16 0 210084 0
vsize: 840400
[startup+650.047 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 59444 69 0 0 25 0 11 0 418966945 860569600 39048 4294967295 134512640 134569956 3221224416 3221214688 1131412727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 39048 13073 16 0 210084 0
vsize: 840400
[startup+660.047 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 21157
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 60390 70 0 0 25 0 11 0 418966945 860569600 39259 4294967295 134512640 134569956 3221224416 3221214792 1131228754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 39259 13073 16 0 210084 0
vsize: 840400
[startup+670.048 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 21157
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 61318 70 0 0 25 0 11 0 418966945 860569600 40935 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 40935 13073 16 0 210084 0
vsize: 840400
[startup+680.049 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 21158
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 62275 70 0 0 25 0 11 0 418966945 860569600 40935 4294967295 134512640 134569956 3221224416 3221214792 1131227987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 40935 13073 16 0 210084 0
vsize: 840400
[startup+690.049 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 21158
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 63226 71 0 0 25 0 11 0 418966945 860569600 40935 4294967295 134512640 134569956 3221224416 3221214856 1131195608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 40935 13073 16 0 210084 0
vsize: 840400
[startup+700.05 s]
Raw data (loadavg): 1.00 0.96 0.61 2/64 21158
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 64159 71 0 0 25 0 11 0 418966945 860569600 40935 4294967295 134512640 134569956 3221224416 3221214792 1131227993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 40935 13073 16 0 210084 0
vsize: 840400
[startup+710.05 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 21160
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 65082 72 0 0 25 0 11 0 418966945 860569600 40935 4294967295 134512640 134569956 3221224416 3221214856 1131195537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 40935 13073 16 0 210084 0
vsize: 840400
[startup+720.05 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 21160
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 66005 72 0 0 25 0 11 0 418966945 860569600 41504 4294967295 134512640 134569956 3221224416 3221214896 1131319708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41504 13073 16 0 210084 0
vsize: 840400
[startup+730.051 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 21160
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 66996 72 0 0 25 0 11 0 418966945 860569600 41591 4294967295 134512640 134569956 3221224416 3221214792 1131227959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41591 13073 16 0 210084 0
vsize: 840400
[startup+740.052 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 21160
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 67990 73 0 0 25 0 11 0 418966945 860569600 41595 4294967295 134512640 134569956 3221224416 3221214896 1131319478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41595 13073 16 0 210084 0
vsize: 840400
[startup+750.053 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 21160
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 68983 73 0 0 25 0 11 0 418966945 860569600 41598 4294967295 134512640 134569956 3221224416 3221214792 1131227827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41598 13073 16 0 210084 0
vsize: 840400
[startup+760.053 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 21160
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 69976 73 0 0 25 0 11 0 418966945 860569600 41601 4294967295 134512640 134569956 3221224416 3221214892 1131297824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41601 13073 16 0 210084 0
vsize: 840400
[startup+770.054 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 21160
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 70970 74 0 0 25 0 11 0 418966945 860569600 41604 4294967295 134512640 134569956 3221224416 3221214792 1131228086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41604 13073 16 0 210084 0
vsize: 840400
[startup+780.055 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 21161
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 71961 74 0 0 25 0 11 0 418966945 860569600 41607 4294967295 134512640 134569956 3221224416 3221214856 1131195566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41607 13073 16 0 210084 0
vsize: 840400
[startup+790.055 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 21161
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 72876 74 0 0 25 0 11 0 418966945 860569600 41608 4294967295 134512640 134569956 3221224416 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41608 13073 16 0 210084 0
vsize: 840400
[startup+800.056 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 73814 74 0 0 25 0 11 0 418966945 860569600 41609 4294967295 134512640 134569956 3221224416 3221214892 1131195500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41609 13073 16 0 210084 0
vsize: 840400
[startup+810.057 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 74754 74 0 0 25 0 11 0 418966945 860569600 41610 4294967295 134512640 134569956 3221224416 3221214792 1131228149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 41610 13073 16 0 210084 0
vsize: 840400
[startup+820.056 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 75671 74 0 0 25 0 11 0 418966945 860569600 41613 4294967295 134512640 134569956 3221224416 3221214856 1131195644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 41613 13073 16 0 210084 0
vsize: 840400
[startup+830.057 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 76583 75 0 0 25 0 11 0 418966945 860569600 42143 4294967295 134512640 134569956 3221224416 3221214792 1131227918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 42143 13073 16 0 210084 0
vsize: 840400
[startup+840.058 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 77543 75 0 0 25 0 11 0 418966945 860569600 42379 4294967295 134512640 134569956 3221224416 3221214792 1131228232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 42379 13073 16 0 210084 0
vsize: 840400
[startup+850.057 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 78530 76 0 0 25 0 11 0 418966945 860569600 42476 4294967295 134512640 134569956 3221224416 3221214896 1131319641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 42476 13073 16 0 210084 0
vsize: 840400
[startup+860.058 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 79524 76 0 0 25 0 11 0 418966945 860569600 42479 4294967295 134512640 134569956 3221224416 3221214792 1131227987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 42479 13073 16 0 210084 0
vsize: 840400
[startup+870.059 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 80518 76 0 0 25 0 11 0 418966945 860569600 42479 4294967295 134512640 134569956 3221224416 3221214792 1131227616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 42479 13073 16 0 210084 0
vsize: 840400
[startup+880.059 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 81512 76 0 0 25 0 11 0 418966945 860569600 42481 4294967295 134512640 134569956 3221224416 3221214792 1131227987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 42481 13073 16 0 210084 0
vsize: 840400
[startup+890.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 82485 76 0 0 25 0 11 0 418966945 860569600 42483 4294967295 134512640 134569956 3221224416 3221214720 1131302919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 42483 13073 16 0 210084 0
vsize: 840400
[startup+900.063 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 21162
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 83412 76 0 0 25 0 11 0 418966945 860569600 42485 4294967295 134512640 134569956 3221224416 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 42485 13073 16 0 210084 0
vsize: 840400
[startup+910.063 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 84317 77 0 0 25 0 11 0 418966945 860569600 42487 4294967295 134512640 134569956 3221224416 3221214688 1131413721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 42487 13073 16 0 210084 0
vsize: 840400
[startup+920.066 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 85210 77 0 0 24 0 11 0 418966945 860569600 42748 4294967295 134512640 134569956 3221224416 3221214608 1131381239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 42748 13073 16 0 210084 0
vsize: 840400
[startup+930.067 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 86129 77 0 0 25 0 11 0 418966945 860569600 43005 4294967295 134512640 134569956 3221224416 3221214688 1131414535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 43005 13073 16 0 210084 0
vsize: 840400
[startup+940.067 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 87046 78 0 0 25 0 11 0 418966945 860569600 43175 4294967295 134512640 134569956 3221224416 3221214680 1131394210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 43175 13073 16 0 210084 0
vsize: 840400
[startup+950.067 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 87952 78 0 0 25 0 11 0 418966945 860569600 43255 4294967295 134512640 134569956 3221224416 3221214688 1131415638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 43255 13073 16 0 210084 0
vsize: 840400
[startup+960.068 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 88850 79 0 0 25 0 11 0 418966945 860569600 43418 4294967295 134512640 134569956 3221224416 3221214688 1131413460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 43418 13073 16 0 210084 0
vsize: 840400
[startup+970.068 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 89756 79 0 0 25 0 11 0 418966945 860569600 43727 4294967295 134512640 134569956 3221224416 3221214688 1131413435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 43727 13073 16 0 210084 0
vsize: 840400
[startup+980.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 90672 79 0 0 25 0 11 0 418966945 860569600 43877 4294967295 134512640 134569956 3221224416 3221214856 1131195513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 43877 13073 16 0 210084 0
vsize: 840400
[startup+990.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 91611 79 0 0 25 0 11 0 418966945 860569600 43954 4294967295 134512640 134569956 3221224416 3221214680 1131394226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 43954 13073 16 0 210084 0
vsize: 840400
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 92501 79 0 0 25 0 11 0 418966945 860569600 44580 4294967295 134512640 134569956 3221224416 3221214688 1131413435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 44580 13073 16 0 210084 0
vsize: 840400
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 93381 79 0 0 25 0 11 0 418966945 860569600 45052 4294967295 134512640 134569956 3221224416 3221214628 1080203752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 45052 13073 16 0 210084 0
vsize: 840400
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 94255 80 0 0 25 0 11 0 418966945 860569600 45287 4294967295 134512640 134569956 3221224416 3221214608 1131380193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 45287 13073 16 0 210084 0
vsize: 840400
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 95168 80 0 0 25 0 11 0 418966945 860569600 45287 4294967295 134512640 134569956 3221224416 3221214792 1131228183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 45287 13073 16 0 210084 0
vsize: 840400
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 21162
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 96071 80 0 0 25 0 11 0 418966945 860569600 46462 4294967295 134512640 134569956 3221224416 3221214680 1131394226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 46462 13073 16 0 210084 0
vsize: 840400
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 96985 80 0 0 25 0 11 0 418966945 860569600 47156 4294967295 134512640 134569956 3221224416 3221214444 1131664976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 47156 13073 16 0 210084 0
vsize: 840400
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 97958 80 0 0 25 0 11 0 418966945 860569600 47230 4294967295 134512640 134569956 3221224416 3221214896 1131319305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 47230 13073 16 0 210084 0
vsize: 840400
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 98907 81 0 0 25 0 11 0 418966945 860569600 47230 4294967295 134512640 134569956 3221224416 3221214856 1131195537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 47230 13073 16 0 210084 0
vsize: 840400
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 21163
Raw data (stat): 21083 (java) S 21082 20937 20936 0 -1 0 18070 4 1 0 99841 81 0 0 25 0 11 0 418966945 860569600 47230 4294967295 134512640 134569956 3221224416 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 47230 13073 16 0 210084 0
vsize: 840400
[startup+1090.07 s]
Raw data (loadavg): 1.08 0.99 0.74 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18070 4 1 0 100757 81 0 0 25 0 11 0 418966945 860569600 47230 4294967295 134512640 134569956 3221224416 3221214792 1131228442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 47230 13073 16 0 210084 0
vsize: 840400
[startup+1100.07 s]
Raw data (loadavg): 1.07 0.99 0.74 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 101668 81 0 0 25 0 11 0 418966945 860569600 47231 4294967295 134512640 134569956 3221224416 3221214792 1131227631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210100 47231 13073 16 0 210084 0
vsize: 840400
[startup+1110.07 s]
Raw data (loadavg): 1.06 0.99 0.74 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 102614 81 0 0 25 0 11 0 418966945 860569600 48109 4294967295 134512640 134569956 3221224416 3221214792 1131228105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48109 13073 16 0 210084 0
vsize: 840400
[startup+1120.07 s]
Raw data (loadavg): 1.05 0.99 0.74 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 103606 81 0 0 25 0 11 0 418966945 860569600 48113 4294967295 134512640 134569956 3221224416 3221214856 1131195520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48113 13073 16 0 210084 0
vsize: 840400
[startup+1130.07 s]
Raw data (loadavg): 1.04 0.99 0.75 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 104600 81 0 0 25 0 11 0 418966945 860569600 48115 4294967295 134512640 134569956 3221224416 3221214896 1131319816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48115 13073 16 0 210084 0
vsize: 840400
[startup+1140.07 s]
Raw data (loadavg): 1.03 0.99 0.75 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 105593 82 0 0 25 0 11 0 418966945 860569600 48116 4294967295 134512640 134569956 3221224416 3221214792 1131227987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48116 13073 16 0 210084 0
vsize: 840400
[startup+1150.07 s]
Raw data (loadavg): 1.03 0.99 0.75 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 106586 82 0 0 25 0 11 0 418966945 860569600 48118 4294967295 134512640 134569956 3221224416 3221214896 1131319305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48118 13073 16 0 210084 0
vsize: 840400
[startup+1160.07 s]
Raw data (loadavg): 1.02 0.99 0.75 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 107579 82 0 0 25 0 11 0 418966945 860569600 48119 4294967295 134512640 134569956 3221224416 3221214792 1131227987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48119 13073 16 0 210084 0
vsize: 840400
[startup+1170.08 s]
Raw data (loadavg): 1.02 0.99 0.75 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 108572 82 0 0 25 0 11 0 418966945 860569600 48121 4294967295 134512640 134569956 3221224416 3221214792 1131227557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48121 13073 16 0 210084 0
vsize: 840400
[startup+1180.08 s]
Raw data (loadavg): 1.02 0.99 0.76 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 109565 83 0 0 25 0 11 0 418966945 860569600 48123 4294967295 134512640 134569956 3221224416 3221214892 1131297833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48123 13073 16 0 210084 0
vsize: 840400
[startup+1190.08 s]
Raw data (loadavg): 1.01 0.99 0.76 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 110557 83 0 0 25 0 11 0 418966945 860569600 48124 4294967295 134512640 134569956 3221224416 3221214792 1131228145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48124 13073 16 0 210084 0
vsize: 840400
[startup+1200.08 s]
Raw data (loadavg): 1.01 0.99 0.76 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 111549 83 0 0 25 0 11 0 418966945 860569600 48126 4294967295 134512640 134569956 3221224416 3221214720 1131303081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48126 13073 16 0 210084 0
vsize: 840400
[startup+1210.08 s]
Raw data (loadavg): 1.01 0.99 0.76 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 112500 84 0 0 25 0 11 0 418966945 860569600 48128 4294967295 134512640 134569956 3221224416 3221214640 1131368421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48128 13073 16 0 210084 0
vsize: 840400
[startup+1220.08 s]
Raw data (loadavg): 1.01 0.99 0.76 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 113435 84 0 0 25 0 11 0 418966945 860569600 48130 4294967295 134512640 134569956 3221224416 3221214592 1131606892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48130 13073 16 0 210084 0
vsize: 840400
[startup+1230.08 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 114353 84 0 0 25 0 11 0 418966945 860569600 48213 4294967295 134512640 134569956 3221224416 3221214688 1131414939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48213 13073 16 0 210084 0
vsize: 840400
[startup+1240.08 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 115277 84 0 0 25 0 11 0 418966945 860569600 48370 4294967295 134512640 134569956 3221224416 3221214688 1131416473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48370 13073 16 0 210084 0
vsize: 840400
[startup+1250.08 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 116183 85 0 0 25 0 11 0 418966945 860569600 48447 4294967295 134512640 134569956 3221224416 3221214824 1131396880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48447 13073 16 0 210084 0
vsize: 840400
[startup+1260.08 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 117089 85 0 0 25 0 11 0 418966945 860569600 48603 4294967295 134512640 134569956 3221224416 3221214688 1131414704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48603 13073 16 0 210084 0
vsize: 840400
[startup+1270.08 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 117989 86 0 0 25 0 11 0 418966945 860569600 48832 4294967295 134512640 134569956 3221224416 3221214608 1131380497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48832 13073 16 0 210084 0
vsize: 840400
[startup+1280.08 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 118892 86 0 0 25 0 11 0 418966945 860569600 48982 4294967295 134512640 134569956 3221224416 3221214680 1131394212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 48982 13073 16 0 210084 0
vsize: 840400
[startup+1290.08 s]
Raw data (loadavg): 1.00 0.99 0.78 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 119795 86 0 0 25 0 11 0 418966945 860569600 49206 4294967295 134512640 134569956 3221224416 3221214608 1131380494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 49206 13073 16 0 210084 0
vsize: 840400
[startup+1300.08 s]
Raw data (loadavg): 1.00 0.99 0.78 2/64 21163
Raw data (stat): 21083 (java) R 21082 20937 20936 0 -1 0 18071 4 1 0 120729 86 0 0 25 0 11 0 418966945 860569600 49352 4294967295 134512640 134569956 3221224416 3221214680 1131394299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210100 49352 13073 16 0 210084 0
vsize: 840400
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.45 s]
Raw data (loadavg): 1.00 0.99 0.78 1/54 21165
Raw data (stat): 21083 (java) Z 21082 20937 20936 0 -1 1036 18071 37758 1 1 120755 97 10251 89 25 0 1 0 418966945 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): 1300.45
CPU time (s): 1311.94
CPU user time (s): 1310.07
CPU system time (s): 1.86472
CPU usage (%): 100.883
Max. virtual memory (Kb): 843656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####