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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb
MD5SUM	493fb4fa67dc1b7120e0eba521ce7d8c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-60000
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	8589934592
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	22548578283
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.2614
Number of variables	1440
Total number of constraints	49
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	49
Minimum length of a constraint	60
Maximum length of a constraint	120
Trace number 23006

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-22 04:07:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11163 boxname=wulflinc29 idbench=859 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  493fb4fa67dc1b7120e0eba521ce7d8c  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-sc50a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-sc50a.opb
IDLAUNCH: 11163
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        184896 kB
Buffers:         30564 kB
Cached:         795964 kB
SwapCached:        556 kB
Active:          59040 kB
Inactive:       769488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        184644 kB
SwapTotal:     2097892 kB
SwapFree:      2096428 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15516 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 04:28:19 (client local time) WITH STATUS 143 IN 1260.56 SECONDS
stats: 11163 7 1260.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-sc50a.opb
c reading problem 
c [nbvar=1440]
c [nbconstr=49]
c time 3.28
c #vars     1440
c #clauses  69
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=0
c Current CPU time (ms) : 4.391
c starts	: 1
c conflicts	: 0
c decisions	: 249
c propagations	: 1440
c inspects	: 1838
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.82 0.87 0.88 2/54 16330
Raw data (stat): 16330 (runsolver) R 16329 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550712850 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+10.0013 s]
Raw data (loadavg): 1.00 0.91 0.89 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18065 3 1 0 615 42 0 0 25 0 11 0 550712850 862310400 21092 4294967295 134512640 134569956 3221224400 3221214416 1131196917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210525 21092 13073 16 0 210509 0
vsize: 842100
[startup+20.003 s]
Raw data (loadavg): 1.00 0.91 0.89 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18068 3 1 0 1571 42 0 0 25 0 11 0 550712850 865423360 21875 4294967295 134512640 134569956 3221224400 3221214832 1131317660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 21875 13073 16 0 211269 0
vsize: 845140
[startup+30.0033 s]
Raw data (loadavg): 1.00 0.91 0.89 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 2530 42 0 0 25 0 11 0 550712850 865423360 22280 4294967295 134512640 134569956 3221224400 3221214688 1131519936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 22280 13073 16 0 211269 0
vsize: 845140
[startup+40.0046 s]
Raw data (loadavg): 1.00 0.92 0.89 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 3487 43 0 0 25 0 11 0 550712850 865423360 22640 4294967295 134512640 134569956 3221224400 3221214584 1131512752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 22640 13073 16 0 211269 0
vsize: 845140
[startup+50.0054 s]
Raw data (loadavg): 1.00 0.92 0.89 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 4432 43 0 0 25 0 11 0 550712850 865423360 23203 4294967295 134512640 134569956 3221224400 3221214624 1131165053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 23203 13073 16 0 211269 0
vsize: 845140
[startup+60.0057 s]
Raw data (loadavg): 1.00 0.92 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 5384 44 0 0 25 0 11 0 550712850 865423360 23203 4294967295 134512640 134569956 3221224400 3221214800 1131393377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 23203 13073 16 0 211269 0
vsize: 845140
[startup+70.0059 s]
Raw data (loadavg): 1.00 0.92 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 6329 44 0 0 25 0 11 0 550712850 865423360 23400 4294967295 134512640 134569956 3221224400 3221214040 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 23400 13073 16 0 211269 0
vsize: 845140
[startup+80.0078 s]
Raw data (loadavg): 1.00 0.92 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 7272 44 0 0 25 0 11 0 550712850 865423360 23566 4294967295 134512640 134569956 3221224400 3221214688 1131519981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 23566 13073 16 0 211269 0
vsize: 845140
[startup+90.008 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 8215 45 0 0 25 0 11 0 550712850 865423360 23727 4294967295 134512640 134569956 3221224400 3221214648 1131595177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 23727 13073 16 0 211269 0
vsize: 845140
[startup+100.009 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 9158 45 0 0 24 0 11 0 550712850 865423360 23903 4294967295 134512640 134569956 3221224400 3221214648 1131595236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 23903 13073 16 0 211269 0
vsize: 845140
[startup+110.01 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 10111 45 0 0 25 0 11 0 550712850 865423360 24037 4294967295 134512640 134569956 3221224400 3221214800 1131393813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 24037 13073 16 0 211269 0
vsize: 845140
[startup+120.01 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 16341
Raw data (stat): 16330 (java) S 16329 27222 27221 0 -1 0 18069 3 1 0 11051 46 0 0 25 0 11 0 550712850 865423360 24238 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 24238 13073 16 0 211269 0
vsize: 845140
[startup+130.012 s]
Raw data (loadavg): 1.00 0.93 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 12001 46 0 0 25 0 11 0 550712850 865423360 24397 4294967295 134512640 134569956 3221224400 3221214696 1131181726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 24397 13073 16 0 211269 0
vsize: 845140
[startup+140.012 s]
Raw data (loadavg): 1.00 0.94 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 12947 47 0 0 25 0 11 0 550712850 865423360 24559 4294967295 134512640 134569956 3221224400 3221214596 1131196679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 24559 13073 16 0 211269 0
vsize: 845140
[startup+150.013 s]
Raw data (loadavg): 1.00 0.94 0.90 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 13888 47 0 0 25 0 11 0 550712850 865423360 24772 4294967295 134512640 134569956 3221224400 3221214176 1131598595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 24772 13073 16 0 211269 0
vsize: 845140
[startup+160.013 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 14841 47 0 0 25 0 11 0 550712850 865423360 24919 4294967295 134512640 134569956 3221224400 3221214536 1131463343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 24919 13073 16 0 211269 0
vsize: 845140
[startup+170.014 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 15795 47 0 0 25 0 11 0 550712850 865423360 25074 4294967295 134512640 134569956 3221224400 3221214600 1131198406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 25074 13073 16 0 211269 0
vsize: 845140
[startup+180.014 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 16756 48 0 0 25 0 11 0 550712850 865423360 25224 4294967295 134512640 134569956 3221224400 3221214696 1131181199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 25224 13073 16 0 211269 0
vsize: 845140
[startup+190.017 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 17711 48 0 0 25 0 11 0 550712850 865423360 25376 4294967295 134512640 134569956 3221224400 3221214696 1131181823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 25376 13073 16 0 211269 0
vsize: 845140
[startup+200.017 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 18660 49 0 0 25 0 11 0 550712850 865423360 25489 4294967295 134512640 134569956 3221224400 3221214624 1131165086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 25489 13073 16 0 211269 0
vsize: 845140
[startup+210.017 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 19616 49 0 0 25 0 11 0 550712850 865423360 25600 4294967295 134512640 134569956 3221224400 3221214592 1131181793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 25600 13073 16 0 211269 0
vsize: 845140
[startup+220.036 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 20575 49 0 0 25 0 11 0 550712850 865423360 25767 4294967295 134512640 134569956 3221224400 3221214696 1131181053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 25767 13073 16 0 211269 0
vsize: 845140
[startup+230.146 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 21545 49 0 0 25 0 11 0 550712850 865423360 25917 4294967295 134512640 134569956 3221224400 3221214316 1131596432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 25917 13073 16 0 211269 0
vsize: 845140
[startup+240.147 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 22507 50 0 0 25 0 11 0 550712850 865423360 26044 4294967295 134512640 134569956 3221224400 3221214696 1131181781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26044 13073 16 0 211269 0
vsize: 845140
[startup+250.152 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 23475 51 0 0 25 0 11 0 550712850 865423360 26152 4294967295 134512640 134569956 3221224400 3221214608 1131507715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26152 13073 16 0 211269 0
vsize: 845140
[startup+260.16 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 24441 51 0 0 25 0 11 0 550712850 865423360 26233 4294967295 134512640 134569956 3221224400 3221214696 1131181125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 26233 13073 16 0 211269 0
vsize: 845140
[startup+270.161 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 25399 51 0 0 25 0 11 0 550712850 865423360 26359 4294967295 134512640 134569956 3221224400 3221214112 1131598794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26359 13073 16 0 211269 0
vsize: 845140
[startup+280.162 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 26362 52 0 0 25 0 11 0 550712850 865423360 26436 4294967295 134512640 134569956 3221224400 3221214840 1131624035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26436 13073 16 0 211269 0
vsize: 845140
[startup+290.163 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 27323 52 0 0 25 0 11 0 550712850 865423360 26507 4294967295 134512640 134569956 3221224400 3221214696 1131181419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26507 13073 16 0 211269 0
vsize: 845140
[startup+300.163 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 28284 52 0 0 25 0 11 0 550712850 865423360 26600 4294967295 134512640 134569956 3221224400 3221214540 1131596432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26600 13073 16 0 211269 0
vsize: 845140
[startup+310.163 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 29244 53 0 0 25 0 11 0 550712850 865423360 26717 4294967295 134512640 134569956 3221224400 3221214680 1131323151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26717 13073 16 0 211269 0
vsize: 845140
[startup+320.163 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 30197 53 0 0 25 0 11 0 550712850 865423360 26849 4294967295 134512640 134569956 3221224400 3221214696 1131180969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26849 13073 16 0 211269 0
vsize: 845140
[startup+330.165 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 31159 53 0 0 25 0 11 0 550712850 865423360 26979 4294967295 134512640 134569956 3221224400 3221214080 1131598589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 26979 13073 16 0 211269 0
vsize: 845140
[startup+340.166 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 32108 54 0 0 24 0 11 0 550712850 865423360 27170 4294967295 134512640 134569956 3221224400 3221214472 1131196901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 27170 13073 16 0 211269 0
vsize: 845140
[startup+350.166 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 33067 54 0 0 25 0 11 0 550712850 865423360 27300 4294967295 134512640 134569956 3221224400 3221214960 1131645457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 27300 13073 16 0 211269 0
vsize: 845140
[startup+360.166 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 34035 54 0 0 24 0 11 0 550712850 865423360 27407 4294967295 134512640 134569956 3221224400 3221214056 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 27407 13073 16 0 211269 0
vsize: 845140
[startup+370.166 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 34999 55 0 0 25 0 11 0 550712850 865423360 27548 4294967295 134512640 134569956 3221224400 3221214664 1131519955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 27548 13073 16 0 211269 0
vsize: 845140
[startup+380.167 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 35965 55 0 0 25 0 11 0 550712850 865423360 27669 4294967295 134512640 134569956 3221224400 3221213984 1131634018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 27669 13073 16 0 211269 0
vsize: 845140
[startup+390.168 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 36935 55 0 0 25 0 11 0 550712850 865423360 27754 4294967295 134512640 134569956 3221224400 3221214664 1131527738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 27754 13073 16 0 211269 0
vsize: 845140
[startup+400.168 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 37905 56 0 0 25 0 11 0 550712850 865423360 27838 4294967295 134512640 134569956 3221224400 3221214472 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 27838 13073 16 0 211269 0
vsize: 845140
[startup+410.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 38869 56 0 0 25 0 11 0 550712850 865423360 27935 4294967295 134512640 134569956 3221224400 3221214696 1131181000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 27935 13073 16 0 211269 0
vsize: 845140
[startup+420.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 39841 56 0 0 25 0 11 0 550712850 865423360 28030 4294967295 134512640 134569956 3221224400 3221214496 1131595324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28030 13073 16 0 211269 0
vsize: 845140
[startup+430.171 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 40812 56 0 0 25 0 11 0 550712850 865423360 28106 4294967295 134512640 134569956 3221224400 3221214496 1131595324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28106 13073 16 0 211269 0
vsize: 845140
[startup+440.171 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 41787 56 0 0 25 0 11 0 550712850 865423360 28155 4294967295 134512640 134569956 3221224400 3221213776 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28155 13073 16 0 211269 0
vsize: 845140
[startup+450.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 42753 57 0 0 25 0 11 0 550712850 865423360 28253 4294967295 134512640 134569956 3221224400 3221214792 1131287439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 28253 13073 16 0 211269 0
vsize: 845140
[startup+460.171 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 43724 57 0 0 25 0 11 0 550712850 865423360 28329 4294967295 134512640 134569956 3221224400 3221214112 1131596433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28329 13073 16 0 211269 0
vsize: 845140
[startup+470.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 44686 57 0 0 25 0 11 0 550712850 865423360 28384 4294967295 134512640 134569956 3221224400 3221214132 1131597312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28384 13073 16 0 211269 0
vsize: 845140
[startup+480.173 s]
Raw data (loadavg): 1.08 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 45653 57 0 0 25 0 11 0 550712850 865423360 28429 4294967295 134512640 134569956 3221224400 3221213944 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28429 13073 16 0 211269 0
vsize: 845140
[startup+490.173 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 46617 58 0 0 25 0 11 0 550712850 865423360 28492 4294967295 134512640 134569956 3221224400 3221214696 1131181234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28492 13073 16 0 211269 0
vsize: 845140
[startup+500.173 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 47579 58 0 0 25 0 11 0 550712850 865423360 28569 4294967295 134512640 134569956 3221224400 3221214328 1131595324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28569 13073 16 0 211269 0
vsize: 845140
[startup+510.174 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 48540 59 0 0 25 0 11 0 550712850 865423360 28661 4294967295 134512640 134569956 3221224400 3221214908 1131609257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28661 13073 16 0 211269 0
vsize: 845140
[startup+520.174 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 49501 59 0 0 25 0 11 0 550712850 865423360 28768 4294967295 134512640 134569956 3221224400 3221213976 1131596408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28768 13073 16 0 211269 0
vsize: 845140
[startup+530.175 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 50462 59 0 0 25 0 11 0 550712850 865423360 28877 4294967295 134512640 134569956 3221224400 3221214792 1131288595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 28877 13073 16 0 211269 0
vsize: 845140
[startup+540.176 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 51413 60 0 0 25 0 11 0 550712850 865423360 29000 4294967295 134512640 134569956 3221224400 3221214696 1131180969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 29000 13073 16 0 211269 0
vsize: 845140
[startup+550.175 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 52375 60 0 0 25 0 11 0 550712850 865423360 29097 4294967295 134512640 134569956 3221224400 3221214112 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 29097 13073 16 0 211269 0
vsize: 845140
[startup+560.175 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 53325 60 0 0 25 0 11 0 550712850 865423360 29290 4294967295 134512640 134569956 3221224400 3221214664 1131519955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 29290 13073 16 0 211269 0
vsize: 845140
[startup+570.176 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 54276 60 0 0 25 0 11 0 550712850 865423360 29469 4294967295 134512640 134569956 3221224400 3221214696 1131181199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 29469 13073 16 0 211269 0
vsize: 845140
[startup+580.177 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 55236 61 0 0 25 0 11 0 550712850 865423360 29653 4294967295 134512640 134569956 3221224400 3221214696 1131181199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 29653 13073 16 0 211269 0
vsize: 845140
[startup+590.181 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 56209 61 0 0 25 0 11 0 550712850 865423360 29806 4294967295 134512640 134569956 3221224400 3221214792 1131288444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 29806 13073 16 0 211269 0
vsize: 845140
[startup+600.181 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 57186 62 0 0 25 0 11 0 550712850 865423360 29891 4294967295 134512640 134569956 3221224400 3221214472 1131196854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 29891 13073 16 0 211269 0
vsize: 845140
[startup+610.182 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 58167 62 0 0 25 0 11 0 550712850 865423360 29928 4294967295 134512640 134569956 3221224400 3221214696 1131181781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 29928 13073 16 0 211269 0
vsize: 845140
[startup+620.182 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 59144 62 0 0 25 0 11 0 550712850 865423360 29963 4294967295 134512640 134569956 3221224400 3221214696 1131180828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 29963 13073 16 0 211269 0
vsize: 845140
[startup+630.182 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 60122 62 0 0 25 0 11 0 550712850 865423360 30002 4294967295 134512640 134569956 3221224400 3221214492 1131595337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30002 13073 16 0 211269 0
vsize: 845140
[startup+640.183 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 61095 62 0 0 25 0 11 0 550712850 865423360 30061 4294967295 134512640 134569956 3221224400 3221214696 1131181141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30061 13073 16 0 211269 0
vsize: 845140
[startup+650.183 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 62068 62 0 0 24 0 11 0 550712850 865423360 30104 4294967295 134512640 134569956 3221224400 3221214656 1131323208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30104 13073 16 0 211269 0
vsize: 845140
[startup+660.183 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 63044 62 0 0 25 0 11 0 550712850 865423360 30160 4294967295 134512640 134569956 3221224400 3221214696 1131180634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30160 13073 16 0 211269 0
vsize: 845140
[startup+670.183 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 64017 62 0 0 25 0 11 0 550712850 865423360 30230 4294967295 134512640 134569956 3221224400 3221214696 1131181018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30230 13073 16 0 211269 0
vsize: 845140
[startup+680.185 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 64990 62 0 0 25 0 11 0 550712850 865423360 30306 4294967295 134512640 134569956 3221224400 3221214744 1131616948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30306 13073 16 0 211269 0
vsize: 845140
[startup+690.185 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 65967 62 0 0 25 0 11 0 550712850 865423360 30357 4294967295 134512640 134569956 3221224400 3221214444 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30357 13073 16 0 211269 0
vsize: 845140
[startup+700.185 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 66940 62 0 0 24 0 11 0 550712850 865423360 30418 4294967295 134512640 134569956 3221224400 3221214792 1131289658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30418 13073 16 0 211269 0
vsize: 845140
[startup+710.186 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 67917 62 0 0 25 0 11 0 550712850 865423360 30477 4294967295 134512640 134569956 3221224400 3221213720 1131596433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30477 13073 16 0 211269 0
vsize: 845140
[startup+720.185 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 68894 62 0 0 25 0 11 0 550712850 865423360 30525 4294967295 134512640 134569956 3221224400 3221214632 1131330594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30525 13073 16 0 211269 0
vsize: 845140
[startup+730.186 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 69865 62 0 0 25 0 11 0 550712850 865423360 30583 4294967295 134512640 134569956 3221224400 3221214208 1131595336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30583 13073 16 0 211269 0
vsize: 845140
[startup+740.186 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 70842 62 0 0 25 0 11 0 550712850 865423360 30636 4294967295 134512640 134569956 3221224400 3221214560 1131450179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30636 13073 16 0 211269 0
vsize: 845140
[startup+750.191 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) S 16329 27222 27221 0 -1 0 18069 3 1 0 71814 62 0 0 25 0 11 0 550712850 865423360 30691 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30691 13073 16 0 211269 0
vsize: 845140
[startup+760.192 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 72789 62 0 0 25 0 11 0 550712850 865423360 30769 4294967295 134512640 134569956 3221224400 3221214332 1131596432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30769 13073 16 0 211269 0
vsize: 845140
[startup+770.192 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 73765 62 0 0 25 0 11 0 550712850 865423360 30825 4294967295 134512640 134569956 3221224400 3221214280 1131596380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30825 13073 16 0 211269 0
vsize: 845140
[startup+780.193 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 74740 62 0 0 25 0 11 0 550712850 865423360 30881 4294967295 134512640 134569956 3221224400 3221214792 1131287544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30881 13073 16 0 211269 0
vsize: 845140
[startup+790.193 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 75712 62 0 0 25 0 11 0 550712850 865423360 30936 4294967295 134512640 134569956 3221224400 3221214656 1131595336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30936 13073 16 0 211269 0
vsize: 845140
[startup+800.193 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 76689 62 0 0 25 0 11 0 550712850 865423360 30977 4294967295 134512640 134569956 3221224400 3221214664 1131595248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 30977 13073 16 0 211269 0
vsize: 845140
[startup+810.193 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 77658 62 0 0 25 0 11 0 550712850 865423360 31035 4294967295 134512640 134569956 3221224400 3221214480 1131592207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 31035 13073 16 0 211269 0
vsize: 845140
[startup+820.194 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) S 16329 27222 27221 0 -1 0 18069 3 1 0 78632 63 0 0 25 0 11 0 550712850 865423360 31114 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 31114 13073 16 0 211269 0
vsize: 845140
[startup+830.195 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 79603 63 0 0 25 0 11 0 550712850 865423360 31170 4294967295 134512640 134569956 3221224400 3221214808 1131317594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 31170 13073 16 0 211269 0
vsize: 845140
[startup+840.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 80571 63 0 0 25 0 11 0 550712850 865423360 31223 4294967295 134512640 134569956 3221224400 3221214656 1131323088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 31223 13073 16 0 211269 0
vsize: 845140
[startup+850.199 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 81538 63 0 0 25 0 11 0 550712850 865423360 31340 4294967295 134512640 134569956 3221224400 3221214696 1131180582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 31340 13073 16 0 211269 0
vsize: 845140
[startup+860.199 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 82509 63 0 0 25 0 11 0 550712850 865423360 31451 4294967295 134512640 134569956 3221224400 3221213976 1131596433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 31451 13073 16 0 211269 0
vsize: 845140
[startup+870.199 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 83476 63 0 0 25 0 11 0 550712850 865423360 31541 4294967295 134512640 134569956 3221224400 3221214696 1131180969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 31541 13073 16 0 211269 0
vsize: 845140
[startup+880.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 84453 63 0 0 25 0 11 0 550712850 865423360 31587 4294967295 134512640 134569956 3221224400 3221214792 1131288424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 31587 13073 16 0 211269 0
vsize: 845140
[startup+890.201 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 85424 63 0 0 25 0 11 0 550712850 865423360 31662 4294967295 134512640 134569956 3221224400 3221214388 1131596432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 31662 13073 16 0 211269 0
vsize: 845140
[startup+900.201 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 86396 63 0 0 25 0 11 0 550712850 865423360 31764 4294967295 134512640 134569956 3221224400 3221213808 1131596331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 31764 13073 16 0 211269 0
vsize: 845140
[startup+910.201 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 87369 63 0 0 25 0 11 0 550712850 865423360 31854 4294967295 134512640 134569956 3221224400 3221214608 1131595324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 31854 13073 16 0 211269 0
vsize: 845140
[startup+920.201 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 88342 64 0 0 25 0 11 0 550712850 865423360 31908 4294967295 134512640 134569956 3221224400 3221214432 1131597333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 31908 13073 16 0 211269 0
vsize: 845140
[startup+930.202 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 89319 64 0 0 25 0 11 0 550712850 865423360 31977 4294967295 134512640 134569956 3221224400 3221214552 1131595296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 31977 13073 16 0 211269 0
vsize: 845140
[startup+940.202 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 90290 65 0 0 25 0 11 0 550712850 865423360 32042 4294967295 134512640 134569956 3221224400 3221214488 1131595336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32042 13073 16 0 211269 0
vsize: 845140
[startup+950.203 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 91262 65 0 0 25 0 11 0 550712850 865423360 32124 4294967295 134512640 134569956 3221224400 3221213944 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32124 13073 16 0 211269 0
vsize: 845140
[startup+960.203 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 92235 66 0 0 25 0 11 0 550712850 865423360 32186 4294967295 134512640 134569956 3221224400 3221214560 1131596408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32186 13073 16 0 211269 0
vsize: 845140
[startup+970.203 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 93209 66 0 0 25 0 11 0 550712850 865423360 32239 4294967295 134512640 134569956 3221224400 3221214884 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32239 13073 16 0 211269 0
vsize: 845140
[startup+980.204 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 94183 66 0 0 25 0 11 0 550712850 865423360 32300 4294967295 134512640 134569956 3221224400 3221213912 1131598768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32300 13073 16 0 211269 0
vsize: 845140
[startup+990.204 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 95158 67 0 0 25 0 11 0 550712850 865423360 32378 4294967295 134512640 134569956 3221224400 3221214272 1131595303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32378 13073 16 0 211269 0
vsize: 845140
[startup+1000.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 96134 67 0 0 25 0 11 0 550712850 865423360 32434 4294967295 134512640 134569956 3221224400 3221214792 1131287355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32434 13073 16 0 211269 0
vsize: 845140
[startup+1010.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 97115 67 0 0 25 0 11 0 550712850 865423360 32468 4294967295 134512640 134569956 3221224400 3221214140 1131595084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32468 13073 16 0 211269 0
vsize: 845140
[startup+1020.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 98090 68 0 0 25 0 11 0 550712850 865423360 32541 4294967295 134512640 134569956 3221224400 3221214664 1131519957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32541 13073 16 0 211269 0
vsize: 845140
[startup+1030.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 99071 68 0 0 25 0 11 0 550712850 865423360 32581 4294967295 134512640 134569956 3221224400 3221214164 1131596432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32581 13073 16 0 211269 0
vsize: 845140
[startup+1040.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 100047 69 0 0 25 0 11 0 550712850 865423360 32627 4294967295 134512640 134569956 3221224400 3221213968 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32627 13073 16 0 211269 0
vsize: 845140
[startup+1050.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 101023 69 0 0 25 0 11 0 550712850 865423360 32677 4294967295 134512640 134569956 3221224400 3221213888 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32677 13073 16 0 211269 0
vsize: 845140
[startup+1060.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 101998 70 0 0 25 0 11 0 550712850 865423360 32731 4294967295 134512640 134569956 3221224400 3221214680 1131435956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32731 13073 16 0 211269 0
vsize: 845140
[startup+1070.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 102974 70 0 0 25 0 11 0 550712850 865423360 32823 4294967295 134512640 134569956 3221224400 3221214664 1131595177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32823 13073 16 0 211269 0
vsize: 845140
[startup+1080.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 103954 70 0 0 25 0 11 0 550712850 865423360 32874 4294967295 134512640 134569956 3221224400 3221214696 1131180577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32874 13073 16 0 211269 0
vsize: 845140
[startup+1090.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 104930 71 0 0 25 0 11 0 550712850 865423360 32916 4294967295 134512640 134569956 3221224400 3221214616 1131596497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32916 13073 16 0 211269 0
vsize: 845140
[startup+1100.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 105905 72 0 0 25 0 11 0 550712850 865423360 32981 4294967295 134512640 134569956 3221224400 3221213968 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 32981 13073 16 0 211269 0
vsize: 845140
[startup+1110.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 106875 72 0 0 25 0 11 0 550712850 865423360 33029 4294967295 134512640 134569956 3221224400 3221214664 1131519952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33029 13073 16 0 211269 0
vsize: 845140
[startup+1120.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 107851 72 0 0 25 0 11 0 550712850 865423360 33081 4294967295 134512640 134569956 3221224400 3221214160 1131595303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211285 33081 13073 16 0 211269 0
vsize: 845140
[startup+1130.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 108827 72 0 0 25 0 11 0 550712850 865423360 33122 4294967295 134512640 134569956 3221224400 3221214696 1131180818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33122 13073 16 0 211269 0
vsize: 845140
[startup+1140.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 109797 72 0 0 24 0 11 0 550712850 865423360 33186 4294967295 134512640 134569956 3221224400 3221214664 1131519952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33186 13073 16 0 211269 0
vsize: 845140
[startup+1150.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 110773 73 0 0 25 0 11 0 550712850 865423360 33237 4294967295 134512640 134569956 3221224400 3221214504 1131596433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33237 13073 16 0 211269 0
vsize: 845140
[startup+1160.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 111750 73 0 0 25 0 11 0 550712850 865423360 33278 4294967295 134512640 134569956 3221224400 3221214192 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33278 13073 16 0 211269 0
vsize: 845140
[startup+1170.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 112722 74 0 0 25 0 11 0 550712850 865423360 33359 4294967295 134512640 134569956 3221224400 3221214696 1131180969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33359 13073 16 0 211269 0
vsize: 845140
[startup+1180.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 113700 74 0 0 25 0 11 0 550712850 865423360 33443 4294967295 134512640 134569956 3221224400 3221214792 1131288444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33443 13073 16 0 211269 0
vsize: 845140
[startup+1190.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 114674 74 0 0 25 0 11 0 550712850 865423360 33557 4294967295 134512640 134569956 3221224400 3221214776 1131394608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33557 13073 16 0 211269 0
vsize: 845140
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 115654 74 0 0 25 0 11 0 550712850 865423360 33596 4294967295 134512640 134569956 3221224400 3221214504 1131596493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33596 13073 16 0 211269 0
vsize: 845140
[startup+1210.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 116632 74 0 0 25 0 11 0 550712850 865423360 33628 4294967295 134512640 134569956 3221224400 3221213880 1131595316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33628 13073 16 0 211269 0
vsize: 845140
[startup+1220.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 117608 75 0 0 25 0 11 0 550712850 865423360 33673 4294967295 134512640 134569956 3221224400 3221214548 1131597321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33673 13073 16 0 211269 0
vsize: 845140
[startup+1230.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 118584 75 0 0 25 0 11 0 550712850 865423360 33709 4294967295 134512640 134569956 3221224400 3221214704 1131592013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33709 13073 16 0 211269 0
vsize: 845140
[startup+1240.22 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 119555 75 0 0 24 0 11 0 550712850 865423360 33766 4294967295 134512640 134569956 3221224400 3221214792 1131288510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33766 13073 16 0 211269 0
vsize: 845140
[startup+1250.22 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 16341
Raw data (stat): 16330 (java) R 16329 27222 27221 0 -1 0 18069 3 1 0 120532 76 0 0 25 0 11 0 550712850 865423360 33811 4294967295 134512640 134569956 3221224400 3221214696 1131181451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211285 33811 13073 16 0 211269 0
vsize: 845140
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.37 s]
Raw data (loadavg): 1.06 1.00 0.92 1/54 16343
Raw data (stat): 16330 (java) Z 16329 27222 27221 0 -1 1036 18069 19796 1 0 120537 82 5382 53 24 0 1 0 550712850 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.37
CPU time (s): 1260.56
CPU user time (s): 1259.2
CPU system time (s): 1.35979
CPU usage (%): 100.814
Max. virtual memory (Kb): 845140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####