Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUMb5e0cd2fd527d211d525adea6c422112
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 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.70674
Number of variables8902
Total number of constraints3459
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)626
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint1
Maximum length of a constraint2407

Trace number 13329 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        815748 kB
Buffers:         34136 kB
Cached:         150844 kB
SwapCached:        660 kB
Active:          79644 kB
Inactive:       107560 kB
HighTotal:      131008 kB
HighFree:         5208 kB
LowTotal:       903652 kB
LowFree:        810540 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            26016 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 20:46:13 (client local time) WITH STATUS 143 IN 1243.77 SECONDS
stats: 15206 7 1243.77 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-roll3000.opb
c reading problem 
c [nbvar=8902]
c [nbconstr=3459]
c time 32.996
c #vars     8902
c #clauses  3038
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.27 0.06 0.02 1/55 13603
Raw data (stat): 13603 (runsolver) D 13602 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 539298571 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.38 0.09 0.03 2/64 13612
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18023 0 1 0 823 39 0 0 25 0 10 0 539298571 856915968 20022 4294967295 134512640 134569956 3221224400 3221214800 1130894842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209208 20022 13073 16 0 209192 0
vsize: 836832
[startup+20.002 s]
Raw data (loadavg): 0.56 0.14 0.04 3/64 13612
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18023 0 1 0 1703 39 0 0 25 0 10 0 539298571 857096192 20639 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209252 20639 13073 16 0 209236 0
vsize: 837008
[startup+30.0023 s]
Raw data (loadavg): 0.63 0.17 0.05 3/64 13612
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18024 0 1 0 2583 41 0 0 25 0 10 0 539298571 856784896 21122 4294967295 134512640 134569956 3221224400 3221214864 1131158161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209176 21122 13073 16 0 209160 0
vsize: 836704
[startup+40.0035 s]
Raw data (loadavg): 0.76 0.21 0.07 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18053 0 1 0 3449 43 0 0 25 0 11 0 539298571 859377664 24553 4294967295 134512640 134569956 3221224400 3221214664 1131274384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209809 24553 13073 16 0 209793 0
vsize: 839236
[startup+50.0049 s]
Raw data (loadavg): 0.79 0.24 0.08 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18092 0 1 0 4359 43 0 0 24 0 11 0 539298571 859160576 24595 4294967295 134512640 134569956 3221224400 3221214716 1131230127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 24595 13073 16 0 209740 0
vsize: 839024
[startup+60.0099 s]
Raw data (loadavg): 0.98 0.29 0.10 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18092 0 1 0 5314 44 0 0 25 0 11 0 539298571 862830592 25499 4294967295 134512640 134569956 3221224400 3221214848 1131438496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210652 25499 13073 16 0 210636 0
vsize: 842608
[startup+70.0148 s]
Raw data (loadavg): 0.98 0.32 0.11 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18092 0 1 0 6274 44 0 0 25 0 11 0 539298571 862830592 25835 4294967295 134512640 134569956 3221224400 3221214720 1131230097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210652 25835 13073 16 0 210636 0
vsize: 842608
[startup+80.0226 s]
Raw data (loadavg): 0.98 0.34 0.12 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18093 0 1 0 7258 44 0 0 25 0 11 0 539298571 859160576 24992 4294967295 134512640 134569956 3221224400 3221214768 1131404520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 24992 13073 16 0 209740 0
vsize: 839024
[startup+90.0229 s]
Raw data (loadavg): 0.99 0.36 0.13 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18093 0 1 0 8243 44 0 0 24 0 11 0 539298571 859160576 24997 4294967295 134512640 134569956 3221224400 3221214688 1131274539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 24997 13073 16 0 209740 0
vsize: 839024
[startup+100.024 s]
Raw data (loadavg): 0.99 0.38 0.13 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18093 0 1 0 9230 44 0 0 25 0 11 0 539298571 859160576 24997 4294967295 134512640 134569956 3221224400 3221214768 1131404520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 24997 13073 16 0 209740 0
vsize: 839024
[startup+110.026 s]
Raw data (loadavg): 0.99 0.40 0.14 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18094 0 1 0 10195 44 0 0 25 0 11 0 539298571 859160576 25014 4294967295 134512640 134569956 3221224400 3221214648 1131636862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25014 13073 16 0 209740 0
vsize: 839024
[startup+120.025 s]
Raw data (loadavg): 0.99 0.42 0.15 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 11185 44 0 0 25 0 11 0 539298571 859160576 25040 4294967295 134512640 134569956 3221224400 3221214648 1131638267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25040 13073 16 0 209740 0
vsize: 839024
[startup+130.026 s]
Raw data (loadavg): 0.99 0.44 0.16 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 12176 44 0 0 25 0 11 0 539298571 859160576 25055 4294967295 134512640 134569956 3221224400 3221214656 1131255783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25055 13073 16 0 209740 0
vsize: 839024
[startup+140.027 s]
Raw data (loadavg): 0.99 0.46 0.17 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 13165 45 0 0 25 0 11 0 539298571 859160576 25064 4294967295 134512640 134569956 3221224400 3221214768 1131402381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25064 13073 16 0 209740 0
vsize: 839024
[startup+150.026 s]
Raw data (loadavg): 0.99 0.47 0.18 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 14155 45 0 0 25 0 11 0 539298571 859160576 25122 4294967295 134512640 134569956 3221224400 3221214688 1131274359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25122 13073 16 0 209740 0
vsize: 839024
[startup+160.026 s]
Raw data (loadavg): 0.99 0.49 0.19 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 15146 45 0 0 25 0 11 0 539298571 859160576 25125 4294967295 134512640 134569956 3221224400 3221214752 1131230048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25125 13073 16 0 209740 0
vsize: 839024
[startup+170.028 s]
Raw data (loadavg): 0.99 0.51 0.19 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 16135 45 0 0 25 0 11 0 539298571 859160576 25139 4294967295 134512640 134569956 3221224400 3221214700 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25139 13073 16 0 209740 0
vsize: 839024
[startup+180.029 s]
Raw data (loadavg): 0.99 0.52 0.20 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 17123 45 0 0 25 0 11 0 539298571 859160576 25148 4294967295 134512640 134569956 3221224400 3221214768 1131403711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25148 13073 16 0 209740 0
vsize: 839024
[startup+190.029 s]
Raw data (loadavg): 0.99 0.54 0.21 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 18117 45 0 0 25 0 11 0 539298571 859160576 25198 4294967295 134512640 134569956 3221224400 3221214740 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25198 13073 16 0 209740 0
vsize: 839024
[startup+200.03 s]
Raw data (loadavg): 0.99 0.55 0.22 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 19112 45 0 0 25 0 11 0 539298571 859160576 25198 4294967295 134512640 134569956 3221224400 3221214496 1131242061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25198 13073 16 0 209740 0
vsize: 839024
[startup+210.03 s]
Raw data (loadavg): 0.99 0.57 0.23 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 20103 45 0 0 25 0 11 0 539298571 859160576 25199 4294967295 134512640 134569956 3221224400 3221214768 1131404468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25199 13073 16 0 209740 0
vsize: 839024
[startup+220.03 s]
Raw data (loadavg): 0.99 0.58 0.23 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 21089 45 0 0 25 0 11 0 539298571 859160576 25201 4294967295 134512640 134569956 3221224400 3221214648 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25201 13073 16 0 209740 0
vsize: 839024
[startup+230.031 s]
Raw data (loadavg): 0.99 0.59 0.24 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 22074 45 0 0 25 0 11 0 539298571 859160576 25201 4294967295 134512640 134569956 3221224400 3221214768 1131404595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25201 13073 16 0 209740 0
vsize: 839024
[startup+240.031 s]
Raw data (loadavg): 0.99 0.61 0.25 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 23055 45 0 0 25 0 11 0 539298571 859160576 25252 4294967295 134512640 134569956 3221224400 3221214488 1131242095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25252 13073 16 0 209740 0
vsize: 839024
[startup+250.032 s]
Raw data (loadavg): 0.99 0.62 0.26 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 24033 46 0 0 25 0 11 0 539298571 859160576 25279 4294967295 134512640 134569956 3221224400 3221214648 1131637616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25279 13073 16 0 209740 0
vsize: 839024
[startup+260.032 s]
Raw data (loadavg): 0.99 0.63 0.27 2/65 13613
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 25007 46 0 0 25 0 11 0 539298571 859160576 25284 4294967295 134512640 134569956 3221224400 3221214768 1131404600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25284 13073 16 0 209740 0
vsize: 839024
[startup+270.033 s]
Raw data (loadavg): 0.99 0.64 0.27 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 25982 46 0 0 25 0 11 0 539298571 859160576 25310 4294967295 134512640 134569956 3221224400 3221214752 1131719949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25310 13073 16 0 209740 0
vsize: 839024
[startup+280.033 s]
Raw data (loadavg): 0.99 0.65 0.28 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 26965 46 0 0 25 0 11 0 539298571 859160576 25353 4294967295 134512640 134569956 3221224400 3221214768 1131402404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 25353 13073 16 0 209740 0
vsize: 839024
[startup+290.034 s]
Raw data (loadavg): 0.99 0.66 0.29 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 27948 46 0 0 24 0 11 0 539298571 859160576 25466 4294967295 134512640 134569956 3221224400 3221214728 1131350801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25466 13073 16 0 209740 0
vsize: 839024
[startup+300.033 s]
Raw data (loadavg): 0.99 0.68 0.29 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 28930 46 0 0 25 0 11 0 539298571 859160576 25542 4294967295 134512640 134569956 3221224400 3221214688 1131274359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25542 13073 16 0 209740 0
vsize: 839024
[startup+310.034 s]
Raw data (loadavg): 0.99 0.69 0.30 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 29916 46 0 0 25 0 11 0 539298571 859160576 25546 4294967295 134512640 134569956 3221224400 3221214728 1131455847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25546 13073 16 0 209740 0
vsize: 839024
[startup+320.034 s]
Raw data (loadavg): 0.99 0.70 0.31 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 30903 47 0 0 25 0 11 0 539298571 859160576 25558 4294967295 134512640 134569956 3221224400 3221214752 1131719910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25558 13073 16 0 209740 0
vsize: 839024
[startup+330.034 s]
Raw data (loadavg): 0.99 0.71 0.31 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 31896 47 0 0 25 0 11 0 539298571 859160576 25620 4294967295 134512640 134569956 3221224400 3221214648 1131636970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25620 13073 16 0 209740 0
vsize: 839024
[startup+340.034 s]
Raw data (loadavg): 0.99 0.71 0.32 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 32884 47 0 0 25 0 11 0 539298571 859160576 25628 4294967295 134512640 134569956 3221224400 3221214656 1131255770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25628 13073 16 0 209740 0
vsize: 839024
[startup+350.034 s]
Raw data (loadavg): 0.99 0.72 0.33 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 33871 47 0 0 24 0 11 0 539298571 859160576 25628 4294967295 134512640 134569956 3221224400 3221214752 1131390292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25628 13073 16 0 209740 0
vsize: 839024
[startup+360.034 s]
Raw data (loadavg): 0.99 0.73 0.33 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 34848 48 0 0 25 0 11 0 539298571 859160576 25628 4294967295 134512640 134569956 3221224400 3221214688 1131274359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25628 13073 16 0 209740 0
vsize: 839024
[startup+370.034 s]
Raw data (loadavg): 0.99 0.74 0.34 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 35827 48 0 0 25 0 11 0 539298571 859160576 25685 4294967295 134512640 134569956 3221224400 3221214868 1080204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25685 13073 16 0 209740 0
vsize: 839024
[startup+380.034 s]
Raw data (loadavg): 0.99 0.75 0.35 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 36807 48 0 0 25 0 11 0 539298571 859160576 25688 4294967295 134512640 134569956 3221224400 3221214752 1131715088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25688 13073 16 0 209740 0
vsize: 839024
[startup+390.035 s]
Raw data (loadavg): 0.99 0.76 0.35 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 37778 49 0 0 25 0 11 0 539298571 859160576 25689 4294967295 134512640 134569956 3221224400 3221214800 1131345234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25689 13073 16 0 209740 0
vsize: 839024
[startup+400.035 s]
Raw data (loadavg): 0.99 0.76 0.36 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 38749 49 0 0 25 0 11 0 539298571 859160576 25711 4294967295 134512640 134569956 3221224400 3221214752 1131715088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25711 13073 16 0 209740 0
vsize: 839024
[startup+410.035 s]
Raw data (loadavg): 0.99 0.77 0.37 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 39710 49 0 0 25 0 11 0 539298571 859160576 25785 4294967295 134512640 134569956 3221224400 3221214752 1131715091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25785 13073 16 0 209740 0
vsize: 839024
[startup+420.035 s]
Raw data (loadavg): 0.99 0.78 0.37 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 40670 49 0 0 25 0 11 0 539298571 859160576 25787 4294967295 134512640 134569956 3221224400 3221214752 1131715223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25787 13073 16 0 209740 0
vsize: 839024
[startup+430.036 s]
Raw data (loadavg): 0.99 0.79 0.38 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 41635 50 0 0 25 0 11 0 539298571 859160576 25787 4294967295 134512640 134569956 3221224400 3221214584 1131243560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 25787 13073 16 0 209740 0
vsize: 839024
[startup+440.037 s]
Raw data (loadavg): 0.99 0.79 0.39 2/65 13615
Raw data (stat): 13603 (java) S 13602 22929 22928 0 -1 0 18095 0 1 0 42576 50 0 0 25 0 11 0 539298571 859160576 26026 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26029 13073 16 0 209740 0
vsize: 839024
[startup+450.038 s]
Raw data (loadavg): 0.99 0.80 0.39 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 43550 50 0 0 25 0 11 0 539298571 859160576 26094 4294967295 134512640 134569956 3221224400 3221214648 1131637514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26094 13073 16 0 209740 0
vsize: 839024
[startup+460.038 s]
Raw data (loadavg): 0.99 0.80 0.40 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 44519 50 0 0 25 0 11 0 539298571 859160576 26317 4294967295 134512640 134569956 3221224400 3221214584 1131241984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26317 13073 16 0 209740 0
vsize: 839024
[startup+470.038 s]
Raw data (loadavg): 0.99 0.81 0.40 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 45490 51 0 0 25 0 11 0 539298571 859160576 26415 4294967295 134512640 134569956 3221224400 3221214584 1131242061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26415 13073 16 0 209740 0
vsize: 839024
[startup+480.04 s]
Raw data (loadavg): 0.99 0.82 0.41 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 46465 51 0 0 25 0 11 0 539298571 859160576 26548 4294967295 134512640 134569956 3221224400 3221214584 1131242095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26548 13073 16 0 209740 0
vsize: 839024
[startup+490.04 s]
Raw data (loadavg): 0.99 0.82 0.41 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 47446 52 0 0 25 0 11 0 539298571 859160576 26638 4294967295 134512640 134569956 3221224400 3221214752 1131715088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26638 13073 16 0 209740 0
vsize: 839024
[startup+500.039 s]
Raw data (loadavg): 0.99 0.83 0.42 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 48429 52 0 0 25 0 11 0 539298571 859160576 26638 4294967295 134512640 134569956 3221224400 3221214612 1131557984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26638 13073 16 0 209740 0
vsize: 839024
[startup+510.039 s]
Raw data (loadavg): 0.99 0.83 0.43 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 49404 53 0 0 25 0 11 0 539298571 859160576 26694 4294967295 134512640 134569956 3221224400 3221214584 1131242173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26694 13073 16 0 209740 0
vsize: 839024
[startup+520.04 s]
Raw data (loadavg): 0.99 0.84 0.43 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 50382 53 0 0 25 0 11 0 539298571 859160576 26785 4294967295 134512640 134569956 3221224400 3221214648 1131638581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26785 13073 16 0 209740 0
vsize: 839024
[startup+530.041 s]
Raw data (loadavg): 0.99 0.84 0.44 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 51370 54 0 0 25 0 11 0 539298571 859160576 26785 4294967295 134512640 134569956 3221224400 3221214584 1131242086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26785 13073 16 0 209740 0
vsize: 839024
[startup+540.048 s]
Raw data (loadavg): 0.99 0.85 0.44 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 52352 54 0 0 25 0 11 0 539298571 859160576 26831 4294967295 134512640 134569956 3221224400 3221214584 1131241967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26831 13073 16 0 209740 0
vsize: 839024
[startup+550.056 s]
Raw data (loadavg): 0.99 0.85 0.45 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 53329 54 0 0 25 0 11 0 539298571 859160576 26876 4294967295 134512640 134569956 3221224400 3221214584 1131241986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26876 13073 16 0 209740 0
vsize: 839024
[startup+560.065 s]
Raw data (loadavg): 0.99 0.86 0.46 2/65 13615
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 54311 54 0 0 25 0 11 0 539298571 859160576 26971 4294967295 134512640 134569956 3221224400 3221214584 1131242131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26971 13073 16 0 209740 0
vsize: 839024
[startup+570.065 s]
Raw data (loadavg): 0.99 0.86 0.46 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 55289 55 0 0 25 0 11 0 539298571 859160576 26971 4294967295 134512640 134569956 3221224400 3221214752 1131719910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26971 13073 16 0 209740 0
vsize: 839024
[startup+580.066 s]
Raw data (loadavg): 0.99 0.86 0.47 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 56275 55 0 0 25 0 11 0 539298571 859160576 26971 4294967295 134512640 134569956 3221224400 3221214648 1131637514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 26971 13073 16 0 209740 0
vsize: 839024
[startup+590.067 s]
Raw data (loadavg): 0.99 0.87 0.47 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 57251 55 0 0 25 0 11 0 539298571 859160576 27020 4294967295 134512640 134569956 3221224400 3221214728 1131350724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27020 13073 16 0 209740 0
vsize: 839024
[startup+600.066 s]
Raw data (loadavg): 0.99 0.87 0.48 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 58231 56 0 0 25 0 11 0 539298571 859160576 27064 4294967295 134512640 134569956 3221224400 3221214584 1131242348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27064 13073 16 0 209740 0
vsize: 839024
[startup+610.075 s]
Raw data (loadavg): 0.99 0.88 0.48 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 59210 56 0 0 24 0 11 0 539298571 859160576 27212 4294967295 134512640 134569956 3221224400 3221214584 1131242131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27212 13073 16 0 209740 0
vsize: 839024
[startup+620.075 s]
Raw data (loadavg): 0.99 0.88 0.49 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 60189 56 0 0 25 0 11 0 539298571 859160576 27212 4294967295 134512640 134569956 3221224400 3221214648 1131638649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27212 13073 16 0 209740 0
vsize: 839024
[startup+630.075 s]
Raw data (loadavg): 0.99 0.88 0.49 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 61172 57 0 0 25 0 11 0 539298571 859160576 27212 4294967295 134512640 134569956 3221224400 3221214648 1131637538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27212 13073 16 0 209740 0
vsize: 839024
[startup+640.075 s]
Raw data (loadavg): 0.99 0.89 0.50 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 62152 57 0 0 25 0 11 0 539298571 859160576 27266 4294967295 134512640 134569956 3221224400 3221214584 1131242131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27266 13073 16 0 209740 0
vsize: 839024
[startup+650.075 s]
Raw data (loadavg): 0.99 0.89 0.50 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 63128 57 0 0 25 0 11 0 539298571 859160576 27309 4294967295 134512640 134569956 3221224400 3221214648 1131637200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 27309 13073 16 0 209740 0
vsize: 839024
[startup+660.079 s]
Raw data (loadavg): 0.99 0.89 0.50 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 64103 58 0 0 25 0 11 0 539298571 859160576 27345 4294967295 134512640 134569956 3221224400 3221214648 1131639403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27345 13073 16 0 209740 0
vsize: 839024
[startup+670.079 s]
Raw data (loadavg): 0.99 0.89 0.51 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 65085 58 0 0 25 0 11 0 539298571 859160576 27460 4294967295 134512640 134569956 3221224400 3221214648 1131637604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27460 13073 16 0 209740 0
vsize: 839024
[startup+680.079 s]
Raw data (loadavg): 0.99 0.90 0.51 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 66069 58 0 0 25 0 11 0 539298571 859160576 27460 4294967295 134512640 134569956 3221224400 3221214752 1131715088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27460 13073 16 0 209740 0
vsize: 839024
[startup+690.08 s]
Raw data (loadavg): 0.99 0.90 0.52 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 67046 59 0 0 25 0 11 0 539298571 859160576 27552 4294967295 134512640 134569956 3221224400 3221214728 1131350732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27552 13073 16 0 209740 0
vsize: 839024
[startup+700.08 s]
Raw data (loadavg): 0.99 0.90 0.52 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 68024 59 0 0 25 0 11 0 539298571 859160576 27552 4294967295 134512640 134569956 3221224400 3221214752 1131715080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27552 13073 16 0 209740 0
vsize: 839024
[startup+710.08 s]
Raw data (loadavg): 0.99 0.91 0.53 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 69004 59 0 0 24 0 11 0 539298571 859160576 27644 4294967295 134512640 134569956 3221224400 3221214752 1131715091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27644 13073 16 0 209740 0
vsize: 839024
[startup+720.084 s]
Raw data (loadavg): 0.99 0.91 0.53 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 69991 60 0 0 25 0 11 0 539298571 859160576 27644 4294967295 134512640 134569956 3221224400 3221214752 1131719936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27644 13073 16 0 209740 0
vsize: 839024
[startup+730.089 s]
Raw data (loadavg): 0.99 0.91 0.54 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 70967 60 0 0 25 0 11 0 539298571 859160576 27648 4294967295 134512640 134569956 3221224400 3221214648 1131639412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27648 13073 16 0 209740 0
vsize: 839024
[startup+740.092 s]
Raw data (loadavg): 0.99 0.91 0.54 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 71945 60 0 0 25 0 11 0 539298571 859160576 27736 4294967295 134512640 134569956 3221224400 3221214752 1131715091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27736 13073 16 0 209740 0
vsize: 839024
[startup+750.092 s]
Raw data (loadavg): 0.99 0.92 0.55 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 72924 60 0 0 25 0 11 0 539298571 859160576 27830 4294967295 134512640 134569956 3221224400 3221214648 1131636896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27830 13073 16 0 209740 0
vsize: 839024
[startup+760.102 s]
Raw data (loadavg): 0.99 0.92 0.55 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 73904 61 0 0 25 0 11 0 539298571 859160576 27830 4294967295 134512640 134569956 3221224400 3221214752 1131715231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27830 13073 16 0 209740 0
vsize: 839024
[startup+770.101 s]
Raw data (loadavg): 0.99 0.92 0.56 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 74885 61 0 0 25 0 11 0 539298571 859160576 27878 4294967295 134512640 134569956 3221224400 3221214584 1131242973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27878 13073 16 0 209740 0
vsize: 839024
[startup+780.102 s]
Raw data (loadavg): 0.99 0.92 0.56 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 75872 61 0 0 25 0 11 0 539298571 859160576 27922 4294967295 134512640 134569956 3221224400 3221214648 1131636896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27922 13073 16 0 209740 0
vsize: 839024
[startup+790.102 s]
Raw data (loadavg): 0.99 0.92 0.56 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 76849 61 0 0 25 0 11 0 539298571 859160576 27967 4294967295 134512640 134569956 3221224400 3221214648 1131637240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27967 13073 16 0 209740 0
vsize: 839024
[startup+800.103 s]
Raw data (loadavg): 0.99 0.93 0.57 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 77824 61 0 0 24 0 11 0 539298571 859160576 27972 4294967295 134512640 134569956 3221224400 3221214488 1078033013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 27972 13073 16 0 209740 0
vsize: 839024
[startup+810.103 s]
Raw data (loadavg): 0.99 0.93 0.57 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 78800 62 0 0 25 0 11 0 539298571 859160576 28071 4294967295 134512640 134569956 3221224400 3221214752 1131719970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28071 13073 16 0 209740 0
vsize: 839024
[startup+820.103 s]
Raw data (loadavg): 0.99 0.93 0.58 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 79780 62 0 0 25 0 11 0 539298571 859160576 28107 4294967295 134512640 134569956 3221224400 3221214648 1131637734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28107 13073 16 0 209740 0
vsize: 839024
[startup+830.104 s]
Raw data (loadavg): 0.99 0.93 0.58 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 80762 62 0 0 25 0 11 0 539298571 859160576 28107 4294967295 134512640 134569956 3221224400 3221214752 1131715088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28107 13073 16 0 209740 0
vsize: 839024
[startup+840.104 s]
Raw data (loadavg): 0.99 0.93 0.58 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 81743 62 0 0 25 0 11 0 539298571 859160576 28214 4294967295 134512640 134569956 3221224400 3221214648 1131637740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28214 13073 16 0 209740 0
vsize: 839024
[startup+850.105 s]
Raw data (loadavg): 0.99 0.94 0.59 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 82721 63 0 0 25 0 11 0 539298571 859160576 28262 4294967295 134512640 134569956 3221224400 3221214752 1131715091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28262 13073 16 0 209740 0
vsize: 839024
[startup+860.105 s]
Raw data (loadavg): 0.99 0.94 0.59 2/65 13617
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 83702 63 0 0 25 0 11 0 539298571 859160576 28351 4294967295 134512640 134569956 3221224400 3221214584 1131241984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28351 13073 16 0 209740 0
vsize: 839024
[startup+870.106 s]
Raw data (loadavg): 0.99 0.94 0.60 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 84676 64 0 0 25 0 11 0 539298571 859160576 28351 4294967295 134512640 134569956 3221224400 3221214752 1131715088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28351 13073 16 0 209740 0
vsize: 839024
[startup+880.107 s]
Raw data (loadavg): 0.99 0.94 0.60 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 85658 64 0 0 25 0 11 0 539298571 859160576 28388 4294967295 134512640 134569956 3221224400 3221214584 1131242328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28388 13073 16 0 209740 0
vsize: 839024
[startup+890.114 s]
Raw data (loadavg): 0.99 0.94 0.60 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 86643 64 0 0 25 0 11 0 539298571 859160576 28451 4294967295 134512640 134569956 3221224400 3221214648 1131637514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28451 13073 16 0 209740 0
vsize: 839024
[startup+900.123 s]
Raw data (loadavg): 0.99 0.94 0.61 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 87619 65 0 0 25 0 11 0 539298571 859160576 28456 4294967295 134512640 134569956 3221224400 3221214584 1131241939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28456 13073 16 0 209740 0
vsize: 839024
[startup+910.128 s]
Raw data (loadavg): 0.99 0.94 0.61 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 88595 65 0 0 25 0 11 0 539298571 859160576 28506 4294967295 134512640 134569956 3221224400 3221214752 1131715091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28506 13073 16 0 209740 0
vsize: 839024
[startup+920.25 s]
Raw data (loadavg): 0.99 0.95 0.61 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 89588 65 0 0 25 0 11 0 539298571 859160576 28603 4294967295 134512640 134569956 3221224400 3221214648 1131637528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28603 13073 16 0 209740 0
vsize: 839024
[startup+930.255 s]
Raw data (loadavg): 0.99 0.95 0.62 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 90560 66 0 0 25 0 11 0 539298571 859160576 28639 4294967295 134512640 134569956 3221224400 3221214752 1131715088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28639 13073 16 0 209740 0
vsize: 839024
[startup+940.255 s]
Raw data (loadavg): 0.99 0.95 0.62 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 91541 66 0 0 25 0 11 0 539298571 859160576 28650 4294967295 134512640 134569956 3221224400 3221214584 1131242131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28650 13073 16 0 209740 0
vsize: 839024
[startup+950.255 s]
Raw data (loadavg): 0.99 0.95 0.63 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 92527 66 0 0 25 0 11 0 539298571 859160576 28746 4294967295 134512640 134569956 3221224400 3221214752 1131719776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28746 13073 16 0 209740 0
vsize: 839024
[startup+960.255 s]
Raw data (loadavg): 0.99 0.95 0.63 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 93504 67 0 0 25 0 11 0 539298571 859160576 28796 4294967295 134512640 134569956 3221224400 3221214752 1131715223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28796 13073 16 0 209740 0
vsize: 839024
[startup+970.257 s]
Raw data (loadavg): 0.99 0.95 0.63 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 94479 67 0 0 25 0 11 0 539298571 859160576 28799 4294967295 134512640 134569956 3221224400 3221214688 1131306109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28799 13073 16 0 209740 0
vsize: 839024
[startup+980.266 s]
Raw data (loadavg): 0.99 0.95 0.64 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 95461 67 0 0 25 0 11 0 539298571 859160576 28889 4294967295 134512640 134569956 3221224400 3221214584 1131242394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28889 13073 16 0 209740 0
vsize: 839024
[startup+990.266 s]
Raw data (loadavg): 0.99 0.95 0.64 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 96432 67 0 0 25 0 11 0 539298571 859160576 28889 4294967295 134512640 134569956 3221224400 3221214752 1131715182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28889 13073 16 0 209740 0
vsize: 839024
[startup+1000.27 s]
Raw data (loadavg): 0.99 0.95 0.64 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 97410 68 0 0 25 0 11 0 539298571 859160576 28889 4294967295 134512640 134569956 3221224400 3221214648 1131639410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 28889 13073 16 0 209740 0
vsize: 839024
[startup+1010.28 s]
Raw data (loadavg): 0.99 0.95 0.65 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 98397 68 0 0 25 0 11 0 539298571 859160576 29043 4294967295 134512640 134569956 3221224400 3221214616 1131381816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29043 13073 16 0 209740 0
vsize: 839024
[startup+1020.29 s]
Raw data (loadavg): 0.99 0.96 0.65 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 99374 68 0 0 25 0 11 0 539298571 859160576 29100 4294967295 134512640 134569956 3221224400 3221214584 1131242798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29100 13073 16 0 209740 0
vsize: 839024
[startup+1030.29 s]
Raw data (loadavg): 0.99 0.96 0.65 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 100350 69 0 0 25 0 11 0 539298571 859160576 29104 4294967295 134512640 134569956 3221224400 3221214752 1131719780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29104 13073 16 0 209740 0
vsize: 839024
[startup+1040.29 s]
Raw data (loadavg): 0.99 0.96 0.66 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 101331 69 0 0 25 0 11 0 539298571 859160576 29190 4294967295 134512640 134569956 3221224400 3221214584 1131242067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29190 13073 16 0 209740 0
vsize: 839024
[startup+1050.29 s]
Raw data (loadavg): 0.99 0.96 0.66 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 102301 70 0 0 25 0 11 0 539298571 859160576 29190 4294967295 134512640 134569956 3221224400 3221214584 1131242131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29190 13073 16 0 209740 0
vsize: 839024
[startup+1060.29 s]
Raw data (loadavg): 0.99 0.96 0.66 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 103282 70 0 0 25 0 11 0 539298571 859160576 29227 4294967295 134512640 134569956 3221224400 3221214648 1131637243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 29227 13073 16 0 209740 0
vsize: 839024
[startup+1070.3 s]
Raw data (loadavg): 0.99 0.96 0.66 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 104268 70 0 0 25 0 11 0 539298571 859160576 29338 4294967295 134512640 134569956 3221224400 3221214608 1131475029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29338 13073 16 0 209740 0
vsize: 839024
[startup+1080.3 s]
Raw data (loadavg): 0.99 0.96 0.67 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 105244 71 0 0 25 0 11 0 539298571 859160576 29399 4294967295 134512640 134569956 3221224400 3221214752 1131715080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29399 13073 16 0 209740 0
vsize: 839024
[startup+1090.3 s]
Raw data (loadavg): 0.99 0.96 0.67 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 106220 71 0 0 25 0 11 0 539298571 859160576 29403 4294967295 134512640 134569956 3221224400 3221214648 1131638554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29403 13073 16 0 209740 0
vsize: 839024
[startup+1100.3 s]
Raw data (loadavg): 0.99 0.96 0.67 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 107198 72 0 0 25 0 11 0 539298571 859160576 29494 4294967295 134512640 134569956 3221224400 3221214752 1131719783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29494 13073 16 0 209740 0
vsize: 839024
[startup+1110.31 s]
Raw data (loadavg): 0.99 0.96 0.68 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 108174 72 0 0 25 0 11 0 539298571 859160576 29494 4294967295 134512640 134569956 3221224400 3221214584 1131241939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29494 13073 16 0 209740 0
vsize: 839024
[startup+1120.31 s]
Raw data (loadavg): 1.07 0.98 0.68 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 109154 72 0 0 25 0 11 0 539298571 859160576 29531 4294967295 134512640 134569956 3221224400 3221214584 1131242095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29531 13073 16 0 209740 0
vsize: 839024
[startup+1130.31 s]
Raw data (loadavg): 1.06 0.98 0.69 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 110133 73 0 0 25 0 11 0 539298571 859160576 29638 4294967295 134512640 134569956 3221224400 3221214752 1131719898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29638 13073 16 0 209740 0
vsize: 839024
[startup+1140.32 s]
Raw data (loadavg): 1.05 0.98 0.69 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 111110 73 0 0 25 0 11 0 539298571 859160576 29638 4294967295 134512640 134569956 3221224400 3221214688 1131306018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29638 13073 16 0 209740 0
vsize: 839024
[startup+1150.32 s]
Raw data (loadavg): 1.04 0.98 0.69 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 112089 73 0 0 25 0 11 0 539298571 859160576 29689 4294967295 134512640 134569956 3221224400 3221214616 1131380022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29689 13073 16 0 209740 0
vsize: 839024
[startup+1160.32 s]
Raw data (loadavg): 1.03 0.98 0.70 2/65 13619
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 113065 73 0 0 25 0 11 0 539298571 859160576 29775 4294967295 134512640 134569956 3221224400 3221214688 1131306030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29775 13073 16 0 209740 0
vsize: 839024
[startup+1170.32 s]
Raw data (loadavg): 1.03 0.98 0.70 2/65 13621
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 114041 74 0 0 25 0 11 0 539298571 859160576 29812 4294967295 134512640 134569956 3221224400 3221214752 1131719790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29812 13073 16 0 209740 0
vsize: 839024
[startup+1180.32 s]
Raw data (loadavg): 1.02 0.98 0.70 2/65 13621
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 115026 74 0 0 25 0 11 0 539298571 859160576 29812 4294967295 134512640 134569956 3221224400 3221214752 1131715091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29812 13073 16 0 209740 0
vsize: 839024
[startup+1190.32 s]
Raw data (loadavg): 1.02 0.98 0.70 2/65 13621
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 116002 74 0 0 25 0 11 0 539298571 859160576 29913 4294967295 134512640 134569956 3221224400 3221214584 1131242039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29913 13073 16 0 209740 0
vsize: 839024
[startup+1200.32 s]
Raw data (loadavg): 1.02 0.98 0.71 2/65 13621
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 116978 75 0 0 25 0 11 0 539298571 859160576 29957 4294967295 134512640 134569956 3221224400 3221214688 1131305985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 29957 13073 16 0 209740 0
vsize: 839024
[startup+1210.33 s]
Raw data (loadavg): 1.01 0.98 0.71 2/65 13621
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 117959 75 0 0 25 0 11 0 539298571 859160576 30044 4294967295 134512640 134569956 3221224400 3221214728 1131350843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 30044 13073 16 0 209740 0
vsize: 839024
[startup+1220.34 s]
Raw data (loadavg): 1.01 0.98 0.71 2/65 13621
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 118934 75 0 0 25 0 11 0 539298571 859160576 30044 4294967295 134512640 134569956 3221224400 3221214648 1131637240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 30044 13073 16 0 209740 0
vsize: 839024
[startup+1230.45 s]
Raw data (loadavg): 1.01 0.98 0.72 2/65 13621
Raw data (stat): 13603 (java) R 13602 22929 22928 0 -1 0 18095 0 1 0 119926 76 0 0 25 0 11 0 539298571 859160576 30081 4294967295 134512640 134569956 3221224400 3221214584 1131242394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209756 30081 13073 16 0 209740 0
vsize: 839024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.57 s]
Raw data (loadavg): 1.01 0.98 0.72 1/55 13623
Raw data (stat): 13603 (java) Z 13602 22929 22928 0 -1 1036 18095 18493 1 0 119932 81 4311 51 25 0 1 0 539298571 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): 1230.57
CPU time (s): 1243.77
CPU user time (s): 1242.44
CPU system time (s): 1.3308
CPU usage (%): 101.073
Max. virtual memory (Kb): 842608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####