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/miplib2003/normalized-mps-v2-20-10-nw04.opb
MD5SUM	5a18ff1f45b144b201f1f80233dc9b6b
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	1197.16
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 21827

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-22 01:02:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12866 boxname=wulflinc18 idbench=990 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 12866
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        278372 kB
Buffers:         18768 kB
Cached:         713320 kB
SwapCached:        748 kB
Active:          74648 kB
Inactive:       659444 kB
HighTotal:      131008 kB
HighFree:         8036 kB
LowTotal:       903652 kB
LowFree:        270336 kB
SwapTotal:     2097892 kB
SwapFree:      2096168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            16440 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 01:24:08 (client local time) WITH STATUS 143 IN 1312.01 SECONDS
stats: 12866 7 1312.01 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-nw04.opb
c reading problem 
c [nbvar=87482]
c [nbconstr=87518]
#### 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.71 0.93 0.90 2/55 12921
Raw data (stat): 12921 (runsolver) R 12920 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549595825 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0014 s]
Raw data (loadavg): 0.91 0.96 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17981 0 1 0 886 47 0 0 25 0 10 0 549595825 853258240 19055 4294967295 134512640 134569956 3221224400 3221214744 1131177089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208315 19055 13073 16 0 208299 0
vsize: 833260
[startup+20.0019 s]
Raw data (loadavg): 0.92 0.96 0.91 2/64 12930
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 1782 47 0 0 25 0 10 0 549595825 854110208 19713 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208523 19713 13073 16 0 208507 0
vsize: 834092
[startup+30.0016 s]
Raw data (loadavg): 0.93 0.96 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 2678 47 0 0 25 0 10 0 549595825 854110208 20155 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208523 20155 13073 16 0 208507 0
vsize: 834092
[startup+40.0031 s]
Raw data (loadavg): 0.94 0.96 0.91 2/64 12930
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 3604 48 0 0 25 0 10 0 549595825 854110208 20388 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208523 20388 13073 16 0 208507 0
vsize: 834092
[startup+50.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 4535 48 0 0 25 0 10 0 549595825 854110208 20506 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208523 20506 13073 16 0 208507 0
vsize: 834092
[startup+60.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 5462 48 0 0 25 0 10 0 549595825 854110208 20609 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208523 20609 13073 16 0 208507 0
vsize: 834092
[startup+70.0048 s]
Raw data (loadavg): 0.96 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 6405 49 0 0 25 0 10 0 549595825 854241280 20861 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 20861 13073 16 0 208539 0
vsize: 834220
[startup+80.0053 s]
Raw data (loadavg): 0.97 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 7348 49 0 0 25 0 10 0 549595825 854241280 20944 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 20944 13073 16 0 208539 0
vsize: 834220
[startup+90.0062 s]
Raw data (loadavg): 0.97 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 8295 50 0 0 25 0 10 0 549595825 854241280 21015 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21015 13073 16 0 208539 0
vsize: 834220
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 9239 51 0 0 25 0 10 0 549595825 854241280 21085 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21085 13073 16 0 208539 0
vsize: 834220
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 10188 52 0 0 25 0 10 0 549595825 854241280 21147 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21147 13073 16 0 208539 0
vsize: 834220
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 11133 52 0 0 25 0 10 0 549595825 854241280 21209 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21209 13073 16 0 208539 0
vsize: 834220
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 12081 52 0 0 25 0 10 0 549595825 854241280 21265 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21265 13073 16 0 208539 0
vsize: 834220
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 13026 53 0 0 25 0 10 0 549595825 854241280 21322 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21322 13073 16 0 208539 0
vsize: 834220
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 13973 53 0 0 25 0 10 0 549595825 854241280 21372 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 21372 13073 16 0 208539 0
vsize: 834220
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 14919 54 0 0 25 0 10 0 549595825 854241280 21425 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21425 13073 16 0 208539 0
vsize: 834220
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 15856 54 0 0 25 0 10 0 549595825 854241280 21473 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21473 13073 16 0 208539 0
vsize: 834220
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 16782 54 0 0 25 0 10 0 549595825 854241280 21518 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21518 13073 16 0 208539 0
vsize: 834220
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12930
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 17712 55 0 0 25 0 10 0 549595825 854241280 21821 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21821 13073 16 0 208539 0
vsize: 834220
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12932
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 18657 56 0 0 25 0 10 0 549595825 854241280 21864 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21864 13073 16 0 208539 0
vsize: 834220
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12932
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 19598 56 0 0 24 0 10 0 549595825 854241280 21910 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21910 13073 16 0 208539 0
vsize: 834220
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 20542 57 0 0 25 0 10 0 549595825 854241280 21950 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21950 13073 16 0 208539 0
vsize: 834220
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 21483 57 0 0 25 0 10 0 549595825 854241280 21990 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 21990 13073 16 0 208539 0
vsize: 834220
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 22425 57 0 0 25 0 10 0 549595825 854241280 22031 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22031 13073 16 0 208539 0
vsize: 834220
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 23367 58 0 0 25 0 10 0 549595825 854241280 22069 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22069 13073 16 0 208539 0
vsize: 834220
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 24307 58 0 0 25 0 10 0 549595825 854241280 22108 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22108 13073 16 0 208539 0
vsize: 834220
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 25248 59 0 0 25 0 10 0 549595825 854241280 22144 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22144 13073 16 0 208539 0
vsize: 834220
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 26190 60 0 0 25 0 10 0 549595825 854241280 22180 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22180 13073 16 0 208539 0
vsize: 834220
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 27128 60 0 0 25 0 10 0 549595825 854241280 22217 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 22217 13073 16 0 208539 0
vsize: 834220
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 28068 60 0 0 25 0 10 0 549595825 854241280 22251 4294967295 134512640 134569956 3221224400 3221214828 1131148915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22251 13073 16 0 208539 0
vsize: 834220
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 29008 61 0 0 25 0 10 0 549595825 854241280 22285 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22285 13073 16 0 208539 0
vsize: 834220
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 29943 61 0 0 25 0 10 0 549595825 854241280 22320 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22320 13073 16 0 208539 0
vsize: 834220
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 30883 61 0 0 25 0 10 0 549595825 854241280 22352 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22352 13073 16 0 208539 0
vsize: 834220
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 31821 62 0 0 25 0 10 0 549595825 854241280 22384 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22384 13073 16 0 208539 0
vsize: 834220
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 32755 63 0 0 24 0 10 0 549595825 854241280 22419 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22419 13073 16 0 208539 0
vsize: 834220
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 33693 63 0 0 25 0 10 0 549595825 854241280 22450 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22450 13073 16 0 208539 0
vsize: 834220
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 34630 64 0 0 25 0 10 0 549595825 854241280 22480 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22480 13073 16 0 208539 0
vsize: 834220
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 35567 64 0 0 25 0 10 0 549595825 854241280 22511 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22511 13073 16 0 208539 0
vsize: 834220
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 36500 64 0 0 24 0 10 0 549595825 854241280 22542 4294967295 134512640 134569956 3221224400 3221214748 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22542 13073 16 0 208539 0
vsize: 834220
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 37436 64 0 0 25 0 10 0 549595825 854241280 22571 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22571 13073 16 0 208539 0
vsize: 834220
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 38372 64 0 0 25 0 10 0 549595825 854241280 22600 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22600 13073 16 0 208539 0
vsize: 834220
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 39307 65 0 0 25 0 10 0 549595825 854241280 22629 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22629 13073 16 0 208539 0
vsize: 834220
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 40242 65 0 0 25 0 10 0 549595825 854241280 22657 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22657 13073 16 0 208539 0
vsize: 834220
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 41175 65 0 0 25 0 10 0 549595825 854241280 22685 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22685 13073 16 0 208539 0
vsize: 834220
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 42105 66 0 0 24 0 10 0 549595825 854241280 22714 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22714 13073 16 0 208539 0
vsize: 834220
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 43039 66 0 0 25 0 10 0 549595825 854241280 22742 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22742 13073 16 0 208539 0
vsize: 834220
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 43971 66 0 0 17 0 10 0 549595825 854241280 22768 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22768 13073 16 0 208539 0
vsize: 834220
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 44904 67 0 0 25 0 10 0 549595825 854241280 22795 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22795 13073 16 0 208539 0
vsize: 834220
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12934
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 45837 67 0 0 25 0 10 0 549595825 854241280 22821 4294967295 134512640 134569956 3221224400 3221214368 1079668418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22821 13073 16 0 208539 0
vsize: 834220
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 46767 68 0 0 25 0 10 0 549595825 854241280 22848 4294967295 134512640 134569956 3221224400 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22848 13073 16 0 208539 0
vsize: 834220
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 47699 69 0 0 25 0 10 0 549595825 854241280 22873 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22873 13073 16 0 208539 0
vsize: 834220
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 48630 69 0 0 25 0 10 0 549595825 854241280 22899 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22899 13073 16 0 208539 0
vsize: 834220
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 49561 69 0 0 25 0 10 0 549595825 854241280 22925 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22925 13073 16 0 208539 0
vsize: 834220
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 50492 69 0 0 25 0 10 0 549595825 854241280 22950 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22950 13073 16 0 208539 0
vsize: 834220
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 51419 69 0 0 25 0 10 0 549595825 854241280 22975 4294967295 134512640 134569956 3221224400 3221213352 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 22975 13073 16 0 208539 0
vsize: 834220
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 52347 70 0 0 25 0 10 0 549595825 854241280 23000 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23000 13073 16 0 208539 0
vsize: 834220
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 53275 70 0 0 24 0 10 0 549595825 854241280 23026 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23026 13073 16 0 208539 0
vsize: 834220
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 54203 71 0 0 24 0 10 0 549595825 854241280 23050 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23050 13073 16 0 208539 0
vsize: 834220
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 55131 71 0 0 24 0 10 0 549595825 854241280 23074 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23074 13073 16 0 208539 0
vsize: 834220
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 56058 72 0 0 24 0 10 0 549595825 854241280 23097 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23097 13073 16 0 208539 0
vsize: 834220
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 56985 72 0 0 24 0 10 0 549595825 854241280 23121 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23121 13073 16 0 208539 0
vsize: 834220
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 57912 72 0 0 24 0 10 0 549595825 854241280 23144 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23144 13073 16 0 208539 0
vsize: 834220
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 58840 73 0 0 25 0 10 0 549595825 854241280 23166 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23166 13073 16 0 208539 0
vsize: 834220
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 59768 73 0 0 25 0 10 0 549595825 854241280 23189 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23189 13073 16 0 208539 0
vsize: 834220
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 60696 73 0 0 25 0 10 0 549595825 854241280 23212 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23212 13073 16 0 208539 0
vsize: 834220
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 61622 74 0 0 25 0 10 0 549595825 854241280 23234 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 23234 13073 16 0 208539 0
vsize: 834220
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 62540 74 0 0 25 0 10 0 549595825 854241280 24321 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24321 13073 16 0 208539 0
vsize: 834220
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 63466 74 0 0 25 0 10 0 549595825 854241280 24321 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24321 13073 16 0 208539 0
vsize: 834220
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 64383 75 0 0 25 0 10 0 549595825 854241280 24329 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24329 13073 16 0 208539 0
vsize: 834220
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 65298 76 0 0 24 0 10 0 549595825 854241280 24351 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24351 13073 16 0 208539 0
vsize: 834220
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 66219 76 0 0 25 0 10 0 549595825 854241280 24371 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24371 13073 16 0 208539 0
vsize: 834220
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 67131 77 0 0 25 0 10 0 549595825 854241280 24393 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24393 13073 16 0 208539 0
vsize: 834220
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 68046 77 0 0 25 0 10 0 549595825 854241280 24414 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24414 13073 16 0 208539 0
vsize: 834220
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 68960 77 0 0 20 0 10 0 549595825 854241280 24436 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24436 13073 16 0 208539 0
vsize: 834220
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 69878 77 0 0 25 0 10 0 549595825 854241280 24455 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24455 13073 16 0 208539 0
vsize: 834220
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 70792 78 0 0 25 0 10 0 549595825 854241280 24477 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24477 13073 16 0 208539 0
vsize: 834220
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 71704 78 0 0 25 0 10 0 549595825 854241280 24498 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24498 13073 16 0 208539 0
vsize: 834220
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 72622 78 0 0 25 0 10 0 549595825 854241280 24518 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24518 13073 16 0 208539 0
vsize: 834220
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12936
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 73535 78 0 0 25 0 10 0 549595825 854241280 24538 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24538 13073 16 0 208539 0
vsize: 834220
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 74447 79 0 0 25 0 10 0 549595825 854241280 24565 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24565 13073 16 0 208539 0
vsize: 834220
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 75364 80 0 0 25 0 10 0 549595825 854241280 24584 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24584 13073 16 0 208539 0
vsize: 834220
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 76274 80 0 0 25 0 10 0 549595825 854241280 24613 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24613 13073 16 0 208539 0
vsize: 834220
[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 77185 80 0 0 25 0 10 0 549595825 854241280 24638 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24638 13073 16 0 208539 0
vsize: 834220
[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 78100 81 0 0 25 0 10 0 549595825 854241280 24660 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24660 13073 16 0 208539 0
vsize: 834220
[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 79010 81 0 0 25 0 10 0 549595825 854241280 24682 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24682 13073 16 0 208539 0
vsize: 834220
[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 79920 81 0 0 25 0 10 0 549595825 854241280 24702 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24702 13073 16 0 208539 0
vsize: 834220
[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 80835 82 0 0 25 0 10 0 549595825 854241280 24731 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24731 13073 16 0 208539 0
vsize: 834220
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 81743 82 0 0 21 0 10 0 549595825 854241280 24753 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24753 13073 16 0 208539 0
vsize: 834220
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 82651 83 0 0 24 0 10 0 549595825 854241280 24776 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24776 13073 16 0 208539 0
vsize: 834220
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 83566 84 0 0 25 0 10 0 549595825 854241280 24799 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24799 13073 16 0 208539 0
vsize: 834220
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 84474 84 0 0 25 0 10 0 549595825 854241280 24819 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24819 13073 16 0 208539 0
vsize: 834220
[startup+920.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 85389 85 0 0 25 0 10 0 549595825 854241280 24844 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24844 13073 16 0 208539 0
vsize: 834220
[startup+930.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 86297 85 0 0 21 0 10 0 549595825 854241280 24866 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24866 13073 16 0 208539 0
vsize: 834220
[startup+940.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 87205 85 0 0 24 0 10 0 549595825 854241280 24887 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24887 13073 16 0 208539 0
vsize: 834220
[startup+950.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 88117 86 0 0 25 0 10 0 549595825 854241280 24911 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24911 13073 16 0 208539 0
vsize: 834220
[startup+960.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 89024 86 0 0 25 0 10 0 549595825 854241280 24934 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24934 13073 16 0 208539 0
vsize: 834220
[startup+970.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 89934 86 0 0 25 0 10 0 549595825 854241280 24955 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24955 13073 16 0 208539 0
vsize: 834220
[startup+980.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 90840 87 0 0 25 0 10 0 549595825 854241280 24977 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24977 13073 16 0 208539 0
vsize: 834220
[startup+990.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 91753 87 0 0 25 0 10 0 549595825 854241280 24998 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 24998 13073 16 0 208539 0
vsize: 834220
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 92659 87 0 0 25 0 10 0 549595825 854241280 25020 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25020 13073 16 0 208539 0
vsize: 834220
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 93564 88 0 0 25 0 10 0 549595825 854241280 25040 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25040 13073 16 0 208539 0
vsize: 834220
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 94475 88 0 0 25 0 10 0 549595825 854241280 25060 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25060 13073 16 0 208539 0
vsize: 834220
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 95380 89 0 0 24 0 10 0 549595825 854241280 25084 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25084 13073 16 0 208539 0
vsize: 834220
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 96291 89 0 0 25 0 10 0 549595825 854241280 25105 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25105 13073 16 0 208539 0
vsize: 834220
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 97195 90 0 0 24 0 10 0 549595825 854241280 25127 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25127 13073 16 0 208539 0
vsize: 834220
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 98105 90 0 0 25 0 10 0 549595825 854241280 25148 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25148 13073 16 0 208539 0
vsize: 834220
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 99009 90 0 0 24 0 10 0 549595825 854241280 25169 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25169 13073 16 0 208539 0
vsize: 834220
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 99917 91 0 0 25 0 10 0 549595825 854241280 25189 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25189 13073 16 0 208539 0
vsize: 834220
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12938
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 100821 91 0 0 25 0 10 0 549595825 854241280 25209 4294967295 134512640 134569956 3221224400 3221214832 1131168326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25209 13073 16 0 208539 0
vsize: 834220
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 101731 91 0 0 25 0 10 0 549595825 854241280 25228 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25228 13073 16 0 208539 0
vsize: 834220
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 102635 91 0 0 25 0 10 0 549595825 854241280 25245 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25245 13073 16 0 208539 0
vsize: 834220
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 103545 91 0 0 25 0 10 0 549595825 854241280 25271 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25271 13073 16 0 208539 0
vsize: 834220
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 104447 92 0 0 25 0 10 0 549595825 854241280 25290 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25290 13073 16 0 208539 0
vsize: 834220
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 105357 92 0 0 25 0 10 0 549595825 854241280 25309 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25309 13073 16 0 208539 0
vsize: 834220
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 106262 92 0 0 25 0 10 0 549595825 854241280 25325 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25325 13073 16 0 208539 0
vsize: 834220
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 107168 92 0 0 25 0 10 0 549595825 854241280 25348 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25348 13073 16 0 208539 0
vsize: 834220
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 108075 92 0 0 25 0 10 0 549595825 854241280 25370 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25370 13073 16 0 208539 0
vsize: 834220
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 108977 93 0 0 25 0 10 0 549595825 854241280 25387 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25387 13073 16 0 208539 0
vsize: 834220
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 109884 93 0 0 23 0 10 0 549595825 854241280 25409 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 25409 13073 16 0 208539 0
vsize: 834220
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 110785 93 0 0 19 0 10 0 549595825 854241280 25427 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25427 13073 16 0 208539 0
vsize: 834220
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 111688 93 0 0 22 0 10 0 549595825 854241280 25449 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25449 13073 16 0 208539 0
vsize: 834220
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 112587 94 0 0 24 0 10 0 549595825 854241280 25468 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25468 13073 16 0 208539 0
vsize: 834220
[startup+1230.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 113489 94 0 0 20 0 10 0 549595825 854241280 25485 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25485 13073 16 0 208539 0
vsize: 834220
[startup+1240.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 114394 95 0 0 23 0 10 0 549595825 854241280 25505 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25505 13073 16 0 208539 0
vsize: 834220
[startup+1250.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 115293 95 0 0 19 0 10 0 549595825 854241280 25526 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25526 13073 16 0 208539 0
vsize: 834220
[startup+1260.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 116198 95 0 0 21 0 10 0 549595825 854241280 25543 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25543 13073 16 0 208539 0
vsize: 834220
[startup+1270.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 117102 96 0 0 24 0 10 0 549595825 854241280 25562 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25562 13073 16 0 208539 0
vsize: 834220
[startup+1280.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 117999 96 0 0 19 0 10 0 549595825 854241280 25579 4294967295 134512640 134569956 3221224400 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25579 13073 16 0 208539 0
vsize: 834220
[startup+1290.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 118903 97 0 0 21 0 10 0 549595825 854241280 25596 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25596 13073 16 0 208539 0
vsize: 834220
[startup+1300.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) S 12920 20024 20023 0 -1 0 17982 0 1 0 119803 97 0 0 23 0 10 0 549595825 854241280 25609 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25609 13073 16 0 208539 0
vsize: 834220
[startup+1310.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12940
Raw data (stat): 12921 (java) R 12920 20024 20023 0 -1 0 17982 0 1 0 120705 98 0 0 20 0 10 0 549595825 854241280 25640 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208555 25640 13073 16 0 208539 0
vsize: 834220
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 12941
Raw data (stat): 12921 (java) Z 12920 20024 20023 0 -1 1036 17982 8204 1 0 120710 103 10341 45 22 0 1 0 549595825 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.21
CPU time (s): 1312.01
CPU user time (s): 1310.52
CPU system time (s): 1.48977
CPU usage (%): 100.138
Max. virtual memory (Kb): 834220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####