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/MIPLIB/miplib3/normalized-mps-v2-20-10-dano3mip.opb
MD5SUM	ec262e52901896bc3a54080dbb9d2278
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	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	67108864000
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	569083166190
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	15.2427
Number of variables	399966
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	15900
Trace number 29636

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        604520 kB
Buffers:         26936 kB
Cached:         381236 kB
SwapCached:       1052 kB
Active:          82520 kB
Inactive:       328248 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        604268 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13720 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:11:16 (client local time) WITH STATUS 143 IN 1322.44 SECONDS
stats: 21033 7 1322.44 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/wulflinc28/normalized-mps-v2-20-10-dano3mip.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1319.285
#### 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): 1.02 1.00 1.00 2/54 4444
Raw data (stat): 4444 (runsolver) R 4443 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837931410 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.0009 s]
Raw data (loadavg): 1.09 1.02 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18041 0 1 0 836 42 0 0 25 0 10 0 837931410 856915968 20090 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209208 20090 13086 16 0 209192 0
vsize: 836832
[startup+20.0016 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 1705 43 0 0 24 0 10 0 837931410 857509888 20936 4294967295 134512640 134569956 3221224368 3221214652 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209353 20936 13086 16 0 209337 0
vsize: 837412
[startup+30.0024 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 2586 43 0 0 20 0 10 0 837931410 857509888 21426 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209353 21426 13086 16 0 209337 0
vsize: 837412
[startup+40.0078 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 3473 44 0 0 19 0 10 0 837931410 856649728 21569 4294967295 134512640 134569956 3221224368 3221214776 1131350010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 21569 13086 16 0 209127 0
vsize: 836572
[startup+50.1106 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 4384 44 0 0 24 0 10 0 837931410 856649728 21796 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 21796 13086 16 0 209127 0
vsize: 836572
[startup+60.1116 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 5282 44 0 0 19 0 10 0 837931410 856649728 21996 4294967295 134512640 134569956 3221224368 3221214776 1131347975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 21996 13086 16 0 209127 0
vsize: 836572
[startup+70.112 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 6187 45 0 0 22 0 10 0 837931410 856649728 22256 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 22256 13086 16 0 209127 0
vsize: 836572
[startup+80.1137 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 7096 45 0 0 25 0 10 0 837931410 856649728 22427 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 22427 13086 16 0 209127 0
vsize: 836572
[startup+90.1144 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 7996 46 0 0 25 0 10 0 837931410 856649728 22588 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 22588 13086 16 0 209127 0
vsize: 836572
[startup+100.114 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 8887 46 0 0 25 0 10 0 837931410 856649728 22792 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 22792 13086 16 0 209127 0
vsize: 836572
[startup+110.116 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 9803 46 0 0 25 0 10 0 837931410 856649728 23130 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 23130 13086 16 0 209127 0
vsize: 836572
[startup+120.117 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 10735 47 0 0 25 0 10 0 837931410 856649728 23193 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 23193 13086 16 0 209127 0
vsize: 836572
[startup+130.117 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 11673 47 0 0 25 0 10 0 837931410 856649728 23294 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 23294 13086 16 0 209127 0
vsize: 836572
[startup+140.118 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 12606 47 0 0 25 0 10 0 837931410 856649728 23397 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 23397 13086 16 0 209127 0
vsize: 836572
[startup+150.118 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 13542 48 0 0 25 0 10 0 837931410 856649728 23494 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 23494 13086 16 0 209127 0
vsize: 836572
[startup+160.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 14474 48 0 0 25 0 10 0 837931410 856649728 23546 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 23546 13086 16 0 209127 0
vsize: 836572
[startup+170.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 15408 48 0 0 24 0 10 0 837931410 856649728 23642 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 23642 13086 16 0 209127 0
vsize: 836572
[startup+180.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 16331 49 0 0 25 0 10 0 837931410 856649728 23733 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 23733 13086 16 0 209127 0
vsize: 836572
[startup+190.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 17247 49 0 0 25 0 10 0 837931410 856649728 23822 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 23822 13086 16 0 209127 0
vsize: 836572
[startup+200.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 18170 49 0 0 25 0 10 0 837931410 856649728 24028 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24028 13086 16 0 209127 0
vsize: 836572
[startup+210.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 19102 49 0 0 25 0 10 0 837931410 856649728 24115 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 24115 13086 16 0 209127 0
vsize: 836572
[startup+220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 20028 49 0 0 25 0 10 0 837931410 856649728 24204 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24204 13086 16 0 209127 0
vsize: 836572
[startup+230.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 20954 50 0 0 25 0 10 0 837931410 856649728 24289 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24289 13086 16 0 209127 0
vsize: 836572
[startup+240.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 21881 50 0 0 25 0 10 0 837931410 856649728 24375 4294967295 134512640 134569956 3221224368 3221214736 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24375 13086 16 0 209127 0
vsize: 836572
[startup+250.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 22804 50 0 0 24 0 10 0 837931410 856649728 24460 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24460 13086 16 0 209127 0
vsize: 836572
[startup+260.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 23729 50 0 0 25 0 10 0 837931410 856649728 24497 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24497 13086 16 0 209127 0
vsize: 836572
[startup+270.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 24653 50 0 0 25 0 10 0 837931410 856649728 24579 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 24579 13086 16 0 209127 0
vsize: 836572
[startup+280.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 25569 50 0 0 25 0 10 0 837931410 856649728 24707 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24707 13086 16 0 209127 0
vsize: 836572
[startup+290.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 26488 50 0 0 25 0 10 0 837931410 856649728 24787 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24787 13086 16 0 209127 0
vsize: 836572
[startup+300.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 27400 50 0 0 25 0 10 0 837931410 856649728 24866 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24866 13086 16 0 209127 0
vsize: 836572
[startup+310.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 28296 50 0 0 25 0 10 0 837931410 856649728 24990 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 24990 13086 16 0 209127 0
vsize: 836572
[startup+320.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 29202 50 0 0 25 0 10 0 837931410 856649728 25115 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25115 13086 16 0 209127 0
vsize: 836572
[startup+330.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 30129 50 0 0 25 0 10 0 837931410 856649728 25291 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25291 13086 16 0 209127 0
vsize: 836572
[startup+340.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 31058 51 0 0 25 0 10 0 837931410 856649728 25323 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25323 13086 16 0 209127 0
vsize: 836572
[startup+350.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 31988 51 0 0 25 0 10 0 837931410 856649728 25406 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25406 13086 16 0 209127 0
vsize: 836572
[startup+360.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 32915 51 0 0 25 0 10 0 837931410 856649728 25439 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25439 13086 16 0 209127 0
vsize: 836572
[startup+370.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 33843 51 0 0 25 0 10 0 837931410 856649728 25469 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25469 13086 16 0 209127 0
vsize: 836572
[startup+380.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 34770 51 0 0 25 0 10 0 837931410 856649728 25554 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25554 13086 16 0 209127 0
vsize: 836572
[startup+390.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 35698 51 0 0 25 0 10 0 837931410 856649728 25583 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25583 13086 16 0 209127 0
vsize: 836572
[startup+400.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 36623 51 0 0 25 0 10 0 837931410 856649728 25667 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25667 13086 16 0 209127 0
vsize: 836572
[startup+410.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 37550 52 0 0 25 0 10 0 837931410 856649728 25695 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25695 13086 16 0 209127 0
vsize: 836572
[startup+420.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 38472 52 0 0 25 0 10 0 837931410 856649728 25776 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25776 13086 16 0 209127 0
vsize: 836572
[startup+430.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 39401 52 0 0 25 0 10 0 837931410 856649728 25805 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25805 13086 16 0 209127 0
vsize: 836572
[startup+440.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 40322 52 0 0 25 0 10 0 837931410 856649728 25834 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25834 13086 16 0 209127 0
vsize: 836572
[startup+450.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 41250 52 0 0 25 0 10 0 837931410 856649728 25914 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25914 13086 16 0 209127 0
vsize: 836572
[startup+460.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 42170 52 0 0 24 0 10 0 837931410 856649728 25943 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 25943 13086 16 0 209127 0
vsize: 836572
[startup+470.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 43096 52 0 0 25 0 10 0 837931410 856649728 26024 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26024 13086 16 0 209127 0
vsize: 836572
[startup+480.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 44020 52 0 0 25 0 10 0 837931410 856649728 26049 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26049 13086 16 0 209127 0
vsize: 836572
[startup+490.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 44939 52 0 0 25 0 10 0 837931410 856649728 26131 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26131 13086 16 0 209127 0
vsize: 836572
[startup+500.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 45861 53 0 0 25 0 10 0 837931410 856649728 26156 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26156 13086 16 0 209127 0
vsize: 836572
[startup+510.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 46781 53 0 0 25 0 10 0 837931410 856649728 26235 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26235 13086 16 0 209127 0
vsize: 836572
[startup+520.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 47702 54 0 0 25 0 10 0 837931410 856649728 26262 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26262 13086 16 0 209127 0
vsize: 836572
[startup+530.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 48622 54 0 0 25 0 10 0 837931410 856649728 26332 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26332 13086 16 0 209127 0
vsize: 836572
[startup+540.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 49543 54 0 0 25 0 10 0 837931410 856649728 26356 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26356 13086 16 0 209127 0
vsize: 836572
[startup+550.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 50457 54 0 0 25 0 10 0 837931410 856649728 26427 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26427 13086 16 0 209127 0
vsize: 836572
[startup+560.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 51376 54 0 0 25 0 10 0 837931410 856649728 26451 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26451 13086 16 0 209127 0
vsize: 836572
[startup+570.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 52293 54 0 0 25 0 10 0 837931410 856649728 26521 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26521 13086 16 0 209127 0
vsize: 836572
[startup+580.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 53211 54 0 0 25 0 10 0 837931410 856649728 26545 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26545 13086 16 0 209127 0
vsize: 836572
[startup+590.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 54128 54 0 0 25 0 10 0 837931410 856649728 26614 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26614 13086 16 0 209127 0
vsize: 836572
[startup+600.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 55036 54 0 0 24 0 10 0 837931410 856649728 26684 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26684 13086 16 0 209127 0
vsize: 836572
[startup+610.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 55949 54 0 0 24 0 10 0 837931410 856649728 26707 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26707 13086 16 0 209127 0
vsize: 836572
[startup+620.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 56862 55 0 0 25 0 10 0 837931410 856649728 26775 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26775 13086 16 0 209127 0
vsize: 836572
[startup+630.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 57773 55 0 0 25 0 10 0 837931410 856649728 26843 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26843 13086 16 0 209127 0
vsize: 836572
[startup+640.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4453
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 58681 55 0 0 25 0 10 0 837931410 856649728 26911 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 26911 13086 16 0 209127 0
vsize: 836572
[startup+650.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4454
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 59585 55 0 0 24 0 10 0 837931410 856649728 26979 4294967295 134512640 134569956 3221224368 3221214772 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 26979 13086 16 0 209127 0
vsize: 836572
[startup+660.154 s]
Raw data (loadavg): 1.15 1.03 1.01 2/63 4506
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 60479 58 0 0 25 0 10 0 837931410 856649728 27045 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 27045 13086 16 0 209127 0
vsize: 836572
[startup+670.154 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 4506
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 61365 58 0 0 25 0 10 0 837931410 856649728 27352 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 27352 13086 16 0 209127 0
vsize: 836572
[startup+680.154 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 4506
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 62290 58 0 0 25 0 10 0 837931410 856649728 27859 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 27859 13086 16 0 209127 0
vsize: 836572
[startup+690.158 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 4506
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 63206 59 0 0 25 0 10 0 837931410 856649728 27861 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 27861 13086 16 0 209127 0
vsize: 836572
[startup+700.158 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 4506
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 64114 59 0 0 24 0 10 0 837931410 856649728 27886 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 27886 13086 16 0 209127 0
vsize: 836572
[startup+710.16 s]
Raw data (loadavg): 1.06 1.03 1.01 2/63 4506
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 65023 59 0 0 24 0 10 0 837931410 856649728 27907 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 27907 13086 16 0 209127 0
vsize: 836572
[startup+720.16 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 4506
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 65932 59 0 0 24 0 10 0 837931410 856649728 27979 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 27979 13086 16 0 209127 0
vsize: 836572
[startup+730.161 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 66846 59 0 0 25 0 10 0 837931410 856649728 28005 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28005 13086 16 0 209127 0
vsize: 836572
[startup+740.161 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 67754 59 0 0 25 0 10 0 837931410 856649728 28025 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28025 13086 16 0 209127 0
vsize: 836572
[startup+750.161 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 68660 59 0 0 25 0 10 0 837931410 856649728 28094 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28094 13086 16 0 209127 0
vsize: 836572
[startup+760.162 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 69572 59 0 0 25 0 10 0 837931410 856649728 28120 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28120 13086 16 0 209127 0
vsize: 836572
[startup+770.161 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 70482 60 0 0 25 0 10 0 837931410 856649728 28142 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28142 13086 16 0 209127 0
vsize: 836572
[startup+780.163 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 71387 60 0 0 21 0 10 0 837931410 856649728 28163 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28163 13086 16 0 209127 0
vsize: 836572
[startup+790.163 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 72293 60 0 0 21 0 10 0 837931410 856649728 28234 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28234 13086 16 0 209127 0
vsize: 836572
[startup+800.163 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 73204 60 0 0 25 0 10 0 837931410 856649728 28259 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28259 13086 16 0 209127 0
vsize: 836572
[startup+810.163 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 74109 60 0 0 25 0 10 0 837931410 856649728 28280 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 28280 13086 16 0 209127 0
vsize: 836572
[startup+820.163 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 75012 60 0 0 25 0 10 0 837931410 856649728 28299 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28299 13086 16 0 209127 0
vsize: 836572
[startup+830.164 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 75922 60 0 0 25 0 10 0 837931410 856649728 28373 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28373 13086 16 0 209127 0
vsize: 836572
[startup+840.165 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 76828 60 0 0 25 0 10 0 837931410 856649728 28395 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28395 13086 16 0 209127 0
vsize: 836572
[startup+850.165 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 77731 61 0 0 25 0 10 0 837931410 856649728 28414 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28414 13086 16 0 209127 0
vsize: 836572
[startup+860.166 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 78637 61 0 0 25 0 10 0 837931410 856649728 28487 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28487 13086 16 0 209127 0
vsize: 836572
[startup+870.167 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 79544 61 0 0 24 0 10 0 837931410 856649728 28509 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28509 13086 16 0 209127 0
vsize: 836572
[startup+880.17 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 80446 61 0 0 25 0 10 0 837931410 856649728 28527 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28527 13086 16 0 209127 0
vsize: 836572
[startup+890.171 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 81354 61 0 0 25 0 10 0 837931410 856649728 28599 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28599 13086 16 0 209127 0
vsize: 836572
[startup+900.171 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 82262 61 0 0 25 0 10 0 837931410 856649728 28621 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28621 13086 16 0 209127 0
vsize: 836572
[startup+910.171 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 83163 61 0 0 25 0 10 0 837931410 856649728 28640 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28640 13086 16 0 209127 0
vsize: 836572
[startup+920.172 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 84064 61 0 0 25 0 10 0 837931410 856649728 28712 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28712 13086 16 0 209127 0
vsize: 836572
[startup+930.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 84969 61 0 0 25 0 10 0 837931410 856649728 28734 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 28734 13086 16 0 209127 0
vsize: 836572
[startup+940.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 85868 61 0 0 24 0 10 0 837931410 856649728 28752 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 28752 13086 16 0 209127 0
vsize: 836572
[startup+950.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4508
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 86771 61 0 0 25 0 10 0 837931410 856649728 28825 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 28825 13086 16 0 209127 0
vsize: 836572
[startup+960.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 87676 61 0 0 25 0 10 0 837931410 856649728 28846 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 28846 13086 16 0 209127 0
vsize: 836572
[startup+970.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 88571 61 0 0 25 0 10 0 837931410 856649728 28864 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 28864 13086 16 0 209127 0
vsize: 836572
[startup+980.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 89468 62 0 0 25 0 10 0 837931410 856649728 28937 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 28937 13086 16 0 209127 0
vsize: 836572
[startup+990.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4508
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 90369 62 0 0 17 0 10 0 837931410 856649728 28957 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 28957 13086 16 0 209127 0
vsize: 836572
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 91267 63 0 0 23 0 10 0 837931410 856649728 28973 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 28973 13086 16 0 209127 0
vsize: 836572
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 92169 63 0 0 23 0 10 0 837931410 856649728 29048 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29048 13086 16 0 209127 0
vsize: 836572
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 93063 64 0 0 20 0 10 0 837931410 856649728 29066 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29066 13086 16 0 209127 0
vsize: 836572
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 93958 64 0 0 17 0 10 0 837931410 856649728 29132 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29132 13086 16 0 209127 0
vsize: 836572
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 94858 64 0 0 23 0 10 0 837931410 856649728 29157 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29157 13086 16 0 209127 0
vsize: 836572
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 95756 64 0 0 22 0 10 0 837931410 856649728 29175 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29175 13086 16 0 209127 0
vsize: 836572
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 96651 65 0 0 19 0 10 0 837931410 856649728 29249 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29249 13086 16 0 209127 0
vsize: 836572
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 97545 65 0 0 18 0 10 0 837931410 856649728 29266 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29266 13086 16 0 209127 0
vsize: 836572
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 98441 65 0 0 23 0 10 0 837931410 856649728 29332 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29332 13086 16 0 209127 0
vsize: 836572
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 99335 66 0 0 21 0 10 0 837931410 856649728 29349 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29349 13086 16 0 209127 0
vsize: 836572
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 100225 67 0 0 18 0 10 0 837931410 856649728 29411 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29411 13086 16 0 209127 0
vsize: 836572
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 101123 67 0 0 22 0 10 0 837931410 856649728 29432 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29432 13086 16 0 209127 0
vsize: 836572
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 102013 67 0 0 19 0 10 0 837931410 856649728 29553 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29553 13086 16 0 209127 0
vsize: 836572
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 102908 68 0 0 18 0 10 0 837931410 856649728 29609 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29609 13086 16 0 209127 0
vsize: 836572
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 103807 68 0 0 22 0 10 0 837931410 856649728 29680 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29680 13086 16 0 209127 0
vsize: 836572
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 104701 69 0 0 21 0 10 0 837931410 856649728 29754 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29754 13086 16 0 209127 0
vsize: 836572
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 105598 69 0 0 19 0 10 0 837931410 856649728 29865 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209143 29865 13086 16 0 209127 0
vsize: 836572
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 106499 69 0 0 19 0 10 0 837931410 856649728 29971 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 29971 13086 16 0 209127 0
vsize: 836572
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 107406 69 0 0 24 0 10 0 837931410 856649728 30020 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30020 13086 16 0 209127 0
vsize: 836572
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 108306 70 0 0 22 0 10 0 837931410 856649728 30032 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30032 13086 16 0 209127 0
vsize: 836572
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 109204 70 0 0 20 0 10 0 837931410 856649728 30052 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30052 13086 16 0 209127 0
vsize: 836572
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 110101 70 0 0 19 0 10 0 837931410 856649728 30072 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30072 13086 16 0 209127 0
vsize: 836572
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 111000 70 0 0 23 0 10 0 837931410 856649728 30088 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30088 13086 16 0 209127 0
vsize: 836572
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 111902 70 0 0 22 0 10 0 837931410 856649728 30157 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30157 13086 16 0 209127 0
vsize: 836572
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 112800 70 0 0 21 0 10 0 837931410 856649728 30170 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30170 13086 16 0 209127 0
vsize: 836572
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 113698 70 0 0 20 0 10 0 837931410 856649728 30190 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30190 13086 16 0 209127 0
vsize: 836572
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 114596 70 0 0 19 0 10 0 837931410 856649728 30211 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30211 13086 16 0 209127 0
vsize: 836572
[startup+1270.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 115495 71 0 0 22 0 10 0 837931410 856649728 30225 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30225 13086 16 0 209127 0
vsize: 836572
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 116387 71 0 0 20 0 10 0 837931410 856649728 30297 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30297 13086 16 0 209127 0
vsize: 836572
[startup+1290.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 117288 71 0 0 20 0 10 0 837931410 856649728 30318 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30318 13086 16 0 209127 0
vsize: 836572
[startup+1300.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 118188 71 0 0 19 0 10 0 837931410 856649728 30343 4294967295 134512640 134569956 3221224368 3221214240 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30343 13086 16 0 209127 0
vsize: 836572
[startup+1310.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) S 4443 24821 24820 0 -1 0 18042 0 1 0 119090 71 0 0 23 0 10 0 837931410 856649728 30362 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30362 13086 16 0 209127 0
vsize: 836572
[startup+1320.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4510
Raw data (stat): 4444 (java) R 4443 24821 24820 0 -1 0 18042 0 1 0 119990 71 0 0 22 0 10 0 837931410 856649728 30431 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209143 30431 13086 16 0 209127 0
vsize: 836572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4512
Raw data (stat): 4444 (java) Z 4443 24821 24820 0 -1 1036 18042 12663 1 0 119991 71 12126 53 23 0 1 0 837931410 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1320.28
CPU time (s): 1322.44
CPU user time (s): 1321.19
CPU system time (s): 1.25581
CPU usage (%): 100.163
Max. virtual memory (Kb): 837412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####