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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb
MD5SUM	b6b40b25db69f63dc02649b5c9a3693a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	10894
Biggest coefficient in the objective function	1079902210
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	3040671454286
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1079902210
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	3040671454286
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	8.81066
Number of variables	10894
Total number of constraints	11719
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	11518
Number of constraints which are nor clauses,nor cardinality constraints	181
Minimum length of a constraint	1
Maximum length of a constraint	5038
Trace number 13857

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        559776 kB
Buffers:         35228 kB
Cached:         401312 kB
SwapCached:        292 kB
Active:         108360 kB
Inactive:       330468 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        559524 kB
SwapTotal:     2097892 kB
SwapFree:      2097036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6060 kB
Slab:            30436 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:24:32 (client local time) WITH STATUS 143 IN 1252.64 SECONDS
stats: 20276 7 1252.64 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-sp98ic.opb
c reading problem 
c [nbvar=10894]
c [nbconstr=11719]
c time 49.478
c #vars     10894
c #clauses  826
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 1.00 0.92 2/54 19717
Raw data (stat): 19717 (runsolver) R 19716 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539890328 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.14 1.03 0.93 2/63 19726
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 17991 0 1 0 886 40 0 0 24 0 10 0 539890328 853741568 19191 4294967295 134512640 134569956 3221224400 3221214520 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 19191 13073 16 0 208417 0
vsize: 833732
[startup+20.0013 s]
Raw data (loadavg): 1.12 1.03 0.93 2/63 19726
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 17991 0 1 0 1778 40 0 0 25 0 10 0 539890328 853610496 19667 4294967295 134512640 134569956 3221224400 3221214824 1131218115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 19667 13073 16 0 208385 0
vsize: 833604
[startup+30.0016 s]
Raw data (loadavg): 1.10 1.03 0.93 2/63 19726
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 17991 0 1 0 2675 40 0 0 24 0 10 0 539890328 853610496 20094 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 20094 13073 16 0 208385 0
vsize: 833604
[startup+40.0013 s]
Raw data (loadavg): 1.24 1.06 0.94 4/63 19726
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18036 0 1 0 3571 41 0 0 25 0 10 0 539890328 869412864 23599 4294967295 134512640 134569956 3221224400 3221214416 1131271508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212259 23599 13073 16 0 212243 0
vsize: 849036
[startup+50.0022 s]
Raw data (loadavg): 1.43 1.11 0.96 2/63 19726
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18044 0 1 0 4517 45 0 0 25 0 10 0 539890328 873582592 25437 4294967295 134512640 134569956 3221224400 3221214784 1131157375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213277 25437 13073 16 0 213261 0
vsize: 853108
[startup+60.0054 s]
Raw data (loadavg): 1.60 1.15 0.97 2/64 19727
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18111 0 1 0 5323 45 0 0 24 0 11 0 539890328 873193472 28112 4294967295 134512640 134569956 3221224400 3221214672 1131293281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 28112 13073 16 0 213166 0
vsize: 852728
[startup+70.0066 s]
Raw data (loadavg): 1.51 1.15 0.97 2/64 19727
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18111 0 1 0 6267 46 0 0 25 0 11 0 539890328 873193472 28121 4294967295 134512640 134569956 3221224400 3221214656 1131682702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 28121 13073 16 0 213166 0
vsize: 852728
[startup+80.0075 s]
Raw data (loadavg): 1.43 1.14 0.97 2/64 19727
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18111 0 1 0 7204 46 0 0 25 0 11 0 539890328 873193472 28121 4294967295 134512640 134569956 3221224400 3221214712 1131330372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 28121 13073 16 0 213166 0
vsize: 852728
[startup+90.0067 s]
Raw data (loadavg): 1.36 1.14 0.97 2/64 19727
Raw data (stat): 19717 (java) S 19716 28546 28545 0 -1 0 18112 0 1 0 8122 46 0 0 25 0 11 0 539890328 873193472 28133 4294967295 134512640 134569956 3221224400 3221213600 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 28133 13073 16 0 213166 0
vsize: 852728
[startup+100.006 s]
Raw data (loadavg): 1.31 1.13 0.97 2/64 19727
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 9025 46 0 0 25 0 11 0 539890328 873193472 28503 4294967295 134512640 134569956 3221224400 3221214680 1131650011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 28503 13073 16 0 213166 0
vsize: 852728
[startup+110.015 s]
Raw data (loadavg): 1.26 1.13 0.97 2/64 19727
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 9951 47 0 0 25 0 11 0 539890328 873193472 28687 4294967295 134512640 134569956 3221224400 3221214680 1131650522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 28687 13073 16 0 213166 0
vsize: 852728
[startup+120.015 s]
Raw data (loadavg): 1.22 1.12 0.97 2/64 19727
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 10884 47 0 0 25 0 11 0 539890328 873193472 28730 4294967295 134512640 134569956 3221224400 3221214680 1131651376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 28730 13073 16 0 213166 0
vsize: 852728
[startup+130.017 s]
Raw data (loadavg): 1.18 1.12 0.97 2/64 19727
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 11846 48 0 0 25 0 11 0 539890328 873193472 29261 4294967295 134512640 134569956 3221224400 3221214592 1131682961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29261 13073 16 0 213166 0
vsize: 852728
[startup+140.018 s]
Raw data (loadavg): 1.16 1.11 0.97 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 12841 48 0 0 25 0 11 0 539890328 873193472 29261 4294967295 134512640 134569956 3221224400 3221214680 1131649816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29261 13073 16 0 213166 0
vsize: 852728
[startup+150.02 s]
Raw data (loadavg): 1.13 1.11 0.97 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 13837 49 0 0 25 0 11 0 539890328 873193472 29261 4294967295 134512640 134569956 3221224400 3221214684 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29261 13073 16 0 213166 0
vsize: 852728
[startup+160.024 s]
Raw data (loadavg): 1.11 1.11 0.97 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 14827 49 0 0 24 0 11 0 539890328 873193472 29261 4294967295 134512640 134569956 3221224400 3221214768 1131587464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29261 13073 16 0 213166 0
vsize: 852728
[startup+170.027 s]
Raw data (loadavg): 1.09 1.10 0.97 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 15776 50 0 0 25 0 11 0 539890328 873193472 29261 4294967295 134512640 134569956 3221224400 3221214680 1131650569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29261 13073 16 0 213166 0
vsize: 852728
[startup+180.027 s]
Raw data (loadavg): 1.08 1.10 0.97 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 16716 50 0 0 25 0 11 0 539890328 873193472 29261 4294967295 134512640 134569956 3221224400 3221214680 1131651646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29261 13073 16 0 213166 0
vsize: 852728
[startup+190.027 s]
Raw data (loadavg): 1.07 1.09 0.97 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 17641 50 0 0 25 0 11 0 539890328 873193472 29261 4294967295 134512640 134569956 3221224400 3221214680 1131651621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29261 13073 16 0 213166 0
vsize: 852728
[startup+200.028 s]
Raw data (loadavg): 1.14 1.11 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 18577 51 0 0 25 0 11 0 539890328 873193472 29676 4294967295 134512640 134569956 3221224400 3221214680 1131651373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29676 13073 16 0 213166 0
vsize: 852728
[startup+210.037 s]
Raw data (loadavg): 1.11 1.10 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 19507 51 0 0 25 0 11 0 539890328 873193472 29860 4294967295 134512640 134569956 3221224400 3221214680 1131651905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29860 13073 16 0 213166 0
vsize: 852728
[startup+220.038 s]
Raw data (loadavg): 1.10 1.10 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 20417 52 0 0 24 0 11 0 539890328 873193472 29860 4294967295 134512640 134569956 3221224400 3221214848 1131699747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 29860 13073 16 0 213166 0
vsize: 852728
[startup+230.038 s]
Raw data (loadavg): 1.08 1.09 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 21338 52 0 0 20 0 11 0 539890328 873193472 30045 4294967295 134512640 134569956 3221224400 3221214728 1131771213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30045 13073 16 0 213166 0
vsize: 852728
[startup+240.038 s]
Raw data (loadavg): 1.07 1.09 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 22281 52 0 0 25 0 11 0 539890328 873193472 30544 4294967295 134512640 134569956 3221224400 3221214696 1131330821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30544 13073 16 0 213166 0
vsize: 852728
[startup+250.039 s]
Raw data (loadavg): 1.06 1.09 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 23250 52 0 0 25 0 11 0 539890328 873193472 30544 4294967295 134512640 134569956 3221224400 3221214768 1131587399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30544 13073 16 0 213166 0
vsize: 852728
[startup+260.04 s]
Raw data (loadavg): 1.05 1.08 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 24204 52 0 0 25 0 11 0 539890328 873193472 30544 4294967295 134512640 134569956 3221224400 3221214680 1131649683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30544 13073 16 0 213166 0
vsize: 852728
[startup+270.04 s]
Raw data (loadavg): 1.04 1.08 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 25155 53 0 0 25 0 11 0 539890328 873193472 30762 4294967295 134512640 134569956 3221224400 3221214416 1131720532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30762 13073 16 0 213166 0
vsize: 852728
[startup+280.041 s]
Raw data (loadavg): 1.03 1.08 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 26128 53 0 0 25 0 11 0 539890328 873193472 30798 4294967295 134512640 134569956 3221224400 3221214592 1131681311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30798 13073 16 0 213166 0
vsize: 852728
[startup+290.041 s]
Raw data (loadavg): 1.03 1.08 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 27110 53 0 0 25 0 11 0 539890328 873193472 30909 4294967295 134512640 134569956 3221224400 3221214640 1131582453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30909 13073 16 0 213166 0
vsize: 852728
[startup+300.041 s]
Raw data (loadavg): 1.02 1.07 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 28105 53 0 0 25 0 11 0 539890328 873193472 30909 4294967295 134512640 134569956 3221224400 3221214508 1131604903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30909 13073 16 0 213166 0
vsize: 852728
[startup+310.044 s]
Raw data (loadavg): 1.02 1.07 0.98 3/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18112 0 1 0 29099 53 0 0 25 0 11 0 539890328 873193472 30911 4294967295 134512640 134569956 3221224400 3221214480 1131330969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30911 13073 16 0 213166 0
vsize: 852728
[startup+320.054 s]
Raw data (loadavg): 1.02 1.07 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 30097 53 0 0 25 0 11 0 539890328 873193472 30914 4294967295 134512640 134569956 3221224400 3221214584 1131741159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30914 13073 16 0 213166 0
vsize: 852728
[startup+330.054 s]
Raw data (loadavg): 1.01 1.06 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 31093 53 0 0 25 0 11 0 539890328 873193472 30915 4294967295 134512640 134569956 3221224400 3221214576 1131858832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30915 13073 16 0 213166 0
vsize: 852728
[startup+340.054 s]
Raw data (loadavg): 1.01 1.06 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 32091 53 0 0 25 0 11 0 539890328 873193472 30917 4294967295 134512640 134569956 3221224400 3221214576 1131860554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30917 13073 16 0 213166 0
vsize: 852728
[startup+350.055 s]
Raw data (loadavg): 1.01 1.06 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 33089 53 0 0 25 0 11 0 539890328 873193472 30917 4294967295 134512640 134569956 3221224400 3221214576 1131858832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30917 13073 16 0 213166 0
vsize: 852728
[startup+360.055 s]
Raw data (loadavg): 1.01 1.06 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 34088 53 0 0 25 0 11 0 539890328 873193472 30917 4294967295 134512640 134569956 3221224400 3221214480 1131330489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30917 13073 16 0 213166 0
vsize: 852728
[startup+370.057 s]
Raw data (loadavg): 1.00 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 35087 53 0 0 25 0 11 0 539890328 873193472 30928 4294967295 134512640 134569956 3221224400 3221214480 1131330372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30928 13073 16 0 213166 0
vsize: 852728
[startup+380.057 s]
Raw data (loadavg): 1.00 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 36086 53 0 0 25 0 11 0 539890328 873193472 30928 4294967295 134512640 134569956 3221224400 3221214584 1131774896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30928 13073 16 0 213166 0
vsize: 852728
[startup+390.056 s]
Raw data (loadavg): 1.00 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 37083 53 0 0 25 0 11 0 539890328 873193472 30929 4294967295 134512640 134569956 3221224400 3221214576 1131858742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30929 13073 16 0 213166 0
vsize: 852728
[startup+400.057 s]
Raw data (loadavg): 1.00 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 38082 53 0 0 25 0 11 0 539890328 873193472 30929 4294967295 134512640 134569956 3221224400 3221214584 1131775027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30929 13073 16 0 213166 0
vsize: 852728
[startup+410.057 s]
Raw data (loadavg): 1.00 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 39080 53 0 0 25 0 11 0 539890328 873193472 30929 4294967295 134512640 134569956 3221224400 3221214576 1131858423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30929 13073 16 0 213166 0
vsize: 852728
[startup+420.057 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 40076 54 0 0 25 0 11 0 539890328 873193472 30929 4294967295 134512640 134569956 3221224400 3221214312 1080216989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30929 13073 16 0 213166 0
vsize: 852728
[startup+430.057 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 41072 54 0 0 25 0 11 0 539890328 873193472 30929 4294967295 134512640 134569956 3221224400 3221214480 1131330455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30929 13073 16 0 213166 0
vsize: 852728
[startup+440.057 s]
Raw data (loadavg): 1.08 1.06 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 42069 54 0 0 25 0 11 0 539890328 873193472 30931 4294967295 134512640 134569956 3221224400 3221214576 1131858742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30931 13073 16 0 213166 0
vsize: 852728
[startup+450.058 s]
Raw data (loadavg): 1.07 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 43067 54 0 0 25 0 11 0 539890328 873193472 30931 4294967295 134512640 134569956 3221224400 3221214584 1131741159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30931 13073 16 0 213166 0
vsize: 852728
[startup+460.057 s]
Raw data (loadavg): 1.06 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 44063 54 0 0 25 0 11 0 539890328 873193472 30937 4294967295 134512640 134569956 3221224400 3221214576 1131330675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30937 13073 16 0 213166 0
vsize: 852728
[startup+470.058 s]
Raw data (loadavg): 1.05 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 45061 54 0 0 25 0 11 0 539890328 873193472 30937 4294967295 134512640 134569956 3221224400 3221214576 1131858363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30937 13073 16 0 213166 0
vsize: 852728
[startup+480.059 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 46059 54 0 0 25 0 11 0 539890328 873193472 30948 4294967295 134512640 134569956 3221224400 3221214576 1131330653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30948 13073 16 0 213166 0
vsize: 852728
[startup+490.058 s]
Raw data (loadavg): 1.03 1.05 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 47058 54 0 0 25 0 11 0 539890328 873193472 30948 4294967295 134512640 134569956 3221224400 3221214576 1131858918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30948 13073 16 0 213166 0
vsize: 852728
[startup+500.06 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 48057 54 0 0 25 0 11 0 539890328 873193472 30948 4294967295 134512640 134569956 3221224400 3221214576 1131330426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30948 13073 16 0 213166 0
vsize: 852728
[startup+510.06 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 49056 54 0 0 25 0 11 0 539890328 873193472 30951 4294967295 134512640 134569956 3221224400 3221214656 1131446970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30951 13073 16 0 213166 0
vsize: 852728
[startup+520.06 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 50055 54 0 0 25 0 11 0 539890328 873193472 30951 4294967295 134512640 134569956 3221224400 3221214576 1131858390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30951 13073 16 0 213166 0
vsize: 852728
[startup+530.061 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 51052 55 0 0 25 0 11 0 539890328 873193472 30951 4294967295 134512640 134569956 3221224400 3221214612 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30951 13073 16 0 213166 0
vsize: 852728
[startup+540.061 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 52045 55 0 0 25 0 11 0 539890328 873193472 30951 4294967295 134512640 134569956 3221224400 3221214576 1131858360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30951 13073 16 0 213166 0
vsize: 852728
[startup+550.062 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18113 0 1 0 53043 55 0 0 25 0 11 0 539890328 873193472 30951 4294967295 134512640 134569956 3221224400 3221214576 1131858363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30951 13073 16 0 213166 0
vsize: 852728
[startup+560.062 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 54040 56 0 0 25 0 11 0 539890328 873193472 30952 4294967295 134512640 134569956 3221224400 3221214576 1131859732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30952 13073 16 0 213166 0
vsize: 852728
[startup+570.063 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 55038 56 0 0 25 0 11 0 539890328 873193472 30953 4294967295 134512640 134569956 3221224400 3221214576 1131858832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30953 13073 16 0 213166 0
vsize: 852728
[startup+580.062 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 56036 56 0 0 25 0 11 0 539890328 873193472 30955 4294967295 134512640 134569956 3221224400 3221214576 1131330372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30955 13073 16 0 213166 0
vsize: 852728
[startup+590.062 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 57033 57 0 0 25 0 11 0 539890328 873193472 30955 4294967295 134512640 134569956 3221224400 3221214680 1131896156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30955 13073 16 0 213166 0
vsize: 852728
[startup+600.063 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 58032 58 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214680 1131896141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+610.063 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 59030 58 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214680 1131897620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+620.063 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 60029 59 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214576 1131858867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+630.064 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 61028 59 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214576 1131858353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+640.064 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 62026 59 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214576 1131858363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+650.065 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 63024 59 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214576 1131858742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+660.065 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 64021 59 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214576 1131858947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+670.066 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 65019 60 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214680 1131896044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+680.067 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 66017 60 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214680 1131897573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+690.066 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 67014 60 0 0 25 0 11 0 539890328 873193472 30966 4294967295 134512640 134569956 3221224400 3221214576 1131858742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30966 13073 16 0 213166 0
vsize: 852728
[startup+700.067 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 68012 61 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214576 1131330675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+710.067 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 69011 61 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214576 1131858363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+720.067 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 70010 61 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214680 1131897668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+730.068 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 71009 61 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214576 1131858832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+740.072 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 72008 61 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214680 1131897620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+750.072 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 73006 61 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214680 1131896156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+760.072 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 74004 62 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214576 1131330642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+770.072 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 75001 62 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214576 1131860554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+780.072 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 75999 62 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214680 1131897609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+790.072 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 76997 62 0 0 25 0 11 0 539890328 873193472 30981 4294967295 134512640 134569956 3221224400 3221214576 1131330547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30981 13073 16 0 213166 0
vsize: 852728
[startup+800.073 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 77994 63 0 0 25 0 11 0 539890328 873193472 30987 4294967295 134512640 134569956 3221224400 3221214576 1131858742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 30987 13073 16 0 213166 0
vsize: 852728
[startup+810.073 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 78993 63 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214576 1131860551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+820.073 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 79991 63 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214576 1131858343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+830.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 80990 64 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214656 1131446961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+840.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 81989 64 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214576 1131859460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+850.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 82988 64 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214576 1131861110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 83984 65 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214416 1131720450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 84978 65 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214512 1131695028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 85974 66 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214576 1131330710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+890.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 86971 66 0 0 25 0 11 0 539890328 873193472 30998 4294967295 134512640 134569956 3221224400 3221214680 1131896044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 30998 13073 16 0 213166 0
vsize: 852728
[startup+900.076 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 87969 66 0 0 25 0 11 0 539890328 873193472 31004 4294967295 134512640 134569956 3221224400 3221214576 1131330531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31004 13073 16 0 213166 0
vsize: 852728
[startup+910.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 88967 66 0 0 25 0 11 0 539890328 873193472 31004 4294967295 134512640 134569956 3221224400 3221214680 1131897571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 31004 13073 16 0 213166 0
vsize: 852728
[startup+920.076 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 89966 66 0 0 25 0 11 0 539890328 873193472 31004 4294967295 134512640 134569956 3221224400 3221214680 1131897571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31004 13073 16 0 213166 0
vsize: 852728
[startup+930.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 90964 67 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214576 1131330531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 91962 67 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214584 1131292862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+950.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 92961 67 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214576 1131331231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 93960 67 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214680 1131897657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 94959 67 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214680 1131897685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 95957 67 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214680 1131651194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 96954 68 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214576 1131330675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 97952 68 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214576 1131858363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 98950 68 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214576 1131330489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 99947 69 0 0 25 0 11 0 539890328 873193472 31015 4294967295 134512640 134569956 3221224400 3221214576 1131330531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31015 13073 16 0 213166 0
vsize: 852728
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 100945 69 0 0 25 0 11 0 539890328 873193472 31021 4294967295 134512640 134569956 3221224400 3221214680 1131897571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31021 13073 16 0 213166 0
vsize: 852728
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 101943 69 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214680 1131896044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 102942 70 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214576 1131858832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 103940 70 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214680 1131897571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 104939 70 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214576 1131858513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 105937 71 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214680 1131896044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 106936 71 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214576 1131330531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 107933 72 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214576 1131330531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 108931 72 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214656 1131446961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 109929 72 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214576 1131858360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 110927 72 0 0 25 0 11 0 539890328 873193472 31031 4294967295 134512640 134569956 3221224400 3221214576 1131330372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 31031 13073 16 0 213166 0
vsize: 852728
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 111924 73 0 0 25 0 11 0 539890328 873193472 31037 4294967295 134512640 134569956 3221224400 3221214576 1131858808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31037 13073 16 0 213166 0
vsize: 852728
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 112923 73 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214576 1131858832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 113921 74 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214576 1131858363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 114920 74 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214576 1131858742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 115919 74 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214576 1131858739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 116917 75 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214576 1131858832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 117912 75 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214680 1131650600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 118890 76 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214884 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 119868 76 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214884 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 19729
Raw data (stat): 19717 (java) R 19716 28546 28545 0 -1 0 18114 0 1 0 120844 77 0 0 25 0 11 0 539890328 873193472 31048 4294967295 134512640 134569956 3221224400 3221214848 1131699981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213182 31048 13073 16 0 213166 0
vsize: 852728
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 19731
Raw data (stat): 19717 (java) Z 19716 28546 28545 0 -1 1036 18114 23595 1 0 120848 82 4268 63 25 0 1 0 539890328 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.19
CPU time (s): 1252.64
CPU user time (s): 1251.17
CPU system time (s): 1.46478
CPU usage (%): 101.825
Max. virtual memory (Kb): 853108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####