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-blp-ar98.opb
MD5SUM181a05258ae35e5f3b5b834240f1847a
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 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 572975239517507
Number of bits of the biggest sum of numbers50
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.23881
Number of variables20024
Total number of constraints17064
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)16718
Number of constraints which are nor clauses,nor cardinality constraints345
Minimum length of a constraint1
Maximum length of a constraint15837

Trace number 20432 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-21 20:59:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14959 boxname=wulflinc29 idbench=1151 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  181a05258ae35e5f3b5b834240f1847a  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-blp-ar98.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-blp-ar98.opb
IDLAUNCH: 14959
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        607380 kB
Buffers:         27988 kB
Cached:         372172 kB
SwapCached:       4304 kB
Active:          64680 kB
Inactive:       341296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        607128 kB
SwapTotal:     2097892 kB
SwapFree:      2092680 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            15612 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:19:39 (client local time) WITH STATUS 143 IN 1241.72 SECONDS
stats: 14959 7 1241.72 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-blp-ar98.opb
c reading problem 
c [nbvar=20024]
c [nbconstr=17064]
c time 158.717
c #vars     20024
c #clauses  1473
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.87 0.97 0.91 2/54 6509
Raw data (stat): 6509 (runsolver) R 6508 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548142538 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.12 1.02 0.93 2/63 6518
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 870 41 0 0 25 0 10 0 548142538 854503424 19490 4294967295 134512640 134569956 3221224400 3221214624 1131248173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 19490 13073 16 0 208603 0
vsize: 834476
[startup+20.0016 s]
Raw data (loadavg): 1.10 1.02 0.93 2/63 6518
Raw data (stat): 6509 (java) S 6508 27222 27221 0 -1 0 18021 0 1 0 1792 42 0 0 25 0 10 0 548142538 854204416 19834 4294967295 134512640 134569956 3221224400 3221213768 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 19834 13073 16 0 208530 0
vsize: 834184
[startup+30.0018 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 6518
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 2702 43 0 0 25 0 10 0 548142538 854204416 20326 4294967295 134512640 134569956 3221224400 3221214548 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 20326 13073 16 0 208530 0
vsize: 834184
[startup+40.0022 s]
Raw data (loadavg): 1.07 1.01 0.93 2/63 6518
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 3629 43 0 0 25 0 10 0 548142538 854204416 20580 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 20580 13073 16 0 208530 0
vsize: 834184
[startup+50.0029 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 6518
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 4568 43 0 0 25 0 10 0 548142538 854204416 20785 4294967295 134512640 134569956 3221224400 3221214480 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 20785 13073 16 0 208530 0
vsize: 834184
[startup+60.0237 s]
Raw data (loadavg): 1.13 1.03 0.94 3/66 6557
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 5511 45 0 0 25 0 10 0 548142538 854204416 20915 4294967295 134512640 134569956 3221224400 3221214768 1131196533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 20915 13073 16 0 208530 0
vsize: 834184
[startup+70.0236 s]
Raw data (loadavg): 1.18 1.04 0.94 2/63 6571
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 6447 47 0 0 25 0 10 0 548142538 854204416 21018 4294967295 134512640 134569956 3221224400 3221214492 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208546 21018 13073 16 0 208530 0
vsize: 834184
[startup+80.0232 s]
Raw data (loadavg): 1.15 1.04 0.94 2/63 6571
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 7386 47 0 0 25 0 10 0 548142538 854204416 21116 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208546 21116 13073 16 0 208530 0
vsize: 834184
[startup+90.0239 s]
Raw data (loadavg): 1.13 1.04 0.94 2/63 6571
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 8332 47 0 0 25 0 10 0 548142538 854204416 21286 4294967295 134512640 134569956 3221224400 3221214528 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208546 21286 13073 16 0 208530 0
vsize: 834184
[startup+100.025 s]
Raw data (loadavg): 1.11 1.04 0.94 2/63 6571
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 9277 47 0 0 25 0 10 0 548142538 854204416 21375 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208546 21375 13073 16 0 208530 0
vsize: 834184
[startup+110.026 s]
Raw data (loadavg): 1.09 1.04 0.94 2/63 6571
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18021 0 1 0 10223 48 0 0 25 0 10 0 548142538 854204416 21456 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208546 21456 13073 16 0 208530 0
vsize: 834184
[startup+120.026 s]
Raw data (loadavg): 1.08 1.03 0.94 2/63 6571
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18025 0 1 0 11115 49 0 0 25 0 10 0 548142538 857169920 22113 4294967295 134512640 134569956 3221224400 3221214768 1131154863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209270 22113 13073 16 0 209254 0
vsize: 837080
[startup+130.025 s]
Raw data (loadavg): 1.06 1.03 0.94 2/63 6573
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18025 0 1 0 11985 54 0 0 25 0 10 0 548142538 856436736 28279 4294967295 134512640 134569956 3221224400 3221214292 1077378858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209091 28279 13073 16 0 209075 0
vsize: 836364
[startup+140.026 s]
Raw data (loadavg): 1.05 1.03 0.94 2/63 6573
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18025 0 1 0 12853 54 0 0 25 0 10 0 548142538 856436736 28994 4294967295 134512640 134569956 3221224400 3221214280 1131358654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209091 28994 13073 16 0 209075 0
vsize: 836364
[startup+150.026 s]
Raw data (loadavg): 1.05 1.03 0.94 2/63 6573
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18025 0 1 0 13710 56 0 0 25 0 10 0 548142538 856436736 29691 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209091 29691 13073 16 0 209075 0
vsize: 836364
[startup+160.027 s]
Raw data (loadavg): 1.04 1.03 0.94 3/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18053 0 1 0 14566 58 0 0 25 0 11 0 548142538 858599424 30773 4294967295 134512640 134569956 3221224400 3221214860 1130910270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209619 30773 13073 16 0 209603 0
vsize: 838476
[startup+170.027 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 15466 58 0 0 25 0 11 0 548142538 858013696 31155 4294967295 134512640 134569956 3221224400 3221214592 1131302388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 31155 13073 16 0 209460 0
vsize: 837904
[startup+180.028 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 16365 58 0 0 25 0 11 0 548142538 858013696 31155 4294967295 134512640 134569956 3221224400 3221214648 1131311146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 31155 13073 16 0 209460 0
vsize: 837904
[startup+190.028 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 17264 58 0 0 25 0 11 0 548142538 858013696 31158 4294967295 134512640 134569956 3221224400 3221214600 1131310225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 31158 13073 16 0 209460 0
vsize: 837904
[startup+200.029 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 18203 58 0 0 25 0 11 0 548142538 858013696 32051 4294967295 134512640 134569956 3221224400 3221214768 1131395861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 32051 13073 16 0 209460 0
vsize: 837904
[startup+210.03 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 19194 58 0 0 25 0 11 0 548142538 858013696 32054 4294967295 134512640 134569956 3221224400 3221214768 1131397095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 32054 13073 16 0 209460 0
vsize: 837904
[startup+220.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 20186 58 0 0 25 0 11 0 548142538 858013696 32062 4294967295 134512640 134569956 3221224400 3221214760 1131295471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 32062 13073 16 0 209460 0
vsize: 837904
[startup+230.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 21178 58 0 0 25 0 11 0 548142538 858013696 32068 4294967295 134512640 134569956 3221224400 3221214624 1131310200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 32068 13073 16 0 209460 0
vsize: 837904
[startup+240.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 22170 58 0 0 25 0 11 0 548142538 858013696 32081 4294967295 134512640 134569956 3221224400 3221214672 1131310157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 32081 13073 16 0 209460 0
vsize: 837904
[startup+250.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 23162 59 0 0 25 0 11 0 548142538 858013696 32093 4294967295 134512640 134569956 3221224400 3221214768 1131397057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 32093 13073 16 0 209460 0
vsize: 837904
[startup+260.031 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 24154 59 0 0 25 0 11 0 548142538 858013696 32101 4294967295 134512640 134569956 3221224400 3221214672 1131310181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 32101 13073 16 0 209460 0
vsize: 837904
[startup+270.037 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18054 0 1 0 25146 59 0 0 25 0 11 0 548142538 858013696 32108 4294967295 134512640 134569956 3221224400 3221214768 1131397000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209476 32108 13073 16 0 209460 0
vsize: 837904
[startup+280.036 s]
Raw data (loadavg): 1.15 1.05 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18096 0 1 0 26075 60 0 0 25 0 11 0 548142538 863256576 33483 4294967295 134512640 134569956 3221224400 3221214672 1131310305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210756 33483 13073 16 0 210740 0
vsize: 843024
[startup+290.037 s]
Raw data (loadavg): 1.13 1.05 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18096 0 1 0 27062 60 0 0 25 0 11 0 548142538 863256576 33502 4294967295 134512640 134569956 3221224400 3221214720 1131243368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210756 33502 13073 16 0 210740 0
vsize: 843024
[startup+300.037 s]
Raw data (loadavg): 1.11 1.04 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18096 0 1 0 28054 60 0 0 25 0 11 0 548142538 863121408 33480 4294967295 134512640 134569956 3221224400 3221214712 1131295474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33480 13073 16 0 210707 0
vsize: 842892
[startup+310.037 s]
Raw data (loadavg): 1.09 1.04 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18096 0 1 0 29046 61 0 0 25 0 11 0 548142538 863121408 33512 4294967295 134512640 134569956 3221224400 3221214672 1131310256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33512 13073 16 0 210707 0
vsize: 842892
[startup+320.038 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18096 0 1 0 30043 61 0 0 25 0 11 0 548142538 863121408 33513 4294967295 134512640 134569956 3221224400 3221214624 1131311156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33513 13073 16 0 210707 0
vsize: 842892
[startup+330.038 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18096 0 1 0 31041 61 0 0 25 0 11 0 548142538 863121408 33514 4294967295 134512640 134569956 3221224400 3221214624 1131311156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33514 13073 16 0 210707 0
vsize: 842892
[startup+340.038 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18096 0 1 0 32038 61 0 0 25 0 11 0 548142538 863121408 33519 4294967295 134512640 134569956 3221224400 3221214664 1131302445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33519 13073 16 0 210707 0
vsize: 842892
[startup+350.039 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18097 0 1 0 33032 62 0 0 25 0 11 0 548142538 863121408 33523 4294967295 134512640 134569956 3221224400 3221214720 1131285772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33523 13073 16 0 210707 0
vsize: 842892
[startup+360.039 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18097 0 1 0 34027 62 0 0 25 0 11 0 548142538 863121408 33530 4294967295 134512640 134569956 3221224400 3221214664 1131302521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33530 13073 16 0 210707 0
vsize: 842892
[startup+370.039 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18097 0 1 0 35022 62 0 0 25 0 11 0 548142538 863121408 33532 4294967295 134512640 134569956 3221224400 3221214616 1131302391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33532 13073 16 0 210707 0
vsize: 842892
[startup+380.039 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18097 0 1 0 36018 62 0 0 25 0 11 0 548142538 863121408 33573 4294967295 134512640 134569956 3221224400 3221214816 1131434080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33573 13073 16 0 210707 0
vsize: 842892
[startup+390.04 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18097 0 1 0 37013 62 0 0 25 0 11 0 548142538 863121408 33578 4294967295 134512640 134569956 3221224400 3221214664 1131302515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33578 13073 16 0 210707 0
vsize: 842892
[startup+400.04 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 6574
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18097 0 1 0 38007 62 0 0 25 0 11 0 548142538 863121408 33578 4294967295 134512640 134569956 3221224400 3221214768 1131397117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33578 13073 16 0 210707 0
vsize: 842892
[startup+410.041 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18097 0 1 0 39002 63 0 0 25 0 11 0 548142538 863121408 33579 4294967295 134512640 134569956 3221224400 3221214720 1131243368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33579 13073 16 0 210707 0
vsize: 842892
[startup+420.041 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18097 0 1 0 39999 63 0 0 25 0 11 0 548142538 863121408 33602 4294967295 134512640 134569956 3221224400 3221214816 1131435242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33602 13073 16 0 210707 0
vsize: 842892
[startup+430.041 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 40971 64 0 0 25 0 11 0 548142538 863121408 33615 4294967295 134512640 134569956 3221224400 3221214584 1131629580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33615 13073 16 0 210707 0
vsize: 842892
[startup+440.041 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 41965 64 0 0 25 0 11 0 548142538 863121408 33617 4294967295 134512640 134569956 3221224400 3221214488 1131599733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33617 13073 16 0 210707 0
vsize: 842892
[startup+450.041 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 42960 64 0 0 25 0 11 0 548142538 863121408 33620 4294967295 134512640 134569956 3221224400 3221214488 1131598485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33620 13073 16 0 210707 0
vsize: 842892
[startup+460.042 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 43953 64 0 0 25 0 11 0 548142538 863121408 33625 4294967295 134512640 134569956 3221224400 3221214544 1131598513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33625 13073 16 0 210707 0
vsize: 842892
[startup+470.042 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 44951 65 0 0 25 0 11 0 548142538 863121408 33625 4294967295 134512640 134569956 3221224400 3221214544 1131598485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33625 13073 16 0 210707 0
vsize: 842892
[startup+480.042 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 45947 65 0 0 25 0 11 0 548142538 863121408 33625 4294967295 134512640 134569956 3221224400 3221214684 1131598387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33625 13073 16 0 210707 0
vsize: 842892
[startup+490.043 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 46943 65 0 0 25 0 11 0 548142538 863121408 33631 4294967295 134512640 134569956 3221224400 3221214544 1131598499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33631 13073 16 0 210707 0
vsize: 842892
[startup+500.043 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 47941 66 0 0 25 0 11 0 548142538 863121408 33631 4294967295 134512640 134569956 3221224400 3221214544 1131598485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33631 13073 16 0 210707 0
vsize: 842892
[startup+510.043 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 48936 66 0 0 25 0 11 0 548142538 863121408 33631 4294967295 134512640 134569956 3221224400 3221214544 1131598513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33631 13073 16 0 210707 0
vsize: 842892
[startup+520.044 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 49932 66 0 0 25 0 11 0 548142538 863121408 33634 4294967295 134512640 134569956 3221224400 3221214544 1131598499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33634 13073 16 0 210707 0
vsize: 842892
[startup+530.045 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 50928 67 0 0 24 0 11 0 548142538 863121408 33641 4294967295 134512640 134569956 3221224400 3221214584 1131629575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33641 13073 16 0 210707 0
vsize: 842892
[startup+540.046 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 51925 67 0 0 25 0 11 0 548142538 863121408 33683 4294967295 134512640 134569956 3221224400 3221214656 1131295455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33683 13073 16 0 210707 0
vsize: 842892
[startup+550.045 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 52922 67 0 0 25 0 11 0 548142538 863121408 33696 4294967295 134512640 134569956 3221224400 3221214544 1131598506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33696 13073 16 0 210707 0
vsize: 842892
[startup+560.046 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 53917 68 0 0 25 0 11 0 548142538 863121408 33697 4294967295 134512640 134569956 3221224400 3221214544 1131598508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33697 13073 16 0 210707 0
vsize: 842892
[startup+570.047 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 54913 68 0 0 25 0 11 0 548142538 863121408 33714 4294967295 134512640 134569956 3221224400 3221214560 1131305728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33714 13073 16 0 210707 0
vsize: 842892
[startup+580.047 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 55910 68 0 0 25 0 11 0 548142538 863121408 33714 4294967295 134512640 134569956 3221224400 3221214544 1131598513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33714 13073 16 0 210707 0
vsize: 842892
[startup+590.048 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 56908 68 0 0 25 0 11 0 548142538 863121408 33714 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33714 13073 16 0 210707 0
vsize: 842892
[startup+600.049 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 57904 69 0 0 25 0 11 0 548142538 863121408 33731 4294967295 134512640 134569956 3221224400 3221214544 1131598481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33731 13073 16 0 210707 0
vsize: 842892
[startup+610.049 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 58902 69 0 0 25 0 11 0 548142538 863121408 33731 4294967295 134512640 134569956 3221224400 3221214584 1131629859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33731 13073 16 0 210707 0
vsize: 842892
[startup+620.053 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 59897 69 0 0 25 0 11 0 548142538 863121408 33747 4294967295 134512640 134569956 3221224400 3221214544 1131598513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33747 13073 16 0 210707 0
vsize: 842892
[startup+630.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 60895 69 0 0 25 0 11 0 548142538 863121408 33747 4294967295 134512640 134569956 3221224400 3221214544 1131598525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33747 13073 16 0 210707 0
vsize: 842892
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 61891 69 0 0 25 0 11 0 548142538 863121408 33747 4294967295 134512640 134569956 3221224400 3221214584 1131630112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33747 13073 16 0 210707 0
vsize: 842892
[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 62888 70 0 0 25 0 11 0 548142538 863121408 33764 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33764 13073 16 0 210707 0
vsize: 842892
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 63884 70 0 0 25 0 11 0 548142538 863121408 33764 4294967295 134512640 134569956 3221224400 3221214768 1131397876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33764 13073 16 0 210707 0
vsize: 842892
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 64880 70 0 0 25 0 11 0 548142538 863121408 33767 4294967295 134512640 134569956 3221224400 3221214664 1131660530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33767 13073 16 0 210707 0
vsize: 842892
[startup+680.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 65876 70 0 0 25 0 11 0 548142538 863121408 33780 4294967295 134512640 134569956 3221224400 3221214544 1131598481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33780 13073 16 0 210707 0
vsize: 842892
[startup+690.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 66874 71 0 0 25 0 11 0 548142538 863121408 33783 4294967295 134512640 134569956 3221224400 3221214544 1131598503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33783 13073 16 0 210707 0
vsize: 842892
[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 67870 71 0 0 25 0 11 0 548142538 863121408 33797 4294967295 134512640 134569956 3221224400 3221214544 1131598513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33797 13073 16 0 210707 0
vsize: 842892
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 68866 71 0 0 25 0 11 0 548142538 863121408 33800 4294967295 134512640 134569956 3221224400 3221214544 1131598481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33800 13073 16 0 210707 0
vsize: 842892
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 69861 72 0 0 25 0 11 0 548142538 863121408 33801 4294967295 134512640 134569956 3221224400 3221214664 1131661211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33801 13073 16 0 210707 0
vsize: 842892
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 70857 72 0 0 25 0 11 0 548142538 863121408 33810 4294967295 134512640 134569956 3221224400 3221214544 1131598508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33810 13073 16 0 210707 0
vsize: 842892
[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 71851 72 0 0 25 0 11 0 548142538 863121408 33823 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33823 13073 16 0 210707 0
vsize: 842892
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 72846 72 0 0 25 0 11 0 548142538 863121408 33823 4294967295 134512640 134569956 3221224400 3221214544 1131598499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33823 13073 16 0 210707 0
vsize: 842892
[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 73842 72 0 0 25 0 11 0 548142538 863121408 33827 4294967295 134512640 134569956 3221224400 3221214560 1131624038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33827 13073 16 0 210707 0
vsize: 842892
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 74836 73 0 0 25 0 11 0 548142538 863121408 33828 4294967295 134512640 134569956 3221224400 3221214544 1131598508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33828 13073 16 0 210707 0
vsize: 842892
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 75831 73 0 0 25 0 11 0 548142538 863121408 33841 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33841 13073 16 0 210707 0
vsize: 842892
[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 76824 73 0 0 25 0 11 0 548142538 863121408 33841 4294967295 134512640 134569956 3221224400 3221214544 1131598491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33841 13073 16 0 210707 0
vsize: 842892
[startup+800.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 77816 73 0 0 25 0 11 0 548142538 863121408 33854 4294967295 134512640 134569956 3221224400 3221214544 1131598491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33854 13073 16 0 210707 0
vsize: 842892
[startup+810.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 78812 73 0 0 25 0 11 0 548142538 863121408 33854 4294967295 134512640 134569956 3221224400 3221214544 1131598503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33854 13073 16 0 210707 0
vsize: 842892
[startup+820.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 79804 74 0 0 25 0 11 0 548142538 863121408 33866 4294967295 134512640 134569956 3221224400 3221214724 1131628979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33866 13073 16 0 210707 0
vsize: 842892
[startup+830.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 80798 74 0 0 25 0 11 0 548142538 863121408 33879 4294967295 134512640 134569956 3221224400 3221214544 1131598508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33879 13073 16 0 210707 0
vsize: 842892
[startup+840.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 81792 74 0 0 25 0 11 0 548142538 863121408 33936 4294967295 134512640 134569956 3221224400 3221214416 1078033055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33936 13073 16 0 210707 0
vsize: 842892
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 82787 74 0 0 25 0 11 0 548142538 863121408 33936 4294967295 134512640 134569956 3221224400 3221214544 1131598481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33936 13073 16 0 210707 0
vsize: 842892
[startup+860.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 83783 74 0 0 25 0 11 0 548142538 863121408 33953 4294967295 134512640 134569956 3221224400 3221214544 1131599733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33953 13073 16 0 210707 0
vsize: 842892
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 84780 74 0 0 25 0 11 0 548142538 863121408 33953 4294967295 134512640 134569956 3221224400 3221214544 1131598513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 33953 13073 16 0 210707 0
vsize: 842892
[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 85775 75 0 0 25 0 11 0 548142538 863121408 33969 4294967295 134512640 134569956 3221224400 3221214544 1131598491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 33969 13073 16 0 210707 0
vsize: 842892
[startup+890.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 86771 75 0 0 17 0 11 0 548142538 863121408 34002 4294967295 134512640 134569956 3221224400 3221214560 1131306092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34002 13073 16 0 210707 0
vsize: 842892
[startup+900.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 87768 75 0 0 25 0 11 0 548142538 863121408 34006 4294967295 134512640 134569956 3221224400 3221214664 1131660633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34006 13073 16 0 210707 0
vsize: 842892
[startup+910.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 88764 75 0 0 25 0 11 0 548142538 863121408 34036 4294967295 134512640 134569956 3221224400 3221214584 1131629859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34036 13073 16 0 210707 0
vsize: 842892
[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 89761 75 0 0 25 0 11 0 548142538 863121408 34042 4294967295 134512640 134569956 3221224400 3221214440 1131310942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34042 13073 16 0 210707 0
vsize: 842892
[startup+930.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 90757 76 0 0 25 0 11 0 548142538 863121408 34057 4294967295 134512640 134569956 3221224400 3221214608 1131604181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34057 13073 16 0 210707 0
vsize: 842892
[startup+940.081 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 91752 76 0 0 25 0 11 0 548142538 863121408 34073 4294967295 134512640 134569956 3221224400 3221214544 1131598525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34073 13073 16 0 210707 0
vsize: 842892
[startup+950.082 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 92750 76 0 0 25 0 11 0 548142538 863121408 34073 4294967295 134512640 134569956 3221224400 3221214544 1131598506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34073 13073 16 0 210707 0
vsize: 842892
[startup+960.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 93743 76 0 0 25 0 11 0 548142538 863121408 34073 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34073 13073 16 0 210707 0
vsize: 842892
[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 94737 76 0 0 25 0 11 0 548142538 863121408 34090 4294967295 134512640 134569956 3221224400 3221214544 1131598506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34090 13073 16 0 210707 0
vsize: 842892
[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 95730 76 0 0 25 0 11 0 548142538 863121408 34090 4294967295 134512640 134569956 3221224400 3221214768 1131396525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34090 13073 16 0 210707 0
vsize: 842892
[startup+990.084 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 96722 77 0 0 24 0 11 0 548142538 863121408 34107 4294967295 134512640 134569956 3221224400 3221214560 1131305683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34107 13073 16 0 210707 0
vsize: 842892
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 97717 77 0 0 25 0 11 0 548142538 863121408 34107 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 34107 13073 16 0 210707 0
vsize: 842892
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 98713 77 0 0 25 0 11 0 548142538 863121408 34107 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 34107 13073 16 0 210707 0
vsize: 842892
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 99705 77 0 0 25 0 11 0 548142538 863121408 34124 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34124 13073 16 0 210707 0
vsize: 842892
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 100697 78 0 0 25 0 11 0 548142538 863121408 34124 4294967295 134512640 134569956 3221224400 3221214560 1131306147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34124 13073 16 0 210707 0
vsize: 842892
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 101691 78 0 0 25 0 11 0 548142538 863121408 34127 4294967295 134512640 134569956 3221224400 3221214544 1131598485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34127 13073 16 0 210707 0
vsize: 842892
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 102684 78 0 0 25 0 11 0 548142538 863121408 34157 4294967295 134512640 134569956 3221224400 3221214544 1131598481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34157 13073 16 0 210707 0
vsize: 842892
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 103679 79 0 0 25 0 11 0 548142538 863121408 34157 4294967295 134512640 134569956 3221224400 3221214544 1131598491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34157 13073 16 0 210707 0
vsize: 842892
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 104672 79 0 0 25 0 11 0 548142538 863121408 34179 4294967295 134512640 134569956 3221224400 3221214664 1131661067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34179 13073 16 0 210707 0
vsize: 842892
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 105666 79 0 0 25 0 11 0 548142538 863121408 34208 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 34208 13073 16 0 210707 0
vsize: 842892
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 106659 80 0 0 25 0 11 0 548142538 863121408 34244 4294967295 134512640 134569956 3221224400 3221214584 1131629846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34244 13073 16 0 210707 0
vsize: 842892
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 107656 80 0 0 25 0 11 0 548142538 863121408 34273 4294967295 134512640 134569956 3221224400 3221214624 1131310420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34273 13073 16 0 210707 0
vsize: 842892
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 108649 80 0 0 25 0 11 0 548142538 863121408 34290 4294967295 134512640 134569956 3221224400 3221214544 1131599713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34290 13073 16 0 210707 0
vsize: 842892
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 109644 80 0 0 25 0 11 0 548142538 863121408 34290 4294967295 134512640 134569956 3221224400 3221214544 1131598637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 34290 13073 16 0 210707 0
vsize: 842892
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 110639 80 0 0 25 0 11 0 548142538 863121408 34290 4294967295 134512640 134569956 3221224400 3221214560 1131586913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34290 13073 16 0 210707 0
vsize: 842892
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 111635 80 0 0 25 0 11 0 548142538 863121408 34306 4294967295 134512640 134569956 3221224400 3221214816 1131435246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 34306 13073 16 0 210707 0
vsize: 842892
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 112629 81 0 0 25 0 11 0 548142538 863121408 34310 4294967295 134512640 134569956 3221224400 3221214544 1131598503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34310 13073 16 0 210707 0
vsize: 842892
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 113624 81 0 0 25 0 11 0 548142538 863121408 34323 4294967295 134512640 134569956 3221224400 3221214584 1131629580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34323 13073 16 0 210707 0
vsize: 842892
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 114620 81 0 0 25 0 11 0 548142538 863121408 34326 4294967295 134512640 134569956 3221224400 3221214664 1131302472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34326 13073 16 0 210707 0
vsize: 842892
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 115614 81 0 0 25 0 11 0 548142538 863121408 34339 4294967295 134512640 134569956 3221224400 3221214544 1131598485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 34339 13073 16 0 210707 0
vsize: 842892
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 116610 81 0 0 25 0 11 0 548142538 863121408 34356 4294967295 134512640 134569956 3221224400 3221214560 1131305811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34356 13073 16 0 210707 0
vsize: 842892
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 117606 81 0 0 25 0 11 0 548142538 863121408 34356 4294967295 134512640 134569956 3221224400 3221214544 1131599744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34356 13073 16 0 210707 0
vsize: 842892
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 118601 82 0 0 25 0 11 0 548142538 863121408 34372 4294967295 134512640 134569956 3221224400 3221214544 1131598499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34372 13073 16 0 210707 0
vsize: 842892
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 119597 82 0 0 25 0 11 0 548142538 863121408 34375 4294967295 134512640 134569956 3221224400 3221214544 1131598485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34375 13073 16 0 210707 0
vsize: 842892
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 6576
Raw data (stat): 6509 (java) R 6508 27222 27221 0 -1 0 18098 0 1 0 120592 82 0 0 25 0 11 0 548142538 863121408 34404 4294967295 134512640 134569956 3221224400 3221214544 1131598485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210723 34404 13073 16 0 210707 0
vsize: 842892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 6578
Raw data (stat): 6509 (java) Z 6508 27222 27221 0 -1 1036 18098 20438 1 0 120595 88 3438 49 25 0 1 0 548142538 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.22
CPU time (s): 1241.72
CPU user time (s): 1240.34
CPU system time (s): 1.38279
CPU usage (%): 100.935
Max. virtual memory (Kb): 843024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####