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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb
MD5SUM	b5066922b496d65f6fab47243caf450a
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	55800
Biggest coefficient in the objective function	42949672960
Number of bits for the biggest coefficient in the objective function	36
Sum of the numbers in the objective function	31374736068060
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	42949672960
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	31374736068060
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.674897
Number of variables	74400
Total number of constraints	1480
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1480
Minimum length of a constraint	90
Maximum length of a constraint	930
Trace number 29488

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 08:08:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20885 boxname=wulflinc26 idbench=873 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b5066922b496d65f6fab47243caf450a  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-sctap3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-sctap3.opb
IDLAUNCH: 20885
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        372644 kB
Buffers:         35960 kB
Cached:         602516 kB
SwapCached:        656 kB
Active:         146852 kB
Inactive:       494188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        372392 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15348 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:30:58 (client local time) WITH STATUS 143 IN 1325.07 SECONDS
stats: 20885 7 1325.07 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/wulflinc26/normalized-mps-v2-20-10-sctap3.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.142
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 1780
Raw data (stat): 1780 (runsolver) R 1779 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837329839 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.0006 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18009 0 1 0 873 39 0 0 25 0 10 0 837329839 853856256 19419 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 19419 13086 16 0 208445 0
vsize: 833844
[startup+20.0002 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 1766 40 0 0 25 0 10 0 837329839 854286336 19993 4294967295 134512640 134569956 3221224368 3221214464 1080019433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208566 19993 13086 16 0 208550 0
vsize: 834264
[startup+30.0013 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 2656 40 0 0 25 0 10 0 837329839 853913600 20438 4294967295 134512640 134569956 3221224368 3221214528 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 20438 13086 16 0 208459 0
vsize: 833900
[startup+40.0005 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 3571 40 0 0 25 0 10 0 837329839 853913600 20731 4294967295 134512640 134569956 3221224368 3221214768 1131248381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 20731 13086 16 0 208459 0
vsize: 833900
[startup+50.0012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 4491 40 0 0 25 0 10 0 837329839 853913600 20896 4294967295 134512640 134569956 3221224368 3221214768 1131248381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 20896 13086 16 0 208459 0
vsize: 833900
[startup+60.0014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 5406 40 0 0 24 0 10 0 837329839 853913600 21030 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21030 13086 16 0 208459 0
vsize: 833900
[startup+70.0016 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 6338 41 0 0 25 0 10 0 837329839 853913600 21272 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21272 13086 16 0 208459 0
vsize: 833900
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 7274 41 0 0 25 0 10 0 837329839 853913600 21375 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21375 13086 16 0 208459 0
vsize: 833900
[startup+90.0035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 8213 42 0 0 25 0 10 0 837329839 853913600 21470 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21470 13086 16 0 208459 0
vsize: 833900
[startup+100.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 9152 42 0 0 24 0 10 0 837329839 853913600 21557 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21557 13086 16 0 208459 0
vsize: 833900
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 10095 43 0 0 25 0 10 0 837329839 853913600 21636 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21636 13086 16 0 208459 0
vsize: 833900
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 11036 43 0 0 25 0 10 0 837329839 853913600 21713 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21713 13086 16 0 208459 0
vsize: 833900
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 11976 43 0 0 25 0 10 0 837329839 853913600 21786 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21786 13086 16 0 208459 0
vsize: 833900
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 12918 43 0 0 25 0 10 0 837329839 853913600 21856 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21856 13086 16 0 208459 0
vsize: 833900
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 13859 43 0 0 25 0 10 0 837329839 853913600 21923 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21923 13086 16 0 208459 0
vsize: 833900
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 14799 44 0 0 24 0 10 0 837329839 853913600 21987 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 21987 13086 16 0 208459 0
vsize: 833900
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 15734 45 0 0 25 0 10 0 837329839 853913600 22045 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208475 22045 13086 16 0 208459 0
vsize: 833900
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 16646 45 0 0 25 0 10 0 837329839 853913600 22105 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22105 13086 16 0 208459 0
vsize: 833900
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 17571 46 0 0 25 0 10 0 837329839 853913600 22416 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22416 13086 16 0 208459 0
vsize: 833900
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 18508 46 0 0 25 0 10 0 837329839 853913600 22473 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22473 13086 16 0 208459 0
vsize: 833900
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 19446 47 0 0 25 0 10 0 837329839 853913600 22527 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22527 13086 16 0 208459 0
vsize: 833900
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 20382 47 0 0 24 0 10 0 837329839 853913600 22580 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22580 13086 16 0 208459 0
vsize: 833900
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18010 0 1 0 21321 47 0 0 25 0 10 0 837329839 853913600 22630 4294967295 134512640 134569956 3221224368 3221213336 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22630 13086 16 0 208459 0
vsize: 833900
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 22259 47 0 0 25 0 10 0 837329839 853913600 22681 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22681 13086 16 0 208459 0
vsize: 833900
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 23194 47 0 0 25 0 10 0 837329839 853913600 22730 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22730 13086 16 0 208459 0
vsize: 833900
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 24128 48 0 0 25 0 10 0 837329839 853913600 22778 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22778 13086 16 0 208459 0
vsize: 833900
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18010 0 1 0 25065 48 0 0 25 0 10 0 837329839 853913600 22823 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22823 13086 16 0 208459 0
vsize: 833900
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 26000 49 0 0 25 0 10 0 837329839 853913600 22869 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22869 13086 16 0 208459 0
vsize: 833900
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 26934 49 0 0 23 0 10 0 837329839 853913600 22914 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22914 13086 16 0 208459 0
vsize: 833900
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 27867 49 0 0 24 0 10 0 837329839 853913600 22959 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 22959 13086 16 0 208459 0
vsize: 833900
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 28804 50 0 0 25 0 10 0 837329839 853913600 23000 4294967295 134512640 134569956 3221224368 3221214048 1077101249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23000 13086 16 0 208459 0
vsize: 833900
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 29736 50 0 0 25 0 10 0 837329839 853913600 23043 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23043 13086 16 0 208459 0
vsize: 833900
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 30668 50 0 0 25 0 10 0 837329839 853913600 23085 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23085 13086 16 0 208459 0
vsize: 833900
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 31603 50 0 0 25 0 10 0 837329839 853913600 23124 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23124 13086 16 0 208459 0
vsize: 833900
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 32534 51 0 0 25 0 10 0 837329839 853913600 23166 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23166 13086 16 0 208459 0
vsize: 833900
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 33464 52 0 0 25 0 10 0 837329839 853913600 23206 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23206 13086 16 0 208459 0
vsize: 833900
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 34399 52 0 0 25 0 10 0 837329839 853913600 23244 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23244 13086 16 0 208459 0
vsize: 833900
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 35329 52 0 0 25 0 10 0 837329839 853913600 23283 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23283 13086 16 0 208459 0
vsize: 833900
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 36259 52 0 0 25 0 10 0 837329839 853913600 23321 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23321 13086 16 0 208459 0
vsize: 833900
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 37193 53 0 0 25 0 10 0 837329839 853913600 23357 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23357 13086 16 0 208459 0
vsize: 833900
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 38122 53 0 0 25 0 10 0 837329839 853913600 23395 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23395 13086 16 0 208459 0
vsize: 833900
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 39050 53 0 0 24 0 10 0 837329839 853913600 23432 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23432 13086 16 0 208459 0
vsize: 833900
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 39983 54 0 0 25 0 10 0 837329839 853913600 23466 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23466 13086 16 0 208459 0
vsize: 833900
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 40909 54 0 0 25 0 10 0 837329839 853913600 23502 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23502 13086 16 0 208459 0
vsize: 833900
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 41841 54 0 0 25 0 10 0 837329839 853913600 23536 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23536 13086 16 0 208459 0
vsize: 833900
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 42768 54 0 0 25 0 10 0 837329839 853913600 23571 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23571 13086 16 0 208459 0
vsize: 833900
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18010 0 1 0 43698 54 0 0 25 0 10 0 837329839 853913600 23605 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23605 13086 16 0 208459 0
vsize: 833900
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 44625 55 0 0 25 0 10 0 837329839 853913600 23639 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23639 13086 16 0 208459 0
vsize: 833900
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 45550 55 0 0 25 0 10 0 837329839 853913600 23674 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23674 13086 16 0 208459 0
vsize: 833900
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 46480 55 0 0 25 0 10 0 837329839 853913600 23706 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23706 13086 16 0 208459 0
vsize: 833900
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 47404 55 0 0 25 0 10 0 837329839 853913600 23739 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23739 13086 16 0 208459 0
vsize: 833900
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 48332 56 0 0 25 0 10 0 837329839 853913600 23770 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23770 13086 16 0 208459 0
vsize: 833900
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 49255 56 0 0 24 0 10 0 837329839 853913600 23803 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23803 13086 16 0 208459 0
vsize: 833900
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 50183 56 0 0 25 0 10 0 837329839 853913600 23834 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23834 13086 16 0 208459 0
vsize: 833900
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 51104 57 0 0 24 0 10 0 837329839 853913600 23866 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23866 13086 16 0 208459 0
vsize: 833900
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 52030 57 0 0 25 0 10 0 837329839 853913600 23896 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23896 13086 16 0 208459 0
vsize: 833900
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 52956 57 0 0 25 0 10 0 837329839 853913600 23925 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23925 13086 16 0 208459 0
vsize: 833900
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 53878 58 0 0 25 0 10 0 837329839 853913600 23957 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23957 13086 16 0 208459 0
vsize: 833900
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 54802 58 0 0 25 0 10 0 837329839 853913600 23986 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 23986 13086 16 0 208459 0
vsize: 833900
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 55723 58 0 0 25 0 10 0 837329839 853913600 24016 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 24016 13086 16 0 208459 0
vsize: 833900
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 56647 59 0 0 25 0 10 0 837329839 853913600 24045 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 24045 13086 16 0 208459 0
vsize: 833900
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 57571 59 0 0 25 0 10 0 837329839 853913600 24074 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 24074 13086 16 0 208459 0
vsize: 833900
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 58490 60 0 0 25 0 10 0 837329839 853913600 24103 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 24103 13086 16 0 208459 0
vsize: 833900
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 59414 60 0 0 25 0 10 0 837329839 853913600 24131 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 24131 13086 16 0 208459 0
vsize: 833900
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18010 0 1 0 60335 60 0 0 25 0 10 0 837329839 853913600 24160 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 24160 13086 16 0 208459 0
vsize: 833900
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 61250 61 0 0 25 0 10 0 837329839 853913600 25080 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25080 13086 16 0 208459 0
vsize: 833900
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 62171 61 0 0 25 0 10 0 837329839 853913600 25080 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25080 13086 16 0 208459 0
vsize: 833900
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 63084 62 0 0 25 0 10 0 837329839 853913600 25095 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25095 13086 16 0 208459 0
vsize: 833900
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 63997 62 0 0 25 0 10 0 837329839 853913600 25122 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25122 13086 16 0 208459 0
vsize: 833900
[startup+700.025 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18010 0 1 0 64905 62 0 0 25 0 10 0 837329839 853913600 25149 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25149 13086 16 0 208459 0
vsize: 833900
[startup+710.026 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 65814 62 0 0 24 0 10 0 837329839 853913600 25176 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25176 13086 16 0 208459 0
vsize: 833900
[startup+720.025 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 66726 63 0 0 25 0 10 0 837329839 853913600 25203 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25203 13086 16 0 208459 0
vsize: 833900
[startup+730.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 67637 63 0 0 25 0 10 0 837329839 853913600 25229 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25229 13086 16 0 208459 0
vsize: 833900
[startup+740.027 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 68548 63 0 0 25 0 10 0 837329839 853913600 25255 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25255 13086 16 0 208459 0
vsize: 833900
[startup+750.027 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 69459 64 0 0 25 0 10 0 837329839 853913600 25281 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25281 13086 16 0 208459 0
vsize: 833900
[startup+760.027 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 70369 64 0 0 25 0 10 0 837329839 853913600 25306 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25306 13086 16 0 208459 0
vsize: 833900
[startup+770.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 71279 65 0 0 25 0 10 0 837329839 853913600 25332 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25332 13086 16 0 208459 0
vsize: 833900
[startup+780.028 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18010 0 1 0 72188 65 0 0 25 0 10 0 837329839 853913600 25357 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25357 13086 16 0 208459 0
vsize: 833900
[startup+790.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 73093 65 0 0 24 0 10 0 837329839 853913600 25384 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25384 13086 16 0 208459 0
vsize: 833900
[startup+800.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 74002 65 0 0 25 0 10 0 837329839 853913600 25408 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25408 13086 16 0 208459 0
vsize: 833900
[startup+810.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 74911 65 0 0 25 0 10 0 837329839 853913600 25433 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25433 13086 16 0 208459 0
vsize: 833900
[startup+820.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 75819 66 0 0 25 0 10 0 837329839 853913600 25458 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25458 13086 16 0 208459 0
vsize: 833900
[startup+830.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 76728 66 0 0 25 0 10 0 837329839 853913600 25482 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25482 13086 16 0 208459 0
vsize: 833900
[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18010 0 1 0 77635 66 0 0 25 0 10 0 837329839 853913600 25507 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 25507 13086 16 0 208459 0
vsize: 833900
[startup+850.031 s]
Raw data (loadavg): 1.08 1.02 1.01 4/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18020 0 1 0 78507 67 0 0 24 0 10 0 837329839 859246592 26686 4294967295 134512640 134569956 3221224368 3221214680 1131177691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209777 26686 13086 16 0 209761 0
vsize: 839108
[startup+860.031 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 79367 68 0 0 25 0 10 0 837329839 857858048 29192 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 29192 13086 16 0 209422 0
vsize: 837752
[startup+870.073 s]
Raw data (loadavg): 1.06 1.01 1.00 3/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 80280 68 0 0 25 0 10 0 837329839 857858048 29198 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209438 29198 13086 16 0 209422 0
vsize: 837752
[startup+880.074 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 81180 69 0 0 24 0 10 0 837329839 857628672 29173 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29173 13086 16 0 209366 0
vsize: 837528
[startup+890.074 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 82085 69 0 0 25 0 10 0 837329839 857628672 29215 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29215 13086 16 0 209366 0
vsize: 837528
[startup+900.079 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 82985 69 0 0 25 0 10 0 837329839 857628672 29260 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29260 13086 16 0 209366 0
vsize: 837528
[startup+910.082 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18021 0 1 0 83887 69 0 0 25 0 10 0 837329839 857628672 29303 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29303 13086 16 0 209366 0
vsize: 837528
[startup+920.083 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 84789 69 0 0 25 0 10 0 837329839 857628672 29346 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29346 13086 16 0 209366 0
vsize: 837528
[startup+930.084 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 85687 69 0 0 25 0 10 0 837329839 857628672 29391 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29391 13086 16 0 209366 0
vsize: 837528
[startup+940.083 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 86592 69 0 0 25 0 10 0 837329839 857628672 29430 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29430 13086 16 0 209366 0
vsize: 837528
[startup+950.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 87489 69 0 0 25 0 10 0 837329839 857628672 29475 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29475 13086 16 0 209366 0
vsize: 837528
[startup+960.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 88391 69 0 0 25 0 10 0 837329839 857628672 29514 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29514 13086 16 0 209366 0
vsize: 837528
[startup+970.085 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 89288 69 0 0 25 0 10 0 837329839 857628672 29558 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29558 13086 16 0 209366 0
vsize: 837528
[startup+980.086 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 90192 70 0 0 22 0 10 0 837329839 857628672 29600 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29600 13086 16 0 209366 0
vsize: 837528
[startup+990.086 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 91088 70 0 0 19 0 10 0 837329839 857628672 29643 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29643 13086 16 0 209366 0
vsize: 837528
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 91990 70 0 0 22 0 10 0 837329839 857628672 29681 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29681 13086 16 0 209366 0
vsize: 837528
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 92886 70 0 0 19 0 10 0 837329839 857628672 29723 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29723 13086 16 0 209366 0
vsize: 837528
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 93788 70 0 0 21 0 10 0 837329839 857628672 29764 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29764 13086 16 0 209366 0
vsize: 837528
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 94684 70 0 0 18 0 10 0 837329839 857628672 29804 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29804 13086 16 0 209366 0
vsize: 837528
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 95585 71 0 0 20 0 10 0 837329839 857628672 29844 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29844 13086 16 0 209366 0
vsize: 837528
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 96487 71 0 0 23 0 10 0 837329839 857628672 29883 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 29883 13086 16 0 209366 0
vsize: 837528
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 97380 71 0 0 19 0 10 0 837329839 857628672 29925 4294967295 134512640 134569956 3221224368 3221214264 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 29925 13086 16 0 209366 0
vsize: 837528
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 98276 71 0 0 21 0 10 0 837329839 857628672 29963 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 29963 13086 16 0 209366 0
vsize: 837528
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 99168 72 0 0 18 0 10 0 837329839 857628672 30003 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30003 13086 16 0 209366 0
vsize: 837528
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 100067 72 0 0 21 0 10 0 837329839 857628672 30041 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30041 13086 16 0 209366 0
vsize: 837528
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 100966 72 0 0 22 0 10 0 837329839 857628672 30079 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30079 13086 16 0 209366 0
vsize: 837528
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 101859 73 0 0 19 0 10 0 837329839 857628672 30121 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30121 13086 16 0 209366 0
vsize: 837528
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 102756 73 0 0 21 0 10 0 837329839 857628672 30158 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30158 13086 16 0 209366 0
vsize: 837528
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18021 0 1 0 103650 74 0 0 22 0 10 0 837329839 857628672 30196 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30196 13086 16 0 209366 0
vsize: 837528
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 104545 74 0 0 19 0 10 0 837329839 857628672 30235 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30235 13086 16 0 209366 0
vsize: 837528
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 105442 75 0 0 20 0 10 0 837329839 857628672 30272 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30272 13086 16 0 209366 0
vsize: 837528
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 106339 75 0 0 22 0 10 0 837329839 857628672 30314 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30314 13086 16 0 209366 0
vsize: 837528
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 107229 75 0 0 18 0 10 0 837329839 857628672 30348 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30348 13086 16 0 209366 0
vsize: 837528
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 108126 76 0 0 19 0 10 0 837329839 857628672 30385 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30385 13086 16 0 209366 0
vsize: 837528
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 109023 76 0 0 21 0 10 0 837329839 857628672 30420 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30420 13086 16 0 209366 0
vsize: 837528
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 109920 76 0 0 23 0 10 0 837329839 857628672 30475 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30475 13086 16 0 209366 0
vsize: 837528
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 110812 77 0 0 18 0 10 0 837329839 857628672 30517 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30517 13086 16 0 209366 0
vsize: 837528
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 111711 77 0 0 19 0 10 0 837329839 857628672 30556 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30556 13086 16 0 209366 0
vsize: 837528
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 112610 78 0 0 20 0 10 0 837329839 857628672 30580 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30580 13086 16 0 209366 0
vsize: 837528
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 113511 78 0 0 23 0 10 0 837329839 857628672 30627 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30627 13086 16 0 209366 0
vsize: 837528
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 114407 78 0 0 18 0 10 0 837329839 857628672 30677 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30677 13086 16 0 209366 0
vsize: 837528
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 115310 78 0 0 20 0 10 0 837329839 857628672 30715 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30715 13086 16 0 209366 0
vsize: 837528
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 116211 79 0 0 20 0 10 0 837329839 857628672 30715 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30715 13086 16 0 209366 0
vsize: 837528
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 117112 79 0 0 22 0 10 0 837329839 857628672 30766 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30766 13086 16 0 209366 0
vsize: 837528
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 118008 80 0 0 22 0 10 0 837329839 857628672 30783 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30783 13086 16 0 209366 0
vsize: 837528
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) S 1779 20687 20686 0 -1 0 18021 0 1 0 118907 80 0 0 24 0 10 0 837329839 857628672 30859 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30859 13086 16 0 209366 0
vsize: 837528
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 119811 81 0 0 20 0 10 0 837329839 857628672 30900 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30900 13086 16 0 209366 0
vsize: 837528
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 1789
Raw data (stat): 1780 (java) R 1779 20687 20686 0 -1 0 18021 0 1 0 120716 81 0 0 20 0 10 0 837329839 857628672 30942 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30942 13086 16 0 209366 0
vsize: 837528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1791
Raw data (stat): 1780 (java) Z 1779 20687 20686 0 -1 1036 18021 15366 1 0 120721 87 11638 59 22 0 1 0 837329839 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.21
CPU time (s): 1325.07
CPU user time (s): 1323.6
CPU system time (s): 1.47078
CPU usage (%): 100.368
Max. virtual memory (Kb): 839108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####