Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb
MD5SUM5de4850b53e2079c6374cbb1ea845dc3
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 71225856
Optimality of the best value was proved NO
Number of terms in the objective function 4880
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 1662757407
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10485760
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 1662757407
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1261.74
Number of variables9680
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 15537

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-21 04:56:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17286 boxname=wulflinc8 idbench=1330 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5de4850b53e2079c6374cbb1ea845dc3  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-set1ch.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-set1ch.opb
IDLAUNCH: 17286
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        578568 kB
Buffers:         34508 kB
Cached:         398652 kB
SwapCached:          0 kB
Active:         171536 kB
Inactive:       264492 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        578316 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            14500 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 05:17:00 (client local time) WITH STATUS 143 IN 1237.46 SECONDS
stats: 17286 7 1237.46 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-set1ch.opb
c reading problem 
c [nbvar=9680]
c [nbconstr=732]
c time 30.265
c #vars     9680
c #clauses  732
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=71225856
c Current CPU time (ms) : 34.69
c starts	: 1
c conflicts	: 0
c decisions	: 3659
c propagations	: 9680
c inspects	: 13321
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 22795
Raw data (stat): 22795 (runsolver) R 22794 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 470581552 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.0006 s]
Raw data (loadavg): 1.01 0.97 0.91 4/63 22804
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 17996 0 1 0 857 37 0 0 25 0 10 0 470581552 857022464 20032 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 20032 13073 16 0 209218 0
vsize: 836936
[startup+20.0062 s]
Raw data (loadavg): 1.08 0.99 0.92 2/63 22804
Raw data (stat): 22795 (java) S 22794 26667 26666 0 -1 0 17998 0 1 0 1740 37 0 0 25 0 10 0 470581552 855969792 20432 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208977 20432 13073 16 0 208961 0
vsize: 835908
[startup+30.0243 s]
Raw data (loadavg): 1.07 0.99 0.92 4/63 22804
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 17998 0 1 0 2608 38 0 0 25 0 10 0 470581552 855969792 21003 4294967295 134512640 134569956 3221224400 3221213928 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208977 21003 13073 16 0 208961 0
vsize: 835908
[startup+40.0249 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18064 3 1 0 3489 39 0 0 25 0 11 0 470581552 856399872 21900 4294967295 134512640 134569956 3221224400 3221214204 1080020597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209082 21900 13073 16 0 209066 0
vsize: 836328
[startup+50.0262 s]
Raw data (loadavg): 1.20 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18075 3 1 0 4318 39 0 0 25 0 11 0 470581552 859688960 23477 4294967295 134512640 134569956 3221224400 3221214592 1131496439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209885 23477 13073 16 0 209869 0
vsize: 839540
[startup+60.027 s]
Raw data (loadavg): 1.17 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18075 3 1 0 5290 40 0 0 25 0 11 0 470581552 859533312 23443 4294967295 134512640 134569956 3221224400 3221214384 1131304030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209847 23443 13073 16 0 209831 0
vsize: 839388
[startup+70.0272 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18075 3 1 0 6258 40 0 0 25 0 11 0 470581552 856993792 22849 4294967295 134512640 134569956 3221224400 3221214384 1131304083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 22849 13073 16 0 209211 0
vsize: 836908
[startup+80.0274 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18075 3 1 0 7230 41 0 0 25 0 11 0 470581552 856993792 22989 4294967295 134512640 134569956 3221224400 3221214576 1131526088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 22989 13073 16 0 209211 0
vsize: 836908
[startup+90.0282 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 8214 41 0 0 25 0 11 0 470581552 856993792 23118 4294967295 134512640 134569956 3221224400 3221214384 1131304083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 23118 13073 16 0 209211 0
vsize: 836908
[startup+100.028 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 9207 41 0 0 25 0 11 0 470581552 856993792 23200 4294967295 134512640 134569956 3221224400 3221214576 1131526073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 23200 13073 16 0 209211 0
vsize: 836908
[startup+110.03 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 10198 41 0 0 25 0 11 0 470581552 856993792 23200 4294967295 134512640 134569956 3221224400 3221214488 1131247996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 23200 13073 16 0 209211 0
vsize: 836908
[startup+120.031 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 11187 42 0 0 25 0 11 0 470581552 856993792 23200 4294967295 134512640 134569956 3221224400 3221214592 1131496432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 23200 13073 16 0 209211 0
vsize: 836908
[startup+130.031 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 12170 42 0 0 25 0 11 0 470581552 856993792 23204 4294967295 134512640 134569956 3221224400 3221214480 1131304280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 23204 13073 16 0 209211 0
vsize: 836908
[startup+140.031 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 13157 43 0 0 25 0 11 0 470581552 856993792 23205 4294967295 134512640 134569956 3221224400 3221214696 1131245864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 23205 13073 16 0 209211 0
vsize: 836908
[startup+150.032 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 14142 43 0 0 25 0 11 0 470581552 856993792 23277 4294967295 134512640 134569956 3221224400 3221214900 1131216620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 23277 13073 16 0 209211 0
vsize: 836908
[startup+160.032 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 15130 44 0 0 25 0 11 0 470581552 856993792 23278 4294967295 134512640 134569956 3221224400 3221214480 1131303951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 23278 13073 16 0 209211 0
vsize: 836908
[startup+170.032 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 16118 44 0 0 25 0 11 0 470581552 856993792 23297 4294967295 134512640 134569956 3221224400 3221214728 1131505711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 23297 13073 16 0 209211 0
vsize: 836908
[startup+180.032 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 17110 45 0 0 25 0 11 0 470581552 858488832 23659 4294967295 134512640 134569956 3221224400 3221214688 1131598631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209592 23659 13073 16 0 209576 0
vsize: 838368
[startup+190.032 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 18095 45 0 0 25 0 11 0 470581552 858488832 23659 4294967295 134512640 134569956 3221224400 3221214688 1131598608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209592 23659 13073 16 0 209576 0
vsize: 838368
[startup+200.032 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18076 3 1 0 19083 45 0 0 25 0 11 0 470581552 858488832 23659 4294967295 134512640 134569956 3221224400 3221214688 1131598759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209592 23659 13073 16 0 209576 0
vsize: 838368
[startup+210.033 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 20058 45 0 0 25 0 11 0 470581552 858488832 23671 4294967295 134512640 134569956 3221224400 3221214856 1131489319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209592 23671 13073 16 0 209576 0
vsize: 838368
[startup+220.034 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 22806
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 21024 45 0 0 25 0 11 0 470581552 858488832 23674 4294967295 134512640 134569956 3221224400 3221214856 1131240728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209592 23674 13073 16 0 209576 0
vsize: 838368
[startup+230.034 s]
Raw data (loadavg): 1.12 1.04 0.94 2/66 22843
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 21987 46 0 0 25 0 11 0 470581552 858488832 23696 4294967295 134512640 134569956 3221224400 3221214688 1131598608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209592 23696 13073 16 0 209576 0
vsize: 838368
[startup+240.035 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 22859
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 22948 47 0 0 25 0 11 0 470581552 858488832 23805 4294967295 134512640 134569956 3221224400 3221214688 1131598768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209592 23805 13073 16 0 209576 0
vsize: 838368
[startup+250.035 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 22859
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 23920 47 0 0 25 0 11 0 470581552 858488832 23866 4294967295 134512640 134569956 3221224400 3221214824 1131621302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209592 23866 13073 16 0 209576 0
vsize: 838368
[startup+260.036 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 22859
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 24883 47 0 0 25 0 11 0 470581552 858488832 23997 4294967295 134512640 134569956 3221224400 3221214896 1131337845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209592 23997 13073 16 0 209576 0
vsize: 838368
[startup+270.036 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 22859
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 25855 48 0 0 25 0 11 0 470581552 858488832 24109 4294967295 134512640 134569956 3221224400 3221214688 1131598624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209592 24109 13073 16 0 209576 0
vsize: 838368
[startup+280.037 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 22859
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 26820 48 0 0 25 0 11 0 470581552 856993792 23862 4294967295 134512640 134569956 3221224400 3221214736 1131505735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 23862 13073 16 0 209211 0
vsize: 836908
[startup+290.038 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 22859
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 27793 48 0 0 25 0 11 0 470581552 856993792 23966 4294967295 134512640 134569956 3221224400 3221214856 1131489312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 23966 13073 16 0 209211 0
vsize: 836908
[startup+300.038 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 22859
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 28759 49 0 0 25 0 11 0 470581552 856993792 24079 4294967295 134512640 134569956 3221224400 3221214760 1131282897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 24079 13073 16 0 209211 0
vsize: 836908
[startup+310.038 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 29724 49 0 0 25 0 11 0 470581552 856993792 24169 4294967295 134512640 134569956 3221224400 3221214688 1131598768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 24169 13073 16 0 209211 0
vsize: 836908
[startup+320.039 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 30691 49 0 0 25 0 11 0 470581552 856993792 24254 4294967295 134512640 134569956 3221224400 3221214848 1131216743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 24254 13073 16 0 209211 0
vsize: 836908
[startup+330.039 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 31657 50 0 0 25 0 11 0 470581552 856993792 24334 4294967295 134512640 134569956 3221224400 3221214856 1131240840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 24334 13073 16 0 209211 0
vsize: 836908
[startup+340.04 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 32624 50 0 0 25 0 11 0 470581552 856993792 24457 4294967295 134512640 134569956 3221224400 3221214752 1131321279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 24457 13073 16 0 209211 0
vsize: 836908
[startup+350.04 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 33592 50 0 0 25 0 11 0 470581552 856993792 24581 4294967295 134512640 134569956 3221224400 3221214848 1131216672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 24581 13073 16 0 209211 0
vsize: 836908
[startup+360.041 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 34561 50 0 0 25 0 11 0 470581552 856993792 24680 4294967295 134512640 134569956 3221224400 3221214856 1131240228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 24680 13073 16 0 209211 0
vsize: 836908
[startup+370.041 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 35532 50 0 0 25 0 11 0 470581552 856993792 24811 4294967295 134512640 134569956 3221224400 3221214688 1131598624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 24811 13073 16 0 209211 0
vsize: 836908
[startup+380.041 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 36503 51 0 0 25 0 11 0 470581552 856993792 24926 4294967295 134512640 134569956 3221224400 3221214760 1131282499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 24926 13073 16 0 209211 0
vsize: 836908
[startup+390.042 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 37474 51 0 0 25 0 11 0 470581552 856993792 25022 4294967295 134512640 134569956 3221224400 3221214768 1131205072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 25022 13073 16 0 209211 0
vsize: 836908
[startup+400.043 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 38446 51 0 0 25 0 11 0 470581552 856993792 25111 4294967295 134512640 134569956 3221224400 3221214688 1131598628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 25111 13073 16 0 209211 0
vsize: 836908
[startup+410.043 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 39411 51 0 0 25 0 11 0 470581552 856993792 25224 4294967295 134512640 134569956 3221224400 3221214688 1131598624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 25224 13073 16 0 209211 0
vsize: 836908
[startup+420.044 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 40384 52 0 0 25 0 11 0 470581552 856993792 25310 4294967295 134512640 134569956 3221224400 3221214752 1131321197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 25310 13073 16 0 209211 0
vsize: 836908
[startup+430.044 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 41356 52 0 0 25 0 11 0 470581552 856993792 25388 4294967295 134512640 134569956 3221224400 3221214872 1131319884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 25388 13073 16 0 209211 0
vsize: 836908
[startup+440.045 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 42323 52 0 0 25 0 11 0 470581552 856993792 25511 4294967295 134512640 134569956 3221224400 3221214688 1131598768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 25511 13073 16 0 209211 0
vsize: 836908
[startup+450.045 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 43297 52 0 0 25 0 11 0 470581552 856993792 25603 4294967295 134512640 134569956 3221224400 3221213880 1131636792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 25603 13073 16 0 209211 0
vsize: 836908
[startup+460.046 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 44265 53 0 0 25 0 11 0 470581552 856993792 25766 4294967295 134512640 134569956 3221224400 3221214736 1131505670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 25766 13073 16 0 209211 0
vsize: 836908
[startup+470.046 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 45239 53 0 0 25 0 11 0 470581552 856993792 25873 4294967295 134512640 134569956 3221224400 3221214872 1131131677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 25873 13073 16 0 209211 0
vsize: 836908
[startup+480.046 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 46208 53 0 0 25 0 11 0 470581552 856993792 25979 4294967295 134512640 134569956 3221224400 3221214688 1131598628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 25979 13073 16 0 209211 0
vsize: 836908
[startup+490.046 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 47176 54 0 0 25 0 11 0 470581552 856993792 26091 4294967295 134512640 134569956 3221224400 3221214856 1131240792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 26091 13073 16 0 209211 0
vsize: 836908
[startup+500.047 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 48146 54 0 0 25 0 11 0 470581552 856993792 26176 4294967295 134512640 134569956 3221224400 3221214752 1131413050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26176 13073 16 0 209211 0
vsize: 836908
[startup+510.047 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 49122 54 0 0 25 0 11 0 470581552 856993792 26258 4294967295 134512640 134569956 3221224400 3221214736 1131505739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26258 13073 16 0 209211 0
vsize: 836908
[startup+520.048 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 50092 54 0 0 25 0 11 0 470581552 856993792 26348 4294967295 134512640 134569956 3221224400 3221214760 1131282923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26348 13073 16 0 209211 0
vsize: 836908
[startup+530.049 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 51063 54 0 0 25 0 11 0 470581552 856993792 26488 4294967295 134512640 134569956 3221224400 3221214856 1131240777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26488 13073 16 0 209211 0
vsize: 836908
[startup+540.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22861
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 52040 55 0 0 25 0 11 0 470581552 856993792 26586 4294967295 134512640 134569956 3221224400 3221214760 1131283807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26586 13073 16 0 209211 0
vsize: 836908
[startup+550.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 53012 55 0 0 25 0 11 0 470581552 856993792 26716 4294967295 134512640 134569956 3221224400 3221214688 1131598620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26716 13073 16 0 209211 0
vsize: 836908
[startup+560.051 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 53984 55 0 0 25 0 11 0 470581552 856993792 26804 4294967295 134512640 134569956 3221224400 3221214752 1131412066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26804 13073 16 0 209211 0
vsize: 836908
[startup+570.052 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 54962 55 0 0 25 0 11 0 470581552 856993792 26876 4294967295 134512640 134569956 3221224400 3221214856 1131489312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26876 13073 16 0 209211 0
vsize: 836908
[startup+580.051 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 55933 56 0 0 25 0 11 0 470581552 856993792 26995 4294967295 134512640 134569956 3221224400 3221214688 1131598768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 26995 13073 16 0 209211 0
vsize: 836908
[startup+590.053 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 56906 56 0 0 25 0 11 0 470581552 856993792 27071 4294967295 134512640 134569956 3221224400 3221214600 1131304193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27071 13073 16 0 209211 0
vsize: 836908
[startup+600.053 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 57877 56 0 0 25 0 11 0 470581552 856993792 27167 4294967295 134512640 134569956 3221224400 3221214320 1131636877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27167 13073 16 0 209211 0
vsize: 836908
[startup+610.054 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 58848 57 0 0 25 0 11 0 470581552 856993792 27265 4294967295 134512640 134569956 3221224400 3221214688 1131598631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27265 13073 16 0 209211 0
vsize: 836908
[startup+620.054 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 59820 57 0 0 25 0 11 0 470581552 856993792 27370 4294967295 134512640 134569956 3221224400 3221214752 1131321329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27370 13073 16 0 209211 0
vsize: 836908
[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 60798 57 0 0 25 0 11 0 470581552 856993792 27442 4294967295 134512640 134569956 3221224400 3221214848 1131216657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27442 13073 16 0 209211 0
vsize: 836908
[startup+640.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 61781 57 0 0 25 0 11 0 470581552 856993792 27502 4294967295 134512640 134569956 3221224400 3221213868 1131636000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 27502 13073 16 0 209211 0
vsize: 836908
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 62752 58 0 0 25 0 11 0 470581552 856993792 27572 4294967295 134512640 134569956 3221224400 3221214688 1131598636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27572 13073 16 0 209211 0
vsize: 836908
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 63728 58 0 0 25 0 11 0 470581552 856993792 27659 4294967295 134512640 134569956 3221224400 3221213960 1131629677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 27659 13073 16 0 209211 0
vsize: 836908
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 64704 58 0 0 25 0 11 0 470581552 856993792 27837 4294967295 134512640 134569956 3221224400 3221214688 1131598634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27837 13073 16 0 209211 0
vsize: 836908
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 65674 58 0 0 25 0 11 0 470581552 856993792 27930 4294967295 134512640 134569956 3221224400 3221214204 1131636902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27930 13073 16 0 209211 0
vsize: 836908
[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 66649 58 0 0 25 0 11 0 470581552 856993792 27988 4294967295 134512640 134569956 3221224400 3221213900 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 27988 13073 16 0 209211 0
vsize: 836908
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 67617 59 0 0 25 0 11 0 470581552 856993792 28081 4294967295 134512640 134569956 3221224400 3221214480 1131579354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28081 13073 16 0 209211 0
vsize: 836908
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 68591 59 0 0 25 0 11 0 470581552 856993792 28173 4294967295 134512640 134569956 3221224400 3221214584 1131526418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28173 13073 16 0 209211 0
vsize: 836908
[startup+720.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 69559 59 0 0 25 0 11 0 470581552 856993792 28299 4294967295 134512640 134569956 3221224400 3221214760 1131282273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28299 13073 16 0 209211 0
vsize: 836908
[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 70535 59 0 0 25 0 11 0 470581552 856993792 28379 4294967295 134512640 134569956 3221224400 3221214368 1131635036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28379 13073 16 0 209211 0
vsize: 836908
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 71505 59 0 0 25 0 11 0 470581552 856993792 28483 4294967295 134512640 134569956 3221224400 3221214688 1131598624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28483 13073 16 0 209211 0
vsize: 836908
[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 72476 60 0 0 25 0 11 0 470581552 856993792 28572 4294967295 134512640 134569956 3221224400 3221214852 1131257004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28572 13073 16 0 209211 0
vsize: 836908
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 73447 60 0 0 24 0 11 0 470581552 856993792 28709 4294967295 134512640 134569956 3221224400 3221214840 1131350259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28709 13073 16 0 209211 0
vsize: 836908
[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 74424 60 0 0 25 0 11 0 470581552 856993792 28789 4294967295 134512640 134569956 3221224400 3221214688 1131598751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28789 13073 16 0 209211 0
vsize: 836908
[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 75397 60 0 0 25 0 11 0 470581552 856993792 28897 4294967295 134512640 134569956 3221224400 3221214688 1131598759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 28897 13073 16 0 209211 0
vsize: 836908
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 76364 60 0 0 25 0 11 0 470581552 856993792 29028 4294967295 134512640 134569956 3221224400 3221214480 1131634861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29028 13073 16 0 209211 0
vsize: 836908
[startup+800.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) S 22794 26667 26666 0 -1 0 18077 3 1 0 77339 61 0 0 25 0 11 0 470581552 856993792 29104 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29104 13073 16 0 209211 0
vsize: 836908
[startup+810.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 78316 61 0 0 25 0 11 0 470581552 856993792 29174 4294967295 134512640 134569956 3221224400 3221214688 1131598631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29174 13073 16 0 209211 0
vsize: 836908
[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 79289 61 0 0 25 0 11 0 470581552 856993792 29304 4294967295 134512640 134569956 3221224400 3221214688 1131598624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29304 13073 16 0 209211 0
vsize: 836908
[startup+830.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 80263 61 0 0 25 0 11 0 470581552 856993792 29439 4294967295 134512640 134569956 3221224400 3221214848 1131216633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29439 13073 16 0 209211 0
vsize: 836908
[startup+840.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 81232 62 0 0 25 0 11 0 470581552 856993792 29539 4294967295 134512640 134569956 3221224400 3221214856 1131240426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29539 13073 16 0 209211 0
vsize: 836908
[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 82207 63 0 0 25 0 11 0 470581552 856993792 29661 4294967295 134512640 134569956 3221224400 3221214760 1131282161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 29661 13073 16 0 209211 0
vsize: 836908
[startup+860.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 83183 63 0 0 25 0 11 0 470581552 856993792 29744 4294967295 134512640 134569956 3221224400 3221214732 1131498476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29744 13073 16 0 209211 0
vsize: 836908
[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 84158 63 0 0 25 0 11 0 470581552 856993792 29839 4294967295 134512640 134569956 3221224400 3221214760 1131282449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29839 13073 16 0 209211 0
vsize: 836908
[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 85133 64 0 0 25 0 11 0 470581552 856993792 29942 4294967295 134512640 134569956 3221224400 3221214760 1131282335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 29942 13073 16 0 209211 0
vsize: 836908
[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 86109 64 0 0 25 0 11 0 470581552 856993792 30027 4294967295 134512640 134569956 3221224400 3221214408 1131629920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30027 13073 16 0 209211 0
vsize: 836908
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 87084 65 0 0 25 0 11 0 470581552 856993792 30098 4294967295 134512640 134569956 3221224400 3221214396 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30098 13073 16 0 209211 0
vsize: 836908
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 88054 65 0 0 25 0 11 0 470581552 856993792 30211 4294967295 134512640 134569956 3221224400 3221214688 1131598624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30211 13073 16 0 209211 0
vsize: 836908
[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 89029 66 0 0 25 0 11 0 470581552 856993792 30301 4294967295 134512640 134569956 3221224400 3221214856 1131240736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30301 13073 16 0 209211 0
vsize: 836908
[startup+930.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 90003 66 0 0 25 0 11 0 470581552 856993792 30377 4294967295 134512640 134569956 3221224400 3221214096 1131636792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30377 13073 16 0 209211 0
vsize: 836908
[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 90973 67 0 0 24 0 11 0 470581552 856993792 30479 4294967295 134512640 134569956 3221224400 3221214760 1131282216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30479 13073 16 0 209211 0
vsize: 836908
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 91949 67 0 0 25 0 11 0 470581552 856993792 30562 4294967295 134512640 134569956 3221224400 3221214736 1131505024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30562 13073 16 0 209211 0
vsize: 836908
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 92924 67 0 0 25 0 11 0 470581552 856993792 30655 4294967295 134512640 134569956 3221224400 3221214688 1131598628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30655 13073 16 0 209211 0
vsize: 836908
[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) S 22794 26667 26666 0 -1 0 18077 3 1 0 93897 68 0 0 25 0 11 0 470581552 856993792 30821 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30821 13073 16 0 209211 0
vsize: 836908
[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 94870 68 0 0 25 0 11 0 470581552 856993792 30928 4294967295 134512640 134569956 3221224400 3221214688 1131598634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 30928 13073 16 0 209211 0
vsize: 836908
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 95846 68 0 0 25 0 11 0 470581552 856993792 31021 4294967295 134512640 134569956 3221224400 3221214688 1131598620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31021 13073 16 0 209211 0
vsize: 836908
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 96821 69 0 0 25 0 11 0 470581552 856993792 31092 4294967295 134512640 134569956 3221224400 3221213936 1131636764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31092 13073 16 0 209211 0
vsize: 836908
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 97805 69 0 0 25 0 11 0 470581552 856993792 31127 4294967295 134512640 134569956 3221224400 3221214688 1131598628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31127 13073 16 0 209211 0
vsize: 836908
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 98777 69 0 0 25 0 11 0 470581552 856993792 31216 4294967295 134512640 134569956 3221224400 3221214848 1131216640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31216 13073 16 0 209211 0
vsize: 836908
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 99753 70 0 0 25 0 11 0 470581552 856993792 31323 4294967295 134512640 134569956 3221224400 3221214848 1131216776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31323 13073 16 0 209211 0
vsize: 836908
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 100729 70 0 0 25 0 11 0 470581552 856993792 31391 4294967295 134512640 134569956 3221224400 3221214856 1131489592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31391 13073 16 0 209211 0
vsize: 836908
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 101706 70 0 0 25 0 11 0 470581552 856993792 31474 4294967295 134512640 134569956 3221224400 3221213928 1131634980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31474 13073 16 0 209211 0
vsize: 836908
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 102678 71 0 0 25 0 11 0 470581552 856993792 31550 4294967295 134512640 134569956 3221224400 3221214752 1131321329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31550 13073 16 0 209211 0
vsize: 836908
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 103649 71 0 0 25 0 11 0 470581552 856993792 31651 4294967295 134512640 134569956 3221224400 3221214040 1131636879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31651 13073 16 0 209211 0
vsize: 836908
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 104621 71 0 0 24 0 11 0 470581552 856993792 31758 4294967295 134512640 134569956 3221224400 3221214760 1131282351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31758 13073 16 0 209211 0
vsize: 836908
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 105593 72 0 0 25 0 11 0 470581552 856993792 31850 4294967295 134512640 134569956 3221224400 3221214688 1131598759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31850 13073 16 0 209211 0
vsize: 836908
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 106566 72 0 0 25 0 11 0 470581552 856993792 31943 4294967295 134512640 134569956 3221224400 3221214848 1131216811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 31943 13073 16 0 209211 0
vsize: 836908
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 107540 73 0 0 25 0 11 0 470581552 856993792 32030 4294967295 134512640 134569956 3221224400 3221214760 1131282410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32030 13073 16 0 209211 0
vsize: 836908
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 108516 73 0 0 25 0 11 0 470581552 856993792 32082 4294967295 134512640 134569956 3221224400 3221214688 1131598620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32082 13073 16 0 209211 0
vsize: 836908
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 109492 73 0 0 25 0 11 0 470581552 856993792 32178 4294967295 134512640 134569956 3221224400 3221213588 1131635081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32178 13073 16 0 209211 0
vsize: 836908
[startup+1140.09 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 110468 73 0 0 25 0 11 0 470581552 856993792 32255 4294967295 134512640 134569956 3221224400 3221214540 1131636752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32255 13073 16 0 209211 0
vsize: 836908
[startup+1150.09 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 111448 74 0 0 24 0 11 0 470581552 856993792 32330 4294967295 134512640 134569956 3221224400 3221214404 1131634816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32330 13073 16 0 209211 0
vsize: 836908
[startup+1160.09 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 112427 74 0 0 25 0 11 0 470581552 856993792 32390 4294967295 134512640 134569956 3221224400 3221213480 1131634975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32390 13073 16 0 209211 0
vsize: 836908
[startup+1170.09 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 113406 74 0 0 25 0 11 0 470581552 856993792 32437 4294967295 134512640 134569956 3221224400 3221213592 1131636817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32437 13073 16 0 209211 0
vsize: 836908
[startup+1180.09 s]
Raw data (loadavg): 1.12 1.03 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 114384 74 0 0 25 0 11 0 470581552 856993792 32482 4294967295 134512640 134569956 3221224400 3221214848 1131216774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209227 32482 13073 16 0 209211 0
vsize: 836908
[startup+1190.09 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 115355 75 0 0 25 0 11 0 470581552 856993792 32565 4294967295 134512640 134569956 3221224400 3221214760 1131283061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32565 13073 16 0 209211 0
vsize: 836908
[startup+1200.09 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 116331 75 0 0 25 0 11 0 470581552 856993792 32633 4294967295 134512640 134569956 3221224400 3221214856 1131489748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32633 13073 16 0 209211 0
vsize: 836908
[startup+1210.09 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 117307 75 0 0 25 0 11 0 470581552 856993792 32696 4294967295 134512640 134569956 3221224400 3221214736 1131506545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32696 13073 16 0 209211 0
vsize: 836908
[startup+1220.09 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 118277 75 0 0 25 0 11 0 470581552 856993792 32779 4294967295 134512640 134569956 3221224400 3221213920 1131635028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32779 13073 16 0 209211 0
vsize: 836908
[startup+1230.09 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 119253 76 0 0 25 0 11 0 470581552 856993792 32872 4294967295 134512640 134569956 3221224400 3221214688 1131598628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32872 13073 16 0 209211 0
vsize: 836908
[startup+1240.09 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 22863
Raw data (stat): 22795 (java) R 22794 26667 26666 0 -1 0 18077 3 1 0 120225 76 0 0 25 0 11 0 470581552 856993792 32977 4294967295 134512640 134569956 3221224400 3221214856 1131240835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209227 32977 13073 16 0 209211 0
vsize: 836908
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.04 1.02 0.95 1/54 22865
Raw data (stat): 22795 (java) Z 22794 26667 26666 0 -1 1036 18077 13778 1 0 120228 76 3401 39 25 0 1 0 470581552 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): 1240.18
CPU time (s): 1237.46
CPU user time (s): 1236.31
CPU system time (s): 1.15782
CPU usage (%): 99.7808
Max. virtual memory (Kb): 839540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####