PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb
MD5SUM	512275544dbdaee426418ff6e8981436
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	27836
Biggest coefficient in the objective function	698469056512
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	44081965661371
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	698469056512
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	44081965661371
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.238963
Number of variables	27888
Total number of constraints	874
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	874
Minimum length of a constraint	11
Maximum length of a constraint	246
Trace number 22978

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-22 04:03:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10864 boxname=wulflinc2 idbench=836 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  512275544dbdaee426418ff6e8981436  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gfrd-pnc.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gfrd-pnc.opb
IDLAUNCH: 10864
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        786564 kB
Buffers:         10696 kB
Cached:         216808 kB
SwapCached:        840 kB
Active:          62360 kB
Inactive:       167168 kB
HighTotal:      131008 kB
HighFree:        15204 kB
LowTotal:       903652 kB
LowFree:        771360 kB
SwapTotal:     2097136 kB
SwapFree:      2095356 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           4944 kB
Slab:            13012 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:24:09 (client local time) WITH STATUS 143 IN 1233.08 SECONDS
stats: 10864 7 1233.08 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gfrd-pnc.opb
c reading problem 
c [nbvar=27888]
c [nbconstr=874]
c time 219.081
c #vars     27888
c #clauses  1407
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.71 0.80 0.87 1/54 20604
Raw data (stat): 20604 (runsolver) D 20603 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 492472836 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.0008 s]
Raw data (loadavg): 0.83 0.83 0.87 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17981 0 1 0 814 38 0 0 25 0 10 0 492472836 853442560 19111 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208360 19111 13073 16 0 208344 0
vsize: 833440
[startup+20.0022 s]
Raw data (loadavg): 0.85 0.83 0.87 2/63 20613
Raw data (stat): 20604 (java) S 20603 20937 20936 0 -1 0 17982 0 1 0 1701 38 0 0 25 0 10 0 492472836 854675456 19895 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208661 19895 13073 16 0 208645 0
vsize: 834644
[startup+30.0026 s]
Raw data (loadavg): 0.88 0.84 0.87 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 2597 38 0 0 25 0 10 0 492472836 854675456 20352 4294967295 134512640 134569956 3221224400 3221214824 1131205933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208661 20352 13073 16 0 208645 0
vsize: 834644
[startup+40.0028 s]
Raw data (loadavg): 0.89 0.84 0.87 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 3524 39 0 0 25 0 10 0 492472836 854675456 20590 4294967295 134512640 134569956 3221224400 3221214824 1131205643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208661 20590 13073 16 0 208645 0
vsize: 834644
[startup+50.6238 s]
Raw data (loadavg): 0.91 0.85 0.88 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 4510 39 0 0 25 0 10 0 492472836 854675456 20723 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208661 20723 13073 16 0 208645 0
vsize: 834644
[startup+60.6241 s]
Raw data (loadavg): 0.92 0.85 0.88 3/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 5438 40 0 0 25 0 10 0 492472836 854675456 20827 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208661 20827 13073 16 0 208645 0
vsize: 834644
[startup+70.6371 s]
Raw data (loadavg): 0.93 0.85 0.88 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 6380 40 0 0 24 0 10 0 492472836 854478848 20949 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 20949 13073 16 0 208597 0
vsize: 834452
[startup+80.6512 s]
Raw data (loadavg): 1.02 0.88 0.88 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 7328 41 0 0 25 0 10 0 492472836 854478848 21026 4294967295 134512640 134569956 3221224400 3221214804 1130912064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21026 13073 16 0 208597 0
vsize: 834452
[startup+94.4297 s]
Raw data (loadavg): 1.49 0.98 0.92 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 8632 41 0 0 25 0 10 0 492472836 854478848 21127 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208613 21127 13073 16 0 208597 0
vsize: 834452
[startup+104.43 s]
Raw data (loadavg): 1.41 0.98 0.92 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 9580 42 0 0 25 0 10 0 492472836 854478848 21191 4294967295 134512640 134569956 3221224400 3221214312 1080019393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21191 13073 16 0 208597 0
vsize: 834452
[startup+114.439 s]
Raw data (loadavg): 1.35 0.98 0.92 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 10527 42 0 0 25 0 10 0 492472836 854478848 21255 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21255 13073 16 0 208597 0
vsize: 834452
[startup+124.439 s]
Raw data (loadavg): 1.29 0.98 0.92 2/63 20613
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 11476 43 0 0 25 0 10 0 492472836 854478848 21313 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21313 13073 16 0 208597 0
vsize: 834452
[startup+136.708 s]
Raw data (loadavg): 1.64 1.06 0.94 3/64 20614
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 12640 43 0 0 25 0 10 0 492472836 854478848 21381 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21381 13073 16 0 208597 0
vsize: 834452
[startup+146.708 s]
Raw data (loadavg): 1.54 1.06 0.94 2/63 20615
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 13585 44 0 0 25 0 10 0 492472836 854478848 21435 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21435 13073 16 0 208597 0
vsize: 834452
[startup+156.708 s]
Raw data (loadavg): 1.45 1.06 0.94 2/63 20615
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 14533 44 0 0 25 0 10 0 492472836 854478848 21486 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21486 13073 16 0 208597 0
vsize: 834452
[startup+166.708 s]
Raw data (loadavg): 1.38 1.06 0.94 2/63 20615
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 15478 45 0 0 25 0 10 0 492472836 854478848 21537 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21537 13073 16 0 208597 0
vsize: 834452
[startup+176.708 s]
Raw data (loadavg): 1.32 1.05 0.94 2/63 20615
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 16403 45 0 0 25 0 10 0 492472836 854478848 21583 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21583 13073 16 0 208597 0
vsize: 834452
[startup+186.716 s]
Raw data (loadavg): 1.27 1.05 0.94 2/63 20615
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 17331 46 0 0 25 0 10 0 492472836 854478848 21884 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21884 13073 16 0 208597 0
vsize: 834452
[startup+196.721 s]
Raw data (loadavg): 1.23 1.05 0.94 2/63 20615
Raw data (stat): 20604 (java) S 20603 20937 20936 0 -1 0 17982 0 1 0 18277 46 0 0 25 0 10 0 492472836 854478848 21927 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21927 13073 16 0 208597 0
vsize: 834452
[startup+206.728 s]
Raw data (loadavg): 1.20 1.05 0.94 2/63 20615
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 17982 0 1 0 19219 46 0 0 25 0 10 0 492472836 854478848 21971 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21971 13073 16 0 208597 0
vsize: 834452
[startup+216.729 s]
Raw data (loadavg): 1.16 1.05 0.94 2/63 20615
Raw data (stat): 20604 (java) S 20603 20937 20936 0 -1 0 17989 0 1 0 20065 47 0 0 25 0 10 0 492472836 858587136 23393 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 23394 13073 16 0 209600 0
vsize: 838464
[startup+226.736 s]
Raw data (loadavg): 1.21 1.06 0.95 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18020 0 1 0 20974 49 0 0 25 0 11 0 492472836 859148288 27381 4294967295 134512640 134569956 3221224400 3221214680 1131328289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209753 27381 13073 16 0 209737 0
vsize: 839012
[startup+236.738 s]
Raw data (loadavg): 1.18 1.06 0.95 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18058 0 1 0 21916 50 0 0 25 0 11 0 492472836 859148288 27444 4294967295 134512640 134569956 3221224400 3221213800 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209753 27444 13073 16 0 209737 0
vsize: 839012
[startup+246.738 s]
Raw data (loadavg): 1.30 1.09 0.96 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18059 0 1 0 22833 50 0 0 25 0 11 0 492472836 860078080 27702 4294967295 134512640 134569956 3221224400 3221214752 1131313954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27702 13073 16 0 209964 0
vsize: 839920
[startup+256.739 s]
Raw data (loadavg): 1.25 1.08 0.96 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 23829 50 0 0 25 0 11 0 492472836 860078080 27704 4294967295 134512640 134569956 3221224400 3221214608 1131508656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 27704 13073 16 0 209964 0
vsize: 839920
[startup+266.739 s]
Raw data (loadavg): 1.29 1.10 0.97 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 24823 51 0 0 25 0 11 0 492472836 860078080 27706 4294967295 134512640 134569956 3221224400 3221214704 1131662669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27706 13073 16 0 209964 0
vsize: 839920
[startup+276.739 s]
Raw data (loadavg): 1.24 1.09 0.97 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 25819 51 0 0 25 0 11 0 492472836 860078080 27708 4294967295 134512640 134569956 3221224400 3221214704 1131662680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27708 13073 16 0 209964 0
vsize: 839920
[startup+286.739 s]
Raw data (loadavg): 1.20 1.09 0.97 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 26817 51 0 0 25 0 11 0 492472836 860078080 27709 4294967295 134512640 134569956 3221224400 3221214704 1131662575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 27709 13073 16 0 209964 0
vsize: 839920
[startup+296.74 s]
Raw data (loadavg): 1.17 1.09 0.97 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 27814 51 0 0 25 0 11 0 492472836 860078080 27709 4294967295 134512640 134569956 3221224400 3221214704 1131662684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27709 13073 16 0 209964 0
vsize: 839920
[startup+306.741 s]
Raw data (loadavg): 1.15 1.08 0.97 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 28802 51 0 0 25 0 11 0 492472836 860078080 27709 4294967295 134512640 134569956 3221224400 3221214600 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27709 13073 16 0 209964 0
vsize: 839920
[startup+316.74 s]
Raw data (loadavg): 1.20 1.10 0.97 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 29792 51 0 0 25 0 11 0 492472836 860078080 27896 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27896 13073 16 0 209964 0
vsize: 839920
[startup+326.741 s]
Raw data (loadavg): 1.17 1.09 0.97 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 30783 51 0 0 25 0 11 0 492472836 860078080 27887 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27887 13073 16 0 209964 0
vsize: 839920
[startup+336.741 s]
Raw data (loadavg): 1.14 1.09 0.97 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 31773 51 0 0 24 0 11 0 492472836 860078080 27887 4294967295 134512640 134569956 3221224400 3221214656 1131662560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27887 13073 16 0 209964 0
vsize: 839920
[startup+346.74 s]
Raw data (loadavg): 1.19 1.10 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 32769 52 0 0 25 0 11 0 492472836 860078080 27887 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27887 13073 16 0 209964 0
vsize: 839920
[startup+356.74 s]
Raw data (loadavg): 1.16 1.10 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 33753 52 0 0 25 0 11 0 492472836 860078080 27888 4294967295 134512640 134569956 3221224400 3221214412 1131292128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27888 13073 16 0 209964 0
vsize: 839920
[startup+366.741 s]
Raw data (loadavg): 1.14 1.09 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 34736 52 0 0 25 0 11 0 492472836 860078080 27891 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27891 13073 16 0 209964 0
vsize: 839920
[startup+376.741 s]
Raw data (loadavg): 1.11 1.09 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 35724 52 0 0 25 0 11 0 492472836 860078080 27896 4294967295 134512640 134569956 3221224400 3221214656 1131662684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 27896 13073 16 0 209964 0
vsize: 839920
[startup+386.742 s]
Raw data (loadavg): 1.10 1.09 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 36711 52 0 0 25 0 11 0 492472836 860078080 27900 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27900 13073 16 0 209964 0
vsize: 839920
[startup+396.742 s]
Raw data (loadavg): 1.08 1.08 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 37705 52 0 0 25 0 11 0 492472836 860078080 27901 4294967295 134512640 134569956 3221224400 3221214620 1131619794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 27901 13073 16 0 209964 0
vsize: 839920
[startup+406.742 s]
Raw data (loadavg): 1.07 1.08 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 38691 52 0 0 25 0 11 0 492472836 860078080 27904 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 27904 13073 16 0 209964 0
vsize: 839920
[startup+416.742 s]
Raw data (loadavg): 1.06 1.08 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 39670 53 0 0 25 0 11 0 492472836 860078080 27908 4294967295 134512640 134569956 3221224400 3221214664 1131329438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 27908 13073 16 0 209964 0
vsize: 839920
[startup+426.741 s]
Raw data (loadavg): 1.05 1.07 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 40640 53 0 0 25 0 11 0 492472836 860078080 28147 4294967295 134512640 134569956 3221224400 3221214696 1131493727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28147 13073 16 0 209964 0
vsize: 839920
[startup+436.742 s]
Raw data (loadavg): 1.04 1.07 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 41617 53 0 0 25 0 11 0 492472836 860078080 28233 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28233 13073 16 0 209964 0
vsize: 839920
[startup+446.742 s]
Raw data (loadavg): 1.03 1.07 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 42600 54 0 0 25 0 11 0 492472836 860078080 28282 4294967295 134512640 134569956 3221224400 3221214760 1131406664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28282 13073 16 0 209964 0
vsize: 839920
[startup+456.741 s]
Raw data (loadavg): 1.03 1.07 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 43588 54 0 0 25 0 11 0 492472836 860078080 28324 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 28324 13073 16 0 209964 0
vsize: 839920
[startup+466.742 s]
Raw data (loadavg): 1.02 1.06 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 44575 54 0 0 25 0 11 0 492472836 860078080 28379 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28379 13073 16 0 209964 0
vsize: 839920
[startup+476.742 s]
Raw data (loadavg): 1.02 1.06 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 45564 54 0 0 25 0 11 0 492472836 860078080 28428 4294967295 134512640 134569956 3221224400 3221214704 1131445818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28428 13073 16 0 209964 0
vsize: 839920
[startup+486.742 s]
Raw data (loadavg): 1.02 1.06 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 46549 55 0 0 25 0 11 0 492472836 860078080 28472 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28472 13073 16 0 209964 0
vsize: 839920
[startup+496.742 s]
Raw data (loadavg): 1.01 1.06 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 47538 55 0 0 25 0 11 0 492472836 860078080 28529 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28529 13073 16 0 209964 0
vsize: 839920
[startup+506.765 s]
Raw data (loadavg): 1.01 1.05 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 48526 55 0 0 25 0 11 0 492472836 860078080 28573 4294967295 134512640 134569956 3221224400 3221214760 1131406856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28573 13073 16 0 209964 0
vsize: 839920
[startup+516.764 s]
Raw data (loadavg): 1.01 1.05 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 49511 56 0 0 25 0 11 0 492472836 860078080 28612 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28612 13073 16 0 209964 0
vsize: 839920
[startup+526.764 s]
Raw data (loadavg): 1.01 1.05 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 50500 56 0 0 25 0 11 0 492472836 860078080 28649 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 28649 13073 16 0 209964 0
vsize: 839920
[startup+536.767 s]
Raw data (loadavg): 1.00 1.05 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 51486 57 0 0 25 0 11 0 492472836 860078080 28692 4294967295 134512640 134569956 3221224400 3221214656 1131662560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28692 13073 16 0 209964 0
vsize: 839920
[startup+546.767 s]
Raw data (loadavg): 1.00 1.05 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 52474 58 0 0 25 0 11 0 492472836 860078080 28721 4294967295 134512640 134569956 3221224400 3221214816 1131510157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28721 13073 16 0 209964 0
vsize: 839920
[startup+556.767 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 53463 58 0 0 25 0 11 0 492472836 860078080 28756 4294967295 134512640 134569956 3221224400 3221214664 1131328701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28756 13073 16 0 209964 0
vsize: 839920
[startup+566.767 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 54452 58 0 0 25 0 11 0 492472836 860078080 28788 4294967295 134512640 134569956 3221224400 3221214696 1131493761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 28788 13073 16 0 209964 0
vsize: 839920
[startup+576.768 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 55440 59 0 0 25 0 11 0 492472836 860078080 28810 4294967295 134512640 134569956 3221224400 3221214656 1131662684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28810 13073 16 0 209964 0
vsize: 839920
[startup+586.769 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 56423 59 0 0 25 0 11 0 492472836 860078080 28846 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28846 13073 16 0 209964 0
vsize: 839920
[startup+596.769 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 57410 59 0 0 25 0 11 0 492472836 860078080 28886 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 28886 13073 16 0 209964 0
vsize: 839920
[startup+606.769 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 58397 59 0 0 25 0 11 0 492472836 860078080 28925 4294967295 134512640 134569956 3221224400 3221214656 1131662669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28925 13073 16 0 209964 0
vsize: 839920
[startup+616.769 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 59379 59 0 0 24 0 11 0 492472836 860078080 28958 4294967295 134512640 134569956 3221224400 3221214712 1131273841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 28958 13073 16 0 209964 0
vsize: 839920
[startup+626.769 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 60343 60 0 0 25 0 11 0 492472836 860078080 29067 4294967295 134512640 134569956 3221224400 3221214760 1131406670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29067 13073 16 0 209964 0
vsize: 839920
[startup+636.769 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 61325 60 0 0 25 0 11 0 492472836 860078080 29123 4294967295 134512640 134569956 3221224400 3221214656 1131662575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29123 13073 16 0 209964 0
vsize: 839920
[startup+646.77 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 62308 60 0 0 25 0 11 0 492472836 860078080 29222 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29222 13073 16 0 209964 0
vsize: 839920
[startup+656.769 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 63295 60 0 0 25 0 11 0 492472836 860078080 29286 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29286 13073 16 0 209964 0
vsize: 839920
[startup+666.769 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 64278 61 0 0 25 0 11 0 492472836 860078080 29383 4294967295 134512640 134569956 3221224400 3221214656 1131662684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29383 13073 16 0 209964 0
vsize: 839920
[startup+676.77 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 65262 61 0 0 25 0 11 0 492472836 860078080 29433 4294967295 134512640 134569956 3221224400 3221214696 1131493744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29433 13073 16 0 209964 0
vsize: 839920
[startup+686.771 s]
Raw data (loadavg): 1.07 1.04 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 66246 61 0 0 25 0 11 0 492472836 860078080 29507 4294967295 134512640 134569956 3221224400 3221214656 1131662684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29507 13073 16 0 209964 0
vsize: 839920
[startup+696.771 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 67230 62 0 0 25 0 11 0 492472836 860078080 29576 4294967295 134512640 134569956 3221224400 3221214656 1131662560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29576 13073 16 0 209964 0
vsize: 839920
[startup+706.771 s]
Raw data (loadavg): 1.05 1.04 0.98 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 68214 62 0 0 25 0 11 0 492472836 860078080 29606 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29606 13073 16 0 209964 0
vsize: 839920
[startup+716.771 s]
Raw data (loadavg): 1.12 1.05 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 69196 62 0 0 24 0 11 0 492472836 860078080 29650 4294967295 134512640 134569956 3221224400 3221214656 1131662691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29650 13073 16 0 209964 0
vsize: 839920
[startup+726.771 s]
Raw data (loadavg): 1.10 1.05 0.99 2/64 20616
Raw data (stat): 20604 (java) S 20603 20937 20936 0 -1 0 18060 0 1 0 70181 62 0 0 25 0 11 0 492472836 860078080 29685 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29685 13073 16 0 209964 0
vsize: 839920
[startup+736.772 s]
Raw data (loadavg): 1.08 1.05 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 71165 62 0 0 25 0 11 0 492472836 860078080 29723 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29723 13073 16 0 209964 0
vsize: 839920
[startup+746.78 s]
Raw data (loadavg): 1.07 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 72149 63 0 0 25 0 11 0 492472836 860078080 29775 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29775 13073 16 0 209964 0
vsize: 839920
[startup+756.779 s]
Raw data (loadavg): 1.06 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 73131 63 0 0 25 0 11 0 492472836 860078080 29818 4294967295 134512640 134569956 3221224400 3221214808 1131468587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29818 13073 16 0 209964 0
vsize: 839920
[startup+766.779 s]
Raw data (loadavg): 1.05 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 74114 64 0 0 25 0 11 0 492472836 860078080 29861 4294967295 134512640 134569956 3221224400 3221214664 1131328310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29861 13073 16 0 209964 0
vsize: 839920
[startup+776.78 s]
Raw data (loadavg): 1.04 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 75101 64 0 0 25 0 11 0 492472836 860078080 29895 4294967295 134512640 134569956 3221224400 3221214656 1131662691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29895 13073 16 0 209964 0
vsize: 839920
[startup+786.78 s]
Raw data (loadavg): 1.03 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 76084 64 0 0 25 0 11 0 492472836 860078080 29951 4294967295 134512640 134569956 3221224400 3221214808 1131468448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 29951 13073 16 0 209964 0
vsize: 839920
[startup+796.78 s]
Raw data (loadavg): 1.03 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 77067 64 0 0 25 0 11 0 492472836 860078080 30000 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30000 13073 16 0 209964 0
vsize: 839920
[startup+806.78 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 78053 64 0 0 25 0 11 0 492472836 860078080 30050 4294967295 134512640 134569956 3221224400 3221214664 1131328934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30050 13073 16 0 209964 0
vsize: 839920
[startup+816.78 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 79036 65 0 0 25 0 11 0 492472836 860078080 30119 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30119 13073 16 0 209964 0
vsize: 839920
[startup+826.78 s]
Raw data (loadavg): 1.10 1.05 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 80019 65 0 0 25 0 11 0 492472836 860078080 30181 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30181 13073 16 0 209964 0
vsize: 839920
[startup+836.781 s]
Raw data (loadavg): 1.08 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 81006 65 0 0 25 0 11 0 492472836 860078080 30227 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30227 13073 16 0 209964 0
vsize: 839920
[startup+846.781 s]
Raw data (loadavg): 1.07 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 81987 66 0 0 25 0 11 0 492472836 860078080 30263 4294967295 134512640 134569956 3221224400 3221214760 1131406730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 30263 13073 16 0 209964 0
vsize: 839920
[startup+856.781 s]
Raw data (loadavg): 1.06 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 82968 66 0 0 25 0 11 0 492472836 860078080 30307 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30307 13073 16 0 209964 0
vsize: 839920
[startup+866.782 s]
Raw data (loadavg): 1.05 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 83948 67 0 0 25 0 11 0 492472836 860078080 30346 4294967295 134512640 134569956 3221224400 3221214656 1131662680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30346 13073 16 0 209964 0
vsize: 839920
[startup+876.781 s]
Raw data (loadavg): 1.04 1.04 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 84915 67 0 0 25 0 11 0 492472836 860078080 30412 4294967295 134512640 134569956 3221224400 3221214664 1131329583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30412 13073 16 0 209964 0
vsize: 839920
[startup+886.782 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 85861 68 0 0 25 0 11 0 492472836 860078080 30611 4294967295 134512640 134569956 3221224400 3221214664 1131328701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30611 13073 16 0 209964 0
vsize: 839920
[startup+896.782 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 86828 68 0 0 25 0 11 0 492472836 860078080 30842 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30842 13073 16 0 209964 0
vsize: 839920
[startup+906.782 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 87808 68 0 0 25 0 11 0 492472836 860078080 30936 4294967295 134512640 134569956 3221224400 3221214560 1131521462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 30936 13073 16 0 209964 0
vsize: 839920
[startup+916.783 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 88792 69 0 0 25 0 11 0 492472836 860078080 31077 4294967295 134512640 134569956 3221224400 3221214760 1131406615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31077 13073 16 0 209964 0
vsize: 839920
[startup+926.784 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 89782 69 0 0 25 0 11 0 492472836 860078080 31097 4294967295 134512640 134569956 3221224400 3221214664 1131329385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 31097 13073 16 0 209964 0
vsize: 839920
[startup+936.784 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 90769 69 0 0 25 0 11 0 492472836 860078080 31113 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31113 13073 16 0 209964 0
vsize: 839920
[startup+946.784 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 91754 70 0 0 25 0 11 0 492472836 860078080 31134 4294967295 134512640 134569956 3221224400 3221214664 1131329174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31134 13073 16 0 209964 0
vsize: 839920
[startup+956.783 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 92738 71 0 0 25 0 11 0 492472836 860078080 31187 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31187 13073 16 0 209964 0
vsize: 839920
[startup+966.783 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 93726 71 0 0 25 0 11 0 492472836 860078080 31212 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31212 13073 16 0 209964 0
vsize: 839920
[startup+976.783 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 94712 71 0 0 25 0 11 0 492472836 860078080 31235 4294967295 134512640 134569956 3221224400 3221214664 1131328574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31235 13073 16 0 209964 0
vsize: 839920
[startup+986.784 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 95699 72 0 0 25 0 11 0 492472836 860078080 31261 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31261 13073 16 0 209964 0
vsize: 839920
[startup+996.784 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 96682 72 0 0 25 0 11 0 492472836 860078080 31291 4294967295 134512640 134569956 3221224400 3221214544 1131313511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31291 13073 16 0 209964 0
vsize: 839920
[startup+1006.78 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 97664 72 0 0 24 0 11 0 492472836 860078080 31319 4294967295 134512640 134569956 3221224400 3221214656 1131662669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31319 13073 16 0 209964 0
vsize: 839920
[startup+1016.78 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 98648 73 0 0 25 0 11 0 492472836 860078080 31365 4294967295 134512640 134569956 3221224400 3221214808 1131468768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31365 13073 16 0 209964 0
vsize: 839920
[startup+1026.78 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 99629 73 0 0 25 0 11 0 492472836 860078080 31418 4294967295 134512640 134569956 3221224400 3221214760 1131408830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31418 13073 16 0 209964 0
vsize: 839920
[startup+1036.78 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 100609 74 0 0 25 0 11 0 492472836 860078080 31508 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31508 13073 16 0 209964 0
vsize: 839920
[startup+1046.79 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 101589 74 0 0 25 0 11 0 492472836 860078080 31570 4294967295 134512640 134569956 3221224400 3221214664 1131329624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31570 13073 16 0 209964 0
vsize: 839920
[startup+1056.79 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 102569 74 0 0 25 0 11 0 492472836 860078080 31637 4294967295 134512640 134569956 3221224400 3221214664 1131328870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31637 13073 16 0 209964 0
vsize: 839920
[startup+1066.79 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 103549 75 0 0 25 0 11 0 492472836 860078080 31708 4294967295 134512640 134569956 3221224400 3221214552 1131313997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31708 13073 16 0 209964 0
vsize: 839920
[startup+1076.79 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 104529 75 0 0 25 0 11 0 492472836 860078080 31774 4294967295 134512640 134569956 3221224400 3221214664 1131328618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31774 13073 16 0 209964 0
vsize: 839920
[startup+1086.79 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 105509 76 0 0 25 0 11 0 492472836 860078080 31869 4294967295 134512640 134569956 3221224400 3221214656 1131403348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31869 13073 16 0 209964 0
vsize: 839920
[startup+1096.79 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 106489 76 0 0 25 0 11 0 492472836 860078080 31968 4294967295 134512640 134569956 3221224400 3221214656 1131662577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31968 13073 16 0 209964 0
vsize: 839920
[startup+1106.79 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 107468 76 0 0 25 0 11 0 492472836 860078080 31852 4294967295 134512640 134569956 3221224400 3221214656 1131662691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31852 13073 16 0 209964 0
vsize: 839920
[startup+1116.79 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 108444 77 0 0 24 0 11 0 492472836 860078080 31964 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 31964 13073 16 0 209964 0
vsize: 839920
[startup+1126.8 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 109427 77 0 0 25 0 11 0 492472836 860078080 32026 4294967295 134512640 134569956 3221224400 3221214760 1131405534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32026 13073 16 0 209964 0
vsize: 839920
[startup+1136.8 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 110406 77 0 0 25 0 11 0 492472836 860078080 32091 4294967295 134512640 134569956 3221224400 3221214664 1131328701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32091 13073 16 0 209964 0
vsize: 839920
[startup+1146.8 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 111390 78 0 0 25 0 11 0 492472836 860078080 32161 4294967295 134512640 134569956 3221224400 3221214664 1131328574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32161 13073 16 0 209964 0
vsize: 839920
[startup+1156.8 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 112370 78 0 0 25 0 11 0 492472836 860078080 32232 4294967295 134512640 134569956 3221224400 3221214664 1131328298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32232 13073 16 0 209964 0
vsize: 839920
[startup+1166.8 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 113351 79 0 0 25 0 11 0 492472836 860078080 32307 4294967295 134512640 134569956 3221224400 3221214664 1131328701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32307 13073 16 0 209964 0
vsize: 839920
[startup+1176.8 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 114336 79 0 0 25 0 11 0 492472836 860078080 32404 4294967295 134512640 134569956 3221224400 3221214760 1131406730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32404 13073 16 0 209964 0
vsize: 839920
[startup+1186.8 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 115319 80 0 0 24 0 11 0 492472836 860078080 32490 4294967295 134512640 134569956 3221224400 3221214664 1131328574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32490 13073 16 0 209964 0
vsize: 839920
[startup+1196.8 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 116305 80 0 0 25 0 11 0 492472836 860078080 32533 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32533 13073 16 0 209964 0
vsize: 839920
[startup+1206.8 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 117289 80 0 0 25 0 11 0 492472836 860078080 32599 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32599 13073 16 0 209964 0
vsize: 839920
[startup+1216.8 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 118273 80 0 0 25 0 11 0 492472836 860078080 32646 4294967295 134512640 134569956 3221224400 3221214760 1131406664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32646 13073 16 0 209964 0
vsize: 839920
[startup+1226.8 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 119256 81 0 0 25 0 11 0 492472836 860078080 32682 4294967295 134512640 134569956 3221224400 3221214656 1131662572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32682 13073 16 0 209964 0
vsize: 839920
[startup+1236.8 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 20616
Raw data (stat): 20604 (java) R 20603 20937 20936 0 -1 0 18060 0 1 0 120239 81 0 0 25 0 11 0 492472836 860078080 32728 4294967295 134512640 134569956 3221224400 3221214664 1131328701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 32728 13073 16 0 209964 0
vsize: 839920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1236.9 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 20618
Raw data (stat): 20604 (java) Z 20603 20937 20936 0 -1 1036 18060 12862 1 0 120240 82 2947 37 25 0 1 0 492472836 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): 1236.9
CPU time (s): 1233.08
CPU user time (s): 1231.88
CPU system time (s): 1.19982
CPU usage (%): 99.6909
Max. virtual memory (Kb): 839920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####