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-2pb.opb
MD5SUM	55739635f7f3741bc4f78c540803ac21
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	648
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	648
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	648
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.03884
Number of variables	648
Total number of constraints	1952
Number of constraints which are clauses	1928
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	27
Trace number 4418

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.085
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:      1034724 kB
MemFree:        762364 kB
Buffers:         32664 kB
Cached:         128576 kB
SwapCached:       1212 kB
Active:         133680 kB
Inactive:       107852 kB
HighTotal:      131072 kB
HighFree:         3456 kB
LowTotal:       903652 kB
LowFree:        758908 kB
SwapTotal:     2097892 kB
SwapFree:      2096680 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          81768 kB
Slab:            25244 kB
Committed_AS:   174000 kB
PageTables:        432 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:20:24 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2142 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc32/normalized-s4-4-3-2pb.opb
c reading problem 
c [nbvar=648]
c [nbconstr=1952]
c time 2.785
c #vars     648
c #clauses  1952
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=70
c Current CPU time (ms) : 7.974
c starts	: 1
c conflicts	: 26
c decisions	: 278
c propagations	: 1943
c inspects	: 5499
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 26
c root simplifications	: 1
c 
c CURRENT OPTIMUM=68
c Current CPU time (ms) : 212.562
c starts	: 6
c conflicts	: 901
c decisions	: 5838
c propagations	: 44005
c inspects	: 323675
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 901
c root simplifications	: 14
c 
c CURRENT OPTIMUM=66
c Current CPU time (ms) : 219.58
c starts	: 7
c conflicts	: 923
c decisions	: 5984
c propagations	: 45372
c inspects	: 338950
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 923
c root simplifications	: 15
#### 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.14 1.05 0.94 2/53 9530
Raw data (stat): 9530 (runsolver) R 9529 7987 7986 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477572864 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 1.28 1.08 0.95 4/63 9541
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18101 3 1 0 632 39 0 0 25 0 11 0 477572864 867618816 21994 4294967295 134512640 134569956 3221224416 3221213340 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211821 21994 13073 16 0 211805 0
vsize: 847284
[startup+20.0034 s]
Raw data (loadavg): 1.38 1.11 0.96 2/63 9541
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18103 3 1 0 1526 40 0 0 25 0 11 0 477572864 860778496 21184 4294967295 134512640 134569956 3221224416 3221214816 1131333873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 21184 13073 16 0 210135 0
vsize: 840604
[startup+30.0051 s]
Raw data (loadavg): 1.32 1.11 0.96 2/63 9541
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18103 3 1 0 2462 40 0 0 25 0 11 0 477572864 860778496 21606 4294967295 134512640 134569956 3221224416 3221214648 1131516129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 21606 13073 16 0 210135 0
vsize: 840604
[startup+40.0059 s]
Raw data (loadavg): 1.27 1.11 0.96 2/63 9541
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18103 3 1 0 3375 41 0 0 25 0 11 0 477572864 860778496 22181 4294967295 134512640 134569956 3221224416 3221214680 1131634391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 22181 13073 16 0 210135 0
vsize: 840604
[startup+50.0109 s]
Raw data (loadavg): 1.31 1.12 0.97 2/63 9594
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18103 3 1 0 4293 44 0 0 25 0 11 0 477572864 860778496 22279 4294967295 134512640 134569956 3221224416 3221214792 1131282140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 22279 13073 16 0 210135 0
vsize: 840604
[startup+60.0113 s]
Raw data (loadavg): 1.26 1.11 0.97 2/63 9594
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18103 3 1 0 5228 44 0 0 25 0 11 0 477572864 860778496 22469 4294967295 134512640 134569956 3221224416 3221214756 1131272933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 22469 13073 16 0 210135 0
vsize: 840604
[startup+70.0127 s]
Raw data (loadavg): 1.22 1.11 0.97 2/63 9594
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 6160 44 0 0 25 0 11 0 477572864 860778496 22700 4294967295 134512640 134569956 3221224416 3221214760 1131235873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 22700 13073 16 0 210135 0
vsize: 840604
[startup+80.0139 s]
Raw data (loadavg): 1.19 1.11 0.97 2/63 9594
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 7090 44 0 0 25 0 11 0 477572864 860778496 22835 4294967295 134512640 134569956 3221224416 3221214584 1131235913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 22835 13073 16 0 210135 0
vsize: 840604
[startup+90.0146 s]
Raw data (loadavg): 1.30 1.13 0.98 2/63 9594
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 8029 44 0 0 25 0 11 0 477572864 860778496 23044 4294967295 134512640 134569956 3221224416 3221214792 1131284103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 23044 13073 16 0 210135 0
vsize: 840604
[startup+100.015 s]
Raw data (loadavg): 1.26 1.13 0.98 2/63 9594
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 8965 44 0 0 25 0 11 0 477572864 860778496 23190 4294967295 134512640 134569956 3221224416 3221214680 1131580562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 23190 13073 16 0 210135 0
vsize: 840604
[startup+110.02 s]
Raw data (loadavg): 1.22 1.12 0.98 2/63 9594
Raw data (stat): 9530 (java) S 9529 7987 7986 0 -1 0 18104 3 1 0 9907 44 0 0 25 0 11 0 477572864 860778496 23368 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 23368 13073 16 0 210135 0
vsize: 840604
[startup+120.021 s]
Raw data (loadavg): 1.18 1.12 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 10855 44 0 0 25 0 11 0 477572864 860778496 23506 4294967295 134512640 134569956 3221224416 3221214640 1131631141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 23506 13073 16 0 210135 0
vsize: 840604
[startup+130.023 s]
Raw data (loadavg): 1.16 1.12 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 11799 44 0 0 25 0 11 0 477572864 860778496 23691 4294967295 134512640 134569956 3221224416 3221214656 1131413553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 23691 13073 16 0 210135 0
vsize: 840604
[startup+140.024 s]
Raw data (loadavg): 1.13 1.11 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 12750 44 0 0 25 0 11 0 477572864 860778496 23833 4294967295 134512640 134569956 3221224416 3221214688 1131251963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 23833 13073 16 0 210135 0
vsize: 840604
[startup+150.025 s]
Raw data (loadavg): 1.11 1.11 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 13697 45 0 0 25 0 11 0 477572864 860778496 23932 4294967295 134512640 134569956 3221224416 3221214584 1131235787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 23932 13073 16 0 210135 0
vsize: 840604
[startup+160.026 s]
Raw data (loadavg): 1.09 1.10 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 14637 45 0 0 25 0 11 0 477572864 860778496 24071 4294967295 134512640 134569956 3221224416 3221214584 1131236108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 24071 13073 16 0 210135 0
vsize: 840604
[startup+170.028 s]
Raw data (loadavg): 1.08 1.10 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 15586 45 0 0 25 0 11 0 477572864 860778496 24219 4294967295 134512640 134569956 3221224416 3221214688 1131251527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 24219 13073 16 0 210135 0
vsize: 840604
[startup+180.029 s]
Raw data (loadavg): 1.07 1.10 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 16530 45 0 0 25 0 11 0 477572864 860778496 24346 4294967295 134512640 134569956 3221224416 3221214792 1131282079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 24346 13073 16 0 210135 0
vsize: 840604
[startup+190.029 s]
Raw data (loadavg): 1.06 1.09 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 17479 45 0 0 25 0 11 0 477572864 860778496 24503 4294967295 134512640 134569956 3221224416 3221214792 1131282111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 24503 13073 16 0 210135 0
vsize: 840604
[startup+200.03 s]
Raw data (loadavg): 1.05 1.09 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 18434 45 0 0 25 0 11 0 477572864 860778496 24623 4294967295 134512640 134569956 3221224416 3221214856 1131262427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 24623 13073 16 0 210135 0
vsize: 840604
[startup+210.031 s]
Raw data (loadavg): 1.04 1.08 0.98 2/63 9596
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 19371 45 0 0 25 0 11 0 477572864 860778496 24754 4294967295 134512640 134569956 3221224416 3221214892 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 24754 13073 16 0 210135 0
vsize: 840604
[startup+220.033 s]
Raw data (loadavg): 1.03 1.08 0.98 2/63 9597
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 20312 45 0 0 25 0 11 0 477572864 860778496 24865 4294967295 134512640 134569956 3221224416 3221214684 1131232723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 24865 13073 16 0 210135 0
vsize: 840604
[startup+230.034 s]
Raw data (loadavg): 1.03 1.08 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 21234 45 0 0 25 0 11 0 477572864 860778496 24959 4294967295 134512640 134569956 3221224416 3221214584 1131235913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 24959 13073 16 0 210135 0
vsize: 840604
[startup+240.034 s]
Raw data (loadavg): 1.02 1.08 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 22160 45 0 0 25 0 11 0 477572864 860778496 25128 4294967295 134512640 134569956 3221224416 3221214680 1131634391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 25128 13073 16 0 210135 0
vsize: 840604
[startup+250.036 s]
Raw data (loadavg): 1.02 1.07 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18104 3 1 0 23094 46 0 0 25 0 11 0 477572864 860778496 25361 4294967295 134512640 134569956 3221224416 3221214752 1131310268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 25361 13073 16 0 210135 0
vsize: 840604
[startup+260.037 s]
Raw data (loadavg): 1.02 1.07 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 24035 46 0 0 25 0 11 0 477572864 860778496 25588 4294967295 134512640 134569956 3221224416 3221214584 1131236075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 25588 13073 16 0 210135 0
vsize: 840604
[startup+270.039 s]
Raw data (loadavg): 1.01 1.07 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 24983 46 0 0 25 0 11 0 477572864 860778496 25688 4294967295 134512640 134569956 3221224416 3221214696 1131237664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 25688 13073 16 0 210135 0
vsize: 840604
[startup+280.039 s]
Raw data (loadavg): 1.01 1.06 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 25931 46 0 0 25 0 11 0 477572864 860778496 25768 4294967295 134512640 134569956 3221224416 3221214792 1131282079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 25768 13073 16 0 210135 0
vsize: 840604
[startup+290.04 s]
Raw data (loadavg): 1.01 1.06 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 26881 47 0 0 25 0 11 0 477572864 860778496 25900 4294967295 134512640 134569956 3221224416 3221214688 1131251846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 25900 13073 16 0 210135 0
vsize: 840604
[startup+300.042 s]
Raw data (loadavg): 1.01 1.06 0.98 2/63 9598
Raw data (stat): 9530 (java) S 9529 7987 7986 0 -1 0 18105 3 1 0 27843 47 0 0 25 0 11 0 477572864 860778496 26054 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26054 13073 16 0 210135 0
vsize: 840604
[startup+310.044 s]
Raw data (loadavg): 1.00 1.06 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 28804 47 0 0 25 0 11 0 477572864 860778496 26142 4294967295 134512640 134569956 3221224416 3221214792 1131286372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26142 13073 16 0 210135 0
vsize: 840604
[startup+320.045 s]
Raw data (loadavg): 1.00 1.05 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 29762 48 0 0 24 0 11 0 477572864 860778496 26233 4294967295 134512640 134569956 3221224416 3221214792 1131281893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26233 13073 16 0 210135 0
vsize: 840604
[startup+330.045 s]
Raw data (loadavg): 1.00 1.05 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 30724 48 0 0 25 0 11 0 477572864 860778496 26287 4294967295 134512640 134569956 3221224416 3221214576 1131476713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26287 13073 16 0 210135 0
vsize: 840604
[startup+340.046 s]
Raw data (loadavg): 1.00 1.05 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 31680 48 0 0 25 0 11 0 477572864 860778496 26420 4294967295 134512640 134569956 3221224416 3221214688 1131252196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26420 13073 16 0 210135 0
vsize: 840604
[startup+350.048 s]
Raw data (loadavg): 1.00 1.05 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 32642 49 0 0 25 0 11 0 477572864 860778496 26535 4294967295 134512640 134569956 3221224416 3221214760 1131272082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26535 13073 16 0 210135 0
vsize: 840604
[startup+360.049 s]
Raw data (loadavg): 1.00 1.05 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 33601 49 0 0 25 0 11 0 477572864 860778496 26596 4294967295 134512640 134569956 3221224416 3221214304 1131526113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26596 13073 16 0 210135 0
vsize: 840604
[startup+370.049 s]
Raw data (loadavg): 1.00 1.04 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 34555 49 0 0 25 0 11 0 477572864 860778496 26692 4294967295 134512640 134569956 3221224416 3221214680 1131634473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26692 13073 16 0 210135 0
vsize: 840604
[startup+380.05 s]
Raw data (loadavg): 1.00 1.04 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 35510 50 0 0 25 0 11 0 477572864 860778496 26757 4294967295 134512640 134569956 3221224416 3221214792 1131282079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26757 13073 16 0 210135 0
vsize: 840604
[startup+390.051 s]
Raw data (loadavg): 1.00 1.04 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 36471 50 0 0 25 0 11 0 477572864 860778496 26792 4294967295 134512640 134569956 3221224416 3221214144 1131537592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26792 13073 16 0 210135 0
vsize: 840604
[startup+400.052 s]
Raw data (loadavg): 1.00 1.04 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 37442 51 0 0 25 0 11 0 477572864 860778496 26971 4294967295 134512640 134569956 3221224416 3221214688 1131251894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 26971 13073 16 0 210135 0
vsize: 840604
[startup+410.052 s]
Raw data (loadavg): 1.00 1.04 0.98 2/63 9598
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 38405 51 0 0 25 0 11 0 477572864 860778496 27034 4294967295 134512640 134569956 3221224416 3221214792 1131283135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27034 13073 16 0 210135 0
vsize: 840604
[startup+420.053 s]
Raw data (loadavg): 1.00 1.04 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 39374 51 0 0 25 0 11 0 477572864 860778496 27105 4294967295 134512640 134569956 3221224416 3221214688 1131251700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27105 13073 16 0 210135 0
vsize: 840604
[startup+430.055 s]
Raw data (loadavg): 1.00 1.03 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 40342 52 0 0 25 0 11 0 477572864 860778496 27168 4294967295 134512640 134569956 3221224416 3221214688 1131252120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27168 13073 16 0 210135 0
vsize: 840604
[startup+440.056 s]
Raw data (loadavg): 1.00 1.03 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 41300 52 0 0 25 0 11 0 477572864 860778496 27286 4294967295 134512640 134569956 3221224416 3221214688 1131252128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27286 13073 16 0 210135 0
vsize: 840604
[startup+450.058 s]
Raw data (loadavg): 1.00 1.03 0.98 2/63 9600
Raw data (stat): 9530 (java) S 9529 7987 7986 0 -1 0 18105 3 1 0 42262 52 0 0 25 0 11 0 477572864 860778496 27366 4294967295 134512640 134569956 3221224416 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27366 13073 16 0 210135 0
vsize: 840604
[startup+460.058 s]
Raw data (loadavg): 1.00 1.03 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 43223 53 0 0 25 0 11 0 477572864 860778496 27449 4294967295 134512640 134569956 3221224416 3221214576 1131478137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27449 13073 16 0 210135 0
vsize: 840604
[startup+470.059 s]
Raw data (loadavg): 1.00 1.03 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 44189 53 0 0 25 0 11 0 477572864 860778496 27531 4294967295 134512640 134569956 3221224416 3221214688 1131251971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27531 13073 16 0 210135 0
vsize: 840604
[startup+480.06 s]
Raw data (loadavg): 1.00 1.03 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 45158 54 0 0 25 0 11 0 477572864 860778496 27612 4294967295 134512640 134569956 3221224416 3221214704 1131421620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27612 13073 16 0 210135 0
vsize: 840604
[startup+490.061 s]
Raw data (loadavg): 1.00 1.03 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 46128 54 0 0 25 0 11 0 477572864 860778496 27692 4294967295 134512640 134569956 3221224416 3221214584 1131235873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27692 13073 16 0 210135 0
vsize: 840604
[startup+500.062 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 47095 55 0 0 25 0 11 0 477572864 860778496 27765 4294967295 134512640 134569956 3221224416 3221214416 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27765 13073 16 0 210135 0
vsize: 840604
[startup+510.063 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 48054 55 0 0 25 0 11 0 477572864 860778496 27829 4294967295 134512640 134569956 3221224416 3221214792 1131282140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 27829 13073 16 0 210135 0
vsize: 840604
[startup+520.064 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 49016 55 0 0 25 0 11 0 477572864 860778496 27883 4294967295 134512640 134569956 3221224416 3221214688 1131251963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27883 13073 16 0 210135 0
vsize: 840604
[startup+530.065 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 49972 56 0 0 25 0 11 0 477572864 860778496 27954 4294967295 134512640 134569956 3221224416 3221214816 1131333873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27954 13073 16 0 210135 0
vsize: 840604
[startup+540.065 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) S 9529 7987 7986 0 -1 0 18105 3 1 0 50943 56 0 0 25 0 11 0 477572864 860778496 27990 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 27990 13073 16 0 210135 0
vsize: 840604
[startup+550.067 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 51904 56 0 0 25 0 11 0 477572864 860778496 28121 4294967295 134512640 134569956 3221224416 3221214792 1131282260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28121 13073 16 0 210135 0
vsize: 840604
[startup+560.068 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 52868 56 0 0 25 0 11 0 477572864 860778496 28220 4294967295 134512640 134569956 3221224416 3221214576 1131563748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28220 13073 16 0 210135 0
vsize: 840604
[startup+570.069 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 53833 57 0 0 25 0 11 0 477572864 860778496 28274 4294967295 134512640 134569956 3221224416 3221214816 1131335798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28274 13073 16 0 210135 0
vsize: 840604
[startup+580.07 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 54796 57 0 0 25 0 11 0 477572864 860778496 28377 4294967295 134512640 134569956 3221224416 3221214792 1131282079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28377 13073 16 0 210135 0
vsize: 840604
[startup+590.071 s]
Raw data (loadavg): 1.00 1.02 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 55760 57 0 0 25 0 11 0 477572864 860778496 28460 4294967295 134512640 134569956 3221224416 3221214560 1131537617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28460 13073 16 0 210135 0
vsize: 840604
[startup+600.072 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 56724 58 0 0 25 0 11 0 477572864 860778496 28506 4294967295 134512640 134569956 3221224416 3221214584 1131235577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28506 13073 16 0 210135 0
vsize: 840604
[startup+610.073 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 57683 58 0 0 25 0 11 0 477572864 860778496 28570 4294967295 134512640 134569956 3221224416 3221214792 1131282079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28570 13073 16 0 210135 0
vsize: 840604
[startup+620.074 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 58652 58 0 0 25 0 11 0 477572864 860778496 28652 4294967295 134512640 134569956 3221224416 3221214792 1131282072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28652 13073 16 0 210135 0
vsize: 840604
[startup+630.075 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 59611 59 0 0 24 0 11 0 477572864 860778496 28767 4294967295 134512640 134569956 3221224416 3221214792 1131282072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28767 13073 16 0 210135 0
vsize: 840604
[startup+640.076 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 60577 60 0 0 25 0 11 0 477572864 860778496 28849 4294967295 134512640 134569956 3221224416 3221214688 1131251878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28849 13073 16 0 210135 0
vsize: 840604
[startup+650.078 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 61548 60 0 0 25 0 11 0 477572864 860778496 28898 4294967295 134512640 134569956 3221224416 3221214688 1131251988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28898 13073 16 0 210135 0
vsize: 840604
[startup+660.078 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 62509 61 0 0 25 0 11 0 477572864 860778496 28990 4294967295 134512640 134569956 3221224416 3221214584 1131235913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 28990 13073 16 0 210135 0
vsize: 840604
[startup+670.079 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 63465 61 0 0 25 0 11 0 477572864 860778496 29112 4294967295 134512640 134569956 3221224416 3221214688 1131251912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 29112 13073 16 0 210135 0
vsize: 840604
[startup+680.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 64426 61 0 0 25 0 11 0 477572864 860778496 29181 4294967295 134512640 134569956 3221224416 3221214096 1131535381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 29181 13073 16 0 210135 0
vsize: 840604
[startup+690.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 65397 62 0 0 25 0 11 0 477572864 860778496 29248 4294967295 134512640 134569956 3221224416 3221214792 1131282079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 29248 13073 16 0 210135 0
vsize: 840604
[startup+700.081 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 66355 62 0 0 25 0 11 0 477572864 860778496 29344 4294967295 134512640 134569956 3221224416 3221214688 1131252400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 29344 13073 16 0 210135 0
vsize: 840604
[startup+710.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 67313 62 0 0 25 0 11 0 477572864 860778496 29432 4294967295 134512640 134569956 3221224416 3221214704 1131422838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 29432 13073 16 0 210135 0
vsize: 840604
[startup+720.083 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 68276 63 0 0 25 0 11 0 477572864 860778496 29514 4294967295 134512640 134569956 3221224416 3221214584 1131235913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 29514 13073 16 0 210135 0
vsize: 840604
[startup+730.085 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 69243 63 0 0 25 0 11 0 477572864 860778496 29591 4294967295 134512640 134569956 3221224416 3221214856 1131262322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 29591 13073 16 0 210135 0
vsize: 840604
[startup+740.085 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 70217 63 0 0 25 0 11 0 477572864 860778496 29631 4294967295 134512640 134569956 3221224416 3221214168 1131537617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 29631 13073 16 0 210135 0
vsize: 840604
[startup+750.086 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 71180 63 0 0 25 0 11 0 477572864 860778496 29709 4294967295 134512640 134569956 3221224416 3221214688 1131251963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 29709 13073 16 0 210135 0
vsize: 840604
[startup+760.087 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 72155 63 0 0 25 0 11 0 477572864 860778496 29747 4294967295 134512640 134569956 3221224416 3221214792 1131282169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 29747 13073 16 0 210135 0
vsize: 840604
[startup+770.087 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 73119 63 0 0 25 0 11 0 477572864 860778496 29827 4294967295 134512640 134569956 3221224416 3221214584 1131235760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 29827 13073 16 0 210135 0
vsize: 840604
[startup+780.088 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 74089 63 0 0 25 0 11 0 477572864 860778496 29907 4294967295 134512640 134569956 3221224416 3221214120 1131537617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 29907 13073 16 0 210135 0
vsize: 840604
[startup+790.089 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 75059 63 0 0 25 0 11 0 477572864 860778496 29972 4294967295 134512640 134569956 3221224416 3221214664 1131251700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 29972 13073 16 0 210135 0
vsize: 840604
[startup+800.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 76022 63 0 0 25 0 11 0 477572864 860778496 30049 4294967295 134512640 134569956 3221224416 3221214672 1131634401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30049 13073 16 0 210135 0
vsize: 840604
[startup+810.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 76986 63 0 0 25 0 11 0 477572864 860778496 30127 4294967295 134512640 134569956 3221224416 3221214664 1131251924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30127 13073 16 0 210135 0
vsize: 840604
[startup+820.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 77945 63 0 0 25 0 11 0 477572864 860778496 30231 4294967295 134512640 134569956 3221224416 3221214664 1131252518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30231 13073 16 0 210135 0
vsize: 840604
[startup+830.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 78909 63 0 0 25 0 11 0 477572864 860778496 30295 4294967295 134512640 134569956 3221224416 3221214808 1131333275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30295 13073 16 0 210135 0
vsize: 840604
[startup+840.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 79877 64 0 0 25 0 11 0 477572864 860778496 30344 4294967295 134512640 134569956 3221224416 3221214768 1131283074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30344 13073 16 0 210135 0
vsize: 840604
[startup+850.095 s]
Raw data (loadavg): 1.07 1.02 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 80841 64 0 0 25 0 11 0 477572864 860778496 30398 4294967295 134512640 134569956 3221224416 3221214576 1131235975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30398 13073 16 0 210135 0
vsize: 840604
[startup+860.095 s]
Raw data (loadavg): 1.06 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 81811 64 0 0 25 0 11 0 477572864 860778496 30498 4294967295 134512640 134569956 3221224416 3221213976 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30498 13073 16 0 210135 0
vsize: 840604
[startup+870.096 s]
Raw data (loadavg): 1.05 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 82772 64 0 0 25 0 11 0 477572864 860778496 30560 4294967295 134512640 134569956 3221224416 3221214336 1085679356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30560 13073 16 0 210135 0
vsize: 840604
[startup+880.097 s]
Raw data (loadavg): 1.04 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 83736 64 0 0 25 0 11 0 477572864 860778496 30613 4294967295 134512640 134569956 3221224416 3221214228 1131537552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30613 13073 16 0 210135 0
vsize: 840604
[startup+890.097 s]
Raw data (loadavg): 1.03 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 84703 64 0 0 25 0 11 0 477572864 860778496 30647 4294967295 134512640 134569956 3221224416 3221214120 1131537592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30647 13073 16 0 210135 0
vsize: 840604
[startup+900.098 s]
Raw data (loadavg): 1.03 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 85656 64 0 0 24 0 11 0 477572864 860778496 30738 4294967295 134512640 134569956 3221224416 3221214568 1131476778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30738 13073 16 0 210135 0
vsize: 840604
[startup+910.102 s]
Raw data (loadavg): 1.02 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) S 9529 7987 7986 0 -1 0 18105 3 1 0 86618 64 0 0 25 0 11 0 477572864 860778496 30846 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30846 13073 16 0 210135 0
vsize: 840604
[startup+920.103 s]
Raw data (loadavg): 1.02 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 87582 64 0 0 25 0 11 0 477572864 860778496 30930 4294967295 134512640 134569956 3221224416 3221214768 1131281909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30930 13073 16 0 210135 0
vsize: 840604
[startup+930.104 s]
Raw data (loadavg): 1.02 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) S 9529 7987 7986 0 -1 0 18105 3 1 0 88553 64 0 0 25 0 11 0 477572864 860778496 30978 4294967295 134512640 134569956 3221224416 3221213600 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 30978 13073 16 0 210135 0
vsize: 840604
[startup+940.106 s]
Raw data (loadavg): 1.01 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 89519 64 0 0 24 0 11 0 477572864 860778496 31065 4294967295 134512640 134569956 3221224416 3221214796 1080203690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31065 13073 16 0 210135 0
vsize: 840604
[startup+950.107 s]
Raw data (loadavg): 1.01 1.01 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 90481 64 0 0 25 0 11 0 477572864 860778496 31144 4294967295 134512640 134569956 3221224416 3221214664 1131252443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31144 13073 16 0 210135 0
vsize: 840604
[startup+960.108 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 91441 64 0 0 25 0 11 0 477572864 860778496 31225 4294967295 134512640 134569956 3221224416 3221214576 1131235966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31225 13073 16 0 210135 0
vsize: 840604
[startup+970.109 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 92400 65 0 0 25 0 11 0 477572864 860778496 31294 4294967295 134512640 134569956 3221224416 3221214664 1131251500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31294 13073 16 0 210135 0
vsize: 840604
[startup+980.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 93364 65 0 0 25 0 11 0 477572864 860778496 31334 4294967295 134512640 134569956 3221224416 3221214664 1131252430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31334 13073 16 0 210135 0
vsize: 840604
[startup+990.111 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 94336 65 0 0 25 0 11 0 477572864 860778496 31405 4294967295 134512640 134569956 3221224416 3221214768 1131282117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31405 13073 16 0 210135 0
vsize: 840604
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 95291 66 0 0 25 0 11 0 477572864 860778496 31508 4294967295 134512640 134569956 3221224416 3221214712 1131410348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31508 13073 16 0 210135 0
vsize: 840604
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 96253 66 0 0 25 0 11 0 477572864 860778496 31552 4294967295 134512640 134569956 3221224416 3221214576 1131235913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31552 13073 16 0 210135 0
vsize: 840604
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 97214 66 0 0 25 0 11 0 477572864 860778496 31603 4294967295 134512640 134569956 3221224416 3221214508 1131534208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31603 13073 16 0 210135 0
vsize: 840604
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 98176 67 0 0 25 0 11 0 477572864 860778496 31681 4294967295 134512640 134569956 3221224416 3221214472 1131534390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31681 13073 16 0 210135 0
vsize: 840604
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 99139 67 0 0 25 0 11 0 477572864 860778496 31763 4294967295 134512640 134569956 3221224416 3221214768 1131286272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31763 13073 16 0 210135 0
vsize: 840604
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 100090 67 0 0 25 0 11 0 477572864 860778496 31939 4294967295 134512640 134569956 3221224416 3221214796 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 31939 13073 16 0 210135 0
vsize: 840604
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 101057 68 0 0 25 0 11 0 477572864 860778496 32011 4294967295 134512640 134569956 3221224416 3221214768 1131282117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 32011 13073 16 0 210135 0
vsize: 840604
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 102022 68 0 0 25 0 11 0 477572864 860778496 32083 4294967295 134512640 134569956 3221224416 3221214884 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 32083 13073 16 0 210135 0
vsize: 840604
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 102988 68 0 0 25 0 11 0 477572864 860778496 32159 4294967295 134512640 134569956 3221224416 3221214576 1131236560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 32159 13073 16 0 210135 0
vsize: 840604
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 103951 69 0 0 25 0 11 0 477572864 860778496 32212 4294967295 134512640 134569956 3221224416 3221214808 1131334541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 32212 13073 16 0 210135 0
vsize: 840604
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) S 9529 7987 7986 0 -1 0 18105 3 1 0 104913 69 0 0 25 0 11 0 477572864 860778496 32288 4294967295 134512640 134569956 3221224416 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 32288 13073 16 0 210135 0
vsize: 840604
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 105878 70 0 0 25 0 11 0 477572864 860778496 32349 4294967295 134512640 134569956 3221224416 3221214796 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 32349 13073 16 0 210135 0
vsize: 840604
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 106842 70 0 0 25 0 11 0 477572864 860778496 32417 4294967295 134512640 134569956 3221224416 3221214664 1131251963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 32417 13073 16 0 210135 0
vsize: 840604
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 107797 70 0 0 25 0 11 0 477572864 860778496 32484 4294967295 134512640 134569956 3221224416 3221214664 1131251700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 32484 13073 16 0 210135 0
vsize: 840604
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 108751 70 0 0 25 0 11 0 477572864 860778496 32562 4294967295 134512640 134569956 3221224416 3221214400 1078033313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 32562 13073 16 0 210135 0
vsize: 840604
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) S 9529 7987 7986 0 -1 0 18105 3 1 0 109705 70 0 0 25 0 11 0 477572864 860778496 32638 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 32638 13073 16 0 210135 0
vsize: 840604
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 110674 70 0 0 25 0 11 0 477572864 860778496 32739 4294967295 134512640 134569956 3221224416 3221214584 1131534452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 32739 13073 16 0 210135 0
vsize: 840604
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 111640 70 0 0 25 0 11 0 477572864 860778496 32876 4294967295 134512640 134569956 3221224416 3221214768 1131282079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 32876 13073 16 0 210135 0
vsize: 840604
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 112606 70 0 0 25 0 11 0 477572864 860778496 32926 4294967295 134512640 134569956 3221224416 3221214672 1131580444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 32926 13073 16 0 210135 0
vsize: 840604
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 113572 70 0 0 25 0 11 0 477572864 860778496 32991 4294967295 134512640 134569956 3221224416 3221214576 1131235810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 32991 13073 16 0 210135 0
vsize: 840604
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.99 3/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 114537 70 0 0 25 0 11 0 477572864 860778496 33051 4294967295 134512640 134569956 3221224416 3221214768 1131282041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 33051 13073 16 0 210135 0
vsize: 840604
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 115507 70 0 0 25 0 11 0 477572864 860778496 33125 4294967295 134512640 134569956 3221224416 3221214768 1131282159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 33125 13073 16 0 210135 0
vsize: 840604
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 116470 70 0 0 25 0 11 0 477572864 860778496 33194 4294967295 134512640 134569956 3221224416 3221214768 1131282079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 33194 13073 16 0 210135 0
vsize: 840604
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 117437 70 0 0 25 0 11 0 477572864 860778496 33262 4294967295 134512640 134569956 3221224416 3221214808 1131335926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 33262 13073 16 0 210135 0
vsize: 840604
[startup+1240.22 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 118404 70 0 0 25 0 11 0 477572864 860778496 33321 4294967295 134512640 134569956 3221224416 3221214576 1131235913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 33321 13073 16 0 210135 0
vsize: 840604
[startup+1250.22 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 119372 70 0 0 25 0 11 0 477572864 860778496 33377 4294967295 134512640 134569956 3221224416 3221214468 1131535360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210151 33377 13073 16 0 210135 0
vsize: 840604
[startup+1260.22 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9600
Raw data (stat): 9530 (java) R 9529 7987 7986 0 -1 0 18105 3 1 0 120342 70 0 0 24 0 11 0 477572864 860778496 33421 4294967295 134512640 134569956 3221224416 3221214768 1131282941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 33421 13073 16 0 210135 0
vsize: 840604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.31 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 9602
Raw data (stat): 9530 (java) Z 9529 7987 7986 0 -1 1036 18105 23164 1 0 120343 77 6751 69 25 0 1 0 477572864 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.31
CPU time (s): 1272.41
CPU user time (s): 1270.95
CPU system time (s): 1.46378
CPU usage (%): 100.96
Max. virtual memory (Kb): 847284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####