PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
MD5SUM	5b9b020cb595d55e8dbba526590c1088
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	144804
Biggest coefficient in the objective function	37355509514240
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	86052429291555573
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	37355509514240
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	86052429291555573
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9477
Number of variables	211663
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	16460
Trace number 29976

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 13:21:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21375 boxname=wulflinc24 idbench=1363 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 21375
/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:        633064 kB
Buffers:         30112 kB
Cached:         348808 kB
SwapCached:        588 kB
Active:          77696 kB
Inactive:       303316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        632812 kB
SwapTotal:     2097892 kB
SwapFree:      2096416 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            14932 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:43:17 (client local time) WITH STATUS 143 IN 1312.51 SECONDS
stats: 21375 7 1312.51 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/wulflinc24/normalized-mps-v2-13-7-mod011.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) : 1309.24
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 1.00 1.00 2/54 21727
Raw data (stat): 21727 (runsolver) R 21726 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839196147 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.0011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 881 41 0 0 25 0 10 0 839196147 853635072 19338 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 19338 13086 16 0 208391 0
vsize: 833628
[startup+20.0023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 1778 42 0 0 25 0 10 0 839196147 853635072 19860 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 19860 13086 16 0 208391 0
vsize: 833628
[startup+30.0025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 2673 42 0 0 25 0 10 0 839196147 853569536 20305 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208391 20305 13086 16 0 208375 0
vsize: 833564
[startup+40.0033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 3584 43 0 0 25 0 10 0 839196147 853905408 20688 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 20688 13086 16 0 208457 0
vsize: 833892
[startup+50.0044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 4510 43 0 0 25 0 10 0 839196147 853905408 20847 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 20847 13086 16 0 208457 0
vsize: 833892
[startup+60.0047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 5423 44 0 0 25 0 10 0 839196147 853905408 20984 4294967295 134512640 134569956 3221224368 3221214768 1131237510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 20984 13086 16 0 208457 0
vsize: 833892
[startup+70.0054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 6352 44 0 0 25 0 10 0 839196147 853602304 21157 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21157 13086 16 0 208383 0
vsize: 833596
[startup+80.0056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 7291 45 0 0 25 0 10 0 839196147 853602304 21256 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21256 13086 16 0 208383 0
vsize: 833596
[startup+90.0052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 8233 45 0 0 25 0 10 0 839196147 853602304 21347 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21347 13086 16 0 208383 0
vsize: 833596
[startup+100.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 9176 46 0 0 25 0 10 0 839196147 853602304 21431 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21431 13086 16 0 208383 0
vsize: 833596
[startup+110.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 10120 46 0 0 25 0 10 0 839196147 853602304 21510 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21510 13086 16 0 208383 0
vsize: 833596
[startup+120.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 11061 46 0 0 25 0 10 0 839196147 853602304 21590 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21590 13086 16 0 208383 0
vsize: 833596
[startup+130.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 12005 47 0 0 25 0 10 0 839196147 853602304 21660 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21660 13086 16 0 208383 0
vsize: 833596
[startup+140.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 12949 47 0 0 25 0 10 0 839196147 853602304 21727 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21727 13086 16 0 208383 0
vsize: 833596
[startup+150.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 13893 47 0 0 25 0 10 0 839196147 853602304 21791 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21791 13086 16 0 208383 0
vsize: 833596
[startup+160.025 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 14837 48 0 0 25 0 10 0 839196147 853602304 21852 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21852 13086 16 0 208383 0
vsize: 833596
[startup+170.025 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 15777 48 0 0 24 0 10 0 839196147 853602304 21915 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21915 13086 16 0 208383 0
vsize: 833596
[startup+180.026 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 16705 49 0 0 25 0 10 0 839196147 853602304 21969 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21969 13086 16 0 208383 0
vsize: 833596
[startup+190.025 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 17622 49 0 0 25 0 10 0 839196147 853602304 22024 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22024 13086 16 0 208383 0
vsize: 833596
[startup+200.034 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 18555 50 0 0 25 0 10 0 839196147 853602304 22335 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22335 13086 16 0 208383 0
vsize: 833596
[startup+210.034 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 19496 50 0 0 25 0 10 0 839196147 853602304 22388 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22388 13086 16 0 208383 0
vsize: 833596
[startup+220.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 20436 50 0 0 25 0 10 0 839196147 853602304 22438 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22438 13086 16 0 208383 0
vsize: 833596
[startup+230.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 21377 50 0 0 25 0 10 0 839196147 853602304 22488 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22488 13086 16 0 208383 0
vsize: 833596
[startup+240.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 22314 50 0 0 24 0 10 0 839196147 853602304 22539 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22539 13086 16 0 208383 0
vsize: 833596
[startup+250.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 23254 51 0 0 24 0 10 0 839196147 853602304 22588 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22588 13086 16 0 208383 0
vsize: 833596
[startup+260.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 24194 51 0 0 24 0 10 0 839196147 853602304 22634 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22634 13086 16 0 208383 0
vsize: 833596
[startup+270.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 25133 51 0 0 25 0 10 0 839196147 853602304 22679 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22679 13086 16 0 208383 0
vsize: 833596
[startup+280.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 26071 51 0 0 25 0 10 0 839196147 853602304 22723 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22723 13086 16 0 208383 0
vsize: 833596
[startup+290.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 27009 51 0 0 25 0 10 0 839196147 853602304 22767 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22767 13086 16 0 208383 0
vsize: 833596
[startup+300.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 27947 52 0 0 25 0 10 0 839196147 853602304 22810 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22810 13086 16 0 208383 0
vsize: 833596
[startup+310.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 28884 53 0 0 25 0 10 0 839196147 853602304 22852 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22852 13086 16 0 208383 0
vsize: 833596
[startup+320.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 29820 53 0 0 25 0 10 0 839196147 853602304 22893 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22893 13086 16 0 208383 0
vsize: 833596
[startup+330.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 30757 53 0 0 25 0 10 0 839196147 853602304 22933 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22933 13086 16 0 208383 0
vsize: 833596
[startup+340.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 31693 54 0 0 25 0 10 0 839196147 853602304 22973 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 22973 13086 16 0 208383 0
vsize: 833596
[startup+350.043 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 32629 54 0 0 25 0 10 0 839196147 853602304 23012 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23012 13086 16 0 208383 0
vsize: 833596
[startup+360.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 33564 55 0 0 25 0 10 0 839196147 853602304 23051 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23051 13086 16 0 208383 0
vsize: 833596
[startup+370.044 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 34499 55 0 0 25 0 10 0 839196147 853602304 23090 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23090 13086 16 0 208383 0
vsize: 833596
[startup+380.048 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 35434 55 0 0 25 0 10 0 839196147 853602304 23127 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23127 13086 16 0 208383 0
vsize: 833596
[startup+390.049 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 36368 56 0 0 20 0 10 0 839196147 853602304 23164 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23164 13086 16 0 208383 0
vsize: 833596
[startup+400.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 37302 56 0 0 25 0 10 0 839196147 853602304 23201 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 23201 13086 16 0 208383 0
vsize: 833596
[startup+410.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 38236 57 0 0 24 0 10 0 839196147 853602304 23237 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23237 13086 16 0 208383 0
vsize: 833596
[startup+420.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 39169 57 0 0 25 0 10 0 839196147 853602304 23271 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23271 13086 16 0 208383 0
vsize: 833596
[startup+430.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 40105 57 0 0 25 0 10 0 839196147 853602304 23305 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23305 13086 16 0 208383 0
vsize: 833596
[startup+440.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 41037 58 0 0 25 0 10 0 839196147 853602304 23340 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23340 13086 16 0 208383 0
vsize: 833596
[startup+450.052 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 41970 58 0 0 25 0 10 0 839196147 853602304 23374 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23374 13086 16 0 208383 0
vsize: 833596
[startup+460.052 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 42901 59 0 0 25 0 10 0 839196147 853602304 23408 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23408 13086 16 0 208383 0
vsize: 833596
[startup+470.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 43832 59 0 0 25 0 10 0 839196147 853602304 23441 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23441 13086 16 0 208383 0
vsize: 833596
[startup+480.056 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 44762 60 0 0 25 0 10 0 839196147 853602304 23474 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23474 13086 16 0 208383 0
vsize: 833596
[startup+490.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 45693 60 0 0 24 0 10 0 839196147 853602304 23507 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23507 13086 16 0 208383 0
vsize: 833596
[startup+500.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 46627 61 0 0 25 0 10 0 839196147 853602304 23538 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23538 13086 16 0 208383 0
vsize: 833596
[startup+510.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 47556 61 0 0 25 0 10 0 839196147 853602304 23570 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23570 13086 16 0 208383 0
vsize: 833596
[startup+520.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 48485 62 0 0 25 0 10 0 839196147 853602304 23603 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23603 13086 16 0 208383 0
vsize: 833596
[startup+530.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 49413 63 0 0 25 0 10 0 839196147 853602304 23634 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23634 13086 16 0 208383 0
vsize: 833596
[startup+540.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 50341 63 0 0 25 0 10 0 839196147 853602304 23666 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23666 13086 16 0 208383 0
vsize: 833596
[startup+550.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 51269 64 0 0 24 0 10 0 839196147 853602304 23697 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23697 13086 16 0 208383 0
vsize: 833596
[startup+560.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 52198 64 0 0 25 0 10 0 839196147 853602304 23726 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23726 13086 16 0 208383 0
vsize: 833596
[startup+570.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 53127 65 0 0 25 0 10 0 839196147 853602304 23756 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23756 13086 16 0 208383 0
vsize: 833596
[startup+580.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 54053 65 0 0 25 0 10 0 839196147 853602304 23786 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23786 13086 16 0 208383 0
vsize: 833596
[startup+590.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 54979 66 0 0 25 0 10 0 839196147 853602304 23816 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23816 13086 16 0 208383 0
vsize: 833596
[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 55905 66 0 0 25 0 10 0 839196147 853602304 23845 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23845 13086 16 0 208383 0
vsize: 833596
[startup+610.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 56831 67 0 0 25 0 10 0 839196147 853602304 23873 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23873 13086 16 0 208383 0
vsize: 833596
[startup+620.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 57759 67 0 0 25 0 10 0 839196147 853602304 23902 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23902 13086 16 0 208383 0
vsize: 833596
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 58683 68 0 0 25 0 10 0 839196147 853602304 23931 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23931 13086 16 0 208383 0
vsize: 833596
[startup+640.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 59608 68 0 0 25 0 10 0 839196147 853602304 23959 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23959 13086 16 0 208383 0
vsize: 833596
[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 60534 68 0 0 25 0 10 0 839196147 853602304 23986 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 23986 13086 16 0 208383 0
vsize: 833596
[startup+660.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 61461 69 0 0 25 0 10 0 839196147 853602304 24014 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24014 13086 16 0 208383 0
vsize: 833596
[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 62384 69 0 0 25 0 10 0 839196147 853602304 24042 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24042 13086 16 0 208383 0
vsize: 833596
[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 63308 70 0 0 25 0 10 0 839196147 853602304 24069 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24069 13086 16 0 208383 0
vsize: 833596
[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 64220 70 0 0 25 0 10 0 839196147 853602304 24650 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24650 13086 16 0 208383 0
vsize: 833596
[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 65124 71 0 0 25 0 10 0 839196147 853602304 24650 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24650 13086 16 0 208383 0
vsize: 833596
[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 66035 71 0 0 25 0 10 0 839196147 853602304 24864 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24864 13086 16 0 208383 0
vsize: 833596
[startup+720.067 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 66953 71 0 0 25 0 10 0 839196147 853602304 24889 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24889 13086 16 0 208383 0
vsize: 833596
[startup+730.067 s]
Raw data (loadavg): 1.14 1.03 1.01 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 67866 71 0 0 25 0 10 0 839196147 853602304 24915 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24915 13086 16 0 208383 0
vsize: 833596
[startup+740.068 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 68783 71 0 0 25 0 10 0 839196147 853602304 24941 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24941 13086 16 0 208383 0
vsize: 833596
[startup+750.069 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 69696 72 0 0 25 0 10 0 839196147 853602304 24966 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24966 13086 16 0 208383 0
vsize: 833596
[startup+760.069 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 70612 73 0 0 25 0 10 0 839196147 853602304 24991 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 24991 13086 16 0 208383 0
vsize: 833596
[startup+770.069 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 71525 73 0 0 25 0 10 0 839196147 853602304 25017 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 25017 13086 16 0 208383 0
vsize: 833596
[startup+780.078 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 72441 73 0 0 25 0 10 0 839196147 853602304 25041 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 25041 13086 16 0 208383 0
vsize: 833596
[startup+790.078 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 73353 73 0 0 25 0 10 0 839196147 853602304 25067 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25067 13086 16 0 208383 0
vsize: 833596
[startup+800.079 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 74267 73 0 0 25 0 10 0 839196147 853602304 25090 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25090 13086 16 0 208383 0
vsize: 833596
[startup+810.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 75176 74 0 0 24 0 10 0 839196147 853602304 25116 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25116 13086 16 0 208383 0
vsize: 833596
[startup+820.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 76090 74 0 0 25 0 10 0 839196147 853602304 25139 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25139 13086 16 0 208383 0
vsize: 833596
[startup+830.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 77005 74 0 0 25 0 10 0 839196147 853602304 25163 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25163 13086 16 0 208383 0
vsize: 833596
[startup+840.081 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 77913 74 0 0 25 0 10 0 839196147 853602304 25187 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25187 13086 16 0 208383 0
vsize: 833596
[startup+850.082 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 78826 74 0 0 25 0 10 0 839196147 853602304 25211 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25211 13086 16 0 208383 0
vsize: 833596
[startup+860.085 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 79736 74 0 0 25 0 10 0 839196147 853602304 25234 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25234 13086 16 0 208383 0
vsize: 833596
[startup+870.086 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 80648 74 0 0 25 0 10 0 839196147 853602304 25258 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25258 13086 16 0 208383 0
vsize: 833596
[startup+880.087 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 81561 74 0 0 25 0 10 0 839196147 853602304 25281 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25281 13086 16 0 208383 0
vsize: 833596
[startup+890.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 82470 74 0 0 25 0 10 0 839196147 853602304 25304 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25304 13086 16 0 208383 0
vsize: 833596
[startup+900.092 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 83380 74 0 0 25 0 10 0 839196147 853602304 25328 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25328 13086 16 0 208383 0
vsize: 833596
[startup+910.092 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 84291 75 0 0 25 0 10 0 839196147 853602304 25350 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25350 13086 16 0 208383 0
vsize: 833596
[startup+920.092 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 85203 75 0 0 25 0 10 0 839196147 853602304 25373 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25373 13086 16 0 208383 0
vsize: 833596
[startup+930.092 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 86109 75 0 0 20 0 10 0 839196147 853602304 25396 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25396 13086 16 0 208383 0
vsize: 833596
[startup+940.092 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 87020 75 0 0 25 0 10 0 839196147 853602304 25418 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25418 13086 16 0 208383 0
vsize: 833596
[startup+950.094 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 87932 75 0 0 25 0 10 0 839196147 853602304 25440 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25440 13086 16 0 208383 0
vsize: 833596
[startup+960.098 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 88838 75 0 0 25 0 10 0 839196147 853602304 25462 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25462 13086 16 0 208383 0
vsize: 833596
[startup+970.097 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 89748 75 0 0 25 0 10 0 839196147 853602304 25485 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25485 13086 16 0 208383 0
vsize: 833596
[startup+980.098 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 90658 75 0 0 25 0 10 0 839196147 853602304 25506 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25506 13086 16 0 208383 0
vsize: 833596
[startup+990.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 91566 75 0 0 25 0 10 0 839196147 853602304 25528 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25528 13086 16 0 208383 0
vsize: 833596
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 92473 75 0 0 25 0 10 0 839196147 853602304 25550 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25550 13086 16 0 208383 0
vsize: 833596
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 93378 75 0 0 24 0 10 0 839196147 853602304 25572 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25572 13086 16 0 208383 0
vsize: 833596
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 94287 75 0 0 25 0 10 0 839196147 853602304 25593 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25593 13086 16 0 208383 0
vsize: 833596
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 95197 75 0 0 25 0 10 0 839196147 853602304 25614 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25614 13086 16 0 208383 0
vsize: 833596
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 96105 75 0 0 25 0 10 0 839196147 853602304 25635 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25635 13086 16 0 208383 0
vsize: 833596
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 97008 75 0 0 24 0 10 0 839196147 853602304 25657 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25657 13086 16 0 208383 0
vsize: 833596
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 97916 75 0 0 25 0 10 0 839196147 853602304 25678 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25678 13086 16 0 208383 0
vsize: 833596
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 98823 76 0 0 25 0 10 0 839196147 853602304 25698 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25698 13086 16 0 208383 0
vsize: 833596
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 99731 76 0 0 25 0 10 0 839196147 853602304 25719 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25719 13086 16 0 208383 0
vsize: 833596
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 100639 76 0 0 25 0 10 0 839196147 853602304 25739 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25739 13086 16 0 208383 0
vsize: 833596
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 101542 76 0 0 23 0 10 0 839196147 853602304 25762 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25762 13086 16 0 208383 0
vsize: 833596
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 102443 76 0 0 18 0 10 0 839196147 853602304 25786 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25786 13086 16 0 208383 0
vsize: 833596
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 103349 77 0 0 19 0 10 0 839196147 853602304 25807 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25807 13086 16 0 208383 0
vsize: 833596
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 104256 77 0 0 20 0 10 0 839196147 853602304 25833 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25833 13086 16 0 208383 0
vsize: 833596
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 105162 77 0 0 21 0 10 0 839196147 853602304 25858 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25858 13086 16 0 208383 0
vsize: 833596
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 106068 77 0 0 22 0 10 0 839196147 853602304 25880 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25880 13086 16 0 208383 0
vsize: 833596
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 106973 77 0 0 24 0 10 0 839196147 853602304 25903 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25903 13086 16 0 208383 0
vsize: 833596
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 107873 77 0 0 24 0 10 0 839196147 853602304 25928 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25928 13086 16 0 208383 0
vsize: 833596
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 108778 77 0 0 19 0 10 0 839196147 853602304 25949 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25949 13086 16 0 208383 0
vsize: 833596
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 109683 77 0 0 19 0 10 0 839196147 853602304 25974 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25974 13086 16 0 208383 0
vsize: 833596
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 110587 77 0 0 20 0 10 0 839196147 853602304 25996 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 25996 13086 16 0 208383 0
vsize: 833596
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 111492 77 0 0 21 0 10 0 839196147 853602304 26020 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26020 13086 16 0 208383 0
vsize: 833596
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 112397 77 0 0 21 0 10 0 839196147 853602304 26039 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26039 13086 16 0 208383 0
vsize: 833596
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 113301 77 0 0 21 0 10 0 839196147 853602304 26064 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26064 13086 16 0 208383 0
vsize: 833596
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 114203 77 0 0 22 0 10 0 839196147 853602304 26087 4294967295 134512640 134569956 3221224368 3221213968 1079755601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26087 13086 16 0 208383 0
vsize: 833596
[startup+1250.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 115105 77 0 0 23 0 10 0 839196147 853602304 26110 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26110 13086 16 0 208383 0
vsize: 833596
[startup+1260.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 116009 78 0 0 23 0 10 0 839196147 853602304 26131 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26131 13086 16 0 208383 0
vsize: 833596
[startup+1270.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 116910 78 0 0 24 0 10 0 839196147 853602304 26150 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26150 13086 16 0 208383 0
vsize: 833596
[startup+1280.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) S 21726 4613 4612 0 -1 0 18016 0 1 0 117809 78 0 0 23 0 10 0 839196147 853602304 26169 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26169 13086 16 0 208383 0
vsize: 833596
[startup+1290.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 118710 78 0 0 18 0 10 0 839196147 853602304 26188 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26188 13086 16 0 208383 0
vsize: 833596
[startup+1300.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 119612 78 0 0 18 0 10 0 839196147 853602304 26223 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26223 13086 16 0 208383 0
vsize: 833596
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21736
Raw data (stat): 21727 (java) R 21726 4613 4612 0 -1 0 18016 0 1 0 120515 78 0 0 19 0 10 0 839196147 853602304 26238 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 26238 13086 16 0 208383 0
vsize: 833596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.26 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 21738
Raw data (stat): 21727 (java) Z 21726 4613 4612 0 -1 1036 18016 8677 1 0 120519 83 10602 46 19 0 1 0 839196147 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): 1310.26
CPU time (s): 1312.51
CPU user time (s): 1311.22
CPU system time (s): 1.2958
CPU usage (%): 100.172
Max. virtual memory (Kb): 833892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####