Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb
MD5SUM6b45570c3ad2b7b75465bdaa58eb934a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 210
Biggest coefficient in the objective function 53687091200
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 326417514192
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 77387257610240
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 2427818341201528
Number of bits of the biggest sum of numbers52
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.78588
Number of variables30004
Total number of constraints462
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 constraints462
Minimum length of a constraint11
Maximum length of a constraint22350

Trace number 22556 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-22 03:23:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11514 boxname=wulflinc2 idbench=886 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6b45570c3ad2b7b75465bdaa58eb934a  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-standata.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-standata.opb
IDLAUNCH: 11514
/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:        880340 kB
Buffers:          7204 kB
Cached:         126840 kB
SwapCached:        596 kB
Active:          15672 kB
Inactive:       120108 kB
HighTotal:      131008 kB
HighFree:        98924 kB
LowTotal:       903652 kB
LowFree:        781416 kB
SwapTotal:     2097136 kB
SwapFree:      2095356 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           4748 kB
Slab:            12860 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:43:59 (client local time) WITH STATUS 143 IN 1250.45 SECONDS
stats: 11514 7 1250.45 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-standata.opb
c reading problem 
c [nbvar=30004]
c [nbconstr=462]
c time 283.728
c #vars     30004
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.89 0.97 0.91 2/54 19068
Raw data (stat): 19068 (runsolver) R 19067 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492231517 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 516 51 0 0 19 0 10 0 492231517 857305088 19969 4294967295 134512640 134569956 3221224400 3221214792 1130917353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 19969 13073 16 0 209287 0
vsize: 837212
[startup+20.0026 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 1388 52 0 0 25 0 10 0 492231517 856944640 20657 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 20657 13073 16 0 209199 0
vsize: 836860
[startup+30.0033 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 2260 52 0 0 25 0 10 0 492231517 856944640 21125 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 21125 13073 16 0 209199 0
vsize: 836860
[startup+40.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 3151 53 0 0 25 0 10 0 492231517 856944640 21523 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 21523 13073 16 0 209199 0
vsize: 836860
[startup+50.0192 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 4067 54 0 0 25 0 10 0 492231517 856944640 21777 4294967295 134512640 134569956 3221224400 3221214760 1131248257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 21777 13073 16 0 209199 0
vsize: 836860
[startup+60.0325 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 4978 54 0 0 25 0 10 0 492231517 856944640 21976 4294967295 134512640 134569956 3221224400 3221214836 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 21976 13073 16 0 209199 0
vsize: 836860
[startup+70.0331 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 5887 54 0 0 21 0 10 0 492231517 856944640 22141 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 22141 13073 16 0 209199 0
vsize: 836860
[startup+80.0338 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 6803 55 0 0 24 0 10 0 492231517 856944640 22358 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 22358 13073 16 0 209199 0
vsize: 836860
[startup+90.0359 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 7734 55 0 0 25 0 10 0 492231517 856944640 22483 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 22483 13073 16 0 209199 0
vsize: 836860
[startup+100.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 8662 56 0 0 25 0 10 0 492231517 856944640 22594 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 22594 13073 16 0 209199 0
vsize: 836860
[startup+110.038 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 9590 56 0 0 25 0 10 0 492231517 856944640 22710 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 22710 13073 16 0 209199 0
vsize: 836860
[startup+120.041 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 10520 57 0 0 24 0 10 0 492231517 856944640 22810 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 22810 13073 16 0 209199 0
vsize: 836860
[startup+130.041 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 11455 57 0 0 25 0 10 0 492231517 856944640 22903 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 22903 13073 16 0 209199 0
vsize: 836860
[startup+140.042 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 12385 58 0 0 25 0 10 0 492231517 856944640 22985 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 22985 13073 16 0 209199 0
vsize: 836860
[startup+150.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 13316 58 0 0 24 0 10 0 492231517 856944640 23078 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 23078 13073 16 0 209199 0
vsize: 836860
[startup+160.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 14251 59 0 0 25 0 10 0 492231517 856944640 23151 4294967295 134512640 134569956 3221224400 3221214800 1131152379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 23151 13073 16 0 209199 0
vsize: 836860
[startup+170.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 15181 59 0 0 25 0 10 0 492231517 856944640 23240 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 23240 13073 16 0 209199 0
vsize: 836860
[startup+180.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 16112 60 0 0 25 0 10 0 492231517 856944640 23313 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 23313 13073 16 0 209199 0
vsize: 836860
[startup+190.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 17042 60 0 0 25 0 10 0 492231517 856944640 23385 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209215 23385 13073 16 0 209199 0
vsize: 836860
[startup+200.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 17967 60 0 0 25 0 10 0 492231517 856944640 23466 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 23466 13073 16 0 209199 0
vsize: 836860
[startup+210.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 18882 60 0 0 24 0 10 0 492231517 856944640 23535 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 23535 13073 16 0 209199 0
vsize: 836860
[startup+220.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 19807 60 0 0 25 0 10 0 492231517 856944640 23747 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 23747 13073 16 0 209199 0
vsize: 836860
[startup+230.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 20735 60 0 0 25 0 10 0 492231517 856944640 23828 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 23828 13073 16 0 209199 0
vsize: 836860
[startup+240.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 21657 61 0 0 25 0 10 0 492231517 856944640 23890 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 23890 13073 16 0 209199 0
vsize: 836860
[startup+250.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 22574 61 0 0 25 0 10 0 492231517 856944640 23955 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 23955 13073 16 0 209199 0
vsize: 836860
[startup+260.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 23497 61 0 0 25 0 10 0 492231517 856944640 24184 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 24184 13073 16 0 209199 0
vsize: 836860
[startup+270.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 24443 61 0 0 25 0 10 0 492231517 856944640 24221 4294967295 134512640 134569956 3221224400 3221214840 1131340448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 24221 13073 16 0 209199 0
vsize: 836860
[startup+280.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17925 0 83 0 25388 61 0 0 24 0 10 0 492231517 856944640 24257 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 24257 13073 16 0 209199 0
vsize: 836860
[startup+290.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17955 0 83 0 26294 63 0 0 25 0 10 0 492231517 856944640 27130 4294967295 134512640 134569956 3221224400 3221214828 1131241815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 27130 13073 16 0 209199 0
vsize: 836860
[startup+300.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 19077
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17955 0 83 0 27288 63 0 0 25 0 10 0 492231517 856944640 27080 4294967295 134512640 134569956 3221224400 3221214832 1131374245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209215 27080 13073 16 0 209199 0
vsize: 836860
[startup+310.06 s]
Raw data (loadavg): 1.00 1.00 0.92 4/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 17999 0 84 0 28259 63 0 0 25 0 11 0 492231517 859410432 27411 4294967295 134512640 134569956 3221224400 3221214712 1130920014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209817 27411 13073 16 0 209801 0
vsize: 839268
[startup+320.062 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18005 0 84 0 29248 64 0 0 25 0 11 0 492231517 861126656 28062 4294967295 134512640 134569956 3221224400 3221214432 1131229506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210236 28062 13073 16 0 210220 0
vsize: 840944
[startup+330.062 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 30233 64 0 0 24 0 11 0 492231517 859750400 27740 4294967295 134512640 134569956 3221224400 3221214600 1131595245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27740 13073 16 0 209884 0
vsize: 839600
[startup+340.062 s]
Raw data (loadavg): 1.18 1.05 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 31228 64 0 0 25 0 11 0 492231517 859750400 27745 4294967295 134512640 134569956 3221224400 3221214600 1131537007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27745 13073 16 0 209884 0
vsize: 839600
[startup+350.063 s]
Raw data (loadavg): 1.16 1.04 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 32219 64 0 0 25 0 11 0 492231517 859750400 27749 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27749 13073 16 0 209884 0
vsize: 839600
[startup+360.063 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 33212 64 0 0 25 0 11 0 492231517 859750400 27749 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27749 13073 16 0 209884 0
vsize: 839600
[startup+370.064 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 34206 64 0 0 25 0 11 0 492231517 859750400 27751 4294967295 134512640 134569956 3221224400 3221214696 1131631907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27751 13073 16 0 209884 0
vsize: 839600
[startup+380.064 s]
Raw data (loadavg): 1.17 1.05 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 35193 65 0 0 25 0 11 0 492231517 859750400 27752 4294967295 134512640 134569956 3221224400 3221214696 1131631791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27752 13073 16 0 209884 0
vsize: 839600
[startup+390.063 s]
Raw data (loadavg): 1.15 1.05 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 36185 65 0 0 25 0 11 0 492231517 859750400 27752 4294967295 134512640 134569956 3221224400 3221214600 1131594458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27752 13073 16 0 209884 0
vsize: 839600
[startup+400.063 s]
Raw data (loadavg): 1.12 1.05 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 37172 66 0 0 25 0 11 0 492231517 859750400 27752 4294967295 134512640 134569956 3221224400 3221214600 1131593205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27752 13073 16 0 209884 0
vsize: 839600
[startup+410.063 s]
Raw data (loadavg): 1.10 1.05 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 38164 66 0 0 25 0 11 0 492231517 859750400 27752 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27752 13073 16 0 209884 0
vsize: 839600
[startup+420.063 s]
Raw data (loadavg): 1.09 1.05 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 39147 66 0 0 25 0 11 0 492231517 859750400 27752 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27752 13073 16 0 209884 0
vsize: 839600
[startup+430.064 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 40137 66 0 0 25 0 11 0 492231517 859750400 27753 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27753 13073 16 0 209884 0
vsize: 839600
[startup+440.064 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 41109 66 0 0 25 0 11 0 492231517 859750400 27754 4294967295 134512640 134569956 3221224400 3221214696 1131631793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27754 13073 16 0 209884 0
vsize: 839600
[startup+450.064 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 42099 66 0 0 25 0 11 0 492231517 859750400 27755 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27755 13073 16 0 209884 0
vsize: 839600
[startup+460.064 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 43089 66 0 0 25 0 11 0 492231517 859750400 27758 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27758 13073 16 0 209884 0
vsize: 839600
[startup+470.065 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 44070 67 0 0 24 0 11 0 492231517 859750400 27760 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27760 13073 16 0 209884 0
vsize: 839600
[startup+480.066 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 45059 67 0 0 25 0 11 0 492231517 859750400 27761 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27761 13073 16 0 209884 0
vsize: 839600
[startup+490.065 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 46050 67 0 0 25 0 11 0 492231517 859750400 27762 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27762 13073 16 0 209884 0
vsize: 839600
[startup+500.066 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 47039 67 0 0 25 0 11 0 492231517 859750400 27769 4294967295 134512640 134569956 3221224400 3221214696 1131631824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27769 13073 16 0 209884 0
vsize: 839600
[startup+510.066 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 48029 67 0 0 25 0 11 0 492231517 859750400 27774 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27774 13073 16 0 209884 0
vsize: 839600
[startup+520.066 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 49019 67 0 0 25 0 11 0 492231517 859750400 27774 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 27774 13073 16 0 209884 0
vsize: 839600
[startup+530.067 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 49998 67 0 0 25 0 11 0 492231517 859750400 27803 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27803 13073 16 0 209884 0
vsize: 839600
[startup+540.067 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 50987 68 0 0 25 0 11 0 492231517 859750400 27819 4294967295 134512640 134569956 3221224400 3221214512 1131229622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27819 13073 16 0 209884 0
vsize: 839600
[startup+550.068 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 51967 68 0 0 25 0 11 0 492231517 859750400 27877 4294967295 134512640 134569956 3221224400 3221214696 1131631791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27877 13073 16 0 209884 0
vsize: 839600
[startup+560.067 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 52949 69 0 0 25 0 11 0 492231517 859750400 27965 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27965 13073 16 0 209884 0
vsize: 839600
[startup+570.068 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 53941 69 0 0 25 0 11 0 492231517 859750400 28002 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28002 13073 16 0 209884 0
vsize: 839600
[startup+580.069 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 54925 69 0 0 25 0 11 0 492231517 859750400 28101 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28101 13073 16 0 209884 0
vsize: 839600
[startup+590.068 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 55911 69 0 0 25 0 11 0 492231517 859750400 28177 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28177 13073 16 0 209884 0
vsize: 839600
[startup+600.069 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 56904 70 0 0 25 0 11 0 492231517 859750400 28213 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28213 13073 16 0 209884 0
vsize: 839600
[startup+610.07 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 57892 70 0 0 25 0 11 0 492231517 859750400 28320 4294967295 134512640 134569956 3221224400 3221214696 1131631896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28320 13073 16 0 209884 0
vsize: 839600
[startup+620.071 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 58882 70 0 0 25 0 11 0 492231517 859750400 28413 4294967295 134512640 134569956 3221224400 3221214512 1131229745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28413 13073 16 0 209884 0
vsize: 839600
[startup+630.071 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 59876 70 0 0 25 0 11 0 492231517 859750400 28465 4294967295 134512640 134569956 3221224400 3221214736 1131405908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28465 13073 16 0 209884 0
vsize: 839600
[startup+640.072 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 60868 71 0 0 25 0 11 0 492231517 859750400 28552 4294967295 134512640 134569956 3221224400 3221214696 1131631776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28552 13073 16 0 209884 0
vsize: 839600
[startup+650.073 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 61861 71 0 0 25 0 11 0 492231517 859750400 28588 4294967295 134512640 134569956 3221224400 3221214600 1131593205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28588 13073 16 0 209884 0
vsize: 839600
[startup+660.082 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 62858 71 0 0 25 0 11 0 492231517 859750400 28619 4294967295 134512640 134569956 3221224400 3221214696 1131654047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28619 13073 16 0 209884 0
vsize: 839600
[startup+670.091 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 63852 72 0 0 25 0 11 0 492231517 859750400 28627 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28627 13073 16 0 209884 0
vsize: 839600
[startup+680.091 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 64849 72 0 0 25 0 11 0 492231517 859750400 28634 4294967295 134512640 134569956 3221224400 3221214696 1131631793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28634 13073 16 0 209884 0
vsize: 839600
[startup+690.092 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 65842 73 0 0 25 0 11 0 492231517 859750400 28650 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28650 13073 16 0 209884 0
vsize: 839600
[startup+700.092 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 66836 73 0 0 25 0 11 0 492231517 859750400 28667 4294967295 134512640 134569956 3221224400 3221214600 1131241600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28667 13073 16 0 209884 0
vsize: 839600
[startup+710.092 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 67833 73 0 0 25 0 11 0 492231517 859750400 28681 4294967295 134512640 134569956 3221224400 3221214696 1131631824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28681 13073 16 0 209884 0
vsize: 839600
[startup+720.094 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 68827 73 0 0 25 0 11 0 492231517 859750400 28714 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28714 13073 16 0 209884 0
vsize: 839600
[startup+730.094 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 69821 74 0 0 25 0 11 0 492231517 859750400 28721 4294967295 134512640 134569956 3221224400 3221214696 1131631776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28721 13073 16 0 209884 0
vsize: 839600
[startup+740.095 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 70818 74 0 0 25 0 11 0 492231517 859750400 28723 4294967295 134512640 134569956 3221224400 3221214696 1131631776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28723 13073 16 0 209884 0
vsize: 839600
[startup+750.096 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 71811 74 0 0 25 0 11 0 492231517 859750400 28739 4294967295 134512640 134569956 3221224400 3221214616 1131629937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28739 13073 16 0 209884 0
vsize: 839600
[startup+760.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 72805 75 0 0 25 0 11 0 492231517 859750400 28746 4294967295 134512640 134569956 3221224400 3221214696 1131631896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28746 13073 16 0 209884 0
vsize: 839600
[startup+770.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 73802 75 0 0 25 0 11 0 492231517 859750400 28750 4294967295 134512640 134569956 3221224400 3221214512 1131229581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28750 13073 16 0 209884 0
vsize: 839600
[startup+780.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 74796 75 0 0 25 0 11 0 492231517 859750400 28763 4294967295 134512640 134569956 3221224400 3221214600 1131593205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28763 13073 16 0 209884 0
vsize: 839600
[startup+790.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 75790 75 0 0 25 0 11 0 492231517 859750400 28779 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28779 13073 16 0 209884 0
vsize: 839600
[startup+800.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 76783 75 0 0 24 0 11 0 492231517 859750400 28797 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28797 13073 16 0 209884 0
vsize: 839600
[startup+810.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 77779 76 0 0 25 0 11 0 492231517 859750400 28804 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28804 13073 16 0 209884 0
vsize: 839600
[startup+820.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 78773 76 0 0 25 0 11 0 492231517 859750400 28834 4294967295 134512640 134569956 3221224400 3221214696 1131631896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28834 13073 16 0 209884 0
vsize: 839600
[startup+830.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 79769 76 0 0 25 0 11 0 492231517 859750400 28840 4294967295 134512640 134569956 3221224400 3221214524 1078025584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28840 13073 16 0 209884 0
vsize: 839600
[startup+840.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 80761 77 0 0 25 0 11 0 492231517 859750400 28848 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28848 13073 16 0 209884 0
vsize: 839600
[startup+850.104 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 81755 77 0 0 25 0 11 0 492231517 859750400 28873 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28873 13073 16 0 209884 0
vsize: 839600
[startup+860.103 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 82751 77 0 0 25 0 11 0 492231517 859750400 28875 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28875 13073 16 0 209884 0
vsize: 839600
[startup+870.104 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 83744 78 0 0 25 0 11 0 492231517 859750400 28888 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28888 13073 16 0 209884 0
vsize: 839600
[startup+880.105 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) S 19067 20937 20936 0 -1 0 18007 0 84 0 84739 78 0 0 25 0 11 0 492231517 859750400 28900 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28900 13073 16 0 209884 0
vsize: 839600
[startup+890.104 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 85734 78 0 0 25 0 11 0 492231517 859750400 28914 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28914 13073 16 0 209884 0
vsize: 839600
[startup+900.105 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 86727 78 0 0 25 0 11 0 492231517 859750400 28939 4294967295 134512640 134569956 3221224400 3221214848 1131395300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28939 13073 16 0 209884 0
vsize: 839600
[startup+910.108 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 87724 79 0 0 25 0 11 0 492231517 859750400 28951 4294967295 134512640 134569956 3221224400 3221214512 1131229511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28951 13073 16 0 209884 0
vsize: 839600
[startup+920.109 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 88717 79 0 0 25 0 11 0 492231517 859750400 28958 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28958 13073 16 0 209884 0
vsize: 839600
[startup+930.109 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 89710 79 0 0 25 0 11 0 492231517 859750400 28966 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28966 13073 16 0 209884 0
vsize: 839600
[startup+940.109 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 90707 79 0 0 25 0 11 0 492231517 859750400 28968 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28968 13073 16 0 209884 0
vsize: 839600
[startup+950.11 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 91700 79 0 0 25 0 11 0 492231517 859750400 28983 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28983 13073 16 0 209884 0
vsize: 839600
[startup+960.109 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 92693 79 0 0 25 0 11 0 492231517 859750400 28993 4294967295 134512640 134569956 3221224400 3221214600 1131594275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28993 13073 16 0 209884 0
vsize: 839600
[startup+970.111 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 93687 80 0 0 25 0 11 0 492231517 859750400 29007 4294967295 134512640 134569956 3221224400 3221214568 1131518373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29007 13073 16 0 209884 0
vsize: 839600
[startup+980.112 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 94684 80 0 0 25 0 11 0 492231517 859750400 29023 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29023 13073 16 0 209884 0
vsize: 839600
[startup+990.111 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 95677 80 0 0 25 0 11 0 492231517 859750400 29047 4294967295 134512640 134569956 3221224400 3221214696 1131631791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29047 13073 16 0 209884 0
vsize: 839600
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 96671 80 0 0 25 0 11 0 492231517 859750400 29076 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29076 13073 16 0 209884 0
vsize: 839600
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 97668 81 0 0 25 0 11 0 492231517 859750400 29076 4294967295 134512640 134569956 3221224400 3221214512 1131229581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29076 13073 16 0 209884 0
vsize: 839600
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 98662 81 0 0 25 0 11 0 492231517 859750400 29086 4294967295 134512640 134569956 3221224400 3221214696 1131631907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29086 13073 16 0 209884 0
vsize: 839600
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 99656 81 0 0 25 0 11 0 492231517 859750400 29094 4294967295 134512640 134569956 3221224400 3221214696 1131631793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29094 13073 16 0 209884 0
vsize: 839600
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 100653 81 0 0 25 0 11 0 492231517 859750400 29099 4294967295 134512640 134569956 3221224400 3221214616 1131629909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 29099 13073 16 0 209884 0
vsize: 839600
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 101648 82 0 0 25 0 11 0 492231517 859750400 29115 4294967295 134512640 134569956 3221224400 3221214600 1131594394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29115 13073 16 0 209884 0
vsize: 839600
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 102642 82 0 0 25 0 11 0 492231517 859750400 29125 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29125 13073 16 0 209884 0
vsize: 839600
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 103639 82 0 0 25 0 11 0 492231517 859750400 29133 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 29133 13073 16 0 209884 0
vsize: 839600
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 104633 83 0 0 25 0 11 0 492231517 859750400 29155 4294967295 134512640 134569956 3221224400 3221214736 1131406730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29155 13073 16 0 209884 0
vsize: 839600
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 105627 83 0 0 25 0 11 0 492231517 859750400 29180 4294967295 134512640 134569956 3221224400 3221214696 1131631900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29180 13073 16 0 209884 0
vsize: 839600
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 106624 83 0 0 25 0 11 0 492231517 859750400 29186 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29186 13073 16 0 209884 0
vsize: 839600
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 107617 84 0 0 25 0 11 0 492231517 859750400 29194 4294967295 134512640 134569956 3221224400 3221214600 1131595973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29194 13073 16 0 209884 0
vsize: 839600
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 108611 84 0 0 25 0 11 0 492231517 859750400 29201 4294967295 134512640 134569956 3221224400 3221214696 1131631776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29201 13073 16 0 209884 0
vsize: 839600
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 109608 85 0 0 25 0 11 0 492231517 859750400 29212 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29212 13073 16 0 209884 0
vsize: 839600
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 110602 85 0 0 25 0 11 0 492231517 859750400 29220 4294967295 134512640 134569956 3221224400 3221214696 1131631907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29220 13073 16 0 209884 0
vsize: 839600
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 111596 85 0 0 25 0 11 0 492231517 859750400 29230 4294967295 134512640 134569956 3221224400 3221214600 1131593438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29230 13073 16 0 209884 0
vsize: 839600
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 112592 86 0 0 25 0 11 0 492231517 859750400 29238 4294967295 134512640 134569956 3221224400 3221214732 1131631699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29238 13073 16 0 209884 0
vsize: 839600
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 113585 86 0 0 25 0 11 0 492231517 859750400 29253 4294967295 134512640 134569956 3221224400 3221214608 1131295874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29253 13073 16 0 209884 0
vsize: 839600
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 114582 86 0 0 25 0 11 0 492231517 859750400 29263 4294967295 134512640 134569956 3221224400 3221214568 1131520492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29263 13073 16 0 209884 0
vsize: 839600
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 115576 86 0 0 25 0 11 0 492231517 859750400 29286 4294967295 134512640 134569956 3221224400 3221214696 1131631885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29286 13073 16 0 209884 0
vsize: 839600
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 116570 87 0 0 25 0 11 0 492231517 859750400 29303 4294967295 134512640 134569956 3221224400 3221214696 1131631907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29303 13073 16 0 209884 0
vsize: 839600
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 117567 87 0 0 25 0 11 0 492231517 859750400 29313 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29313 13073 16 0 209884 0
vsize: 839600
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 118561 87 0 0 25 0 11 0 492231517 859750400 29320 4294967295 134512640 134569956 3221224400 3221214696 1131654156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29320 13073 16 0 209884 0
vsize: 839600
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 119555 87 0 0 25 0 11 0 492231517 859750400 29328 4294967295 134512640 134569956 3221224400 3221214696 1131631788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29328 13073 16 0 209884 0
vsize: 839600
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19078
Raw data (stat): 19068 (java) R 19067 20937 20936 0 -1 0 18007 0 84 0 120551 87 0 0 25 0 11 0 492231517 859750400 29331 4294967295 134512640 134569956 3221224400 3221214512 1131229525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 29331 13073 16 0 209884 0
vsize: 839600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.34 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 19080
Raw data (stat): 19068 (java) Z 19067 20937 20936 0 -1 1036 18007 16249 84 1 120567 93 4335 48 25 0 1 0 492231517 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.34
CPU time (s): 1250.45
CPU user time (s): 1249.03
CPU system time (s): 1.42078
CPU usage (%): 100.815
Max. virtual memory (Kb): 840944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####