PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-modglob.opb
MD5SUM	67db9c2194e708c1ddf0d62b3a68822e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6578
Biggest coefficient in the objective function	21493710848000000
Number of bits for the biggest coefficient in the objective function	55
Sum of the numbers in the objective function	1450509811657714210
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	21493710848000000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	1450509811657714210
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.060989
Number of variables	6578
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	180
Trace number 29975

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 13:21:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21376 boxname=wulflinc3 idbench=1364 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  67db9c2194e708c1ddf0d62b3a68822e  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-modglob.opb
IDLAUNCH: 21376
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        782740 kB
Buffers:         34120 kB
Cached:         197828 kB
SwapCached:          0 kB
Active:          74176 kB
Inactive:       160372 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        782488 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            11504 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:42:27 (client local time) WITH STATUS 143 IN 1282.29 SECONDS
stats: 21376 7 1282.29 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-modglob.opb
c reading problem ... done. Time 16.553 ms.
c #vars     6578
c #constraints  384
c starts	: 8
c conflicts	: 4133
c decisions	: 8834
c propagations	: 25561
c inspects	: 6452522
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4133
c root simplifications	: 12
s UNKNOWN
c Total CPU time (ms) : 1249.145
#### 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.99 1.00 1.00 2/54 991
Raw data (stat): 991 (runsolver) R 990 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780970612 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 1000
Raw data (stat): 991 (java) S 990 20224 20223 0 -1 0 18012 0 1 0 858 42 0 0 25 0 10 0 780970612 853884928 19376 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 19376 13086 16 0 208452 0
vsize: 833872
[startup+20.0017 s]
Raw data (loadavg): 1.07 1.02 1.00 3/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18067 0 1 0 1611 43 0 0 25 0 11 0 780970612 859107328 22051 4294967295 134512640 134569956 3221224368 3221214272 1131229228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209743 22051 13086 16 0 209727 0
vsize: 838972
[startup+30.0032 s]
Raw data (loadavg): 1.21 1.05 1.01 3/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18082 0 1 0 2422 43 0 0 25 0 11 0 780970612 877056000 26408 4294967295 134512640 134569956 3221224368 3221214608 1131219440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214125 26408 13086 16 0 214109 0
vsize: 856500
[startup+40.004 s]
Raw data (loadavg): 1.25 1.06 1.02 3/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 3290 43 0 0 25 0 11 0 780970612 873443328 26521 4294967295 134512640 134569956 3221224368 3221214696 1131308056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213243 26522 13086 16 0 213227 0
vsize: 852972
[startup+50.0053 s]
Raw data (loadavg): 1.29 1.08 1.02 3/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 4238 44 0 0 25 0 11 0 780970612 887185408 29577 4294967295 134512640 134569956 3221224368 3221214736 1131231889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216598 29577 13086 16 0 216582 0
vsize: 866392
[startup+60.0056 s]
Raw data (loadavg): 1.32 1.09 1.03 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 5170 44 0 0 25 0 11 0 780970612 881418240 28626 4294967295 134512640 134569956 3221224368 3221214696 1131308104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215190 28626 13086 16 0 215174 0
vsize: 860760
[startup+70.0069 s]
Raw data (loadavg): 1.27 1.08 1.03 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 6111 44 0 0 25 0 11 0 780970612 881418240 28885 4294967295 134512640 134569956 3221224368 3221214784 1131324528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215190 28885 13086 16 0 215174 0
vsize: 860760
[startup+80.0155 s]
Raw data (loadavg): 1.23 1.08 1.03 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 7060 44 0 0 25 0 11 0 780970612 880369664 28925 4294967295 134512640 134569956 3221224368 3221214696 1131307741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 28925 13086 16 0 214918 0
vsize: 859736
[startup+90.0161 s]
Raw data (loadavg): 1.19 1.08 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 8012 44 0 0 25 0 11 0 780970612 880369664 29143 4294967295 134512640 134569956 3221224368 3221214696 1131308365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 29143 13086 16 0 214918 0
vsize: 859736
[startup+100.016 s]
Raw data (loadavg): 1.16 1.08 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 8964 45 0 0 25 0 11 0 780970612 880369664 29257 4294967295 134512640 134569956 3221224368 3221214784 1131322960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 29257 13086 16 0 214918 0
vsize: 859736
[startup+110.017 s]
Raw data (loadavg): 1.22 1.09 1.03 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 9912 45 0 0 25 0 11 0 780970612 880369664 29397 4294967295 134512640 134569956 3221224368 3221214752 1131463676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 29397 13086 16 0 214918 0
vsize: 859736
[startup+120.018 s]
Raw data (loadavg): 1.18 1.09 1.03 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 10869 46 0 0 25 0 11 0 780970612 880369664 29508 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 29508 13086 16 0 214918 0
vsize: 859736
[startup+130.019 s]
Raw data (loadavg): 1.15 1.08 1.03 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 11828 46 0 0 24 0 11 0 780970612 880369664 29716 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 29716 13086 16 0 214918 0
vsize: 859736
[startup+140.026 s]
Raw data (loadavg): 1.13 1.08 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 12798 47 0 0 25 0 11 0 780970612 880369664 29790 4294967295 134512640 134569956 3221224368 3221214632 1131371393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 29790 13086 16 0 214918 0
vsize: 859736
[startup+150.041 s]
Raw data (loadavg): 1.11 1.08 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 13769 47 0 0 25 0 11 0 780970612 880369664 29867 4294967295 134512640 134569956 3221224368 3221214824 1131219412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 29867 13086 16 0 214918 0
vsize: 859736
[startup+160.041 s]
Raw data (loadavg): 1.09 1.07 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 14738 47 0 0 25 0 11 0 780970612 880369664 29946 4294967295 134512640 134569956 3221224368 3221213928 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 29946 13086 16 0 214918 0
vsize: 859736
[startup+170.041 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 15707 48 0 0 25 0 11 0 780970612 880369664 30020 4294967295 134512640 134569956 3221224368 3221214696 1131308715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30020 13086 16 0 214918 0
vsize: 859736
[startup+180.042 s]
Raw data (loadavg): 1.06 1.07 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 16674 48 0 0 25 0 11 0 780970612 880369664 30100 4294967295 134512640 134569956 3221224368 3221214696 1131308202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214934 30100 13086 16 0 214918 0
vsize: 859736
[startup+190.044 s]
Raw data (loadavg): 1.05 1.07 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 17637 48 0 0 25 0 11 0 780970612 880369664 30193 4294967295 134512640 134569956 3221224368 3221214696 1131308136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30193 13086 16 0 214918 0
vsize: 859736
[startup+200.044 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 18604 49 0 0 25 0 11 0 780970612 880369664 30275 4294967295 134512640 134569956 3221224368 3221214736 1131231922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30275 13086 16 0 214918 0
vsize: 859736
[startup+210.044 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 19575 49 0 0 25 0 11 0 780970612 880369664 30373 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30373 13086 16 0 214918 0
vsize: 859736
[startup+220.052 s]
Raw data (loadavg): 1.03 1.06 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 20552 49 0 0 25 0 11 0 780970612 880369664 30459 4294967295 134512640 134569956 3221224368 3221214736 1131231973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30459 13086 16 0 214918 0
vsize: 859736
[startup+230.053 s]
Raw data (loadavg): 1.03 1.06 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 21529 50 0 0 25 0 11 0 780970612 880369664 30486 4294967295 134512640 134569956 3221224368 3221214440 1131529336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30486 13086 16 0 214918 0
vsize: 859736
[startup+240.054 s]
Raw data (loadavg): 1.02 1.05 1.02 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 22503 50 0 0 24 0 11 0 780970612 880369664 30545 4294967295 134512640 134569956 3221224368 3221214648 1131272738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30545 13086 16 0 214918 0
vsize: 859736
[startup+250.054 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 23480 51 0 0 25 0 11 0 780970612 880369664 30591 4294967295 134512640 134569956 3221224368 3221214824 1131219417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30591 13086 16 0 214918 0
vsize: 859736
[startup+260.055 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 24453 51 0 0 25 0 11 0 780970612 880369664 30635 4294967295 134512640 134569956 3221224368 3221214696 1131308061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30635 13086 16 0 214918 0
vsize: 859736
[startup+270.055 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 25427 52 0 0 25 0 11 0 780970612 880369664 30688 4294967295 134512640 134569956 3221224368 3221214696 1131307810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30688 13086 16 0 214918 0
vsize: 859736
[startup+280.056 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 26397 52 0 0 25 0 11 0 780970612 880369664 30758 4294967295 134512640 134569956 3221224368 3221214604 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30758 13086 16 0 214918 0
vsize: 859736
[startup+290.057 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 27371 53 0 0 25 0 11 0 780970612 880369664 30821 4294967295 134512640 134569956 3221224368 3221214696 1131308035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30821 13086 16 0 214918 0
vsize: 859736
[startup+300.057 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 28344 53 0 0 25 0 11 0 780970612 880369664 30875 4294967295 134512640 134569956 3221224368 3221214608 1131232877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30875 13086 16 0 214918 0
vsize: 859736
[startup+310.058 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 29319 53 0 0 25 0 11 0 780970612 880369664 30930 4294967295 134512640 134569956 3221224368 3221214604 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30930 13086 16 0 214918 0
vsize: 859736
[startup+320.059 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 30290 53 0 0 24 0 11 0 780970612 880369664 30998 4294967295 134512640 134569956 3221224368 3221214696 1131308663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 30998 13086 16 0 214918 0
vsize: 859736
[startup+330.06 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 31265 53 0 0 25 0 11 0 780970612 880369664 31042 4294967295 134512640 134569956 3221224368 3221214404 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31042 13086 16 0 214918 0
vsize: 859736
[startup+340.06 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 32238 54 0 0 25 0 11 0 780970612 880369664 31087 4294967295 134512640 134569956 3221224368 3221214736 1131231872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31087 13086 16 0 214918 0
vsize: 859736
[startup+350.06 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 33206 54 0 0 25 0 11 0 780970612 880369664 31152 4294967295 134512640 134569956 3221224368 3221214696 1131307886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31152 13086 16 0 214918 0
vsize: 859736
[startup+360.061 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 34173 54 0 0 25 0 11 0 780970612 880369664 31202 4294967295 134512640 134569956 3221224368 3221214736 1131231872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31202 13086 16 0 214918 0
vsize: 859736
[startup+370.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 35125 55 0 0 25 0 11 0 780970612 880369664 31282 4294967295 134512640 134569956 3221224368 3221214736 1131231869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31282 13086 16 0 214918 0
vsize: 859736
[startup+380.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 36076 55 0 0 25 0 11 0 780970612 880369664 31384 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31384 13086 16 0 214918 0
vsize: 859736
[startup+390.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 37032 56 0 0 25 0 11 0 780970612 880369664 31497 4294967295 134512640 134569956 3221224368 3221214696 1131308697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214934 31497 13086 16 0 214918 0
vsize: 859736
[startup+400.066 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 37998 56 0 0 25 0 11 0 780970612 880369664 31681 4294967295 134512640 134569956 3221224368 3221214696 1131308048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31681 13086 16 0 214918 0
vsize: 859736
[startup+410.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 38973 56 0 0 25 0 11 0 780970612 880369664 31756 4294967295 134512640 134569956 3221224368 3221214696 1131307769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31756 13086 16 0 214918 0
vsize: 859736
[startup+420.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 39950 57 0 0 25 0 11 0 780970612 880369664 31800 4294967295 134512640 134569956 3221224368 3221214784 1131323618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31800 13086 16 0 214918 0
vsize: 859736
[startup+430.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 40929 57 0 0 25 0 11 0 780970612 880369664 31846 4294967295 134512640 134569956 3221224368 3221214784 1131324180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31846 13086 16 0 214918 0
vsize: 859736
[startup+440.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 41906 57 0 0 25 0 11 0 780970612 880369664 31867 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31867 13086 16 0 214918 0
vsize: 859736
[startup+450.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 42884 58 0 0 25 0 11 0 780970612 880369664 31917 4294967295 134512640 134569956 3221224368 3221214764 1130918071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31917 13086 16 0 214918 0
vsize: 859736
[startup+460.069 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 43862 58 0 0 24 0 11 0 780970612 880369664 31937 4294967295 134512640 134569956 3221224368 3221214760 1131313265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31937 13086 16 0 214918 0
vsize: 859736
[startup+470.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 44840 58 0 0 25 0 11 0 780970612 880369664 31990 4294967295 134512640 134569956 3221224368 3221214784 1131323620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 31990 13086 16 0 214918 0
vsize: 859736
[startup+480.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 45820 59 0 0 25 0 11 0 780970612 880369664 32008 4294967295 134512640 134569956 3221224368 3221214696 1131308092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32008 13086 16 0 214918 0
vsize: 859736
[startup+490.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 46795 59 0 0 24 0 11 0 780970612 880369664 32061 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32061 13086 16 0 214918 0
vsize: 859736
[startup+500.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 47775 60 0 0 25 0 11 0 780970612 880369664 32079 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32079 13086 16 0 214918 0
vsize: 859736
[startup+510.072 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 48753 60 0 0 25 0 11 0 780970612 880369664 32131 4294967295 134512640 134569956 3221224368 3221214696 1131308341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32131 13086 16 0 214918 0
vsize: 859736
[startup+520.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 49730 61 0 0 24 0 11 0 780970612 880369664 32150 4294967295 134512640 134569956 3221224368 3221214784 1131323304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32150 13086 16 0 214918 0
vsize: 859736
[startup+530.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 50709 62 0 0 25 0 11 0 780970612 880369664 32196 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32196 13086 16 0 214918 0
vsize: 859736
[startup+540.074 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 51686 62 0 0 25 0 11 0 780970612 880369664 32220 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32220 13086 16 0 214918 0
vsize: 859736
[startup+550.074 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 52663 63 0 0 25 0 11 0 780970612 880369664 32273 4294967295 134512640 134569956 3221224368 3221214780 1131313184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32273 13086 16 0 214918 0
vsize: 859736
[startup+560.074 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 53642 63 0 0 25 0 11 0 780970612 880369664 32292 4294967295 134512640 134569956 3221224368 3221214696 1131308218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32292 13086 16 0 214918 0
vsize: 859736
[startup+570.075 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 54618 63 0 0 25 0 11 0 780970612 880369664 32343 4294967295 134512640 134569956 3221224368 3221214784 1131322977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32343 13086 16 0 214918 0
vsize: 859736
[startup+580.075 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 55597 64 0 0 25 0 11 0 780970612 880369664 32364 4294967295 134512640 134569956 3221224368 3221214696 1131308381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32364 13086 16 0 214918 0
vsize: 859736
[startup+590.075 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 56574 64 0 0 25 0 11 0 780970612 880369664 32415 4294967295 134512640 134569956 3221224368 3221214760 1131313261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32415 13086 16 0 214918 0
vsize: 859736
[startup+600.075 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 57549 64 0 0 25 0 11 0 780970612 880369664 32436 4294967295 134512640 134569956 3221224368 3221214784 1131323584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32436 13086 16 0 214918 0
vsize: 859736
[startup+610.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 58521 64 0 0 25 0 11 0 780970612 880369664 32486 4294967295 134512640 134569956 3221224368 3221214544 1131381452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32486 13086 16 0 214918 0
vsize: 859736
[startup+620.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 59495 65 0 0 25 0 11 0 780970612 880369664 32521 4294967295 134512640 134569956 3221224368 3221214736 1131231875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32521 13086 16 0 214918 0
vsize: 859736
[startup+630.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 60464 65 0 0 25 0 11 0 780970612 880369664 32585 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32585 13086 16 0 214918 0
vsize: 859736
[startup+640.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 61433 65 0 0 25 0 11 0 780970612 880369664 32646 4294967295 134512640 134569956 3221224368 3221214696 1131308381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32646 13086 16 0 214918 0
vsize: 859736
[startup+650.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 62407 65 0 0 25 0 11 0 780970612 880369664 32707 4294967295 134512640 134569956 3221224368 3221214696 1131307699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32707 13086 16 0 214918 0
vsize: 859736
[startup+660.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 63381 66 0 0 25 0 11 0 780970612 880369664 32778 4294967295 134512640 134569956 3221224368 3221214736 1131232005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32778 13086 16 0 214918 0
vsize: 859736
[startup+670.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 64358 66 0 0 25 0 11 0 780970612 880369664 32807 4294967295 134512640 134569956 3221224368 3221214736 1131232010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32807 13086 16 0 214918 0
vsize: 859736
[startup+680.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 65335 67 0 0 25 0 11 0 780970612 880369664 32853 4294967295 134512640 134569956 3221224368 3221214780 1131307660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32853 13086 16 0 214918 0
vsize: 859736
[startup+690.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 66312 67 0 0 25 0 11 0 780970612 880369664 32875 4294967295 134512640 134569956 3221224368 3221214784 1131323028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32875 13086 16 0 214918 0
vsize: 859736
[startup+700.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 67284 67 0 0 25 0 11 0 780970612 880369664 32924 4294967295 134512640 134569956 3221224368 3221214736 1131231865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32924 13086 16 0 214918 0
vsize: 859736
[startup+710.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 68256 68 0 0 25 0 11 0 780970612 880369664 32964 4294967295 134512640 134569956 3221224368 3221214784 1131323269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 32964 13086 16 0 214918 0
vsize: 859736
[startup+720.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 69221 68 0 0 25 0 11 0 780970612 880369664 33022 4294967295 134512640 134569956 3221224368 3221214696 1131307781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33022 13086 16 0 214918 0
vsize: 859736
[startup+730.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 70188 68 0 0 25 0 11 0 780970612 880369664 33079 4294967295 134512640 134569956 3221224368 3221214696 1131308588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33079 13086 16 0 214918 0
vsize: 859736
[startup+740.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 71156 68 0 0 25 0 11 0 780970612 880369664 33176 4294967295 134512640 134569956 3221224368 3221214696 1131308608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33176 13086 16 0 214918 0
vsize: 859736
[startup+750.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 72108 69 0 0 25 0 11 0 780970612 880369664 33262 4294967295 134512640 134569956 3221224368 3221214736 1131231904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33262 13086 16 0 214918 0
vsize: 859736
[startup+760.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 73049 69 0 0 24 0 11 0 780970612 880369664 33301 4294967295 134512640 134569956 3221224368 3221214784 1131323357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33301 13086 16 0 214918 0
vsize: 859736
[startup+770.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 73995 69 0 0 25 0 11 0 780970612 880369664 33351 4294967295 134512640 134569956 3221224368 3221214696 1131308347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33351 13086 16 0 214918 0
vsize: 859736
[startup+780.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 74954 69 0 0 25 0 11 0 780970612 880369664 33659 4294967295 134512640 134569956 3221224368 3221213776 1079753320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33659 13086 16 0 214918 0
vsize: 859736
[startup+790.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 75923 70 0 0 25 0 11 0 780970612 880369664 33749 4294967295 134512640 134569956 3221224368 3221213928 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33749 13086 16 0 214918 0
vsize: 859736
[startup+800.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 76898 70 0 0 25 0 11 0 780970612 880369664 33817 4294967295 134512640 134569956 3221224368 3221214648 1131272463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33817 13086 16 0 214918 0
vsize: 859736
[startup+810.082 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 77875 71 0 0 25 0 11 0 780970612 880369664 33837 4294967295 134512640 134569956 3221224368 3221214736 1131231915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33837 13086 16 0 214918 0
vsize: 859736
[startup+820.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 78851 71 0 0 25 0 11 0 780970612 880369664 33862 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33862 13086 16 0 214918 0
vsize: 859736
[startup+830.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 79828 72 0 0 25 0 11 0 780970612 880369664 33897 4294967295 134512640 134569956 3221224368 3221214696 1131307673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33897 13086 16 0 214918 0
vsize: 859736
[startup+840.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 80803 72 0 0 25 0 11 0 780970612 880369664 33919 4294967295 134512640 134569956 3221224368 3221214696 1131307718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33919 13086 16 0 214918 0
vsize: 859736
[startup+850.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 81780 73 0 0 25 0 11 0 780970612 880369664 33937 4294967295 134512640 134569956 3221224368 3221214696 1131308291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33937 13086 16 0 214918 0
vsize: 859736
[startup+860.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 82760 73 0 0 25 0 11 0 780970612 880369664 33972 4294967295 134512640 134569956 3221224368 3221214696 1131308243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33972 13086 16 0 214918 0
vsize: 859736
[startup+870.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 83735 73 0 0 25 0 11 0 780970612 880369664 33976 4294967295 134512640 134569956 3221224368 3221214696 1131308144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 33976 13086 16 0 214918 0
vsize: 859736
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 84712 74 0 0 25 0 11 0 780970612 880369664 34003 4294967295 134512640 134569956 3221224368 3221214696 1131308219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34003 13086 16 0 214918 0
vsize: 859736
[startup+890.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 85690 74 0 0 25 0 11 0 780970612 880369664 34032 4294967295 134512640 134569956 3221224368 3221214696 1131308722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34032 13086 16 0 214918 0
vsize: 859736
[startup+900.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 86667 74 0 0 25 0 11 0 780970612 880369664 34044 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34044 13086 16 0 214918 0
vsize: 859736
[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 87644 75 0 0 25 0 11 0 780970612 880369664 34066 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34066 13086 16 0 214918 0
vsize: 859736
[startup+920.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 88621 75 0 0 25 0 11 0 780970612 880369664 34089 4294967295 134512640 134569956 3221224368 3221214528 1131272600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34089 13086 16 0 214918 0
vsize: 859736
[startup+930.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 89597 76 0 0 25 0 11 0 780970612 880369664 34114 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34114 13086 16 0 214918 0
vsize: 859736
[startup+940.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 90574 77 0 0 25 0 11 0 780970612 880369664 34131 4294967295 134512640 134569956 3221224368 3221214696 1131307907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34131 13086 16 0 214918 0
vsize: 859736
[startup+950.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 91551 77 0 0 25 0 11 0 780970612 880369664 34152 4294967295 134512640 134569956 3221224368 3221214728 1131350267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34152 13086 16 0 214918 0
vsize: 859736
[startup+960.087 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 92528 77 0 0 25 0 11 0 780970612 880369664 34185 4294967295 134512640 134569956 3221224368 3221214736 1131231936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34185 13086 16 0 214918 0
vsize: 859736
[startup+970.087 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 93502 78 0 0 24 0 11 0 780970612 880369664 34197 4294967295 134512640 134569956 3221224368 3221214696 1131308594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34197 13086 16 0 214918 0
vsize: 859736
[startup+980.087 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 94481 78 0 0 25 0 11 0 780970612 880369664 34218 4294967295 134512640 134569956 3221224368 3221214696 1131308144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34218 13086 16 0 214918 0
vsize: 859736
[startup+990.087 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 95458 78 0 0 25 0 11 0 780970612 880369664 34256 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34256 13086 16 0 214918 0
vsize: 859736
[startup+1000.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 96435 79 0 0 25 0 11 0 780970612 880369664 34260 4294967295 134512640 134569956 3221224368 3221214696 1131308676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34260 13086 16 0 214918 0
vsize: 859736
[startup+1010.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 97412 79 0 0 25 0 11 0 780970612 880369664 34286 4294967295 134512640 134569956 3221224368 3221214784 1131323484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34286 13086 16 0 214918 0
vsize: 859736
[startup+1020.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) S 990 20224 20223 0 -1 0 18085 0 1 0 98388 80 0 0 25 0 11 0 780970612 880369664 34310 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34310 13086 16 0 214918 0
vsize: 859736
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 99364 80 0 0 25 0 11 0 780970612 880369664 34330 4294967295 134512640 134569956 3221224368 3221214824 1131219417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34330 13086 16 0 214918 0
vsize: 859736
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 100341 81 0 0 25 0 11 0 780970612 880369664 34357 4294967295 134512640 134569956 3221224368 3221214784 1131323044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34357 13086 16 0 214918 0
vsize: 859736
[startup+1050.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 101320 81 0 0 25 0 11 0 780970612 880369664 34378 4294967295 134512640 134569956 3221224368 3221214788 1131377129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34378 13086 16 0 214918 0
vsize: 859736
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 102294 82 0 0 24 0 11 0 780970612 880369664 34401 4294967295 134512640 134569956 3221224368 3221214696 1131308035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34401 13086 16 0 214918 0
vsize: 859736
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 103273 82 0 0 25 0 11 0 780970612 880369664 34424 4294967295 134512640 134569956 3221224368 3221214696 1131308159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34424 13086 16 0 214918 0
vsize: 859736
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 104249 83 0 0 25 0 11 0 780970612 880369664 34446 4294967295 134512640 134569956 3221224368 3221214608 1131232888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34446 13086 16 0 214918 0
vsize: 859736
[startup+1090.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 105228 83 0 0 25 0 11 0 780970612 880369664 34471 4294967295 134512640 134569956 3221224368 3221214696 1131307692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34471 13086 16 0 214918 0
vsize: 859736
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 106205 83 0 0 25 0 11 0 780970612 880369664 34491 4294967295 134512640 134569956 3221224368 3221214696 1131307677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34491 13086 16 0 214918 0
vsize: 859736
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 107178 83 0 0 24 0 11 0 780970612 880369664 34515 4294967295 134512640 134569956 3221224368 3221213968 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34515 13086 16 0 214918 0
vsize: 859736
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 108155 83 0 0 25 0 11 0 780970612 880369664 34541 4294967295 134512640 134569956 3221224368 3221214008 1131549051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34541 13086 16 0 214918 0
vsize: 859736
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 109127 84 0 0 25 0 11 0 780970612 880369664 34573 4294967295 134512640 134569956 3221224368 3221214148 1131529355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34573 13086 16 0 214918 0
vsize: 859736
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 110098 84 0 0 25 0 11 0 780970612 880369664 34614 4294967295 134512640 134569956 3221224368 3221214008 1131547559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34614 13086 16 0 214918 0
vsize: 859736
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 111071 84 0 0 24 0 11 0 780970612 880369664 34655 4294967295 134512640 134569956 3221224368 3221214736 1131231915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34655 13086 16 0 214918 0
vsize: 859736
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 112047 85 0 0 25 0 11 0 780970612 880369664 34692 4294967295 134512640 134569956 3221224368 3221213600 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34692 13086 16 0 214918 0
vsize: 859736
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 113017 85 0 0 25 0 11 0 780970612 880369664 34727 4294967295 134512640 134569956 3221224368 3221214784 1131323494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34727 13086 16 0 214918 0
vsize: 859736
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 113989 86 0 0 25 0 11 0 780970612 880369664 34765 4294967295 134512640 134569956 3221224368 3221214696 1131307681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34765 13086 16 0 214918 0
vsize: 859736
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 114963 87 0 0 25 0 11 0 780970612 880369664 34810 4294967295 134512640 134569956 3221224368 3221214760 1131313209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34810 13086 16 0 214918 0
vsize: 859736
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 115939 87 0 0 25 0 11 0 780970612 880369664 34834 4294967295 134512640 134569956 3221224368 3221214784 1131323269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34834 13086 16 0 214918 0
vsize: 859736
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 116915 87 0 0 25 0 11 0 780970612 880369664 34854 4294967295 134512640 134569956 3221224368 3221214696 1131308214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34854 13086 16 0 214918 0
vsize: 859736
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 117893 88 0 0 25 0 11 0 780970612 880369664 34882 4294967295 134512640 134569956 3221224368 3221214736 1131231893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34882 13086 16 0 214918 0
vsize: 859736
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) S 990 20224 20223 0 -1 0 18085 0 1 0 118870 88 0 0 25 0 11 0 780970612 880369664 34900 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34900 13086 16 0 214918 0
vsize: 859736
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 119846 89 0 0 25 0 11 0 780970612 880369664 34922 4294967295 134512640 134569956 3221224368 3221214696 1131307886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34922 13086 16 0 214918 0
vsize: 859736
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1001
Raw data (stat): 991 (java) R 990 20224 20223 0 -1 0 18085 0 1 0 120821 89 0 0 24 0 11 0 780970612 880369664 34945 4294967295 134512640 134569956 3221224368 3221214736 1131231872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214934 34945 13086 16 0 214918 0
vsize: 859736
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1003
Raw data (stat): 991 (java) Z 990 20224 20223 0 -1 1036 18085 43006 1 0 120824 96 7186 121 24 0 1 0 780970612 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): 1250.22
CPU time (s): 1282.29
CPU user time (s): 1280.1
CPU system time (s): 2.18367
CPU usage (%): 102.565
Max. virtual memory (Kb): 866392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####