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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb
MD5SUM	650632b92fbb7592f9a040d6375b78e9
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	8814
Biggest coefficient in the objective function	3375324200960
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	2061624536571104
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	3375324200960
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	2061624536571104
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	12846
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	192
Trace number 18326

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        649600 kB
Buffers:         24804 kB
Cached:         337972 kB
SwapCached:          4 kB
Active:         176564 kB
Inactive:       189128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        649348 kB
SwapTotal:     2097136 kB
SwapFree:      2097128 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            13716 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 14:47:51 (client local time) WITH STATUS 143 IN 1226.9 SECONDS
stats: 18378 7 1226.9 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-gen.opb
c reading problem 
c [nbvar=12846]
c [nbconstr=1074]
c time 51.918
c #vars     12846
c #clauses  1081
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): 0.76 0.90 0.89 2/54 8793
Raw data (stat): 8793 (runsolver) R 8792 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487578029 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+9.99957 s]
Raw data (loadavg): 0.95 0.93 0.91 2/63 8802
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 17976 0 1 0 881 38 0 0 24 0 10 0 487578029 855605248 19767 4294967295 134512640 134569956 3221224416 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208888 19767 13073 16 0 208872 0
vsize: 835552
[startup+20.0006 s]
Raw data (loadavg): 0.96 0.93 0.91 2/63 8802
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 17976 0 1 0 1773 39 0 0 25 0 10 0 487578029 855560192 20104 4294967295 134512640 134569956 3221224416 3221214840 1131219726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 20104 13073 16 0 208861 0
vsize: 835508
[startup+30.0008 s]
Raw data (loadavg): 1.05 0.95 0.91 2/63 8802
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18025 0 1 0 2552 39 0 0 24 0 10 0 487578029 867119104 23381 4294967295 134512640 134569956 3221224416 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211699 23381 13073 16 0 211683 0
vsize: 846796
[startup+40.0015 s]
Raw data (loadavg): 1.04 0.95 0.91 2/63 8802
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18025 0 1 0 3437 40 0 0 25 0 10 0 487578029 860950528 22274 4294967295 134512640 134569956 3221224416 3221214256 1077378435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210193 22274 13073 16 0 210177 0
vsize: 840772
[startup+50.0027 s]
Raw data (loadavg): 1.03 0.95 0.91 2/63 8802
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18025 0 1 0 4338 40 0 0 25 0 10 0 487578029 860950528 22609 4294967295 134512640 134569956 3221224416 3221214824 1131219068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210193 22609 13073 16 0 210177 0
vsize: 840772
[startup+60.0017 s]
Raw data (loadavg): 1.10 0.97 0.92 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18053 0 1 0 5229 41 0 0 25 0 11 0 487578029 861478912 23418 4294967295 134512640 134569956 3221224416 3221214696 1131322839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 23418 13073 16 0 210306 0
vsize: 841288
[startup+70.0024 s]
Raw data (loadavg): 1.24 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18092 0 1 0 6060 42 0 0 25 0 11 0 487578029 862527488 23692 4294967295 134512640 134569956 3221224416 3221214696 1131322689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 23692 13073 16 0 210562 0
vsize: 842312
[startup+80.0035 s]
Raw data (loadavg): 1.21 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 7021 42 0 0 25 0 11 0 487578029 861478912 23620 4294967295 134512640 134569956 3221224416 3221214632 1131456812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 23620 13073 16 0 210306 0
vsize: 841288
[startup+90.0036 s]
Raw data (loadavg): 1.17 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 8000 42 0 0 25 0 11 0 487578029 861478912 24445 4294967295 134512640 134569956 3221224416 3221214712 1131678176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 24445 13073 16 0 210306 0
vsize: 841288
[startup+100.003 s]
Raw data (loadavg): 1.15 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 8996 42 0 0 25 0 11 0 487578029 861478912 24445 4294967295 134512640 134569956 3221224416 3221214864 1131458344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 24445 13073 16 0 210306 0
vsize: 841288
[startup+110.003 s]
Raw data (loadavg): 1.12 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 9987 42 0 0 25 0 11 0 487578029 862527488 24682 4294967295 134512640 134569956 3221224416 3221214592 1131499714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 24682 13073 16 0 210562 0
vsize: 842312
[startup+120.003 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 10975 42 0 0 25 0 11 0 487578029 862527488 24666 4294967295 134512640 134569956 3221224416 3221214704 1131678296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 24666 13073 16 0 210562 0
vsize: 842312
[startup+130.003 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 11960 42 0 0 25 0 11 0 487578029 862527488 24666 4294967295 134512640 134569956 3221224416 3221214744 1131477617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 24666 13073 16 0 210562 0
vsize: 842312
[startup+140.003 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 12934 43 0 0 25 0 11 0 487578029 862527488 24666 4294967295 134512640 134569956 3221224416 3221214744 1131478336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210578 24666 13073 16 0 210562 0
vsize: 842312
[startup+150.003 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 13914 43 0 0 25 0 11 0 487578029 862527488 24685 4294967295 134512640 134569956 3221224416 3221214768 1131462032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 24685 13073 16 0 210562 0
vsize: 842312
[startup+160.003 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 14884 43 0 0 25 0 11 0 487578029 862527488 24866 4294967295 134512640 134569956 3221224416 3221214824 1131493468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210578 24866 13073 16 0 210562 0
vsize: 842312
[startup+170.003 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 15859 44 0 0 25 0 11 0 487578029 862527488 24968 4294967295 134512640 134569956 3221224416 3221214912 1131756305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 24968 13073 16 0 210562 0
vsize: 842312
[startup+180.002 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 16828 44 0 0 25 0 11 0 487578029 862527488 25091 4294967295 134512640 134569956 3221224416 3221214704 1131678188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 25091 13073 16 0 210562 0
vsize: 842312
[startup+190.003 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 17807 44 0 0 25 0 11 0 487578029 862527488 25290 4294967295 134512640 134569956 3221224416 3221214704 1131678191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 25290 13073 16 0 210562 0
vsize: 842312
[startup+200.003 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 18787 44 0 0 25 0 11 0 487578029 862527488 25461 4294967295 134512640 134569956 3221224416 3221214704 1131678188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 25461 13073 16 0 210562 0
vsize: 842312
[startup+210.002 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 19767 44 0 0 25 0 11 0 487578029 862527488 25551 4294967295 134512640 134569956 3221224416 3221214756 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 25551 13073 16 0 210562 0
vsize: 842312
[startup+220.003 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 20736 44 0 0 25 0 11 0 487578029 862527488 25734 4294967295 134512640 134569956 3221224416 3221214168 1131687463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 25734 13073 16 0 210562 0
vsize: 842312
[startup+230.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 21716 44 0 0 25 0 11 0 487578029 862527488 25881 4294967295 134512640 134569956 3221224416 3221214380 1131751433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 25881 13073 16 0 210562 0
vsize: 842312
[startup+240.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 22678 44 0 0 25 0 11 0 487578029 862527488 26018 4294967295 134512640 134569956 3221224416 3221214232 1131685335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26018 13073 16 0 210562 0
vsize: 842312
[startup+250.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 23641 44 0 0 25 0 11 0 487578029 862527488 26157 4294967295 134512640 134569956 3221224416 3221214704 1131678191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26157 13073 16 0 210562 0
vsize: 842312
[startup+260.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 24606 44 0 0 25 0 11 0 487578029 862527488 26229 4294967295 134512640 134569956 3221224416 3221214704 1131678188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26229 13073 16 0 210562 0
vsize: 842312
[startup+270.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 25581 44 0 0 25 0 11 0 487578029 862527488 26229 4294967295 134512640 134569956 3221224416 3221214744 1131244928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26229 13073 16 0 210562 0
vsize: 842312
[startup+280.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 26553 44 0 0 25 0 11 0 487578029 862527488 26298 4294967295 134512640 134569956 3221224416 3221214688 1131263981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26298 13073 16 0 210562 0
vsize: 842312
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 27534 44 0 0 25 0 11 0 487578029 862527488 26418 4294967295 134512640 134569956 3221224416 3221214704 1131678188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26418 13073 16 0 210562 0
vsize: 842312
[startup+300.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 28506 44 0 0 25 0 11 0 487578029 862527488 26534 4294967295 134512640 134569956 3221224416 3221214604 1131687497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26534 13073 16 0 210562 0
vsize: 842312
[startup+310.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 29478 44 0 0 25 0 11 0 487578029 862527488 26710 4294967295 134512640 134569956 3221224416 3221214188 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26710 13073 16 0 210562 0
vsize: 842312
[startup+320.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 30451 44 0 0 25 0 11 0 487578029 862527488 26824 4294967295 134512640 134569956 3221224416 3221214680 1131329305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26824 13073 16 0 210562 0
vsize: 842312
[startup+330.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 31424 44 0 0 25 0 11 0 487578029 862527488 26935 4294967295 134512640 134569956 3221224416 3221214696 1131322922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 26935 13073 16 0 210562 0
vsize: 842312
[startup+340.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 32395 44 0 0 24 0 11 0 487578029 862527488 27062 4294967295 134512640 134569956 3221224416 3221214704 1131678296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 27062 13073 16 0 210562 0
vsize: 842312
[startup+350.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 33376 44 0 0 25 0 11 0 487578029 862527488 27190 4294967295 134512640 134569956 3221224416 3221214704 1131678188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210578 27190 13073 16 0 210562 0
vsize: 842312
[startup+360.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 34348 44 0 0 25 0 11 0 487578029 862527488 27289 4294967295 134512640 134569956 3221224416 3221214392 1131685338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 27289 13073 16 0 210562 0
vsize: 842312
[startup+370.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 35319 44 0 0 25 0 11 0 487578029 862527488 27470 4294967295 134512640 134569956 3221224416 3221214704 1131678296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210578 27470 13073 16 0 210562 0
vsize: 842312
[startup+380.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 36298 45 0 0 25 0 11 0 487578029 861478912 27332 4294967295 134512640 134569956 3221224416 3221214696 1131323593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 27332 13073 16 0 210306 0
vsize: 841288
[startup+390.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 37262 45 0 0 25 0 11 0 487578029 861478912 27426 4294967295 134512640 134569956 3221224416 3221214856 1131458344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 27426 13073 16 0 210306 0
vsize: 841288
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 38226 45 0 0 25 0 11 0 487578029 861478912 27552 4294967295 134512640 134569956 3221224416 3221214704 1131678146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 27552 13073 16 0 210306 0
vsize: 841288
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 39191 45 0 0 25 0 11 0 487578029 861478912 27607 4294967295 134512640 134569956 3221224416 3221214704 1131678188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 27607 13073 16 0 210306 0
vsize: 841288
[startup+420.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 40155 45 0 0 25 0 11 0 487578029 861478912 27700 4294967295 134512640 134569956 3221224416 3221214704 1131678191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 27700 13073 16 0 210306 0
vsize: 841288
[startup+430.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 41118 45 0 0 25 0 11 0 487578029 861478912 27830 4294967295 134512640 134569956 3221224416 3221214792 1131412468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 27830 13073 16 0 210306 0
vsize: 841288
[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 42082 45 0 0 24 0 11 0 487578029 861478912 27958 4294967295 134512640 134569956 3221224416 3221214432 1131687496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 27958 13073 16 0 210306 0
vsize: 841288
[startup+450.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 43054 45 0 0 25 0 11 0 487578029 861478912 28059 4294967295 134512640 134569956 3221224416 3221214696 1131322533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 28059 13073 16 0 210306 0
vsize: 841288
[startup+460.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 44017 45 0 0 25 0 11 0 487578029 861478912 28232 4294967295 134512640 134569956 3221224416 3221214792 1131415018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 28232 13073 16 0 210306 0
vsize: 841288
[startup+470.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 44973 46 0 0 24 0 11 0 487578029 861478912 28334 4294967295 134512640 134569956 3221224416 3221214744 1131477673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 28334 13073 16 0 210306 0
vsize: 841288
[startup+480.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) S 8792 22932 22931 0 -1 0 18094 0 1 0 45941 46 0 0 25 0 11 0 487578029 861478912 28390 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 28390 13073 16 0 210306 0
vsize: 841288
[startup+490.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 46907 46 0 0 25 0 11 0 487578029 861478912 28511 4294967295 134512640 134569956 3221224416 3221214704 1131678296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 28511 13073 16 0 210306 0
vsize: 841288
[startup+500.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 47861 47 0 0 25 0 11 0 487578029 861478912 28776 4294967295 134512640 134569956 3221224416 3221214328 1131687463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 28776 13073 16 0 210306 0
vsize: 841288
[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 48826 47 0 0 25 0 11 0 487578029 861478912 28909 4294967295 134512640 134569956 3221224416 3221214704 1131678188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 28909 13073 16 0 210306 0
vsize: 841288
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 49784 47 0 0 25 0 11 0 487578029 861478912 29075 4294967295 134512640 134569956 3221224416 3221214592 1131498040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29075 13073 16 0 210306 0
vsize: 841288
[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 50751 48 0 0 25 0 11 0 487578029 861478912 29192 4294967295 134512640 134569956 3221224416 3221214864 1131693180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 29192 13073 16 0 210306 0
vsize: 841288
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 51719 48 0 0 25 0 11 0 487578029 861478912 29324 4294967295 134512640 134569956 3221224416 3221214696 1131323655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 29324 13073 16 0 210306 0
vsize: 841288
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 52687 48 0 0 25 0 11 0 487578029 861478912 29488 4294967295 134512640 134569956 3221224416 3221214728 1131254729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29488 13073 16 0 210306 0
vsize: 841288
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 53663 48 0 0 24 0 11 0 487578029 861478912 29488 4294967295 134512640 134569956 3221224416 3221214696 1131323540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29488 13073 16 0 210306 0
vsize: 841288
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 54647 49 0 0 25 0 11 0 487578029 861478912 29488 4294967295 134512640 134569956 3221224416 3221214696 1131322998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29488 13073 16 0 210306 0
vsize: 841288
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 55640 49 0 0 25 0 11 0 487578029 861478912 29488 4294967295 134512640 134569956 3221224416 3221214496 1131687274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29488 13073 16 0 210306 0
vsize: 841288
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 56624 49 0 0 25 0 11 0 487578029 861478912 29606 4294967295 134512640 134569956 3221224416 3221214168 1131685304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29606 13073 16 0 210306 0
vsize: 841288
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 57610 49 0 0 25 0 11 0 487578029 861478912 29682 4294967295 134512640 134569956 3221224416 3221214912 1131756305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29682 13073 16 0 210306 0
vsize: 841288
[startup+610.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 58596 50 0 0 25 0 11 0 487578029 861478912 29762 4294967295 134512640 134569956 3221224416 3221214384 1131687484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29762 13073 16 0 210306 0
vsize: 841288
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 59584 50 0 0 25 0 11 0 487578029 861478912 29825 4294967295 134512640 134569956 3221224416 3221214048 1131687490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29825 13073 16 0 210306 0
vsize: 841288
[startup+630.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 60584 50 0 0 25 0 11 0 487578029 861478912 29825 4294967295 134512640 134569956 3221224416 3221214304 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 29825 13073 16 0 210306 0
vsize: 841288
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 61578 50 0 0 25 0 11 0 487578029 861478912 29851 4294967295 134512640 134569956 3221224416 3221214104 1131687490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 29851 13073 16 0 210306 0
vsize: 841288
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 62578 50 0 0 25 0 11 0 487578029 861478912 29851 4294967295 134512640 134569956 3221224416 3221213952 1131685276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 29851 13073 16 0 210306 0
vsize: 841288
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 63578 50 0 0 25 0 11 0 487578029 861478912 29851 4294967295 134512640 134569956 3221224416 3221214856 1131458344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 29851 13073 16 0 210306 0
vsize: 841288
[startup+670.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 64565 50 0 0 25 0 11 0 487578029 861478912 29916 4294967295 134512640 134569956 3221224416 3221214824 1131492514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29916 13073 16 0 210306 0
vsize: 841288
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 65558 51 0 0 25 0 11 0 487578029 861478912 29941 4294967295 134512640 134569956 3221224416 3221214704 1131678191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 29941 13073 16 0 210306 0
vsize: 841288
[startup+690.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 66545 51 0 0 25 0 11 0 487578029 861478912 30002 4294967295 134512640 134569956 3221224416 3221214608 1131599428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 30002 13073 16 0 210306 0
vsize: 841288
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 67525 51 0 0 25 0 11 0 487578029 861478912 30079 4294967295 134512640 134569956 3221224416 3221214568 1131573714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30079 13073 16 0 210306 0
vsize: 841288
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 68513 51 0 0 25 0 11 0 487578029 861478912 30138 4294967295 134512640 134569956 3221224416 3221214528 1131653849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 30138 13073 16 0 210306 0
vsize: 841288
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 69495 51 0 0 25 0 11 0 487578029 861478912 30237 4294967295 134512640 134569956 3221224416 3221214592 1131572941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30237 13073 16 0 210306 0
vsize: 841288
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 70484 51 0 0 25 0 11 0 487578029 861478912 30305 4294967295 134512640 134569956 3221224416 3221213896 1131685389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 30305 13073 16 0 210306 0
vsize: 841288
[startup+740.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 71475 52 0 0 25 0 11 0 487578029 861478912 30330 4294967295 134512640 134569956 3221224416 3221214704 1131678300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 30330 13073 16 0 210306 0
vsize: 841288
[startup+750.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 72459 52 0 0 25 0 11 0 487578029 861478912 30347 4294967295 134512640 134569956 3221224416 3221214336 1131685308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30347 13073 16 0 210306 0
vsize: 841288
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 73441 52 0 0 25 0 11 0 487578029 861478912 30381 4294967295 134512640 134569956 3221224416 3221214696 1131322998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30381 13073 16 0 210306 0
vsize: 841288
[startup+770.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 74424 53 0 0 25 0 11 0 487578029 861478912 30408 4294967295 134512640 134569956 3221224416 3221214528 1131653992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30408 13073 16 0 210306 0
vsize: 841288
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 75412 53 0 0 25 0 11 0 487578029 861478912 30425 4294967295 134512640 134569956 3221224416 3221214696 1131322883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30425 13073 16 0 210306 0
vsize: 841288
[startup+790.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 76394 53 0 0 25 0 11 0 487578029 861478912 30470 4294967295 134512640 134569956 3221224416 3221214752 1131559535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 30470 13073 16 0 210306 0
vsize: 841288
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 77377 53 0 0 25 0 11 0 487578029 861478912 30599 4294967295 134512640 134569956 3221224416 3221214856 1131458080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30599 13073 16 0 210306 0
vsize: 841288
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 78362 53 0 0 25 0 11 0 487578029 861478912 30683 4294967295 134512640 134569956 3221224416 3221214088 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30683 13073 16 0 210306 0
vsize: 841288
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) S 8792 22932 22931 0 -1 0 18094 0 1 0 79349 53 0 0 25 0 11 0 487578029 861478912 30715 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30715 13073 16 0 210306 0
vsize: 841288
[startup+830.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 80337 54 0 0 25 0 11 0 487578029 861478912 30766 4294967295 134512640 134569956 3221224416 3221214696 1131322859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30766 13073 16 0 210306 0
vsize: 841288
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 81317 54 0 0 25 0 11 0 487578029 861478912 30823 4294967295 134512640 134569956 3221224416 3221214696 1131322753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30823 13073 16 0 210306 0
vsize: 841288
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 82302 54 0 0 25 0 11 0 487578029 861478912 30885 4294967295 134512640 134569956 3221224416 3221214704 1131678188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30885 13073 16 0 210306 0
vsize: 841288
[startup+860.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 83288 54 0 0 25 0 11 0 487578029 861478912 30948 4294967295 134512640 134569956 3221224416 3221214720 1131436884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30948 13073 16 0 210306 0
vsize: 841288
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 84275 54 0 0 25 0 11 0 487578029 861478912 30989 4294967295 134512640 134569956 3221224416 3221214856 1131458080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 30989 13073 16 0 210306 0
vsize: 841288
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 85258 54 0 0 25 0 11 0 487578029 861478912 31050 4294967295 134512640 134569956 3221224416 3221214536 1131650002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31050 13073 16 0 210306 0
vsize: 841288
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 86246 55 0 0 25 0 11 0 487578029 861478912 31108 4294967295 134512640 134569956 3221224416 3221214892 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31108 13073 16 0 210306 0
vsize: 841288
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 87235 55 0 0 25 0 11 0 487578029 861478912 31149 4294967295 134512640 134569956 3221224416 3221214632 1131627823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31149 13073 16 0 210306 0
vsize: 841288
[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 88223 55 0 0 25 0 11 0 487578029 861478912 31214 4294967295 134512640 134569956 3221224416 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31214 13073 16 0 210306 0
vsize: 841288
[startup+920.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 89210 55 0 0 25 0 11 0 487578029 861478912 31290 4294967295 134512640 134569956 3221224416 3221214704 1131678176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31290 13073 16 0 210306 0
vsize: 841288
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 90201 55 0 0 25 0 11 0 487578029 861478912 31334 4294967295 134512640 134569956 3221224416 3221214696 1131323223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31334 13073 16 0 210306 0
vsize: 841288
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18094 0 1 0 91192 56 0 0 25 0 11 0 487578029 861478912 31381 4294967295 134512640 134569956 3221224416 3221213988 1131685152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 31381 13073 16 0 210306 0
vsize: 841288
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 92181 56 0 0 25 0 11 0 487578029 861478912 31435 4294967295 134512640 134569956 3221224416 3221214392 1131685165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31435 13073 16 0 210306 0
vsize: 841288
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 93174 56 0 0 25 0 11 0 487578029 861478912 31460 4294967295 134512640 134569956 3221224416 3221214456 1131322865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31460 13073 16 0 210306 0
vsize: 841288
[startup+970.139 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 94174 57 0 0 25 0 11 0 487578029 861478912 31495 4294967295 134512640 134569956 3221224416 3221214560 1131255086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31495 13073 16 0 210306 0
vsize: 841288
[startup+980.139 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 95165 58 0 0 25 0 11 0 487578029 861478912 31521 4294967295 134512640 134569956 3221224416 3221214664 1131678300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31521 13073 16 0 210306 0
vsize: 841288
[startup+990.153 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 96158 58 0 0 25 0 11 0 487578029 861478912 31547 4294967295 134512640 134569956 3221224416 3221214516 1079721456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31547 13073 16 0 210306 0
vsize: 841288
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 97148 58 0 0 25 0 11 0 487578029 861478912 31591 4294967295 134512640 134569956 3221224416 3221214488 1079721543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31591 13073 16 0 210306 0
vsize: 841288
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 98140 59 0 0 25 0 11 0 487578029 861478912 31613 4294967295 134512640 134569956 3221224416 3221214864 1131708417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31613 13073 16 0 210306 0
vsize: 841288
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 99134 59 0 0 25 0 11 0 487578029 861478912 31642 4294967295 134512640 134569956 3221224416 3221214488 1131654673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31642 13073 16 0 210306 0
vsize: 841288
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 100127 59 0 0 25 0 11 0 487578029 861478912 31677 4294967295 134512640 134569956 3221224416 3221214328 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31677 13073 16 0 210306 0
vsize: 841288
[startup+1040.17 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 101121 60 0 0 25 0 11 0 487578029 861478912 31702 4294967295 134512640 134569956 3221224416 3221214568 1131594144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 31702 13073 16 0 210306 0
vsize: 841288
[startup+1050.18 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 102115 60 0 0 25 0 11 0 487578029 861478912 31732 4294967295 134512640 134569956 3221224416 3221214480 1131748429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31732 13073 16 0 210306 0
vsize: 841288
[startup+1060.19 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 103109 60 0 0 25 0 11 0 487578029 861478912 31754 4294967295 134512640 134569956 3221224416 3221214248 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31754 13073 16 0 210306 0
vsize: 841288
[startup+1070.19 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 104103 61 0 0 25 0 11 0 487578029 861478912 31770 4294967295 134512640 134569956 3221224416 3221214640 1131322826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31770 13073 16 0 210306 0
vsize: 841288
[startup+1080.19 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 105097 61 0 0 25 0 11 0 487578029 861478912 31803 4294967295 134512640 134569956 3221224416 3221214632 1131585122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31803 13073 16 0 210306 0
vsize: 841288
[startup+1090.19 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 106091 61 0 0 25 0 11 0 487578029 861478912 31833 4294967295 134512640 134569956 3221224416 3221214384 1131687424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31833 13073 16 0 210306 0
vsize: 841288
[startup+1100.19 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 107083 61 0 0 25 0 11 0 487578029 861478912 31862 4294967295 134512640 134569956 3221224416 3221214432 1080217030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31862 13073 16 0 210306 0
vsize: 841288
[startup+1110.19 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 108077 62 0 0 25 0 11 0 487578029 861478912 31876 4294967295 134512640 134569956 3221224416 3221214488 1131653582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31876 13073 16 0 210306 0
vsize: 841288
[startup+1120.19 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 109072 63 0 0 25 0 11 0 487578029 861478912 31885 4294967295 134512640 134569956 3221224416 3221214488 1079721543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31885 13073 16 0 210306 0
vsize: 841288
[startup+1130.19 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 110066 63 0 0 19 0 11 0 487578029 861478912 31897 4294967295 134512640 134569956 3221224416 3221214488 1131653923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31897 13073 16 0 210306 0
vsize: 841288
[startup+1140.19 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 111062 63 0 0 25 0 11 0 487578029 861478912 31905 4294967295 134512640 134569956 3221224416 3221214520 1131648698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31905 13073 16 0 210306 0
vsize: 841288
[startup+1150.19 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 112058 63 0 0 25 0 11 0 487578029 861478912 31916 4294967295 134512640 134569956 3221224416 3221214568 1131596487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31916 13073 16 0 210306 0
vsize: 841288
[startup+1160.19 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 113049 64 0 0 25 0 11 0 487578029 861478912 31931 4294967295 134512640 134569956 3221224416 3221214640 1131322753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31931 13073 16 0 210306 0
vsize: 841288
[startup+1170.2 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 114043 64 0 0 25 0 11 0 487578029 861478912 31939 4294967295 134512640 134569956 3221224416 3221214544 1131684807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31939 13073 16 0 210306 0
vsize: 841288
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 115036 64 0 0 25 0 11 0 487578029 861478912 31961 4294967295 134512640 134569956 3221224416 3221214392 1080217033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31961 13073 16 0 210306 0
vsize: 841288
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 116029 65 0 0 25 0 11 0 487578029 861478912 31983 4294967295 134512640 134569956 3221224416 3221214640 1131322998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 31983 13073 16 0 210306 0
vsize: 841288
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 117023 65 0 0 25 0 11 0 487578029 861478912 32008 4294967295 134512640 134569956 3221224416 3221214640 1131322708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 32008 13073 16 0 210306 0
vsize: 841288
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 118017 65 0 0 25 0 11 0 487578029 861478912 32038 4294967295 134512640 134569956 3221224416 3221214432 1131654161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 32038 13073 16 0 210306 0
vsize: 841288
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 119013 66 0 0 25 0 11 0 487578029 861478912 32053 4294967295 134512640 134569956 3221224416 3221214360 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210322 32053 13073 16 0 210306 0
vsize: 841288
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8803
Raw data (stat): 8793 (java) R 8792 22932 22931 0 -1 0 18095 0 1 0 120007 66 0 0 25 0 11 0 487578029 861478912 32064 4294967295 134512640 134569956 3221224416 3221214568 1131594594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210322 32064 13073 16 0 210306 0
vsize: 841288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.3 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 8805
Raw data (stat): 8793 (java) Z 8792 22932 22931 0 -1 1036 18095 11691 1 0 120010 66 2585 27 25 0 1 0 487578029 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): 1230.29
CPU time (s): 1226.9
CPU user time (s): 1225.96
CPU system time (s): 0.939857
CPU usage (%): 99.7243
Max. virtual memory (Kb): 846796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####