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.tag12.ucl.opb
MD5SUM	04162d5197113d66489e9d95b6572385
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	41
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	134
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	20.7588
Number of variables	20605
Total number of constraints	59851
Number of constraints which are clauses	58675
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1176
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 29318

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        509980 kB
Buffers:         32100 kB
Cached:         470664 kB
SwapCached:        640 kB
Active:          76396 kB
Inactive:       428792 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        509728 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13864 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:49:09 (client local time) WITH STATUS 143 IN 1308.62 SECONDS
stats: 20721 7 1308.62 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/wulflinc27/normalized-ooo.tag12.ucl.opb
c reading problem ... done. Time 145.74 ms.
c #vars     20605
c #constraints  59851
c starts	: 7
c conflicts	: 2618
c decisions	: 7505
c propagations	: 9360926
c inspects	: 28599839
c learned literals	: 0
c learned binary clauses	: 83
c learned ternary clauses	: 105
c learned clauses	: 2617
c root simplifications	: 7
s UNKNOWN
c Total CPU time (ms) : 1309.138
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.92 2/54 15567
Raw data (stat): 15567 (runsolver) R 15566 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836707751 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) S 15566 3394 3393 0 -1 0 18037 0 1 0 769 41 0 0 25 0 10 0 836707751 855134208 21080 4294967295 134512640 134569956 3221224384 3221213632 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208773 21080 13086 16 0 208757 0
vsize: 835092
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 1612 41 0 0 25 0 10 0 836707751 855134208 22261 4294967295 134512640 134569956 3221224384 3221214448 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208773 22261 13086 16 0 208757 0
vsize: 835092
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 2467 41 0 0 25 0 10 0 836707751 855134208 22929 4294967295 134512640 134569956 3221224384 3221214448 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208773 22929 13086 16 0 208757 0
vsize: 835092
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 3322 41 0 0 25 0 10 0 836707751 855134208 23587 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208773 23587 13086 16 0 208757 0
vsize: 835092
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 4170 42 0 0 25 0 10 0 836707751 854994944 24094 4294967295 134512640 134569956 3221224384 3221214496 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 24094 13086 16 0 208723 0
vsize: 834956
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 5017 42 0 0 25 0 10 0 836707751 854994944 24549 4294967295 134512640 134569956 3221224384 3221214808 1131199396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 24549 13086 16 0 208723 0
vsize: 834956
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 5858 42 0 0 25 0 10 0 836707751 854994944 25114 4294967295 134512640 134569956 3221224384 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 25114 13086 16 0 208723 0
vsize: 834956
[startup+80.0054 s]
Raw data (loadavg): 0.96 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 6715 42 0 0 25 0 10 0 836707751 854994944 25530 4294967295 134512640 134569956 3221224384 3221214740 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 25530 13086 16 0 208723 0
vsize: 834956
[startup+90.0058 s]
Raw data (loadavg): 0.96 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 7557 42 0 0 25 0 10 0 836707751 854994944 25911 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 25911 13086 16 0 208723 0
vsize: 834956
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 8399 42 0 0 25 0 10 0 836707751 854994944 26306 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 26306 13086 16 0 208723 0
vsize: 834956
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 9240 43 0 0 25 0 10 0 836707751 854994944 26797 4294967295 134512640 134569956 3221224384 3221214492 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 26797 13086 16 0 208723 0
vsize: 834956
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 10078 43 0 0 25 0 10 0 836707751 854994944 27173 4294967295 134512640 134569956 3221224384 3221214208 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 27173 13086 16 0 208723 0
vsize: 834956
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 10929 43 0 0 25 0 10 0 836707751 854994944 27470 4294967295 134512640 134569956 3221224384 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 27470 13086 16 0 208723 0
vsize: 834956
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/63 15576
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18037 0 1 0 11765 43 0 0 25 0 10 0 836707751 854994944 27825 4294967295 134512640 134569956 3221224384 3221214496 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208739 27825 13086 16 0 208723 0
vsize: 834956
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18075 0 1 0 12620 44 0 0 25 0 11 0 836707751 855523328 28513 4294967295 134512640 134569956 3221224384 3221214768 1131272133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208868 28513 13086 16 0 208852 0
vsize: 835472
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18077 0 1 0 13522 44 0 0 25 0 11 0 836707751 856571904 30089 4294967295 134512640 134569956 3221224384 3221214776 1131397756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 30089 13086 16 0 209108 0
vsize: 836496
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18078 0 1 0 14467 44 0 0 25 0 11 0 836707751 856571904 30090 4294967295 134512640 134569956 3221224384 3221214824 1131332454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209124 30090 13086 16 0 209108 0
vsize: 836496
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18078 0 1 0 15375 44 0 0 25 0 11 0 836707751 857620480 30507 4294967295 134512640 134569956 3221224384 3221214808 1131380676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 30507 13086 16 0 209364 0
vsize: 837520
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 16284 45 0 0 25 0 11 0 836707751 857620480 30596 4294967295 134512640 134569956 3221224384 3221214840 1131445429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 30596 13086 16 0 209364 0
vsize: 837520
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 17194 45 0 0 25 0 11 0 836707751 857620480 30596 4294967295 134512640 134569956 3221224384 3221214804 1131202651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 30596 13086 16 0 209364 0
vsize: 837520
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 18103 45 0 0 25 0 11 0 836707751 857620480 30596 4294967295 134512640 134569956 3221224384 3221214776 1131397718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 30596 13086 16 0 209364 0
vsize: 837520
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 19009 45 0 0 25 0 11 0 836707751 857620480 30596 4294967295 134512640 134569956 3221224384 3221214776 1131362815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 30596 13086 16 0 209364 0
vsize: 837520
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 19918 45 0 0 25 0 11 0 836707751 857620480 30719 4294967295 134512640 134569956 3221224384 3221214804 1131413475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 30719 13086 16 0 209364 0
vsize: 837520
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 20849 45 0 0 25 0 11 0 836707751 857620480 30757 4294967295 134512640 134569956 3221224384 3221214680 1131278406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 30757 13086 16 0 209364 0
vsize: 837520
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 21766 45 0 0 25 0 11 0 836707751 857620480 30827 4294967295 134512640 134569956 3221224384 3221214808 1131380979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 30827 13086 16 0 209364 0
vsize: 837520
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 22684 45 0 0 24 0 11 0 836707751 857620480 30851 4294967295 134512640 134569956 3221224384 3221214808 1131380655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 30851 13086 16 0 209364 0
vsize: 837520
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 23636 45 0 0 25 0 11 0 836707751 857915392 30924 4294967295 134512640 134569956 3221224384 3221214712 1131230097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 30924 13086 16 0 209436 0
vsize: 837808
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 24572 45 0 0 25 0 11 0 836707751 857915392 30944 4294967295 134512640 134569956 3221224384 3221214776 1131397768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 30944 13086 16 0 209436 0
vsize: 837808
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 25491 45 0 0 25 0 11 0 836707751 857915392 30956 4294967295 134512640 134569956 3221224384 3221214776 1131402019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 30956 13086 16 0 209436 0
vsize: 837808
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 26414 45 0 0 25 0 11 0 836707751 857915392 30970 4294967295 134512640 134569956 3221224384 3221214712 1131278443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 30970 13086 16 0 209436 0
vsize: 837808
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) S 15566 3394 3393 0 -1 0 18079 0 1 0 27331 45 0 0 25 0 11 0 836707751 857915392 30975 4294967295 134512640 134569956 3221224384 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 30975 13086 16 0 209436 0
vsize: 837808
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 28249 45 0 0 25 0 11 0 836707751 857915392 30985 4294967295 134512640 134569956 3221224384 3221214792 1131379909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209452 30985 13086 16 0 209436 0
vsize: 837808
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 29157 45 0 0 25 0 11 0 836707751 857915392 31006 4294967295 134512640 134569956 3221224384 3221214776 1131362601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31006 13086 16 0 209436 0
vsize: 837808
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 30064 45 0 0 25 0 11 0 836707751 857915392 31039 4294967295 134512640 134569956 3221224384 3221214776 1131393963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31039 13086 16 0 209436 0
vsize: 837808
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 30972 45 0 0 25 0 11 0 836707751 857915392 31053 4294967295 134512640 134569956 3221224384 3221214680 1131278329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31053 13086 16 0 209436 0
vsize: 837808
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 31885 45 0 0 25 0 11 0 836707751 857915392 31185 4294967295 134512640 134569956 3221224384 3221214784 1131202569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31185 13086 16 0 209436 0
vsize: 837808
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 32835 45 0 0 25 0 11 0 836707751 857915392 31234 4294967295 134512640 134569956 3221224384 3221214712 1131279113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31234 13086 16 0 209436 0
vsize: 837808
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 33770 45 0 0 25 0 11 0 836707751 857915392 31246 4294967295 134512640 134569956 3221224384 3221214808 1131381139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31246 13086 16 0 209436 0
vsize: 837808
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 34718 45 0 0 25 0 11 0 836707751 857915392 31252 4294967295 134512640 134569956 3221224384 3221214804 1131387876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31252 13086 16 0 209436 0
vsize: 837808
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) S 15566 3394 3393 0 -1 0 18079 0 1 0 35626 45 0 0 25 0 11 0 836707751 857915392 31312 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31312 13086 16 0 209436 0
vsize: 837808
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 36550 45 0 0 25 0 11 0 836707751 857915392 31349 4294967295 134512640 134569956 3221224384 3221214740 1130885132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31349 13086 16 0 209436 0
vsize: 837808
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 37457 46 0 0 25 0 11 0 836707751 857915392 31349 4294967295 134512640 134569956 3221224384 3221214740 1130885222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31349 13086 16 0 209436 0
vsize: 837808
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 38383 46 0 0 25 0 11 0 836707751 857915392 31349 4294967295 134512640 134569956 3221224384 3221214784 1131202520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31349 13086 16 0 209436 0
vsize: 837808
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 39291 46 0 0 25 0 11 0 836707751 857915392 31426 4294967295 134512640 134569956 3221224384 3221214680 1131278282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31426 13086 16 0 209436 0
vsize: 837808
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 40202 46 0 0 24 0 11 0 836707751 857915392 31492 4294967295 134512640 134569956 3221224384 3221214776 1131397800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31492 13086 16 0 209436 0
vsize: 837808
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 41134 46 0 0 25 0 11 0 836707751 857915392 31611 4294967295 134512640 134569956 3221224384 3221214744 1131181529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31611 13086 16 0 209436 0
vsize: 837808
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 42056 46 0 0 25 0 11 0 836707751 857915392 31667 4294967295 134512640 134569956 3221224384 3221214680 1131278789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31667 13086 16 0 209436 0
vsize: 837808
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 42979 46 0 0 25 0 11 0 836707751 857915392 31688 4294967295 134512640 134569956 3221224384 3221214712 1131229850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31688 13086 16 0 209436 0
vsize: 837808
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 43918 46 0 0 25 0 11 0 836707751 857915392 31706 4294967295 134512640 134569956 3221224384 3221214740 1130885150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31706 13086 16 0 209436 0
vsize: 837808
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 44843 46 0 0 25 0 11 0 836707751 857915392 31720 4294967295 134512640 134569956 3221224384 3221214776 1131362672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31720 13086 16 0 209436 0
vsize: 837808
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 45768 46 0 0 25 0 11 0 836707751 857915392 31729 4294967295 134512640 134569956 3221224384 3221214808 1131380840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31729 13086 16 0 209436 0
vsize: 837808
[startup+520.017 s]
Raw data (loadavg): 1.07 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 46707 46 0 0 25 0 11 0 836707751 857915392 31735 4294967295 134512640 134569956 3221224384 3221214712 1131278659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31735 13086 16 0 209436 0
vsize: 837808
[startup+530.017 s]
Raw data (loadavg): 1.06 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 47630 46 0 0 24 0 11 0 836707751 857915392 31742 4294967295 134512640 134569956 3221224384 3221214792 1131413497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31742 13086 16 0 209436 0
vsize: 837808
[startup+540.016 s]
Raw data (loadavg): 1.05 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 48568 46 0 0 25 0 11 0 836707751 857915392 31747 4294967295 134512640 134569956 3221224384 3221214740 1130885147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31747 13086 16 0 209436 0
vsize: 837808
[startup+550.016 s]
Raw data (loadavg): 1.04 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 49491 46 0 0 24 0 11 0 836707751 857915392 31758 4294967295 134512640 134569956 3221224384 3221214712 1131278659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31758 13086 16 0 209436 0
vsize: 837808
[startup+560.016 s]
Raw data (loadavg): 1.04 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 50429 46 0 0 25 0 11 0 836707751 857915392 31764 4294967295 134512640 134569956 3221224384 3221214776 1131360787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209452 31764 13086 16 0 209436 0
vsize: 837808
[startup+570.017 s]
Raw data (loadavg): 1.03 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 51367 46 0 0 25 0 11 0 836707751 857620480 31704 4294967295 134512640 134569956 3221224384 3221214792 1131379913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31704 13086 16 0 209364 0
vsize: 837520
[startup+580.017 s]
Raw data (loadavg): 1.03 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 52291 47 0 0 25 0 11 0 836707751 857620480 31720 4294967295 134512640 134569956 3221224384 3221214664 1131203508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31720 13086 16 0 209364 0
vsize: 837520
[startup+590.017 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 53230 47 0 0 25 0 11 0 836707751 857620480 31727 4294967295 134512640 134569956 3221224384 3221214776 1131397674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31727 13086 16 0 209364 0
vsize: 837520
[startup+600.016 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 54154 47 0 0 25 0 11 0 836707751 857620480 31765 4294967295 134512640 134569956 3221224384 3221214776 1131397772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31765 13086 16 0 209364 0
vsize: 837520
[startup+610.017 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 55094 47 0 0 25 0 11 0 836707751 857620480 31774 4294967295 134512640 134569956 3221224384 3221214792 1131379905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31774 13086 16 0 209364 0
vsize: 837520
[startup+620.019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 56020 48 0 0 24 0 11 0 836707751 857620480 31783 4294967295 134512640 134569956 3221224384 3221214776 1131362975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31783 13086 16 0 209364 0
vsize: 837520
[startup+630.019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 56960 48 0 0 25 0 11 0 836707751 857620480 31791 4294967295 134512640 134569956 3221224384 3221214712 1131278615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31791 13086 16 0 209364 0
vsize: 837520
[startup+640.019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 57901 49 0 0 25 0 11 0 836707751 857620480 31798 4294967295 134512640 134569956 3221224384 3221214784 1131202542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31798 13086 16 0 209364 0
vsize: 837520
[startup+650.02 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 58825 49 0 0 25 0 11 0 836707751 857620480 31810 4294967295 134512640 134569956 3221224384 3221214740 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31810 13086 16 0 209364 0
vsize: 837520
[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 59766 50 0 0 25 0 11 0 836707751 857620480 31817 4294967295 134512640 134569956 3221224384 3221214776 1131397674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31817 13086 16 0 209364 0
vsize: 837520
[startup+670.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 60691 50 0 0 25 0 11 0 836707751 857620480 31833 4294967295 134512640 134569956 3221224384 3221214712 1131354974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31833 13086 16 0 209364 0
vsize: 837520
[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 61631 51 0 0 25 0 11 0 836707751 857620480 31840 4294967295 134512640 134569956 3221224384 3221214804 1131387876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31840 13086 16 0 209364 0
vsize: 837520
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 62557 51 0 0 25 0 11 0 836707751 857620480 31851 4294967295 134512640 134569956 3221224384 3221214824 1131387461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31851 13086 16 0 209364 0
vsize: 837520
[startup+700.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 63497 51 0 0 25 0 11 0 836707751 857620480 31858 4294967295 134512640 134569956 3221224384 3221214712 1131354922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31858 13086 16 0 209364 0
vsize: 837520
[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 64422 51 0 0 24 0 11 0 836707751 857620480 31872 4294967295 134512640 134569956 3221224384 3221214836 1131401379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31872 13086 16 0 209364 0
vsize: 837520
[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 65363 51 0 0 25 0 11 0 836707751 857620480 31878 4294967295 134512640 134569956 3221224384 3221214776 1131393568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31878 13086 16 0 209364 0
vsize: 837520
[startup+730.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 66289 52 0 0 24 0 11 0 836707751 857620480 31887 4294967295 134512640 134569956 3221224384 3221214804 1131397600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31887 13086 16 0 209364 0
vsize: 837520
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 67229 52 0 0 25 0 11 0 836707751 857620480 31894 4294967295 134512640 134569956 3221224384 3221214808 1131380679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31894 13086 16 0 209364 0
vsize: 837520
[startup+750.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) S 15566 3394 3393 0 -1 0 18079 0 1 0 68165 52 0 0 25 0 11 0 836707751 857620480 31903 4294967295 134512640 134569956 3221224384 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31903 13086 16 0 209364 0
vsize: 837520
[startup+760.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 69094 53 0 0 25 0 11 0 836707751 857620480 31913 4294967295 134512640 134569956 3221224384 3221214712 1131278629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31913 13086 16 0 209364 0
vsize: 837520
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 70034 53 0 0 25 0 11 0 836707751 857620480 31921 4294967295 134512640 134569956 3221224384 3221214712 1131278267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31921 13086 16 0 209364 0
vsize: 837520
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 70958 53 0 0 25 0 11 0 836707751 857620480 31932 4294967295 134512640 134569956 3221224384 3221214712 1131278659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31932 13086 16 0 209364 0
vsize: 837520
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 71897 53 0 0 25 0 11 0 836707751 857620480 31944 4294967295 134512640 134569956 3221224384 3221214764 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31944 13086 16 0 209364 0
vsize: 837520
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 72823 54 0 0 25 0 11 0 836707751 857620480 31952 4294967295 134512640 134569956 3221224384 3221214768 1131207038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31952 13086 16 0 209364 0
vsize: 837520
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 73763 54 0 0 25 0 11 0 836707751 857620480 31959 4294967295 134512640 134569956 3221224384 3221214744 1131181564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31959 13086 16 0 209364 0
vsize: 837520
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 74688 55 0 0 25 0 11 0 836707751 857620480 31978 4294967295 134512640 134569956 3221224384 3221214768 1131207016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31978 13086 16 0 209364 0
vsize: 837520
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 75628 55 0 0 25 0 11 0 836707751 857620480 31986 4294967295 134512640 134569956 3221224384 3221214712 1131230715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31986 13086 16 0 209364 0
vsize: 837520
[startup+840.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 76553 55 0 0 25 0 11 0 836707751 857620480 31996 4294967295 134512640 134569956 3221224384 3221214808 1131380679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 31996 13086 16 0 209364 0
vsize: 837520
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 77494 55 0 0 25 0 11 0 836707751 857620480 32006 4294967295 134512640 134569956 3221224384 3221214768 1131207024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32006 13086 16 0 209364 0
vsize: 837520
[startup+860.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 78419 56 0 0 25 0 11 0 836707751 857620480 32015 4294967295 134512640 134569956 3221224384 3221214672 1131267747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32015 13086 16 0 209364 0
vsize: 837520
[startup+870.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 79362 56 0 0 25 0 11 0 836707751 857620480 32022 4294967295 134512640 134569956 3221224384 3221214712 1131229941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32022 13086 16 0 209364 0
vsize: 837520
[startup+880.041 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 80286 56 0 0 25 0 11 0 836707751 857620480 32031 4294967295 134512640 134569956 3221224384 3221214712 1131278286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32031 13086 16 0 209364 0
vsize: 837520
[startup+890.042 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 81226 56 0 0 25 0 11 0 836707751 857620480 32043 4294967295 134512640 134569956 3221224384 3221214776 1131397712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32043 13086 16 0 209364 0
vsize: 837520
[startup+900.042 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 82151 57 0 0 25 0 11 0 836707751 857620480 32055 4294967295 134512640 134569956 3221224384 3221214812 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32055 13086 16 0 209364 0
vsize: 837520
[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 83093 57 0 0 25 0 11 0 836707751 857620480 32068 4294967295 134512640 134569956 3221224384 3221214664 1131203508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32068 13086 16 0 209364 0
vsize: 837520
[startup+920.044 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 84034 58 0 0 25 0 11 0 836707751 857620480 32076 4294967295 134512640 134569956 3221224384 3221214680 1131279104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32076 13086 16 0 209364 0
vsize: 837520
[startup+930.044 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 84958 58 0 0 25 0 11 0 836707751 857620480 32086 4294967295 134512640 134569956 3221224384 3221214592 1131207504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32086 13086 16 0 209364 0
vsize: 837520
[startup+940.044 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 85897 59 0 0 25 0 11 0 836707751 857620480 32098 4294967295 134512640 134569956 3221224384 3221214784 1131386515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32098 13086 16 0 209364 0
vsize: 837520
[startup+950.045 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 86821 59 0 0 24 0 11 0 836707751 857620480 32109 4294967295 134512640 134569956 3221224384 3221214784 1131202588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32109 13086 16 0 209364 0
vsize: 837520
[startup+960.045 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 87761 59 0 0 25 0 11 0 836707751 857620480 32117 4294967295 134512640 134569956 3221224384 3221214740 1130885189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32117 13086 16 0 209364 0
vsize: 837520
[startup+970.046 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 88702 59 0 0 25 0 11 0 836707751 857620480 32124 4294967295 134512640 134569956 3221224384 3221214792 1131379913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32124 13086 16 0 209364 0
vsize: 837520
[startup+980.047 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 89640 60 0 0 25 0 11 0 836707751 857620480 32139 4294967295 134512640 134569956 3221224384 3221214808 1131381085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32139 13086 16 0 209364 0
vsize: 837520
[startup+990.047 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 90563 60 0 0 25 0 11 0 836707751 857620480 32148 4294967295 134512640 134569956 3221224384 3221214776 1131394050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32148 13086 16 0 209364 0
vsize: 837520
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 91502 60 0 0 25 0 11 0 836707751 857620480 32156 4294967295 134512640 134569956 3221224384 3221214712 1131278629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32156 13086 16 0 209364 0
vsize: 837520
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 92442 60 0 0 25 0 11 0 836707751 857620480 32167 4294967295 134512640 134569956 3221224384 3221214776 1131393963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32167 13086 16 0 209364 0
vsize: 837520
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 93366 61 0 0 25 0 11 0 836707751 857620480 32180 4294967295 134512640 134569956 3221224384 3221214776 1131397663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32180 13086 16 0 209364 0
vsize: 837520
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 94305 61 0 0 25 0 11 0 836707751 857620480 32195 4294967295 134512640 134569956 3221224384 3221214776 1131361064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32195 13086 16 0 209364 0
vsize: 837520
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 95245 61 0 0 25 0 11 0 836707751 857620480 32202 4294967295 134512640 134569956 3221224384 3221214784 1131202554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32202 13086 16 0 209364 0
vsize: 837520
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 96168 62 0 0 25 0 11 0 836707751 857620480 32214 4294967295 134512640 134569956 3221224384 3221214680 1131278656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32214 13086 16 0 209364 0
vsize: 837520
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 97107 62 0 0 25 0 11 0 836707751 857620480 32223 4294967295 134512640 134569956 3221224384 3221214808 1131380731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32223 13086 16 0 209364 0
vsize: 837520
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 98045 62 0 0 25 0 11 0 836707751 857620480 32233 4294967295 134512640 134569956 3221224384 3221214712 1131279420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32233 13086 16 0 209364 0
vsize: 837520
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 98970 63 0 0 25 0 11 0 836707751 857620480 32244 4294967295 134512640 134569956 3221224384 3221214712 1131229773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32244 13086 16 0 209364 0
vsize: 837520
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 99911 63 0 0 25 0 11 0 836707751 857620480 32252 4294967295 134512640 134569956 3221224384 3221214712 1131278252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32252 13086 16 0 209364 0
vsize: 837520
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 100851 63 0 0 25 0 11 0 836707751 857620480 32262 4294967295 134512640 134569956 3221224384 3221214740 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32262 13086 16 0 209364 0
vsize: 837520
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 101775 63 0 0 25 0 11 0 836707751 857620480 32275 4294967295 134512640 134569956 3221224384 3221214776 1131397674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32275 13086 16 0 209364 0
vsize: 837520
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 102715 63 0 0 25 0 11 0 836707751 857620480 32283 4294967295 134512640 134569956 3221224384 3221214712 1131278629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32283 13086 16 0 209364 0
vsize: 837520
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 103653 63 0 0 25 0 11 0 836707751 857620480 32295 4294967295 134512640 134569956 3221224384 3221214776 1131394115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32295 13086 16 0 209364 0
vsize: 837520
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 104575 64 0 0 25 0 11 0 836707751 857620480 32312 4294967295 134512640 134569956 3221224384 3221214768 1131272291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209380 32312 13086 16 0 209364 0
vsize: 837520
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 105512 64 0 0 25 0 11 0 836707751 857620480 32327 4294967295 134512640 134569956 3221224384 3221214712 1131230097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32327 13086 16 0 209364 0
vsize: 837520
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 106429 64 0 0 25 0 11 0 836707751 857620480 32344 4294967295 134512640 134569956 3221224384 3221214784 1131202504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32344 13086 16 0 209364 0
vsize: 837520
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 107344 64 0 0 24 0 11 0 836707751 857620480 32360 4294967295 134512640 134569956 3221224384 3221214776 1131402044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32360 13086 16 0 209364 0
vsize: 837520
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 108276 64 0 0 24 0 11 0 836707751 857620480 32374 4294967295 134512640 134569956 3221224384 3221214680 1131278592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32374 13086 16 0 209364 0
vsize: 837520
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 109226 64 0 0 25 0 11 0 836707751 857620480 32388 4294967295 134512640 134569956 3221224384 3221214712 1131278659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32388 13086 16 0 209364 0
vsize: 837520
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 110140 64 0 0 25 0 11 0 836707751 857620480 32404 4294967295 134512640 134569956 3221224384 3221214764 1131127952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32404 13086 16 0 209364 0
vsize: 837520
[startup+1210.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 111055 64 0 0 24 0 11 0 836707751 857620480 32414 4294967295 134512640 134569956 3221224384 3221214804 1131386476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32414 13086 16 0 209364 0
vsize: 837520
[startup+1220.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 111969 64 0 0 25 0 11 0 836707751 857620480 32439 4294967295 134512640 134569956 3221224384 3221214840 1131376022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32439 13086 16 0 209364 0
vsize: 837520
[startup+1230.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 112897 64 0 0 25 0 11 0 836707751 857620480 32471 4294967295 134512640 134569956 3221224384 3221214776 1131360804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32471 13086 16 0 209364 0
vsize: 837520
[startup+1240.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) S 15566 3394 3393 0 -1 0 18079 0 1 0 113820 64 0 0 25 0 11 0 836707751 857620480 32484 4294967295 134512640 134569956 3221224384 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32484 13086 16 0 209364 0
vsize: 837520
[startup+1250.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 114739 64 0 0 25 0 11 0 836707751 857620480 32505 4294967295 134512640 134569956 3221224384 3221214776 1131397725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32505 13086 16 0 209364 0
vsize: 837520
[startup+1260.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 115669 64 0 0 25 0 11 0 836707751 857620480 32540 4294967295 134512640 134569956 3221224384 3221214680 1131229768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32540 13086 16 0 209364 0
vsize: 837520
[startup+1270.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 116600 64 0 0 25 0 11 0 836707751 857620480 32572 4294967295 134512640 134569956 3221224384 3221214784 1131202520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32572 13086 16 0 209364 0
vsize: 837520
[startup+1280.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 117514 64 0 0 25 0 11 0 836707751 857620480 32584 4294967295 134512640 134569956 3221224384 3221214680 1131278608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32584 13086 16 0 209364 0
vsize: 837520
[startup+1290.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 118462 64 0 0 25 0 11 0 836707751 857620480 32610 4294967295 134512640 134569956 3221224384 3221214816 1131400967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32610 13086 16 0 209364 0
vsize: 837520
[startup+1300.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 119395 64 0 0 25 0 11 0 836707751 857620480 32630 4294967295 134512640 134569956 3221224384 3221214740 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32630 13086 16 0 209364 0
vsize: 837520
[startup+1310.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 15577
Raw data (stat): 15567 (java) R 15566 3394 3393 0 -1 0 18079 0 1 0 120327 64 0 0 25 0 11 0 836707751 857620480 32648 4294967295 134512640 134569956 3221224384 3221214776 1131397711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 32648 13086 16 0 209364 0
vsize: 837520
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 15579
Raw data (stat): 15567 (java) Z 15566 3394 3393 0 -1 1036 18079 13269 1 0 120332 64 10425 39 25 0 1 0 836707751 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.17
CPU time (s): 1308.62
CPU user time (s): 1307.58
CPU system time (s): 1.04284
CPU usage (%): 99.8817
Max. virtual memory (Kb): 837808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####