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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb
MD5SUM	a5c401bba5afccf02c7b40cb1c595b15
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30407
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1192.4
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 30049

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        632872 kB
Buffers:         34184 kB
Cached:         345196 kB
SwapCached:        672 kB
Active:          83752 kB
Inactive:       297712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        632620 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14624 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:32:25 (client local time) WITH STATUS 143 IN 1309.68 SECONDS
stats: 21449 7 1309.68 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-nw04.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.108
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 8776
Raw data (stat): 8776 (runsolver) R 8775 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781265762 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.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18005 0 1 0 869 43 0 0 25 0 10 0 781265762 853065728 19266 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208268 19266 13086 16 0 208252 0
vsize: 833072
[startup+20.0016 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 1765 44 0 0 25 0 10 0 781265762 855162880 20108 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 20108 13086 16 0 208764 0
vsize: 835120
[startup+30.0014 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 2653 44 0 0 25 0 10 0 781265762 855162880 20602 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 20602 13086 16 0 208764 0
vsize: 835120
[startup+40.0022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 3566 44 0 0 25 0 10 0 781265762 855162880 20903 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 20903 13086 16 0 208764 0
vsize: 835120
[startup+50.0031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 4485 45 0 0 25 0 10 0 781265762 855162880 21065 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 21065 13086 16 0 208764 0
vsize: 835120
[startup+60.0039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 5399 45 0 0 25 0 10 0 781265762 855162880 21199 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 21199 13086 16 0 208764 0
vsize: 835120
[startup+70.0037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 6324 46 0 0 24 0 10 0 781265762 855195648 21454 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 21454 13086 16 0 208772 0
vsize: 835152
[startup+80.0035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 7263 46 0 0 25 0 10 0 781265762 855195648 21552 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 21552 13086 16 0 208772 0
vsize: 835152
[startup+90.0044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 8202 46 0 0 25 0 10 0 781265762 855195648 21647 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 21647 13086 16 0 208772 0
vsize: 835152
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 9141 47 0 0 25 0 10 0 781265762 855195648 21735 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 21735 13086 16 0 208772 0
vsize: 835152
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 10084 47 0 0 25 0 10 0 781265762 855195648 21812 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 21812 13086 16 0 208772 0
vsize: 835152
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 11024 48 0 0 25 0 10 0 781265762 855195648 21891 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 21891 13086 16 0 208772 0
vsize: 835152
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 11964 48 0 0 25 0 10 0 781265762 855195648 21964 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 21964 13086 16 0 208772 0
vsize: 835152
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 12903 48 0 0 25 0 10 0 781265762 855195648 22034 4294967295 134512640 134569956 3221224368 3221214688 1131208711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22034 13086 16 0 208772 0
vsize: 835152
[startup+150.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 13845 49 0 0 25 0 10 0 781265762 855195648 22099 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22099 13086 16 0 208772 0
vsize: 835152
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 14787 49 0 0 25 0 10 0 781265762 855195648 22161 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22161 13086 16 0 208772 0
vsize: 835152
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 15720 50 0 0 25 0 10 0 781265762 855195648 22223 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22223 13086 16 0 208772 0
vsize: 835152
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 16635 50 0 0 25 0 10 0 781265762 855195648 22280 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22280 13086 16 0 208772 0
vsize: 835152
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 17554 50 0 0 24 0 10 0 781265762 855195648 22595 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22595 13086 16 0 208772 0
vsize: 835152
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 18495 51 0 0 25 0 10 0 781265762 855195648 22647 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22647 13086 16 0 208772 0
vsize: 835152
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 19432 51 0 0 25 0 10 0 781265762 855195648 22702 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22702 13086 16 0 208772 0
vsize: 835152
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 20367 51 0 0 25 0 10 0 781265762 855195648 22755 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22755 13086 16 0 208772 0
vsize: 835152
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 21306 52 0 0 25 0 10 0 781265762 855195648 22804 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22804 13086 16 0 208772 0
vsize: 835152
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 22242 52 0 0 25 0 10 0 781265762 855195648 22856 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22856 13086 16 0 208772 0
vsize: 835152
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 23177 53 0 0 25 0 10 0 781265762 855195648 22905 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22905 13086 16 0 208772 0
vsize: 835152
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 24116 53 0 0 25 0 10 0 781265762 855195648 22951 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22951 13086 16 0 208772 0
vsize: 835152
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 25052 54 0 0 25 0 10 0 781265762 855195648 22998 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 22998 13086 16 0 208772 0
vsize: 835152
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 25986 54 0 0 24 0 10 0 781265762 855195648 23044 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23044 13086 16 0 208772 0
vsize: 835152
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 26924 55 0 0 25 0 10 0 781265762 855195648 23087 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23087 13086 16 0 208772 0
vsize: 835152
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 27857 55 0 0 25 0 10 0 781265762 855195648 23132 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23132 13086 16 0 208772 0
vsize: 835152
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 28795 56 0 0 25 0 10 0 781265762 855195648 23173 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23173 13086 16 0 208772 0
vsize: 835152
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 29728 56 0 0 25 0 10 0 781265762 855195648 23216 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23216 13086 16 0 208772 0
vsize: 835152
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 30660 56 0 0 24 0 10 0 781265762 855195648 23258 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23258 13086 16 0 208772 0
vsize: 835152
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 31596 56 0 0 25 0 10 0 781265762 855195648 23297 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23297 13086 16 0 208772 0
vsize: 835152
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 32528 57 0 0 25 0 10 0 781265762 855195648 23338 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23338 13086 16 0 208772 0
vsize: 835152
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 33463 57 0 0 25 0 10 0 781265762 855195648 23377 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23377 13086 16 0 208772 0
vsize: 835152
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 34394 58 0 0 25 0 10 0 781265762 855195648 23417 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23417 13086 16 0 208772 0
vsize: 835152
[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 35328 58 0 0 25 0 10 0 781265762 855195648 23454 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23454 13086 16 0 208772 0
vsize: 835152
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 36258 58 0 0 25 0 10 0 781265762 855195648 23492 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23492 13086 16 0 208772 0
vsize: 835152
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 37191 59 0 0 25 0 10 0 781265762 855195648 23528 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23528 13086 16 0 208772 0
vsize: 835152
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 38119 59 0 0 24 0 10 0 781265762 855195648 23566 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23566 13086 16 0 208772 0
vsize: 835152
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 39052 59 0 0 25 0 10 0 781265762 855195648 23601 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23601 13086 16 0 208772 0
vsize: 835152
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 39982 60 0 0 25 0 10 0 781265762 855195648 23636 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23636 13086 16 0 208772 0
vsize: 835152
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 40910 60 0 0 25 0 10 0 781265762 855195648 23672 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23672 13086 16 0 208772 0
vsize: 835152
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 41842 61 0 0 25 0 10 0 781265762 855195648 23705 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23705 13086 16 0 208772 0
vsize: 835152
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 42768 61 0 0 25 0 10 0 781265762 855195648 23741 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23741 13086 16 0 208772 0
vsize: 835152
[startup+470.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 43699 62 0 0 25 0 10 0 781265762 855195648 23773 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23773 13086 16 0 208772 0
vsize: 835152
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 44625 62 0 0 25 0 10 0 781265762 855195648 23807 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23807 13086 16 0 208772 0
vsize: 835152
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 45554 63 0 0 25 0 10 0 781265762 855195648 23840 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23840 13086 16 0 208772 0
vsize: 835152
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 46483 63 0 0 25 0 10 0 781265762 855195648 23873 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23873 13086 16 0 208772 0
vsize: 835152
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 47407 63 0 0 25 0 10 0 781265762 855195648 23907 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23907 13086 16 0 208772 0
vsize: 835152
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 48336 64 0 0 25 0 10 0 781265762 855195648 23938 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23938 13086 16 0 208772 0
vsize: 835152
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 49264 64 0 0 25 0 10 0 781265762 855195648 23969 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 23969 13086 16 0 208772 0
vsize: 835152
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 50186 65 0 0 25 0 10 0 781265762 855195648 24001 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24001 13086 16 0 208772 0
vsize: 835152
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 51113 65 0 0 25 0 10 0 781265762 855195648 24031 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24031 13086 16 0 208772 0
vsize: 835152
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 52039 66 0 0 25 0 10 0 781265762 855195648 24061 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24061 13086 16 0 208772 0
vsize: 835152
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 52961 67 0 0 24 0 10 0 781265762 855195648 24093 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24093 13086 16 0 208772 0
vsize: 835152
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 53887 67 0 0 25 0 10 0 781265762 855195648 24122 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24122 13086 16 0 208772 0
vsize: 835152
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 54813 68 0 0 25 0 10 0 781265762 855195648 24152 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24152 13086 16 0 208772 0
vsize: 835152
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 55738 68 0 0 25 0 10 0 781265762 855195648 24181 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24181 13086 16 0 208772 0
vsize: 835152
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 56658 69 0 0 24 0 10 0 781265762 855195648 24211 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24211 13086 16 0 208772 0
vsize: 835152
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 57583 69 0 0 25 0 10 0 781265762 855195648 24240 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24240 13086 16 0 208772 0
vsize: 835152
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 58507 70 0 0 25 0 10 0 781265762 855195648 24268 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24268 13086 16 0 208772 0
vsize: 835152
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 59431 70 0 0 25 0 10 0 781265762 855195648 24296 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24296 13086 16 0 208772 0
vsize: 835152
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 60355 71 0 0 25 0 10 0 781265762 855195648 24324 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24324 13086 16 0 208772 0
vsize: 835152
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 61273 71 0 0 24 0 10 0 781265762 855195648 24353 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 24353 13086 16 0 208772 0
vsize: 835152
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 62192 72 0 0 25 0 10 0 781265762 855195648 25289 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25289 13086 16 0 208772 0
vsize: 835152
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 63110 73 0 0 25 0 10 0 781265762 855195648 25289 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25289 13086 16 0 208772 0
vsize: 835152
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 64021 73 0 0 25 0 10 0 781265762 855195648 25316 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25316 13086 16 0 208772 0
vsize: 835152
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 64935 73 0 0 25 0 10 0 781265762 855195648 25343 4294967295 134512640 134569956 3221224368 3221214152 1076461382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25343 13086 16 0 208772 0
vsize: 835152
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 65846 74 0 0 25 0 10 0 781265762 855195648 25370 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25370 13086 16 0 208772 0
vsize: 835152
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 66758 74 0 0 21 0 10 0 781265762 855195648 25396 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25396 13086 16 0 208772 0
vsize: 835152
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 67670 74 0 0 25 0 10 0 781265762 855195648 25422 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25422 13086 16 0 208772 0
vsize: 835152
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 68582 75 0 0 25 0 10 0 781265762 855195648 25448 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25448 13086 16 0 208772 0
vsize: 835152
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 69493 76 0 0 25 0 10 0 781265762 855195648 25474 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25474 13086 16 0 208772 0
vsize: 835152
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 70404 76 0 0 25 0 10 0 781265762 855195648 25500 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25500 13086 16 0 208772 0
vsize: 835152
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 71314 76 0 0 25 0 10 0 781265762 855195648 25525 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25525 13086 16 0 208772 0
vsize: 835152
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 72224 77 0 0 25 0 10 0 781265762 855195648 25550 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25550 13086 16 0 208772 0
vsize: 835152
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 73134 77 0 0 20 0 10 0 781265762 855195648 25576 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25576 13086 16 0 208772 0
vsize: 835152
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 74043 78 0 0 24 0 10 0 781265762 855195648 25601 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25601 13086 16 0 208772 0
vsize: 835152
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 74956 79 0 0 25 0 10 0 781265762 855195648 25624 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25624 13086 16 0 208772 0
vsize: 835152
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 75866 79 0 0 25 0 10 0 781265762 855195648 25649 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25649 13086 16 0 208772 0
vsize: 835152
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 76774 79 0 0 25 0 10 0 781265762 855195648 25673 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25673 13086 16 0 208772 0
vsize: 835152
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 77681 80 0 0 25 0 10 0 781265762 855195648 25697 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25697 13086 16 0 208772 0
vsize: 835152
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 78590 80 0 0 25 0 10 0 781265762 855195648 25722 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25722 13086 16 0 208772 0
vsize: 835152
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 79497 81 0 0 25 0 10 0 781265762 855195648 25746 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25746 13086 16 0 208772 0
vsize: 835152
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 80404 82 0 0 25 0 10 0 781265762 855195648 25770 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25770 13086 16 0 208772 0
vsize: 835152
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 81311 82 0 0 25 0 10 0 781265762 855195648 25795 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25795 13086 16 0 208772 0
vsize: 835152
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 82221 83 0 0 25 0 10 0 781265762 855195648 25817 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25817 13086 16 0 208772 0
vsize: 835152
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 83131 83 0 0 25 0 10 0 781265762 855195648 25840 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25840 13086 16 0 208772 0
vsize: 835152
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 84037 84 0 0 22 0 10 0 781265762 855195648 25864 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25864 13086 16 0 208772 0
vsize: 835152
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 84943 85 0 0 21 0 10 0 781265762 855195648 25887 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25887 13086 16 0 208772 0
vsize: 835152
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 85849 85 0 0 21 0 10 0 781265762 855195648 25910 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25910 13086 16 0 208772 0
vsize: 835152
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 86754 85 0 0 19 0 10 0 781265762 855195648 25938 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25938 13086 16 0 208772 0
vsize: 835152
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 87660 86 0 0 24 0 10 0 781265762 855195648 25965 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25965 13086 16 0 208772 0
vsize: 835152
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 88567 87 0 0 23 0 10 0 781265762 855195648 25991 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 25991 13086 16 0 208772 0
vsize: 835152
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 89472 87 0 0 22 0 10 0 781265762 855195648 26017 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26017 13086 16 0 208772 0
vsize: 835152
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 90376 88 0 0 20 0 10 0 781265762 855195648 26044 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26044 13086 16 0 208772 0
vsize: 835152
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 91280 88 0 0 19 0 10 0 781265762 855195648 26069 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26069 13086 16 0 208772 0
vsize: 835152
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 92189 89 0 0 24 0 10 0 781265762 855195648 26092 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26092 13086 16 0 208772 0
vsize: 835152
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 93093 90 0 0 23 0 10 0 781265762 855195648 26117 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26117 13086 16 0 208772 0
vsize: 835152
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 93995 90 0 0 21 0 10 0 781265762 855195648 26145 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26145 13086 16 0 208772 0
vsize: 835152
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 94897 90 0 0 20 0 10 0 781265762 855195648 26172 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26172 13086 16 0 208772 0
vsize: 835152
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 95800 90 0 0 24 0 10 0 781265762 855195648 26196 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26196 13086 16 0 208772 0
vsize: 835152
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 96709 90 0 0 22 0 10 0 781265762 855195648 26221 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26221 13086 16 0 208772 0
vsize: 835152
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 97611 91 0 0 21 0 10 0 781265762 855195648 26247 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26247 13086 16 0 208772 0
vsize: 835152
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 98511 91 0 0 19 0 10 0 781265762 855195648 26271 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26271 13086 16 0 208772 0
vsize: 835152
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 99417 92 0 0 23 0 10 0 781265762 855195648 26294 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26294 13086 16 0 208772 0
vsize: 835152
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 100320 92 0 0 22 0 10 0 781265762 855195648 26317 4294967295 134512640 134569956 3221224368 3221214644 1079677981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26317 13086 16 0 208772 0
vsize: 835152
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 101220 92 0 0 20 0 10 0 781265762 855195648 26338 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26338 13086 16 0 208772 0
vsize: 835152
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 102120 93 0 0 19 0 10 0 781265762 855195648 26371 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26371 13086 16 0 208772 0
vsize: 835152
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 103027 93 0 0 23 0 10 0 781265762 855195648 26392 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26392 13086 16 0 208772 0
vsize: 835152
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 103927 94 0 0 21 0 10 0 781265762 855195648 26415 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26415 13086 16 0 208772 0
vsize: 835152
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 104826 94 0 0 19 0 10 0 781265762 855195648 26443 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26443 13086 16 0 208772 0
vsize: 835152
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 105732 95 0 0 23 0 10 0 781265762 855195648 26464 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26464 13086 16 0 208772 0
vsize: 835152
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 106630 95 0 0 21 0 10 0 781265762 855195648 26488 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26488 13086 16 0 208772 0
vsize: 835152
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 107529 96 0 0 19 0 10 0 781265762 855195648 26509 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26509 13086 16 0 208772 0
vsize: 835152
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 108433 96 0 0 23 0 10 0 781265762 855195648 26536 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26536 13086 16 0 208772 0
vsize: 835152
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 109331 97 0 0 21 0 10 0 781265762 855195648 26561 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26561 13086 16 0 208772 0
vsize: 835152
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 110227 97 0 0 19 0 10 0 781265762 855195648 26584 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26584 13086 16 0 208772 0
vsize: 835152
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 111130 98 0 0 23 0 10 0 781265762 855195648 26606 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26606 13086 16 0 208772 0
vsize: 835152
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 112028 98 0 0 20 0 10 0 781265762 855195648 26626 4294967295 134512640 134569956 3221224368 3221214252 1079300849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26626 13086 16 0 208772 0
vsize: 835152
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 112925 99 0 0 18 0 10 0 781265762 855195648 26653 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26653 13086 16 0 208772 0
vsize: 835152
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 113829 99 0 0 22 0 10 0 781265762 855195648 26675 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26675 13086 16 0 208772 0
vsize: 835152
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 114726 100 0 0 20 0 10 0 781265762 855195648 26702 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26702 13086 16 0 208772 0
vsize: 835152
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 115626 100 0 0 23 0 10 0 781265762 855195648 26718 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26718 13086 16 0 208772 0
vsize: 835152
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 116526 101 0 0 21 0 10 0 781265762 855195648 26746 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26746 13086 16 0 208772 0
vsize: 835152
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 117423 102 0 0 20 0 10 0 781265762 855195648 26770 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26770 13086 16 0 208772 0
vsize: 835152
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 8785
Raw data (stat): 8776 (java) S 8775 23514 23513 0 -1 0 18006 0 1 0 118328 102 0 0 23 0 10 0 781265762 855195648 26792 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26792 13086 16 0 208772 0
vsize: 835152
[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 119229 103 0 0 22 0 10 0 781265762 855195648 26820 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26820 13086 16 0 208772 0
vsize: 835152
[startup+1310.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8785
Raw data (stat): 8776 (java) R 8775 23514 23513 0 -1 0 18006 0 1 0 120131 103 0 0 19 0 10 0 781265762 855195648 26837 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208788 26837 13086 16 0 208772 0
vsize: 835152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8787
Raw data (stat): 8776 (java) Z 8775 23514 23513 0 -1 1036 18006 8203 1 0 120136 103 10685 43 21 0 1 0 781265762 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): 1309.68
CPU user time (s): 1308.22
CPU system time (s): 1.46978
CPU usage (%): 99.9633
Max. virtual memory (Kb): 835152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####