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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standgub.opb
MD5SUM4278f4b256e2a8fa799a6ca1554251b3
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 140
Biggest coefficient in the objective function 52428800
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 318766800
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 75573493760
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 2374370081400
Number of bits of the biggest sum of numbers42
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables22302
Total number of constraints463
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints463
Minimum length of a constraint8
Maximum length of a constraint14900

Trace number 19567 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-04-21 19:19:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16519 boxname=wulflinc3 idbench=1271 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4278f4b256e2a8fa799a6ca1554251b3  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-standgub.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-standgub.opb
IDLAUNCH: 16519
/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:        690844 kB
Buffers:         31628 kB
Cached:         289468 kB
SwapCached:          0 kB
Active:          59952 kB
Inactive:       263960 kB
HighTotal:      131008 kB
HighFree:        46872 kB
LowTotal:       903652 kB
LowFree:        643972 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6844 kB
Slab:            14384 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 19:40:29 (client local time) WITH STATUS 143 IN 1241.62 SECONDS
stats: 16519 7 1241.62 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-standgub.opb
c reading problem 
c [nbvar=22322]
c [nbconstr=463]
c time 155.287
c #vars     22302
c #clauses  616
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.84 0.94 0.90 2/54 16890
Raw data (stat): 16890 (runsolver) R 16889 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489324512 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 1.17 1.01 0.92 2/63 16899
Raw data (stat): 16890 (java) S 16889 10720 10719 0 -1 0 18015 0 1 0 843 42 0 0 25 0 10 0 489324512 856932352 20067 4294967295 134512640 134569956 3221224400 3221213744 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209212 20068 13073 16 0 209196 0
vsize: 836848
[startup+20.0015 s]
Raw data (loadavg): 1.15 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 1731 43 0 0 25 0 10 0 489324512 856768512 20677 4294967295 134512640 134569956 3221224400 3221214608 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 20677 13073 16 0 209156 0
vsize: 836688
[startup+30.0037 s]
Raw data (loadavg): 1.12 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 2608 43 0 0 25 0 10 0 489324512 856768512 21114 4294967295 134512640 134569956 3221224400 3221214384 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 21114 13073 16 0 209156 0
vsize: 836688
[startup+40.0038 s]
Raw data (loadavg): 1.10 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 3515 43 0 0 25 0 10 0 489324512 856768512 21507 4294967295 134512640 134569956 3221224400 3221214728 1131228417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 21507 13073 16 0 209156 0
vsize: 836688
[startup+50.004 s]
Raw data (loadavg): 1.09 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 4434 43 0 0 25 0 10 0 489324512 856768512 21725 4294967295 134512640 134569956 3221224400 3221214808 1131330040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 21725 13073 16 0 209156 0
vsize: 836688
[startup+60.0049 s]
Raw data (loadavg): 1.07 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 5341 43 0 0 25 0 10 0 489324512 856768512 21907 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 21907 13073 16 0 209156 0
vsize: 836688
[startup+70.0053 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 6257 44 0 0 25 0 10 0 489324512 856768512 22058 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22058 13073 16 0 209156 0
vsize: 836688
[startup+80.0061 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 7182 44 0 0 25 0 10 0 489324512 856768512 22268 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22268 13073 16 0 209156 0
vsize: 836688
[startup+90.0067 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 8112 44 0 0 25 0 10 0 489324512 856768512 22393 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22393 13073 16 0 209156 0
vsize: 836688
[startup+100.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 9042 45 0 0 25 0 10 0 489324512 856768512 22504 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22504 13073 16 0 209156 0
vsize: 836688
[startup+110.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 9969 45 0 0 24 0 10 0 489324512 856768512 22614 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22614 13073 16 0 209156 0
vsize: 836688
[startup+120.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 10902 45 0 0 25 0 10 0 489324512 856768512 22708 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22708 13073 16 0 209156 0
vsize: 836688
[startup+130.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 11834 46 0 0 25 0 10 0 489324512 856768512 22798 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22798 13073 16 0 209156 0
vsize: 836688
[startup+140.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 12754 46 0 0 25 0 10 0 489324512 856768512 22887 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22887 13073 16 0 209156 0
vsize: 836688
[startup+150.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 16899
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18016 0 1 0 13680 47 0 0 25 0 10 0 489324512 856768512 22989 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209172 22989 13073 16 0 209156 0
vsize: 836688
[startup+160.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18045 0 1 0 14613 47 0 0 25 0 11 0 489324512 857296896 24904 4294967295 134512640 134569956 3221224400 3221214672 1131259226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209301 24904 13073 16 0 209285 0
vsize: 837204
[startup+170.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18084 0 1 0 15523 48 0 0 25 0 11 0 489324512 860540928 25918 4294967295 134512640 134569956 3221224400 3221214688 1131402686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25918 13073 16 0 210077 0
vsize: 840372
[startup+180.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18084 0 1 0 16515 48 0 0 25 0 11 0 489324512 860540928 25918 4294967295 134512640 134569956 3221224400 3221214760 1131434424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25918 13073 16 0 210077 0
vsize: 840372
[startup+190.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18084 0 1 0 17509 48 0 0 25 0 11 0 489324512 860540928 25918 4294967295 134512640 134569956 3221224400 3221214712 1131278050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25918 13073 16 0 210077 0
vsize: 840372
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18084 0 1 0 18503 48 0 0 25 0 11 0 489324512 860540928 25929 4294967295 134512640 134569956 3221224400 3221214448 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25929 13073 16 0 210077 0
vsize: 840372
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18084 0 1 0 19498 49 0 0 25 0 11 0 489324512 860540928 25929 4294967295 134512640 134569956 3221224400 3221214552 1131393924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 25929 13073 16 0 210077 0
vsize: 840372
[startup+220.066 s]
Raw data (loadavg): 1.00 1.00 0.92 4/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18085 0 1 0 20488 49 0 0 25 0 11 0 489324512 862306304 26295 4294967295 134512640 134569956 3221224400 3221214152 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210524 26295 13073 16 0 210508 0
vsize: 842096
[startup+230.067 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18086 0 1 0 21435 49 0 0 25 0 11 0 489324512 862658560 26260 4294967295 134512640 134569956 3221224400 3221214696 1131554233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210610 26260 13073 16 0 210594 0
vsize: 842440
[startup+240.067 s]
Raw data (loadavg): 1.13 1.03 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18086 0 1 0 22390 49 0 0 25 0 11 0 489324512 862384128 26201 4294967295 134512640 134569956 3221224400 3221214672 1131260439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26201 13073 16 0 210527 0
vsize: 842172
[startup+250.068 s]
Raw data (loadavg): 1.11 1.03 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18086 0 1 0 23338 49 0 0 25 0 11 0 489324512 862384128 26201 4294967295 134512640 134569956 3221224400 3221214768 1131351653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26201 13073 16 0 210527 0
vsize: 842172
[startup+260.069 s]
Raw data (loadavg): 1.09 1.03 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18086 0 1 0 24292 50 0 0 25 0 11 0 489324512 862384128 26454 4294967295 134512640 134569956 3221224400 3221214768 1131350748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26454 13073 16 0 210527 0
vsize: 842172
[startup+270.07 s]
Raw data (loadavg): 1.08 1.03 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 25285 50 0 0 25 0 11 0 489324512 862384128 26459 4294967295 134512640 134569956 3221224400 3221214672 1131259557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26459 13073 16 0 210527 0
vsize: 842172
[startup+280.07 s]
Raw data (loadavg): 1.06 1.03 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 26278 50 0 0 18 0 11 0 489324512 862384128 26463 4294967295 134512640 134569956 3221224400 3221214672 1131260474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26463 13073 16 0 210527 0
vsize: 842172
[startup+290.071 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 27270 50 0 0 25 0 11 0 489324512 862384128 26465 4294967295 134512640 134569956 3221224400 3221214672 1131259557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26465 13073 16 0 210527 0
vsize: 842172
[startup+300.071 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 28261 50 0 0 25 0 11 0 489324512 862384128 26468 4294967295 134512640 134569956 3221224400 3221214672 1131260452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26468 13073 16 0 210527 0
vsize: 842172
[startup+310.072 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 29257 50 0 0 25 0 11 0 489324512 862384128 26470 4294967295 134512640 134569956 3221224400 3221214768 1131353566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26470 13073 16 0 210527 0
vsize: 842172
[startup+320.072 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 30252 50 0 0 25 0 11 0 489324512 862384128 26477 4294967295 134512640 134569956 3221224400 3221214608 1131382627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26477 13073 16 0 210527 0
vsize: 842172
[startup+330.077 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 31247 50 0 0 25 0 11 0 489324512 862384128 26480 4294967295 134512640 134569956 3221224400 3221214868 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26480 13073 16 0 210527 0
vsize: 842172
[startup+340.077 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 32241 50 0 0 25 0 11 0 489324512 862384128 26480 4294967295 134512640 134569956 3221224400 3221214528 1131394721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210543 26480 13073 16 0 210527 0
vsize: 842172
[startup+350.077 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 33235 50 0 0 25 0 11 0 489324512 862015488 26397 4294967295 134512640 134569956 3221224400 3221214608 1131244129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26397 13073 16 0 210437 0
vsize: 841812
[startup+360.078 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 34231 51 0 0 25 0 11 0 489324512 862015488 26397 4294967295 134512640 134569956 3221224400 3221214608 1131259467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26397 13073 16 0 210437 0
vsize: 841812
[startup+370.079 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 35225 51 0 0 25 0 11 0 489324512 862015488 26397 4294967295 134512640 134569956 3221224400 3221214768 1131353540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26397 13073 16 0 210437 0
vsize: 841812
[startup+380.079 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 36203 51 0 0 24 0 11 0 489324512 862015488 26397 4294967295 134512640 134569956 3221224400 3221214768 1131351729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26397 13073 16 0 210437 0
vsize: 841812
[startup+390.08 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 37193 51 0 0 25 0 11 0 489324512 862015488 26447 4294967295 134512640 134569956 3221224400 3221214672 1131259456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26447 13073 16 0 210437 0
vsize: 841812
[startup+400.08 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 38187 52 0 0 25 0 11 0 489324512 862015488 26448 4294967295 134512640 134569956 3221224400 3221214736 1131435943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26448 13073 16 0 210437 0
vsize: 841812
[startup+410.081 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 39181 52 0 0 25 0 11 0 489324512 862015488 26448 4294967295 134512640 134569956 3221224400 3221214688 1131244778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26448 13073 16 0 210437 0
vsize: 841812
[startup+420.081 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 40176 53 0 0 25 0 11 0 489324512 862015488 26450 4294967295 134512640 134569956 3221224400 3221214624 1131428474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26450 13073 16 0 210437 0
vsize: 841812
[startup+430.083 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 41162 53 0 0 25 0 11 0 489324512 862015488 26452 4294967295 134512640 134569956 3221224400 3221214768 1131349726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26452 13073 16 0 210437 0
vsize: 841812
[startup+440.083 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 42140 53 0 0 25 0 11 0 489324512 862015488 26452 4294967295 134512640 134569956 3221224400 3221214768 1131350742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26452 13073 16 0 210437 0
vsize: 841812
[startup+450.084 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 43131 53 0 0 25 0 11 0 489324512 862015488 26503 4294967295 134512640 134569956 3221224400 3221214672 1131260021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26503 13073 16 0 210437 0
vsize: 841812
[startup+460.084 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 44123 53 0 0 25 0 11 0 489324512 862015488 26508 4294967295 134512640 134569956 3221224400 3221214280 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26508 13073 16 0 210437 0
vsize: 841812
[startup+470.085 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 45117 53 0 0 25 0 11 0 489324512 862015488 26509 4294967295 134512640 134569956 3221224400 3221214792 1131606385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26509 13073 16 0 210437 0
vsize: 841812
[startup+480.086 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 46106 54 0 0 25 0 11 0 489324512 862015488 26510 4294967295 134512640 134569956 3221224400 3221214664 1131402592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26510 13073 16 0 210437 0
vsize: 841812
[startup+490.086 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 47061 54 0 0 25 0 11 0 489324512 862015488 26511 4294967295 134512640 134569956 3221224400 3221214696 1131259508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26511 13073 16 0 210437 0
vsize: 841812
[startup+500.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 48028 55 0 0 25 0 11 0 489324512 862015488 26511 4294967295 134512640 134569956 3221224400 3221214632 1131392009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26511 13073 16 0 210437 0
vsize: 841812
[startup+510.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 48981 55 0 0 25 0 11 0 489324512 862015488 26561 4294967295 134512640 134569956 3221224400 3221214768 1131353602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26561 13073 16 0 210437 0
vsize: 841812
[startup+520.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 49932 55 0 0 25 0 11 0 489324512 862015488 26615 4294967295 134512640 134569956 3221224400 3221214672 1131259588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26615 13073 16 0 210437 0
vsize: 841812
[startup+530.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 50922 55 0 0 25 0 11 0 489324512 862015488 26868 4294967295 134512640 134569956 3221224400 3221214672 1131259963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26868 13073 16 0 210437 0
vsize: 841812
[startup+540.089 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 51916 55 0 0 25 0 11 0 489324512 862015488 26873 4294967295 134512640 134569956 3221224400 3221214664 1131402821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26873 13073 16 0 210437 0
vsize: 841812
[startup+550.089 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 52909 56 0 0 25 0 11 0 489324512 862015488 26876 4294967295 134512640 134569956 3221224400 3221214536 1131465389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26876 13073 16 0 210437 0
vsize: 841812
[startup+560.089 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 53904 56 0 0 25 0 11 0 489324512 862015488 26877 4294967295 134512640 134569956 3221224400 3221214688 1131244039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26877 13073 16 0 210437 0
vsize: 841812
[startup+570.091 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18087 0 1 0 54901 56 0 0 25 0 11 0 489324512 862015488 26877 4294967295 134512640 134569956 3221224400 3221214560 1131612723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210453 26877 13073 16 0 210437 0
vsize: 841812
[startup+580.092 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 55880 56 0 0 24 0 11 0 489324512 862015488 26886 4294967295 134512640 134569956 3221224400 3221214664 1131404761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26886 13073 16 0 210437 0
vsize: 841812
[startup+590.093 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 56860 56 0 0 25 0 11 0 489324512 862015488 26886 4294967295 134512640 134569956 3221224400 3221214736 1131434866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26886 13073 16 0 210437 0
vsize: 841812
[startup+600.093 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 57842 56 0 0 25 0 11 0 489324512 862015488 26936 4294967295 134512640 134569956 3221224400 3221214688 1131244008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26936 13073 16 0 210437 0
vsize: 841812
[startup+610.094 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 58836 56 0 0 25 0 11 0 489324512 862015488 26966 4294967295 134512640 134569956 3221224400 3221214728 1131554210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26966 13073 16 0 210437 0
vsize: 841812
[startup+620.093 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 59811 56 0 0 19 0 11 0 489324512 862015488 26967 4294967295 134512640 134569956 3221224400 3221214736 1131435846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26967 13073 16 0 210437 0
vsize: 841812
[startup+630.095 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 60784 56 0 0 24 0 11 0 489324512 862015488 26967 4294967295 134512640 134569956 3221224400 3221214488 1131423567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 26967 13073 16 0 210437 0
vsize: 841812
[startup+640.096 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 61761 56 0 0 25 0 11 0 489324512 862015488 27017 4294967295 134512640 134569956 3221224400 3221214696 1131260474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27017 13073 16 0 210437 0
vsize: 841812
[startup+650.096 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 62753 56 0 0 25 0 11 0 489324512 862015488 27099 4294967295 134512640 134569956 3221224400 3221214728 1131554240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27099 13073 16 0 210437 0
vsize: 841812
[startup+660.096 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 63734 56 0 0 25 0 11 0 489324512 862015488 27100 4294967295 134512640 134569956 3221224400 3221214696 1131260374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27100 13073 16 0 210437 0
vsize: 841812
[startup+670.097 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 64720 57 0 0 25 0 11 0 489324512 862015488 27100 4294967295 134512640 134569956 3221224400 3221214728 1131554212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27100 13073 16 0 210437 0
vsize: 841812
[startup+680.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 65673 57 0 0 25 0 11 0 489324512 862015488 27152 4294967295 134512640 134569956 3221224400 3221214736 1131435116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27152 13073 16 0 210437 0
vsize: 841812
[startup+690.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 66621 57 0 0 25 0 11 0 489324512 862015488 27153 4294967295 134512640 134569956 3221224400 3221214608 1131382154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27153 13073 16 0 210437 0
vsize: 841812
[startup+700.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 67576 57 0 0 24 0 11 0 489324512 862015488 27407 4294967295 134512640 134569956 3221224400 3221214792 1131606747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27407 13073 16 0 210437 0
vsize: 841812
[startup+710.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 68554 57 0 0 25 0 11 0 489324512 862015488 27444 4294967295 134512640 134569956 3221224400 3221214624 1131428477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27444 13073 16 0 210437 0
vsize: 841812
[startup+720.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 69527 57 0 0 25 0 11 0 489324512 862015488 27445 4294967295 134512640 134569956 3221224400 3221214736 1131436732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27445 13073 16 0 210437 0
vsize: 841812
[startup+730.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 70486 57 0 0 25 0 11 0 489324512 862015488 27445 4294967295 134512640 134569956 3221224400 3221214792 1131606653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27445 13073 16 0 210437 0
vsize: 841812
[startup+740.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 71458 57 0 0 25 0 11 0 489324512 862015488 27445 4294967295 134512640 134569956 3221224400 3221214728 1131554210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27445 13073 16 0 210437 0
vsize: 841812
[startup+750.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 72417 57 0 0 25 0 11 0 489324512 862015488 27697 4294967295 134512640 134569956 3221224400 3221214656 1131389047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27697 13073 16 0 210437 0
vsize: 841812
[startup+760.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 73382 57 0 0 24 0 11 0 489324512 862015488 27699 4294967295 134512640 134569956 3221224400 3221214724 1080203708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27699 13073 16 0 210437 0
vsize: 841812
[startup+770.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 74373 57 0 0 25 0 11 0 489324512 862015488 27951 4294967295 134512640 134569956 3221224400 3221214736 1131434532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27951 13073 16 0 210437 0
vsize: 841812
[startup+780.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 75368 57 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214736 1131437120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+790.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 76363 57 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214720 1131392009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+800.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 77358 57 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214688 1131278195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+810.116 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 78354 57 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214868 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+820.116 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 79350 58 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214736 1131434035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+830.116 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 80345 58 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214736 1131435427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+840.116 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 81340 58 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214736 1131437071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+850.117 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 82336 58 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214648 1131318611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+860.117 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 83326 58 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214768 1131353587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+870.118 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 84305 58 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214768 1131351729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+880.119 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 85282 58 0 0 25 0 11 0 489324512 862015488 27955 4294967295 134512640 134569956 3221224400 3221214672 1131260056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 27955 13073 16 0 210437 0
vsize: 841812
[startup+890.119 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 86277 58 0 0 25 0 11 0 489324512 862015488 28022 4294967295 134512640 134569956 3221224400 3221214672 1131259398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28022 13073 16 0 210437 0
vsize: 841812
[startup+900.119 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 87275 58 0 0 25 0 11 0 489324512 862015488 28023 4294967295 134512640 134569956 3221224400 3221214672 1131259743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28023 13073 16 0 210437 0
vsize: 841812
[startup+910.12 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 88271 58 0 0 25 0 11 0 489324512 862015488 28025 4294967295 134512640 134569956 3221224400 3221214768 1131349726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28025 13073 16 0 210437 0
vsize: 841812
[startup+920.12 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 89268 58 0 0 25 0 11 0 489324512 862015488 28026 4294967295 134512640 134569956 3221224400 3221214672 1131259557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28026 13073 16 0 210437 0
vsize: 841812
[startup+930.121 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 90262 58 0 0 25 0 11 0 489324512 862015488 28027 4294967295 134512640 134569956 3221224400 3221214736 1131434405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28027 13073 16 0 210437 0
vsize: 841812
[startup+940.122 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 91257 59 0 0 25 0 11 0 489324512 862015488 28028 4294967295 134512640 134569956 3221224400 3221214584 1131418760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28028 13073 16 0 210437 0
vsize: 841812
[startup+950.122 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 92251 59 0 0 25 0 11 0 489324512 862015488 28029 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28029 13073 16 0 210437 0
vsize: 841812
[startup+960.123 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 93247 59 0 0 25 0 11 0 489324512 862015488 28030 4294967295 134512640 134569956 3221224400 3221214664 1131403624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28030 13073 16 0 210437 0
vsize: 841812
[startup+970.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 94242 59 0 0 25 0 11 0 489324512 862015488 28030 4294967295 134512640 134569956 3221224400 3221214736 1131435509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28030 13073 16 0 210437 0
vsize: 841812
[startup+980.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 95238 59 0 0 25 0 11 0 489324512 862015488 28030 4294967295 134512640 134569956 3221224400 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28030 13073 16 0 210437 0
vsize: 841812
[startup+990.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 96233 59 0 0 25 0 11 0 489324512 862015488 28030 4294967295 134512640 134569956 3221224400 3221214696 1131259557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28030 13073 16 0 210437 0
vsize: 841812
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 97231 59 0 0 25 0 11 0 489324512 862015488 28030 4294967295 134512640 134569956 3221224400 3221214648 1131318584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28030 13073 16 0 210437 0
vsize: 841812
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 98204 59 0 0 25 0 11 0 489324512 862015488 28030 4294967295 134512640 134569956 3221224400 3221214672 1131259148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28030 13073 16 0 210437 0
vsize: 841812
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 99174 59 0 0 25 0 11 0 489324512 862015488 28030 4294967295 134512640 134569956 3221224400 3221214560 1131612859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28030 13073 16 0 210437 0
vsize: 841812
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 100153 59 0 0 25 0 11 0 489324512 862015488 28081 4294967295 134512640 134569956 3221224400 3221214672 1131259557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28081 13073 16 0 210437 0
vsize: 841812
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 101133 59 0 0 25 0 11 0 489324512 862015488 28213 4294967295 134512640 134569956 3221224400 3221214560 1131612859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28213 13073 16 0 210437 0
vsize: 841812
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 102129 59 0 0 25 0 11 0 489324512 862015488 28213 4294967295 134512640 134569956 3221224400 3221214672 1131259327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28213 13073 16 0 210437 0
vsize: 841812
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 103126 59 0 0 25 0 11 0 489324512 862015488 28223 4294967295 134512640 134569956 3221224400 3221214672 1131259148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28223 13073 16 0 210437 0
vsize: 841812
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 104122 60 0 0 25 0 11 0 489324512 862015488 28226 4294967295 134512640 134569956 3221224400 3221214768 1131350788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28226 13073 16 0 210437 0
vsize: 841812
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 105117 60 0 0 25 0 11 0 489324512 862015488 28233 4294967295 134512640 134569956 3221224400 3221214672 1131259693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28233 13073 16 0 210437 0
vsize: 841812
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 106112 60 0 0 25 0 11 0 489324512 862015488 28243 4294967295 134512640 134569956 3221224400 3221214672 1131259133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28243 13073 16 0 210437 0
vsize: 841812
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 107108 60 0 0 25 0 11 0 489324512 862015488 28246 4294967295 134512640 134569956 3221224400 3221214672 1131259410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28246 13073 16 0 210437 0
vsize: 841812
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 108105 60 0 0 25 0 11 0 489324512 862015488 28255 4294967295 134512640 134569956 3221224400 3221214672 1131259798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28255 13073 16 0 210437 0
vsize: 841812
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 109102 60 0 0 25 0 11 0 489324512 862015488 28258 4294967295 134512640 134569956 3221224400 3221214664 1131402811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28258 13073 16 0 210437 0
vsize: 841812
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 110098 60 0 0 25 0 11 0 489324512 862015488 28259 4294967295 134512640 134569956 3221224400 3221214472 1131421906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28259 13073 16 0 210437 0
vsize: 841812
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 111081 60 0 0 25 0 11 0 489324512 862015488 28259 4294967295 134512640 134569956 3221224400 3221214792 1131606544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28259 13073 16 0 210437 0
vsize: 841812
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 112073 60 0 0 25 0 11 0 489324512 862015488 28260 4294967295 134512640 134569956 3221224400 3221214768 1131353602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28260 13073 16 0 210437 0
vsize: 841812
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 113035 60 0 0 25 0 11 0 489324512 862015488 28260 4294967295 134512640 134569956 3221224400 3221214768 1131351717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28260 13073 16 0 210437 0
vsize: 841812
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 114000 60 0 0 25 0 11 0 489324512 862015488 28260 4294967295 134512640 134569956 3221224400 3221214560 1131612866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28260 13073 16 0 210437 0
vsize: 841812
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 114978 60 0 0 25 0 11 0 489324512 862015488 28511 4294967295 134512640 134569956 3221224400 3221214672 1131259557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28511 13073 16 0 210437 0
vsize: 841812
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 115973 60 0 0 25 0 11 0 489324512 862015488 28520 4294967295 134512640 134569956 3221224400 3221214672 1131259557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28520 13073 16 0 210437 0
vsize: 841812
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 116968 60 0 0 25 0 11 0 489324512 862015488 28528 4294967295 134512640 134569956 3221224400 3221214672 1131259557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28528 13073 16 0 210437 0
vsize: 841812
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 117963 60 0 0 25 0 11 0 489324512 862015488 28534 4294967295 134512640 134569956 3221224400 3221214768 1131350838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28534 13073 16 0 210437 0
vsize: 841812
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 118960 60 0 0 25 0 11 0 489324512 862015488 28545 4294967295 134512640 134569956 3221224400 3221214672 1131259226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28545 13073 16 0 210437 0
vsize: 841812
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16900
Raw data (stat): 16890 (java) R 16889 10720 10719 0 -1 0 18088 0 1 0 119957 61 0 0 25 0 11 0 489324512 862015488 28548 4294967295 134512640 134569956 3221224400 3221214552 1131558180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210453 28548 13073 16 0 210437 0
vsize: 841812
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 16902
Raw data (stat): 16890 (java) Z 16889 10720 10719 0 -1 1036 18088 14224 1 0 119957 66 4089 47 25 0 1 0 489324512 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.21
CPU time (s): 1241.62
CPU user time (s): 1240.48
CPU system time (s): 1.13883
CPU usage (%): 100.927
Max. virtual memory (Kb): 842440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####