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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb
MD5SUMc6a26aa8aefc43a120ecaff31b506c53
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4227509
Optimality of the best value was proved NO
Number of terms in the objective function 9638
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 2427493442
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 2427493442
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.06
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 19248

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-21 18:25:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16831 boxname=wulflinc23 idbench=1295 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c6a26aa8aefc43a120ecaff31b506c53  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-fixnet4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-fixnet4.opb
IDLAUNCH: 16831
/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:        629916 kB
Buffers:         28508 kB
Cached:         350736 kB
SwapCached:        536 kB
Active:          39836 kB
Inactive:       341536 kB
HighTotal:      131008 kB
HighFree:         7252 kB
LowTotal:       903652 kB
LowFree:        622664 kB
SwapTotal:     2097136 kB
SwapFree:      2095852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            17852 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 18:46:39 (client local time) WITH STATUS 143 IN 1257.23 SECONDS
stats: 16831 7 1257.23 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-fixnet4.opb
c reading problem 
c [nbvar=9890]
c [nbconstr=978]
c time 35.709
c #vars     9890
c #clauses  701
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=15783519
c Current CPU time (ms) : 264.94
c starts	: 2
c conflicts	: 163
c decisions	: 14807
c propagations	: 62159
c inspects	: 176642
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 163
c root simplifications	: 6
#### 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/54 9942
Raw data (stat): 9942 (runsolver) R 9941 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547225864 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.0007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 9951
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 17979 0 1 0 891 40 0 0 25 0 10 0 547225864 853487616 19146 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208371 19146 13073 16 0 208355 0
vsize: 833484
[startup+20.0009 s]
Raw data (loadavg): 1.15 1.00 0.92 2/63 9951
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 17980 0 1 0 1775 40 0 0 25 0 10 0 547225864 853921792 19793 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208477 19793 13073 16 0 208461 0
vsize: 833908
[startup+30.002 s]
Raw data (loadavg): 1.29 1.04 0.93 4/63 9951
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 17991 0 1 0 2649 40 0 0 25 0 10 0 547225864 860368896 21600 4294967295 134512640 134569956 3221224400 3221214364 1130916363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210051 21600 13073 16 0 210035 0
vsize: 840204
[startup+40.0022 s]
Raw data (loadavg): 1.39 1.07 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18081 0 1 0 3325 41 0 0 25 0 11 0 547225864 876269568 26814 4294967295 134512640 134569956 3221224400 3221214640 1130915543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213933 26814 13073 16 0 213917 0
vsize: 855732
[startup+50.0019 s]
Raw data (loadavg): 1.33 1.06 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18084 0 1 0 4108 42 0 0 25 0 11 0 547225864 875155456 26621 4294967295 134512640 134569956 3221224400 3221214584 1131538736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 26621 13073 16 0 213645 0
vsize: 854644
[startup+60.0029 s]
Raw data (loadavg): 1.28 1.06 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18085 0 1 0 5014 42 0 0 25 0 11 0 547225864 875155456 26897 4294967295 134512640 134569956 3221224400 3221214776 1131504595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 26897 13073 16 0 213645 0
vsize: 854644
[startup+70.0036 s]
Raw data (loadavg): 1.24 1.06 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 5944 42 0 0 25 0 11 0 547225864 875155456 26898 4294967295 134512640 134569956 3221224400 3221214776 1131505536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 26898 13073 16 0 213645 0
vsize: 854644
[startup+80.0048 s]
Raw data (loadavg): 1.20 1.06 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 6874 43 0 0 25 0 11 0 547225864 875155456 27495 4294967295 134512640 134569956 3221224400 3221214804 1131601760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 27495 13073 16 0 213645 0
vsize: 854644
[startup+90.0049 s]
Raw data (loadavg): 1.17 1.05 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 7837 43 0 0 25 0 11 0 547225864 875155456 27559 4294967295 134512640 134569956 3221224400 3221214680 1131287905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 27559 13073 16 0 213645 0
vsize: 854644
[startup+100.006 s]
Raw data (loadavg): 1.14 1.05 0.94 3/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 8807 43 0 0 25 0 11 0 547225864 875155456 27633 4294967295 134512640 134569956 3221224400 3221214576 1131538739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 27633 13073 16 0 213645 0
vsize: 854644
[startup+110.006 s]
Raw data (loadavg): 1.12 1.05 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 9774 43 0 0 25 0 11 0 547225864 875155456 27743 4294967295 134512640 134569956 3221224400 3221214680 1131288151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 27743 13073 16 0 213645 0
vsize: 854644
[startup+120.007 s]
Raw data (loadavg): 1.10 1.05 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 10749 43 0 0 25 0 11 0 547225864 875155456 27814 4294967295 134512640 134569956 3221224400 3221214680 1131287905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 27814 13073 16 0 213645 0
vsize: 854644
[startup+130.008 s]
Raw data (loadavg): 1.08 1.05 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 11723 43 0 0 25 0 11 0 547225864 875155456 27842 4294967295 134512640 134569956 3221224400 3221214680 1131288479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 27842 13073 16 0 213645 0
vsize: 854644
[startup+140.008 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 12695 43 0 0 25 0 11 0 547225864 875155456 27929 4294967295 134512640 134569956 3221224400 3221214776 1131507394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 27929 13073 16 0 213645 0
vsize: 854644
[startup+150.009 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 13670 43 0 0 25 0 11 0 547225864 875155456 27954 4294967295 134512640 134569956 3221224400 3221214840 1131521843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 27954 13073 16 0 213645 0
vsize: 854644
[startup+160.01 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 14638 43 0 0 25 0 11 0 547225864 875155456 28032 4294967295 134512640 134569956 3221224400 3221214776 1131503309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28032 13073 16 0 213645 0
vsize: 854644
[startup+170.01 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 15610 44 0 0 25 0 11 0 547225864 875155456 28174 4294967295 134512640 134569956 3221224400 3221214680 1131288133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28174 13073 16 0 213645 0
vsize: 854644
[startup+180.011 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 16590 44 0 0 25 0 11 0 547225864 875155456 28251 4294967295 134512640 134569956 3221224400 3221214776 1131503489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28251 13073 16 0 213645 0
vsize: 854644
[startup+190.011 s]
Raw data (loadavg): 1.03 1.04 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 17576 44 0 0 25 0 11 0 547225864 875155456 28271 4294967295 134512640 134569956 3221224400 3221214584 1131526732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28271 13073 16 0 213645 0
vsize: 854644
[startup+200.011 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 18554 44 0 0 25 0 11 0 547225864 875155456 28304 4294967295 134512640 134569956 3221224400 3221214680 1131287937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28304 13073 16 0 213645 0
vsize: 854644
[startup+210.012 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 19527 44 0 0 25 0 11 0 547225864 875155456 28376 4294967295 134512640 134569956 3221224400 3221214680 1131288479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28376 13073 16 0 213645 0
vsize: 854644
[startup+220.012 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 20497 44 0 0 25 0 11 0 547225864 875155456 28467 4294967295 134512640 134569956 3221224400 3221214520 1131288258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28467 13073 16 0 213645 0
vsize: 854644
[startup+230.013 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 21460 44 0 0 25 0 11 0 547225864 875155456 28519 4294967295 134512640 134569956 3221224400 3221214680 1131288614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28519 13073 16 0 213645 0
vsize: 854644
[startup+240.013 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 22425 44 0 0 25 0 11 0 547225864 875155456 28564 4294967295 134512640 134569956 3221224400 3221214680 1131288658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28564 13073 16 0 213645 0
vsize: 854644
[startup+250.014 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 23399 44 0 0 25 0 11 0 547225864 875155456 28734 4294967295 134512640 134569956 3221224400 3221214680 1131288464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28734 13073 16 0 213645 0
vsize: 854644
[startup+260.014 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 9952
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 0 1 0 24380 44 0 0 25 0 11 0 547225864 875155456 28780 4294967295 134512640 134569956 3221224400 3221214680 1131288581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28780 13073 16 0 213645 0
vsize: 854644
[startup+270.015 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 25343 45 0 0 24 0 11 0 547225864 875155456 28810 4294967295 134512640 134569956 3221224400 3221214776 1131503496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28810 13073 16 0 213645 0
vsize: 854644
[startup+280.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 26300 45 0 0 25 0 11 0 547225864 875155456 28848 4294967295 134512640 134569956 3221224400 3221214680 1131289318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28848 13073 16 0 213645 0
vsize: 854644
[startup+290.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 27254 45 0 0 25 0 11 0 547225864 875155456 28876 4294967295 134512640 134569956 3221224400 3221214680 1131288289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 28876 13073 16 0 213645 0
vsize: 854644
[startup+300.016 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 28220 45 0 0 25 0 11 0 547225864 875155456 29106 4294967295 134512640 134569956 3221224400 3221214680 1131287905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29106 13073 16 0 213645 0
vsize: 854644
[startup+310.016 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 29204 45 0 0 25 0 11 0 547225864 875155456 29146 4294967295 134512640 134569956 3221224400 3221214680 1131287916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29146 13073 16 0 213645 0
vsize: 854644
[startup+320.016 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 30182 45 0 0 25 0 11 0 547225864 875155456 29208 4294967295 134512640 134569956 3221224400 3221214776 1131503309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29208 13073 16 0 213645 0
vsize: 854644
[startup+330.02 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) S 9941 3260 3259 0 -1 0 18086 4 1 0 31160 45 0 0 25 0 11 0 547225864 875155456 29246 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29246 13073 16 0 213645 0
vsize: 854644
[startup+340.02 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 32134 45 0 0 25 0 11 0 547225864 875155456 29327 4294967295 134512640 134569956 3221224400 3221214712 1131530714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29327 13073 16 0 213645 0
vsize: 854644
[startup+350.02 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 33112 45 0 0 25 0 11 0 547225864 875155456 29376 4294967295 134512640 134569956 3221224400 3221214680 1131289339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29376 13073 16 0 213645 0
vsize: 854644
[startup+360.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 34089 45 0 0 25 0 11 0 547225864 875155456 29454 4294967295 134512640 134569956 3221224400 3221214680 1131288563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29454 13073 16 0 213645 0
vsize: 854644
[startup+370.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 35070 45 0 0 25 0 11 0 547225864 875155456 29500 4294967295 134512640 134569956 3221224400 3221214776 1131504357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29500 13073 16 0 213645 0
vsize: 854644
[startup+380.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 36051 45 0 0 25 0 11 0 547225864 875155456 29585 4294967295 134512640 134569956 3221224400 3221214776 1131504692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29585 13073 16 0 213645 0
vsize: 854644
[startup+390.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 37032 45 0 0 25 0 11 0 547225864 875155456 29612 4294967295 134512640 134569956 3221224400 3221214760 1131709972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29612 13073 16 0 213645 0
vsize: 854644
[startup+400.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 38012 45 0 0 25 0 11 0 547225864 875155456 29653 4294967295 134512640 134569956 3221224400 3221214776 1131504610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29653 13073 16 0 213645 0
vsize: 854644
[startup+410.024 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 38992 45 0 0 25 0 11 0 547225864 875155456 29710 4294967295 134512640 134569956 3221224400 3221214680 1131288438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29710 13073 16 0 213645 0
vsize: 854644
[startup+420.024 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 39968 46 0 0 25 0 11 0 547225864 875155456 29760 4294967295 134512640 134569956 3221224400 3221214680 1131288658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 29760 13073 16 0 213645 0
vsize: 854644
[startup+430.025 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 40945 46 0 0 24 0 11 0 547225864 875155456 29815 4294967295 134512640 134569956 3221224400 3221214712 1131532235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 29815 13073 16 0 213645 0
vsize: 854644
[startup+440.025 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 41919 47 0 0 25 0 11 0 547225864 875155456 29862 4294967295 134512640 134569956 3221224400 3221214680 1131288973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 29862 13073 16 0 213645 0
vsize: 854644
[startup+450.025 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 42898 47 0 0 25 0 11 0 547225864 875155456 29943 4294967295 134512640 134569956 3221224400 3221214680 1131288133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 29943 13073 16 0 213645 0
vsize: 854644
[startup+460.026 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 43873 47 0 0 25 0 11 0 547225864 875155456 29996 4294967295 134512640 134569956 3221224400 3221214680 1131288614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 29996 13073 16 0 213645 0
vsize: 854644
[startup+470.026 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 44852 48 0 0 24 0 11 0 547225864 875155456 30040 4294967295 134512640 134569956 3221224400 3221214776 1131503561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30040 13073 16 0 213645 0
vsize: 854644
[startup+480.026 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 45833 48 0 0 25 0 11 0 547225864 875155456 30104 4294967295 134512640 134569956 3221224400 3221214680 1131288438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30104 13073 16 0 213645 0
vsize: 854644
[startup+490.027 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 46812 48 0 0 25 0 11 0 547225864 875155456 30154 4294967295 134512640 134569956 3221224400 3221214656 1131589968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30154 13073 16 0 213645 0
vsize: 854644
[startup+500.027 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 47794 49 0 0 25 0 11 0 547225864 875155456 30180 4294967295 134512640 134569956 3221224400 3221214680 1131287905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30180 13073 16 0 213645 0
vsize: 854644
[startup+510.03 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 48774 49 0 0 25 0 11 0 547225864 875155456 30220 4294967295 134512640 134569956 3221224400 3221214776 1131507269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30220 13073 16 0 213645 0
vsize: 854644
[startup+520.031 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 49751 50 0 0 25 0 11 0 547225864 875155456 30302 4294967295 134512640 134569956 3221224400 3221214776 1131507364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30302 13073 16 0 213645 0
vsize: 854644
[startup+530.031 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 50726 50 0 0 25 0 11 0 547225864 875155456 30326 4294967295 134512640 134569956 3221224400 3221214680 1131289364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30326 13073 16 0 213645 0
vsize: 854644
[startup+540.031 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 51701 51 0 0 25 0 11 0 547225864 875155456 30420 4294967295 134512640 134569956 3221224400 3221214728 1131525254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30420 13073 16 0 213645 0
vsize: 854644
[startup+550.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 52672 51 0 0 25 0 11 0 547225864 875155456 30464 4294967295 134512640 134569956 3221224400 3221214776 1131503507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30464 13073 16 0 213645 0
vsize: 854644
[startup+560.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 53644 52 0 0 21 0 11 0 547225864 875155456 30544 4294967295 134512640 134569956 3221224400 3221214664 1131287916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30544 13073 16 0 213645 0
vsize: 854644
[startup+570.033 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 54615 52 0 0 25 0 11 0 547225864 875155456 30615 4294967295 134512640 134569956 3221224400 3221214760 1131503528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30615 13073 16 0 213645 0
vsize: 854644
[startup+580.033 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 55592 53 0 0 25 0 11 0 547225864 875155456 30707 4294967295 134512640 134569956 3221224400 3221214664 1131288151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30707 13073 16 0 213645 0
vsize: 854644
[startup+590.033 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 56579 53 0 0 25 0 11 0 547225864 875155456 30746 4294967295 134512640 134569956 3221224400 3221214760 1131507361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30746 13073 16 0 213645 0
vsize: 854644
[startup+600.034 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 57572 53 0 0 25 0 11 0 547225864 875155456 30758 4294967295 134512640 134569956 3221224400 3221214664 1131288438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30758 13073 16 0 213645 0
vsize: 854644
[startup+610.035 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 58565 54 0 0 25 0 11 0 547225864 875155456 30767 4294967295 134512640 134569956 3221224400 3221214664 1131288429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30767 13073 16 0 213645 0
vsize: 854644
[startup+620.035 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 59558 54 0 0 25 0 11 0 547225864 875155456 30786 4294967295 134512640 134569956 3221224400 3221214664 1131289241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30786 13073 16 0 213645 0
vsize: 854644
[startup+630.035 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 60552 54 0 0 25 0 11 0 547225864 875155456 30791 4294967295 134512640 134569956 3221224400 3221214664 1131288479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30791 13073 16 0 213645 0
vsize: 854644
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 61545 54 0 0 22 0 11 0 547225864 875155456 30800 4294967295 134512640 134569956 3221224400 3221214664 1131289332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30800 13073 16 0 213645 0
vsize: 854644
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 62538 55 0 0 25 0 11 0 547225864 875155456 30810 4294967295 134512640 134569956 3221224400 3221214864 1131656773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30810 13073 16 0 213645 0
vsize: 854644
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 63530 55 0 0 25 0 11 0 547225864 875155456 30841 4294967295 134512640 134569956 3221224400 3221214760 1131505458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30841 13073 16 0 213645 0
vsize: 854644
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 64523 56 0 0 25 0 11 0 547225864 875155456 30847 4294967295 134512640 134569956 3221224400 3221214664 1131288434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30847 13073 16 0 213645 0
vsize: 854644
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 65516 56 0 0 25 0 11 0 547225864 875155456 30860 4294967295 134512640 134569956 3221224400 3221214664 1131287901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30860 13073 16 0 213645 0
vsize: 854644
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 66511 56 0 0 25 0 11 0 547225864 875155456 30860 4294967295 134512640 134569956 3221224400 3221214664 1131289294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30860 13073 16 0 213645 0
vsize: 854644
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 67504 57 0 0 25 0 11 0 547225864 875155456 30875 4294967295 134512640 134569956 3221224400 3221214664 1131288479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30875 13073 16 0 213645 0
vsize: 854644
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 68496 58 0 0 25 0 11 0 547225864 875155456 30888 4294967295 134512640 134569956 3221224400 3221214664 1131288479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30888 13073 16 0 213645 0
vsize: 854644
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 69491 58 0 0 17 0 11 0 547225864 875155456 30941 4294967295 134512640 134569956 3221224400 3221214664 1131288635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 30941 13073 16 0 213645 0
vsize: 854644
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 70488 58 0 0 25 0 11 0 547225864 875155456 30941 4294967295 134512640 134569956 3221224400 3221214664 1131288338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30941 13073 16 0 213645 0
vsize: 854644
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 71485 58 0 0 25 0 11 0 547225864 875155456 30941 4294967295 134512640 134569956 3221224400 3221214664 1131288545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30941 13073 16 0 213645 0
vsize: 854644
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 72482 58 0 0 25 0 11 0 547225864 875155456 30941 4294967295 134512640 134569956 3221224400 3221214664 1131289241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30941 13073 16 0 213645 0
vsize: 854644
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 73477 58 0 0 25 0 11 0 547225864 875155456 30942 4294967295 134512640 134569956 3221224400 3221214664 1131288479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30942 13073 16 0 213645 0
vsize: 854644
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 74473 58 0 0 25 0 11 0 547225864 875155456 30944 4294967295 134512640 134569956 3221224400 3221214664 1131288498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30944 13073 16 0 213645 0
vsize: 854644
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 75468 59 0 0 25 0 11 0 547225864 875155456 30955 4294967295 134512640 134569956 3221224400 3221214760 1131504564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30955 13073 16 0 213645 0
vsize: 854644
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 76461 59 0 0 25 0 11 0 547225864 875155456 30960 4294967295 134512640 134569956 3221224400 3221214432 1131351762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30960 13073 16 0 213645 0
vsize: 854644
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 77448 59 0 0 25 0 11 0 547225864 875155456 30964 4294967295 134512640 134569956 3221224400 3221214760 1131503561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30964 13073 16 0 213645 0
vsize: 854644
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 78422 59 0 0 24 0 11 0 547225864 875155456 30971 4294967295 134512640 134569956 3221224400 3221214664 1131288438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30971 13073 16 0 213645 0
vsize: 854644
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 79408 59 0 0 25 0 11 0 547225864 875155456 30975 4294967295 134512640 134569956 3221224400 3221214664 1131288550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30975 13073 16 0 213645 0
vsize: 854644
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 80382 60 0 0 25 0 11 0 547225864 875155456 30984 4294967295 134512640 134569956 3221224400 3221214632 1131804574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30984 13073 16 0 213645 0
vsize: 854644
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 81353 60 0 0 25 0 11 0 547225864 875155456 30987 4294967295 134512640 134569956 3221224400 3221214528 1131351601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30987 13073 16 0 213645 0
vsize: 854644
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 82317 60 0 0 25 0 11 0 547225864 875155456 30994 4294967295 134512640 134569956 3221224400 3221214760 1131503561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 30994 13073 16 0 213645 0
vsize: 854644
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 83256 60 0 0 25 0 11 0 547225864 875155456 31128 4294967295 134512640 134569956 3221224400 3221214760 1131505528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 31128 13073 16 0 213645 0
vsize: 854644
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 84176 60 0 0 25 0 11 0 547225864 875155456 31290 4294967295 134512640 134569956 3221224400 3221214664 1131288479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 31290 13073 16 0 213645 0
vsize: 854644
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 85132 60 0 0 25 0 11 0 547225864 875155456 31741 4294967295 134512640 134569956 3221224400 3221214760 1131503489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 31741 13073 16 0 213645 0
vsize: 854644
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 86124 60 0 0 25 0 11 0 547225864 875155456 31846 4294967295 134512640 134569956 3221224400 3221214664 1131288429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 31846 13073 16 0 213645 0
vsize: 854644
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 87119 60 0 0 25 0 11 0 547225864 875155456 31851 4294967295 134512640 134569956 3221224400 3221214664 1131287905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 31851 13073 16 0 213645 0
vsize: 854644
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 88111 60 0 0 25 0 11 0 547225864 875155456 31856 4294967295 134512640 134569956 3221224400 3221214760 1131503496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 31856 13073 16 0 213645 0
vsize: 854644
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 89102 60 0 0 25 0 11 0 547225864 875155456 31888 4294967295 134512640 134569956 3221224400 3221214760 1131503561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 31888 13073 16 0 213645 0
vsize: 854644
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 90094 60 0 0 25 0 11 0 547225864 875155456 31895 4294967295 134512640 134569956 3221224400 3221214664 1131289283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 31895 13073 16 0 213645 0
vsize: 854644
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 91089 60 0 0 25 0 11 0 547225864 875155456 32004 4294967295 134512640 134569956 3221224400 3221214920 1131241177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32004 13073 16 0 213645 0
vsize: 854644
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 92077 60 0 0 25 0 11 0 547225864 875155456 32004 4294967295 134512640 134569956 3221224400 3221214864 1131656773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32004 13073 16 0 213645 0
vsize: 854644
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 93062 60 0 0 25 0 11 0 547225864 875155456 32004 4294967295 134512640 134569956 3221224400 3221214528 1131351291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32004 13073 16 0 213645 0
vsize: 854644
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 94044 60 0 0 25 0 11 0 547225864 875155456 32004 4294967295 134512640 134569956 3221224400 3221214632 1131804560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32004 13073 16 0 213645 0
vsize: 854644
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18086 4 1 0 95020 61 0 0 25 0 11 0 547225864 875155456 32004 4294967295 134512640 134569956 3221224400 3221214760 1131508243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32004 13073 16 0 213645 0
vsize: 854644
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 95988 61 0 0 24 0 11 0 547225864 875155456 32005 4294967295 134512640 134569956 3221224400 3221214632 1131804552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32005 13073 16 0 213645 0
vsize: 854644
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 96960 61 0 0 25 0 11 0 547225864 875155456 32005 4294967295 134512640 134569956 3221224400 3221214664 1131287937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32005 13073 16 0 213645 0
vsize: 854644
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 97918 61 0 0 25 0 11 0 547225864 875155456 32084 4294967295 134512640 134569956 3221224400 3221214628 1131240099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32084 13073 16 0 213645 0
vsize: 854644
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 98875 61 0 0 25 0 11 0 547225864 875155456 32280 4294967295 134512640 134569956 3221224400 3221214800 1131521930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32280 13073 16 0 213645 0
vsize: 854644
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 99808 61 0 0 25 0 11 0 547225864 875155456 32411 4294967295 134512640 134569956 3221224400 3221214664 1131288973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32411 13073 16 0 213645 0
vsize: 854644
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 100760 62 0 0 25 0 11 0 547225864 875155456 32455 4294967295 134512640 134569956 3221224400 3221214664 1131289283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32455 13073 16 0 213645 0
vsize: 854644
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 101712 62 0 0 25 0 11 0 547225864 875155456 32578 4294967295 134512640 134569956 3221224400 3221214632 1131804712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32578 13073 16 0 213645 0
vsize: 854644
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 102674 62 0 0 25 0 11 0 547225864 875155456 32749 4294967295 134512640 134569956 3221224400 3221214520 1131542226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 32749 13073 16 0 213645 0
vsize: 854644
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 103631 62 0 0 25 0 11 0 547225864 875155456 32965 4294967295 134512640 134569956 3221224400 3221214632 1131804560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 32965 13073 16 0 213645 0
vsize: 854644
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 104601 62 0 0 25 0 11 0 547225864 875155456 33157 4294967295 134512640 134569956 3221224400 3221214632 1131804592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33157 13073 16 0 213645 0
vsize: 854644
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 105567 62 0 0 25 0 11 0 547225864 875155456 33283 4294967295 134512640 134569956 3221224400 3221214632 1131804556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33283 13073 16 0 213645 0
vsize: 854644
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 106531 62 0 0 25 0 11 0 547225864 875155456 33296 4294967295 134512640 134569956 3221224400 3221214632 1131804556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33296 13073 16 0 213645 0
vsize: 854644
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) S 9941 3260 3259 0 -1 0 18087 4 1 0 107495 63 0 0 25 0 11 0 547225864 875155456 33392 4294967295 134512640 134569956 3221224400 3221213176 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33392 13073 16 0 213645 0
vsize: 854644
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 108461 63 0 0 25 0 11 0 547225864 875155456 33505 4294967295 134512640 134569956 3221224400 3221214520 1131542004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33505 13073 16 0 213645 0
vsize: 854644
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 109422 63 0 0 25 0 11 0 547225864 875155456 33617 4294967295 134512640 134569956 3221224400 3221214180 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33617 13073 16 0 213645 0
vsize: 854644
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 110384 64 0 0 25 0 11 0 547225864 875155456 33728 4294967295 134512640 134569956 3221224400 3221214544 1131277033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33728 13073 16 0 213645 0
vsize: 854644
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 111338 64 0 0 24 0 11 0 547225864 875155456 33850 4294967295 134512640 134569956 3221224400 3221214664 1131288479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33850 13073 16 0 213645 0
vsize: 854644
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) S 9941 3260 3259 0 -1 0 18087 4 1 0 112306 64 0 0 25 0 11 0 547225864 875155456 33932 4294967295 134512640 134569956 3221224400 3221213168 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 33932 13073 16 0 213645 0
vsize: 854644
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 113262 64 0 0 25 0 11 0 547225864 875155456 34069 4294967295 134512640 134569956 3221224400 3221214528 1131351365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 34069 13073 16 0 213645 0
vsize: 854644
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 114224 65 0 0 25 0 11 0 547225864 875155456 34195 4294967295 134512640 134569956 3221224400 3221214528 1131351601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 34195 13073 16 0 213645 0
vsize: 854644
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 115193 65 0 0 25 0 11 0 547225864 875155456 34287 4294967295 134512640 134569956 3221224400 3221214296 1078022162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213661 34287 13073 16 0 213645 0
vsize: 854644
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 116156 65 0 0 25 0 11 0 547225864 875155456 34407 4294967295 134512640 134569956 3221224400 3221214632 1131804705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 34407 13073 16 0 213645 0
vsize: 854644
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 117118 66 0 0 25 0 11 0 547225864 875155456 34491 4294967295 134512640 134569956 3221224400 3221214664 1131288479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 34491 13073 16 0 213645 0
vsize: 854644
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 118051 66 0 0 25 0 11 0 547225864 875155456 34690 4294967295 134512640 134569956 3221224400 3221214760 1131503489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 34690 13073 16 0 213645 0
vsize: 854644
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 119010 67 0 0 25 0 11 0 547225864 875155456 34872 4294967295 134512640 134569956 3221224400 3221214664 1131288438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 34872 13073 16 0 213645 0
vsize: 854644
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 9953
Raw data (stat): 9942 (java) R 9941 3260 3259 0 -1 0 18087 4 1 0 119980 67 0 0 25 0 11 0 547225864 875155456 35052 4294967295 134512640 134569956 3221224400 3221214664 1131289376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213661 35052 13073 16 0 213645 0
vsize: 854644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 9955
Raw data (stat): 9942 (java) Z 9941 3260 3259 0 -1 1036 18087 23991 1 0 119983 73 5592 73 25 0 1 0 547225864 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): 1240.16
CPU time (s): 1257.23
CPU user time (s): 1255.76
CPU system time (s): 1.46878
CPU usage (%): 101.376
Max. virtual memory (Kb): 855732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####