PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc06.opb
MD5SUM	bdef34115ac72b2f3e13f56b51cc3420
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	206346968982065664
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	22661639986845859840
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.35379
Number of variables	34058
Total number of constraints	932
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	112
Number of constraints which are nor clauses,nor cardinality constraints	820
Minimum length of a constraint	1
Maximum length of a constraint	8981
Trace number 19161

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-21 18:05:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17000 boxname=wulflinc1 idbench=1308 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bdef34115ac72b2f3e13f56b51cc3420  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc06.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc06.opb
IDLAUNCH: 17000
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        726584 kB
Buffers:          8000 kB
Cached:         274404 kB
SwapCached:          0 kB
Active:          67572 kB
Inactive:       217988 kB
HighTotal:      131008 kB
HighFree:         3220 kB
LowTotal:       903652 kB
LowFree:        723364 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           7224 kB
Slab:            16748 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 18:26:37 (client local time) WITH STATUS 143 IN 1250.94 SECONDS
stats: 17000 7 1250.94 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc06.opb
c reading problem 
c [nbvar=34058]
c [nbconstr=932]
c time 336.721
c #vars     34058
c #clauses  1070
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
#### 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.80 0.93 0.90 2/56 31692
Raw data (stat): 31692 (runsolver) R 31691 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 432029790 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.83 0.93 0.90 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17993 0 1 0 869 43 0 0 25 0 10 0 432029790 853966848 19550 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208488 19550 13073 16 0 208472 0
vsize: 833952
[startup+20.0018 s]
Raw data (loadavg): 0.86 0.93 0.90 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17993 0 1 0 1763 43 0 0 25 0 10 0 432029790 853966848 20090 4294967295 134512640 134569956 3221224400 3221214604 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208488 20090 13073 16 0 208472 0
vsize: 833952
[startup+30.0024 s]
Raw data (loadavg): 0.96 0.95 0.90 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 2652 43 0 0 25 0 10 0 432029790 853966848 20636 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208488 20636 13073 16 0 208472 0
vsize: 833952
[startup+40.0027 s]
Raw data (loadavg): 0.97 0.95 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 3569 43 0 0 25 0 10 0 432029790 853966848 20915 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208488 20915 13073 16 0 208472 0
vsize: 833952
[startup+50.0069 s]
Raw data (loadavg): 0.97 0.95 0.91 2/65 31701
Raw data (stat): 31692 (java) S 31691 12452 12451 0 -1 0 17994 0 1 0 4492 44 0 0 25 0 10 0 432029790 855015424 21242 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 21242 13073 16 0 208728 0
vsize: 834976
[startup+60.0067 s]
Raw data (loadavg): 0.97 0.95 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 5395 44 0 0 25 0 10 0 432029790 855015424 21327 4294967295 134512640 134569956 3221224400 3221214840 1131280388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 21327 13073 16 0 208728 0
vsize: 834976
[startup+70.0082 s]
Raw data (loadavg): 0.98 0.95 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 6310 44 0 0 25 0 10 0 432029790 855015424 21578 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 21578 13073 16 0 208728 0
vsize: 834976
[startup+80.0094 s]
Raw data (loadavg): 0.98 0.95 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 7238 44 0 0 25 0 10 0 432029790 855015424 21689 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 21689 13073 16 0 208728 0
vsize: 834976
[startup+90.0092 s]
Raw data (loadavg): 0.98 0.95 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 8157 44 0 0 25 0 10 0 432029790 855015424 21798 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 21798 13073 16 0 208728 0
vsize: 834976
[startup+100.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/65 31701
Raw data (stat): 31692 (java) S 31691 12452 12451 0 -1 0 17994 0 1 0 9073 44 0 0 25 0 10 0 432029790 855015424 21933 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 21933 13073 16 0 208728 0
vsize: 834976
[startup+110.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 10003 44 0 0 25 0 10 0 432029790 855015424 22067 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22067 13073 16 0 208728 0
vsize: 834976
[startup+120.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 10933 44 0 0 25 0 10 0 432029790 855015424 22160 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22160 13073 16 0 208728 0
vsize: 834976
[startup+130.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 11863 44 0 0 25 0 10 0 432029790 855015424 22245 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22245 13073 16 0 208728 0
vsize: 834976
[startup+140.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 12788 45 0 0 24 0 10 0 432029790 855015424 22340 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22340 13073 16 0 208728 0
vsize: 834976
[startup+150.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 13716 45 0 0 25 0 10 0 432029790 855015424 22427 4294967295 134512640 134569956 3221224400 3221214028 1079753248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22427 13073 16 0 208728 0
vsize: 834976
[startup+160.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 14636 45 0 0 25 0 10 0 432029790 855015424 22506 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22506 13073 16 0 208728 0
vsize: 834976
[startup+170.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) S 31691 12452 12451 0 -1 0 17994 0 1 0 15557 45 0 0 25 0 10 0 432029790 855015424 22610 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22610 13073 16 0 208728 0
vsize: 834976
[startup+180.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 16462 45 0 0 25 0 10 0 432029790 855015424 22713 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22713 13073 16 0 208728 0
vsize: 834976
[startup+190.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 17364 45 0 0 25 0 10 0 432029790 855015424 22799 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 22799 13073 16 0 208728 0
vsize: 834976
[startup+200.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 18276 45 0 0 25 0 10 0 432029790 855015424 23088 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 23088 13073 16 0 208728 0
vsize: 834976
[startup+210.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 19200 45 0 0 25 0 10 0 432029790 855162880 23201 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 23201 13073 16 0 208764 0
vsize: 835120
[startup+220.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 20124 45 0 0 25 0 10 0 432029790 855162880 23272 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 23272 13073 16 0 208764 0
vsize: 835120
[startup+230.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 21048 46 0 0 25 0 10 0 432029790 855162880 23345 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 23345 13073 16 0 208764 0
vsize: 835120
[startup+240.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31701
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 21971 46 0 0 25 0 10 0 432029790 855162880 23411 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 23411 13073 16 0 208764 0
vsize: 835120
[startup+250.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 22893 46 0 0 25 0 10 0 432029790 855162880 23526 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208780 23526 13073 16 0 208764 0
vsize: 835120
[startup+260.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 23814 46 0 0 25 0 10 0 432029790 855015424 23562 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 23562 13073 16 0 208728 0
vsize: 834976
[startup+270.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) S 31691 12452 12451 0 -1 0 17994 0 1 0 24739 46 0 0 25 0 10 0 432029790 855015424 23622 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 23622 13073 16 0 208728 0
vsize: 834976
[startup+280.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 25661 46 0 0 25 0 10 0 432029790 855015424 23685 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208744 23685 13073 16 0 208728 0
vsize: 834976
[startup+290.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 26575 46 0 0 25 0 10 0 432029790 855015424 23747 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 23747 13073 16 0 208728 0
vsize: 834976
[startup+300.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 27487 46 0 0 25 0 10 0 432029790 855015424 23818 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 23818 13073 16 0 208728 0
vsize: 834976
[startup+310.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 28397 46 0 0 24 0 10 0 432029790 855015424 23907 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 23907 13073 16 0 208728 0
vsize: 834976
[startup+320.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 29302 46 0 0 19 0 10 0 432029790 855015424 23997 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 23997 13073 16 0 208728 0
vsize: 834976
[startup+330.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 31703
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 17994 0 1 0 30207 46 0 0 24 0 10 0 432029790 855015424 24080 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208744 24080 13073 16 0 208728 0
vsize: 834976
[startup+340.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18022 0 1 0 31084 48 0 0 25 0 11 0 432029790 857640960 27618 4294967295 134512640 134569956 3221224400 3221214776 1131349877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 27618 13073 16 0 209369 0
vsize: 837540
[startup+350.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18022 0 1 0 32073 48 0 0 25 0 11 0 432029790 856592384 27548 4294967295 134512640 134569956 3221224400 3221214680 1131224679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209129 27548 13073 16 0 209113 0
vsize: 836516
[startup+360.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18022 0 1 0 33056 48 0 0 25 0 11 0 432029790 856592384 27548 4294967295 134512640 134569956 3221224400 3221214680 1131224981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209129 27548 13073 16 0 209113 0
vsize: 836516
[startup+370.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18022 0 1 0 34038 48 0 0 24 0 11 0 432029790 856592384 27559 4294967295 134512640 134569956 3221224400 3221214776 1131348980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209129 27559 13073 16 0 209113 0
vsize: 836516
[startup+380.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18022 0 1 0 35024 48 0 0 25 0 11 0 432029790 856592384 27571 4294967295 134512640 134569956 3221224400 3221214776 1131348968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209129 27571 13073 16 0 209113 0
vsize: 836516
[startup+390.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18061 0 1 0 35953 49 0 0 25 0 11 0 432029790 857640960 27932 4294967295 134512640 134569956 3221224400 3221214616 1131288895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 27932 13073 16 0 209369 0
vsize: 837540
[startup+400.042 s]
Raw data (loadavg): 1.07 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18062 0 1 0 36947 49 0 0 25 0 11 0 432029790 857640960 27787 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27787 13073 16 0 209369 0
vsize: 837540
[startup+410.042 s]
Raw data (loadavg): 1.06 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 37932 49 0 0 25 0 11 0 432029790 857640960 27793 4294967295 134512640 134569956 3221224400 3221214720 1131423745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27793 13073 16 0 209369 0
vsize: 837540
[startup+420.042 s]
Raw data (loadavg): 1.05 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 38928 49 0 0 25 0 11 0 432029790 857640960 27796 4294967295 134512640 134569956 3221224400 3221214608 1131288793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27796 13073 16 0 209369 0
vsize: 837540
[startup+430.043 s]
Raw data (loadavg): 1.04 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 39924 49 0 0 25 0 11 0 432029790 857640960 27798 4294967295 134512640 134569956 3221224400 3221214720 1131423727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27798 13073 16 0 209369 0
vsize: 837540
[startup+440.044 s]
Raw data (loadavg): 1.03 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 40919 50 0 0 25 0 11 0 432029790 857640960 27802 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27802 13073 16 0 209369 0
vsize: 837540
[startup+450.044 s]
Raw data (loadavg): 1.03 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 41914 50 0 0 25 0 11 0 432029790 857640960 27811 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27811 13073 16 0 209369 0
vsize: 837540
[startup+460.045 s]
Raw data (loadavg): 1.02 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 42908 50 0 0 24 0 11 0 432029790 857640960 27814 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27814 13073 16 0 209369 0
vsize: 837540
[startup+470.045 s]
Raw data (loadavg): 1.02 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 43904 51 0 0 25 0 11 0 432029790 857640960 27817 4294967295 134512640 134569956 3221224400 3221214608 1131489075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27817 13073 16 0 209369 0
vsize: 837540
[startup+480.046 s]
Raw data (loadavg): 1.02 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 44900 51 0 0 25 0 11 0 432029790 857640960 27826 4294967295 134512640 134569956 3221224400 3221214608 1131488700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27826 13073 16 0 209369 0
vsize: 837540
[startup+490.047 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 45897 51 0 0 25 0 11 0 432029790 857640960 27828 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27828 13073 16 0 209369 0
vsize: 837540
[startup+500.047 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 46895 51 0 0 25 0 11 0 432029790 857640960 27830 4294967295 134512640 134569956 3221224400 3221214720 1131423826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27830 13073 16 0 209369 0
vsize: 837540
[startup+510.047 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 47892 51 0 0 25 0 11 0 432029790 857640960 27831 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27831 13073 16 0 209369 0
vsize: 837540
[startup+520.048 s]
Raw data (loadavg): 1.01 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 48889 51 0 0 25 0 11 0 432029790 857640960 27831 4294967295 134512640 134569956 3221224400 3221214608 1131288835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27831 13073 16 0 209369 0
vsize: 837540
[startup+530.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 49887 51 0 0 25 0 11 0 432029790 857640960 27831 4294967295 134512640 134569956 3221224400 3221214720 1131423712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27831 13073 16 0 209369 0
vsize: 837540
[startup+540.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31704
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 50884 51 0 0 25 0 11 0 432029790 857640960 27831 4294967295 134512640 134569956 3221224400 3221214720 1131423811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27831 13073 16 0 209369 0
vsize: 837540
[startup+550.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 51881 51 0 0 25 0 11 0 432029790 857640960 27874 4294967295 134512640 134569956 3221224400 3221214720 1131423729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27874 13073 16 0 209369 0
vsize: 837540
[startup+560.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18063 0 1 0 52878 51 0 0 25 0 11 0 432029790 857640960 27874 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27874 13073 16 0 209369 0
vsize: 837540
[startup+570.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 53875 51 0 0 25 0 11 0 432029790 857640960 27877 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 27877 13073 16 0 209369 0
vsize: 837540
[startup+580.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 54872 51 0 0 25 0 11 0 432029790 857640960 27878 4294967295 134512640 134569956 3221224400 3221214720 1131423727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27878 13073 16 0 209369 0
vsize: 837540
[startup+590.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 55869 52 0 0 25 0 11 0 432029790 857640960 27881 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27881 13073 16 0 209369 0
vsize: 837540
[startup+600.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 56864 52 0 0 25 0 11 0 432029790 857640960 27881 4294967295 134512640 134569956 3221224400 3221214696 1131145241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27881 13073 16 0 209369 0
vsize: 837540
[startup+610.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 57861 52 0 0 25 0 11 0 432029790 857640960 27891 4294967295 134512640 134569956 3221224400 3221214608 1131488346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27891 13073 16 0 209369 0
vsize: 837540
[startup+620.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 58857 52 0 0 25 0 11 0 432029790 857640960 27891 4294967295 134512640 134569956 3221224400 3221214848 1131399136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27891 13073 16 0 209369 0
vsize: 837540
[startup+630.054 s]
Raw data (loadavg): 1.07 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 59853 52 0 0 25 0 11 0 432029790 857640960 27892 4294967295 134512640 134569956 3221224400 3221214608 1131488346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27892 13073 16 0 209369 0
vsize: 837540
[startup+640.055 s]
Raw data (loadavg): 1.06 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 60847 52 0 0 25 0 11 0 432029790 857640960 27892 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27892 13073 16 0 209369 0
vsize: 837540
[startup+650.055 s]
Raw data (loadavg): 1.05 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 61840 52 0 0 25 0 11 0 432029790 857640960 27893 4294967295 134512640 134569956 3221224400 3221214608 1131288835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27893 13073 16 0 209369 0
vsize: 837540
[startup+660.055 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 62834 53 0 0 25 0 11 0 432029790 857640960 27893 4294967295 134512640 134569956 3221224400 3221214608 1131489049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27893 13073 16 0 209369 0
vsize: 837540
[startup+670.055 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 63825 53 0 0 25 0 11 0 432029790 857640960 27893 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27893 13073 16 0 209369 0
vsize: 837540
[startup+680.056 s]
Raw data (loadavg): 1.03 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 64813 53 0 0 25 0 11 0 432029790 857640960 27893 4294967295 134512640 134569956 3221224400 3221214608 1131488346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27893 13073 16 0 209369 0
vsize: 837540
[startup+690.055 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 65806 53 0 0 25 0 11 0 432029790 857640960 27939 4294967295 134512640 134569956 3221224400 3221214720 1131423727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27939 13073 16 0 209369 0
vsize: 837540
[startup+700.057 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 66797 53 0 0 25 0 11 0 432029790 857640960 27939 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27939 13073 16 0 209369 0
vsize: 837540
[startup+710.057 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 67787 54 0 0 25 0 11 0 432029790 857640960 27939 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27939 13073 16 0 209369 0
vsize: 837540
[startup+720.057 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 68777 54 0 0 25 0 11 0 432029790 857640960 27939 4294967295 134512640 134569956 3221224400 3221214848 1131399403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27939 13073 16 0 209369 0
vsize: 837540
[startup+730.058 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 69767 54 0 0 25 0 11 0 432029790 857640960 27983 4294967295 134512640 134569956 3221224400 3221214616 1131288793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27983 13073 16 0 209369 0
vsize: 837540
[startup+740.058 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 70758 54 0 0 25 0 11 0 432029790 857640960 27983 4294967295 134512640 134569956 3221224400 3221214608 1131489023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 27983 13073 16 0 209369 0
vsize: 837540
[startup+750.058 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 71750 54 0 0 25 0 11 0 432029790 857640960 28027 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 28027 13073 16 0 209369 0
vsize: 837540
[startup+760.058 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 72742 54 0 0 25 0 11 0 432029790 857640960 28072 4294967295 134512640 134569956 3221224400 3221214712 1131424952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28072 13073 16 0 209369 0
vsize: 837540
[startup+770.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 73734 54 0 0 25 0 11 0 432029790 857640960 28116 4294967295 134512640 134569956 3221224400 3221214632 1131423177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28116 13073 16 0 209369 0
vsize: 837540
[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 74728 54 0 0 25 0 11 0 432029790 857640960 28162 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 28162 13073 16 0 209369 0
vsize: 837540
[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 75722 54 0 0 25 0 11 0 432029790 857640960 28162 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28162 13073 16 0 209369 0
vsize: 837540
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 76715 54 0 0 25 0 11 0 432029790 857640960 28206 4294967295 134512640 134569956 3221224400 3221214608 1131288835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28206 13073 16 0 209369 0
vsize: 837540
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 77710 55 0 0 24 0 11 0 432029790 857640960 28206 4294967295 134512640 134569956 3221224400 3221214608 1131288956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28206 13073 16 0 209369 0
vsize: 837540
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 78705 55 0 0 25 0 11 0 432029790 857640960 28206 4294967295 134512640 134569956 3221224400 3221214608 1131288680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28206 13073 16 0 209369 0
vsize: 837540
[startup+830.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 79699 55 0 0 25 0 11 0 432029790 857640960 28206 4294967295 134512640 134569956 3221224400 3221214608 1131489014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28206 13073 16 0 209369 0
vsize: 837540
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31706
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 80692 55 0 0 25 0 11 0 432029790 857640960 28206 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28206 13073 16 0 209369 0
vsize: 837540
[startup+850.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 81684 55 0 0 25 0 11 0 432029790 857640960 28254 4294967295 134512640 134569956 3221224400 3221214608 1131489111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28254 13073 16 0 209369 0
vsize: 837540
[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 82675 56 0 0 25 0 11 0 432029790 857640960 28257 4294967295 134512640 134569956 3221224400 3221214608 1131288928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28257 13073 16 0 209369 0
vsize: 837540
[startup+870.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 83666 56 0 0 25 0 11 0 432029790 857640960 28257 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28257 13073 16 0 209369 0
vsize: 837540
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 84660 56 0 0 25 0 11 0 432029790 857640960 28302 4294967295 134512640 134569956 3221224400 3221214728 1131568059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28302 13073 16 0 209369 0
vsize: 837540
[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 85651 56 0 0 25 0 11 0 432029790 857640960 28302 4294967295 134512640 134569956 3221224400 3221214608 1131288682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 28302 13073 16 0 209369 0
vsize: 837540
[startup+900.064 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 86640 56 0 0 25 0 11 0 432029790 857640960 28302 4294967295 134512640 134569956 3221224400 3221214616 1131288680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 28302 13073 16 0 209369 0
vsize: 837540
[startup+910.065 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 87627 56 0 0 25 0 11 0 432029790 857640960 28302 4294967295 134512640 134569956 3221224400 3221214720 1131423727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28302 13073 16 0 209369 0
vsize: 837540
[startup+920.064 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 88617 56 0 0 25 0 11 0 432029790 857640960 28346 4294967295 134512640 134569956 3221224400 3221214608 1131488339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28346 13073 16 0 209369 0
vsize: 837540
[startup+930.065 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 89608 56 0 0 25 0 11 0 432029790 857640960 28390 4294967295 134512640 134569956 3221224400 3221214608 1131288835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28390 13073 16 0 209369 0
vsize: 837540
[startup+940.067 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 90600 56 0 0 25 0 11 0 432029790 857640960 28436 4294967295 134512640 134569956 3221224400 3221214608 1131288533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28436 13073 16 0 209369 0
vsize: 837540
[startup+950.066 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 91593 56 0 0 25 0 11 0 432029790 857640960 28436 4294967295 134512640 134569956 3221224400 3221214616 1131288793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28436 13073 16 0 209369 0
vsize: 837540
[startup+960.066 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 92586 56 0 0 24 0 11 0 432029790 857640960 28480 4294967295 134512640 134569956 3221224400 3221214616 1131288680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28480 13073 16 0 209369 0
vsize: 837540
[startup+970.066 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 93578 57 0 0 25 0 11 0 432029790 857640960 28526 4294967295 134512640 134569956 3221224400 3221214688 1131428145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28526 13073 16 0 209369 0
vsize: 837540
[startup+980.067 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 94571 57 0 0 25 0 11 0 432029790 857640960 28526 4294967295 134512640 134569956 3221224400 3221214608 1131288680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28526 13073 16 0 209369 0
vsize: 837540
[startup+990.067 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 95563 57 0 0 25 0 11 0 432029790 857640960 28579 4294967295 134512640 134569956 3221224400 3221214608 1131488346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28579 13073 16 0 209369 0
vsize: 837540
[startup+1000.07 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 96557 57 0 0 25 0 11 0 432029790 857640960 28579 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28579 13073 16 0 209369 0
vsize: 837540
[startup+1010.07 s]
Raw data (loadavg): 1.01 1.00 0.93 3/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 97550 57 0 0 25 0 11 0 432029790 857640960 28579 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28579 13073 16 0 209369 0
vsize: 837540
[startup+1020.07 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 98542 57 0 0 25 0 11 0 432029790 857640960 28579 4294967295 134512640 134569956 3221224400 3221214848 1131399143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28579 13073 16 0 209369 0
vsize: 837540
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 99534 57 0 0 25 0 11 0 432029790 857640960 28579 4294967295 134512640 134569956 3221224400 3221214608 1131488304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28579 13073 16 0 209369 0
vsize: 837540
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 100515 58 0 0 24 0 11 0 432029790 857640960 28625 4294967295 134512640 134569956 3221224400 3221214608 1131288835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28625 13073 16 0 209369 0
vsize: 837540
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 101500 58 0 0 25 0 11 0 432029790 857640960 28625 4294967295 134512640 134569956 3221224400 3221214720 1131423822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28625 13073 16 0 209369 0
vsize: 837540
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 102493 58 0 0 25 0 11 0 432029790 857640960 28671 4294967295 134512640 134569956 3221224400 3221214608 1131489057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28671 13073 16 0 209369 0
vsize: 837540
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 103483 58 0 0 25 0 11 0 432029790 857640960 28716 4294967295 134512640 134569956 3221224400 3221214688 1131428145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28716 13073 16 0 209369 0
vsize: 837540
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 104472 58 0 0 25 0 11 0 432029790 857640960 28716 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28716 13073 16 0 209369 0
vsize: 837540
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 105461 58 0 0 25 0 11 0 432029790 857640960 28716 4294967295 134512640 134569956 3221224400 3221214720 1131423727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28716 13073 16 0 209369 0
vsize: 837540
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 106449 59 0 0 25 0 11 0 432029790 857640960 28716 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28716 13073 16 0 209369 0
vsize: 837540
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 107437 59 0 0 25 0 11 0 432029790 857640960 28716 4294967295 134512640 134569956 3221224400 3221214720 1131423712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28716 13073 16 0 209369 0
vsize: 837540
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 108425 59 0 0 25 0 11 0 432029790 857640960 28815 4294967295 134512640 134569956 3221224400 3221214608 1131488346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28815 13073 16 0 209369 0
vsize: 837540
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 109414 59 0 0 25 0 11 0 432029790 857640960 28860 4294967295 134512640 134569956 3221224400 3221214608 1131488399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28860 13073 16 0 209369 0
vsize: 837540
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31708
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 110405 59 0 0 25 0 11 0 432029790 857640960 28905 4294967295 134512640 134569956 3221224400 3221214720 1131423833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28905 13073 16 0 209369 0
vsize: 837540
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 111394 60 0 0 25 0 11 0 432029790 857640960 28905 4294967295 134512640 134569956 3221224400 3221214616 1131289166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28905 13073 16 0 209369 0
vsize: 837540
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 112384 60 0 0 25 0 11 0 432029790 857640960 28960 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28960 13073 16 0 209369 0
vsize: 837540
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 113375 60 0 0 25 0 11 0 432029790 857640960 28960 4294967295 134512640 134569956 3221224400 3221214720 1131423729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 28960 13073 16 0 209369 0
vsize: 837540
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 114367 60 0 0 25 0 11 0 432029790 857640960 29006 4294967295 134512640 134569956 3221224400 3221214744 1131439427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 29006 13073 16 0 209369 0
vsize: 837540
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 115358 60 0 0 25 0 11 0 432029790 857640960 29051 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 29051 13073 16 0 209369 0
vsize: 837540
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 116346 60 0 0 25 0 11 0 432029790 857640960 29058 4294967295 134512640 134569956 3221224400 3221214608 1131288835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 29058 13073 16 0 209369 0
vsize: 837540
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 117335 61 0 0 25 0 11 0 432029790 857640960 29058 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 29058 13073 16 0 209369 0
vsize: 837540
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 118324 61 0 0 25 0 11 0 432029790 857640960 29103 4294967295 134512640 134569956 3221224400 3221214544 1131470824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 29103 13073 16 0 209369 0
vsize: 837540
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 119313 61 0 0 25 0 11 0 432029790 857640960 29148 4294967295 134512640 134569956 3221224400 3221214608 1131488346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 29148 13073 16 0 209369 0
vsize: 837540
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 31710
Raw data (stat): 31692 (java) R 31691 12452 12451 0 -1 0 18064 0 1 0 120303 61 0 0 25 0 11 0 432029790 857640960 29148 4294967295 134512640 134569956 3221224400 3221214720 1131423724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209385 29148 13073 16 0 209369 0
vsize: 837540
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 31712
Raw data (stat): 31692 (java) Z 31691 12452 12451 0 -1 1036 18064 14683 1 0 120304 66 4681 40 25 0 1 0 432029790 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): 1240.14
CPU time (s): 1250.94
CPU user time (s): 1249.86
CPU system time (s): 1.07584
CPU usage (%): 100.871
Max. virtual memory (Kb): 837540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####