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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370d.opb
MD5SUM	c845e5aae635eb663462a0603eb54605
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29652813254765
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29652813254765
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	1.43078
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 29700

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 10:33:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21103 boxname=wulflinc15 idbench=1091 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c845e5aae635eb663462a0603eb54605  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n370d.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n370d.opb
IDLAUNCH: 21103
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        715124 kB
Buffers:         31280 kB
Cached:         265888 kB
SwapCached:        672 kB
Active:          70252 kB
Inactive:       229056 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        714844 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14604 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:54:58 (client local time) WITH STATUS 143 IN 1312.79 SECONDS
stats: 21103 7 1312.79 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/wulflinc15/normalized-mps-v2-20-10-n370d.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.235
#### 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.93 0.98 0.99 2/54 7388
Raw data (stat): 7388 (runsolver) R 7387 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779960820 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0012 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18005 0 1 0 876 37 0 0 25 0 10 0 779960820 853868544 19338 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208464 19338 13086 16 0 208448 0
vsize: 833856
[startup+20.0021 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 1774 37 0 0 25 0 10 0 779960820 855146496 20117 4294967295 134512640 134569956 3221224368 3221214644 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208776 20117 13086 16 0 208760 0
vsize: 835104
[startup+30.0012 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 2666 37 0 0 25 0 10 0 779960820 854609920 20510 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 20510 13086 16 0 208629 0
vsize: 834580
[startup+40.0027 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 3582 38 0 0 25 0 10 0 779960820 854609920 20805 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 20805 13086 16 0 208629 0
vsize: 834580
[startup+50.0036 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 4505 38 0 0 25 0 10 0 779960820 854609920 20967 4294967295 134512640 134569956 3221224368 3221214768 1131249853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 20967 13086 16 0 208629 0
vsize: 834580
[startup+60.0039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 5426 38 0 0 25 0 10 0 779960820 854609920 21091 4294967295 134512640 134569956 3221224368 3221214916 1130903610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21091 13086 16 0 208629 0
vsize: 834580
[startup+70.0043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 6355 38 0 0 25 0 10 0 779960820 854609920 21343 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21343 13086 16 0 208629 0
vsize: 834580
[startup+80.0052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 7298 38 0 0 25 0 10 0 779960820 854609920 21439 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21439 13086 16 0 208629 0
vsize: 834580
[startup+90.0054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 8238 38 0 0 25 0 10 0 779960820 854609920 21532 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21532 13086 16 0 208629 0
vsize: 834580
[startup+100.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 9183 38 0 0 25 0 10 0 779960820 854609920 21613 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21613 13086 16 0 208629 0
vsize: 834580
[startup+110.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 10126 38 0 0 25 0 10 0 779960820 854609920 21693 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21693 13086 16 0 208629 0
vsize: 834580
[startup+120.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 11070 38 0 0 25 0 10 0 779960820 854609920 21767 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21767 13086 16 0 208629 0
vsize: 834580
[startup+130.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 12014 38 0 0 25 0 10 0 779960820 854609920 21838 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21838 13086 16 0 208629 0
vsize: 834580
[startup+140.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 12957 39 0 0 25 0 10 0 779960820 854609920 21906 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21906 13086 16 0 208629 0
vsize: 834580
[startup+150.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 13903 39 0 0 25 0 10 0 779960820 854609920 21968 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21968 13086 16 0 208629 0
vsize: 834580
[startup+160.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 14846 39 0 0 25 0 10 0 779960820 854609920 22031 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22031 13086 16 0 208629 0
vsize: 834580
[startup+170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 15789 39 0 0 25 0 10 0 779960820 854609920 22089 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22089 13086 16 0 208629 0
vsize: 834580
[startup+180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 16704 39 0 0 25 0 10 0 779960820 854609920 22147 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22147 13086 16 0 208629 0
vsize: 834580
[startup+190.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 17626 39 0 0 25 0 10 0 779960820 854609920 22457 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22457 13086 16 0 208629 0
vsize: 834580
[startup+200.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 18568 39 0 0 25 0 10 0 779960820 854609920 22509 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22509 13086 16 0 208629 0
vsize: 834580
[startup+210.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 19507 39 0 0 25 0 10 0 779960820 854609920 22562 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22562 13086 16 0 208629 0
vsize: 834580
[startup+220.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 20449 40 0 0 21 0 10 0 779960820 854609920 22612 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22612 13086 16 0 208629 0
vsize: 834580
[startup+230.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 21387 40 0 0 25 0 10 0 779960820 854609920 22662 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22662 13086 16 0 208629 0
vsize: 834580
[startup+240.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 22326 40 0 0 25 0 10 0 779960820 854609920 22710 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22710 13086 16 0 208629 0
vsize: 834580
[startup+250.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 23266 40 0 0 25 0 10 0 779960820 854609920 22758 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22758 13086 16 0 208629 0
vsize: 834580
[startup+260.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 24205 41 0 0 25 0 10 0 779960820 854609920 22804 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22804 13086 16 0 208629 0
vsize: 834580
[startup+270.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 25144 41 0 0 25 0 10 0 779960820 854609920 22849 4294967295 134512640 134569956 3221224368 3221213980 1077378854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22849 13086 16 0 208629 0
vsize: 834580
[startup+280.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 26080 41 0 0 24 0 10 0 779960820 854609920 22895 4294967295 134512640 134569956 3221224368 3221214104 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22895 13086 16 0 208629 0
vsize: 834580
[startup+290.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 27020 41 0 0 25 0 10 0 779960820 854609920 22938 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22938 13086 16 0 208629 0
vsize: 834580
[startup+300.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 27959 41 0 0 25 0 10 0 779960820 854609920 22980 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 22980 13086 16 0 208629 0
vsize: 834580
[startup+310.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 28893 41 0 0 25 0 10 0 779960820 854609920 23023 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23023 13086 16 0 208629 0
vsize: 834580
[startup+320.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 29832 41 0 0 25 0 10 0 779960820 854609920 23064 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23064 13086 16 0 208629 0
vsize: 834580
[startup+330.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 30766 41 0 0 25 0 10 0 779960820 854609920 23106 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23106 13086 16 0 208629 0
vsize: 834580
[startup+340.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 31703 42 0 0 25 0 10 0 779960820 854609920 23145 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23145 13086 16 0 208629 0
vsize: 834580
[startup+350.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 32635 42 0 0 24 0 10 0 779960820 854609920 23186 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23186 13086 16 0 208629 0
vsize: 834580
[startup+360.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 33572 42 0 0 25 0 10 0 779960820 854609920 23223 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23223 13086 16 0 208629 0
vsize: 834580
[startup+370.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 34508 42 0 0 25 0 10 0 779960820 854609920 23262 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23262 13086 16 0 208629 0
vsize: 834580
[startup+380.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 35440 42 0 0 25 0 10 0 779960820 854609920 23301 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23301 13086 16 0 208629 0
vsize: 834580
[startup+390.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 36376 42 0 0 25 0 10 0 779960820 854609920 23337 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23337 13086 16 0 208629 0
vsize: 834580
[startup+400.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 37311 42 0 0 25 0 10 0 779960820 854609920 23373 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23373 13086 16 0 208629 0
vsize: 834580
[startup+410.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 38241 42 0 0 25 0 10 0 779960820 854609920 23410 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23410 13086 16 0 208629 0
vsize: 834580
[startup+420.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 39174 42 0 0 25 0 10 0 779960820 854609920 23445 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23445 13086 16 0 208629 0
vsize: 834580
[startup+430.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 40108 43 0 0 25 0 10 0 779960820 854609920 23479 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23479 13086 16 0 208629 0
vsize: 834580
[startup+440.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 41038 43 0 0 24 0 10 0 779960820 854609920 23515 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23515 13086 16 0 208629 0
vsize: 834580
[startup+450.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 41971 43 0 0 25 0 10 0 779960820 854609920 23549 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23549 13086 16 0 208629 0
vsize: 834580
[startup+460.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 42904 43 0 0 25 0 10 0 779960820 854609920 23582 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23582 13086 16 0 208629 0
vsize: 834580
[startup+470.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 43836 43 0 0 25 0 10 0 779960820 854609920 23615 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23615 13086 16 0 208629 0
vsize: 834580
[startup+480.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 44763 43 0 0 24 0 10 0 779960820 854609920 23649 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23649 13086 16 0 208629 0
vsize: 834580
[startup+490.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 45695 43 0 0 25 0 10 0 779960820 854609920 23681 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23681 13086 16 0 208629 0
vsize: 834580
[startup+500.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 46626 43 0 0 25 0 10 0 779960820 854609920 23713 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23713 13086 16 0 208629 0
vsize: 834580
[startup+510.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 47556 43 0 0 25 0 10 0 779960820 854609920 23744 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 23744 13086 16 0 208629 0
vsize: 834580
[startup+520.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 48481 44 0 0 25 0 10 0 779960820 854609920 23777 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 23777 13086 16 0 208629 0
vsize: 834580
[startup+530.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 49408 45 0 0 25 0 10 0 779960820 854609920 23809 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 23809 13086 16 0 208629 0
vsize: 834580
[startup+540.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 50337 45 0 0 25 0 10 0 779960820 854609920 23840 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 23840 13086 16 0 208629 0
vsize: 834580
[startup+550.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 51265 45 0 0 25 0 10 0 779960820 854609920 23870 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 23870 13086 16 0 208629 0
vsize: 834580
[startup+560.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 52192 46 0 0 25 0 10 0 779960820 854609920 23900 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 23900 13086 16 0 208629 0
vsize: 834580
[startup+570.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 53115 46 0 0 24 0 10 0 779960820 854609920 23931 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 23931 13086 16 0 208629 0
vsize: 834580
[startup+580.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 54042 46 0 0 25 0 10 0 779960820 854609920 23960 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 23960 13086 16 0 208629 0
vsize: 834580
[startup+590.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 54968 47 0 0 25 0 10 0 779960820 854609920 23990 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 23990 13086 16 0 208629 0
vsize: 834580
[startup+600.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 55893 47 0 0 25 0 10 0 779960820 854609920 24018 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 24018 13086 16 0 208629 0
vsize: 834580
[startup+610.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 56819 47 0 0 25 0 10 0 779960820 854609920 24047 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 24047 13086 16 0 208629 0
vsize: 834580
[startup+620.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 57739 48 0 0 24 0 10 0 779960820 854609920 24077 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 24077 13086 16 0 208629 0
vsize: 834580
[startup+630.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 58664 48 0 0 25 0 10 0 779960820 854609920 24105 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 24105 13086 16 0 208629 0
vsize: 834580
[startup+640.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 59589 48 0 0 25 0 10 0 779960820 854609920 24133 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 24133 13086 16 0 208629 0
vsize: 834580
[startup+650.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 60513 49 0 0 25 0 10 0 779960820 854609920 24161 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 24161 13086 16 0 208629 0
vsize: 834580
[startup+660.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 61436 50 0 0 25 0 10 0 779960820 854609920 24188 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 24188 13086 16 0 208629 0
vsize: 834580
[startup+670.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 62355 50 0 0 25 0 10 0 779960820 854609920 25123 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25123 13086 16 0 208629 0
vsize: 834580
[startup+680.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 63280 50 0 0 25 0 10 0 779960820 854609920 25123 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25123 13086 16 0 208629 0
vsize: 834580
[startup+690.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 64196 50 0 0 25 0 10 0 779960820 854609920 25138 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25138 13086 16 0 208629 0
vsize: 834580
[startup+700.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 65111 50 0 0 25 0 10 0 779960820 854609920 25166 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25166 13086 16 0 208629 0
vsize: 834580
[startup+710.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 66026 50 0 0 25 0 10 0 779960820 854609920 25192 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25192 13086 16 0 208629 0
vsize: 834580
[startup+720.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 66938 50 0 0 25 0 10 0 779960820 854609920 25218 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25218 13086 16 0 208629 0
vsize: 834580
[startup+730.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 67851 50 0 0 25 0 10 0 779960820 854609920 25244 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25244 13086 16 0 208629 0
vsize: 834580
[startup+740.084 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 68765 50 0 0 24 0 10 0 779960820 854609920 25270 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25270 13086 16 0 208629 0
vsize: 834580
[startup+750.085 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 69678 50 0 0 24 0 10 0 779960820 854609920 25296 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25296 13086 16 0 208629 0
vsize: 834580
[startup+760.087 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 70595 50 0 0 25 0 10 0 779960820 854609920 25320 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25320 13086 16 0 208629 0
vsize: 834580
[startup+770.088 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 71509 50 0 0 25 0 10 0 779960820 854609920 25345 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25345 13086 16 0 208629 0
vsize: 834580
[startup+780.089 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 72421 51 0 0 25 0 10 0 779960820 854609920 25371 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25371 13086 16 0 208629 0
vsize: 834580
[startup+790.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 73333 51 0 0 25 0 10 0 779960820 854609920 25396 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25396 13086 16 0 208629 0
vsize: 834580
[startup+800.091 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 74245 51 0 0 25 0 10 0 779960820 854609920 25420 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25420 13086 16 0 208629 0
vsize: 834580
[startup+810.092 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 75157 51 0 0 24 0 10 0 779960820 854609920 25445 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25445 13086 16 0 208629 0
vsize: 834580
[startup+820.093 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 76074 51 0 0 25 0 10 0 779960820 854609920 25468 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25468 13086 16 0 208629 0
vsize: 834580
[startup+830.094 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 76985 51 0 0 25 0 10 0 779960820 854609920 25493 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25493 13086 16 0 208629 0
vsize: 834580
[startup+840.095 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 77894 51 0 0 25 0 10 0 779960820 854609920 25517 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25517 13086 16 0 208629 0
vsize: 834580
[startup+850.095 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 78804 52 0 0 25 0 10 0 779960820 854609920 25541 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25541 13086 16 0 208629 0
vsize: 834580
[startup+860.097 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 79714 52 0 0 24 0 10 0 779960820 854609920 25565 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25565 13086 16 0 208629 0
vsize: 834580
[startup+870.097 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 80629 52 0 0 25 0 10 0 779960820 854609920 25587 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25587 13086 16 0 208629 0
vsize: 834580
[startup+880.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 81538 52 0 0 25 0 10 0 779960820 854609920 25611 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25611 13086 16 0 208629 0
vsize: 834580
[startup+890.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 82446 52 0 0 25 0 10 0 779960820 854609920 25635 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25635 13086 16 0 208629 0
vsize: 834580
[startup+900.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 83354 52 0 0 24 0 10 0 779960820 854609920 25658 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25658 13086 16 0 208629 0
vsize: 834580
[startup+910.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 84268 52 0 0 25 0 10 0 779960820 854609920 25682 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25682 13086 16 0 208629 0
vsize: 834580
[startup+920.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 85177 52 0 0 25 0 10 0 779960820 854609920 25707 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25707 13086 16 0 208629 0
vsize: 834580
[startup+930.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 86084 52 0 0 25 0 10 0 779960820 854609920 25735 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25735 13086 16 0 208629 0
vsize: 834580
[startup+940.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 86991 52 0 0 25 0 10 0 779960820 854609920 25758 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25758 13086 16 0 208629 0
vsize: 834580
[startup+950.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 87904 52 0 0 24 0 10 0 779960820 854609920 25779 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25779 13086 16 0 208629 0
vsize: 834580
[startup+960.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 88810 52 0 0 22 0 10 0 779960820 854609920 25813 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25813 13086 16 0 208629 0
vsize: 834580
[startup+970.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 89715 52 0 0 20 0 10 0 779960820 854609920 25840 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25840 13086 16 0 208629 0
vsize: 834580
[startup+980.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 90621 52 0 0 19 0 10 0 779960820 854609920 25866 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25866 13086 16 0 208629 0
vsize: 834580
[startup+990.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 91534 52 0 0 23 0 10 0 779960820 854609920 25888 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25888 13086 16 0 208629 0
vsize: 834580
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 92439 52 0 0 22 0 10 0 779960820 854609920 25916 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25916 13086 16 0 208629 0
vsize: 834580
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 93344 53 0 0 20 0 10 0 779960820 854609920 25940 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25940 13086 16 0 208629 0
vsize: 834580
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 94249 53 0 0 19 0 10 0 779960820 854609920 25962 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25962 13086 16 0 208629 0
vsize: 834580
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 95160 53 0 0 23 0 10 0 779960820 854609920 25992 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 25992 13086 16 0 208629 0
vsize: 834580
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 96064 53 0 0 21 0 10 0 779960820 854609920 26016 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26016 13086 16 0 208629 0
vsize: 834580
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 96970 53 0 0 19 0 10 0 779960820 854609920 26037 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26037 13086 16 0 208629 0
vsize: 834580
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 97880 53 0 0 24 0 10 0 779960820 854609920 26067 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26067 13086 16 0 208629 0
vsize: 834580
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 98781 53 0 0 21 0 10 0 779960820 854609920 26092 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26092 13086 16 0 208629 0
vsize: 834580
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 99682 53 0 0 19 0 10 0 779960820 854609920 26117 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26117 13086 16 0 208629 0
vsize: 834580
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 100590 53 0 0 23 0 10 0 779960820 854609920 26137 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26137 13086 16 0 208629 0
vsize: 834580
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 101492 53 0 0 21 0 10 0 779960820 854609920 26164 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26164 13086 16 0 208629 0
vsize: 834580
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 102395 53 0 0 19 0 10 0 779960820 854609920 26189 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26189 13086 16 0 208629 0
vsize: 834580
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 103303 53 0 0 22 0 10 0 779960820 854609920 26212 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26212 13086 16 0 208629 0
vsize: 834580
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 104205 53 0 0 21 0 10 0 779960820 854609920 26235 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26235 13086 16 0 208629 0
vsize: 834580
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 105106 54 0 0 18 0 10 0 779960820 854609920 26262 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26262 13086 16 0 208629 0
vsize: 834580
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 106013 54 0 0 22 0 10 0 779960820 854609920 26282 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26282 13086 16 0 208629 0
vsize: 834580
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 106914 54 0 0 19 0 10 0 779960820 854609920 26308 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26308 13086 16 0 208629 0
vsize: 834580
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) S 7387 23514 23513 0 -1 0 18006 0 1 0 107818 54 0 0 24 0 10 0 779960820 854609920 26330 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26330 13086 16 0 208629 0
vsize: 834580
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 108722 54 0 0 22 0 10 0 779960820 854609920 26353 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26353 13086 16 0 208629 0
vsize: 834580
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 109622 54 0 0 19 0 10 0 779960820 854609920 26379 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26379 13086 16 0 208629 0
vsize: 834580
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 110527 54 0 0 23 0 10 0 779960820 854609920 26401 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26401 13086 16 0 208629 0
vsize: 834580
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 111425 54 0 0 20 0 10 0 779960820 854609920 26425 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26425 13086 16 0 208629 0
vsize: 834580
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 112322 54 0 0 19 0 10 0 779960820 854609920 26448 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26448 13086 16 0 208629 0
vsize: 834580
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 113227 54 0 0 22 0 10 0 779960820 854609920 26468 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26468 13086 16 0 208629 0
vsize: 834580
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 114126 55 0 0 18 0 10 0 779960820 854609920 26488 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26488 13086 16 0 208629 0
vsize: 834580
[startup+1250.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 115031 55 0 0 21 0 10 0 779960820 854609920 26507 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26507 13086 16 0 208629 0
vsize: 834580
[startup+1260.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 115929 55 0 0 20 0 10 0 779960820 854609920 26541 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26541 13086 16 0 208629 0
vsize: 834580
[startup+1270.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 116834 55 0 0 22 0 10 0 779960820 854609920 26557 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26557 13086 16 0 208629 0
vsize: 834580
[startup+1280.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 117733 55 0 0 20 0 10 0 779960820 854609920 26589 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26589 13086 16 0 208629 0
vsize: 834580
[startup+1290.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 118633 55 0 0 19 0 10 0 779960820 854609920 26610 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26610 13086 16 0 208629 0
vsize: 834580
[startup+1300.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 119540 55 0 0 22 0 10 0 779960820 854609920 26640 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26640 13086 16 0 208629 0
vsize: 834580
[startup+1310.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7397
Raw data (stat): 7388 (java) R 7387 23514 23513 0 -1 0 18006 0 1 0 120443 55 0 0 20 0 10 0 779960820 854609920 26659 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 26659 13086 16 0 208629 0
vsize: 834580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7399
Raw data (stat): 7388 (java) Z 7387 23514 23513 0 -1 1036 18006 9499 1 0 120445 60 10725 46 19 0 1 0 779960820 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): 1310.28
CPU time (s): 1312.79
CPU user time (s): 1311.71
CPU system time (s): 1.07584
CPU usage (%): 100.191
Max. virtual memory (Kb): 835104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####