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/MIPLIB/miplib/normalized-mps-v2-20-10-misc07.opb
MD5SUM	f204f0495d2a5caf7ce1d50b166e58a2
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1076833280
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	3287948287
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.09
Number of variables	290
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	263
Trace number 17039

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-21 09:23:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12021 boxname=wulflinc1 idbench=925 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f204f0495d2a5caf7ce1d50b166e58a2  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-misc07.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-misc07.opb
IDLAUNCH: 12021
/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:        486708 kB
Buffers:          1556 kB
Cached:         521160 kB
SwapCached:          0 kB
Active:          18804 kB
Inactive:       507076 kB
HighTotal:      131008 kB
HighFree:        16324 kB
LowTotal:       903652 kB
LowFree:        470384 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           7220 kB
Slab:            16440 kB
Committed_AS:    92812 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 09:44:34 (client local time) WITH STATUS 143 IN 1250.75 SECONDS
stats: 12021 7 1250.75 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-misc07.opb
c reading problem 
c [nbvar=290]
c [nbconstr=471]
c time 2.797
c #vars     290
c #clauses  247
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1077452800
c Current CPU time (ms) : 40.492
c starts	: 2
c conflicts	: 133
c decisions	: 2853
c propagations	: 10284
c inspects	: 59237
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 133
c root simplifications	: 45
c 
c CURRENT OPTIMUM=1077314560
c Current CPU time (ms) : 51.804
c starts	: 3
c conflicts	: 168
c decisions	: 3060
c propagations	: 11702
c inspects	: 80324
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 168
c root simplifications	: 47
c 
c CURRENT OPTIMUM=1076807680
c Current CPU time (ms) : 63.076
c starts	: 4
c conflicts	: 195
c decisions	: 3212
c propagations	: 12511
c inspects	: 98095
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 195
c root simplifications	: 48
c 
c CURRENT OPTIMUM=1076684800
c Current CPU time (ms) : 696.663
c starts	: 8
c conflicts	: 867
c decisions	: 5081
c propagations	: 27191
c inspects	: 1023630
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 867
c root simplifications	: 53
#### 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.99 0.97 0.91 2/56 25791
Raw data (stat): 25791 (runsolver) R 25790 12452 12451 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 428897019 1052672 97 4294967295 134512640 135381576 3221224432 3221219800 135024953 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0058 s]
Raw data (loadavg): 1.15 1.00 0.92 4/66 25801
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 10667 0 82 0 407 27 0 0 25 0 11 0 428897019 861970432 12901 4294967295 134512640 134569956 3221224400 3221213924 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210442 12901 13073 16 0 210426 0
vsize: 841768
[startup+20.0266 s]
Raw data (loadavg): 1.27 1.04 0.93 2/66 25801
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17988 0 82 0 1248 45 0 0 25 0 11 0 428897019 866856960 22222 4294967295 134512640 134569956 3221224400 3221214800 1131220956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 22222 13073 16 0 211619 0
vsize: 846540
[startup+30.0274 s]
Raw data (loadavg): 1.23 1.03 0.93 2/66 25801
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17988 0 82 0 2204 45 0 0 24 0 11 0 428897019 866856960 22432 4294967295 134512640 134569956 3221224400 3221214800 1131220886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 22432 13073 16 0 211619 0
vsize: 846540
[startup+40.0322 s]
Raw data (loadavg): 1.27 1.05 0.94 2/66 25801
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17988 0 82 0 3155 45 0 0 25 0 11 0 428897019 866856960 22594 4294967295 134512640 134569956 3221224400 3221214816 1131331022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 22594 13073 16 0 211619 0
vsize: 846540
[startup+50.0379 s]
Raw data (loadavg): 1.30 1.06 0.94 2/66 25802
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17990 3 82 0 4111 45 0 0 25 0 11 0 428897019 866856960 22900 4294967295 134512640 134569956 3221224400 3221214848 1131181976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 22900 13073 16 0 211619 0
vsize: 846540
[startup+60.0377 s]
Raw data (loadavg): 1.25 1.06 0.94 2/66 25803
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17991 3 82 0 5072 45 0 0 25 0 11 0 428897019 866856960 23009 4294967295 134512640 134569956 3221224400 3221214800 1131220576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23009 13073 16 0 211619 0
vsize: 846540
[startup+70.0384 s]
Raw data (loadavg): 1.29 1.07 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17991 3 82 0 6038 46 0 0 25 0 11 0 428897019 866856960 23148 4294967295 134512640 134569956 3221224400 3221214432 1131239740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23148 13073 16 0 211619 0
vsize: 846540
[startup+80.0393 s]
Raw data (loadavg): 1.24 1.07 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17991 3 82 0 7002 46 0 0 25 0 11 0 428897019 866856960 23236 4294967295 134512640 134569956 3221224400 3221214752 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23236 13073 16 0 211619 0
vsize: 846540
[startup+90.039 s]
Raw data (loadavg): 1.21 1.07 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17991 3 82 0 7968 46 0 0 25 0 11 0 428897019 866856960 23317 4294967295 134512640 134569956 3221224400 3221214752 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23317 13073 16 0 211619 0
vsize: 846540
[startup+100.039 s]
Raw data (loadavg): 1.17 1.06 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 8930 46 0 0 25 0 11 0 428897019 866856960 23423 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23423 13073 16 0 211619 0
vsize: 846540
[startup+110.04 s]
Raw data (loadavg): 1.15 1.06 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 9899 46 0 0 25 0 11 0 428897019 866856960 23540 4294967295 134512640 134569956 3221224400 3221214800 1131181969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23540 13073 16 0 211619 0
vsize: 846540
[startup+120.041 s]
Raw data (loadavg): 1.12 1.06 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 10872 46 0 0 25 0 11 0 428897019 866856960 23662 4294967295 134512640 134569956 3221224400 3221214752 1131221709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23662 13073 16 0 211619 0
vsize: 846540
[startup+130.04 s]
Raw data (loadavg): 1.10 1.06 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 11853 46 0 0 25 0 11 0 428897019 866856960 23717 4294967295 134512640 134569956 3221224400 3221214752 1131221384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23717 13073 16 0 211619 0
vsize: 846540
[startup+140.04 s]
Raw data (loadavg): 1.09 1.05 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 12833 46 0 0 25 0 11 0 428897019 866856960 23794 4294967295 134512640 134569956 3221224400 3221214648 1131360765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23794 13073 16 0 211619 0
vsize: 846540
[startup+150.041 s]
Raw data (loadavg): 1.07 1.05 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 13809 46 0 0 22 0 11 0 428897019 866856960 23866 4294967295 134512640 134569956 3221224400 3221214752 1131220797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23866 13073 16 0 211619 0
vsize: 846540
[startup+160.041 s]
Raw data (loadavg): 1.06 1.05 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 14777 47 0 0 25 0 11 0 428897019 866856960 23925 4294967295 134512640 134569956 3221224400 3221214752 1131221144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23925 13073 16 0 211619 0
vsize: 846540
[startup+170.041 s]
Raw data (loadavg): 1.05 1.05 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 15751 47 0 0 25 0 11 0 428897019 866856960 23998 4294967295 134512640 134569956 3221224400 3221214752 1131221946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 23998 13073 16 0 211619 0
vsize: 846540
[startup+180.042 s]
Raw data (loadavg): 1.04 1.05 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 16726 47 0 0 25 0 11 0 428897019 866856960 24109 4294967295 134512640 134569956 3221224400 3221214752 1131220578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24109 13073 16 0 211619 0
vsize: 846540
[startup+190.042 s]
Raw data (loadavg): 1.04 1.04 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 17705 47 0 0 25 0 11 0 428897019 866856960 24226 4294967295 134512640 134569956 3221224400 3221214824 1131309929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24226 13073 16 0 211619 0
vsize: 846540
[startup+200.043 s]
Raw data (loadavg): 1.03 1.04 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 18686 47 0 0 25 0 11 0 428897019 866856960 24276 4294967295 134512640 134569956 3221224400 3221214752 1131221807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24276 13073 16 0 211619 0
vsize: 846540
[startup+210.043 s]
Raw data (loadavg): 1.02 1.04 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 19664 47 0 0 25 0 11 0 428897019 866856960 24360 4294967295 134512640 134569956 3221224400 3221214752 1131220572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24360 13073 16 0 211619 0
vsize: 846540
[startup+220.044 s]
Raw data (loadavg): 1.02 1.04 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 20642 47 0 0 25 0 11 0 428897019 866856960 24422 4294967295 134512640 134569956 3221224400 3221214752 1131220477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24422 13073 16 0 211619 0
vsize: 846540
[startup+230.044 s]
Raw data (loadavg): 1.02 1.04 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 21622 47 0 0 25 0 11 0 428897019 866856960 24491 4294967295 134512640 134569956 3221224400 3221214800 1131181952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24491 13073 16 0 211619 0
vsize: 846540
[startup+240.044 s]
Raw data (loadavg): 1.01 1.04 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 22601 47 0 0 25 0 11 0 428897019 866856960 24580 4294967295 134512640 134569956 3221224400 3221214752 1131221123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24580 13073 16 0 211619 0
vsize: 846540
[startup+250.045 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 23581 47 0 0 25 0 11 0 428897019 866856960 24650 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24650 13073 16 0 211619 0
vsize: 846540
[startup+260.045 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 24561 47 0 0 24 0 11 0 428897019 866856960 24710 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24710 13073 16 0 211619 0
vsize: 846540
[startup+270.045 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 25542 47 0 0 25 0 11 0 428897019 866856960 24775 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24775 13073 16 0 211619 0
vsize: 846540
[startup+280.046 s]
Raw data (loadavg): 1.01 1.03 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 26521 47 0 0 25 0 11 0 428897019 866856960 24826 4294967295 134512640 134569956 3221224400 3221214800 1131181969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24826 13073 16 0 211619 0
vsize: 846540
[startup+290.046 s]
Raw data (loadavg): 1.00 1.03 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 27497 47 0 0 25 0 11 0 428897019 866856960 24890 4294967295 134512640 134569956 3221224400 3221214800 1131182026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24890 13073 16 0 211619 0
vsize: 846540
[startup+300.047 s]
Raw data (loadavg): 1.00 1.03 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 28476 47 0 0 25 0 11 0 428897019 866856960 24945 4294967295 134512640 134569956 3221224400 3221214616 1131727953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 24945 13073 16 0 211619 0
vsize: 846540
[startup+310.046 s]
Raw data (loadavg): 1.00 1.03 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 29451 47 0 0 25 0 11 0 428897019 866856960 25025 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25025 13073 16 0 211619 0
vsize: 846540
[startup+320.047 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 30426 48 0 0 25 0 11 0 428897019 866856960 25102 4294967295 134512640 134569956 3221224400 3221214752 1131221384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25102 13073 16 0 211619 0
vsize: 846540
[startup+330.047 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 31403 48 0 0 25 0 11 0 428897019 866856960 25173 4294967295 134512640 134569956 3221224400 3221214752 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25173 13073 16 0 211619 0
vsize: 846540
[startup+340.047 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 32384 48 0 0 25 0 11 0 428897019 866856960 25252 4294967295 134512640 134569956 3221224400 3221214800 1131181976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25252 13073 16 0 211619 0
vsize: 846540
[startup+350.048 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 33364 48 0 0 25 0 11 0 428897019 866856960 25318 4294967295 134512640 134569956 3221224400 3221214800 1131181952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25318 13073 16 0 211619 0
vsize: 846540
[startup+360.047 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25806
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 34341 48 0 0 25 0 11 0 428897019 866856960 25371 4294967295 134512640 134569956 3221224400 3221214848 1131280099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25371 13073 16 0 211619 0
vsize: 846540
[startup+370.048 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 35321 48 0 0 25 0 11 0 428897019 866856960 25439 4294967295 134512640 134569956 3221224400 3221214752 1131221397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25439 13073 16 0 211619 0
vsize: 846540
[startup+380.049 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 36300 48 0 0 25 0 11 0 428897019 866856960 25513 4294967295 134512640 134569956 3221224400 3221214752 1131220946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25513 13073 16 0 211619 0
vsize: 846540
[startup+390.049 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 37278 48 0 0 25 0 11 0 428897019 866856960 25582 4294967295 134512640 134569956 3221224400 3221214844 1131220467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25582 13073 16 0 211619 0
vsize: 846540
[startup+400.05 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 38258 48 0 0 25 0 11 0 428897019 866856960 25650 4294967295 134512640 134569956 3221224400 3221214800 1131181969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25650 13073 16 0 211619 0
vsize: 846540
[startup+410.05 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 39235 48 0 0 25 0 11 0 428897019 866856960 25715 4294967295 134512640 134569956 3221224400 3221214752 1131220481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25715 13073 16 0 211619 0
vsize: 846540
[startup+420.051 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 40214 48 0 0 25 0 11 0 428897019 866856960 25785 4294967295 134512640 134569956 3221224400 3221214768 1131329054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25785 13073 16 0 211619 0
vsize: 846540
[startup+430.051 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 41193 48 0 0 25 0 11 0 428897019 866856960 25841 4294967295 134512640 134569956 3221224400 3221214800 1131181969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25841 13073 16 0 211619 0
vsize: 846540
[startup+440.051 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 42173 48 0 0 25 0 11 0 428897019 866856960 25887 4294967295 134512640 134569956 3221224400 3221214752 1131220572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25887 13073 16 0 211619 0
vsize: 846540
[startup+450.051 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 43146 49 0 0 24 0 11 0 428897019 866856960 25961 4294967295 134512640 134569956 3221224400 3221214752 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 25961 13073 16 0 211619 0
vsize: 846540
[startup+460.051 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 44123 49 0 0 25 0 11 0 428897019 866856960 26038 4294967295 134512640 134569956 3221224400 3221214752 1131220489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26038 13073 16 0 211619 0
vsize: 846540
[startup+470.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 45102 49 0 0 25 0 11 0 428897019 866856960 26111 4294967295 134512640 134569956 3221224400 3221214752 1131220981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26111 13073 16 0 211619 0
vsize: 846540
[startup+480.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 46078 49 0 0 25 0 11 0 428897019 866856960 26193 4294967295 134512640 134569956 3221224400 3221214752 1131221714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26193 13073 16 0 211619 0
vsize: 846540
[startup+490.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 47053 49 0 0 25 0 11 0 428897019 866856960 26246 4294967295 134512640 134569956 3221224400 3221214752 1131220576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26246 13073 16 0 211619 0
vsize: 846540
[startup+500.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 48030 49 0 0 25 0 11 0 428897019 866856960 26299 4294967295 134512640 134569956 3221224400 3221214752 1131220578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26299 13073 16 0 211619 0
vsize: 846540
[startup+510.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 49008 49 0 0 25 0 11 0 428897019 866856960 26385 4294967295 134512640 134569956 3221224400 3221214752 1131221360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26385 13073 16 0 211619 0
vsize: 846540
[startup+520.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 49985 49 0 0 25 0 11 0 428897019 866856960 26467 4294967295 134512640 134569956 3221224400 3221214752 1131220578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26467 13073 16 0 211619 0
vsize: 846540
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 50963 49 0 0 25 0 11 0 428897019 866856960 26542 4294967295 134512640 134569956 3221224400 3221214752 1131220901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26542 13073 16 0 211619 0
vsize: 846540
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 51942 50 0 0 25 0 11 0 428897019 866856960 26619 4294967295 134512640 134569956 3221224400 3221214752 1131220546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26619 13073 16 0 211619 0
vsize: 846540
[startup+550.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 52923 50 0 0 25 0 11 0 428897019 866856960 26683 4294967295 134512640 134569956 3221224400 3221214752 1131220485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26683 13073 16 0 211619 0
vsize: 846540
[startup+560.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 53901 50 0 0 24 0 11 0 428897019 866856960 26750 4294967295 134512640 134569956 3221224400 3221214752 1131220492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26750 13073 16 0 211619 0
vsize: 846540
[startup+570.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 54878 50 0 0 25 0 11 0 428897019 866856960 26811 4294967295 134512640 134569956 3221224400 3221214752 1131221099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26811 13073 16 0 211619 0
vsize: 846540
[startup+580.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 55852 50 0 0 24 0 11 0 428897019 866856960 26887 4294967295 134512640 134569956 3221224400 3221214848 1131279301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26887 13073 16 0 211619 0
vsize: 846540
[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 56828 50 0 0 25 0 11 0 428897019 866856960 26961 4294967295 134512640 134569956 3221224400 3221214752 1131221123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 26961 13073 16 0 211619 0
vsize: 846540
[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 57806 51 0 0 25 0 11 0 428897019 866856960 27037 4294967295 134512640 134569956 3221224400 3221214752 1131221123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27037 13073 16 0 211619 0
vsize: 846540
[startup+610.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 58782 51 0 0 25 0 11 0 428897019 866856960 27125 4294967295 134512640 134569956 3221224400 3221214752 1131220986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27125 13073 16 0 211619 0
vsize: 846540
[startup+620.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 59763 51 0 0 25 0 11 0 428897019 866856960 27186 4294967295 134512640 134569956 3221224400 3221214800 1131182044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27186 13073 16 0 211619 0
vsize: 846540
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 60742 51 0 0 25 0 11 0 428897019 866856960 27249 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27249 13073 16 0 211619 0
vsize: 846540
[startup+640.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) S 25790 12452 12451 0 -1 0 17992 3 82 0 61722 51 0 0 25 0 11 0 428897019 866856960 27308 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27308 13073 16 0 211619 0
vsize: 846540
[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 62702 51 0 0 25 0 11 0 428897019 866856960 27349 4294967295 134512640 134569956 3221224400 3221214800 1131181952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27349 13073 16 0 211619 0
vsize: 846540
[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25808
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 63680 51 0 0 25 0 11 0 428897019 866856960 27432 4294967295 134512640 134569956 3221224400 3221214752 1131221750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27432 13073 16 0 211619 0
vsize: 846540
[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25810
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 64660 51 0 0 25 0 11 0 428897019 866856960 27483 4294967295 134512640 134569956 3221224400 3221214752 1131221661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 27483 13073 16 0 211619 0
vsize: 846540
[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25810
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 65640 51 0 0 25 0 11 0 428897019 866856960 27556 4294967295 134512640 134569956 3221224400 3221214752 1131221169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27556 13073 16 0 211619 0
vsize: 846540
[startup+690.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25810
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 66620 51 0 0 25 0 11 0 428897019 866856960 27647 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27647 13073 16 0 211619 0
vsize: 846540
[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 67602 51 0 0 25 0 11 0 428897019 866856960 27677 4294967295 134512640 134569956 3221224400 3221214800 1131182128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 27677 13073 16 0 211619 0
vsize: 846540
[startup+710.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 68581 52 0 0 25 0 11 0 428897019 866856960 27714 4294967295 134512640 134569956 3221224400 3221214752 1131221739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27714 13073 16 0 211619 0
vsize: 846540
[startup+720.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 69562 52 0 0 25 0 11 0 428897019 866856960 27769 4294967295 134512640 134569956 3221224400 3221214752 1131220981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27769 13073 16 0 211619 0
vsize: 846540
[startup+730.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 70540 52 0 0 25 0 11 0 428897019 866856960 27805 4294967295 134512640 134569956 3221224400 3221214848 1131279434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27805 13073 16 0 211619 0
vsize: 846540
[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 71518 52 0 0 25 0 11 0 428897019 866856960 27879 4294967295 134512640 134569956 3221224400 3221214752 1131221152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27879 13073 16 0 211619 0
vsize: 846540
[startup+750.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 72495 52 0 0 25 0 11 0 428897019 866856960 27942 4294967295 134512640 134569956 3221224400 3221214752 1131220561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 27942 13073 16 0 211619 0
vsize: 846540
[startup+760.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 73471 52 0 0 24 0 11 0 428897019 866856960 28003 4294967295 134512640 134569956 3221224400 3221214844 1131309859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 28003 13073 16 0 211619 0
vsize: 846540
[startup+770.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 74451 52 0 0 25 0 11 0 428897019 866856960 28059 4294967295 134512640 134569956 3221224400 3221214752 1131220973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 28059 13073 16 0 211619 0
vsize: 846540
[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 75429 52 0 0 25 0 11 0 428897019 866856960 28144 4294967295 134512640 134569956 3221224400 3221214848 1131279604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28144 13073 16 0 211619 0
vsize: 846540
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 76409 52 0 0 25 0 11 0 428897019 866856960 28198 4294967295 134512640 134569956 3221224400 3221214752 1131220741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28198 13073 16 0 211619 0
vsize: 846540
[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 77387 52 0 0 25 0 11 0 428897019 866856960 28290 4294967295 134512640 134569956 3221224400 3221214592 1131309937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28290 13073 16 0 211619 0
vsize: 846540
[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 78365 53 0 0 24 0 11 0 428897019 866856960 28345 4294967295 134512640 134569956 3221224400 3221214616 1131726179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28345 13073 16 0 211619 0
vsize: 846540
[startup+820.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 79345 53 0 0 25 0 11 0 428897019 866856960 28404 4294967295 134512640 134569956 3221224400 3221214844 1131309856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28404 13073 16 0 211619 0
vsize: 846540
[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 80321 53 0 0 25 0 11 0 428897019 866856960 28477 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28477 13073 16 0 211619 0
vsize: 846540
[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 81300 53 0 0 25 0 11 0 428897019 866856960 28552 4294967295 134512640 134569956 3221224400 3221214752 1131221043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28552 13073 16 0 211619 0
vsize: 846540
[startup+850.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 82279 53 0 0 23 0 11 0 428897019 866856960 28613 4294967295 134512640 134569956 3221224400 3221214752 1131220952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28613 13073 16 0 211619 0
vsize: 846540
[startup+860.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 83256 53 0 0 25 0 11 0 428897019 866856960 28691 4294967295 134512640 134569956 3221224400 3221214844 1131221955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28691 13073 16 0 211619 0
vsize: 846540
[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 84235 53 0 0 25 0 11 0 428897019 866856960 28739 4294967295 134512640 134569956 3221224400 3221214752 1131221634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28739 13073 16 0 211619 0
vsize: 846540
[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 85214 54 0 0 25 0 11 0 428897019 866856960 28793 4294967295 134512640 134569956 3221224400 3221214752 1131220828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28793 13073 16 0 211619 0
vsize: 846540
[startup+890.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 86192 54 0 0 25 0 11 0 428897019 866856960 28838 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 28838 13073 16 0 211619 0
vsize: 846540
[startup+900.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 87169 54 0 0 25 0 11 0 428897019 866856960 28890 4294967295 134512640 134569956 3221224400 3221214848 1131280123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28890 13073 16 0 211619 0
vsize: 846540
[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 88142 54 0 0 25 0 11 0 428897019 866856960 28960 4294967295 134512640 134569956 3221224400 3221214800 1131181957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 28960 13073 16 0 211619 0
vsize: 846540
[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 89118 54 0 0 25 0 11 0 428897019 866856960 29013 4294967295 134512640 134569956 3221224400 3221214592 1131309917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29013 13073 16 0 211619 0
vsize: 846540
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 90094 54 0 0 25 0 11 0 428897019 866856960 29078 4294967295 134512640 134569956 3221224400 3221214752 1131221053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29078 13073 16 0 211619 0
vsize: 846540
[startup+940.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) S 25790 12452 12451 0 -1 0 17992 3 82 0 91070 54 0 0 25 0 11 0 428897019 866856960 29147 4294967295 134512640 134569956 3221224400 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29147 13073 16 0 211619 0
vsize: 846540
[startup+950.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 92046 54 0 0 25 0 11 0 428897019 866856960 29194 4294967295 134512640 134569956 3221224400 3221214800 1131181952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29194 13073 16 0 211619 0
vsize: 846540
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25811
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 93023 54 0 0 25 0 11 0 428897019 866856960 29245 4294967295 134512640 134569956 3221224400 3221214752 1131221743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29245 13073 16 0 211619 0
vsize: 846540
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 93999 54 0 0 25 0 11 0 428897019 866856960 29289 4294967295 134512640 134569956 3221224400 3221214752 1131221807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29289 13073 16 0 211619 0
vsize: 846540
[startup+980.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 94977 54 0 0 25 0 11 0 428897019 866856960 29378 4294967295 134512640 134569956 3221224400 3221214752 1131220565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29378 13073 16 0 211619 0
vsize: 846540
[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 95954 54 0 0 24 0 11 0 428897019 866856960 29432 4294967295 134512640 134569956 3221224400 3221214752 1131221358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29432 13073 16 0 211619 0
vsize: 846540
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 96933 54 0 0 25 0 11 0 428897019 866856960 29472 4294967295 134512640 134569956 3221224400 3221214752 1131220629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29472 13073 16 0 211619 0
vsize: 846540
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 97911 54 0 0 25 0 11 0 428897019 866856960 29535 4294967295 134512640 134569956 3221224400 3221214752 1131220913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29535 13073 16 0 211619 0
vsize: 846540
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 98889 54 0 0 25 0 11 0 428897019 866856960 29580 4294967295 134512640 134569956 3221224400 3221214752 1131221089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 29580 13073 16 0 211619 0
vsize: 846540
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 99865 54 0 0 25 0 11 0 428897019 866856960 29640 4294967295 134512640 134569956 3221224400 3221214752 1131221146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 29640 13073 16 0 211619 0
vsize: 846540
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 100844 55 0 0 25 0 11 0 428897019 866856960 29697 4294967295 134512640 134569956 3221224400 3221214800 1131181973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 29697 13073 16 0 211619 0
vsize: 846540
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 101819 55 0 0 25 0 11 0 428897019 866856960 29756 4294967295 134512640 134569956 3221224400 3221214752 1131221152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 29756 13073 16 0 211619 0
vsize: 846540
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 102795 55 0 0 25 0 11 0 428897019 866856960 29813 4294967295 134512640 134569956 3221224400 3221214752 1131220544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 29813 13073 16 0 211619 0
vsize: 846540
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 103773 55 0 0 25 0 11 0 428897019 866856960 29904 4294967295 134512640 134569956 3221224400 3221214752 1131220785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 29904 13073 16 0 211619 0
vsize: 846540
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 104747 55 0 0 24 0 11 0 428897019 866856960 29953 4294967295 134512640 134569956 3221224400 3221214536 1131677412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 29953 13073 16 0 211619 0
vsize: 846540
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 105724 55 0 0 24 0 11 0 428897019 866856960 30014 4294967295 134512640 134569956 3221224400 3221214752 1131221085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30014 13073 16 0 211619 0
vsize: 846540
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 106700 56 0 0 25 0 11 0 428897019 866856960 30073 4294967295 134512640 134569956 3221224400 3221214752 1131221045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30073 13073 16 0 211619 0
vsize: 846540
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 107676 56 0 0 25 0 11 0 428897019 866856960 30130 4294967295 134512640 134569956 3221224400 3221214824 1131309913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30130 13073 16 0 211619 0
vsize: 846540
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 108653 56 0 0 25 0 11 0 428897019 866856960 30204 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30204 13073 16 0 211619 0
vsize: 846540
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 109631 56 0 0 25 0 11 0 428897019 866856960 30252 4294967295 134512640 134569956 3221224400 3221214512 1131239859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30252 13073 16 0 211619 0
vsize: 846540
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 110606 56 0 0 25 0 11 0 428897019 866856960 30314 4294967295 134512640 134569956 3221224400 3221214800 1131181969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30314 13073 16 0 211619 0
vsize: 846540
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 111582 57 0 0 25 0 11 0 428897019 866856960 30348 4294967295 134512640 134569956 3221224400 3221214752 1131220913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30348 13073 16 0 211619 0
vsize: 846540
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 112559 57 0 0 25 0 11 0 428897019 866856960 30427 4294967295 134512640 134569956 3221224400 3221214752 1131220810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 30427 13073 16 0 211619 0
vsize: 846540
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 113537 57 0 0 25 0 11 0 428897019 866856960 30482 4294967295 134512640 134569956 3221224400 3221214800 1131182026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 30482 13073 16 0 211619 0
vsize: 846540
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 114515 57 0 0 24 0 11 0 428897019 866856960 30520 4294967295 134512640 134569956 3221224400 3221214844 1131181932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 30520 13073 16 0 211619 0
vsize: 846540
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 115495 57 0 0 25 0 11 0 428897019 866856960 30555 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211635 30555 13073 16 0 211619 0
vsize: 846540
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 116472 57 0 0 25 0 11 0 428897019 866856960 30607 4294967295 134512640 134569956 3221224400 3221214512 1131239652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30607 13073 16 0 211619 0
vsize: 846540
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 117451 57 0 0 25 0 11 0 428897019 866856960 30651 4294967295 134512640 134569956 3221224400 3221214800 1131181969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30651 13073 16 0 211619 0
vsize: 846540
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 118429 57 0 0 25 0 11 0 428897019 866856960 30684 4294967295 134512640 134569956 3221224400 3221214752 1131220897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30684 13073 16 0 211619 0
vsize: 846540
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 119405 57 0 0 25 0 11 0 428897019 866856960 30740 4294967295 134512640 134569956 3221224400 3221214752 1131220797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30740 13073 16 0 211619 0
vsize: 846540
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 25813
Raw data (stat): 25791 (java) R 25790 12452 12451 0 -1 0 17992 3 82 0 120379 58 0 0 25 0 11 0 428897019 866856960 30783 4294967295 134512640 134569956 3221224400 3221214752 1131220913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211635 30783 13073 16 0 211619 0
vsize: 846540
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25815
Raw data (stat): 25791 (java) Z 25790 12452 12451 0 -1 1036 17992 20494 82 1 120383 64 4560 66 25 0 1 0 428897019 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): 1240.2
CPU time (s): 1250.75
CPU user time (s): 1249.44
CPU system time (s): 1.3118
CPU usage (%): 100.851
Max. virtual memory (Kb): 846540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####