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/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ganges.opb
MD5SUM	8a1a45ee37d518ca6067f6e63fa8146f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2309
Biggest coefficient in the objective function	33554432
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	884998035
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5368709120000
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	32257203788492
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.61076
Number of variables	46097
Total number of constraints	1706
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1706
Minimum length of a constraint	13
Maximum length of a constraint	1432
Trace number 22992

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-22 04:04:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10851 boxname=wulflinc1 idbench=835 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8a1a45ee37d518ca6067f6e63fa8146f  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ganges.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ganges.opb
IDLAUNCH: 10851
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        397688 kB
Buffers:          6760 kB
Cached:         605172 kB
SwapCached:          0 kB
Active:         169224 kB
Inactive:       445856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        397436 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7172 kB
Slab:            16128 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:25:29 (client local time) WITH STATUS 143 IN 1265.7 SECONDS
stats: 10851 7 1265.7 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ganges.opb
c reading problem 
c [nbvar=46097]
c [nbconstr=1706]
c time 609.918
c #vars     46097
c #clauses  2737
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
#### 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.06 1.01 0.93 1/56 10938
Raw data (stat): 10938 (runsolver) D 10937 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 435620411 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99973 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 10947
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 795 38 0 0 25 0 10 0 435620411 855064576 19520 4294967295 134512640 134569956 3221224400 3221214456 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 19520 13073 16 0 208740 0
vsize: 835024
[startup+20.0046 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 10947
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 1693 38 0 0 25 0 10 0 435620411 854016000 20034 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 20034 13073 16 0 208484 0
vsize: 834000
[startup+30.0042 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 10947
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 2564 38 0 0 25 0 10 0 435620411 854016000 20578 4294967295 134512640 134569956 3221224400 3221214488 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 20578 13073 16 0 208484 0
vsize: 834000
[startup+47.6992 s]
Raw data (loadavg): 1.27 1.05 0.94 1/65 10949
Raw data (stat): 10938 (java) D 10937 12452 12451 0 -1 0 17991 0 1 0 4038 39 0 0 23 0 10 0 435620411 854016000 21025 4294967295 134512640 134569956 3221224400 3221205944 1073953089 0 2147483391 3 23756 3225161850 0 0 17 0 0 0
Raw data (statm): 208500 21025 13073 16 0 208484 0
vsize: 834000
[startup+57.9363 s]
Raw data (loadavg): 1.22 1.05 0.94 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 4936 40 0 0 24 0 10 0 435620411 854016000 21268 4294967295 134512640 134569956 3221224400 3221214840 1131316800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21268 13073 16 0 208484 0
vsize: 834000
[startup+67.9371 s]
Raw data (loadavg): 1.19 1.05 0.94 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 5818 40 0 0 25 0 10 0 435620411 855064576 21479 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 21479 13073 16 0 208740 0
vsize: 835024
[startup+77.9369 s]
Raw data (loadavg): 1.16 1.05 0.94 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 6706 40 0 0 25 0 10 0 435620411 855064576 21903 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 21903 13073 16 0 208740 0
vsize: 835024
[startup+89.9764 s]
Raw data (loadavg): 1.44 1.11 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 7818 40 0 0 25 0 10 0 435620411 855064576 22065 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22065 13073 16 0 208740 0
vsize: 835024
[startup+99.9769 s]
Raw data (loadavg): 1.37 1.11 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 8746 40 0 0 25 0 10 0 435620411 855064576 22186 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22186 13073 16 0 208740 0
vsize: 835024
[startup+109.98 s]
Raw data (loadavg): 1.31 1.10 0.96 2/65 10949
Raw data (stat): 10938 (java) S 10937 12452 12451 0 -1 0 17991 0 1 0 9672 40 0 0 25 0 10 0 435620411 855064576 22298 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22298 13073 16 0 208740 0
vsize: 835024
[startup+119.98 s]
Raw data (loadavg): 1.26 1.10 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 10600 41 0 0 25 0 10 0 435620411 855064576 22407 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22407 13073 16 0 208740 0
vsize: 835024
[startup+129.98 s]
Raw data (loadavg): 1.22 1.10 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 11530 41 0 0 25 0 10 0 435620411 855064576 22506 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22506 13073 16 0 208740 0
vsize: 835024
[startup+139.981 s]
Raw data (loadavg): 1.19 1.09 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 12460 41 0 0 25 0 10 0 435620411 855064576 22601 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22601 13073 16 0 208740 0
vsize: 835024
[startup+149.983 s]
Raw data (loadavg): 1.16 1.09 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 13385 41 0 0 24 0 10 0 435620411 855064576 22700 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22700 13073 16 0 208740 0
vsize: 835024
[startup+159.983 s]
Raw data (loadavg): 1.13 1.08 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 14314 41 0 0 25 0 10 0 435620411 855064576 22786 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22786 13073 16 0 208740 0
vsize: 835024
[startup+169.987 s]
Raw data (loadavg): 1.11 1.08 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 15243 41 0 0 25 0 10 0 435620411 855064576 22875 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22875 13073 16 0 208740 0
vsize: 835024
[startup+179.991 s]
Raw data (loadavg): 1.10 1.08 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 16170 41 0 0 25 0 10 0 435620411 855064576 22959 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 22959 13073 16 0 208740 0
vsize: 835024
[startup+189.994 s]
Raw data (loadavg): 1.08 1.08 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 17081 41 0 0 25 0 10 0 435620411 855064576 23037 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23037 13073 16 0 208740 0
vsize: 835024
[startup+199.995 s]
Raw data (loadavg): 1.07 1.07 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 17990 41 0 0 24 0 10 0 435620411 855064576 23276 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23276 13073 16 0 208740 0
vsize: 835024
[startup+210 s]
Raw data (loadavg): 1.06 1.07 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 18916 41 0 0 25 0 10 0 435620411 855064576 23349 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23349 13073 16 0 208740 0
vsize: 835024
[startup+220.009 s]
Raw data (loadavg): 1.05 1.07 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 19830 41 0 0 24 0 10 0 435620411 855064576 23427 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23427 13073 16 0 208740 0
vsize: 835024
[startup+230.01 s]
Raw data (loadavg): 1.04 1.06 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 20731 41 0 0 24 0 10 0 435620411 855064576 23516 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23516 13073 16 0 208740 0
vsize: 835024
[startup+240.01 s]
Raw data (loadavg): 1.03 1.06 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 21642 42 0 0 24 0 10 0 435620411 855064576 23695 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23695 13073 16 0 208740 0
vsize: 835024
[startup+250.011 s]
Raw data (loadavg): 1.03 1.06 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 22561 42 0 0 25 0 10 0 435620411 855064576 23761 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23761 13073 16 0 208740 0
vsize: 835024
[startup+260.01 s]
Raw data (loadavg): 1.02 1.06 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 23477 42 0 0 25 0 10 0 435620411 855064576 23840 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23840 13073 16 0 208740 0
vsize: 835024
[startup+270.011 s]
Raw data (loadavg): 1.02 1.05 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 24390 42 0 0 25 0 10 0 435620411 855064576 23937 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 23937 13073 16 0 208740 0
vsize: 835024
[startup+280.011 s]
Raw data (loadavg): 1.02 1.05 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 25297 42 0 0 25 0 10 0 435620411 855064576 24013 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24013 13073 16 0 208740 0
vsize: 835024
[startup+290.012 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 26213 42 0 0 25 0 10 0 435620411 855064576 24147 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24147 13073 16 0 208740 0
vsize: 835024
[startup+300.013 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 27134 43 0 0 25 0 10 0 435620411 855064576 24204 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24204 13073 16 0 208740 0
vsize: 835024
[startup+310.012 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 28050 43 0 0 25 0 10 0 435620411 855064576 24258 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24258 13073 16 0 208740 0
vsize: 835024
[startup+320.014 s]
Raw data (loadavg): 1.01 1.04 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 28967 43 0 0 25 0 10 0 435620411 855064576 24346 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24346 13073 16 0 208740 0
vsize: 835024
[startup+330.014 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 10949
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 29883 43 0 0 25 0 10 0 435620411 855064576 24404 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24404 13073 16 0 208740 0
vsize: 835024
[startup+340.015 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 30794 43 0 0 25 0 10 0 435620411 855064576 24456 4294967295 134512640 134569956 3221224400 3221214800 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24456 13073 16 0 208740 0
vsize: 835024
[startup+350.018 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 10951
Raw data (stat): 10938 (java) S 10937 12452 12451 0 -1 0 17991 0 1 0 31707 43 0 0 25 0 10 0 435620411 855064576 24569 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24569 13073 16 0 208740 0
vsize: 835024
[startup+360.019 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 32624 43 0 0 24 0 10 0 435620411 855064576 24621 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24621 13073 16 0 208740 0
vsize: 835024
[startup+370.019 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 33537 43 0 0 25 0 10 0 435620411 855064576 24672 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24672 13073 16 0 208740 0
vsize: 835024
[startup+380.019 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 34448 43 0 0 24 0 10 0 435620411 855064576 24760 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24760 13073 16 0 208740 0
vsize: 835024
[startup+390.02 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 35363 43 0 0 25 0 10 0 435620411 855064576 24818 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24818 13073 16 0 208740 0
vsize: 835024
[startup+400.022 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 10951
Raw data (stat): 10938 (java) S 10937 12452 12451 0 -1 0 17991 0 1 0 36276 44 0 0 25 0 10 0 435620411 855064576 24884 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24884 13073 16 0 208740 0
vsize: 835024
[startup+410.023 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 37186 44 0 0 25 0 10 0 435620411 855064576 24937 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 24937 13073 16 0 208740 0
vsize: 835024
[startup+420.023 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 38100 44 0 0 25 0 10 0 435620411 855064576 25026 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25026 13073 16 0 208740 0
vsize: 835024
[startup+430.032 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 39019 44 0 0 25 0 10 0 435620411 855064576 25068 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25068 13073 16 0 208740 0
vsize: 835024
[startup+440.033 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 39936 44 0 0 25 0 10 0 435620411 855064576 25110 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25110 13073 16 0 208740 0
vsize: 835024
[startup+450.033 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 40850 44 0 0 25 0 10 0 435620411 855064576 25151 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25151 13073 16 0 208740 0
vsize: 835024
[startup+460.034 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 41762 44 0 0 25 0 10 0 435620411 855064576 25191 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25191 13073 16 0 208740 0
vsize: 835024
[startup+470.035 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 42672 44 0 0 25 0 10 0 435620411 855064576 25252 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25252 13073 16 0 208740 0
vsize: 835024
[startup+480.036 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 43583 45 0 0 25 0 10 0 435620411 855064576 25309 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25309 13073 16 0 208740 0
vsize: 835024
[startup+490.038 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) S 10937 12452 12451 0 -1 0 17991 0 1 0 44497 45 0 0 25 0 10 0 435620411 855064576 25351 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25351 13073 16 0 208740 0
vsize: 835024
[startup+500.041 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 45409 45 0 0 25 0 10 0 435620411 855064576 25399 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25399 13073 16 0 208740 0
vsize: 835024
[startup+510.041 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 46320 45 0 0 25 0 10 0 435620411 855064576 25445 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25445 13073 16 0 208740 0
vsize: 835024
[startup+520.042 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 47229 45 0 0 25 0 10 0 435620411 855064576 25490 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25490 13073 16 0 208740 0
vsize: 835024
[startup+530.043 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 48141 45 0 0 25 0 10 0 435620411 855064576 25534 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25534 13073 16 0 208740 0
vsize: 835024
[startup+540.043 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 49048 45 0 0 22 0 10 0 435620411 855064576 25585 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25585 13073 16 0 208740 0
vsize: 835024
[startup+550.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 49955 46 0 0 19 0 10 0 435620411 855064576 25636 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25636 13073 16 0 208740 0
vsize: 835024
[startup+560.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 50867 46 0 0 24 0 10 0 435620411 855064576 25683 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25683 13073 16 0 208740 0
vsize: 835024
[startup+570.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 51773 46 0 0 22 0 10 0 435620411 855064576 25730 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25730 13073 16 0 208740 0
vsize: 835024
[startup+580.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 52678 46 0 0 20 0 10 0 435620411 855064576 25781 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25781 13073 16 0 208740 0
vsize: 835024
[startup+590.046 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 53590 46 0 0 23 0 10 0 435620411 855064576 25823 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25823 13073 16 0 208740 0
vsize: 835024
[startup+600.046 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17991 0 1 0 54494 46 0 0 21 0 10 0 435620411 855064576 25867 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208756 25867 13073 16 0 208740 0
vsize: 835024
[startup+610.046 s]
Raw data (loadavg): 1.16 1.04 0.97 2/65 10951
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 17992 0 1 0 55405 47 0 0 25 0 10 0 435620411 854016000 26615 4294967295 134512640 134569956 3221224400 3221214912 1131307680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 26615 13073 16 0 208484 0
vsize: 834000
[startup+620.047 s]
Raw data (loadavg): 1.21 1.06 0.98 2/66 10952
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18020 0 1 0 56306 48 0 0 25 0 11 0 435620411 856641536 31581 4294967295 134512640 134569956 3221224400 3221214680 1131243913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209141 31581 13073 16 0 209125 0
vsize: 836564
[startup+630.046 s]
Raw data (loadavg): 1.34 1.09 0.99 3/66 10952
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18059 0 1 0 57192 49 0 0 25 0 11 0 435620411 859664384 32272 4294967295 134512640 134569956 3221224400 3221214664 1131499007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209879 32272 13073 16 0 209863 0
vsize: 839516
[startup+640.047 s]
Raw data (loadavg): 1.28 1.08 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18061 0 1 0 58158 49 0 0 25 0 11 0 435620411 862130176 33037 4294967295 134512640 134569956 3221224400 3221214832 1130898043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 33037 13073 16 0 210465 0
vsize: 841924
[startup+650.048 s]
Raw data (loadavg): 1.24 1.08 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 59148 49 0 0 25 0 11 0 435620411 862130176 33040 4294967295 134512640 134569956 3221224400 3221214680 1131433907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 33040 13073 16 0 210465 0
vsize: 841924
[startup+660.048 s]
Raw data (loadavg): 1.20 1.08 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 60140 49 0 0 25 0 11 0 435620411 862130176 33041 4294967295 134512640 134569956 3221224400 3221214680 1131433903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33041 13073 16 0 210465 0
vsize: 841924
[startup+670.048 s]
Raw data (loadavg): 1.17 1.08 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 61134 49 0 0 25 0 11 0 435620411 862130176 33045 4294967295 134512640 134569956 3221224400 3221214680 1131433935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 33045 13073 16 0 210465 0
vsize: 841924
[startup+680.048 s]
Raw data (loadavg): 1.14 1.07 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 62121 49 0 0 25 0 11 0 435620411 862130176 33048 4294967295 134512640 134569956 3221224400 3221214536 1131539177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33048 13073 16 0 210465 0
vsize: 841924
[startup+690.049 s]
Raw data (loadavg): 1.12 1.07 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 63110 49 0 0 25 0 11 0 435620411 862130176 33048 4294967295 134512640 134569956 3221224400 3221214936 1131190425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33048 13073 16 0 210465 0
vsize: 841924
[startup+700.049 s]
Raw data (loadavg): 1.10 1.07 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 64098 49 0 0 25 0 11 0 435620411 862130176 33048 4294967295 134512640 134569956 3221224400 3221214768 1131617583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33048 13073 16 0 210465 0
vsize: 841924
[startup+710.049 s]
Raw data (loadavg): 1.09 1.06 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 65085 49 0 0 25 0 11 0 435620411 862130176 33048 4294967295 134512640 134569956 3221224400 3221214768 1131617580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33048 13073 16 0 210465 0
vsize: 841924
[startup+720.049 s]
Raw data (loadavg): 1.07 1.06 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 66078 49 0 0 25 0 11 0 435620411 862130176 33048 4294967295 134512640 134569956 3221224400 3221214768 1131617580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33048 13073 16 0 210465 0
vsize: 841924
[startup+730.049 s]
Raw data (loadavg): 1.06 1.06 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 67064 49 0 0 25 0 11 0 435620411 862130176 33074 4294967295 134512640 134569956 3221224400 3221214768 1131617583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33074 13073 16 0 210465 0
vsize: 841924
[startup+740.05 s]
Raw data (loadavg): 1.05 1.06 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 68050 49 0 0 25 0 11 0 435620411 862130176 33082 4294967295 134512640 134569956 3221224400 3221214768 1131617585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33082 13073 16 0 210465 0
vsize: 841924
[startup+750.05 s]
Raw data (loadavg): 1.04 1.05 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 69035 49 0 0 25 0 11 0 435620411 862130176 33102 4294967295 134512640 134569956 3221224400 3221214856 1131396535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33102 13073 16 0 210465 0
vsize: 841924
[startup+760.049 s]
Raw data (loadavg): 1.04 1.05 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 70020 49 0 0 25 0 11 0 435620411 862130176 33104 4294967295 134512640 134569956 3221224400 3221214768 1131617688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33104 13073 16 0 210465 0
vsize: 841924
[startup+770.051 s]
Raw data (loadavg): 1.03 1.05 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 71005 49 0 0 25 0 11 0 435620411 862130176 33106 4294967295 134512640 134569956 3221224400 3221214256 1080216959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33106 13073 16 0 210465 0
vsize: 841924
[startup+780.05 s]
Raw data (loadavg): 1.02 1.05 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 71989 49 0 0 25 0 11 0 435620411 862130176 33111 4294967295 134512640 134569956 3221224400 3221214768 1131617583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33111 13073 16 0 210465 0
vsize: 841924
[startup+790.051 s]
Raw data (loadavg): 1.02 1.05 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 72980 49 0 0 25 0 11 0 435620411 862130176 33113 4294967295 134512640 134569956 3221224400 3221214768 1131617580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33113 13073 16 0 210465 0
vsize: 841924
[startup+800.052 s]
Raw data (loadavg): 1.02 1.04 0.99 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 73963 49 0 0 25 0 11 0 435620411 862130176 33127 4294967295 134512640 134569956 3221224400 3221214856 1131396727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33127 13073 16 0 210465 0
vsize: 841924
[startup+810.052 s]
Raw data (loadavg): 1.09 1.06 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 74946 49 0 0 25 0 11 0 435620411 862130176 33289 4294967295 134512640 134569956 3221224400 3221214768 1131617580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 33289 13073 16 0 210465 0
vsize: 841924
[startup+820.051 s]
Raw data (loadavg): 1.08 1.06 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 75932 49 0 0 25 0 11 0 435620411 862130176 33335 4294967295 134512640 134569956 3221224400 3221214760 1131617677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33335 13073 16 0 210465 0
vsize: 841924
[startup+830.051 s]
Raw data (loadavg): 1.07 1.06 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 76917 49 0 0 25 0 11 0 435620411 862130176 33354 4294967295 134512640 134569956 3221224400 3221214464 1131543254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33354 13073 16 0 210465 0
vsize: 841924
[startup+840.052 s]
Raw data (loadavg): 1.06 1.05 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 77903 49 0 0 25 0 11 0 435620411 862130176 33404 4294967295 134512640 134569956 3221224400 3221214776 1131365535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33404 13073 16 0 210465 0
vsize: 841924
[startup+850.054 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 10954
Raw data (stat): 10938 (java) S 10937 12452 12451 0 -1 0 18062 0 1 0 78894 49 0 0 25 0 11 0 435620411 862130176 33447 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33447 13073 16 0 210465 0
vsize: 841924
[startup+860.054 s]
Raw data (loadavg): 1.04 1.05 1.00 2/66 10954
Raw data (stat): 10938 (java) S 10937 12452 12451 0 -1 0 18062 0 1 0 79879 49 0 0 25 0 11 0 435620411 862130176 33519 4294967295 134512640 134569956 3221224400 3221213240 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33519 13073 16 0 210465 0
vsize: 841924
[startup+870.055 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 80861 49 0 0 25 0 11 0 435620411 862130176 33585 4294967295 134512640 134569956 3221224400 3221214632 1131496006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33585 13073 16 0 210465 0
vsize: 841924
[startup+880.055 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 81848 50 0 0 25 0 11 0 435620411 862130176 33709 4294967295 134512640 134569956 3221224400 3221214760 1131617699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33709 13073 16 0 210465 0
vsize: 841924
[startup+890.056 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 82837 50 0 0 25 0 11 0 435620411 862130176 33709 4294967295 134512640 134569956 3221224400 3221214424 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33709 13073 16 0 210465 0
vsize: 841924
[startup+900.057 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 83825 50 0 0 25 0 11 0 435620411 862130176 33750 4294967295 134512640 134569956 3221224400 3221214760 1131617688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33750 13073 16 0 210465 0
vsize: 841924
[startup+910.056 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 84814 50 0 0 25 0 11 0 435620411 862130176 33838 4294967295 134512640 134569956 3221224400 3221214496 1131529980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33838 13073 16 0 210465 0
vsize: 841924
[startup+920.057 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 85809 50 0 0 25 0 11 0 435620411 862130176 33864 4294967295 134512640 134569956 3221224400 3221214760 1131617580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33864 13073 16 0 210465 0
vsize: 841924
[startup+930.057 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 10954
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 86798 50 0 0 25 0 11 0 435620411 862130176 33918 4294967295 134512640 134569956 3221224400 3221214808 1131455584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33918 13073 16 0 210465 0
vsize: 841924
[startup+940.058 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 87787 50 0 0 25 0 11 0 435620411 862130176 33957 4294967295 134512640 134569956 3221224400 3221214796 1131388414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 33957 13073 16 0 210465 0
vsize: 841924
[startup+950.058 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 88770 50 0 0 25 0 11 0 435620411 862130176 34071 4294967295 134512640 134569956 3221224400 3221214760 1131617580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34071 13073 16 0 210465 0
vsize: 841924
[startup+960.058 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 89758 50 0 0 25 0 11 0 435620411 862130176 34125 4294967295 134512640 134569956 3221224400 3221214760 1131617580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34125 13073 16 0 210465 0
vsize: 841924
[startup+970.058 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 90746 50 0 0 25 0 11 0 435620411 862130176 34155 4294967295 134512640 134569956 3221224400 3221214560 1131257210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34155 13073 16 0 210465 0
vsize: 841924
[startup+980.058 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 91735 50 0 0 25 0 11 0 435620411 862130176 34252 4294967295 134512640 134569956 3221224400 3221214560 1131257394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34252 13073 16 0 210465 0
vsize: 841924
[startup+990.059 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 92724 50 0 0 25 0 11 0 435620411 862130176 34276 4294967295 134512640 134569956 3221224400 3221214760 1131617580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34276 13073 16 0 210465 0
vsize: 841924
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 93714 50 0 0 25 0 11 0 435620411 862130176 34337 4294967295 134512640 134569956 3221224400 3221214384 1080217376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34337 13073 16 0 210465 0
vsize: 841924
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 94704 50 0 0 25 0 11 0 435620411 862130176 34368 4294967295 134512640 134569956 3221224400 3221214560 1131258806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34368 13073 16 0 210465 0
vsize: 841924
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 95694 50 0 0 25 0 11 0 435620411 862130176 34422 4294967295 134512640 134569956 3221224400 3221214760 1131617580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34422 13073 16 0 210465 0
vsize: 841924
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 96685 50 0 0 25 0 11 0 435620411 862130176 34452 4294967295 134512640 134569956 3221224400 3221214760 1131617699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34452 13073 16 0 210465 0
vsize: 841924
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 97675 50 0 0 25 0 11 0 435620411 862130176 34476 4294967295 134512640 134569956 3221224400 3221214760 1131617677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34476 13073 16 0 210465 0
vsize: 841924
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) S 10937 12452 12451 0 -1 0 18062 0 1 0 98661 50 0 0 25 0 11 0 435620411 862130176 34513 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 34513 13073 16 0 210465 0
vsize: 841924
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 99650 50 0 0 25 0 11 0 435620411 862130176 34538 4294967295 134512640 134569956 3221224400 3221214848 1131396535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34538 13073 16 0 210465 0
vsize: 841924
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 100640 50 0 0 25 0 11 0 435620411 862130176 34588 4294967295 134512640 134569956 3221224400 3221214464 1131544428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34588 13073 16 0 210465 0
vsize: 841924
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 101631 50 0 0 25 0 11 0 435620411 862130176 34654 4294967295 134512640 134569956 3221224400 3221214464 1131537860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34654 13073 16 0 210465 0
vsize: 841924
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 102622 50 0 0 25 0 11 0 435620411 862130176 34727 4294967295 134512640 134569956 3221224400 3221214496 1131530112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34727 13073 16 0 210465 0
vsize: 841924
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 103618 50 0 0 25 0 11 0 435620411 862130176 34765 4294967295 134512640 134569956 3221224400 3221214464 1131544059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34765 13073 16 0 210465 0
vsize: 841924
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 104615 51 0 0 25 0 11 0 435620411 862130176 34799 4294967295 134512640 134569956 3221224400 3221214464 1131540152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34799 13073 16 0 210465 0
vsize: 841924
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 105607 51 0 0 25 0 11 0 435620411 862130176 34880 4294967295 134512640 134569956 3221224400 3221214760 1131617583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34880 13073 16 0 210465 0
vsize: 841924
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 106600 51 0 0 25 0 11 0 435620411 862130176 34923 4294967295 134512640 134569956 3221224400 3221214632 1131495883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34923 13073 16 0 210465 0
vsize: 841924
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 107589 51 0 0 25 0 11 0 435620411 862130176 34962 4294967295 134512640 134569956 3221224400 3221214760 1131617677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34962 13073 16 0 210465 0
vsize: 841924
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 108582 51 0 0 25 0 11 0 435620411 862130176 34999 4294967295 134512640 134569956 3221224400 3221214760 1131617580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 34999 13073 16 0 210465 0
vsize: 841924
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 109579 51 0 0 25 0 11 0 435620411 862130176 35019 4294967295 134512640 134569956 3221224400 3221214560 1131256771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 35019 13073 16 0 210465 0
vsize: 841924
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 110569 52 0 0 25 0 11 0 435620411 862130176 35045 4294967295 134512640 134569956 3221224400 3221214760 1131617580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35045 13073 16 0 210465 0
vsize: 841924
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 111561 52 0 0 25 0 11 0 435620411 862130176 35076 4294967295 134512640 134569956 3221224400 3221214568 1131257179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35076 13073 16 0 210465 0
vsize: 841924
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 112554 52 0 0 25 0 11 0 435620411 862130176 35105 4294967295 134512640 134569956 3221224400 3221214760 1131617583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 35105 13073 16 0 210465 0
vsize: 841924
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 113542 52 0 0 25 0 11 0 435620411 862130176 35162 4294967295 134512640 134569956 3221224400 3221214796 1131388140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35162 13073 16 0 210465 0
vsize: 841924
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 114535 52 0 0 25 0 11 0 435620411 862130176 35214 4294967295 134512640 134569956 3221224400 3221214496 1131530137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35214 13073 16 0 210465 0
vsize: 841924
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 115527 52 0 0 25 0 11 0 435620411 862130176 35237 4294967295 134512640 134569956 3221224400 3221214304 1080217189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35237 13073 16 0 210465 0
vsize: 841924
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 10956
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 116519 52 0 0 25 0 11 0 435620411 862130176 35273 4294967295 134512640 134569956 3221224400 3221214656 1131495788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35273 13073 16 0 210465 0
vsize: 841924
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 10958
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 117512 53 0 0 25 0 11 0 435620411 862130176 35298 4294967295 134512640 134569956 3221224400 3221214744 1131388191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35298 13073 16 0 210465 0
vsize: 841924
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 10958
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 118504 53 0 0 25 0 11 0 435620411 862130176 35309 4294967295 134512640 134569956 3221224400 3221214464 1131543422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35309 13073 16 0 210465 0
vsize: 841924
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 10958
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 119492 53 0 0 25 0 11 0 435620411 862130176 35350 4294967295 134512640 134569956 3221224400 3221214760 1131617580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35350 13073 16 0 210465 0
vsize: 841924
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 10958
Raw data (stat): 10938 (java) R 10937 12452 12451 0 -1 0 18062 0 1 0 120488 53 0 0 25 0 11 0 435620411 862130176 35384 4294967295 134512640 134569956 3221224400 3221214696 1131495860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210481 35384 13073 16 0 210465 0
vsize: 841924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 10960
Raw data (stat): 10938 (java) Z 10937 12452 12451 0 -1 1036 18062 14863 1 0 120490 53 5983 42 25 0 1 0 435620411 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): 1270.15
CPU time (s): 1265.7
CPU user time (s): 1264.74
CPU system time (s): 0.962853
CPU usage (%): 99.6495
Max. virtual memory (Kb): 841924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####