PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.54
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 29663

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 10:10:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21062 boxname=wulflinc25 idbench=1050 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 21062
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        428136 kB
Buffers:         30740 kB
Cached:         551840 kB
SwapCached:        588 kB
Active:          84836 kB
Inactive:       500016 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        427884 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            15936 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:30:59 (client local time) WITH STATUS 143 IN 1237.92 SECONDS
stats: 21062 7 1237.92 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/wulflinc25/normalized-mps-v2-20-10-mod010.opb
c reading problem ... done. Time 5.726 ms.
c #vars     2655
c #constraints  291
c starts	: 3
c conflicts	: 424
c decisions	: 14058
c propagations	: 54269
c inspects	: 124864
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 423
c root simplifications	: 8
s UNKNOWN
c Total CPU time (ms) : 1239.174
#### 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.92 0.98 0.99 2/54 12763
Raw data (stat): 12763 (runsolver) R 12762 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838065940 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18058 0 1 0 719 39 0 0 25 0 11 0 838065940 855830528 20009 4294967295 134512640 134569956 3221224368 3221214560 1131331735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208943 20009 13086 16 0 208927 0
vsize: 835772
[startup+20.0022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18059 0 1 0 1645 39 0 0 25 0 11 0 838065940 856514560 21965 4294967295 134512640 134569956 3221224368 3221214680 1131320895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 21965 13086 16 0 209094 0
vsize: 836440
[startup+30.0021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18059 0 1 0 2569 39 0 0 25 0 11 0 838065940 856514560 22673 4294967295 134512640 134569956 3221224368 3221214776 1131400161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 22673 13086 16 0 209094 0
vsize: 836440
[startup+40.0017 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 3493 40 0 0 25 0 11 0 838065940 856514560 23526 4294967295 134512640 134569956 3221224368 3221214728 1131282624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 23526 13086 16 0 209094 0
vsize: 836440
[startup+50.0028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 4416 40 0 0 25 0 11 0 838065940 856514560 23722 4294967295 134512640 134569956 3221224368 3221214748 1131200870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 23722 13086 16 0 209094 0
vsize: 836440
[startup+60.0029 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 5347 41 0 0 25 0 11 0 838065940 856514560 24391 4294967295 134512640 134569956 3221224368 3221214672 1131320979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 24391 13086 16 0 209094 0
vsize: 836440
[startup+70.0035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 6283 41 0 0 25 0 11 0 838065940 856514560 24896 4294967295 134512640 134569956 3221224368 3221214672 1131320809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 24896 13086 16 0 209094 0
vsize: 836440
[startup+80.0037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 7216 41 0 0 25 0 11 0 838065940 856514560 25185 4294967295 134512640 134569956 3221224368 3221214672 1131321206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 25185 13086 16 0 209094 0
vsize: 836440
[startup+90.0037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 8151 42 0 0 25 0 11 0 838065940 856514560 25283 4294967295 134512640 134569956 3221224368 3221214672 1131321200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 25283 13086 16 0 209094 0
vsize: 836440
[startup+100.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 9089 42 0 0 25 0 11 0 838065940 856514560 25638 4294967295 134512640 134569956 3221224368 3221214440 1131301265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 25638 13086 16 0 209094 0
vsize: 836440
[startup+110.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 10022 42 0 0 25 0 11 0 838065940 856514560 26003 4294967295 134512640 134569956 3221224368 3221214824 1131200921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 26003 13086 16 0 209094 0
vsize: 836440
[startup+120.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 10955 43 0 0 25 0 11 0 838065940 856514560 26183 4294967295 134512640 134569956 3221224368 3221214728 1131282641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 26183 13086 16 0 209094 0
vsize: 836440
[startup+130.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 11877 43 0 0 25 0 11 0 838065940 856514560 26827 4294967295 134512640 134569956 3221224368 3221214672 1131320939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 26827 13086 16 0 209094 0
vsize: 836440
[startup+140.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 12800 43 0 0 25 0 11 0 838065940 856514560 27215 4294967295 134512640 134569956 3221224368 3221214560 1131331714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 27215 13086 16 0 209094 0
vsize: 836440
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18060 0 1 0 13731 44 0 0 25 0 11 0 838065940 856580096 27400 4294967295 134512640 134569956 3221224368 3221214672 1131320950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209126 27400 13086 16 0 209110 0
vsize: 836504
[startup+160.006 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 14676 44 0 0 25 0 11 0 838065940 856514560 27496 4294967295 134512640 134569956 3221224368 3221214236 1078032389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 27496 13086 16 0 209094 0
vsize: 836440
[startup+170.006 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 15624 45 0 0 25 0 11 0 838065940 856514560 27502 4294967295 134512640 134569956 3221224368 3221214624 1131451472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 27502 13086 16 0 209094 0
vsize: 836440
[startup+180.005 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 16562 45 0 0 25 0 11 0 838065940 856514560 27764 4294967295 134512640 134569956 3221224368 3221214584 1131285365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 27764 13086 16 0 209094 0
vsize: 836440
[startup+190.006 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 17525 45 0 0 25 0 11 0 838065940 856514560 27822 4294967295 134512640 134569956 3221224368 3221214596 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209110 27822 13086 16 0 209094 0
vsize: 836440
[startup+200.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 18496 45 0 0 25 0 11 0 838065940 856514560 28140 4294967295 134512640 134569956 3221224368 3221214624 1131451968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28140 13086 16 0 209094 0
vsize: 836440
[startup+210.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 19478 46 0 0 25 0 11 0 838065940 856514560 28226 4294967295 134512640 134569956 3221224368 3221214584 1131284833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28226 13086 16 0 209094 0
vsize: 836440
[startup+220.007 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 20470 46 0 0 25 0 11 0 838065940 856514560 28356 4294967295 134512640 134569956 3221224368 3221214776 1131400837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28356 13086 16 0 209094 0
vsize: 836440
[startup+230.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 21449 47 0 0 25 0 11 0 838065940 856514560 28357 4294967295 134512640 134569956 3221224368 3221214528 1131284713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28357 13086 16 0 209094 0
vsize: 836440
[startup+240.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 22423 47 0 0 25 0 11 0 838065940 856514560 28357 4294967295 134512640 134569956 3221224368 3221214624 1131451401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28357 13086 16 0 209094 0
vsize: 836440
[startup+250.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 23401 47 0 0 25 0 11 0 838065940 856514560 28357 4294967295 134512640 134569956 3221224368 3221214528 1131284729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28357 13086 16 0 209094 0
vsize: 836440
[startup+260.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 24379 47 0 0 25 0 11 0 838065940 856514560 28357 4294967295 134512640 134569956 3221224368 3221214624 1131451710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28357 13086 16 0 209094 0
vsize: 836440
[startup+270.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 25358 48 0 0 25 0 11 0 838065940 856514560 28396 4294967295 134512640 134569956 3221224368 3221214528 1131284670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28396 13086 16 0 209094 0
vsize: 836440
[startup+280.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 26329 48 0 0 25 0 11 0 838065940 856514560 28540 4294967295 134512640 134569956 3221224368 3221214600 1131200939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28540 13086 16 0 209094 0
vsize: 836440
[startup+290.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 27319 48 0 0 25 0 11 0 838065940 856514560 28579 4294967295 134512640 134569956 3221224368 3221214728 1131282624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28579 13086 16 0 209094 0
vsize: 836440
[startup+300.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 28305 48 0 0 25 0 11 0 838065940 856514560 28579 4294967295 134512640 134569956 3221224368 3221214624 1131451806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28579 13086 16 0 209094 0
vsize: 836440
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 29293 48 0 0 25 0 11 0 838065940 856514560 28579 4294967295 134512640 134569956 3221224368 3221214528 1131284713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209110 28579 13086 16 0 209094 0
vsize: 836440
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 30273 48 0 0 25 0 11 0 838065940 856514560 28579 4294967295 134512640 134569956 3221224368 3221214536 1131510399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28579 13086 16 0 209094 0
vsize: 836440
[startup+330.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 31258 49 0 0 25 0 11 0 838065940 856514560 28622 4294967295 134512640 134569956 3221224368 3221214528 1131284670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28622 13086 16 0 209094 0
vsize: 836440
[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 32242 49 0 0 25 0 11 0 838065940 856514560 28622 4294967295 134512640 134569956 3221224368 3221214624 1131451606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28622 13086 16 0 209094 0
vsize: 836440
[startup+350.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 33224 49 0 0 25 0 11 0 838065940 856514560 28662 4294967295 134512640 134569956 3221224368 3221214624 1131451472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28662 13086 16 0 209094 0
vsize: 836440
[startup+360.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 34204 49 0 0 25 0 11 0 838065940 856514560 28662 4294967295 134512640 134569956 3221224368 3221214584 1131284713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209110 28662 13086 16 0 209094 0
vsize: 836440
[startup+370.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 35180 50 0 0 25 0 11 0 838065940 856514560 28703 4294967295 134512640 134569956 3221224368 3221214624 1131451570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28703 13086 16 0 209094 0
vsize: 836440
[startup+380.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 36161 50 0 0 25 0 11 0 838065940 856514560 28703 4294967295 134512640 134569956 3221224368 3221214528 1131284400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28703 13086 16 0 209094 0
vsize: 836440
[startup+390.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 37141 50 0 0 25 0 11 0 838065940 856514560 28742 4294967295 134512640 134569956 3221224368 3221214680 1131559174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28742 13086 16 0 209094 0
vsize: 836440
[startup+400.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 38125 51 0 0 25 0 11 0 838065940 856514560 28742 4294967295 134512640 134569956 3221224368 3221214624 1131451606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28742 13086 16 0 209094 0
vsize: 836440
[startup+410.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 39113 51 0 0 25 0 11 0 838065940 856514560 28888 4294967295 134512640 134569956 3221224368 3221214680 1131559159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28888 13086 16 0 209094 0
vsize: 836440
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 40109 52 0 0 25 0 11 0 838065940 856514560 28890 4294967295 134512640 134569956 3221224368 3221214624 1131451454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28890 13086 16 0 209094 0
vsize: 836440
[startup+430.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 41105 52 0 0 25 0 11 0 838065940 856514560 28891 4294967295 134512640 134569956 3221224368 3221214616 1131351129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28891 13086 16 0 209094 0
vsize: 836440
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 42101 52 0 0 25 0 11 0 838065940 856514560 28892 4294967295 134512640 134569956 3221224368 3221214584 1131284729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28892 13086 16 0 209094 0
vsize: 836440
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 43097 53 0 0 25 0 11 0 838065940 856514560 28894 4294967295 134512640 134569956 3221224368 3221214584 1131284694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28894 13086 16 0 209094 0
vsize: 836440
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 44094 53 0 0 25 0 11 0 838065940 856514560 28896 4294967295 134512640 134569956 3221224368 3221214752 1131369243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28896 13086 16 0 209094 0
vsize: 836440
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 45090 53 0 0 25 0 11 0 838065940 856514560 28921 4294967295 134512640 134569956 3221224368 3221214624 1131451612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28921 13086 16 0 209094 0
vsize: 836440
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 46088 53 0 0 25 0 11 0 838065940 856514560 28921 4294967295 134512640 134569956 3221224368 3221214624 1131451597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28921 13086 16 0 209094 0
vsize: 836440
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 47084 54 0 0 25 0 11 0 838065940 856514560 28921 4294967295 134512640 134569956 3221224368 3221214776 1131399895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28921 13086 16 0 209094 0
vsize: 836440
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 48056 54 0 0 25 0 11 0 838065940 856514560 28921 4294967295 134512640 134569956 3221224368 3221214752 1131368202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28921 13086 16 0 209094 0
vsize: 836440
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 49022 54 0 0 25 0 11 0 838065940 856514560 28921 4294967295 134512640 134569956 3221224368 3221214584 1131284713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28921 13086 16 0 209094 0
vsize: 836440
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 49994 55 0 0 25 0 11 0 838065940 856514560 28921 4294967295 134512640 134569956 3221224368 3221214600 1131200916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28921 13086 16 0 209094 0
vsize: 836440
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 50952 55 0 0 25 0 11 0 838065940 856514560 28921 4294967295 134512640 134569956 3221224368 3221214528 1131284549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28921 13086 16 0 209094 0
vsize: 836440
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 51917 56 0 0 25 0 11 0 838065940 856514560 28921 4294967295 134512640 134569956 3221224368 3221214536 1131510481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 28921 13086 16 0 209094 0
vsize: 836440
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 52884 56 0 0 24 0 11 0 838065940 856514560 29226 4294967295 134512640 134569956 3221224368 3221214624 1131451570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29226 13086 16 0 209094 0
vsize: 836440
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 53868 56 0 0 25 0 11 0 838065940 856514560 29230 4294967295 134512640 134569956 3221224368 3221214528 1131284854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29230 13086 16 0 209094 0
vsize: 836440
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 54848 57 0 0 25 0 11 0 838065940 856514560 29230 4294967295 134512640 134569956 3221224368 3221214528 1131284940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29230 13086 16 0 209094 0
vsize: 836440
[startup+580.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 55832 57 0 0 25 0 11 0 838065940 856514560 29274 4294967295 134512640 134569956 3221224368 3221214584 1131284670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29274 13086 16 0 209094 0
vsize: 836440
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 56815 57 0 0 25 0 11 0 838065940 856514560 29356 4294967295 134512640 134569956 3221224368 3221214624 1131451570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29356 13086 16 0 209094 0
vsize: 836440
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 57799 57 0 0 25 0 11 0 838065940 856514560 29356 4294967295 134512640 134569956 3221224368 3221214624 1131451484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29356 13086 16 0 209094 0
vsize: 836440
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 58783 58 0 0 25 0 11 0 838065940 856514560 29356 4294967295 134512640 134569956 3221224368 3221214528 1131284670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29356 13086 16 0 209094 0
vsize: 836440
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 59764 58 0 0 25 0 11 0 838065940 856514560 29356 4294967295 134512640 134569956 3221224368 3221214624 1131451606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29356 13086 16 0 209094 0
vsize: 836440
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 60747 58 0 0 25 0 11 0 838065940 856514560 29356 4294967295 134512640 134569956 3221224368 3221214536 1131509483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29356 13086 16 0 209094 0
vsize: 836440
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 61733 59 0 0 25 0 11 0 838065940 856514560 29400 4294967295 134512640 134569956 3221224368 3221214680 1131559284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29400 13086 16 0 209094 0
vsize: 836440
[startup+650.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 62725 59 0 0 25 0 11 0 838065940 856514560 29511 4294967295 134512640 134569956 3221224368 3221214536 1131527045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29511 13086 16 0 209094 0
vsize: 836440
[startup+660.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 63715 60 0 0 25 0 11 0 838065940 856514560 29515 4294967295 134512640 134569956 3221224368 3221214672 1131320979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29515 13086 16 0 209094 0
vsize: 836440
[startup+670.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 64694 60 0 0 25 0 11 0 838065940 856514560 29515 4294967295 134512640 134569956 3221224368 3221214624 1131452175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29515 13086 16 0 209094 0
vsize: 836440
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 65658 61 0 0 25 0 11 0 838065940 856514560 29515 4294967295 134512640 134569956 3221224368 3221214728 1131282624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29515 13086 16 0 209094 0
vsize: 836440
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 66618 61 0 0 25 0 11 0 838065940 856514560 29515 4294967295 134512640 134569956 3221224368 3221214624 1131451968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29515 13086 16 0 209094 0
vsize: 836440
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 67580 61 0 0 25 0 11 0 838065940 856514560 29515 4294967295 134512640 134569956 3221224368 3221214528 1131284713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29515 13086 16 0 209094 0
vsize: 836440
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 68535 61 0 0 25 0 11 0 838065940 856514560 29593 4294967295 134512640 134569956 3221224368 3221214528 1131284622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29593 13086 16 0 209094 0
vsize: 836440
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 69503 61 0 0 25 0 11 0 838065940 856514560 29678 4294967295 134512640 134569956 3221224368 3221214528 1131285100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29678 13086 16 0 209094 0
vsize: 836440
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 70468 62 0 0 25 0 11 0 838065940 856514560 29809 4294967295 134512640 134569956 3221224368 3221214680 1131559159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29809 13086 16 0 209094 0
vsize: 836440
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 71438 62 0 0 25 0 11 0 838065940 856514560 29934 4294967295 134512640 134569956 3221224368 3221214752 1131362337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 29934 13086 16 0 209094 0
vsize: 836440
[startup+750.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 72406 62 0 0 25 0 11 0 838065940 856514560 30021 4294967295 134512640 134569956 3221224368 3221214624 1131451968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30021 13086 16 0 209094 0
vsize: 836440
[startup+760.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 73373 62 0 0 25 0 11 0 838065940 856514560 30064 4294967295 134512640 134569956 3221224368 3221214528 1131284552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30064 13086 16 0 209094 0
vsize: 836440
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 74338 63 0 0 25 0 11 0 838065940 856514560 30064 4294967295 134512640 134569956 3221224368 3221214672 1131321510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30064 13086 16 0 209094 0
vsize: 836440
[startup+780.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 75297 63 0 0 25 0 11 0 838065940 856514560 30153 4294967295 134512640 134569956 3221224368 3221214528 1131284713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30153 13086 16 0 209094 0
vsize: 836440
[startup+790.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 76267 64 0 0 25 0 11 0 838065940 856514560 30153 4294967295 134512640 134569956 3221224368 3221214624 1131451806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30153 13086 16 0 209094 0
vsize: 836440
[startup+800.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 77231 64 0 0 25 0 11 0 838065940 856514560 30284 4294967295 134512640 134569956 3221224368 3221214624 1131451968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30284 13086 16 0 209094 0
vsize: 836440
[startup+810.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 78190 64 0 0 25 0 11 0 838065940 856514560 30372 4294967295 134512640 134569956 3221224368 3221214536 1131508909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30372 13086 16 0 209094 0
vsize: 836440
[startup+820.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 79155 64 0 0 25 0 11 0 838065940 856514560 30465 4294967295 134512640 134569956 3221224368 3221214620 1131200891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30465 13086 16 0 209094 0
vsize: 836440
[startup+830.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 80133 65 0 0 25 0 11 0 838065940 856514560 30548 4294967295 134512640 134569956 3221224368 3221214680 1131559144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30548 13086 16 0 209094 0
vsize: 836440
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 81107 65 0 0 25 0 11 0 838065940 856514560 30548 4294967295 134512640 134569956 3221224368 3221214536 1131509483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30548 13086 16 0 209094 0
vsize: 836440
[startup+850.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 82074 66 0 0 24 0 11 0 838065940 856514560 30642 4294967295 134512640 134569956 3221224368 3221214536 1131510431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30642 13086 16 0 209094 0
vsize: 836440
[startup+860.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 83051 66 0 0 25 0 11 0 838065940 856514560 30732 4294967295 134512640 134569956 3221224368 3221214616 1131351129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30732 13086 16 0 209094 0
vsize: 836440
[startup+870.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 84033 66 0 0 25 0 11 0 838065940 856514560 30775 4294967295 134512640 134569956 3221224368 3221214624 1131452261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30775 13086 16 0 209094 0
vsize: 836440
[startup+880.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 85018 66 0 0 25 0 11 0 838065940 856514560 30775 4294967295 134512640 134569956 3221224368 3221214528 1131284670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30775 13086 16 0 209094 0
vsize: 836440
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 85991 66 0 0 25 0 11 0 838065940 856514560 30820 4294967295 134512640 134569956 3221224368 3221214528 1131284552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30820 13086 16 0 209094 0
vsize: 836440
[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 86954 67 0 0 24 0 11 0 838065940 856514560 30871 4294967295 134512640 134569956 3221224368 3221214624 1131452181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30871 13086 16 0 209094 0
vsize: 836440
[startup+910.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 87930 67 0 0 25 0 11 0 838065940 856514560 30921 4294967295 134512640 134569956 3221224368 3221214624 1131451734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30921 13086 16 0 209094 0
vsize: 836440
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 88899 67 0 0 25 0 11 0 838065940 856514560 30921 4294967295 134512640 134569956 3221224368 3221214536 1131509618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30921 13086 16 0 209094 0
vsize: 836440
[startup+930.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 89858 68 0 0 25 0 11 0 838065940 856514560 30921 4294967295 134512640 134569956 3221224368 3221214624 1131451806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 30921 13086 16 0 209094 0
vsize: 836440
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 90812 68 0 0 25 0 11 0 838065940 856514560 31058 4294967295 134512640 134569956 3221224368 3221214752 1131362353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31058 13086 16 0 209094 0
vsize: 836440
[startup+950.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) S 12762 1586 1585 0 -1 0 18061 0 1 0 91761 68 0 0 25 0 11 0 838065940 856514560 31163 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31163 13086 16 0 209094 0
vsize: 836440
[startup+960.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 92716 69 0 0 25 0 11 0 838065940 856514560 31163 4294967295 134512640 134569956 3221224368 3221214584 1131284713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31163 13086 16 0 209094 0
vsize: 836440
[startup+970.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 93670 69 0 0 25 0 11 0 838065940 856514560 31353 4294967295 134512640 134569956 3221224368 3221214536 1131509566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31353 13086 16 0 209094 0
vsize: 836440
[startup+980.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 94630 70 0 0 25 0 11 0 838065940 856514560 31353 4294967295 134512640 134569956 3221224368 3221214512 1131552740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31353 13086 16 0 209094 0
vsize: 836440
[startup+990.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 95599 70 0 0 25 0 11 0 838065940 856514560 31452 4294967295 134512640 134569956 3221224368 3221214536 1131510438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31452 13086 16 0 209094 0
vsize: 836440
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 96568 71 0 0 25 0 11 0 838065940 856514560 31597 4294967295 134512640 134569956 3221224368 3221214584 1131284572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31597 13086 16 0 209094 0
vsize: 836440
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 97530 71 0 0 24 0 11 0 838065940 856514560 31697 4294967295 134512640 134569956 3221224368 3221214672 1131320895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31697 13086 16 0 209094 0
vsize: 836440
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 98501 72 0 0 25 0 11 0 838065940 856514560 31757 4294967295 134512640 134569956 3221224368 3221214536 1131508927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31757 13086 16 0 209094 0
vsize: 836440
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 99482 72 0 0 25 0 11 0 838065940 856514560 31896 4294967295 134512640 134569956 3221224368 3221214624 1131451968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31896 13086 16 0 209094 0
vsize: 836440
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 100464 72 0 0 25 0 11 0 838065940 856514560 31896 4294967295 134512640 134569956 3221224368 3221214536 1131508859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31896 13086 16 0 209094 0
vsize: 836440
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 101445 73 0 0 25 0 11 0 838065940 856514560 31896 4294967295 134512640 134569956 3221224368 3221214672 1131320514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31896 13086 16 0 209094 0
vsize: 836440
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 102423 73 0 0 25 0 11 0 838065940 856514560 31949 4294967295 134512640 134569956 3221224368 3221214320 1080217096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 31949 13086 16 0 209094 0
vsize: 836440
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 103405 73 0 0 25 0 11 0 838065940 856514560 32003 4294967295 134512640 134569956 3221224368 3221214624 1131451606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32003 13086 16 0 209094 0
vsize: 836440
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 104387 74 0 0 25 0 11 0 838065940 856514560 32003 4294967295 134512640 134569956 3221224368 3221214528 1131285316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32003 13086 16 0 209094 0
vsize: 836440
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 105364 74 0 0 25 0 11 0 838065940 856514560 32053 4294967295 134512640 134569956 3221224368 3221214672 1131321502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32053 13086 16 0 209094 0
vsize: 836440
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 106340 75 0 0 25 0 11 0 838065940 856514560 32067 4294967295 134512640 134569956 3221224368 3221214776 1131399895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32067 13086 16 0 209094 0
vsize: 836440
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 107318 75 0 0 25 0 11 0 838065940 856514560 32134 4294967295 134512640 134569956 3221224368 3221214624 1131451490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32134 13086 16 0 209094 0
vsize: 836440
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 108298 75 0 0 25 0 11 0 838065940 856514560 32134 4294967295 134512640 134569956 3221224368 3221214680 1131559286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32134 13086 16 0 209094 0
vsize: 836440
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 109278 75 0 0 25 0 11 0 838065940 856514560 32134 4294967295 134512640 134569956 3221224368 3221214624 1131451484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32134 13086 16 0 209094 0
vsize: 836440
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 110257 76 0 0 25 0 11 0 838065940 856514560 32183 4294967295 134512640 134569956 3221224368 3221214596 1130885124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32183 13086 16 0 209094 0
vsize: 836440
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 111233 76 0 0 25 0 11 0 838065940 856514560 32241 4294967295 134512640 134569956 3221224368 3221214624 1131451606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32241 13086 16 0 209094 0
vsize: 836440
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 112216 77 0 0 25 0 11 0 838065940 856514560 32257 4294967295 134512640 134569956 3221224368 3221214528 1131284668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32257 13086 16 0 209094 0
vsize: 836440
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 113193 77 0 0 25 0 11 0 838065940 856514560 32323 4294967295 134512640 134569956 3221224368 3221214656 1131284713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32323 13086 16 0 209094 0
vsize: 836440
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 114168 77 0 0 25 0 11 0 838065940 856514560 32323 4294967295 134512640 134569956 3221224368 3221214672 1131320481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32323 13086 16 0 209094 0
vsize: 836440
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 115134 78 0 0 25 0 11 0 838065940 856514560 32375 4294967295 134512640 134569956 3221224368 3221214584 1131284713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32375 13086 16 0 209094 0
vsize: 836440
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 116111 78 0 0 25 0 11 0 838065940 856514560 32428 4294967295 134512640 134569956 3221224368 3221214624 1131451606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32428 13086 16 0 209094 0
vsize: 836440
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 117090 78 0 0 25 0 11 0 838065940 856514560 32475 4294967295 134512640 134569956 3221224368 3221214536 1131509566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32475 13086 16 0 209094 0
vsize: 836440
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 118072 79 0 0 25 0 11 0 838065940 856514560 32476 4294967295 134512640 134569956 3221224368 3221214536 1131508859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32476 13086 16 0 209094 0
vsize: 836440
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 119059 79 0 0 25 0 11 0 838065940 856514560 32532 4294967295 134512640 134569956 3221224368 3221214528 1131284486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209110 32532 13086 16 0 209094 0
vsize: 836440
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12773
Raw data (stat): 12763 (java) R 12762 1586 1585 0 -1 0 18061 0 1 0 120033 79 0 0 25 0 11 0 838065940 856514560 32590 4294967295 134512640 134569956 3221224368 3221214536 1131509483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209110 32590 13086 16 0 209094 0
vsize: 836440
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12775
Raw data (stat): 12763 (java) Z 12762 1586 1585 0 -1 1036 18061 13626 1 0 120037 79 3637 37 25 0 1 0 838065940 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): 1240.24
CPU time (s): 1237.92
CPU user time (s): 1236.75
CPU system time (s): 1.16982
CPU usage (%): 99.8126
Max. virtual memory (Kb): 836504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####