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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb
MD5SUM	8298f3392c738b735ea9c7e42f541654
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29694485111877
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29694485111877
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44378
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 13711

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-20 21:24:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14153 boxname=wulflinc15 idbench=1089 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 14153
/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:        758596 kB
Buffers:         33244 kB
Cached:         217588 kB
SwapCached:       2060 kB
Active:         106360 kB
Inactive:       149320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        758344 kB
SwapTotal:     2097136 kB
SwapFree:      2094988 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6812 kB
Slab:            14660 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:46:35 (client local time) WITH STATUS 143 IN 1309.86 SECONDS
stats: 14153 7 1309.86 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-n370b.opb
c reading problem 
c [nbvar=155000]
c [nbconstr=5150]
#### 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.62 0.79 0.84 2/54 24674
Raw data (stat): 24674 (runsolver) R 24673 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481433172 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.99995 s]
Raw data (loadavg): 0.68 0.79 0.84 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 888 38 0 0 25 0 10 0 481433172 853565440 19135 4294967295 134512640 134569956 3221224400 3221214704 1131197738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 19135 13073 16 0 208374 0
vsize: 833560
[startup+20.0007 s]
Raw data (loadavg): 0.80 0.81 0.85 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 1783 38 0 0 25 0 10 0 481433172 853643264 19632 4294967295 134512640 134569956 3221224400 3221214700 1130908619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 19632 13073 16 0 208393 0
vsize: 833636
[startup+30.001 s]
Raw data (loadavg): 0.83 0.82 0.85 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 2683 39 0 0 25 0 10 0 481433172 853643264 20060 4294967295 134512640 134569956 3221224400 3221214824 1131217680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20060 13073 16 0 208393 0
vsize: 833636
[startup+40.0014 s]
Raw data (loadavg): 0.85 0.83 0.85 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 3612 39 0 0 25 0 10 0 481433172 853643264 20287 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20287 13073 16 0 208393 0
vsize: 833636
[startup+50.0051 s]
Raw data (loadavg): 0.88 0.83 0.85 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 4541 40 0 0 25 0 10 0 481433172 853643264 20404 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20404 13073 16 0 208393 0
vsize: 833636
[startup+60.0058 s]
Raw data (loadavg): 0.89 0.84 0.85 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 5471 40 0 0 25 0 10 0 481433172 853643264 20507 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20507 13073 16 0 208393 0
vsize: 833636
[startup+70.0058 s]
Raw data (loadavg): 0.91 0.84 0.85 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 6416 41 0 0 25 0 10 0 481433172 853643264 20717 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20717 13073 16 0 208393 0
vsize: 833636
[startup+80.0066 s]
Raw data (loadavg): 0.92 0.85 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 7361 41 0 0 25 0 10 0 481433172 853643264 20797 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 20797 13073 16 0 208393 0
vsize: 833636
[startup+90.007 s]
Raw data (loadavg): 0.93 0.85 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 8308 41 0 0 25 0 10 0 481433172 853643264 20870 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20870 13073 16 0 208393 0
vsize: 833636
[startup+100.007 s]
Raw data (loadavg): 0.94 0.85 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 9257 42 0 0 25 0 10 0 481433172 853643264 20933 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20933 13073 16 0 208393 0
vsize: 833636
[startup+110.008 s]
Raw data (loadavg): 0.95 0.86 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 10205 42 0 0 25 0 10 0 481433172 853643264 20997 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20997 13073 16 0 208393 0
vsize: 833636
[startup+120.01 s]
Raw data (loadavg): 0.96 0.86 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 11152 42 0 0 25 0 10 0 481433172 853643264 21056 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21056 13073 16 0 208393 0
vsize: 833636
[startup+130.01 s]
Raw data (loadavg): 0.97 0.87 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 12102 43 0 0 25 0 10 0 481433172 853643264 21110 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21110 13073 16 0 208393 0
vsize: 833636
[startup+140.01 s]
Raw data (loadavg): 0.97 0.87 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 13050 43 0 0 25 0 10 0 481433172 853643264 21164 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21164 13073 16 0 208393 0
vsize: 833636
[startup+150.011 s]
Raw data (loadavg): 0.97 0.87 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 13996 44 0 0 25 0 10 0 481433172 853643264 21216 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21216 13073 16 0 208393 0
vsize: 833636
[startup+160.01 s]
Raw data (loadavg): 0.98 0.88 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 14946 44 0 0 25 0 10 0 481433172 853643264 21264 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21264 13073 16 0 208393 0
vsize: 833636
[startup+170.011 s]
Raw data (loadavg): 0.98 0.88 0.86 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 15878 45 0 0 25 0 10 0 481433172 853643264 21313 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21313 13073 16 0 208393 0
vsize: 833636
[startup+180.013 s]
Raw data (loadavg): 0.98 0.89 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 16805 45 0 0 25 0 10 0 481433172 853643264 21357 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21357 13073 16 0 208393 0
vsize: 833636
[startup+190.013 s]
Raw data (loadavg): 0.98 0.89 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 17741 45 0 0 25 0 10 0 481433172 853643264 21658 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21658 13073 16 0 208393 0
vsize: 833636
[startup+200.013 s]
Raw data (loadavg): 0.99 0.89 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 18686 46 0 0 25 0 10 0 481433172 853643264 21699 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21699 13073 16 0 208393 0
vsize: 833636
[startup+210.014 s]
Raw data (loadavg): 0.99 0.89 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 19629 47 0 0 25 0 10 0 481433172 853643264 21742 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21742 13073 16 0 208393 0
vsize: 833636
[startup+220.015 s]
Raw data (loadavg): 0.99 0.90 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 20570 47 0 0 24 0 10 0 481433172 853643264 21785 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21785 13073 16 0 208393 0
vsize: 833636
[startup+230.015 s]
Raw data (loadavg): 0.99 0.90 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 21515 48 0 0 25 0 10 0 481433172 853643264 21823 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21823 13073 16 0 208393 0
vsize: 833636
[startup+240.015 s]
Raw data (loadavg): 0.99 0.90 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 22455 49 0 0 25 0 10 0 481433172 853643264 21863 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21863 13073 16 0 208393 0
vsize: 833636
[startup+250.016 s]
Raw data (loadavg): 0.99 0.91 0.87 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 23396 49 0 0 25 0 10 0 481433172 853643264 21900 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21900 13073 16 0 208393 0
vsize: 833636
[startup+260.016 s]
Raw data (loadavg): 0.99 0.91 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 24339 49 0 0 25 0 10 0 481433172 853643264 21937 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21937 13073 16 0 208393 0
vsize: 833636
[startup+270.017 s]
Raw data (loadavg): 0.99 0.91 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 25279 50 0 0 25 0 10 0 481433172 853643264 21975 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21975 13073 16 0 208393 0
vsize: 833636
[startup+280.018 s]
Raw data (loadavg): 0.99 0.91 0.87 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 26221 51 0 0 25 0 10 0 481433172 853643264 22010 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22010 13073 16 0 208393 0
vsize: 833636
[startup+290.018 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 27160 51 0 0 25 0 10 0 481433172 853643264 22046 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22046 13073 16 0 208393 0
vsize: 833636
[startup+300.018 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 28097 52 0 0 24 0 10 0 481433172 853643264 22082 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22082 13073 16 0 208393 0
vsize: 833636
[startup+310.019 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 29038 52 0 0 25 0 10 0 481433172 853643264 22115 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22115 13073 16 0 208393 0
vsize: 833636
[startup+320.019 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 29975 53 0 0 24 0 10 0 481433172 853643264 22149 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22149 13073 16 0 208393 0
vsize: 833636
[startup+330.02 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 30915 53 0 0 25 0 10 0 481433172 853643264 22181 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22181 13073 16 0 208393 0
vsize: 833636
[startup+340.02 s]
Raw data (loadavg): 0.99 0.93 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 31851 54 0 0 25 0 10 0 481433172 853643264 22215 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22215 13073 16 0 208393 0
vsize: 833636
[startup+350.021 s]
Raw data (loadavg): 0.99 0.93 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 32789 55 0 0 25 0 10 0 481433172 853643264 22245 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22245 13073 16 0 208393 0
vsize: 833636
[startup+360.021 s]
Raw data (loadavg): 0.99 0.93 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 33724 55 0 0 25 0 10 0 481433172 853643264 22279 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22279 13073 16 0 208393 0
vsize: 833636
[startup+370.022 s]
Raw data (loadavg): 0.99 0.93 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 34663 56 0 0 25 0 10 0 481433172 853643264 22309 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22309 13073 16 0 208393 0
vsize: 833636
[startup+380.022 s]
Raw data (loadavg): 0.99 0.93 0.88 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 35596 56 0 0 25 0 10 0 481433172 853643264 22340 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22340 13073 16 0 208393 0
vsize: 833636
[startup+390.023 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 36534 57 0 0 25 0 10 0 481433172 853643264 22370 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22370 13073 16 0 208393 0
vsize: 833636
[startup+400.024 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 37467 57 0 0 25 0 10 0 481433172 853643264 22400 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22400 13073 16 0 208393 0
vsize: 833636
[startup+410.024 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 38402 57 0 0 25 0 10 0 481433172 853643264 22429 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22429 13073 16 0 208393 0
vsize: 833636
[startup+420.025 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 39335 58 0 0 25 0 10 0 481433172 853643264 22458 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22458 13073 16 0 208393 0
vsize: 833636
[startup+430.025 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 40269 58 0 0 25 0 10 0 481433172 853643264 22486 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22486 13073 16 0 208393 0
vsize: 833636
[startup+440.025 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 41200 59 0 0 24 0 10 0 481433172 853643264 22515 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22515 13073 16 0 208393 0
vsize: 833636
[startup+450.025 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 42135 60 0 0 25 0 10 0 481433172 853643264 22542 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22542 13073 16 0 208393 0
vsize: 833636
[startup+460.026 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 43066 60 0 0 25 0 10 0 481433172 853643264 22570 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22570 13073 16 0 208393 0
vsize: 833636
[startup+470.026 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 43999 60 0 0 25 0 10 0 481433172 853643264 22597 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22597 13073 16 0 208393 0
vsize: 833636
[startup+480.027 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 44933 60 0 0 25 0 10 0 481433172 853643264 22623 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22623 13073 16 0 208393 0
vsize: 833636
[startup+490.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 45862 61 0 0 25 0 10 0 481433172 853643264 22651 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22651 13073 16 0 208393 0
vsize: 833636
[startup+500.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 46794 61 0 0 25 0 10 0 481433172 853643264 22676 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22676 13073 16 0 208393 0
vsize: 833636
[startup+510.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 47722 62 0 0 24 0 10 0 481433172 853643264 22703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22703 13073 16 0 208393 0
vsize: 833636
[startup+520.028 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 48654 62 0 0 25 0 10 0 481433172 853643264 22728 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22728 13073 16 0 208393 0
vsize: 833636
[startup+530.028 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 49584 63 0 0 25 0 10 0 481433172 853643264 22753 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 22753 13073 16 0 208393 0
vsize: 833636
[startup+540.029 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 50511 63 0 0 25 0 10 0 481433172 853643264 22780 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22780 13073 16 0 208393 0
vsize: 833636
[startup+550.029 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 51440 64 0 0 25 0 10 0 481433172 853643264 22805 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22805 13073 16 0 208393 0
vsize: 833636
[startup+560.03 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 52367 65 0 0 25 0 10 0 481433172 853643264 22829 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22829 13073 16 0 208393 0
vsize: 833636
[startup+570.031 s]
Raw data (loadavg): 0.99 0.96 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 53297 65 0 0 25 0 10 0 481433172 853643264 22854 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22854 13073 16 0 208393 0
vsize: 833636
[startup+580.031 s]
Raw data (loadavg): 0.99 0.96 0.90 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 54226 66 0 0 25 0 10 0 481433172 853643264 22878 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22878 13073 16 0 208393 0
vsize: 833636
[startup+590.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 55151 66 0 0 25 0 10 0 481433172 853643264 22902 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22902 13073 16 0 208393 0
vsize: 833636
[startup+600.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 56077 67 0 0 25 0 10 0 481433172 853643264 22926 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22926 13073 16 0 208393 0
vsize: 833636
[startup+610.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 57005 67 0 0 25 0 10 0 481433172 853643264 22949 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22949 13073 16 0 208393 0
vsize: 833636
[startup+620.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 57933 68 0 0 25 0 10 0 481433172 853643264 22972 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22972 13073 16 0 208393 0
vsize: 833636
[startup+630.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 58856 68 0 0 25 0 10 0 481433172 853643264 22996 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22996 13073 16 0 208393 0
vsize: 833636
[startup+640.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 59783 68 0 0 25 0 10 0 481433172 853643264 23019 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 23019 13073 16 0 208393 0
vsize: 833636
[startup+650.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 60710 69 0 0 25 0 10 0 481433172 853643264 23045 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 23045 13073 16 0 208393 0
vsize: 833636
[startup+660.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 61628 69 0 0 25 0 10 0 481433172 853643264 24077 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24077 13073 16 0 208393 0
vsize: 833636
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 62552 69 0 0 25 0 10 0 481433172 853643264 24079 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24079 13073 16 0 208393 0
vsize: 833636
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 63469 70 0 0 25 0 10 0 481433172 853643264 24104 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24104 13073 16 0 208393 0
vsize: 833636
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 64386 70 0 0 25 0 10 0 481433172 853643264 24129 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24129 13073 16 0 208393 0
vsize: 833636
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 65302 71 0 0 25 0 10 0 481433172 853643264 24154 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24154 13073 16 0 208393 0
vsize: 833636
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 66217 71 0 0 25 0 10 0 481433172 853643264 24180 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24180 13073 16 0 208393 0
vsize: 833636
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 67132 71 0 0 25 0 10 0 481433172 853643264 24207 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24207 13073 16 0 208393 0
vsize: 833636
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 68048 71 0 0 25 0 10 0 481433172 853643264 24229 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24229 13073 16 0 208393 0
vsize: 833636
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 68963 71 0 0 25 0 10 0 481433172 853643264 24250 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24250 13073 16 0 208393 0
vsize: 833636
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 69876 72 0 0 25 0 10 0 481433172 853643264 24282 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24282 13073 16 0 208393 0
vsize: 833636
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 70790 73 0 0 25 0 10 0 481433172 853643264 24306 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24306 13073 16 0 208393 0
vsize: 833636
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 71700 73 0 0 25 0 10 0 481433172 853643264 24330 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24330 13073 16 0 208393 0
vsize: 833636
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 72612 73 0 0 24 0 10 0 481433172 853643264 24352 4294967295 134512640 134569956 3221224400 3221214804 1080204144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24352 13073 16 0 208393 0
vsize: 833636
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 73526 73 0 0 25 0 10 0 481433172 853643264 24383 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24383 13073 16 0 208393 0
vsize: 833636
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 74438 74 0 0 24 0 10 0 481433172 853643264 24405 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24405 13073 16 0 208393 0
vsize: 833636
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 75350 74 0 0 24 0 10 0 481433172 853643264 24428 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24428 13073 16 0 208393 0
vsize: 833636
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 76261 75 0 0 24 0 10 0 481433172 853643264 24455 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24455 13073 16 0 208393 0
vsize: 833636
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 77172 75 0 0 24 0 10 0 481433172 853643264 24479 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24479 13073 16 0 208393 0
vsize: 833636
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 78083 75 0 0 24 0 10 0 481433172 853643264 24498 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24498 13073 16 0 208393 0
vsize: 833636
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 78995 76 0 0 24 0 10 0 481433172 853643264 24523 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24523 13073 16 0 208393 0
vsize: 833636
[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 79908 76 0 0 25 0 10 0 481433172 853643264 24541 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24541 13073 16 0 208393 0
vsize: 833636
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 80822 76 0 0 25 0 10 0 481433172 853643264 24571 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24571 13073 16 0 208393 0
vsize: 833636
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 81732 76 0 0 25 0 10 0 481433172 853643264 24592 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24592 13073 16 0 208393 0
vsize: 833636
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 82642 77 0 0 25 0 10 0 481433172 853643264 24617 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24617 13073 16 0 208393 0
vsize: 833636
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 83551 77 0 0 25 0 10 0 481433172 853643264 24640 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24640 13073 16 0 208393 0
vsize: 833636
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 84461 78 0 0 25 0 10 0 481433172 853643264 24660 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24660 13073 16 0 208393 0
vsize: 833636
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 85370 78 0 0 25 0 10 0 481433172 853643264 24685 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24685 13073 16 0 208393 0
vsize: 833636
[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 86278 78 0 0 25 0 10 0 481433172 853643264 24704 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24704 13073 16 0 208393 0
vsize: 833636
[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 87187 79 0 0 25 0 10 0 481433172 853643264 24730 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24730 13073 16 0 208393 0
vsize: 833636
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 88094 79 0 0 25 0 10 0 481433172 853643264 24754 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24754 13073 16 0 208393 0
vsize: 833636
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 89000 80 0 0 25 0 10 0 481433172 853643264 24774 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24774 13073 16 0 208393 0
vsize: 833636
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 89907 80 0 0 24 0 10 0 481433172 853643264 24797 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24797 13073 16 0 208393 0
vsize: 833636
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 90816 81 0 0 25 0 10 0 481433172 853643264 24815 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24815 13073 16 0 208393 0
vsize: 833636
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 91727 81 0 0 25 0 10 0 481433172 853643264 24838 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24838 13073 16 0 208393 0
vsize: 833636
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 92633 82 0 0 25 0 10 0 481433172 853643264 24858 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24858 13073 16 0 208393 0
vsize: 833636
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 93538 83 0 0 25 0 10 0 481433172 853643264 24876 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24876 13073 16 0 208393 0
vsize: 833636
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 94444 83 0 0 25 0 10 0 481433172 853643264 24904 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24904 13073 16 0 208393 0
vsize: 833636
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 95351 84 0 0 25 0 10 0 481433172 853643264 24923 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24923 13073 16 0 208393 0
vsize: 833636
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 96256 84 0 0 24 0 10 0 481433172 853643264 24947 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24947 13073 16 0 208393 0
vsize: 833636
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 97161 84 0 0 24 0 10 0 481433172 853643264 24968 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24968 13073 16 0 208393 0
vsize: 833636
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 98068 84 0 0 25 0 10 0 481433172 853643264 24989 4294967295 134512640 134569956 3221224400 3221214176 1076874341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24989 13073 16 0 208393 0
vsize: 833636
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 98970 84 0 0 25 0 10 0 481433172 853643264 25010 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25010 13073 16 0 208393 0
vsize: 833636
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 99874 85 0 0 25 0 10 0 481433172 853643264 25032 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25032 13073 16 0 208393 0
vsize: 833636
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 100776 85 0 0 19 0 10 0 481433172 853643264 25052 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25052 13073 16 0 208393 0
vsize: 833636
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 101682 85 0 0 24 0 10 0 481433172 853643264 25070 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25070 13073 16 0 208393 0
vsize: 833636
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 102588 85 0 0 23 0 10 0 481433172 853643264 25090 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25090 13073 16 0 208393 0
vsize: 833636
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 103490 85 0 0 22 0 10 0 481433172 853643264 25112 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25112 13073 16 0 208393 0
vsize: 833636
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 104391 85 0 0 20 0 10 0 481433172 853643264 25132 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25132 13073 16 0 208393 0
vsize: 833636
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 105293 85 0 0 18 0 10 0 481433172 853643264 25149 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25149 13073 16 0 208393 0
vsize: 833636
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 106200 85 0 0 24 0 10 0 481433172 853643264 25173 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25173 13073 16 0 208393 0
vsize: 833636
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 107101 86 0 0 22 0 10 0 481433172 853643264 25192 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25192 13073 16 0 208393 0
vsize: 833636
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 108002 86 0 0 19 0 10 0 481433172 853643264 25209 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25209 13073 16 0 208393 0
vsize: 833636
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 108905 86 0 0 24 0 10 0 481433172 853643264 25231 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25231 13073 16 0 208393 0
vsize: 833636
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 109807 86 0 0 22 0 10 0 481433172 853643264 25251 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25251 13073 16 0 208393 0
vsize: 833636
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 110704 86 0 0 20 0 10 0 481433172 853643264 25271 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25271 13073 16 0 208393 0
vsize: 833636
[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 111603 86 0 0 19 0 10 0 481433172 853643264 25291 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25291 13073 16 0 208393 0
vsize: 833636
[startup+1220.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) S 24673 29151 29150 0 -1 0 17975 0 1 0 112505 86 0 0 23 0 10 0 481433172 853643264 25306 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25306 13073 16 0 208393 0
vsize: 833636
[startup+1230.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 113409 86 0 0 22 0 10 0 481433172 853643264 25322 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25322 13073 16 0 208393 0
vsize: 833636
[startup+1240.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 114308 86 0 0 20 0 10 0 481433172 853643264 25338 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25338 13073 16 0 208393 0
vsize: 833636
[startup+1250.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 115206 87 0 0 19 0 10 0 481433172 853643264 25367 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25367 13073 16 0 208393 0
vsize: 833636
[startup+1260.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 116112 87 0 0 23 0 10 0 481433172 853643264 25382 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25382 13073 16 0 208393 0
vsize: 833636
[startup+1270.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 117010 87 0 0 21 0 10 0 481433172 853643264 25407 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25407 13073 16 0 208393 0
vsize: 833636
[startup+1280.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 117909 87 0 0 19 0 10 0 481433172 853643264 25423 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25423 13073 16 0 208393 0
vsize: 833636
[startup+1290.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 118815 87 0 0 24 0 10 0 481433172 853643264 25451 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25451 13073 16 0 208393 0
vsize: 833636
[startup+1300.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 119717 87 0 0 22 0 10 0 481433172 853643264 25469 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25469 13073 16 0 208393 0
vsize: 833636
[startup+1310.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24683
Raw data (stat): 24674 (java) R 24673 29151 29150 0 -1 0 17975 0 1 0 120620 87 0 0 21 0 10 0 481433172 853643264 25489 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 25489 13073 16 0 208393 0
vsize: 833636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24684
Raw data (stat): 24674 (java) Z 24673 29151 29150 0 -1 1036 17975 7205 1 0 120623 87 10233 42 21 0 1 0 481433172 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.16
CPU time (s): 1309.86
CPU user time (s): 1308.56
CPU system time (s): 1.2978
CPU usage (%): 99.9772
Max. virtual memory (Kb): 833636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####