PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd1.opb
MD5SUM	0d161f98f04bb13a3a82ce824c7be961
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	15200
Biggest coefficient in the objective function	262144000000000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	183748611699849900
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	262144000000000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	183748611699849900
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.133978
Number of variables	15200
Total number of constraints	77
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	77
Minimum length of a constraint	400
Maximum length of a constraint	1000
Trace number 19801

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-21 19:34:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16272 boxname=wulflinc19 idbench=1252 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0d161f98f04bb13a3a82ce824c7be961  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-scsd1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-scsd1.opb
IDLAUNCH: 16272
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        770376 kB
Buffers:         24304 kB
Cached:         215788 kB
SwapCached:        560 kB
Active:          48612 kB
Inactive:       193568 kB
HighTotal:      131008 kB
HighFree:         9156 kB
LowTotal:       903652 kB
LowFree:        761220 kB
SwapTotal:     2097892 kB
SwapFree:      2096388 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5168 kB
Slab:            16476 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:54:55 (client local time) WITH STATUS 143 IN 1243.2 SECONDS
stats: 16272 7 1243.2 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-scsd1.opb
c reading problem 
c [nbvar=15200]
c [nbconstr=77]
c time 71.565
c #vars     15200
c #clauses  155
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/55 7517
Raw data (stat): 7517 (runsolver) R 7516 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547631885 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/64 7526
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 17997 0 1 0 890 38 0 0 25 0 10 0 547631885 853360640 19124 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208340 19124 13073 16 0 208324 0
vsize: 833360
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/64 7526
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 17997 0 1 0 1779 39 0 0 24 0 10 0 547631885 853868544 19757 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 19757 13073 16 0 208448 0
vsize: 833856
[startup+30.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/64 7528
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 17997 0 1 0 2682 39 0 0 25 0 10 0 547631885 853868544 20190 4294967295 134512640 134569956 3221224400 3221214824 1131216330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 20190 13073 16 0 208448 0
vsize: 833856
[startup+40.0047 s]
Raw data (loadavg): 0.96 0.96 0.91 2/64 7528
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 17997 0 1 0 3611 39 0 0 25 0 10 0 547631885 853868544 20427 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 20427 13073 16 0 208448 0
vsize: 833856
[startup+50.0052 s]
Raw data (loadavg): 0.96 0.96 0.91 2/64 7528
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 17997 0 1 0 4540 39 0 0 24 0 10 0 547631885 853868544 20553 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 20553 13073 16 0 208448 0
vsize: 833856
[startup+60.0054 s]
Raw data (loadavg): 0.97 0.96 0.91 2/64 7528
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 17997 0 1 0 5473 39 0 0 25 0 10 0 547631885 853868544 20653 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 20653 13073 16 0 208448 0
vsize: 833856
[startup+70.0066 s]
Raw data (loadavg): 1.13 0.99 0.92 4/64 7528
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18026 0 1 0 6340 40 0 0 25 0 10 0 547631885 864768000 23310 4294967295 134512640 134569956 3221224400 3221214360 1131284800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211125 23310 13073 16 0 211109 0
vsize: 844500
[startup+80.063 s]
Raw data (loadavg): 1.27 1.03 0.93 3/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18094 0 1 0 7142 42 0 0 25 0 11 0 547631885 862822400 26306 4294967295 134512640 134569956 3221224400 3221214480 1131329719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26306 13073 16 0 210634 0
vsize: 842600
[startup+90.0649 s]
Raw data (loadavg): 1.30 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) S 7516 22929 22928 0 -1 0 18095 0 1 0 8109 42 0 0 25 0 11 0 547631885 862822400 26326 4294967295 134512640 134569956 3221224400 3221213120 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26326 13073 16 0 210634 0
vsize: 842600
[startup+100.065 s]
Raw data (loadavg): 1.26 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18095 0 1 0 9102 42 0 0 25 0 11 0 547631885 862822400 26331 4294967295 134512640 134569956 3221224400 3221214600 1131474655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26331 13073 16 0 210634 0
vsize: 842600
[startup+110.067 s]
Raw data (loadavg): 1.22 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18095 0 1 0 10091 42 0 0 25 0 11 0 547631885 862822400 26332 4294967295 134512640 134569956 3221224400 3221214688 1131644572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26332 13073 16 0 210634 0
vsize: 842600
[startup+120.066 s]
Raw data (loadavg): 1.18 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18095 0 1 0 11081 42 0 0 25 0 11 0 547631885 862822400 26333 4294967295 134512640 134569956 3221224400 3221214576 1131541547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26333 13073 16 0 210634 0
vsize: 842600
[startup+130.067 s]
Raw data (loadavg): 1.15 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18095 0 1 0 12069 42 0 0 25 0 11 0 547631885 862822400 26333 4294967295 134512640 134569956 3221224400 3221214680 1131646026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26333 13073 16 0 210634 0
vsize: 842600
[startup+140.068 s]
Raw data (loadavg): 1.13 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18095 0 1 0 13055 42 0 0 25 0 11 0 547631885 862822400 26333 4294967295 134512640 134569956 3221224400 3221214632 1131549729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26333 13073 16 0 210634 0
vsize: 842600
[startup+150.068 s]
Raw data (loadavg): 1.11 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18095 0 1 0 14033 42 0 0 25 0 11 0 547631885 862822400 26333 4294967295 134512640 134569956 3221224400 3221214680 1131514245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210650 26333 13073 16 0 210634 0
vsize: 842600
[startup+160.068 s]
Raw data (loadavg): 1.09 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18095 0 1 0 15012 42 0 0 25 0 11 0 547631885 862822400 26335 4294967295 134512640 134569956 3221224400 3221214584 1131330141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210650 26335 13073 16 0 210634 0
vsize: 842600
[startup+170.068 s]
Raw data (loadavg): 1.08 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 15989 42 0 0 25 0 11 0 547631885 862822400 26336 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26336 13073 16 0 210634 0
vsize: 842600
[startup+180.069 s]
Raw data (loadavg): 1.15 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 16968 42 0 0 25 0 11 0 547631885 862822400 26337 4294967295 134512640 134569956 3221224400 3221214680 1131646000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26337 13073 16 0 210634 0
vsize: 842600
[startup+190.069 s]
Raw data (loadavg): 1.12 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 17947 43 0 0 25 0 11 0 547631885 862822400 26406 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26406 13073 16 0 210634 0
vsize: 842600
[startup+200.069 s]
Raw data (loadavg): 1.10 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 18920 43 0 0 25 0 11 0 547631885 862822400 26510 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26510 13073 16 0 210634 0
vsize: 842600
[startup+210.069 s]
Raw data (loadavg): 1.09 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 19896 43 0 0 25 0 11 0 547631885 862822400 26617 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26617 13073 16 0 210634 0
vsize: 842600
[startup+220.07 s]
Raw data (loadavg): 1.07 1.04 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 20879 43 0 0 25 0 11 0 547631885 862822400 26715 4294967295 134512640 134569956 3221224400 3221214688 1131644448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26715 13073 16 0 210634 0
vsize: 842600
[startup+230.071 s]
Raw data (loadavg): 1.06 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 21857 43 0 0 25 0 11 0 547631885 862822400 26808 4294967295 134512640 134569956 3221224400 3221214584 1131329719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26808 13073 16 0 210634 0
vsize: 842600
[startup+240.071 s]
Raw data (loadavg): 1.05 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 22837 43 0 0 25 0 11 0 547631885 862822400 26926 4294967295 134512640 134569956 3221224400 3221214688 1131644572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 26926 13073 16 0 210634 0
vsize: 842600
[startup+250.071 s]
Raw data (loadavg): 1.04 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 23822 43 0 0 25 0 11 0 547631885 862822400 27004 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27004 13073 16 0 210634 0
vsize: 842600
[startup+260.072 s]
Raw data (loadavg): 1.04 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 24809 43 0 0 25 0 11 0 547631885 862822400 27054 4294967295 134512640 134569956 3221224400 3221214688 1131644465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27054 13073 16 0 210634 0
vsize: 842600
[startup+270.071 s]
Raw data (loadavg): 1.03 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 25797 43 0 0 25 0 11 0 547631885 862822400 27054 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27054 13073 16 0 210634 0
vsize: 842600
[startup+280.073 s]
Raw data (loadavg): 1.02 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 26783 43 0 0 25 0 11 0 547631885 862822400 27080 4294967295 134512640 134569956 3221224400 3221214584 1131330379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210650 27080 13073 16 0 210634 0
vsize: 842600
[startup+290.073 s]
Raw data (loadavg): 1.02 1.03 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 27764 43 0 0 25 0 11 0 547631885 862822400 27127 4294967295 134512640 134569956 3221224400 3221214584 1131329373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27127 13073 16 0 210634 0
vsize: 842600
[startup+300.073 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 28749 43 0 0 25 0 11 0 547631885 862822400 27168 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27168 13073 16 0 210634 0
vsize: 842600
[startup+310.073 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 29734 43 0 0 25 0 11 0 547631885 862822400 27207 4294967295 134512640 134569956 3221224400 3221214688 1131644568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27207 13073 16 0 210634 0
vsize: 842600
[startup+320.074 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 7529
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 30713 43 0 0 25 0 11 0 547631885 862822400 27258 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27258 13073 16 0 210634 0
vsize: 842600
[startup+330.074 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 31698 44 0 0 25 0 11 0 547631885 862822400 27326 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27326 13073 16 0 210634 0
vsize: 842600
[startup+340.079 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 7531
Raw data (stat): 7517 (java) S 7516 22929 22928 0 -1 0 18096 0 1 0 32682 44 0 0 25 0 11 0 547631885 862822400 27362 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27362 13073 16 0 210634 0
vsize: 842600
[startup+350.079 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 33664 44 0 0 25 0 11 0 547631885 862822400 27420 4294967295 134512640 134569956 3221224400 3221214576 1131329443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27420 13073 16 0 210634 0
vsize: 842600
[startup+360.079 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 34643 44 0 0 25 0 11 0 547631885 862822400 27456 4294967295 134512640 134569956 3221224400 3221214584 1131329719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27456 13073 16 0 210634 0
vsize: 842600
[startup+370.08 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 35621 44 0 0 25 0 11 0 547631885 862822400 27506 4294967295 134512640 134569956 3221224400 3221214576 1131541926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27506 13073 16 0 210634 0
vsize: 842600
[startup+380.08 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 36589 44 0 0 25 0 11 0 547631885 862822400 27629 4294967295 134512640 134569956 3221224400 3221214776 1131403536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27629 13073 16 0 210634 0
vsize: 842600
[startup+390.081 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 37565 44 0 0 25 0 11 0 547631885 862822400 27694 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27694 13073 16 0 210634 0
vsize: 842600
[startup+400.081 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 38546 44 0 0 25 0 11 0 547631885 862822400 27752 4294967295 134512640 134569956 3221224400 3221214576 1131541504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27752 13073 16 0 210634 0
vsize: 842600
[startup+410.082 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 39529 44 0 0 25 0 11 0 547631885 862822400 27827 4294967295 134512640 134569956 3221224400 3221214688 1131644572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27827 13073 16 0 210634 0
vsize: 842600
[startup+420.082 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 40513 44 0 0 25 0 11 0 547631885 862822400 27882 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27882 13073 16 0 210634 0
vsize: 842600
[startup+430.084 s]
Raw data (loadavg): 1.08 1.03 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 41502 44 0 0 25 0 11 0 547631885 862822400 27935 4294967295 134512640 134569956 3221224400 3221214680 1131646130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 27935 13073 16 0 210634 0
vsize: 842600
[startup+440.084 s]
Raw data (loadavg): 1.07 1.03 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 42486 44 0 0 25 0 11 0 547631885 862822400 28000 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210650 28000 13073 16 0 210634 0
vsize: 842600
[startup+450.084 s]
Raw data (loadavg): 1.06 1.03 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 43465 44 0 0 25 0 11 0 547631885 862822400 28078 4294967295 134512640 134569956 3221224400 3221214732 1080203670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28078 13073 16 0 210634 0
vsize: 842600
[startup+460.085 s]
Raw data (loadavg): 1.05 1.03 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 44448 45 0 0 25 0 11 0 547631885 862822400 28103 4294967295 134512640 134569956 3221224400 3221214680 1131646016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28103 13073 16 0 210634 0
vsize: 842600
[startup+470.086 s]
Raw data (loadavg): 1.04 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 45431 45 0 0 25 0 11 0 547631885 862822400 28135 4294967295 134512640 134569956 3221224400 3221214688 1131644579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28135 13073 16 0 210634 0
vsize: 842600
[startup+480.086 s]
Raw data (loadavg): 1.03 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 46410 45 0 0 25 0 11 0 547631885 862822400 28163 4294967295 134512640 134569956 3221224400 3221214776 1131404248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28163 13073 16 0 210634 0
vsize: 842600
[startup+490.087 s]
Raw data (loadavg): 1.03 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 47386 45 0 0 25 0 11 0 547631885 862822400 28229 4294967295 134512640 134569956 3221224400 3221214688 1131644572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28229 13073 16 0 210634 0
vsize: 842600
[startup+500.087 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 48367 45 0 0 25 0 11 0 547631885 862822400 28278 4294967295 134512640 134569956 3221224400 3221214584 1131329383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28278 13073 16 0 210634 0
vsize: 842600
[startup+510.087 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 49353 45 0 0 25 0 11 0 547631885 862822400 28309 4294967295 134512640 134569956 3221224400 3221214576 1131541613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28309 13073 16 0 210634 0
vsize: 842600
[startup+520.088 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 50334 45 0 0 25 0 11 0 547631885 862822400 28357 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28357 13073 16 0 210634 0
vsize: 842600
[startup+530.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 51317 45 0 0 25 0 11 0 547631885 862822400 28397 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28397 13073 16 0 210634 0
vsize: 842600
[startup+540.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 52299 45 0 0 25 0 11 0 547631885 862822400 28444 4294967295 134512640 134569956 3221224400 3221214576 1131329555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28444 13073 16 0 210634 0
vsize: 842600
[startup+550.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 53276 45 0 0 25 0 11 0 547631885 862822400 28537 4294967295 134512640 134569956 3221224400 3221214680 1131337773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28537 13073 16 0 210634 0
vsize: 842600
[startup+560.091 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 54254 46 0 0 25 0 11 0 547631885 862822400 28610 4294967295 134512640 134569956 3221224400 3221214688 1131644548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28610 13073 16 0 210634 0
vsize: 842600
[startup+570.09 s]
Raw data (loadavg): 1.00 1.02 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 55237 46 0 0 25 0 11 0 547631885 862822400 28673 4294967295 134512640 134569956 3221224400 3221214712 1131330365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28673 13073 16 0 210634 0
vsize: 842600
[startup+580.093 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 56220 46 0 0 24 0 11 0 547631885 862822400 28722 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28722 13073 16 0 210634 0
vsize: 842600
[startup+590.094 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 57207 46 0 0 25 0 11 0 547631885 862822400 28738 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28738 13073 16 0 210634 0
vsize: 842600
[startup+600.094 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 58190 46 0 0 25 0 11 0 547631885 862822400 28767 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28767 13073 16 0 210634 0
vsize: 842600
[startup+610.094 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 59172 46 0 0 25 0 11 0 547631885 862822400 28818 4294967295 134512640 134569956 3221224400 3221214720 1131632392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28818 13073 16 0 210634 0
vsize: 842600
[startup+620.101 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7531
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 60149 46 0 0 25 0 11 0 547631885 862822400 28884 4294967295 134512640 134569956 3221224400 3221214660 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28884 13073 16 0 210634 0
vsize: 842600
[startup+630.212 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 61137 46 0 0 25 0 11 0 547631885 862822400 28945 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 28945 13073 16 0 210634 0
vsize: 842600
[startup+640.214 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 62114 47 0 0 25 0 11 0 547631885 862822400 29022 4294967295 134512640 134569956 3221224400 3221214776 1131404103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29022 13073 16 0 210634 0
vsize: 842600
[startup+650.214 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 63100 47 0 0 25 0 11 0 547631885 862822400 29063 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210650 29063 13073 16 0 210634 0
vsize: 842600
[startup+660.215 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 64081 47 0 0 25 0 11 0 547631885 862822400 29099 4294967295 134512640 134569956 3221224400 3221214576 1131541552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29099 13073 16 0 210634 0
vsize: 842600
[startup+670.215 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 65061 47 0 0 25 0 11 0 547631885 862822400 29153 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29153 13073 16 0 210634 0
vsize: 842600
[startup+680.217 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 66042 47 0 0 25 0 11 0 547631885 862822400 29212 4294967295 134512640 134569956 3221224400 3221214688 1131644579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29212 13073 16 0 210634 0
vsize: 842600
[startup+690.217 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 67017 47 0 0 25 0 11 0 547631885 862822400 29272 4294967295 134512640 134569956 3221224400 3221214680 1131337216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29272 13073 16 0 210634 0
vsize: 842600
[startup+700.221 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 67975 47 0 0 25 0 11 0 547631885 862822400 29395 4294967295 134512640 134569956 3221224400 3221214680 1131337257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29395 13073 16 0 210634 0
vsize: 842600
[startup+710.235 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 68946 47 0 0 25 0 11 0 547631885 862822400 29515 4294967295 134512640 134569956 3221224400 3221214776 1131402508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29515 13073 16 0 210634 0
vsize: 842600
[startup+720.242 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 69922 47 0 0 25 0 11 0 547631885 862822400 29601 4294967295 134512640 134569956 3221224400 3221214576 1131329719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29601 13073 16 0 210634 0
vsize: 842600
[startup+730.252 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) S 7516 22929 22928 0 -1 0 18096 0 1 0 70909 47 0 0 25 0 11 0 547631885 862822400 29655 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29655 13073 16 0 210634 0
vsize: 842600
[startup+740.253 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 71896 47 0 0 25 0 11 0 547631885 862822400 29700 4294967295 134512640 134569956 3221224400 3221214688 1131644448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29700 13073 16 0 210634 0
vsize: 842600
[startup+750.253 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 72880 47 0 0 25 0 11 0 547631885 862822400 29759 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29759 13073 16 0 210634 0
vsize: 842600
[startup+760.254 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 73867 47 0 0 25 0 11 0 547631885 862822400 29831 4294967295 134512640 134569956 3221224400 3221214576 1131329949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29831 13073 16 0 210634 0
vsize: 842600
[startup+770.254 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 74859 47 0 0 25 0 11 0 547631885 862822400 29838 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29838 13073 16 0 210634 0
vsize: 842600
[startup+780.256 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 75843 47 0 0 25 0 11 0 547631885 862822400 29851 4294967295 134512640 134569956 3221224400 3221214688 1131644568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29851 13073 16 0 210634 0
vsize: 842600
[startup+790.256 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 76829 47 0 0 25 0 11 0 547631885 862822400 29902 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29902 13073 16 0 210634 0
vsize: 842600
[startup+800.256 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 77818 47 0 0 25 0 11 0 547631885 862822400 29945 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29945 13073 16 0 210634 0
vsize: 842600
[startup+810.261 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 78807 47 0 0 25 0 11 0 547631885 862822400 29960 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29960 13073 16 0 210634 0
vsize: 842600
[startup+820.262 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 79793 47 0 0 25 0 11 0 547631885 862822400 29983 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 29983 13073 16 0 210634 0
vsize: 842600
[startup+830.262 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 80783 47 0 0 25 0 11 0 547631885 862822400 30022 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30022 13073 16 0 210634 0
vsize: 842600
[startup+840.263 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 81770 47 0 0 25 0 11 0 547631885 862822400 30059 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30059 13073 16 0 210634 0
vsize: 842600
[startup+850.263 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 82758 47 0 0 25 0 11 0 547631885 862822400 30086 4294967295 134512640 134569956 3221224400 3221214776 1131403444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30086 13073 16 0 210634 0
vsize: 842600
[startup+860.264 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 83747 47 0 0 25 0 11 0 547631885 862822400 30132 4294967295 134512640 134569956 3221224400 3221214576 1131329956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30132 13073 16 0 210634 0
vsize: 842600
[startup+870.264 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 84738 47 0 0 25 0 11 0 547631885 862822400 30152 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30152 13073 16 0 210634 0
vsize: 842600
[startup+880.265 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 85725 47 0 0 25 0 11 0 547631885 862822400 30170 4294967295 134512640 134569956 3221224400 3221214576 1131542254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30170 13073 16 0 210634 0
vsize: 842600
[startup+890.265 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 86710 47 0 0 25 0 11 0 547631885 862822400 30228 4294967295 134512640 134569956 3221224400 3221214856 1131421671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30228 13073 16 0 210634 0
vsize: 842600
[startup+900.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 87693 48 0 0 25 0 11 0 547631885 862822400 30246 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30246 13073 16 0 210634 0
vsize: 842600
[startup+910.271 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 88672 48 0 0 25 0 11 0 547631885 862822400 30282 4294967295 134512640 134569956 3221224400 3221214776 1131401525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30282 13073 16 0 210634 0
vsize: 842600
[startup+920.271 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7533
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 89652 48 0 0 25 0 11 0 547631885 862822400 30322 4294967295 134512640 134569956 3221224400 3221214688 1131644579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30322 13073 16 0 210634 0
vsize: 842600
[startup+930.272 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 90630 48 0 0 25 0 11 0 547631885 862822400 30381 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30381 13073 16 0 210634 0
vsize: 842600
[startup+940.273 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 91616 48 0 0 25 0 11 0 547631885 862822400 30413 4294967295 134512640 134569956 3221224400 3221214680 1131646034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30413 13073 16 0 210634 0
vsize: 842600
[startup+950.273 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 92599 48 0 0 25 0 11 0 547631885 862822400 30473 4294967295 134512640 134569956 3221224400 3221214680 1131337257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30473 13073 16 0 210634 0
vsize: 842600
[startup+960.273 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 93582 48 0 0 25 0 11 0 547631885 862822400 30502 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30502 13073 16 0 210634 0
vsize: 842600
[startup+970.282 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 94566 48 0 0 24 0 11 0 547631885 862822400 30552 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30552 13073 16 0 210634 0
vsize: 842600
[startup+980.282 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 95549 48 0 0 25 0 11 0 547631885 862822400 30597 4294967295 134512640 134569956 3221224400 3221214576 1131329719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30597 13073 16 0 210634 0
vsize: 842600
[startup+990.291 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 96529 48 0 0 25 0 11 0 547631885 862822400 30659 4294967295 134512640 134569956 3221224400 3221214688 1131644572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30659 13073 16 0 210634 0
vsize: 842600
[startup+1000.31 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 97507 48 0 0 25 0 11 0 547631885 862822400 30720 4294967295 134512640 134569956 3221224400 3221214776 1131401456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30720 13073 16 0 210634 0
vsize: 842600
[startup+1010.31 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 98489 48 0 0 25 0 11 0 547631885 862822400 30755 4294967295 134512640 134569956 3221224400 3221214576 1131543923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30755 13073 16 0 210634 0
vsize: 842600
[startup+1020.31 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 99470 48 0 0 25 0 11 0 547631885 862822400 30796 4294967295 134512640 134569956 3221224400 3221214576 1131542268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30796 13073 16 0 210634 0
vsize: 842600
[startup+1030.32 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 100454 48 0 0 25 0 11 0 547631885 862822400 30842 4294967295 134512640 134569956 3221224400 3221214680 1131338042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30842 13073 16 0 210634 0
vsize: 842600
[startup+1040.32 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 101440 48 0 0 25 0 11 0 547631885 862822400 30875 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30875 13073 16 0 210634 0
vsize: 842600
[startup+1050.33 s]
Raw data (loadavg): 1.00 1.00 0.95 3/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 102424 49 0 0 25 0 11 0 547631885 862822400 30934 4294967295 134512640 134569956 3221224400 3221214680 1131337637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30934 13073 16 0 210634 0
vsize: 842600
[startup+1060.33 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 103408 49 0 0 25 0 11 0 547631885 862822400 30977 4294967295 134512640 134569956 3221224400 3221214584 1131329603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 30977 13073 16 0 210634 0
vsize: 842600
[startup+1070.33 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 104392 49 0 0 25 0 11 0 547631885 862822400 31041 4294967295 134512640 134569956 3221224400 3221214720 1131632373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31041 13073 16 0 210634 0
vsize: 842600
[startup+1080.33 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 105369 49 0 0 25 0 11 0 547631885 862822400 31099 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31099 13073 16 0 210634 0
vsize: 842600
[startup+1090.33 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 106349 49 0 0 25 0 11 0 547631885 862822400 31135 4294967295 134512640 134569956 3221224400 3221214680 1131336684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31135 13073 16 0 210634 0
vsize: 842600
[startup+1100.33 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 107327 49 0 0 25 0 11 0 547631885 862822400 31177 4294967295 134512640 134569956 3221224400 3221214680 1131337257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31177 13073 16 0 210634 0
vsize: 842600
[startup+1110.33 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 108311 49 0 0 25 0 11 0 547631885 862822400 31213 4294967295 134512640 134569956 3221224400 3221214680 1131646043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31213 13073 16 0 210634 0
vsize: 842600
[startup+1120.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 109290 49 0 0 24 0 11 0 547631885 862822400 31270 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31270 13073 16 0 210634 0
vsize: 842600
[startup+1130.36 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 110276 49 0 0 25 0 11 0 547631885 862822400 31315 4294967295 134512640 134569956 3221224400 3221214688 1131644572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31315 13073 16 0 210634 0
vsize: 842600
[startup+1140.36 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 111258 49 0 0 25 0 11 0 547631885 862822400 31351 4294967295 134512640 134569956 3221224400 3221214688 1131644568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31351 13073 16 0 210634 0
vsize: 842600
[startup+1150.36 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 112235 49 0 0 25 0 11 0 547631885 862822400 31422 4294967295 134512640 134569956 3221224400 3221214680 1131337257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31422 13073 16 0 210634 0
vsize: 842600
[startup+1160.36 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 113211 50 0 0 25 0 11 0 547631885 862822400 31489 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31489 13073 16 0 210634 0
vsize: 842600
[startup+1170.37 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 114198 50 0 0 25 0 11 0 547631885 862822400 31550 4294967295 134512640 134569956 3221224400 3221214688 1131644463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31550 13073 16 0 210634 0
vsize: 842600
[startup+1180.37 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 115179 50 0 0 25 0 11 0 547631885 862822400 31582 4294967295 134512640 134569956 3221224400 3221214680 1131337257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31582 13073 16 0 210634 0
vsize: 842600
[startup+1190.37 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 116161 51 0 0 25 0 11 0 547631885 862822400 31627 4294967295 134512640 134569956 3221224400 3221214584 1131329549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31627 13073 16 0 210634 0
vsize: 842600
[startup+1200.37 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 117147 51 0 0 25 0 11 0 547631885 862822400 31667 4294967295 134512640 134569956 3221224400 3221214688 1131644448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31667 13073 16 0 210634 0
vsize: 842600
[startup+1210.37 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 118131 51 0 0 25 0 11 0 547631885 862822400 31719 4294967295 134512640 134569956 3221224400 3221214680 1131337132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31719 13073 16 0 210634 0
vsize: 842600
[startup+1220.37 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7535
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 119115 51 0 0 25 0 11 0 547631885 862822400 31773 4294967295 134512640 134569956 3221224400 3221214688 1131644460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31773 13073 16 0 210634 0
vsize: 842600
[startup+1230.37 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 7537
Raw data (stat): 7517 (java) R 7516 22929 22928 0 -1 0 18096 0 1 0 120104 51 0 0 25 0 11 0 547631885 862822400 31802 4294967295 134512640 134569956 3221224400 3221214688 1131644557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210650 31802 13073 16 0 210634 0
vsize: 842600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.5 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 7539
Raw data (stat): 7517 (java) Z 7516 22929 22928 0 -1 1036 18096 16593 1 0 120108 57 4113 41 25 0 1 0 547631885 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.5
CPU time (s): 1243.2
CPU user time (s): 1242.21
CPU system time (s): 0.986849
CPU usage (%): 101.032
Max. virtual memory (Kb): 844500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####