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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM	b5e0cd2fd527d211d525adea6c422112
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1024000000000
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	2123511627775
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.70674
Number of variables	8902
Total number of constraints	3459
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	626
Number of constraints which are nor clauses,nor cardinality constraints	2690
Minimum length of a constraint	1
Maximum length of a constraint	2407
Trace number 29786

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 11:35:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21182 boxname=wulflinc4 idbench=1170 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b5e0cd2fd527d211d525adea6c422112  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-roll3000.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-roll3000.opb
IDLAUNCH: 21182
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        656544 kB
Buffers:         34520 kB
Cached:         322696 kB
SwapCached:        600 kB
Active:          73904 kB
Inactive:       285804 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656292 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12724 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:55:38 (client local time) WITH STATUS 143 IN 1227.68 SECONDS
stats: 21182 7 1227.68 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/wulflinc4/normalized-mps-v2-20-10-roll3000.opb
c reading problem ... done. Time 31.895 ms.
c #vars     8902
c #constraints  3038
c starts	: 3
c conflicts	: 262
c decisions	: 9371
c propagations	: 34605
c inspects	: 248047
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 262
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1229.149
#### 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.85 0.97 0.99 2/54 1022
Raw data (stat): 1022 (runsolver) R 1021 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780330726 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.0002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 1031
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18031 0 1 0 862 37 0 0 24 0 10 0 780330726 853532672 19487 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208382 19487 13086 16 0 208366 0
vsize: 833528
[startup+20.0047 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1031
Raw data (stat): 1022 (java) S 1021 21152 21151 0 -1 0 18031 0 1 0 1759 38 0 0 21 0 10 0 780330726 853532672 20002 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208382 20002 13086 16 0 208366 0
vsize: 833528
[startup+30.0049 s]
Raw data (loadavg): 0.96 0.98 0.99 4/63 1031
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18042 0 1 0 2583 39 0 0 25 0 10 0 780330726 860971008 21987 4294967295 134512640 134569956 3221224368 3221214452 1130917304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210198 21987 13086 16 0 210182 0
vsize: 840792
[startup+40.0049 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18082 0 1 0 3456 40 0 0 25 0 11 0 780330726 858681344 25560 4294967295 134512640 134569956 3221224368 3221214776 1131417758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25560 13086 16 0 209623 0
vsize: 838556
[startup+50.0062 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18083 0 1 0 4443 40 0 0 25 0 11 0 780330726 858681344 25428 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25428 13086 16 0 209623 0
vsize: 838556
[startup+60.0062 s]
Raw data (loadavg): 0.97 0.98 0.99 3/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18084 0 1 0 5426 40 0 0 25 0 11 0 780330726 858681344 25398 4294967295 134512640 134569956 3221224368 3221214568 1131348619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 25398 13086 16 0 209623 0
vsize: 838556
[startup+70.0066 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18085 0 1 0 6381 41 0 0 25 0 11 0 780330726 858681344 25407 4294967295 134512640 134569956 3221224368 3221214672 1131395304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 25407 13086 16 0 209623 0
vsize: 838556
[startup+80.008 s]
Raw data (loadavg): 0.98 0.98 0.99 3/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18086 0 1 0 7338 41 0 0 25 0 11 0 780330726 859729920 25764 4294967295 134512640 134569956 3221224368 3221214400 1131301293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209895 25764 13086 16 0 209879 0
vsize: 839580
[startup+90.0074 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 8315 41 0 0 25 0 11 0 780330726 862875648 26398 4294967295 134512640 134569956 3221224368 3221214416 1131301265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210663 26398 13086 16 0 210647 0
vsize: 842652
[startup+100.007 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 9299 42 0 0 25 0 11 0 780330726 858681344 25504 4294967295 134512640 134569956 3221224368 3221214584 1131301284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25504 13086 16 0 209623 0
vsize: 838556
[startup+110.008 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 10281 42 0 0 25 0 11 0 780330726 858681344 25570 4294967295 134512640 134569956 3221224368 3221214588 1131232038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 25570 13086 16 0 209623 0
vsize: 838556
[startup+120.01 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 11262 42 0 0 24 0 11 0 780330726 858681344 25571 4294967295 134512640 134569956 3221224368 3221214608 1131391719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25571 13086 16 0 209623 0
vsize: 838556
[startup+130.01 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 12245 42 0 0 25 0 11 0 780330726 858681344 25626 4294967295 134512640 134569956 3221224368 3221214520 1131260016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25626 13086 16 0 209623 0
vsize: 838556
[startup+140.016 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 13229 42 0 0 25 0 11 0 780330726 858681344 25636 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25636 13086 16 0 209623 0
vsize: 838556
[startup+150.024 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) S 1021 21152 21151 0 -1 0 18087 0 1 0 14214 42 0 0 25 0 11 0 780330726 858681344 25697 4294967295 134512640 134569956 3221224368 3221213104 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25697 13086 16 0 209623 0
vsize: 838556
[startup+160.024 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 15204 42 0 0 25 0 11 0 780330726 858681344 25714 4294967295 134512640 134569956 3221224368 3221214512 1131466277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25714 13086 16 0 209623 0
vsize: 838556
[startup+170.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 16191 42 0 0 25 0 11 0 780330726 858681344 25775 4294967295 134512640 134569956 3221224368 3221214512 1131468101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25775 13086 16 0 209623 0
vsize: 838556
[startup+180.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 17178 42 0 0 25 0 11 0 780330726 858681344 25818 4294967295 134512640 134569956 3221224368 3221214752 1131269573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 25818 13086 16 0 209623 0
vsize: 838556
[startup+190.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 18164 42 0 0 25 0 11 0 780330726 858681344 25825 4294967295 134512640 134569956 3221224368 3221214520 1131261570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 25825 13086 16 0 209623 0
vsize: 838556
[startup+200.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 19143 42 0 0 24 0 11 0 780330726 858681344 25825 4294967295 134512640 134569956 3221224368 3221214608 1131391737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25825 13086 16 0 209623 0
vsize: 838556
[startup+210.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 20128 42 0 0 25 0 11 0 780330726 858681344 25836 4294967295 134512640 134569956 3221224368 3221214608 1131391748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25836 13086 16 0 209623 0
vsize: 838556
[startup+220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 21113 43 0 0 25 0 11 0 780330726 858681344 25906 4294967295 134512640 134569956 3221224368 3221214688 1131261577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 25906 13086 16 0 209623 0
vsize: 838556
[startup+230.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 22094 43 0 0 25 0 11 0 780330726 858681344 26027 4294967295 134512640 134569956 3221224368 3221214512 1131467026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26027 13086 16 0 209623 0
vsize: 838556
[startup+240.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18087 0 1 0 23076 43 0 0 25 0 11 0 780330726 858681344 26027 4294967295 134512640 134569956 3221224368 3221214568 1131348912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26027 13086 16 0 209623 0
vsize: 838556
[startup+250.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 24041 43 0 0 25 0 11 0 780330726 858681344 26040 4294967295 134512640 134569956 3221224368 3221214672 1131398069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 26040 13086 16 0 209623 0
vsize: 838556
[startup+260.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 25006 43 0 0 25 0 11 0 780330726 858681344 26050 4294967295 134512640 134569956 3221224368 3221214616 1131449562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26050 13086 16 0 209623 0
vsize: 838556
[startup+270.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 25976 43 0 0 25 0 11 0 780330726 858681344 26165 4294967295 134512640 134569956 3221224368 3221214536 1131467283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26165 13086 16 0 209623 0
vsize: 838556
[startup+280.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 26953 43 0 0 24 0 11 0 780330726 858681344 26218 4294967295 134512640 134569956 3221224368 3221214744 1131232101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26218 13086 16 0 209623 0
vsize: 838556
[startup+290.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 27929 43 0 0 25 0 11 0 780330726 858681344 26292 4294967295 134512640 134569956 3221224368 3221214632 1131391719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26292 13086 16 0 209623 0
vsize: 838556
[startup+300.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 28906 43 0 0 25 0 11 0 780330726 858681344 26435 4294967295 134512640 134569956 3221224368 3221214788 1131391017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26435 13086 16 0 209623 0
vsize: 838556
[startup+310.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 29886 43 0 0 25 0 11 0 780330726 858681344 26436 4294967295 134512640 134569956 3221224368 3221214536 1131466359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26436 13086 16 0 209623 0
vsize: 838556
[startup+320.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 30861 43 0 0 25 0 11 0 780330726 858681344 26450 4294967295 134512640 134569956 3221224368 3221214672 1131394193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26450 13086 16 0 209623 0
vsize: 838556
[startup+330.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 31838 43 0 0 25 0 11 0 780330726 858681344 26540 4294967295 134512640 134569956 3221224368 3221214632 1131391719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26540 13086 16 0 209623 0
vsize: 838556
[startup+340.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 32820 43 0 0 25 0 11 0 780330726 858681344 26599 4294967295 134512640 134569956 3221224368 3221214672 1131394193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26599 13086 16 0 209623 0
vsize: 838556
[startup+350.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 33805 43 0 0 25 0 11 0 780330726 858681344 26642 4294967295 134512640 134569956 3221224368 3221214440 1131197244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26642 13086 16 0 209623 0
vsize: 838556
[startup+360.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 34784 43 0 0 25 0 11 0 780330726 858681344 26651 4294967295 134512640 134569956 3221224368 3221214568 1131348076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26651 13086 16 0 209623 0
vsize: 838556
[startup+370.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 35769 43 0 0 25 0 11 0 780330726 858681344 26721 4294967295 134512640 134569956 3221224368 3221214568 1131348924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26721 13086 16 0 209623 0
vsize: 838556
[startup+380.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 36747 43 0 0 25 0 11 0 780330726 858681344 26725 4294967295 134512640 134569956 3221224368 3221214672 1131394136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26725 13086 16 0 209623 0
vsize: 838556
[startup+390.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 37728 43 0 0 25 0 11 0 780330726 858681344 26769 4294967295 134512640 134569956 3221224368 3221214568 1131348442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26769 13086 16 0 209623 0
vsize: 838556
[startup+400.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 38706 44 0 0 25 0 11 0 780330726 858681344 26792 4294967295 134512640 134569956 3221224368 3221214568 1131348720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26792 13086 16 0 209623 0
vsize: 838556
[startup+410.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 39685 44 0 0 25 0 11 0 780330726 858681344 26835 4294967295 134512640 134569956 3221224368 3221214624 1131428338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26835 13086 16 0 209623 0
vsize: 838556
[startup+420.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) S 1021 21152 21151 0 -1 0 18088 0 1 0 40643 44 0 0 25 0 11 0 780330726 858681344 26835 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26835 13086 16 0 209623 0
vsize: 838556
[startup+430.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 41580 44 0 0 25 0 11 0 780330726 858681344 26876 4294967295 134512640 134569956 3221224368 3221214624 1131428381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 26876 13086 16 0 209623 0
vsize: 838556
[startup+440.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 42519 44 0 0 25 0 11 0 780330726 858681344 27218 4294967295 134512640 134569956 3221224368 3221214568 1131349008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 27218 13086 16 0 209623 0
vsize: 838556
[startup+450.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 43439 44 0 0 25 0 11 0 780330726 858681344 27539 4294967295 134512640 134569956 3221224368 3221214568 1131348428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 27539 13086 16 0 209623 0
vsize: 838556
[startup+460.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 44380 44 0 0 25 0 11 0 780330726 858681344 27664 4294967295 134512640 134569956 3221224368 3221214628 1131291854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 27664 13086 16 0 209623 0
vsize: 838556
[startup+470.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 45296 44 0 0 24 0 11 0 780330726 858681344 27907 4294967295 134512640 134569956 3221224368 3221214568 1131348592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 27907 13086 16 0 209623 0
vsize: 838556
[startup+480.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 46224 44 0 0 25 0 11 0 780330726 858681344 28190 4294967295 134512640 134569956 3221224368 3221214440 1131301341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 28190 13086 16 0 209623 0
vsize: 838556
[startup+490.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 47194 44 0 0 25 0 11 0 780330726 858681344 28271 4294967295 134512640 134569956 3221224368 3221214544 1131261589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 28271 13086 16 0 209623 0
vsize: 838556
[startup+500.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 48130 45 0 0 25 0 11 0 780330726 858681344 28515 4294967295 134512640 134569956 3221224368 3221214672 1131395172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 28515 13086 16 0 209623 0
vsize: 838556
[startup+510.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 49058 45 0 0 25 0 11 0 780330726 858681344 28754 4294967295 134512640 134569956 3221224368 3221214688 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 28754 13086 16 0 209623 0
vsize: 838556
[startup+520.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 49996 45 0 0 24 0 11 0 780330726 858681344 28945 4294967295 134512640 134569956 3221224368 3221214480 1131196794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 28945 13086 16 0 209623 0
vsize: 838556
[startup+530.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) S 1021 21152 21151 0 -1 0 18088 0 1 0 50945 45 0 0 25 0 11 0 780330726 858681344 29144 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 29144 13086 16 0 209623 0
vsize: 838556
[startup+540.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 51889 45 0 0 25 0 11 0 780330726 858681344 29363 4294967295 134512640 134569956 3221224368 3221214624 1131428334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 29363 13086 16 0 209623 0
vsize: 838556
[startup+550.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 52843 45 0 0 25 0 11 0 780330726 858681344 29452 4294967295 134512640 134569956 3221224368 3221214672 1131394186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 29452 13086 16 0 209623 0
vsize: 838556
[startup+560.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 53794 45 0 0 25 0 11 0 780330726 858681344 29620 4294967295 134512640 134569956 3221224368 3221214672 1131395249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 29620 13086 16 0 209623 0
vsize: 838556
[startup+570.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 54741 45 0 0 24 0 11 0 780330726 858681344 29740 4294967295 134512640 134569956 3221224368 3221214480 1131196781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 29740 13086 16 0 209623 0
vsize: 838556
[startup+580.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 55698 45 0 0 25 0 11 0 780330726 858681344 29942 4294967295 134512640 134569956 3221224368 3221214568 1131348512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 29942 13086 16 0 209623 0
vsize: 838556
[startup+590.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 56669 46 0 0 25 0 11 0 780330726 858681344 30067 4294967295 134512640 134569956 3221224368 3221214568 1131348692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30067 13086 16 0 209623 0
vsize: 838556
[startup+600.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 57659 46 0 0 25 0 11 0 780330726 858681344 30158 4294967295 134512640 134569956 3221224368 3221214668 1131348044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30158 13086 16 0 209623 0
vsize: 838556
[startup+610.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 58655 46 0 0 25 0 11 0 780330726 858681344 30161 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30161 13086 16 0 209623 0
vsize: 838556
[startup+620.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 59650 47 0 0 25 0 11 0 780330726 858681344 30164 4294967295 134512640 134569956 3221224368 3221214568 1131348065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30164 13086 16 0 209623 0
vsize: 838556
[startup+630.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 60646 47 0 0 25 0 11 0 780330726 858681344 30166 4294967295 134512640 134569956 3221224368 3221214568 1131348485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30166 13086 16 0 209623 0
vsize: 838556
[startup+640.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 61642 47 0 0 25 0 11 0 780330726 858681344 30169 4294967295 134512640 134569956 3221224368 3221214568 1131348076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30169 13086 16 0 209623 0
vsize: 838556
[startup+650.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 62638 47 0 0 25 0 11 0 780330726 858681344 30170 4294967295 134512640 134569956 3221224368 3221214568 1131348530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30170 13086 16 0 209623 0
vsize: 838556
[startup+660.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 63635 47 0 0 25 0 11 0 780330726 858681344 30172 4294967295 134512640 134569956 3221224368 3221214672 1131395172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30172 13086 16 0 209623 0
vsize: 838556
[startup+670.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 64631 47 0 0 25 0 11 0 780330726 858681344 30174 4294967295 134512640 134569956 3221224368 3221214568 1131348512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30174 13086 16 0 209623 0
vsize: 838556
[startup+680.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 65627 47 0 0 25 0 11 0 780330726 858681344 30176 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30176 13086 16 0 209623 0
vsize: 838556
[startup+690.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 66623 48 0 0 25 0 11 0 780330726 858681344 30179 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30179 13086 16 0 209623 0
vsize: 838556
[startup+700.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 67619 48 0 0 25 0 11 0 780330726 858681344 30181 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30181 13086 16 0 209623 0
vsize: 838556
[startup+710.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 68615 48 0 0 25 0 11 0 780330726 858681344 30184 4294967295 134512640 134569956 3221224368 3221214568 1131348098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30184 13086 16 0 209623 0
vsize: 838556
[startup+720.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 69611 48 0 0 25 0 11 0 780330726 858681344 30186 4294967295 134512640 134569956 3221224368 3221214568 1131348078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30186 13086 16 0 209623 0
vsize: 838556
[startup+730.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 70606 48 0 0 25 0 11 0 780330726 858681344 30189 4294967295 134512640 134569956 3221224368 3221214568 1131349036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30189 13086 16 0 209623 0
vsize: 838556
[startup+740.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 71602 48 0 0 25 0 11 0 780330726 858681344 30191 4294967295 134512640 134569956 3221224368 3221214568 1131348469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30191 13086 16 0 209623 0
vsize: 838556
[startup+750.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 72598 48 0 0 25 0 11 0 780330726 858681344 30194 4294967295 134512640 134569956 3221224368 3221214568 1131348924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30194 13086 16 0 209623 0
vsize: 838556
[startup+760.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 73594 49 0 0 25 0 11 0 780330726 858681344 30196 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30196 13086 16 0 209623 0
vsize: 838556
[startup+770.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 74589 49 0 0 25 0 11 0 780330726 858681344 30199 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30199 13086 16 0 209623 0
vsize: 838556
[startup+780.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 75585 49 0 0 25 0 11 0 780330726 858681344 30202 4294967295 134512640 134569956 3221224368 3221214568 1131349046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30202 13086 16 0 209623 0
vsize: 838556
[startup+790.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 76581 49 0 0 25 0 11 0 780330726 858681344 30205 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30205 13086 16 0 209623 0
vsize: 838556
[startup+800.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 77577 49 0 0 25 0 11 0 780330726 858681344 30208 4294967295 134512640 134569956 3221224368 3221214568 1131348559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30208 13086 16 0 209623 0
vsize: 838556
[startup+810.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 78573 49 0 0 25 0 11 0 780330726 858681344 30211 4294967295 134512640 134569956 3221224368 3221214480 1131196781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30211 13086 16 0 209623 0
vsize: 838556
[startup+820.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 79569 49 0 0 25 0 11 0 780330726 858681344 30214 4294967295 134512640 134569956 3221224368 3221214568 1131349008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30214 13086 16 0 209623 0
vsize: 838556
[startup+830.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 80564 49 0 0 25 0 11 0 780330726 858681344 30217 4294967295 134512640 134569956 3221224368 3221214672 1131394193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30217 13086 16 0 209623 0
vsize: 838556
[startup+840.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 81560 49 0 0 25 0 11 0 780330726 858681344 30219 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30219 13086 16 0 209623 0
vsize: 838556
[startup+850.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 82556 49 0 0 25 0 11 0 780330726 858681344 30222 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30222 13086 16 0 209623 0
vsize: 838556
[startup+860.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 83551 49 0 0 25 0 11 0 780330726 858681344 30225 4294967295 134512640 134569956 3221224368 3221214568 1131348129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30225 13086 16 0 209623 0
vsize: 838556
[startup+870.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 84546 49 0 0 25 0 11 0 780330726 858681344 30229 4294967295 134512640 134569956 3221224368 3221214672 1131394001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30229 13086 16 0 209623 0
vsize: 838556
[startup+880.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 85542 49 0 0 25 0 11 0 780330726 858681344 30231 4294967295 134512640 134569956 3221224368 3221214568 1131348098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30231 13086 16 0 209623 0
vsize: 838556
[startup+890.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 86537 49 0 0 25 0 11 0 780330726 858681344 30234 4294967295 134512640 134569956 3221224368 3221214568 1131348298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30234 13086 16 0 209623 0
vsize: 838556
[startup+900.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 87532 49 0 0 25 0 11 0 780330726 858681344 30237 4294967295 134512640 134569956 3221224368 3221214672 1131394295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30237 13086 16 0 209623 0
vsize: 838556
[startup+910.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 88528 50 0 0 25 0 11 0 780330726 858681344 30246 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30246 13086 16 0 209623 0
vsize: 838556
[startup+920.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 89525 50 0 0 25 0 11 0 780330726 858681344 30246 4294967295 134512640 134569956 3221224368 3221214568 1131349048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30246 13086 16 0 209623 0
vsize: 838556
[startup+930.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 90521 50 0 0 25 0 11 0 780330726 858681344 30247 4294967295 134512640 134569956 3221224368 3221214568 1131348692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30247 13086 16 0 209623 0
vsize: 838556
[startup+940.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 91519 50 0 0 25 0 11 0 780330726 858681344 30247 4294967295 134512640 134569956 3221224368 3221214568 1131349062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30247 13086 16 0 209623 0
vsize: 838556
[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 92516 50 0 0 25 0 11 0 780330726 858681344 30247 4294967295 134512640 134569956 3221224368 3221214568 1131349057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30247 13086 16 0 209623 0
vsize: 838556
[startup+960.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 93513 50 0 0 25 0 11 0 780330726 858681344 30247 4294967295 134512640 134569956 3221224368 3221214672 1131398135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30247 13086 16 0 209623 0
vsize: 838556
[startup+970.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 94511 50 0 0 25 0 11 0 780330726 858681344 30247 4294967295 134512640 134569956 3221224368 3221214672 1131395131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30247 13086 16 0 209623 0
vsize: 838556
[startup+980.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 95507 51 0 0 25 0 11 0 780330726 858681344 30247 4294967295 134512640 134569956 3221224368 3221214672 1131395249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30247 13086 16 0 209623 0
vsize: 838556
[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 96504 51 0 0 25 0 11 0 780330726 858681344 30247 4294967295 134512640 134569956 3221224368 3221214568 1131348924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30247 13086 16 0 209623 0
vsize: 838556
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 97500 51 0 0 25 0 11 0 780330726 858681344 30247 4294967295 134512640 134569956 3221224368 3221214568 1131348586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30247 13086 16 0 209623 0
vsize: 838556
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 98496 51 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214672 1131396201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 99492 52 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214672 1131395334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 100488 52 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214568 1131348506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 101484 52 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214568 1131348575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 102480 52 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214568 1131349062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 103476 52 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214480 1131197236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 104472 53 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214672 1131396143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 105467 54 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214672 1131398125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 106463 54 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214616 1131450156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 107455 54 0 0 25 0 11 0 780330726 858681344 30248 4294967295 134512640 134569956 3221224368 3221214672 1131398876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30248 13086 16 0 209623 0
vsize: 838556
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 108440 55 0 0 25 0 11 0 780330726 858681344 30249 4294967295 134512640 134569956 3221224368 3221214568 1131348189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30249 13086 16 0 209623 0
vsize: 838556
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 109426 55 0 0 25 0 11 0 780330726 858681344 30249 4294967295 134512640 134569956 3221224368 3221214672 1131394258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30249 13086 16 0 209623 0
vsize: 838556
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 110416 56 0 0 25 0 11 0 780330726 858681344 30305 4294967295 134512640 134569956 3221224368 3221214672 1131394258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30305 13086 16 0 209623 0
vsize: 838556
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 111412 56 0 0 25 0 11 0 780330726 858681344 30305 4294967295 134512640 134569956 3221224368 3221214568 1131348968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30305 13086 16 0 209623 0
vsize: 838556
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 112409 56 0 0 25 0 11 0 780330726 858681344 30307 4294967295 134512640 134569956 3221224368 3221214672 1131396228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30307 13086 16 0 209623 0
vsize: 838556
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 113406 57 0 0 25 0 11 0 780330726 858681344 30309 4294967295 134512640 134569956 3221224368 3221214568 1131348485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30309 13086 16 0 209623 0
vsize: 838556
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 114402 57 0 0 25 0 11 0 780330726 858681344 30309 4294967295 134512640 134569956 3221224368 3221214568 1131348157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30309 13086 16 0 209623 0
vsize: 838556
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 115399 58 0 0 25 0 11 0 780330726 858681344 30309 4294967295 134512640 134569956 3221224368 3221214672 1131396201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30309 13086 16 0 209623 0
vsize: 838556
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 116396 58 0 0 25 0 11 0 780330726 858681344 30309 4294967295 134512640 134569956 3221224368 3221214568 1131348442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30309 13086 16 0 209623 0
vsize: 838556
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 117393 58 0 0 25 0 11 0 780330726 858681344 30309 4294967295 134512640 134569956 3221224368 3221214568 1131348189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209639 30309 13086 16 0 209623 0
vsize: 838556
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 118390 59 0 0 25 0 11 0 780330726 858681344 30309 4294967295 134512640 134569956 3221224368 3221214568 1131348161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30309 13086 16 0 209623 0
vsize: 838556
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 119388 59 0 0 25 0 11 0 780330726 858681344 30309 4294967295 134512640 134569956 3221224368 3221214568 1131348537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30309 13086 16 0 209623 0
vsize: 838556
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1032
Raw data (stat): 1022 (java) R 1021 21152 21151 0 -1 0 18088 0 1 0 120385 59 0 0 25 0 11 0 780330726 858681344 30309 4294967295 134512640 134569956 3221224368 3221214568 1131348986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209639 30309 13086 16 0 209623 0
vsize: 838556
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1034
Raw data (stat): 1022 (java) Z 1021 21152 21151 0 -1 1036 18088 10803 1 0 120390 59 2281 36 25 0 1 0 780330726 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): 1227.68
CPU user time (s): 1226.72
CPU system time (s): 0.957854
CPU usage (%): 99.793
Max. virtual memory (Kb): 842652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####