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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb
MD5SUMc2339539ffa69702e62053614fe34ce1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44800
Optimality of the best value was proved NO
Number of terms in the objective function 252
Biggest coefficient in the objective function 2621440
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 35682270
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 2621440
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 35682270
Number of bits of the biggest sum of numbers26
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark24.1133
Number of variables252
Total number of constraints19
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 constraints19
Minimum length of a constraint21
Maximum length of a constraint80

Trace number 14943 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        816360 kB
Buffers:         27992 kB
Cached:         167644 kB
SwapCached:          0 kB
Active:          24944 kB
Inactive:       173468 kB
HighTotal:      131008 kB
HighFree:        43540 kB
LowTotal:       903652 kB
LowFree:        772820 kB
SwapTotal:     2097136 kB
SwapFree:      2096988 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            14276 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 02:29:15 (client local time) WITH STATUS 143 IN 1240.85 SECONDS
stats: 18976 7 1240.85 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-bk4x3.opb
c reading problem 
c [nbvar=252]
c [nbconstr=19]
c time 0.784
c #vars     252
c #clauses  26
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.85 0.96 0.94 2/54 16980
Raw data (stat): 16980 (runsolver) R 16979 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483142861 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.0015 s]
Raw data (loadavg): 1.18 1.02 0.96 4/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18075 0 1 0 524 41 0 0 25 0 11 0 483142861 870719488 22444 4294967295 134512640 134569956 3221224400 3221214876 1130918311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212578 22444 13073 16 0 212562 0
vsize: 850312
[startup+20.0015 s]
Raw data (loadavg): 1.15 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18076 0 1 0 1469 41 0 0 25 0 11 0 483142861 869670912 22731 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 22731 13073 16 0 212306 0
vsize: 849288
[startup+30.0027 s]
Raw data (loadavg): 1.13 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 2443 41 0 0 25 0 11 0 483142861 869670912 22719 4294967295 134512640 134569956 3221224400 3221214696 1131173966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 22719 13073 16 0 212306 0
vsize: 849288
[startup+40.0034 s]
Raw data (loadavg): 1.11 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 3413 41 0 0 25 0 11 0 483142861 869670912 22940 4294967295 134512640 134569956 3221224400 3221214696 1131175046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 22940 13073 16 0 212306 0
vsize: 849288
[startup+50.0036 s]
Raw data (loadavg): 1.09 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 4394 41 0 0 25 0 11 0 483142861 869670912 22995 4294967295 134512640 134569956 3221224400 3221214696 1131174198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 22995 13073 16 0 212306 0
vsize: 849288
[startup+60.0048 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 5377 42 0 0 25 0 11 0 483142861 869670912 23042 4294967295 134512640 134569956 3221224400 3221214936 1131196761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23042 13073 16 0 212306 0
vsize: 849288
[startup+70.0055 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 6360 42 0 0 25 0 11 0 483142861 869670912 23142 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23142 13073 16 0 212306 0
vsize: 849288
[startup+80.0067 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 7344 42 0 0 25 0 11 0 483142861 869670912 23231 4294967295 134512640 134569956 3221224400 3221214792 1131233399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23231 13073 16 0 212306 0
vsize: 849288
[startup+90.0069 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 8329 43 0 0 25 0 11 0 483142861 869670912 23310 4294967295 134512640 134569956 3221224400 3221214696 1131174198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23310 13073 16 0 212306 0
vsize: 849288
[startup+100.007 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 9312 43 0 0 24 0 11 0 483142861 869670912 23389 4294967295 134512640 134569956 3221224400 3221214696 1131174713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23389 13073 16 0 212306 0
vsize: 849288
[startup+110.007 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 10297 44 0 0 25 0 11 0 483142861 869670912 23456 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23456 13073 16 0 212306 0
vsize: 849288
[startup+120.008 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 11279 44 0 0 25 0 11 0 483142861 869670912 23520 4294967295 134512640 134569956 3221224400 3221214696 1131174198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23520 13073 16 0 212306 0
vsize: 849288
[startup+130.009 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 12257 45 0 0 24 0 11 0 483142861 869670912 23612 4294967295 134512640 134569956 3221224400 3221214792 1131234757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23612 13073 16 0 212306 0
vsize: 849288
[startup+140.009 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 13238 45 0 0 25 0 11 0 483142861 869670912 23727 4294967295 134512640 134569956 3221224400 3221214696 1131174844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 23727 13073 16 0 212306 0
vsize: 849288
[startup+150.009 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 14222 46 0 0 25 0 11 0 483142861 869670912 23836 4294967295 134512640 134569956 3221224400 3221214696 1131173825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23836 13073 16 0 212306 0
vsize: 849288
[startup+160.009 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 15206 46 0 0 25 0 11 0 483142861 869670912 23921 4294967295 134512640 134569956 3221224400 3221214696 1131174198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 23921 13073 16 0 212306 0
vsize: 849288
[startup+170.009 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 16190 46 0 0 25 0 11 0 483142861 869670912 24002 4294967295 134512640 134569956 3221224400 3221214696 1131174840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24002 13073 16 0 212306 0
vsize: 849288
[startup+180.01 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) S 16979 20937 20936 0 -1 0 18077 0 1 0 17173 46 0 0 25 0 11 0 483142861 869670912 24084 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24084 13073 16 0 212306 0
vsize: 849288
[startup+190.011 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 18157 47 0 0 25 0 11 0 483142861 869670912 24184 4294967295 134512640 134569956 3221224400 3221214696 1131174452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24184 13073 16 0 212306 0
vsize: 849288
[startup+200.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 19141 47 0 0 25 0 11 0 483142861 869670912 24281 4294967295 134512640 134569956 3221224400 3221214792 1131232551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24281 13073 16 0 212306 0
vsize: 849288
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 20124 47 0 0 25 0 11 0 483142861 869670912 24382 4294967295 134512640 134569956 3221224400 3221214792 1131234068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24382 13073 16 0 212306 0
vsize: 849288
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 21108 47 0 0 25 0 11 0 483142861 869670912 24473 4294967295 134512640 134569956 3221224400 3221214696 1131174477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24473 13073 16 0 212306 0
vsize: 849288
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 22094 47 0 0 25 0 11 0 483142861 869670912 24554 4294967295 134512640 134569956 3221224400 3221214696 1131174454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24554 13073 16 0 212306 0
vsize: 849288
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 23077 47 0 0 25 0 11 0 483142861 869670912 24650 4294967295 134512640 134569956 3221224400 3221214792 1131231374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24650 13073 16 0 212306 0
vsize: 849288
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 24062 48 0 0 25 0 11 0 483142861 869670912 24732 4294967295 134512640 134569956 3221224400 3221214696 1131174454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24732 13073 16 0 212306 0
vsize: 849288
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 25046 48 0 0 25 0 11 0 483142861 869670912 24821 4294967295 134512640 134569956 3221224400 3221214792 1131234889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24821 13073 16 0 212306 0
vsize: 849288
[startup+270.014 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 26031 48 0 0 25 0 11 0 483142861 869670912 24906 4294967295 134512640 134569956 3221224400 3221214696 1131174813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24906 13073 16 0 212306 0
vsize: 849288
[startup+280.014 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 27015 48 0 0 25 0 11 0 483142861 869670912 24986 4294967295 134512640 134569956 3221224400 3221214792 1131232319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 24986 13073 16 0 212306 0
vsize: 849288
[startup+290.014 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 28001 49 0 0 25 0 11 0 483142861 869670912 25060 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25060 13073 16 0 212306 0
vsize: 849288
[startup+300.015 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 28986 49 0 0 25 0 11 0 483142861 869670912 25135 4294967295 134512640 134569956 3221224400 3221214792 1131232347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25135 13073 16 0 212306 0
vsize: 849288
[startup+310.015 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 29971 50 0 0 25 0 11 0 483142861 869670912 25210 4294967295 134512640 134569956 3221224400 3221214788 1131173804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25210 13073 16 0 212306 0
vsize: 849288
[startup+320.016 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 30957 50 0 0 25 0 11 0 483142861 869670912 25282 4294967295 134512640 134569956 3221224400 3221214696 1131174861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25282 13073 16 0 212306 0
vsize: 849288
[startup+330.017 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 31942 50 0 0 25 0 11 0 483142861 869670912 25358 4294967295 134512640 134569956 3221224400 3221214696 1131173854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25358 13073 16 0 212306 0
vsize: 849288
[startup+340.017 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 32927 51 0 0 25 0 11 0 483142861 869670912 25431 4294967295 134512640 134569956 3221224400 3221214792 1131233374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25431 13073 16 0 212306 0
vsize: 849288
[startup+350.017 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 33912 51 0 0 24 0 11 0 483142861 869670912 25498 4294967295 134512640 134569956 3221224400 3221214696 1131174324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25498 13073 16 0 212306 0
vsize: 849288
[startup+360.018 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 34896 51 0 0 25 0 11 0 483142861 869670912 25571 4294967295 134512640 134569956 3221224400 3221214696 1131174177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25571 13073 16 0 212306 0
vsize: 849288
[startup+370.018 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 35880 52 0 0 25 0 11 0 483142861 869670912 25651 4294967295 134512640 134569956 3221224400 3221214856 1131305129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25651 13073 16 0 212306 0
vsize: 849288
[startup+380.019 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 36862 52 0 0 25 0 11 0 483142861 869670912 25753 4294967295 134512640 134569956 3221224400 3221214508 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25753 13073 16 0 212306 0
vsize: 849288
[startup+390.02 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 37846 52 0 0 25 0 11 0 483142861 869670912 25853 4294967295 134512640 134569956 3221224400 3221214792 1131231151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25853 13073 16 0 212306 0
vsize: 849288
[startup+400.019 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) S 16979 20937 20936 0 -1 0 18077 0 1 0 38829 52 0 0 25 0 11 0 483142861 869670912 25949 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 25949 13073 16 0 212306 0
vsize: 849288
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 39809 53 0 0 25 0 11 0 483142861 869670912 26048 4294967295 134512640 134569956 3221224400 3221214920 1131307960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26048 13073 16 0 212306 0
vsize: 849288
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 40786 53 0 0 25 0 11 0 483142861 869670912 26212 4294967295 134512640 134569956 3221224400 3221214792 1131232446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26212 13073 16 0 212306 0
vsize: 849288
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 41760 54 0 0 25 0 11 0 483142861 869670912 26312 4294967295 134512640 134569956 3221224400 3221214696 1131173911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26312 13073 16 0 212306 0
vsize: 849288
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 42738 54 0 0 25 0 11 0 483142861 869670912 26484 4294967295 134512640 134569956 3221224400 3221214696 1131174700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26484 13073 16 0 212306 0
vsize: 849288
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 43721 55 0 0 25 0 11 0 483142861 869670912 26587 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26587 13073 16 0 212306 0
vsize: 849288
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 44704 55 0 0 24 0 11 0 483142861 869670912 26686 4294967295 134512640 134569956 3221224400 3221214792 1131234064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26686 13073 16 0 212306 0
vsize: 849288
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 45688 55 0 0 25 0 11 0 483142861 869670912 26771 4294967295 134512640 134569956 3221224400 3221214792 1131232439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26771 13073 16 0 212306 0
vsize: 849288
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 46673 55 0 0 25 0 11 0 483142861 869670912 26849 4294967295 134512640 134569956 3221224400 3221214792 1131232502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26849 13073 16 0 212306 0
vsize: 849288
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 47655 56 0 0 25 0 11 0 483142861 869670912 26947 4294967295 134512640 134569956 3221224400 3221214792 1131231374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 26947 13073 16 0 212306 0
vsize: 849288
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 48639 56 0 0 25 0 11 0 483142861 869670912 27033 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27033 13073 16 0 212306 0
vsize: 849288
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 49622 56 0 0 24 0 11 0 483142861 869670912 27111 4294967295 134512640 134569956 3221224400 3221214696 1131173851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27111 13073 16 0 212306 0
vsize: 849288
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 50605 57 0 0 25 0 11 0 483142861 869670912 27204 4294967295 134512640 134569956 3221224400 3221214696 1131174763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27204 13073 16 0 212306 0
vsize: 849288
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 51589 57 0 0 25 0 11 0 483142861 869670912 27285 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27285 13073 16 0 212306 0
vsize: 849288
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 52571 58 0 0 25 0 11 0 483142861 869670912 27369 4294967295 134512640 134569956 3221224400 3221214696 1131173825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27369 13073 16 0 212306 0
vsize: 849288
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 53555 58 0 0 25 0 11 0 483142861 869670912 27447 4294967295 134512640 134569956 3221224400 3221214776 1131552567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27447 13073 16 0 212306 0
vsize: 849288
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 54539 59 0 0 25 0 11 0 483142861 869670912 27534 4294967295 134512640 134569956 3221224400 3221214792 1131234045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27534 13073 16 0 212306 0
vsize: 849288
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 55522 60 0 0 25 0 11 0 483142861 869670912 27612 4294967295 134512640 134569956 3221224400 3221214792 1131233725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27612 13073 16 0 212306 0
vsize: 849288
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 56505 61 0 0 25 0 11 0 483142861 869670912 27688 4294967295 134512640 134569956 3221224400 3221214696 1131174304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27688 13073 16 0 212306 0
vsize: 849288
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 57487 61 0 0 25 0 11 0 483142861 869670912 27783 4294967295 134512640 134569956 3221224400 3221214792 1131231067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27783 13073 16 0 212306 0
vsize: 849288
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 58470 61 0 0 25 0 11 0 483142861 869670912 27869 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27869 13073 16 0 212306 0
vsize: 849288
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 59453 61 0 0 25 0 11 0 483142861 869670912 27968 4294967295 134512640 134569956 3221224400 3221214696 1131173911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 27968 13073 16 0 212306 0
vsize: 849288
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 60435 62 0 0 25 0 11 0 483142861 869670912 28068 4294967295 134512640 134569956 3221224400 3221214696 1131174177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28068 13073 16 0 212306 0
vsize: 849288
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 61418 62 0 0 25 0 11 0 483142861 869670912 28166 4294967295 134512640 134569956 3221224400 3221214792 1131231521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28166 13073 16 0 212306 0
vsize: 849288
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 62400 62 0 0 24 0 11 0 483142861 869670912 28266 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28266 13073 16 0 212306 0
vsize: 849288
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 63383 62 0 0 25 0 11 0 483142861 869670912 28364 4294967295 134512640 134569956 3221224400 3221214696 1131174189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28364 13073 16 0 212306 0
vsize: 849288
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 64367 63 0 0 25 0 11 0 483142861 869670912 28458 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28458 13073 16 0 212306 0
vsize: 849288
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 65348 63 0 0 25 0 11 0 483142861 869670912 28565 4294967295 134512640 134569956 3221224400 3221214696 1131174320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28565 13073 16 0 212306 0
vsize: 849288
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 66332 63 0 0 25 0 11 0 483142861 869670912 28655 4294967295 134512640 134569956 3221224400 3221214792 1131231374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28655 13073 16 0 212306 0
vsize: 849288
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 67314 63 0 0 24 0 11 0 483142861 869670912 28756 4294967295 134512640 134569956 3221224400 3221214872 1130918071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28756 13073 16 0 212306 0
vsize: 849288
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 68297 64 0 0 25 0 11 0 483142861 869670912 28841 4294967295 134512640 134569956 3221224400 3221214696 1131173904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28841 13073 16 0 212306 0
vsize: 849288
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 69281 64 0 0 25 0 11 0 483142861 869670912 28937 4294967295 134512640 134569956 3221224400 3221214792 1131232417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 28937 13073 16 0 212306 0
vsize: 849288
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 70263 64 0 0 25 0 11 0 483142861 869670912 29036 4294967295 134512640 134569956 3221224400 3221214792 1131234000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29036 13073 16 0 212306 0
vsize: 849288
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 71246 65 0 0 25 0 11 0 483142861 869670912 29126 4294967295 134512640 134569956 3221224400 3221214792 1131232484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29126 13073 16 0 212306 0
vsize: 849288
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 72228 65 0 0 24 0 11 0 483142861 869670912 29214 4294967295 134512640 134569956 3221224400 3221214696 1131174772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29214 13073 16 0 212306 0
vsize: 849288
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 73212 65 0 0 25 0 11 0 483142861 869670912 29317 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29317 13073 16 0 212306 0
vsize: 849288
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 74196 65 0 0 25 0 11 0 483142861 869670912 29394 4294967295 134512640 134569956 3221224400 3221214696 1131174310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29394 13073 16 0 212306 0
vsize: 849288
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 75177 65 0 0 25 0 11 0 483142861 869670912 29490 4294967295 134512640 134569956 3221224400 3221214792 1131234889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29490 13073 16 0 212306 0
vsize: 849288
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 76161 66 0 0 25 0 11 0 483142861 869670912 29591 4294967295 134512640 134569956 3221224400 3221214696 1131174304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29591 13073 16 0 212306 0
vsize: 849288
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 77145 67 0 0 25 0 11 0 483142861 869670912 29669 4294967295 134512640 134569956 3221224400 3221214792 1131233948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29669 13073 16 0 212306 0
vsize: 849288
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 78127 67 0 0 25 0 11 0 483142861 869670912 29768 4294967295 134512640 134569956 3221224400 3221214792 1131231151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29768 13073 16 0 212306 0
vsize: 849288
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 79111 67 0 0 25 0 11 0 483142861 869670912 29845 4294967295 134512640 134569956 3221224400 3221214792 1131233403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29845 13073 16 0 212306 0
vsize: 849288
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 80093 68 0 0 25 0 11 0 483142861 869670912 29942 4294967295 134512640 134569956 3221224400 3221214792 1131231374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 29942 13073 16 0 212306 0
vsize: 849288
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 81077 68 0 0 25 0 11 0 483142861 869670912 30019 4294967295 134512640 134569956 3221224400 3221214696 1131173836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30019 13073 16 0 212306 0
vsize: 849288
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) S 16979 20937 20936 0 -1 0 18077 0 1 0 82060 69 0 0 25 0 11 0 483142861 869670912 30111 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30111 13073 16 0 212306 0
vsize: 849288
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 83043 69 0 0 25 0 11 0 483142861 869670912 30191 4294967295 134512640 134569956 3221224400 3221214792 1131232460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30191 13073 16 0 212306 0
vsize: 849288
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 84027 69 0 0 25 0 11 0 483142861 869670912 30281 4294967295 134512640 134569956 3221224400 3221214696 1131173937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30281 13073 16 0 212306 0
vsize: 849288
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 85009 70 0 0 25 0 11 0 483142861 869670912 30366 4294967295 134512640 134569956 3221224400 3221214696 1131173836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30366 13073 16 0 212306 0
vsize: 849288
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 85993 70 0 0 25 0 11 0 483142861 869670912 30449 4294967295 134512640 134569956 3221224400 3221214696 1131174039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30449 13073 16 0 212306 0
vsize: 849288
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 86977 70 0 0 25 0 11 0 483142861 869670912 30542 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30542 13073 16 0 212306 0
vsize: 849288
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 87959 71 0 0 25 0 11 0 483142861 869670912 30616 4294967295 134512640 134569956 3221224400 3221214744 1131454208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30616 13073 16 0 212306 0
vsize: 849288
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 88943 71 0 0 25 0 11 0 483142861 869670912 30698 4294967295 134512640 134569956 3221224400 3221214696 1131174037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30698 13073 16 0 212306 0
vsize: 849288
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 89926 71 0 0 25 0 11 0 483142861 869670912 30794 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30794 13073 16 0 212306 0
vsize: 849288
[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 90910 72 0 0 25 0 11 0 483142861 869670912 30869 4294967295 134512640 134569956 3221224400 3221214696 1131174096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30869 13073 16 0 212306 0
vsize: 849288
[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 91894 72 0 0 25 0 11 0 483142861 869670912 30943 4294967295 134512640 134569956 3221224400 3221214792 1131231531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 30943 13073 16 0 212306 0
vsize: 849288
[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 92877 72 0 0 25 0 11 0 483142861 869670912 31034 4294967295 134512640 134569956 3221224400 3221214788 1131173804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31034 13073 16 0 212306 0
vsize: 849288
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 93862 72 0 0 25 0 11 0 483142861 869670912 31099 4294967295 134512640 134569956 3221224400 3221214696 1131174713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31099 13073 16 0 212306 0
vsize: 849288
[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 94846 72 0 0 25 0 11 0 483142861 869670912 31193 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31193 13073 16 0 212306 0
vsize: 849288
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 95830 72 0 0 25 0 11 0 483142861 869670912 31268 4294967295 134512640 134569956 3221224400 3221214788 1131173804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31268 13073 16 0 212306 0
vsize: 849288
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 96814 72 0 0 25 0 11 0 483142861 869670912 31342 4294967295 134512640 134569956 3221224400 3221214696 1131174317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31342 13073 16 0 212306 0
vsize: 849288
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 97799 72 0 0 25 0 11 0 483142861 869670912 31415 4294967295 134512640 134569956 3221224400 3221214696 1131173911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31415 13073 16 0 212306 0
vsize: 849288
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 98782 72 0 0 24 0 11 0 483142861 869670912 31497 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31497 13073 16 0 212306 0
vsize: 849288
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 99767 73 0 0 25 0 11 0 483142861 869670912 31577 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31577 13073 16 0 212306 0
vsize: 849288
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 100752 73 0 0 25 0 11 0 483142861 869670912 31648 4294967295 134512640 134569956 3221224400 3221214696 1131174770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31648 13073 16 0 212306 0
vsize: 849288
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 101735 73 0 0 24 0 11 0 483142861 869670912 31744 4294967295 134512640 134569956 3221224400 3221214696 1131173851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31744 13073 16 0 212306 0
vsize: 849288
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 102719 73 0 0 25 0 11 0 483142861 869670912 31799 4294967295 134512640 134569956 3221224400 3221214696 1131174258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31799 13073 16 0 212306 0
vsize: 849288
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 103704 73 0 0 25 0 11 0 483142861 869670912 31893 4294967295 134512640 134569956 3221224400 3221214696 1131174861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31893 13073 16 0 212306 0
vsize: 849288
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 104687 73 0 0 24 0 11 0 483142861 869670912 31967 4294967295 134512640 134569956 3221224400 3221213996 1077100736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 31967 13073 16 0 212306 0
vsize: 849288
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 105672 73 0 0 25 0 11 0 483142861 869670912 32042 4294967295 134512640 134569956 3221224400 3221214696 1131174400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 32042 13073 16 0 212306 0
vsize: 849288
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 106657 73 0 0 25 0 11 0 483142861 869670912 32098 4294967295 134512640 134569956 3221224400 3221214792 1131234028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 32098 13073 16 0 212306 0
vsize: 849288
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) S 16979 20937 20936 0 -1 0 18077 0 1 0 107641 73 0 0 25 0 11 0 483142861 869670912 32192 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 32192 13073 16 0 212306 0
vsize: 849288
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 108624 73 0 0 25 0 11 0 483142861 869670912 32248 4294967295 134512640 134569956 3221224400 3221214792 1131231406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 32248 13073 16 0 212306 0
vsize: 849288
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 109609 73 0 0 25 0 11 0 483142861 869670912 32332 4294967295 134512640 134569956 3221224400 3221214788 1131173804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 32332 13073 16 0 212306 0
vsize: 849288
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 110593 73 0 0 25 0 11 0 483142861 869670912 32394 4294967295 134512640 134569956 3221224400 3221214792 1131232355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 32394 13073 16 0 212306 0
vsize: 849288
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 111576 73 0 0 25 0 11 0 483142861 869670912 32481 4294967295 134512640 134569956 3221224400 3221214792 1131231439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212322 32481 13073 16 0 212306 0
vsize: 849288
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 112560 73 0 0 25 0 11 0 483142861 869670912 32543 4294967295 134512640 134569956 3221224400 3221214792 1131232268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 32543 13073 16 0 212306 0
vsize: 849288
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 113542 74 0 0 24 0 11 0 483142861 869670912 32623 4294967295 134512640 134569956 3221224400 3221214792 1131232460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 32623 13073 16 0 212306 0
vsize: 849288
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 114526 74 0 0 25 0 11 0 483142861 869670912 32693 4294967295 134512640 134569956 3221224400 3221214696 1131174224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 32693 13073 16 0 212306 0
vsize: 849288
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 115510 74 0 0 25 0 11 0 483142861 869670912 32759 4294967295 134512640 134569956 3221224400 3221214696 1131174037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 32759 13073 16 0 212306 0
vsize: 849288
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 116492 74 0 0 25 0 11 0 483142861 869670912 32842 4294967295 134512640 134569956 3221224400 3221214696 1131174452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 32842 13073 16 0 212306 0
vsize: 849288
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 117476 74 0 0 25 0 11 0 483142861 869670912 32898 4294967295 134512640 134569956 3221224400 3221214792 1131231521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 32898 13073 16 0 212306 0
vsize: 849288
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 118459 75 0 0 25 0 11 0 483142861 869670912 32985 4294967295 134512640 134569956 3221224400 3221214792 1131234045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 32985 13073 16 0 212306 0
vsize: 849288
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 119441 75 0 0 25 0 11 0 483142861 869670912 33047 4294967295 134512640 134569956 3221224400 3221214696 1131174227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 33047 13073 16 0 212306 0
vsize: 849288
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16990
Raw data (stat): 16980 (java) R 16979 20937 20936 0 -1 0 18077 0 1 0 120425 75 0 0 25 0 11 0 483142861 869670912 33124 4294967295 134512640 134569956 3221224400 3221214792 1131231439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212322 33124 13073 16 0 212306 0
vsize: 849288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 16992
Raw data (stat): 16980 (java) Z 16979 20937 20936 0 -1 1036 18077 19632 1 1 120432 82 3506 62 25 0 1 0 483142861 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.2
CPU time (s): 1240.85
CPU user time (s): 1239.39
CPU system time (s): 1.45678
CPU usage (%): 100.866
Max. virtual memory (Kb): 850312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####