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/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
MD5SUM	e4be8a88d340bbbbfb27e034f74a6524
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	65
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	254
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	56.8973
Number of variables	40605
Total number of constraints	118930
Number of constraints which are clauses	117190
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1740
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 29320

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        681380 kB
Buffers:         19288 kB
Cached:         311416 kB
SwapCached:        524 kB
Active:         139424 kB
Inactive:       193612 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        681128 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14492 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:50:41 (client local time) WITH STATUS 143 IN 1368.96 SECONDS
stats: 20722 7 1368.96 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.tag14.ucl.opb
c reading problem ... done. Time 523.545 ms.
c #vars     40605
c #constraints  118930
c starts	: 6
c conflicts	: 1473
c decisions	: 7741
c propagations	: 6848257
c inspects	: 20246258
c learned literals	: 0
c learned binary clauses	: 103
c learned ternary clauses	: 139
c learned clauses	: 1472
c root simplifications	: 6
s UNKNOWN
c Total CPU time (ms) : 1369.16
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 1.00 0.99 2/54 19212
Raw data (stat): 19212 (runsolver) R 19211 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836714134 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+9.99982 s]
Raw data (loadavg): 0.99 1.00 0.99 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 778 40 0 0 25 0 10 0 836714134 854495232 20949 4294967295 134512640 134569956 3221224384 3221214452 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 20949 13086 16 0 208601 0
vsize: 834468
[startup+20.0009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 1624 40 0 0 19 0 10 0 836714134 854495232 22054 4294967295 134512640 134569956 3221224384 3221214500 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 22054 13086 16 0 208601 0
vsize: 834468
[startup+30.0012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 2476 41 0 0 19 0 10 0 836714134 854495232 22828 4294967295 134512640 134569956 3221224384 3221214500 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 22828 13086 16 0 208601 0
vsize: 834468
[startup+40.0008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 3329 41 0 0 19 0 10 0 836714134 854495232 23493 4294967295 134512640 134569956 3221224384 3221214776 1131309761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 23493 13086 16 0 208601 0
vsize: 834468
[startup+50.0029 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 4175 42 0 0 17 0 10 0 836714134 854495232 24036 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 24036 13086 16 0 208601 0
vsize: 834468
[startup+60.0052 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 5025 42 0 0 20 0 10 0 836714134 854495232 24493 4294967295 134512640 134569956 3221224384 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208617 24493 13086 16 0 208601 0
vsize: 834468
[startup+70.0069 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 5867 43 0 0 16 0 10 0 836714134 854495232 25018 4294967295 134512640 134569956 3221224384 3221214492 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208617 25018 13086 16 0 208601 0
vsize: 834468
[startup+80.0081 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 6721 43 0 0 17 0 10 0 836714134 854495232 25446 4294967295 134512640 134569956 3221224384 3221214448 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208617 25446 13086 16 0 208601 0
vsize: 834468
[startup+90.0074 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 7571 43 0 0 18 0 10 0 836714134 854495232 25823 4294967295 134512640 134569956 3221224384 3221214448 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208617 25823 13086 16 0 208601 0
vsize: 834468
[startup+100.012 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 8422 44 0 0 16 0 10 0 836714134 854495232 26162 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 26162 13086 16 0 208601 0
vsize: 834468
[startup+110.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 9262 44 0 0 16 0 10 0 836714134 854495232 26536 4294967295 134512640 134569956 3221224384 3221214496 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 26536 13086 16 0 208601 0
vsize: 834468
[startup+120.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 10108 44 0 0 16 0 10 0 836714134 854495232 26971 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 26971 13086 16 0 208601 0
vsize: 834468
[startup+130.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 10958 45 0 0 16 0 10 0 836714134 854495232 27347 4294967295 134512640 134569956 3221224384 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 27347 13086 16 0 208601 0
vsize: 834468
[startup+140.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 11800 46 0 0 16 0 10 0 836714134 854495232 27617 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 27617 13086 16 0 208601 0
vsize: 834468
[startup+150.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 12640 47 0 0 15 0 10 0 836714134 854495232 27951 4294967295 134512640 134569956 3221224384 3221214496 1077558241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 27951 13086 16 0 208601 0
vsize: 834468
[startup+160.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 13491 48 0 0 16 0 10 0 836714134 854495232 28248 4294967295 134512640 134569956 3221224384 3221214496 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 28248 13086 16 0 208601 0
vsize: 834468
[startup+170.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 14344 48 0 0 16 0 10 0 836714134 854495232 28549 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 28549 13086 16 0 208601 0
vsize: 834468
[startup+180.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 15199 49 0 0 16 0 10 0 836714134 854495232 28837 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 28837 13086 16 0 208601 0
vsize: 834468
[startup+190.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 16048 50 0 0 16 0 10 0 836714134 854495232 29140 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208617 29140 13086 16 0 208601 0
vsize: 834468
[startup+200.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 16911 50 0 0 16 0 10 0 836714134 854495232 29408 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208617 29408 13086 16 0 208601 0
vsize: 834468
[startup+210.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 17762 50 0 0 15 0 10 0 836714134 854495232 29753 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208617 29753 13086 16 0 208601 0
vsize: 834468
[startup+220.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 18627 51 0 0 16 0 10 0 836714134 854495232 29988 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 29988 13086 16 0 208601 0
vsize: 834468
[startup+230.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 19488 51 0 0 16 0 10 0 836714134 854495232 30340 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 30340 13086 16 0 208601 0
vsize: 834468
[startup+240.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 20354 52 0 0 16 0 10 0 836714134 854495232 30580 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 30580 13086 16 0 208601 0
vsize: 834468
[startup+250.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 21215 52 0 0 16 0 10 0 836714134 854495232 30828 4294967295 134512640 134569956 3221224384 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 30828 13086 16 0 208601 0
vsize: 834468
[startup+260.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 22089 53 0 0 16 0 10 0 836714134 854495232 31055 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 31055 13086 16 0 208601 0
vsize: 834468
[startup+270.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 22955 53 0 0 16 0 10 0 836714134 854495232 31280 4294967295 134512640 134569956 3221224384 3221214496 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 31280 13086 16 0 208601 0
vsize: 834468
[startup+280.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 23821 54 0 0 16 0 10 0 836714134 854495232 31500 4294967295 134512640 134569956 3221224384 3221214496 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 31500 13086 16 0 208601 0
vsize: 834468
[startup+290.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 24696 54 0 0 16 0 10 0 836714134 854495232 31714 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 31714 13086 16 0 208601 0
vsize: 834468
[startup+300.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 25563 54 0 0 16 0 10 0 836714134 854495232 31940 4294967295 134512640 134569956 3221224384 3221214448 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 31940 13086 16 0 208601 0
vsize: 834468
[startup+310.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 26430 54 0 0 16 0 10 0 836714134 854495232 32161 4294967295 134512640 134569956 3221224384 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 32161 13086 16 0 208601 0
vsize: 834468
[startup+320.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 27300 55 0 0 16 0 10 0 836714134 854495232 32365 4294967295 134512640 134569956 3221224384 3221213736 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 32365 13086 16 0 208601 0
vsize: 834468
[startup+330.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 28175 55 0 0 16 0 10 0 836714134 854495232 32578 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 32578 13086 16 0 208601 0
vsize: 834468
[startup+340.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 29044 55 0 0 16 0 10 0 836714134 854495232 32786 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 32786 13086 16 0 208601 0
vsize: 834468
[startup+350.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 29914 56 0 0 16 0 10 0 836714134 854495232 32991 4294967295 134512640 134569956 3221224384 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 32991 13086 16 0 208601 0
vsize: 834468
[startup+360.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18027 0 1 0 30792 56 0 0 16 0 10 0 836714134 854495232 33179 4294967295 134512640 134569956 3221224384 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 33179 13086 16 0 208601 0
vsize: 834468
[startup+370.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 31667 56 0 0 16 0 10 0 836714134 854495232 33373 4294967295 134512640 134569956 3221224384 3221214496 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 33373 13086 16 0 208601 0
vsize: 834468
[startup+380.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 32531 57 0 0 16 0 10 0 836714134 854495232 33624 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 33624 13086 16 0 208601 0
vsize: 834468
[startup+390.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 33394 57 0 0 15 0 10 0 836714134 854495232 33813 4294967295 134512640 134569956 3221224384 3221214740 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 33813 13086 16 0 208601 0
vsize: 834468
[startup+400.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 34279 58 0 0 16 0 10 0 836714134 854495232 34107 4294967295 134512640 134569956 3221224384 3221214740 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 34107 13086 16 0 208601 0
vsize: 834468
[startup+410.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 35153 59 0 0 16 0 10 0 836714134 854495232 34293 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 34293 13086 16 0 208601 0
vsize: 834468
[startup+420.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 36027 59 0 0 16 0 10 0 836714134 854495232 34477 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 34477 13086 16 0 208601 0
vsize: 834468
[startup+430.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 36901 60 0 0 16 0 10 0 836714134 854495232 34659 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 34659 13086 16 0 208601 0
vsize: 834468
[startup+440.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 37776 60 0 0 15 0 10 0 836714134 854495232 34839 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 34839 13086 16 0 208601 0
vsize: 834468
[startup+450.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 38660 60 0 0 16 0 10 0 836714134 854495232 35002 4294967295 134512640 134569956 3221224384 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 35002 13086 16 0 208601 0
vsize: 834468
[startup+460.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 39537 61 0 0 16 0 10 0 836714134 854495232 35176 4294967295 134512640 134569956 3221224384 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 35176 13086 16 0 208601 0
vsize: 834468
[startup+470.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 40415 61 0 0 16 0 10 0 836714134 854495232 35344 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 35344 13086 16 0 208601 0
vsize: 834468
[startup+480.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 41294 61 0 0 16 0 10 0 836714134 854495232 35510 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 35510 13086 16 0 208601 0
vsize: 834468
[startup+490.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 42171 62 0 0 16 0 10 0 836714134 854495232 35671 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 35671 13086 16 0 208601 0
vsize: 834468
[startup+500.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 43048 62 0 0 16 0 10 0 836714134 854495232 35837 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 35837 13086 16 0 208601 0
vsize: 834468
[startup+510.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 43932 63 0 0 16 0 10 0 836714134 854495232 35992 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 35992 13086 16 0 208601 0
vsize: 834468
[startup+520.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19221
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18027 0 1 0 44809 63 0 0 16 0 10 0 836714134 854495232 36147 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 36147 13086 16 0 208601 0
vsize: 834468
[startup+530.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18082 0 1 0 45655 64 0 0 16 0 11 0 836714134 856985600 38895 4294967295 134512640 134569956 3221224384 3221214720 1131421026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209225 38895 13086 16 0 209209 0
vsize: 836900
[startup+540.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18083 0 1 0 46538 64 0 0 16 0 11 0 836714134 858624000 40151 4294967295 134512640 134569956 3221224384 3221214752 1131414176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209625 40151 13086 16 0 209609 0
vsize: 838500
[startup+550.073 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18084 0 1 0 47468 65 0 0 16 0 11 0 836714134 859824128 40466 4294967295 134512640 134569956 3221224384 3221214760 1131202738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209918 40466 13086 16 0 209902 0
vsize: 839672
[startup+560.078 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18084 0 1 0 48416 65 0 0 18 0 11 0 836714134 859672576 40401 4294967295 134512640 134569956 3221224384 3221214648 1131241129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209881 40401 13086 16 0 209865 0
vsize: 839524
[startup+570.079 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 49341 65 0 0 18 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214680 1131376674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 40405 13086 16 0 209865 0
vsize: 839524
[startup+580.08 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 50271 65 0 0 17 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214680 1131376659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 40405 13086 16 0 209865 0
vsize: 839524
[startup+590.079 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 51201 65 0 0 17 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214576 1131283574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 40405 13086 16 0 209865 0
vsize: 839524
[startup+600.08 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 52129 65 0 0 17 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214680 1131376745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 40405 13086 16 0 209865 0
vsize: 839524
[startup+610.08 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 53035 65 0 0 17 0 11 0 836714134 859672576 40405 4294967295 134512640 134569956 3221224384 3221214576 1131283622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 40405 13086 16 0 209865 0
vsize: 839524
[startup+620.081 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 53895 65 0 0 17 0 11 0 836714134 859672576 40980 4294967295 134512640 134569956 3221224384 3221214712 1131241301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 40980 13086 16 0 209865 0
vsize: 839524
[startup+630.082 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 54789 65 0 0 16 0 11 0 836714134 859672576 42196 4294967295 134512640 134569956 3221224384 3221214752 1131413817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 42196 13086 16 0 209865 0
vsize: 839524
[startup+640.082 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 55682 65 0 0 16 0 11 0 836714134 859672576 42200 4294967295 134512640 134569956 3221224384 3221214712 1131241301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 42200 13086 16 0 209865 0
vsize: 839524
[startup+650.082 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 56559 65 0 0 17 0 11 0 836714134 859672576 42927 4294967295 134512640 134569956 3221224384 3221214576 1131283697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 42927 13086 16 0 209865 0
vsize: 839524
[startup+660.082 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 57432 65 0 0 17 0 11 0 836714134 859672576 43296 4294967295 134512640 134569956 3221224384 3221214704 1131283643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 43296 13086 16 0 209865 0
vsize: 839524
[startup+670.083 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 58310 65 0 0 17 0 11 0 836714134 859672576 44093 4294967295 134512640 134569956 3221224384 3221214576 1131284505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 44093 13086 16 0 209865 0
vsize: 839524
[startup+680.082 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 59176 65 0 0 16 0 11 0 836714134 859672576 44195 4294967295 134512640 134569956 3221224384 3221214576 1131284505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 44195 13086 16 0 209865 0
vsize: 839524
[startup+690.082 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 60038 65 0 0 16 0 11 0 836714134 859672576 44438 4294967295 134512640 134569956 3221224384 3221214804 1131417568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 44438 13086 16 0 209865 0
vsize: 839524
[startup+700.083 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 60936 65 0 0 17 0 11 0 836714134 859672576 45239 4294967295 134512640 134569956 3221224384 3221214808 1131398947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 45239 13086 16 0 209865 0
vsize: 839524
[startup+710.082 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 61791 66 0 0 16 0 11 0 836714134 859672576 46088 4294967295 134512640 134569956 3221224384 3221214576 1131284452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 46088 13086 16 0 209865 0
vsize: 839524
[startup+720.088 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18085 0 1 0 62666 66 0 0 17 0 11 0 836714134 859672576 46963 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 46963 13086 16 0 209865 0
vsize: 839524
[startup+730.088 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 63521 66 0 0 17 0 11 0 836714134 859672576 47806 4294967295 134512640 134569956 3221224384 3221214808 1131403102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 47806 13086 16 0 209865 0
vsize: 839524
[startup+740.088 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 64388 66 0 0 16 0 11 0 836714134 859672576 48775 4294967295 134512640 134569956 3221224384 3221214712 1131241849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 48775 13086 16 0 209865 0
vsize: 839524
[startup+750.088 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 65248 66 0 0 16 0 11 0 836714134 859672576 49816 4294967295 134512640 134569956 3221224384 3221214704 1131283999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 49816 13086 16 0 209865 0
vsize: 839524
[startup+760.088 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 66147 66 0 0 17 0 11 0 836714134 859672576 50070 4294967295 134512640 134569956 3221224384 3221214576 1131283761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 50070 13086 16 0 209865 0
vsize: 839524
[startup+770.089 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 66981 66 0 0 16 0 11 0 836714134 859672576 51411 4294967295 134512640 134569956 3221224384 3221214744 1131394718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 51411 13086 16 0 209865 0
vsize: 839524
[startup+780.093 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18085 0 1 0 67865 66 0 0 18 0 11 0 836714134 859672576 51639 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 51639 13086 16 0 209865 0
vsize: 839524
[startup+790.092 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18085 0 1 0 68725 66 0 0 17 0 11 0 836714134 859672576 51948 4294967295 134512640 134569956 3221224384 3221214700 1131213856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 51948 13086 16 0 209865 0
vsize: 839524
[startup+800.093 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 69622 66 0 0 18 0 11 0 836714134 859672576 53361 4294967295 134512640 134569956 3221224384 3221214752 1131394599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 53361 13086 16 0 209865 0
vsize: 839524
[startup+810.094 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 70465 66 0 0 17 0 11 0 836714134 859672576 54035 4294967295 134512640 134569956 3221224384 3221214712 1131240997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 54035 13086 16 0 209865 0
vsize: 839524
[startup+820.097 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 71318 66 0 0 18 0 11 0 836714134 859672576 54719 4294967295 134512640 134569956 3221224384 3221213216 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 54719 13086 16 0 209865 0
vsize: 839524
[startup+830.098 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 72170 66 0 0 16 0 11 0 836714134 859672576 55598 4294967295 134512640 134569956 3221224384 3221214776 1131361264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 55598 13086 16 0 209865 0
vsize: 839524
[startup+840.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 73054 66 0 0 17 0 11 0 836714134 859672576 56034 4294967295 134512640 134569956 3221224384 3221214808 1131399384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 56034 13086 16 0 209865 0
vsize: 839524
[startup+850.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 73917 66 0 0 16 0 11 0 836714134 859672576 56674 4294967295 134512640 134569956 3221224384 3221214712 1131241960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 56674 13086 16 0 209865 0
vsize: 839524
[startup+860.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 74803 66 0 0 16 0 11 0 836714134 859672576 56674 4294967295 134512640 134569956 3221224384 3221214712 1131241118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 56674 13086 16 0 209865 0
vsize: 839524
[startup+870.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 75674 66 0 0 17 0 11 0 836714134 859672576 56892 4294967295 134512640 134569956 3221224384 3221214576 1131284505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 56892 13086 16 0 209865 0
vsize: 839524
[startup+880.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 76557 66 0 0 16 0 11 0 836714134 859672576 57875 4294967295 134512640 134569956 3221224384 3221214704 1131284248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 57875 13086 16 0 209865 0
vsize: 839524
[startup+890.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 77432 66 0 0 16 0 11 0 836714134 859672576 58063 4294967295 134512640 134569956 3221224384 3221214576 1131283999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 58063 13086 16 0 209865 0
vsize: 839524
[startup+900.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 78322 66 0 0 17 0 11 0 836714134 859672576 58911 4294967295 134512640 134569956 3221224384 3221214752 1131413718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 58911 13086 16 0 209865 0
vsize: 839524
[startup+910.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 79186 66 0 0 16 0 11 0 836714134 859672576 59312 4294967295 134512640 134569956 3221224384 3221214680 1131372887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 59312 13086 16 0 209865 0
vsize: 839524
[startup+920.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 80049 66 0 0 16 0 11 0 836714134 859672576 59498 4294967295 134512640 134569956 3221224384 3221214808 1131402923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 59498 13086 16 0 209865 0
vsize: 839524
[startup+930.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 80909 66 0 0 16 0 11 0 836714134 859672576 59757 4294967295 134512640 134569956 3221224384 3221214792 1131427145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 59757 13086 16 0 209865 0
vsize: 839524
[startup+940.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 81797 66 0 0 16 0 11 0 836714134 859672576 60256 4294967295 134512640 134569956 3221224384 3221214576 1131284248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 60256 13086 16 0 209865 0
vsize: 839524
[startup+950.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 82684 66 0 0 17 0 11 0 836714134 859672576 60755 4294967295 134512640 134569956 3221224384 3221214776 1131361258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 60755 13086 16 0 209865 0
vsize: 839524
[startup+960.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 83569 66 0 0 18 0 11 0 836714134 859672576 61382 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 61382 13086 16 0 209865 0
vsize: 839524
[startup+970.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 84438 66 0 0 16 0 11 0 836714134 859672576 62151 4294967295 134512640 134569956 3221224384 3221214808 1131399316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 62151 13086 16 0 209865 0
vsize: 839524
[startup+980.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 85345 66 0 0 16 0 11 0 836714134 859672576 62522 4294967295 134512640 134569956 3221224384 3221214680 1131372887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 62522 13086 16 0 209865 0
vsize: 839524
[startup+990.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 86224 66 0 0 16 0 11 0 836714134 859672576 63679 4294967295 134512640 134569956 3221224384 3221214808 1131398947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 63679 13086 16 0 209865 0
vsize: 839524
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 87125 66 0 0 16 0 11 0 836714134 859672576 63679 4294967295 134512640 134569956 3221224384 3221214784 1131279623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 63679 13086 16 0 209865 0
vsize: 839524
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 88008 66 0 0 17 0 11 0 836714134 859672576 63917 4294967295 134512640 134569956 3221224384 3221214728 1131188633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 63917 13086 16 0 209865 0
vsize: 839524
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 88869 66 0 0 16 0 11 0 836714134 859672576 64162 4294967295 134512640 134569956 3221224384 3221214648 1131241301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 64162 13086 16 0 209865 0
vsize: 839524
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 89766 66 0 0 17 0 11 0 836714134 859672576 65098 4294967295 134512640 134569956 3221224384 3221214752 1131414176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 65098 13086 16 0 209865 0
vsize: 839524
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 90642 66 0 0 16 0 11 0 836714134 859672576 65987 4294967295 134512640 134569956 3221224384 3221214808 1131399360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 65987 13086 16 0 209865 0
vsize: 839524
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 91551 66 0 0 17 0 11 0 836714134 859672576 65987 4294967295 134512640 134569956 3221224384 3221214616 1131213925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 65987 13086 16 0 209865 0
vsize: 839524
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 92436 66 0 0 17 0 11 0 836714134 859672576 66441 4294967295 134512640 134569956 3221224384 3221214804 1131361203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 66441 13086 16 0 209865 0
vsize: 839524
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 93300 67 0 0 17 0 11 0 836714134 859672576 66708 4294967295 134512640 134569956 3221224384 3221214840 1131461740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 66708 13086 16 0 209865 0
vsize: 839524
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 94195 67 0 0 19 0 11 0 836714134 859672576 66865 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 66865 13086 16 0 209865 0
vsize: 839524
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 95092 67 0 0 17 0 11 0 836714134 859672576 66942 4294967295 134512640 134569956 3221224384 3221214804 1131357220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 66942 13086 16 0 209865 0
vsize: 839524
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 95958 67 0 0 17 0 11 0 836714134 859672576 67277 4294967295 134512640 134569956 3221224384 3221214640 1131434258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 67277 13086 16 0 209865 0
vsize: 839524
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 96857 67 0 0 17 0 11 0 836714134 859672576 67547 4294967295 134512640 134569956 3221224384 3221214728 1131188633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 67547 13086 16 0 209865 0
vsize: 839524
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 97759 67 0 0 17 0 11 0 836714134 859672576 67619 4294967295 134512640 134569956 3221224384 3221214776 1131361304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 67619 13086 16 0 209865 0
vsize: 839524
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 98649 67 0 0 17 0 11 0 836714134 859672576 68220 4294967295 134512640 134569956 3221224384 3221214704 1131283643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68220 13086 16 0 209865 0
vsize: 839524
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 99570 67 0 0 17 0 11 0 836714134 859672576 68258 4294967295 134512640 134569956 3221224384 3221214776 1131361258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68258 13086 16 0 209865 0
vsize: 839524
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 100496 67 0 0 16 0 11 0 836714134 859672576 68388 4294967295 134512640 134569956 3221224384 3221214776 1131361255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68388 13086 16 0 209865 0
vsize: 839524
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 101448 67 0 0 19 0 11 0 836714134 859672576 68388 4294967295 134512640 134569956 3221224384 3221214576 1131284480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68388 13086 16 0 209865 0
vsize: 839524
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 102372 67 0 0 20 0 11 0 836714134 859672576 68388 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68388 13086 16 0 209865 0
vsize: 839524
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 103274 67 0 0 16 0 11 0 836714134 859672576 68513 4294967295 134512640 134569956 3221224384 3221214804 1131357196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68513 13086 16 0 209865 0
vsize: 839524
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 104218 67 0 0 17 0 11 0 836714134 859672576 68743 4294967295 134512640 134569956 3221224384 3221214576 1131283999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68743 13086 16 0 209865 0
vsize: 839524
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 105169 67 0 0 19 0 11 0 836714134 859672576 68743 4294967295 134512640 134569956 3221224384 3221214776 1131361258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68743 13086 16 0 209865 0
vsize: 839524
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 106097 67 0 0 16 0 11 0 836714134 859672576 68743 4294967295 134512640 134569956 3221224384 3221214724 1130885240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68743 13086 16 0 209865 0
vsize: 839524
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 107046 67 0 0 17 0 11 0 836714134 859672576 68743 4294967295 134512640 134569956 3221224384 3221214752 1131413760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68743 13086 16 0 209865 0
vsize: 839524
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 107971 67 0 0 18 0 11 0 836714134 859672576 68830 4294967295 134512640 134569956 3221224384 3221214704 1131284505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68830 13086 16 0 209865 0
vsize: 839524
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 108874 67 0 0 16 0 11 0 836714134 859672576 68830 4294967295 134512640 134569956 3221224384 3221214776 1131361340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 68830 13086 16 0 209865 0
vsize: 839524
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 109765 67 0 0 17 0 11 0 836714134 859672576 69848 4294967295 134512640 134569956 3221224384 3221214712 1131241301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 69848 13086 16 0 209865 0
vsize: 839524
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 110624 67 0 0 16 0 11 0 836714134 859672576 70480 4294967295 134512640 134569956 3221224384 3221214808 1131398989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 70480 13086 16 0 209865 0
vsize: 839524
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 111496 67 0 0 16 0 11 0 836714134 859672576 70766 4294967295 134512640 134569956 3221224384 3221214704 1131283971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 70766 13086 16 0 209865 0
vsize: 839524
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 112353 67 0 0 16 0 11 0 836714134 859672576 72504 4294967295 134512640 134569956 3221224384 3221214724 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 72504 13086 16 0 209865 0
vsize: 839524
[startup+1290.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 113290 67 0 0 16 0 11 0 836714134 859672576 72504 4294967295 134512640 134569956 3221224384 3221214748 1131188582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 72504 13086 16 0 209865 0
vsize: 839524
[startup+1300.13 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 114202 67 0 0 17 0 11 0 836714134 859672576 72504 4294967295 134512640 134569956 3221224384 3221214752 1131413817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 72504 13086 16 0 209865 0
vsize: 839524
[startup+1310.13 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 115069 67 0 0 16 0 11 0 836714134 859672576 72504 4294967295 134512640 134569956 3221224384 3221214704 1131284240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 72504 13086 16 0 209865 0
vsize: 839524
[startup+1320.13 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 115942 67 0 0 16 0 11 0 836714134 859672576 72716 4294967295 134512640 134569956 3221224384 3221214704 1131284546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 72716 13086 16 0 209865 0
vsize: 839524
[startup+1330.14 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) S 19211 4613 4612 0 -1 0 18086 0 1 0 116833 67 0 0 17 0 11 0 836714134 859672576 73793 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 73793 13086 16 0 209865 0
vsize: 839524
[startup+1340.14 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 117731 67 0 0 17 0 11 0 836714134 859672576 73793 4294967295 134512640 134569956 3221224384 3221214728 1131188668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 73793 13086 16 0 209865 0
vsize: 839524
[startup+1350.14 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 118582 67 0 0 16 0 11 0 836714134 859672576 74342 4294967295 134512640 134569956 3221224384 3221214748 1131188576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 74342 13086 16 0 209865 0
vsize: 839524
[startup+1360.14 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 119476 67 0 0 17 0 11 0 836714134 859672576 74453 4294967295 134512640 134569956 3221224384 3221214724 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 74453 13086 16 0 209865 0
vsize: 839524
[startup+1370.14 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19222
Raw data (stat): 19212 (java) R 19211 4613 4612 0 -1 0 18086 0 1 0 120340 67 0 0 16 0 11 0 836714134 859672576 74743 4294967295 134512640 134569956 3221224384 3221214792 1131407433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209881 74743 13086 16 0 209865 0
vsize: 839524
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1370.32 s]
Raw data (loadavg): 1.02 1.01 1.00 1/54 19224
Raw data (stat): 19212 (java) Z 19211 4613 4612 0 -1 1036 18086 55064 1 0 120344 67 16354 129 16 0 1 0 836714134 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): 1370.32
CPU time (s): 1368.96
CPU user time (s): 1366.99
CPU system time (s): 1.9687
CPU usage (%): 99.9008
Max. virtual memory (Kb): 839672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####