PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-modglob.opb
MD5SUM	7c23b551f45513828578e93f58c31ab1
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	6578
Biggest coefficient in the objective function	21493710848000000
Number of bits for the biggest coefficient in the objective function	55
Sum of the numbers in the objective function	1450509811657714210
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	21493710848000000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	1450509811657714210
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06099
Number of variables	6578
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	180
Trace number 18064

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-21 13:17:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18651 boxname=wulflinc30 idbench=1435 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  7c23b551f45513828578e93f58c31ab1  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-modglob.opb
IDLAUNCH: 18651
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        721016 kB
Buffers:         25488 kB
Cached:         259228 kB
SwapCached:          0 kB
Active:          77648 kB
Inactive:       209860 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        720764 kB
SwapTotal:     2097892 kB
SwapFree:      2097824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6804 kB
Slab:            20548 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 13:38:29 (client local time) WITH STATUS 143 IN 1233.56 SECONDS
stats: 18651 7 1233.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-modglob.opb
c reading problem 
c [nbvar=6578]
c [nbconstr=389]
c time 17.196
c #vars     6578
c #clauses  385
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.73 0.91 0.89 2/54 20616
Raw data (stat): 20616 (runsolver) R 20615 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545374211 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.0004 s]
Raw data (loadavg): 0.77 0.91 0.89 2/63 20625
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 17979 0 1 0 885 40 0 0 25 0 10 0 545374211 855113728 19483 4294967295 134512640 134569956 3221224400 3221214700 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208768 19483 13073 16 0 208752 0
vsize: 835072
[startup+20.0017 s]
Raw data (loadavg): 0.97 0.95 0.91 4/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18176 0 1 0 1747 42 0 0 25 0 11 0 545374211 875687936 24981 4294967295 134512640 134569956 3221224400 3221214900 1130863127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213791 24981 13073 16 0 213775 0
vsize: 855164
[startup+30.003 s]
Raw data (loadavg): 1.21 1.00 0.92 4/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18228 0 1 0 2382 42 0 0 25 0 11 0 545374211 874127360 25826 4294967295 134512640 134569956 3221224400 3221213500 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213410 25826 13073 16 0 213394 0
vsize: 853640
[startup+40.0027 s]
Raw data (loadavg): 1.25 1.01 0.93 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18229 0 1 0 3122 43 0 0 25 0 11 0 545374211 873517056 26008 4294967295 134512640 134569956 3221224400 3221214552 1131540691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213261 26008 13073 16 0 213245 0
vsize: 853044
[startup+50.0031 s]
Raw data (loadavg): 1.60 1.10 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18229 0 1 0 4075 43 0 0 25 0 11 0 545374211 872443904 26398 4294967295 134512640 134569956 3221224400 3221214792 1131264339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212999 26398 13073 16 0 212983 0
vsize: 851996
[startup+60.0034 s]
Raw data (loadavg): 1.51 1.09 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18229 0 1 0 5054 43 0 0 25 0 11 0 545374211 872443904 26398 4294967295 134512640 134569956 3221224400 3221214624 1131785619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212999 26398 13073 16 0 212983 0
vsize: 851996
[startup+70.0042 s]
Raw data (loadavg): 1.43 1.09 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18229 0 1 0 6030 43 0 0 25 0 11 0 545374211 872443904 26398 4294967295 134512640 134569956 3221224400 3221214832 1131233553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212999 26398 13073 16 0 212983 0
vsize: 851996
[startup+80.0044 s]
Raw data (loadavg): 1.36 1.08 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 6980 44 0 0 25 0 11 0 545374211 872443904 26412 4294967295 134512640 134569956 3221224400 3221214792 1131264722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 26412 13073 16 0 212983 0
vsize: 851996
[startup+90.0046 s]
Raw data (loadavg): 1.31 1.08 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 7939 44 0 0 25 0 11 0 545374211 872443904 26493 4294967295 134512640 134569956 3221224400 3221214680 1131785616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 26493 13073 16 0 212983 0
vsize: 851996
[startup+100.005 s]
Raw data (loadavg): 1.26 1.08 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 8905 44 0 0 25 0 11 0 545374211 872443904 26612 4294967295 134512640 134569956 3221224400 3221214680 1131785619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 26612 13073 16 0 212983 0
vsize: 851996
[startup+110.006 s]
Raw data (loadavg): 1.22 1.08 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 9855 44 0 0 25 0 11 0 545374211 872443904 26754 4294967295 134512640 134569956 3221224400 3221214792 1131264445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 26754 13073 16 0 212983 0
vsize: 851996
[startup+120.006 s]
Raw data (loadavg): 1.18 1.07 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 10814 44 0 0 25 0 11 0 545374211 872443904 26922 4294967295 134512640 134569956 3221224400 3221214832 1131233673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 26922 13073 16 0 212983 0
vsize: 851996
[startup+130.007 s]
Raw data (loadavg): 1.16 1.07 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 11776 44 0 0 25 0 11 0 545374211 872443904 27077 4294967295 134512640 134569956 3221224400 3221214888 1131369673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 27077 13073 16 0 212983 0
vsize: 851996
[startup+140.006 s]
Raw data (loadavg): 1.13 1.07 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 12732 44 0 0 25 0 11 0 545374211 872443904 27215 4294967295 134512640 134569956 3221224400 3221214680 1131785608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 27215 13073 16 0 212983 0
vsize: 851996
[startup+150.007 s]
Raw data (loadavg): 1.11 1.06 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 13699 44 0 0 25 0 11 0 545374211 872443904 27374 4294967295 134512640 134569956 3221224400 3221214680 1131785757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 27374 13073 16 0 212983 0
vsize: 851996
[startup+160.007 s]
Raw data (loadavg): 1.09 1.06 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 14663 44 0 0 25 0 11 0 545374211 872443904 27502 4294967295 134512640 134569956 3221224400 3221214752 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 27502 13073 16 0 212983 0
vsize: 851996
[startup+170.007 s]
Raw data (loadavg): 1.08 1.06 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 15628 44 0 0 25 0 11 0 545374211 872443904 27633 4294967295 134512640 134569956 3221224400 3221214624 1131541470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 27633 13073 16 0 212983 0
vsize: 851996
[startup+180.007 s]
Raw data (loadavg): 1.07 1.06 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 16606 44 0 0 25 0 11 0 545374211 872443904 27719 4294967295 134512640 134569956 3221224400 3221214792 1131264137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 27719 13073 16 0 212983 0
vsize: 851996
[startup+190.008 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 17580 44 0 0 25 0 11 0 545374211 872443904 27845 4294967295 134512640 134569956 3221224400 3221214680 1131785619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 27845 13073 16 0 212983 0
vsize: 851996
[startup+200.011 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 20626
Raw data (stat): 20616 (java) S 20615 11931 11930 0 -1 0 18230 0 1 0 18551 44 0 0 25 0 11 0 545374211 872443904 27955 4294967295 134512640 134569956 3221224400 3221213432 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 27955 13073 16 0 212983 0
vsize: 851996
[startup+210.011 s]
Raw data (loadavg): 1.04 1.05 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 19527 44 0 0 25 0 11 0 545374211 872443904 28046 4294967295 134512640 134569956 3221224400 3221214888 1131369056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28046 13073 16 0 212983 0
vsize: 851996
[startup+220.011 s]
Raw data (loadavg): 1.03 1.05 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 20505 44 0 0 25 0 11 0 545374211 872443904 28128 4294967295 134512640 134569956 3221224400 3221214792 1131264742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28128 13073 16 0 212983 0
vsize: 851996
[startup+230.012 s]
Raw data (loadavg): 1.03 1.05 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 21481 44 0 0 25 0 11 0 545374211 872443904 28285 4294967295 134512640 134569956 3221224400 3221214792 1131264802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28285 13073 16 0 212983 0
vsize: 851996
[startup+240.012 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 22461 44 0 0 25 0 11 0 545374211 872443904 28386 4294967295 134512640 134569956 3221224400 3221214792 1131264161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28386 13073 16 0 212983 0
vsize: 851996
[startup+250.013 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 23445 45 0 0 25 0 11 0 545374211 872443904 28471 4294967295 134512640 134569956 3221224400 3221214792 1131264491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28471 13073 16 0 212983 0
vsize: 851996
[startup+260.014 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 24429 45 0 0 25 0 11 0 545374211 872443904 28537 4294967295 134512640 134569956 3221224400 3221214832 1131233553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28537 13073 16 0 212983 0
vsize: 851996
[startup+270.014 s]
Raw data (loadavg): 1.01 1.04 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 25412 45 0 0 25 0 11 0 545374211 872443904 28598 4294967295 134512640 134569956 3221224400 3221214792 1131264714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28598 13073 16 0 212983 0
vsize: 851996
[startup+280.014 s]
Raw data (loadavg): 1.01 1.04 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 26398 45 0 0 25 0 11 0 545374211 872443904 28663 4294967295 134512640 134569956 3221224400 3221214592 1131982686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28663 13073 16 0 212983 0
vsize: 851996
[startup+290.015 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 27381 45 0 0 25 0 11 0 545374211 872443904 28739 4294967295 134512640 134569956 3221224400 3221214832 1131233553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28739 13073 16 0 212983 0
vsize: 851996
[startup+300.015 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 28362 45 0 0 25 0 11 0 545374211 872443904 28824 4294967295 134512640 134569956 3221224400 3221214848 1131396876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28824 13073 16 0 212983 0
vsize: 851996
[startup+310.015 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 29349 45 0 0 25 0 11 0 545374211 872443904 28885 4294967295 134512640 134569956 3221224400 3221214720 1131473405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28885 13073 16 0 212983 0
vsize: 851996
[startup+320.015 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 30334 45 0 0 25 0 11 0 545374211 872443904 28940 4294967295 134512640 134569956 3221224400 3221214832 1131233536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28940 13073 16 0 212983 0
vsize: 851996
[startup+330.016 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 31315 45 0 0 25 0 11 0 545374211 872443904 28995 4294967295 134512640 134569956 3221224400 3221214792 1131264722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 28995 13073 16 0 212983 0
vsize: 851996
[startup+340.016 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 32297 45 0 0 25 0 11 0 545374211 872443904 29041 4294967295 134512640 134569956 3221224400 3221214848 1131396802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29041 13073 16 0 212983 0
vsize: 851996
[startup+350.017 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 33279 46 0 0 25 0 11 0 545374211 872443904 29085 4294967295 134512640 134569956 3221224400 3221214680 1131785612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29085 13073 16 0 212983 0
vsize: 851996
[startup+360.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 34252 46 0 0 25 0 11 0 545374211 872443904 29136 4294967295 134512640 134569956 3221224400 3221214792 1131264798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29136 13073 16 0 212983 0
vsize: 851996
[startup+370.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 35222 46 0 0 25 0 11 0 545374211 872443904 29185 4294967295 134512640 134569956 3221224400 3221214680 1131785626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29185 13073 16 0 212983 0
vsize: 851996
[startup+380.018 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 36189 46 0 0 25 0 11 0 545374211 872443904 29257 4294967295 134512640 134569956 3221224400 3221214680 1131785770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29257 13073 16 0 212983 0
vsize: 851996
[startup+390.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 37155 46 0 0 25 0 11 0 545374211 872443904 29350 4294967295 134512640 134569956 3221224400 3221214792 1131264553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29350 13073 16 0 212983 0
vsize: 851996
[startup+400.018 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 38113 46 0 0 25 0 11 0 545374211 872443904 29475 4294967295 134512640 134569956 3221224400 3221214680 1131785616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29475 13073 16 0 212983 0
vsize: 851996
[startup+410.019 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 39074 46 0 0 25 0 11 0 545374211 872443904 29649 4294967295 134512640 134569956 3221224400 3221214528 1131746792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29649 13073 16 0 212983 0
vsize: 851996
[startup+420.018 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 40038 46 0 0 25 0 11 0 545374211 872443904 29824 4294967295 134512640 134569956 3221224400 3221214680 1131785757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29824 13073 16 0 212983 0
vsize: 851996
[startup+430.019 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 41006 46 0 0 25 0 11 0 545374211 872443904 29969 4294967295 134512640 134569956 3221224400 3221214792 1131264794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 29969 13073 16 0 212983 0
vsize: 851996
[startup+440.019 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 41976 46 0 0 25 0 11 0 545374211 872443904 30093 4294967295 134512640 134569956 3221224400 3221214400 1131983006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30093 13073 16 0 212983 0
vsize: 851996
[startup+450.019 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 42946 46 0 0 25 0 11 0 545374211 872443904 30199 4294967295 134512640 134569956 3221224400 3221214792 1131264665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30199 13073 16 0 212983 0
vsize: 851996
[startup+460.019 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 43921 46 0 0 25 0 11 0 545374211 872443904 30282 4294967295 134512640 134569956 3221224400 3221214396 1131769545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30282 13073 16 0 212983 0
vsize: 851996
[startup+470.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 44898 46 0 0 25 0 11 0 545374211 872443904 30366 4294967295 134512640 134569956 3221224400 3221214156 1131784144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30366 13073 16 0 212983 0
vsize: 851996
[startup+480.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 45872 46 0 0 25 0 11 0 545374211 872443904 30480 4294967295 134512640 134569956 3221224400 3221214592 1131985702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30480 13073 16 0 212983 0
vsize: 851996
[startup+490.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 46852 46 0 0 25 0 11 0 545374211 872443904 30572 4294967295 134512640 134569956 3221224400 3221214792 1131264800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30572 13073 16 0 212983 0
vsize: 851996
[startup+500.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 47833 46 0 0 25 0 11 0 545374211 872443904 30694 4294967295 134512640 134569956 3221224400 3221214864 1131319436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30694 13073 16 0 212983 0
vsize: 851996
[startup+510.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 48816 46 0 0 25 0 11 0 545374211 872443904 30747 4294967295 134512640 134569956 3221224400 3221214176 1079948865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212999 30747 13073 16 0 212983 0
vsize: 851996
[startup+520.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 49794 46 0 0 25 0 11 0 545374211 872443904 30820 4294967295 134512640 134569956 3221224400 3221214792 1131264683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30820 13073 16 0 212983 0
vsize: 851996
[startup+530.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 50773 46 0 0 25 0 11 0 545374211 872443904 30879 4294967295 134512640 134569956 3221224400 3221214860 1131319496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30879 13073 16 0 212983 0
vsize: 851996
[startup+540.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 51756 46 0 0 25 0 11 0 545374211 872443904 30917 4294967295 134512640 134569956 3221224400 3221214792 1131264758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212999 30917 13073 16 0 212983 0
vsize: 851996
[startup+550.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 52735 47 0 0 25 0 11 0 545374211 872443904 30981 4294967295 134512640 134569956 3221224400 3221214400 1131985836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 30981 13073 16 0 212983 0
vsize: 851996
[startup+560.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 53714 47 0 0 25 0 11 0 545374211 872443904 31048 4294967295 134512640 134569956 3221224400 3221214224 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31048 13073 16 0 212983 0
vsize: 851996
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 54694 47 0 0 25 0 11 0 545374211 872443904 31131 4294967295 134512640 134569956 3221224400 3221214792 1131264553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31131 13073 16 0 212983 0
vsize: 851996
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 55676 47 0 0 25 0 11 0 545374211 872443904 31233 4294967295 134512640 134569956 3221224400 3221214680 1131785757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31233 13073 16 0 212983 0
vsize: 851996
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 56657 47 0 0 25 0 11 0 545374211 872443904 31300 4294967295 134512640 134569956 3221224400 3221214584 1131985430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31300 13073 16 0 212983 0
vsize: 851996
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 57638 47 0 0 25 0 11 0 545374211 872443904 31356 4294967295 134512640 134569956 3221224400 3221214792 1131264125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31356 13073 16 0 212983 0
vsize: 851996
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 58620 47 0 0 24 0 11 0 545374211 872443904 31401 4294967295 134512640 134569956 3221224400 3221214352 1131784154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31401 13073 16 0 212983 0
vsize: 851996
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 59604 47 0 0 25 0 11 0 545374211 872443904 31466 4294967295 134512640 134569956 3221224400 3221214792 1131264669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31466 13073 16 0 212983 0
vsize: 851996
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 60585 47 0 0 25 0 11 0 545374211 872443904 31554 4294967295 134512640 134569956 3221224400 3221214832 1131233649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31554 13073 16 0 212983 0
vsize: 851996
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 61567 47 0 0 25 0 11 0 545374211 872443904 31609 4294967295 134512640 134569956 3221224400 3221214540 1131784144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212999 31609 13073 16 0 212983 0
vsize: 851996
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 62550 47 0 0 25 0 11 0 545374211 872443904 31697 4294967295 134512640 134569956 3221224400 3221214792 1131264553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31697 13073 16 0 212983 0
vsize: 851996
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 63534 47 0 0 25 0 11 0 545374211 872443904 31740 4294967295 134512640 134569956 3221224400 3221214312 1131766196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31740 13073 16 0 212983 0
vsize: 851996
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 64517 47 0 0 25 0 11 0 545374211 872443904 31802 4294967295 134512640 134569956 3221224400 3221214792 1131264137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31802 13073 16 0 212983 0
vsize: 851996
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 65502 47 0 0 25 0 11 0 545374211 872443904 31903 4294967295 134512640 134569956 3221224400 3221214640 1131568929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31903 13073 16 0 212983 0
vsize: 851996
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) S 20615 11931 11930 0 -1 0 18230 0 1 0 66483 48 0 0 25 0 11 0 545374211 872443904 31986 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 31986 13073 16 0 212983 0
vsize: 851996
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 67463 48 0 0 25 0 11 0 545374211 872443904 32080 4294967295 134512640 134569956 3221224400 3221214200 1131769554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32080 13073 16 0 212983 0
vsize: 851996
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 68444 48 0 0 25 0 11 0 545374211 872443904 32138 4294967295 134512640 134569956 3221224400 3221214792 1131264606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32138 13073 16 0 212983 0
vsize: 851996
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 69428 48 0 0 25 0 11 0 545374211 872443904 32188 4294967295 134512640 134569956 3221224400 3221214792 1131265052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32188 13073 16 0 212983 0
vsize: 851996
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 70408 48 0 0 25 0 11 0 545374211 872443904 32289 4294967295 134512640 134569956 3221224400 3221214544 1131783981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32289 13073 16 0 212983 0
vsize: 851996
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 71389 48 0 0 25 0 11 0 545374211 872443904 32332 4294967295 134512640 134569956 3221224400 3221214792 1131264625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32332 13073 16 0 212983 0
vsize: 851996
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 72376 48 0 0 25 0 11 0 545374211 872443904 32374 4294967295 134512640 134569956 3221224400 3221214792 1131264133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32374 13073 16 0 212983 0
vsize: 851996
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 73361 48 0 0 25 0 11 0 545374211 872443904 32429 4294967295 134512640 134569956 3221224400 3221214120 1131766218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32429 13073 16 0 212983 0
vsize: 851996
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 74347 48 0 0 25 0 11 0 545374211 872443904 32478 4294967295 134512640 134569956 3221224400 3221214832 1131233553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32478 13073 16 0 212983 0
vsize: 851996
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 75331 48 0 0 25 0 11 0 545374211 872443904 32519 4294967295 134512640 134569956 3221224400 3221214792 1131264851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32519 13073 16 0 212983 0
vsize: 851996
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 76313 48 0 0 25 0 11 0 545374211 872443904 32597 4294967295 134512640 134569956 3221224400 3221214584 1131988268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32597 13073 16 0 212983 0
vsize: 851996
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 77296 48 0 0 25 0 11 0 545374211 872443904 32652 4294967295 134512640 134569956 3221224400 3221214636 1131569136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32652 13073 16 0 212983 0
vsize: 851996
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 78277 48 0 0 25 0 11 0 545374211 872443904 32686 4294967295 134512640 134569956 3221224400 3221214848 1131770865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32686 13073 16 0 212983 0
vsize: 851996
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 79257 48 0 0 25 0 11 0 545374211 872443904 32722 4294967295 134512640 134569956 3221224400 3221214160 1131783981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32722 13073 16 0 212983 0
vsize: 851996
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 80232 48 0 0 25 0 11 0 545374211 872443904 32786 4294967295 134512640 134569956 3221224400 3221214792 1131264800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32786 13073 16 0 212983 0
vsize: 851996
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 81209 49 0 0 25 0 11 0 545374211 872443904 32853 4294967295 134512640 134569956 3221224400 3221214792 1131264798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32853 13073 16 0 212983 0
vsize: 851996
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 82180 49 0 0 24 0 11 0 545374211 872443904 32950 4294967295 134512640 134569956 3221224400 3221214792 1131264553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 32950 13073 16 0 212983 0
vsize: 851996
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 83158 49 0 0 25 0 11 0 545374211 872443904 33050 4294967295 134512640 134569956 3221224400 3221214680 1131785765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33050 13073 16 0 212983 0
vsize: 851996
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 84137 49 0 0 25 0 11 0 545374211 872443904 33134 4294967295 134512640 134569956 3221224400 3221214680 1131785628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33134 13073 16 0 212983 0
vsize: 851996
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 85116 49 0 0 25 0 11 0 545374211 872443904 33239 4294967295 134512640 134569956 3221224400 3221214792 1131264691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33239 13073 16 0 212983 0
vsize: 851996
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 86100 49 0 0 25 0 11 0 545374211 872443904 33311 4294967295 134512640 134569956 3221224400 3221214792 1131264133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33311 13073 16 0 212983 0
vsize: 851996
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 87082 49 0 0 25 0 11 0 545374211 872443904 33362 4294967295 134512640 134569956 3221224400 3221214792 1131264875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33362 13073 16 0 212983 0
vsize: 851996
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 88066 49 0 0 25 0 11 0 545374211 872443904 33410 4294967295 134512640 134569956 3221224400 3221214832 1131233547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33410 13073 16 0 212983 0
vsize: 851996
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 89048 50 0 0 25 0 11 0 545374211 872443904 33455 4294967295 134512640 134569956 3221224400 3221214832 1131233586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33455 13073 16 0 212983 0
vsize: 851996
[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 90030 50 0 0 25 0 11 0 545374211 872443904 33524 4294967295 134512640 134569956 3221224400 3221214792 1131264790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33524 13073 16 0 212983 0
vsize: 851996
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 91010 50 0 0 25 0 11 0 545374211 872443904 33615 4294967295 134512640 134569956 3221224400 3221214792 1131264630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33615 13073 16 0 212983 0
vsize: 851996
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 91992 50 0 0 25 0 11 0 545374211 872443904 33660 4294967295 134512640 134569956 3221224400 3221214792 1131264892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33660 13073 16 0 212983 0
vsize: 851996
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 92972 51 0 0 25 0 11 0 545374211 872443904 33738 4294967295 134512640 134569956 3221224400 3221214792 1131264177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33738 13073 16 0 212983 0
vsize: 851996
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 93955 51 0 0 25 0 11 0 545374211 872443904 33794 4294967295 134512640 134569956 3221224400 3221214792 1131264772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33794 13073 16 0 212983 0
vsize: 851996
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 94937 51 0 0 25 0 11 0 545374211 872443904 33853 4294967295 134512640 134569956 3221224400 3221214792 1131264553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33853 13073 16 0 212983 0
vsize: 851996
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 95922 51 0 0 25 0 11 0 545374211 872443904 33928 4294967295 134512640 134569956 3221224400 3221214680 1131785765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33928 13073 16 0 212983 0
vsize: 851996
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 96905 51 0 0 25 0 11 0 545374211 872443904 33998 4294967295 134512640 134569956 3221224400 3221214680 1131785619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 33998 13073 16 0 212983 0
vsize: 851996
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 97888 51 0 0 25 0 11 0 545374211 872443904 34063 4294967295 134512640 134569956 3221224400 3221214664 1131464549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34063 13073 16 0 212983 0
vsize: 851996
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 98873 51 0 0 25 0 11 0 545374211 872443904 34117 4294967295 134512640 134569956 3221224400 3221214832 1131233536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34117 13073 16 0 212983 0
vsize: 851996
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 99852 51 0 0 25 0 11 0 545374211 872443904 34179 4294967295 134512640 134569956 3221224400 3221214792 1131264553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34179 13073 16 0 212983 0
vsize: 851996
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 100833 51 0 0 25 0 11 0 545374211 872443904 34240 4294967295 134512640 134569956 3221224400 3221214792 1131265433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34240 13073 16 0 212983 0
vsize: 851996
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 101808 51 0 0 25 0 11 0 545374211 872443904 34295 4294967295 134512640 134569956 3221224400 3221214448 1131784205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34295 13073 16 0 212983 0
vsize: 851996
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 102790 51 0 0 25 0 11 0 545374211 872443904 34339 4294967295 134512640 134569956 3221224400 3221214488 1131989044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34339 13073 16 0 212983 0
vsize: 851996
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 103776 51 0 0 25 0 11 0 545374211 872443904 34365 4294967295 134512640 134569956 3221224400 3221214792 1131264553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34365 13073 16 0 212983 0
vsize: 851996
[startup+1080.04 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 104761 51 0 0 25 0 11 0 545374211 872443904 34398 4294967295 134512640 134569956 3221224400 3221214792 1131265462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34398 13073 16 0 212983 0
vsize: 851996
[startup+1090.04 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 105744 51 0 0 25 0 11 0 545374211 872443904 34492 4294967295 134512640 134569956 3221224400 3221214792 1131264659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34492 13073 16 0 212983 0
vsize: 851996
[startup+1100.04 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 106727 51 0 0 25 0 11 0 545374211 872443904 34603 4294967295 134512640 134569956 3221224400 3221214792 1131264669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34603 13073 16 0 212983 0
vsize: 851996
[startup+1110.05 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 107713 52 0 0 25 0 11 0 545374211 872443904 34688 4294967295 134512640 134569956 3221224400 3221214792 1131264512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34688 13073 16 0 212983 0
vsize: 851996
[startup+1120.04 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 108699 52 0 0 25 0 11 0 545374211 872443904 34734 4294967295 134512640 134569956 3221224400 3221214400 1131984254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34734 13073 16 0 212983 0
vsize: 851996
[startup+1130.05 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 109687 52 0 0 25 0 11 0 545374211 872443904 34767 4294967295 134512640 134569956 3221224400 3221214888 1131369636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34767 13073 16 0 212983 0
vsize: 851996
[startup+1140.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 110671 52 0 0 25 0 11 0 545374211 872443904 34822 4294967295 134512640 134569956 3221224400 3221214832 1131313841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34822 13073 16 0 212983 0
vsize: 851996
[startup+1150.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 111657 52 0 0 25 0 11 0 545374211 872443904 34839 4294967295 134512640 134569956 3221224400 3221214496 1131985183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34839 13073 16 0 212983 0
vsize: 851996
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 112643 52 0 0 24 0 11 0 545374211 872443904 34875 4294967295 134512640 134569956 3221224400 3221214792 1131264800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34875 13073 16 0 212983 0
vsize: 851996
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 113629 52 0 0 25 0 11 0 545374211 872443904 34905 4294967295 134512640 134569956 3221224400 3221214832 1131233536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34905 13073 16 0 212983 0
vsize: 851996
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 114610 52 0 0 24 0 11 0 545374211 872443904 34929 4294967295 134512640 134569956 3221224400 3221214792 1131264702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34929 13073 16 0 212983 0
vsize: 851996
[startup+1190.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 115591 52 0 0 25 0 11 0 545374211 872443904 34982 4294967295 134512640 134569956 3221224400 3221213832 1131766164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 34982 13073 16 0 212983 0
vsize: 851996
[startup+1200.05 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 116566 52 0 0 25 0 11 0 545374211 872443904 35080 4294967295 134512640 134569956 3221224400 3221214396 1131784230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 35080 13073 16 0 212983 0
vsize: 851996
[startup+1210.05 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 117552 52 0 0 25 0 11 0 545374211 872443904 35122 4294967295 134512640 134569956 3221224400 3221214168 1085679492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 35122 13073 16 0 212983 0
vsize: 851996
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 118523 52 0 0 25 0 11 0 545374211 872443904 35178 4294967295 134512640 134569956 3221224400 3221214792 1131264234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 35178 13073 16 0 212983 0
vsize: 851996
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 119497 52 0 0 25 0 11 0 545374211 872443904 35265 4294967295 134512640 134569956 3221224400 3221214464 1131535978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 35265 13073 16 0 212983 0
vsize: 851996
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20626
Raw data (stat): 20616 (java) R 20615 11931 11930 0 -1 0 18230 0 1 0 120464 52 0 0 25 0 11 0 545374211 872443904 35393 4294967295 134512640 134569956 3221224400 3221214724 1080204274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212999 35393 13073 16 0 212983 0
vsize: 851996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 20628
Raw data (stat): 20616 (java) Z 20615 11931 11930 0 -1 1036 18230 12403 1 0 120469 52 2795 37 25 0 1 0 545374211 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.17
CPU time (s): 1233.56
CPU user time (s): 1232.65
CPU system time (s): 0.904862
CPU usage (%): 99.4668
Max. virtual memory (Kb): 855164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####