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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2678
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2678
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2678
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 29238

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 05:48:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20621 boxname=wulflinc22 idbench=211 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc22/normalized-par32-5-c.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-par32-5-c.opb
IDLAUNCH: 20621
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        790632 kB
Buffers:         17296 kB
Cached:         204188 kB
SwapCached:        400 kB
Active:          41020 kB
Inactive:       182780 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        790380 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5580 kB
Slab:            14500 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:09:28 (client local time) WITH STATUS 143 IN 1247.7 SECONDS
stats: 20621 7 1247.7 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/wulflinc22/normalized-par32-5-c.opb
c reading problem ... done. Time 6.057 ms.
c #vars     2678
c #constraints  6689
c starts	: 10
c conflicts	: 10539
c decisions	: 11580
c propagations	: 7527623
c inspects	: 25170212
c learned literals	: 1
c learned binary clauses	: 24
c learned ternary clauses	: 22
c learned clauses	: 10537
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1249.087
#### 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 32595
Raw data (stat): 32595 (runsolver) R 32594 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836480167 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.94 0.98 0.99 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18084 0 1 0 710 36 0 0 25 0 11 0 836480167 856809472 19663 4294967295 134512640 134569956 3221224384 3221214776 1131265947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 19663 13086 16 0 209166 0
vsize: 836728
[startup+20.0011 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 1640 36 0 0 25 0 11 0 836480167 855977984 21986 4294967295 134512640 134569956 3221224384 3221214672 1131332176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 21986 13086 16 0 208963 0
vsize: 835916
[startup+30.0022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 2620 37 0 0 25 0 11 0 836480167 855977984 21999 4294967295 134512640 134569956 3221224384 3221214672 1131331766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 21999 13086 16 0 208963 0
vsize: 835916
[startup+40.0028 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 3594 37 0 0 24 0 11 0 836480167 855977984 21999 4294967295 134512640 134569956 3221224384 3221214768 1131422257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 21999 13086 16 0 208963 0
vsize: 835916
[startup+50.003 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 4569 38 0 0 25 0 11 0 836480167 855977984 21999 4294967295 134512640 134569956 3221224384 3221214748 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 21999 13086 16 0 208963 0
vsize: 835916
[startup+60.0032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 5534 38 0 0 25 0 11 0 836480167 855977984 21999 4294967295 134512640 134569956 3221224384 3221214664 1131462050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 21999 13086 16 0 208963 0
vsize: 835916
[startup+70.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 6500 38 0 0 25 0 11 0 836480167 855977984 21999 4294967295 134512640 134569956 3221224384 3221214768 1131465414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 21999 13086 16 0 208963 0
vsize: 835916
[startup+80.0052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 7452 38 0 0 25 0 11 0 836480167 855977984 21999 4294967295 134512640 134569956 3221224384 3221214768 1131421642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 21999 13086 16 0 208963 0
vsize: 835916
[startup+90.0055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 8409 38 0 0 25 0 11 0 836480167 855977984 22115 4294967295 134512640 134569956 3221224384 3221214584 1131231717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 22115 13086 16 0 208963 0
vsize: 835916
[startup+100.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 9355 38 0 0 25 0 11 0 836480167 855977984 22218 4294967295 134512640 134569956 3221224384 3221214736 1131370283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 22218 13086 16 0 208963 0
vsize: 835916
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 10312 38 0 0 25 0 11 0 836480167 855977984 22298 4294967295 134512640 134569956 3221224384 3221214568 1131232302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 22298 13086 16 0 208963 0
vsize: 835916
[startup+120.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 11256 38 0 0 25 0 11 0 836480167 855977984 22410 4294967295 134512640 134569956 3221224384 3221214696 1131332163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 22410 13086 16 0 208963 0
vsize: 835916
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 12213 38 0 0 25 0 11 0 836480167 855977984 22517 4294967295 134512640 134569956 3221224384 3221214664 1131293224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 22517 13086 16 0 208963 0
vsize: 835916
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 13158 38 0 0 25 0 11 0 836480167 855977984 22650 4294967295 134512640 134569956 3221224384 3221214764 1131220283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 22650 13086 16 0 208963 0
vsize: 835916
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 14115 39 0 0 25 0 11 0 836480167 855977984 22740 4294967295 134512640 134569956 3221224384 3221214824 1131220304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 22740 13086 16 0 208963 0
vsize: 835916
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 15062 39 0 0 25 0 11 0 836480167 855977984 22879 4294967295 134512640 134569956 3221224384 3221214760 1131421681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 22879 13086 16 0 208963 0
vsize: 835916
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 16020 39 0 0 25 0 11 0 836480167 855977984 22989 4294967295 134512640 134569956 3221224384 3221214768 1131265971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 22989 13086 16 0 208963 0
vsize: 835916
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 16968 39 0 0 25 0 11 0 836480167 855977984 23102 4294967295 134512640 134569956 3221224384 3221214632 1131238327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23102 13086 16 0 208963 0
vsize: 835916
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 17926 39 0 0 25 0 11 0 836480167 855977984 23191 4294967295 134512640 134569956 3221224384 3221214760 1131421451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23191 13086 16 0 208963 0
vsize: 835916
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 18874 39 0 0 25 0 11 0 836480167 855977984 23320 4294967295 134512640 134569956 3221224384 3221214760 1131460923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23320 13086 16 0 208963 0
vsize: 835916
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 19833 39 0 0 25 0 11 0 836480167 855977984 23405 4294967295 134512640 134569956 3221224384 3221214792 1131380768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23405 13086 16 0 208963 0
vsize: 835916
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 20781 39 0 0 25 0 11 0 836480167 855977984 23511 4294967295 134512640 134569956 3221224384 3221214768 1131265980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23511 13086 16 0 208963 0
vsize: 835916
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 21739 39 0 0 25 0 11 0 836480167 855977984 23615 4294967295 134512640 134569956 3221224384 3221214760 1131329932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23615 13086 16 0 208963 0
vsize: 835916
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 22686 39 0 0 25 0 11 0 836480167 855977984 23738 4294967295 134512640 134569956 3221224384 3221214776 1131377737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23738 13086 16 0 208963 0
vsize: 835916
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 23643 39 0 0 25 0 11 0 836480167 855977984 23821 4294967295 134512640 134569956 3221224384 3221214768 1131265867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23821 13086 16 0 208963 0
vsize: 835916
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 24589 39 0 0 25 0 11 0 836480167 855977984 23938 4294967295 134512640 134569956 3221224384 3221214576 1131543346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 23938 13086 16 0 208963 0
vsize: 835916
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 25545 39 0 0 25 0 11 0 836480167 855977984 24027 4294967295 134512640 134569956 3221224384 3221214812 1131330418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24027 13086 16 0 208963 0
vsize: 835916
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 26490 39 0 0 25 0 11 0 836480167 855977984 24132 4294967295 134512640 134569956 3221224384 3221214768 1131266059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24132 13086 16 0 208963 0
vsize: 835916
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) S 32594 23310 23309 0 -1 0 18085 0 1 0 27436 39 0 0 25 0 11 0 836480167 855977984 24228 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24228 13086 16 0 208963 0
vsize: 835916
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 28390 39 0 0 25 0 11 0 836480167 855977984 24356 4294967295 134512640 134569956 3221224384 3221214696 1131332163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24356 13086 16 0 208963 0
vsize: 835916
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 29336 39 0 0 25 0 11 0 836480167 855977984 24497 4294967295 134512640 134569956 3221224384 3221214744 1131220336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24497 13086 16 0 208963 0
vsize: 835916
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 30293 39 0 0 25 0 11 0 836480167 855977984 24591 4294967295 134512640 134569956 3221224384 3221214584 1131515902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24591 13086 16 0 208963 0
vsize: 835916
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 31240 39 0 0 25 0 11 0 836480167 855977984 24707 4294967295 134512640 134569956 3221224384 3221214648 1131332163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24707 13086 16 0 208963 0
vsize: 835916
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 32187 39 0 0 25 0 11 0 836480167 855977984 24822 4294967295 134512640 134569956 3221224384 3221214784 1131376987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24822 13086 16 0 208963 0
vsize: 835916
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 33145 39 0 0 25 0 11 0 836480167 855977984 24909 4294967295 134512640 134569956 3221224384 3221214672 1131396867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 24909 13086 16 0 208963 0
vsize: 835916
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 34092 39 0 0 25 0 11 0 836480167 855977984 25028 4294967295 134512640 134569956 3221224384 3221214768 1131379461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25028 13086 16 0 208963 0
vsize: 835916
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 35039 40 0 0 25 0 11 0 836480167 855977984 25141 4294967295 134512640 134569956 3221224384 3221214760 1131422201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25141 13086 16 0 208963 0
vsize: 835916
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 35995 40 0 0 25 0 11 0 836480167 855977984 25228 4294967295 134512640 134569956 3221224384 3221214696 1131292936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25228 13086 16 0 208963 0
vsize: 835916
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 36941 40 0 0 25 0 11 0 836480167 855977984 25350 4294967295 134512640 134569956 3221224384 3221214760 1131421551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25350 13086 16 0 208963 0
vsize: 835916
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 37898 40 0 0 25 0 11 0 836480167 855977984 25433 4294967295 134512640 134569956 3221224384 3221214768 1131265906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25433 13086 16 0 208963 0
vsize: 835916
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 38842 40 0 0 25 0 11 0 836480167 855977984 25535 4294967295 134512640 134569956 3221224384 3221214760 1131422244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25535 13086 16 0 208963 0
vsize: 835916
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 39799 40 0 0 25 0 11 0 836480167 855977984 25632 4294967295 134512640 134569956 3221224384 3221214768 1131265855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 25632 13086 16 0 208963 0
vsize: 835916
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 40744 40 0 0 25 0 11 0 836480167 855977984 25730 4294967295 134512640 134569956 3221224384 3221214744 1131464498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25730 13086 16 0 208963 0
vsize: 835916
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 41688 40 0 0 25 0 11 0 836480167 855977984 25879 4294967295 134512640 134569956 3221224384 3221214696 1131331778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25879 13086 16 0 208963 0
vsize: 835916
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 42646 40 0 0 25 0 11 0 836480167 855977984 25986 4294967295 134512640 134569956 3221224384 3221214736 1131370327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 25986 13086 16 0 208963 0
vsize: 835916
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 43593 40 0 0 25 0 11 0 836480167 855977984 26081 4294967295 134512640 134569956 3221224384 3221214768 1131265936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26081 13086 16 0 208963 0
vsize: 835916
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 44550 40 0 0 25 0 11 0 836480167 855977984 26171 4294967295 134512640 134569956 3221224384 3221214768 1131266040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26171 13086 16 0 208963 0
vsize: 835916
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 45496 40 0 0 25 0 11 0 836480167 855977984 26276 4294967295 134512640 134569956 3221224384 3221214600 1131238358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26276 13086 16 0 208963 0
vsize: 835916
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 46452 40 0 0 25 0 11 0 836480167 855977984 26365 4294967295 134512640 134569956 3221224384 3221214648 1131332404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 26365 13086 16 0 208963 0
vsize: 835916
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 47398 40 0 0 25 0 11 0 836480167 855977984 26480 4294967295 134512640 134569956 3221224384 3221214632 1131238327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26480 13086 16 0 208963 0
vsize: 835916
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 48355 41 0 0 25 0 11 0 836480167 855977984 26571 4294967295 134512640 134569956 3221224384 3221214648 1131331749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26571 13086 16 0 208963 0
vsize: 835916
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 49301 41 0 0 25 0 11 0 836480167 855977984 26676 4294967295 134512640 134569956 3221224384 3221214648 1131332374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26676 13086 16 0 208963 0
vsize: 835916
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 50257 41 0 0 25 0 11 0 836480167 855977984 26765 4294967295 134512640 134569956 3221224384 3221214648 1131331926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26765 13086 16 0 208963 0
vsize: 835916
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 51203 41 0 0 25 0 11 0 836480167 855977984 26897 4294967295 134512640 134569956 3221224384 3221214656 1131462358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26897 13086 16 0 208963 0
vsize: 835916
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 52161 41 0 0 25 0 11 0 836480167 855977984 26984 4294967295 134512640 134569956 3221224384 3221214700 1131298291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 26984 13086 16 0 208963 0
vsize: 835916
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 53115 41 0 0 25 0 11 0 836480167 855977984 27069 4294967295 134512640 134569956 3221224384 3221214216 1131198289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27069 13086 16 0 208963 0
vsize: 835916
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 54094 41 0 0 25 0 11 0 836480167 855977984 27111 4294967295 134512640 134569956 3221224384 3221214352 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27111 13086 16 0 208963 0
vsize: 835916
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 55072 41 0 0 25 0 11 0 836480167 855977984 27150 4294967295 134512640 134569956 3221224384 3221213760 1131393756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27150 13086 16 0 208963 0
vsize: 835916
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 56050 41 0 0 25 0 11 0 836480167 855977984 27200 4294967295 134512640 134569956 3221224384 3221214760 1131421710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27200 13086 16 0 208963 0
vsize: 835916
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 57027 41 0 0 25 0 11 0 836480167 855977984 27250 4294967295 134512640 134569956 3221224384 3221214776 1131378569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27250 13086 16 0 208963 0
vsize: 835916
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 58005 41 0 0 25 0 11 0 836480167 855977984 27295 4294967295 134512640 134569956 3221224384 3221213792 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27295 13086 16 0 208963 0
vsize: 835916
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 58969 41 0 0 25 0 11 0 836480167 855977984 27363 4294967295 134512640 134569956 3221224384 3221214768 1131265936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27363 13086 16 0 208963 0
vsize: 835916
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 59921 42 0 0 25 0 11 0 836480167 855977984 27443 4294967295 134512640 134569956 3221224384 3221214776 1131378569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 27443 13086 16 0 208963 0
vsize: 835916
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 60859 42 0 0 25 0 11 0 836480167 855977984 27552 4294967295 134512640 134569956 3221224384 3221214648 1131266010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27552 13086 16 0 208963 0
vsize: 835916
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) S 32594 23310 23309 0 -1 0 18085 0 1 0 61804 42 0 0 25 0 11 0 836480167 855977984 27633 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 27633 13086 16 0 208963 0
vsize: 835916
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 62761 43 0 0 25 0 11 0 836480167 855977984 27712 4294967295 134512640 134569956 3221224384 3221214020 1131393545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 27712 13086 16 0 208963 0
vsize: 835916
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 63749 43 0 0 25 0 11 0 836480167 855977984 27742 4294967295 134512640 134569956 3221224384 3221214648 1131331798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27742 13086 16 0 208963 0
vsize: 835916
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32605
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 64724 43 0 0 25 0 11 0 836480167 855977984 27796 4294967295 134512640 134569956 3221224384 3221214384 1131198204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 27796 13086 16 0 208963 0
vsize: 835916
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 32640
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 65695 46 0 0 25 0 11 0 836480167 855977984 27860 4294967295 134512640 134569956 3221224384 3221213820 1131198219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27860 13086 16 0 208963 0
vsize: 835916
[startup+700.026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 32658
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 66671 46 0 0 25 0 11 0 836480167 855977984 27902 4294967295 134512640 134569956 3221224384 3221214160 1131198200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27902 13086 16 0 208963 0
vsize: 835916
[startup+710.027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 32658
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 67648 46 0 0 25 0 11 0 836480167 855977984 27946 4294967295 134512640 134569956 3221224384 3221214184 1085679394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27946 13086 16 0 208963 0
vsize: 835916
[startup+720.028 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 32658
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 68636 46 0 0 25 0 11 0 836480167 855977984 27971 4294967295 134512640 134569956 3221224384 3221214648 1131332396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 27971 13086 16 0 208963 0
vsize: 835916
[startup+730.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32658
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 69612 46 0 0 25 0 11 0 836480167 855977984 28018 4294967295 134512640 134569956 3221224384 3221213520 1131198218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28018 13086 16 0 208963 0
vsize: 835916
[startup+740.029 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32658
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 70600 46 0 0 25 0 11 0 836480167 855977984 28083 4294967295 134512640 134569956 3221224384 3221214032 1131319447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 28083 13086 16 0 208963 0
vsize: 835916
[startup+750.029 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32658
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 71576 46 0 0 25 0 11 0 836480167 855977984 28143 4294967295 134512640 134569956 3221224384 3221214740 1131331724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28143 13086 16 0 208963 0
vsize: 835916
[startup+760.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32658
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 72554 46 0 0 25 0 11 0 836480167 855977984 28196 4294967295 134512640 134569956 3221224384 3221214632 1131232811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28196 13086 16 0 208963 0
vsize: 835916
[startup+770.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 73531 47 0 0 25 0 11 0 836480167 855977984 28243 4294967295 134512640 134569956 3221224384 3221214648 1131332094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28243 13086 16 0 208963 0
vsize: 835916
[startup+780.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 74509 47 0 0 25 0 11 0 836480167 855977984 28287 4294967295 134512640 134569956 3221224384 3221213960 1131588648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28287 13086 16 0 208963 0
vsize: 835916
[startup+790.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 75498 47 0 0 25 0 11 0 836480167 855977984 28317 4294967295 134512640 134569956 3221224384 3221214736 1131370323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28317 13086 16 0 208963 0
vsize: 835916
[startup+800.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 76477 47 0 0 25 0 11 0 836480167 855977984 28358 4294967295 134512640 134569956 3221224384 3221214648 1131266000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28358 13086 16 0 208963 0
vsize: 835916
[startup+810.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 77455 47 0 0 25 0 11 0 836480167 855977984 28394 4294967295 134512640 134569956 3221224384 3221214136 1131313394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28394 13086 16 0 208963 0
vsize: 835916
[startup+820.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 78432 47 0 0 25 0 11 0 836480167 855977984 28430 4294967295 134512640 134569956 3221224384 3221214768 1131265936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28430 13086 16 0 208963 0
vsize: 835916
[startup+830.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) S 32594 23310 23309 0 -1 0 18085 0 1 0 79414 47 0 0 25 0 11 0 836480167 855977984 28453 4294967295 134512640 134569956 3221224384 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28453 13086 16 0 208963 0
vsize: 835916
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 80400 47 0 0 25 0 11 0 836480167 855977984 28493 4294967295 134512640 134569956 3221224384 3221214648 1131331766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28493 13086 16 0 208963 0
vsize: 835916
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 81378 47 0 0 25 0 11 0 836480167 855977984 28543 4294967295 134512640 134569956 3221224384 3221214160 1131198225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28543 13086 16 0 208963 0
vsize: 835916
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 82356 47 0 0 25 0 11 0 836480167 855977984 28599 4294967295 134512640 134569956 3221224384 3221214744 1131464824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 28599 13086 16 0 208963 0
vsize: 835916
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 83334 47 0 0 25 0 11 0 836480167 855977984 28650 4294967295 134512640 134569956 3221224384 3221214648 1131332225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28650 13086 16 0 208963 0
vsize: 835916
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 84324 47 0 0 25 0 11 0 836480167 855977984 28672 4294967295 134512640 134569956 3221224384 3221214268 1131198224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 28672 13086 16 0 208963 0
vsize: 835916
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 85303 47 0 0 25 0 11 0 836480167 855977984 28724 4294967295 134512640 134569956 3221224384 3221213856 1131198285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 28724 13086 16 0 208963 0
vsize: 835916
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 86282 47 0 0 25 0 11 0 836480167 855977984 28763 4294967295 134512640 134569956 3221224384 3221213792 1085679495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28763 13086 16 0 208963 0
vsize: 835916
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 87260 48 0 0 25 0 11 0 836480167 855977984 28809 4294967295 134512640 134569956 3221224384 3221213760 1131393695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28809 13086 16 0 208963 0
vsize: 835916
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 88239 48 0 0 25 0 11 0 836480167 855977984 28853 4294967295 134512640 134569956 3221224384 3221214376 1131393578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28853 13086 16 0 208963 0
vsize: 835916
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 89218 48 0 0 25 0 11 0 836480167 855977984 28889 4294967295 134512640 134569956 3221224384 3221214044 1131198224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28889 13086 16 0 208963 0
vsize: 835916
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 90197 48 0 0 25 0 11 0 836480167 855977984 28934 4294967295 134512640 134569956 3221224384 3221214648 1131332091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28934 13086 16 0 208963 0
vsize: 835916
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 91186 48 0 0 25 0 11 0 836480167 855977984 28952 4294967295 134512640 134569956 3221224384 3221214648 1131332443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28952 13086 16 0 208963 0
vsize: 835916
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 92165 48 0 0 25 0 11 0 836480167 855977984 28993 4294967295 134512640 134569956 3221224384 3221214740 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 28993 13086 16 0 208963 0
vsize: 835916
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) S 32594 23310 23309 0 -1 0 18085 0 1 0 93147 48 0 0 25 0 11 0 836480167 855977984 29014 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29014 13086 16 0 208963 0
vsize: 835916
[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 94133 48 0 0 25 0 11 0 836480167 855977984 29056 4294967295 134512640 134569956 3221224384 3221214712 1131388992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29056 13086 16 0 208963 0
vsize: 835916
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 95111 48 0 0 25 0 11 0 836480167 855977984 29097 4294967295 134512640 134569956 3221224384 3221214608 1131231680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29097 13086 16 0 208963 0
vsize: 835916
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 96089 48 0 0 25 0 11 0 836480167 855977984 29136 4294967295 134512640 134569956 3221224384 3221213568 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 29136 13086 16 0 208963 0
vsize: 835916
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32660
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 97066 48 0 0 25 0 11 0 836480167 855977984 29170 4294967295 134512640 134569956 3221224384 3221214488 1131393767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29170 13086 16 0 208963 0
vsize: 835916
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 98042 49 0 0 25 0 11 0 836480167 855977984 29214 4294967295 134512640 134569956 3221224384 3221214428 1131319433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29214 13086 16 0 208963 0
vsize: 835916
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 99032 49 0 0 25 0 11 0 836480167 855977984 29234 4294967295 134512640 134569956 3221224384 3221214744 1131220313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29234 13086 16 0 208963 0
vsize: 835916
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 99997 49 0 0 25 0 11 0 836480167 855977984 29298 4294967295 134512640 134569956 3221224384 3221214272 1131198231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29298 13086 16 0 208963 0
vsize: 835916
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 100986 49 0 0 25 0 11 0 836480167 855977984 29320 4294967295 134512640 134569956 3221224384 3221214016 1131588420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29320 13086 16 0 208963 0
vsize: 835916
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 101962 49 0 0 25 0 11 0 836480167 855977984 29362 4294967295 134512640 134569956 3221224384 3221214696 1131332133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29362 13086 16 0 208963 0
vsize: 835916
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 102939 49 0 0 25 0 11 0 836480167 855977984 29410 4294967295 134512640 134569956 3221224384 3221214788 1131376996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29410 13086 16 0 208963 0
vsize: 835916
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 103928 49 0 0 25 0 11 0 836480167 855977984 29436 4294967295 134512640 134569956 3221224384 3221213932 1131198219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29436 13086 16 0 208963 0
vsize: 835916
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 104904 49 0 0 25 0 11 0 836480167 855977984 29468 4294967295 134512640 134569956 3221224384 3221213544 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29468 13086 16 0 208963 0
vsize: 835916
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 105882 49 0 0 25 0 11 0 836480167 855977984 29514 4294967295 134512640 134569956 3221224384 3221214648 1131331745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29514 13086 16 0 208963 0
vsize: 835916
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 106870 49 0 0 25 0 11 0 836480167 855977984 29546 4294967295 134512640 134569956 3221224384 3221214736 1131594989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29546 13086 16 0 208963 0
vsize: 835916
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 107847 49 0 0 25 0 11 0 836480167 855977984 29588 4294967295 134512640 134569956 3221224384 3221214760 1131461016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29588 13086 16 0 208963 0
vsize: 835916
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 108824 49 0 0 25 0 11 0 836480167 855977984 29643 4294967295 134512640 134569956 3221224384 3221214648 1131332755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29643 13086 16 0 208963 0
vsize: 835916
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 109813 49 0 0 25 0 11 0 836480167 855977984 29667 4294967295 134512640 134569956 3221224384 3221214160 1131198200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29667 13086 16 0 208963 0
vsize: 835916
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 110791 49 0 0 25 0 11 0 836480167 855977984 29724 4294967295 134512640 134569956 3221224384 3221214768 1131386097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29724 13086 16 0 208963 0
vsize: 835916
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 111780 49 0 0 25 0 11 0 836480167 855977984 29746 4294967295 134512640 134569956 3221224384 3221214616 1131370213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29746 13086 16 0 208963 0
vsize: 835916
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 112757 49 0 0 25 0 11 0 836480167 855977984 29786 4294967295 134512640 134569956 3221224384 3221214764 1131220272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29786 13086 16 0 208963 0
vsize: 835916
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 113735 49 0 0 25 0 11 0 836480167 855977984 29828 4294967295 134512640 134569956 3221224384 3221214256 1131393800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29828 13086 16 0 208963 0
vsize: 835916
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 114724 49 0 0 25 0 11 0 836480167 855977984 29856 4294967295 134512640 134569956 3221224384 3221213320 1131198285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29856 13086 16 0 208963 0
vsize: 835916
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 115702 49 0 0 25 0 11 0 836480167 855977984 29894 4294967295 134512640 134569956 3221224384 3221214204 1131319436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29894 13086 16 0 208963 0
vsize: 835916
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 116679 50 0 0 25 0 11 0 836480167 855977984 29944 4294967295 134512640 134569956 3221224384 3221214776 1131378569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 29944 13086 16 0 208963 0
vsize: 835916
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 117668 50 0 0 25 0 11 0 836480167 855977984 29972 4294967295 134512640 134569956 3221224384 3221214832 1131486682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208979 29972 13086 16 0 208963 0
vsize: 835916
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 118646 50 0 0 25 0 11 0 836480167 855977984 30001 4294967295 134512640 134569956 3221224384 3221214048 1131198164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 30001 13086 16 0 208963 0
vsize: 835916
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 119635 50 0 0 25 0 11 0 836480167 855977984 30025 4294967295 134512640 134569956 3221224384 3221214760 1131422257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 30025 13086 16 0 208963 0
vsize: 835916
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32662
Raw data (stat): 32595 (java) R 32594 23310 23309 0 -1 0 18085 0 1 0 120612 50 0 0 25 0 11 0 836480167 855977984 30071 4294967295 134512640 134569956 3221224384 3221214768 1131265918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208979 30071 13086 16 0 208963 0
vsize: 835916
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32664
Raw data (stat): 32595 (java) Z 32594 23310 23309 0 -1 1036 18085 11120 1 0 120614 50 4075 29 25 0 1 0 836480167 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): 1250.13
CPU time (s): 1247.7
CPU user time (s): 1246.9
CPU system time (s): 0.798878
CPU usage (%): 99.8055
Max. virtual memory (Kb): 836728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####