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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
MD5SUMb6b40b25db69f63dc02649b5c9a3693a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 10894
Biggest coefficient in the objective function 1079902210
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 3040671454286
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1079902210
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3040671454286
Number of bits of the biggest sum of numbers42
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.81166
Number of variables10894
Total number of constraints11719
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)11518
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint1
Maximum length of a constraint5038

Trace number 20239

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        652472 kB
Buffers:         32600 kB
Cached:         326576 kB
SwapCached:          0 kB
Active:          77028 kB
Inactive:       284848 kB
HighTotal:      131008 kB
HighFree:         9828 kB
LowTotal:       903652 kB
LowFree:        642644 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6844 kB
Slab:            14536 kB
Committed_AS:    71768 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 20:47:32 (client local time) WITH STATUS 143 IN 1250.36 SECONDS
stats: 15271 7 1250.36 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sp98ic.opb
c reading problem 
c [nbvar=10894]
c [nbconstr=11719]
c time 48.27
c #vars     10894
c #clauses  826
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.74 0.90 0.89 2/54 18608
Raw data (stat): 18608 (runsolver) R 18607 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489726899 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.0012 s]
Raw data (loadavg): 0.78 0.90 0.89 2/63 18617
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 17975 0 1 0 898 41 0 0 25 0 10 0 489726899 853610496 19132 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 19132 13073 16 0 208385 0
vsize: 833604
[startup+20.003 s]
Raw data (loadavg): 0.81 0.91 0.89 2/63 18617
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 17975 0 1 0 1787 42 0 0 25 0 10 0 489726899 853889024 19702 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 19702 13073 16 0 208453 0
vsize: 833876
[startup+30.0037 s]
Raw data (loadavg): 0.84 0.91 0.90 2/63 18617
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 17975 0 1 0 2685 42 0 0 24 0 10 0 489726899 853889024 20129 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 20129 13073 16 0 208453 0
vsize: 833876
[startup+40.0056 s]
Raw data (loadavg): 1.03 0.94 0.91 4/63 18617
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18023 0 1 0 3612 42 0 0 25 0 10 0 489726899 870539264 24089 4294967295 134512640 134569956 3221224400 3221214468 1130887961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212534 24089 13073 16 0 212518 0
vsize: 850136
[startup+50.0063 s]
Raw data (loadavg): 1.25 0.99 0.92 3/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18078 0 1 0 4576 46 0 0 25 0 11 0 489726899 875810816 25811 4294967295 134512640 134569956 3221224400 3221214816 1130916390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 25811 13073 16 0 213805 0
vsize: 855284
[startup+60.006 s]
Raw data (loadavg): 1.28 1.01 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 5407 47 0 0 25 0 11 0 489726899 875810816 28753 4294967295 134512640 134569956 3221224400 3221214768 1131558728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 28753 13073 16 0 213805 0
vsize: 855284
[startup+70.0069 s]
Raw data (loadavg): 1.24 1.01 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 6349 47 0 0 24 0 11 0 489726899 875810816 28757 4294967295 134512640 134569956 3221224400 3221214676 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 28757 13073 16 0 213805 0
vsize: 855284
[startup+80.0078 s]
Raw data (loadavg): 1.20 1.01 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 7293 47 0 0 25 0 11 0 489726899 875810816 28757 4294967295 134512640 134569956 3221224400 3221214672 1131293618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 28757 13073 16 0 213805 0
vsize: 855284
[startup+90.0087 s]
Raw data (loadavg): 1.17 1.01 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 8203 47 0 0 24 0 11 0 489726899 875810816 28815 4294967295 134512640 134569956 3221224400 3221214680 1131583787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 28815 13073 16 0 213805 0
vsize: 855284
[startup+100.009 s]
Raw data (loadavg): 1.14 1.01 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 9103 48 0 0 25 0 11 0 489726899 875810816 29127 4294967295 134512640 134569956 3221224400 3221214848 1131667952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29127 13073 16 0 213805 0
vsize: 855284
[startup+110.01 s]
Raw data (loadavg): 1.12 1.01 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 10036 48 0 0 25 0 11 0 489726899 875810816 29319 4294967295 134512640 134569956 3221224400 3221214744 1131616084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29319 13073 16 0 213805 0
vsize: 855284
[startup+120.011 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 10971 48 0 0 25 0 11 0 489726899 875810816 29396 4294967295 134512640 134569956 3221224400 3221214696 1131603734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29396 13073 16 0 213805 0
vsize: 855284
[startup+130.012 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 11945 48 0 0 25 0 11 0 489726899 875810816 29885 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29885 13073 16 0 213805 0
vsize: 855284
[startup+140.014 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 12940 48 0 0 25 0 11 0 489726899 875810816 29885 4294967295 134512640 134569956 3221224400 3221214744 1131616416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29885 13073 16 0 213805 0
vsize: 855284
[startup+150.015 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 13936 48 0 0 25 0 11 0 489726899 875810816 29885 4294967295 134512640 134569956 3221224400 3221214680 1131583787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29885 13073 16 0 213805 0
vsize: 855284
[startup+160.015 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 14916 48 0 0 25 0 11 0 489726899 875810816 29885 4294967295 134512640 134569956 3221224400 3221214672 1131293370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29885 13073 16 0 213805 0
vsize: 855284
[startup+170.015 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 15863 49 0 0 25 0 11 0 489726899 875810816 29885 4294967295 134512640 134569956 3221224400 3221214768 1131559691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29885 13073 16 0 213805 0
vsize: 855284
[startup+180.016 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 16787 49 0 0 24 0 11 0 489726899 875810816 29885 4294967295 134512640 134569956 3221224400 3221214680 1131583787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29885 13073 16 0 213805 0
vsize: 855284
[startup+190.017 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 17725 50 0 0 25 0 11 0 489726899 875810816 29931 4294967295 134512640 134569956 3221224400 3221214728 1131713634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 29931 13073 16 0 213805 0
vsize: 855284
[startup+200.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 18662 50 0 0 25 0 11 0 489726899 875810816 30300 4294967295 134512640 134569956 3221224400 3221214824 1131679352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 30300 13073 16 0 213805 0
vsize: 855284
[startup+210.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 19574 51 0 0 25 0 11 0 489726899 875810816 30484 4294967295 134512640 134569956 3221224400 3221214488 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 30484 13073 16 0 213805 0
vsize: 855284
[startup+220.02 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 20494 51 0 0 25 0 11 0 489726899 875810816 30484 4294967295 134512640 134569956 3221224400 3221214688 1131409872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 30484 13073 16 0 213805 0
vsize: 855284
[startup+230.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 21417 51 0 0 25 0 11 0 489726899 875810816 30669 4294967295 134512640 134569956 3221224400 3221214416 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 30669 13073 16 0 213805 0
vsize: 855284
[startup+240.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 22373 51 0 0 25 0 11 0 489726899 875810816 31168 4294967295 134512640 134569956 3221224400 3221214768 1131557639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31168 13073 16 0 213805 0
vsize: 855284
[startup+250.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 23336 51 0 0 25 0 11 0 489726899 875810816 31168 4294967295 134512640 134569956 3221224400 3221214624 1131606052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31168 13073 16 0 213805 0
vsize: 855284
[startup+260.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 24279 52 0 0 25 0 11 0 489726899 875810816 31168 4294967295 134512640 134569956 3221224400 3221214744 1131614593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31168 13073 16 0 213805 0
vsize: 855284
[startup+270.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 25239 52 0 0 24 0 11 0 489726899 875810816 31421 4294967295 134512640 134569956 3221224400 3221214336 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31421 13073 16 0 213805 0
vsize: 855284
[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 26214 52 0 0 25 0 11 0 489726899 875810816 31532 4294967295 134512640 134569956 3221224400 3221214744 1131613409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31532 13073 16 0 213805 0
vsize: 855284
[startup+290.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 27207 53 0 0 17 0 11 0 489726899 875810816 31533 4294967295 134512640 134569956 3221224400 3221214620 1080203717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31533 13073 16 0 213805 0
vsize: 855284
[startup+300.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18117 0 1 0 28201 53 0 0 25 0 11 0 489726899 875810816 31533 4294967295 134512640 134569956 3221224400 3221214544 1131591543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31533 13073 16 0 213805 0
vsize: 855284
[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18118 0 1 0 29198 54 0 0 25 0 11 0 489726899 875810816 31539 4294967295 134512640 134569956 3221224400 3221214576 1131763003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31539 13073 16 0 213805 0
vsize: 855284
[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 30195 54 0 0 25 0 11 0 489726899 875810816 31542 4294967295 134512640 134569956 3221224400 3221214580 1130918706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31542 13073 16 0 213805 0
vsize: 855284
[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 31192 54 0 0 25 0 11 0 489726899 875810816 31545 4294967295 134512640 134569956 3221224400 3221214576 1131763382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31545 13073 16 0 213805 0
vsize: 855284
[startup+340.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 32191 54 0 0 25 0 11 0 489726899 875810816 31545 4294967295 134512640 134569956 3221224400 3221214600 1131672387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31545 13073 16 0 213805 0
vsize: 855284
[startup+350.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 33189 54 0 0 25 0 11 0 489726899 875810816 31545 4294967295 134512640 134569956 3221224400 3221214576 1131763375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31545 13073 16 0 213805 0
vsize: 855284
[startup+360.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 34188 55 0 0 25 0 11 0 489726899 875810816 31556 4294967295 134512640 134569956 3221224400 3221214576 1131763003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31556 13073 16 0 213805 0
vsize: 855284
[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 35187 55 0 0 25 0 11 0 489726899 875810816 31556 4294967295 134512640 134569956 3221224400 3221214488 1131307299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31556 13073 16 0 213805 0
vsize: 855284
[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 36185 55 0 0 25 0 11 0 489726899 875810816 31556 4294967295 134512640 134569956 3221224400 3221214488 1131307299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31556 13073 16 0 213805 0
vsize: 855284
[startup+390.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 37183 55 0 0 25 0 11 0 489726899 875810816 31557 4294967295 134512640 134569956 3221224400 3221214576 1131763375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31557 13073 16 0 213805 0
vsize: 855284
[startup+400.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 38182 55 0 0 25 0 11 0 489726899 875810816 31557 4294967295 134512640 134569956 3221224400 3221214576 1131763003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31557 13073 16 0 213805 0
vsize: 855284
[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 39178 56 0 0 25 0 11 0 489726899 875810816 31557 4294967295 134512640 134569956 3221224400 3221214744 1131615725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31557 13073 16 0 213805 0
vsize: 855284
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 40173 56 0 0 25 0 11 0 489726899 875810816 31557 4294967295 134512640 134569956 3221224400 3221214576 1131763003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31557 13073 16 0 213805 0
vsize: 855284
[startup+430.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 41169 56 0 0 25 0 11 0 489726899 875810816 31560 4294967295 134512640 134569956 3221224400 3221214600 1131672402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31560 13073 16 0 213805 0
vsize: 855284
[startup+440.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 42167 57 0 0 25 0 11 0 489726899 875810816 31560 4294967295 134512640 134569956 3221224400 3221214488 1131307140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31560 13073 16 0 213805 0
vsize: 855284
[startup+450.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 43164 57 0 0 25 0 11 0 489726899 875810816 31565 4294967295 134512640 134569956 3221224400 3221214576 1131763472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31565 13073 16 0 213805 0
vsize: 855284
[startup+460.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 44159 57 0 0 25 0 11 0 489726899 875810816 31566 4294967295 134512640 134569956 3221224400 3221214672 1131808302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31566 13073 16 0 213805 0
vsize: 855284
[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 45157 57 0 0 25 0 11 0 489726899 875810816 31577 4294967295 134512640 134569956 3221224400 3221214680 1131806416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31577 13073 16 0 213805 0
vsize: 855284
[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 46155 57 0 0 25 0 11 0 489726899 875810816 31577 4294967295 134512640 134569956 3221224400 3221214576 1131763382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31577 13073 16 0 213805 0
vsize: 855284
[startup+490.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 47153 57 0 0 25 0 11 0 489726899 875810816 31577 4294967295 134512640 134569956 3221224400 3221214568 1131307299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31577 13073 16 0 213805 0
vsize: 855284
[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 48152 58 0 0 25 0 11 0 489726899 875810816 31577 4294967295 134512640 134569956 3221224400 3221214672 1131808263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31577 13073 16 0 213805 0
vsize: 855284
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 49150 58 0 0 25 0 11 0 489726899 875810816 31579 4294967295 134512640 134569956 3221224400 3221214576 1131307443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31579 13073 16 0 213805 0
vsize: 855284
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 50147 58 0 0 25 0 11 0 489726899 875810816 31579 4294967295 134512640 134569956 3221224400 3221214548 1131650476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31579 13073 16 0 213805 0
vsize: 855284
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 51140 59 0 0 25 0 11 0 489726899 875810816 31579 4294967295 134512640 134569956 3221224400 3221214568 1131307299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31579 13073 16 0 213805 0
vsize: 855284
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 52138 59 0 0 25 0 11 0 489726899 875810816 31579 4294967295 134512640 134569956 3221224400 3221214568 1131307140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31579 13073 16 0 213805 0
vsize: 855284
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 53134 59 0 0 25 0 11 0 489726899 875810816 31579 4294967295 134512640 134569956 3221224400 3221214472 1131666342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31579 13073 16 0 213805 0
vsize: 855284
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 54132 59 0 0 25 0 11 0 489726899 875810816 31582 4294967295 134512640 134569956 3221224400 3221214576 1131763516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31582 13073 16 0 213805 0
vsize: 855284
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 55129 59 0 0 25 0 11 0 489726899 875810816 31582 4294967295 134512640 134569956 3221224400 3221214568 1131306991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31582 13073 16 0 213805 0
vsize: 855284
[startup+580.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 56127 60 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214680 1131806423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 57126 60 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214568 1131307140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 58125 60 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214568 1131307315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 59124 61 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214568 1131307257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 60122 61 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214576 1131763382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 61120 61 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214688 1131409886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 62117 61 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214568 1131307140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 63115 61 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214576 1131765206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 64113 62 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214576 1131764129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 65110 62 0 0 25 0 11 0 489726899 875810816 31593 4294967295 134512640 134569956 3221224400 3221214576 1131763472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31593 13073 16 0 213805 0
vsize: 855284
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 66107 63 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214568 1131307088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 67106 63 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214576 1131763003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+700.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 68106 63 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214672 1131808270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+710.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 69105 63 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214576 1131762960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 70104 63 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214680 1131806561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+730.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 71103 63 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214672 1131808272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 72101 64 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214568 1131307381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 73099 64 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214568 1131307299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 74096 64 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214576 1131765206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 75093 65 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214568 1131307999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 76091 65 0 0 25 0 11 0 489726899 875810816 31608 4294967295 134512640 134569956 3221224400 3221214576 1131763382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31608 13073 16 0 213805 0
vsize: 855284
[startup+790.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 77090 65 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214568 1131307299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+800.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 78089 66 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214576 1131763382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+810.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 79087 66 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214672 1131808263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+820.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 80086 66 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214568 1131307299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+830.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 81085 67 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214576 1131763386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+840.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 82081 67 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214664 1131549382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+850.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 83073 68 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+860.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 84070 68 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214568 1131307299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+870.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 85068 68 0 0 25 0 11 0 489726899 875810816 31625 4294967295 134512640 134569956 3221224400 3221214672 1131808263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31625 13073 16 0 213805 0
vsize: 855284
[startup+880.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 86068 68 0 0 25 0 11 0 489726899 875810816 31631 4294967295 134512640 134569956 3221224400 3221214568 1131307255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31631 13073 16 0 213805 0
vsize: 855284
[startup+890.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 87066 69 0 0 25 0 11 0 489726899 875810816 31631 4294967295 134512640 134569956 3221224400 3221214576 1131763046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31631 13073 16 0 213805 0
vsize: 855284
[startup+900.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 88064 69 0 0 25 0 11 0 489726899 875810816 31631 4294967295 134512640 134569956 3221224400 3221214672 1131808263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31631 13073 16 0 213805 0
vsize: 855284
[startup+910.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 89063 69 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214568 1131307941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+920.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 90061 70 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214568 1131307257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+930.126 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 91061 70 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214576 1131763382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+940.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 92059 70 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214576 1131763136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+950.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 93058 71 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214576 1131763104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+960.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 94055 71 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214672 1131808263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+970.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 95052 71 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214576 1131763008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+980.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 96049 72 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214568 1131307140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+990.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 97047 72 0 0 25 0 11 0 489726899 875810816 31642 4294967295 134512640 134569956 3221224400 3221214568 1131307140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31642 13073 16 0 213805 0
vsize: 855284
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 98045 72 0 0 25 0 11 0 489726899 875810816 31648 4294967295 134512640 134569956 3221224400 3221214576 1131763375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31648 13073 16 0 213805 0
vsize: 855284
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 99043 73 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214568 1131307454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 100042 73 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214672 1131808263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 101041 74 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214680 1131806423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 102040 74 0 0 20 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214568 1131307330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 103039 74 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214680 1131806423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 104038 74 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214568 1131307955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 105036 74 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214576 1131763472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 106034 74 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214680 1131806416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 107032 74 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214576 1131763472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 108030 74 0 0 25 0 11 0 489726899 875810816 31658 4294967295 134512640 134569956 3221224400 3221214568 1131307299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213821 31658 13073 16 0 213805 0
vsize: 855284
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 109028 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214576 1131763382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 110028 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214672 1131808263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 111027 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214672 1131808248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 112026 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214576 1131763472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 113025 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214568 1131307737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 114024 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214680 1131806420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 115013 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214544 1131592158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 115989 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214676 1131603564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 116964 74 0 0 25 0 11 0 489726899 875810816 31675 4294967295 134512640 134569956 3221224400 3221214696 1131603738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31675 13073 16 0 213805 0
vsize: 855284
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 117941 75 0 0 25 0 11 0 489726899 875810816 31756 4294967295 134512640 134569956 3221224400 3221214848 1131667744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31756 13073 16 0 213805 0
vsize: 855284
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 118936 75 0 0 25 0 11 0 489726899 875810816 31756 4294967295 134512640 134569956 3221224400 3221214624 1131606062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31756 13073 16 0 213805 0
vsize: 855284
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) S 18607 10720 10719 0 -1 0 18119 0 1 0 119923 75 0 0 25 0 11 0 489726899 875810816 31756 4294967295 134512640 134569956 3221224400 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31756 13073 16 0 213805 0
vsize: 855284
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18618
Raw data (stat): 18608 (java) R 18607 10720 10719 0 -1 0 18119 0 1 0 120886 75 0 0 25 0 11 0 489726899 875810816 31756 4294967295 134512640 134569956 3221224400 3221214744 1131613809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213821 31756 13073 16 0 213805 0
vsize: 855284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.31 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 18620
Raw data (stat): 18608 (java) Z 18607 10720 10719 0 -1 1036 18119 21843 1 0 120890 80 4006 58 23 0 1 0 489726899 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): 1230.31
CPU time (s): 1250.36
CPU user time (s): 1248.97
CPU system time (s): 1.39379
CPU usage (%): 101.63
Max. virtual memory (Kb): 855284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####