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/miplib3/normalized-mps-v2-20-10-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01384
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 13801

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-20 21:46:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13919 boxname=wulflinc15 idbench=1071 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 13919
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        767676 kB
Buffers:         33364 kB
Cached:         209104 kB
SwapCached:       2060 kB
Active:          94960 kB
Inactive:       152388 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        767424 kB
SwapTotal:     2097136 kB
SwapFree:      2094988 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6812 kB
Slab:            13980 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 22:07:34 (client local time) WITH STATUS 143 IN 1235.09 SECONDS
stats: 13919 7 1235.09 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-stein45.opb
c reading problem 
c [nbvar=45]
c [nbconstr=376]
c time 1.136
c #vars     45
c #clauses  331
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=33
c Current CPU time (ms) : 1.276
c starts	: 1
c conflicts	: 0
c decisions	: 12
c propagations	: 45
c inspects	: 266
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=32
c Current CPU time (ms) : 1.918
c starts	: 2
c conflicts	: 7
c decisions	: 31
c propagations	: 119
c inspects	: 750
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7
c root simplifications	: 2
c 
c CURRENT OPTIMUM=31
c Current CPU time (ms) : 4.655
c starts	: 3
c conflicts	: 51
c decisions	: 86
c propagations	: 401
c inspects	: 3611
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 51
c root simplifications	: 3
c 
c CURRENT OPTIMUM=30
c Current CPU time (ms) : 5.097
c starts	: 4
c conflicts	: 56
c decisions	: 104
c propagations	: 470
c inspects	: 4658
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 56
c root simplifications	: 4
#### 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.79 0.92 0.89 2/54 24865
Raw data (stat): 24865 (runsolver) D 24864 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481566071 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.05 0.97 0.91 4/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 17718 3 1 0 566 37 0 0 25 0 11 0 481566071 877142016 23361 4294967295 134512640 134569956 3221224400 3221214856 1131206853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214146 23361 13073 16 0 214130 0
vsize: 856584
[startup+20.0011 s]
Raw data (loadavg): 1.27 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 1371 39 0 0 25 0 11 0 481566071 873537536 23884 4294967295 134512640 134569956 3221224400 3221214536 1131235373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213266 23884 13073 16 0 213250 0
vsize: 853064
[startup+30.0024 s]
Raw data (loadavg): 1.23 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 2337 39 0 0 25 0 11 0 481566071 871440384 23807 4294967295 134512640 134569956 3221224400 3221214800 1131184846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212754 23807 13073 16 0 212738 0
vsize: 851016
[startup+40.0027 s]
Raw data (loadavg): 1.19 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 3292 39 0 0 25 0 11 0 481566071 871440384 24120 4294967295 134512640 134569956 3221224400 3221214284 1131514768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 24120 13073 16 0 212738 0
vsize: 851016
[startup+50.0036 s]
Raw data (loadavg): 1.16 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 4240 39 0 0 25 0 11 0 481566071 871440384 24402 4294967295 134512640 134569956 3221224400 3221214800 1131184908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 24402 13073 16 0 212738 0
vsize: 851016
[startup+60.0037 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 5193 39 0 0 25 0 11 0 481566071 871440384 24621 4294967295 134512640 134569956 3221224400 3221214336 1085679346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 24621 13073 16 0 212738 0
vsize: 851016
[startup+70.0042 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 6137 39 0 0 25 0 11 0 481566071 871440384 24766 4294967295 134512640 134569956 3221224400 3221214528 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 24766 13073 16 0 212738 0
vsize: 851016
[startup+80.0051 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 7095 39 0 0 25 0 11 0 481566071 871440384 24928 4294967295 134512640 134569956 3221224400 3221214896 1131197144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 24928 13073 16 0 212738 0
vsize: 851016
[startup+90.0062 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 8055 39 0 0 25 0 11 0 481566071 871440384 25070 4294967295 134512640 134569956 3221224400 3221214336 1085679443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25070 13073 16 0 212738 0
vsize: 851016
[startup+100.007 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 9024 39 0 0 25 0 11 0 481566071 871440384 25172 4294967295 134512640 134569956 3221224400 3221214800 1131185284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25172 13073 16 0 212738 0
vsize: 851016
[startup+110.006 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 9980 39 0 0 25 0 11 0 481566071 871440384 25317 4294967295 134512640 134569956 3221224400 3221214336 1131624130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25317 13073 16 0 212738 0
vsize: 851016
[startup+120.008 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 10945 39 0 0 25 0 11 0 481566071 871440384 25431 4294967295 134512640 134569956 3221224400 3221214288 1131514744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25431 13073 16 0 212738 0
vsize: 851016
[startup+130.007 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) S 24864 29151 29150 0 -1 0 18113 3 1 0 11913 39 0 0 25 0 11 0 481566071 871440384 25515 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25515 13073 16 0 212738 0
vsize: 851016
[startup+140.008 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 12885 39 0 0 25 0 11 0 481566071 871440384 25608 4294967295 134512640 134569956 3221224400 3221214012 1131514768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25608 13073 16 0 212738 0
vsize: 851016
[startup+150.009 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 13855 39 0 0 25 0 11 0 481566071 871440384 25729 4294967295 134512640 134569956 3221224400 3221214608 1131623016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25729 13073 16 0 212738 0
vsize: 851016
[startup+160.009 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 14825 39 0 0 25 0 11 0 481566071 871440384 25815 4294967295 134512640 134569956 3221224400 3221214776 1131186033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25815 13073 16 0 212738 0
vsize: 851016
[startup+170.009 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 15796 39 0 0 25 0 11 0 481566071 871440384 25892 4294967295 134512640 134569956 3221224400 3221214776 1131184862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25892 13073 16 0 212738 0
vsize: 851016
[startup+180.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 16773 39 0 0 25 0 11 0 481566071 871440384 25948 4294967295 134512640 134569956 3221224400 3221214776 1131184837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 25948 13073 16 0 212738 0
vsize: 851016
[startup+190.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 17744 39 0 0 25 0 11 0 481566071 871440384 26023 4294967295 134512640 134569956 3221224400 3221214320 1131514744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26023 13073 16 0 212738 0
vsize: 851016
[startup+200.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 18715 39 0 0 25 0 11 0 481566071 871440384 26092 4294967295 134512640 134569956 3221224400 3221214592 1131514744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26092 13073 16 0 212738 0
vsize: 851016
[startup+210.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 19692 39 0 0 25 0 11 0 481566071 871440384 26152 4294967295 134512640 134569956 3221224400 3221214368 1131634196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26152 13073 16 0 212738 0
vsize: 851016
[startup+220.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 20664 39 0 0 25 0 11 0 481566071 871440384 26220 4294967295 134512640 134569956 3221224400 3221214824 1131176576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26220 13073 16 0 212738 0
vsize: 851016
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 21642 39 0 0 25 0 11 0 481566071 871440384 26284 4294967295 134512640 134569956 3221224400 3221214288 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26284 13073 16 0 212738 0
vsize: 851016
[startup+240.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 22616 39 0 0 25 0 11 0 481566071 871440384 26349 4294967295 134512640 134569956 3221224400 3221214500 1131625124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26349 13073 16 0 212738 0
vsize: 851016
[startup+250.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 23595 39 0 0 25 0 11 0 481566071 871440384 26406 4294967295 134512640 134569956 3221224400 3221214776 1131185191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26406 13073 16 0 212738 0
vsize: 851016
[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 24573 39 0 0 25 0 11 0 481566071 871440384 26455 4294967295 134512640 134569956 3221224400 3221214776 1131185197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26455 13073 16 0 212738 0
vsize: 851016
[startup+270.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 25546 39 0 0 25 0 11 0 481566071 871440384 26511 4294967295 134512640 134569956 3221224400 3221214640 1131622812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26511 13073 16 0 212738 0
vsize: 851016
[startup+280.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 26525 39 0 0 25 0 11 0 481566071 871440384 26571 4294967295 134512640 134569956 3221224400 3221214320 1131514744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26571 13073 16 0 212738 0
vsize: 851016
[startup+290.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 27498 39 0 0 25 0 11 0 481566071 871440384 26630 4294967295 134512640 134569956 3221224400 3221214452 1131514763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26630 13073 16 0 212738 0
vsize: 851016
[startup+300.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 28477 39 0 0 25 0 11 0 481566071 871440384 26675 4294967295 134512640 134569956 3221224400 3221214868 1131193312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26675 13073 16 0 212738 0
vsize: 851016
[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 29450 39 0 0 25 0 11 0 481566071 871440384 26736 4294967295 134512640 134569956 3221224400 3221214528 1131235373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26736 13073 16 0 212738 0
vsize: 851016
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 30429 39 0 0 25 0 11 0 481566071 871440384 26783 4294967295 134512640 134569956 3221224400 3221214096 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26783 13073 16 0 212738 0
vsize: 851016
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 31403 39 0 0 25 0 11 0 481566071 871440384 26840 4294967295 134512640 134569956 3221224400 3221214824 1131176621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26840 13073 16 0 212738 0
vsize: 851016
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 32382 39 0 0 25 0 11 0 481566071 871440384 26890 4294967295 134512640 134569956 3221224400 3221213960 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26890 13073 16 0 212738 0
vsize: 851016
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 33361 40 0 0 25 0 11 0 481566071 871440384 26934 4294967295 134512640 134569956 3221224400 3221214232 1085679494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26934 13073 16 0 212738 0
vsize: 851016
[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 34339 40 0 0 25 0 11 0 481566071 871440384 26982 4294967295 134512640 134569956 3221224400 3221214824 1131176613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 26982 13073 16 0 212738 0
vsize: 851016
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 35317 40 0 0 24 0 11 0 481566071 871440384 27028 4294967295 134512640 134569956 3221224400 3221214168 1131516320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27028 13073 16 0 212738 0
vsize: 851016
[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 36301 40 0 0 25 0 11 0 481566071 871440384 27061 4294967295 134512640 134569956 3221224400 3221214028 1131513088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27061 13073 16 0 212738 0
vsize: 851016
[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 37279 40 0 0 25 0 11 0 481566071 871440384 27098 4294967295 134512640 134569956 3221224400 3221214776 1131185250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27098 13073 16 0 212738 0
vsize: 851016
[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 38256 40 0 0 25 0 11 0 481566071 871440384 27137 4294967295 134512640 134569956 3221224400 3221214096 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27137 13073 16 0 212738 0
vsize: 851016
[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 39233 40 0 0 25 0 11 0 481566071 871440384 27190 4294967295 134512640 134569956 3221224400 3221214640 1131632348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27190 13073 16 0 212738 0
vsize: 851016
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 40212 40 0 0 25 0 11 0 481566071 871440384 27229 4294967295 134512640 134569956 3221224400 3221214184 1131514780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27229 13073 16 0 212738 0
vsize: 851016
[startup+430.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 41185 40 0 0 25 0 11 0 481566071 871440384 27287 4294967295 134512640 134569956 3221224400 3221214776 1131185226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27287 13073 16 0 212738 0
vsize: 851016
[startup+440.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 42164 40 0 0 25 0 11 0 481566071 871440384 27343 4294967295 134512640 134569956 3221224400 3221213896 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27343 13073 16 0 212738 0
vsize: 851016
[startup+450.055 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 43142 40 0 0 25 0 11 0 481566071 871440384 27386 4294967295 134512640 134569956 3221224400 3221214528 1131236141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27386 13073 16 0 212738 0
vsize: 851016
[startup+460.055 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 44120 40 0 0 25 0 11 0 481566071 871440384 27434 4294967295 134512640 134569956 3221224400 3221214592 1131514744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27434 13073 16 0 212738 0
vsize: 851016
[startup+470.167 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 45110 40 0 0 25 0 11 0 481566071 871440384 27479 4294967295 134512640 134569956 3221224400 3221214180 1131514763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27479 13073 16 0 212738 0
vsize: 851016
[startup+480.206 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 46098 40 0 0 25 0 11 0 481566071 871440384 27507 4294967295 134512640 134569956 3221224400 3221213960 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27507 13073 16 0 212738 0
vsize: 851016
[startup+490.207 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 47071 41 0 0 25 0 11 0 481566071 871440384 27558 4294967295 134512640 134569956 3221224400 3221214504 1085679452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27558 13073 16 0 212738 0
vsize: 851016
[startup+500.208 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 48049 41 0 0 25 0 11 0 481566071 871440384 27601 4294967295 134512640 134569956 3221224400 3221214776 1131184837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27601 13073 16 0 212738 0
vsize: 851016
[startup+510.208 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 49029 41 0 0 25 0 11 0 481566071 871440384 27645 4294967295 134512640 134569956 3221224400 3221214776 1131185473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27645 13073 16 0 212738 0
vsize: 851016
[startup+520.209 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 50008 41 0 0 25 0 11 0 481566071 871440384 27683 4294967295 134512640 134569956 3221224400 3221214640 1131624903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27683 13073 16 0 212738 0
vsize: 851016
[startup+530.21 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 50988 41 0 0 25 0 11 0 481566071 871440384 27733 4294967295 134512640 134569956 3221224400 3221214224 1131637256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27733 13073 16 0 212738 0
vsize: 851016
[startup+540.212 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 51972 41 0 0 25 0 11 0 481566071 871440384 27761 4294967295 134512640 134569956 3221224400 3221214776 1131184995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27761 13073 16 0 212738 0
vsize: 851016
[startup+550.212 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 52952 41 0 0 25 0 11 0 481566071 871440384 27817 4294967295 134512640 134569956 3221224400 3221214776 1131185728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27817 13073 16 0 212738 0
vsize: 851016
[startup+560.212 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 53938 41 0 0 25 0 11 0 481566071 871440384 27849 4294967295 134512640 134569956 3221224400 3221214776 1131185253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212754 27849 13073 16 0 212738 0
vsize: 851016
[startup+570.214 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 54918 41 0 0 25 0 11 0 481566071 871440384 27882 4294967295 134512640 134569956 3221224400 3221214048 1131514778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27882 13073 16 0 212738 0
vsize: 851016
[startup+580.215 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 55898 41 0 0 25 0 11 0 481566071 871440384 27914 4294967295 134512640 134569956 3221224400 3221214776 1131185253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27914 13073 16 0 212738 0
vsize: 851016
[startup+590.214 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 56878 41 0 0 25 0 11 0 481566071 871440384 27945 4294967295 134512640 134569956 3221224400 3221214776 1131185253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27945 13073 16 0 212738 0
vsize: 851016
[startup+600.215 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 57858 41 0 0 25 0 11 0 481566071 871440384 27971 4294967295 134512640 134569956 3221224400 3221213912 1131514778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 27971 13073 16 0 212738 0
vsize: 851016
[startup+610.215 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 58842 41 0 0 25 0 11 0 481566071 871440384 28003 4294967295 134512640 134569956 3221224400 3221214364 1131513091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28003 13073 16 0 212738 0
vsize: 851016
[startup+620.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 59822 41 0 0 25 0 11 0 481566071 871440384 28036 4294967295 134512640 134569956 3221224400 3221213912 1131514769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28036 13073 16 0 212738 0
vsize: 851016
[startup+630.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 60802 41 0 0 25 0 11 0 481566071 871440384 28078 4294967295 134512640 134569956 3221224400 3221213824 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28078 13073 16 0 212738 0
vsize: 851016
[startup+640.217 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 61781 41 0 0 25 0 11 0 481566071 871440384 28115 4294967295 134512640 134569956 3221224400 3221213952 1131621847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28115 13073 16 0 212738 0
vsize: 851016
[startup+650.219 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18113 3 1 0 62761 41 0 0 18 0 11 0 481566071 871440384 28150 4294967295 134512640 134569956 3221224400 3221214632 1131513109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28150 13073 16 0 212738 0
vsize: 851016
[startup+660.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 63745 41 0 0 25 0 11 0 481566071 871440384 28182 4294967295 134512640 134569956 3221224400 3221214184 1131514716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28182 13073 16 0 212738 0
vsize: 851016
[startup+670.231 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 64721 41 0 0 25 0 11 0 481566071 871440384 28220 4294967295 134512640 134569956 3221224400 3221213960 1085679302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28220 13073 16 0 212738 0
vsize: 851016
[startup+680.246 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 65702 41 0 0 20 0 11 0 481566071 871440384 28258 4294967295 134512640 134569956 3221224400 3221214936 1131257891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28258 13073 16 0 212738 0
vsize: 851016
[startup+690.246 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 66680 41 0 0 24 0 11 0 481566071 871440384 28293 4294967295 134512640 134569956 3221224400 3221214872 1131197525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28293 13073 16 0 212738 0
vsize: 851016
[startup+700.246 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 67663 41 0 0 25 0 11 0 481566071 871440384 28319 4294967295 134512640 134569956 3221224400 3221214776 1131185253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28319 13073 16 0 212738 0
vsize: 851016
[startup+710.247 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 68641 41 0 0 25 0 11 0 481566071 871440384 28357 4294967295 134512640 134569956 3221224400 3221214044 1131514768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28357 13073 16 0 212738 0
vsize: 851016
[startup+720.248 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 69625 41 0 0 25 0 11 0 481566071 871440384 28386 4294967295 134512640 134569956 3221224400 3221214232 1131623958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28386 13073 16 0 212738 0
vsize: 851016
[startup+730.248 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 70604 41 0 0 25 0 11 0 481566071 871440384 28416 4294967295 134512640 134569956 3221224400 3221214504 1085679296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28416 13073 16 0 212738 0
vsize: 851016
[startup+740.257 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 71583 41 0 0 25 0 11 0 481566071 871440384 28448 4294967295 134512640 134569956 3221224400 3221214504 1131635456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212754 28448 13073 16 0 212738 0
vsize: 851016
[startup+750.281 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 72564 41 0 0 25 0 11 0 481566071 871440384 28482 4294967295 134512640 134569956 3221224400 3221214096 1131622821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28482 13073 16 0 212738 0
vsize: 851016
[startup+760.281 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 73542 41 0 0 25 0 11 0 481566071 871440384 28506 4294967295 134512640 134569956 3221224400 3221214096 1131621688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28506 13073 16 0 212738 0
vsize: 851016
[startup+770.282 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 74521 41 0 0 25 0 11 0 481566071 871440384 28575 4294967295 134512640 134569956 3221224400 3221214872 1131197013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28575 13073 16 0 212738 0
vsize: 851016
[startup+780.286 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 75501 41 0 0 25 0 11 0 481566071 871440384 28615 4294967295 134512640 134569956 3221224400 3221214776 1131185253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28615 13073 16 0 212738 0
vsize: 851016
[startup+790.292 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24879
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 76482 41 0 0 25 0 11 0 481566071 871440384 28643 4294967295 134512640 134569956 3221224400 3221214096 1131621831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28643 13073 16 0 212738 0
vsize: 851016
[startup+800.292 s]
Raw data (loadavg): 1.00 1.00 0.93 2/68 24883
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 77458 45 0 0 25 0 11 0 481566071 871440384 28672 4294967295 134512640 134569956 3221224400 3221214088 1131627676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28672 13073 16 0 212738 0
vsize: 851016
[startup+810.292 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 24932
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 78442 45 0 0 25 0 11 0 481566071 871440384 28687 4294967295 134512640 134569956 3221224400 3221214232 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212754 28687 13073 16 0 212738 0
vsize: 851016
[startup+820.312 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 24932
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 79422 45 0 0 25 0 11 0 481566071 871440384 28723 4294967295 134512640 134569956 3221224400 3221214776 1131185026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28723 13073 16 0 212738 0
vsize: 851016
[startup+830.312 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 24932
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 80402 45 0 0 24 0 11 0 481566071 871440384 28755 4294967295 134512640 134569956 3221224400 3221214824 1131176576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28755 13073 16 0 212738 0
vsize: 851016
[startup+840.312 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 24932
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 81386 45 0 0 25 0 11 0 481566071 871440384 28780 4294967295 134512640 134569956 3221224400 3221214316 1131514763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28780 13073 16 0 212738 0
vsize: 851016
[startup+850.326 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 24932
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 82366 45 0 0 25 0 11 0 481566071 871440384 28813 4294967295 134512640 134569956 3221224400 3221214456 1131514769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28813 13073 16 0 212738 0
vsize: 851016
[startup+860.326 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 24932
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 83351 45 0 0 25 0 11 0 481566071 871440384 28836 4294967295 134512640 134569956 3221224400 3221214776 1131184908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28836 13073 16 0 212738 0
vsize: 851016
[startup+870.327 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 24932
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 84330 45 0 0 25 0 11 0 481566071 871440384 28866 4294967295 134512640 134569956 3221224400 3221214776 1131185439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28866 13073 16 0 212738 0
vsize: 851016
[startup+880.327 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 85315 45 0 0 25 0 11 0 481566071 871440384 28893 4294967295 134512640 134569956 3221224400 3221214872 1131196946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28893 13073 16 0 212738 0
vsize: 851016
[startup+890.328 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 86295 45 0 0 25 0 11 0 481566071 871440384 28922 4294967295 134512640 134569956 3221224400 3221214776 1131185368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28922 13073 16 0 212738 0
vsize: 851016
[startup+900.329 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 87274 45 0 0 25 0 11 0 481566071 871440384 28953 4294967295 134512640 134569956 3221224400 3221214456 1131514617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28953 13073 16 0 212738 0
vsize: 851016
[startup+910.329 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 88253 45 0 0 25 0 11 0 481566071 871440384 28987 4294967295 134512640 134569956 3221224400 3221214092 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 28987 13073 16 0 212738 0
vsize: 851016
[startup+920.329 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 89239 45 0 0 25 0 11 0 481566071 871440384 29009 4294967295 134512640 134569956 3221224400 3221214320 1131514744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29009 13073 16 0 212738 0
vsize: 851016
[startup+930.329 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 90218 45 0 0 25 0 11 0 481566071 871440384 29043 4294967295 134512640 134569956 3221224400 3221214504 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29043 13073 16 0 212738 0
vsize: 851016
[startup+940.33 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 91198 45 0 0 24 0 11 0 481566071 871440384 29069 4294967295 134512640 134569956 3221224400 3221214776 1131185253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29069 13073 16 0 212738 0
vsize: 851016
[startup+950.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 92182 45 0 0 25 0 11 0 481566071 871440384 29094 4294967295 134512640 134569956 3221224400 3221214452 1131514768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29094 13073 16 0 212738 0
vsize: 851016
[startup+960.331 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 93161 45 0 0 25 0 11 0 481566071 871440384 29122 4294967295 134512640 134569956 3221224400 3221214632 1131513109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29122 13073 16 0 212738 0
vsize: 851016
[startup+970.332 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 94145 45 0 0 25 0 11 0 481566071 871440384 29151 4294967295 134512640 134569956 3221224400 3221214824 1131176621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212754 29151 13073 16 0 212738 0
vsize: 851016
[startup+980.333 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 95129 45 0 0 25 0 11 0 481566071 871440384 29168 4294967295 134512640 134569956 3221224400 3221214588 1131514763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29168 13073 16 0 212738 0
vsize: 851016
[startup+990.332 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 96107 45 0 0 22 0 11 0 481566071 871440384 29196 4294967295 134512640 134569956 3221224400 3221214640 1131638608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29196 13073 16 0 212738 0
vsize: 851016
[startup+1000.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 97090 45 0 0 25 0 11 0 481566071 871440384 29217 4294967295 134512640 134569956 3221224400 3221214824 1131176576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29217 13073 16 0 212738 0
vsize: 851016
[startup+1010.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 98073 45 0 0 25 0 11 0 481566071 871440384 29236 4294967295 134512640 134569956 3221224400 3221214872 1131197174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29236 13073 16 0 212738 0
vsize: 851016
[startup+1020.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 99051 45 0 0 25 0 11 0 481566071 871440384 29266 4294967295 134512640 134569956 3221224400 3221214504 1131629544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29266 13073 16 0 212738 0
vsize: 851016
[startup+1030.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 100034 45 0 0 25 0 11 0 481566071 871440384 29286 4294967295 134512640 134569956 3221224400 3221214636 1131514854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29286 13073 16 0 212738 0
vsize: 851016
[startup+1040.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 101017 45 0 0 25 0 11 0 481566071 871440384 29311 4294967295 134512640 134569956 3221224400 3221214776 1131185253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29311 13073 16 0 212738 0
vsize: 851016
[startup+1050.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 101994 45 0 0 25 0 11 0 481566071 871440384 29346 4294967295 134512640 134569956 3221224400 3221214184 1131514769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29346 13073 16 0 212738 0
vsize: 851016
[startup+1060.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 102977 45 0 0 25 0 11 0 481566071 871440384 29374 4294967295 134512640 134569956 3221224400 3221214452 1131514763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29374 13073 16 0 212738 0
vsize: 851016
[startup+1070.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 103954 45 0 0 24 0 11 0 481566071 871440384 29406 4294967295 134512640 134569956 3221224400 3221214868 1131184812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29406 13073 16 0 212738 0
vsize: 851016
[startup+1080.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 104937 45 0 0 25 0 11 0 481566071 871440384 29435 4294967295 134512640 134569956 3221224400 3221214020 1077094257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29435 13073 16 0 212738 0
vsize: 851016
[startup+1090.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 105915 46 0 0 25 0 11 0 481566071 871440384 29466 4294967295 134512640 134569956 3221224400 3221213896 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29466 13073 16 0 212738 0
vsize: 851016
[startup+1100.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 106898 46 0 0 25 0 11 0 481566071 871440384 29493 4294967295 134512640 134569956 3221224400 3221213776 1131514647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29493 13073 16 0 212738 0
vsize: 851016
[startup+1110.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 107876 46 0 0 25 0 11 0 481566071 871440384 29520 4294967295 134512640 134569956 3221224400 3221214928 1131506396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29520 13073 16 0 212738 0
vsize: 851016
[startup+1120.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 108859 46 0 0 25 0 11 0 481566071 871440384 29543 4294967295 134512640 134569956 3221224400 3221214048 1131514818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29543 13073 16 0 212738 0
vsize: 851016
[startup+1130.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 109842 46 0 0 25 0 11 0 481566071 871440384 29579 4294967295 134512640 134569956 3221224400 3221213912 1131514829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29579 13073 16 0 212738 0
vsize: 851016
[startup+1140.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 110821 46 0 0 24 0 11 0 481566071 871440384 29610 4294967295 134512640 134569956 3221224400 3221214824 1131176573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29610 13073 16 0 212738 0
vsize: 851016
[startup+1150.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24934
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 111810 46 0 0 25 0 11 0 481566071 871440384 29627 4294967295 134512640 134569956 3221224400 3221214776 1131186095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29627 13073 16 0 212738 0
vsize: 851016
[startup+1160.36 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 112794 46 0 0 25 0 11 0 481566071 871440384 29651 4294967295 134512640 134569956 3221224400 3221214452 1131514768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29651 13073 16 0 212738 0
vsize: 851016
[startup+1170.38 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 113774 46 0 0 25 0 11 0 481566071 871440384 29676 4294967295 134512640 134569956 3221224400 3221214232 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29676 13073 16 0 212738 0
vsize: 851016
[startup+1180.38 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 114757 46 0 0 25 0 11 0 481566071 871440384 29697 4294967295 134512640 134569956 3221224400 3221214824 1131176730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29697 13073 16 0 212738 0
vsize: 851016
[startup+1190.38 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 115740 46 0 0 25 0 11 0 481566071 871440384 29716 4294967295 134512640 134569956 3221224400 3221214640 1131622812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29716 13073 16 0 212738 0
vsize: 851016
[startup+1200.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 116729 46 0 0 25 0 11 0 481566071 871440384 29731 4294967295 134512640 134569956 3221224400 3221214872 1131197343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29731 13073 16 0 212738 0
vsize: 851016
[startup+1210.45 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 117709 46 0 0 25 0 11 0 481566071 871440384 29781 4294967295 134512640 134569956 3221224400 3221214032 1131516190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29781 13073 16 0 212738 0
vsize: 851016
[startup+1220.45 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 118688 46 0 0 25 0 11 0 481566071 871440384 29813 4294967295 134512640 134569956 3221224400 3221214824 1131435271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29813 13073 16 0 212738 0
vsize: 851016
[startup+1230.46 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 119671 46 0 0 25 0 11 0 481566071 871440384 29836 4294967295 134512640 134569956 3221224400 3221214232 1131643245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29836 13073 16 0 212738 0
vsize: 851016
[startup+1240.47 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24936
Raw data (stat): 24865 (java) R 24864 29151 29150 0 -1 0 18114 3 1 0 120656 46 0 0 25 0 11 0 481566071 871440384 29863 4294967295 134512640 134569956 3221224400 3221214096 1131623730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212754 29863 13073 16 0 212738 0
vsize: 851016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.59 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 24938
Raw data (stat): 24865 (java) Z 24864 29151 29150 0 -1 1036 18114 7244 1 0 120661 46 2770 30 25 0 1 0 481566071 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.59
CPU time (s): 1235.09
CPU user time (s): 1234.31
CPU system time (s): 0.774882
CPU usage (%): 99.5563
Max. virtual memory (Kb): 856584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####