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-fixnet6.opb
MD5SUM	1b379137169731592d0d61cac8bf57af
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
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	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1243.61
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 19232

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 18:23:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16844 boxname=wulflinc6 idbench=1296 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 16844
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        542408 kB
Buffers:         26500 kB
Cached:         444536 kB
SwapCached:        544 kB
Active:          51036 kB
Inactive:       422012 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        542156 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            13520 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 18:44:32 (client local time) WITH STATUS 143 IN 1257.66 SECONDS
stats: 16844 7 1257.66 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
c reading problem 
c [nbvar=9890]
c [nbconstr=978]
c time 32.842
c #vars     9890
c #clauses  700
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.65 0.89 0.88 2/54 21798
Raw data (stat): 21798 (runsolver) R 21797 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488989655 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.0004 s]
Raw data (loadavg): 0.71 0.89 0.89 2/63 21807
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 17985 0 1 0 894 36 0 0 17 0 10 0 488989655 853442560 19202 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208360 19202 13073 16 0 208344 0
vsize: 833440
[startup+20.0046 s]
Raw data (loadavg): 0.75 0.90 0.89 2/63 21807
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 17986 0 1 0 1787 36 0 0 19 0 10 0 488989655 853639168 19719 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208408 19719 13073 16 0 208392 0
vsize: 833632
[startup+30.0259 s]
Raw data (loadavg): 0.95 0.93 0.90 3/63 21807
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18004 0 1 0 2578 37 0 0 24 0 10 0 488989655 876933120 25426 4294967295 134512640 134569956 3221224400 3221213448 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214059 25390 13073 16 0 214043 0
vsize: 856380
[startup+40.0258 s]
Raw data (loadavg): 1.03 0.95 0.90 4/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18071 0 1 0 3383 38 0 0 25 0 11 0 488989655 865128448 23919 4294967295 134512640 134569956 3221224400 3221214352 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 23919 13073 16 0 211197 0
vsize: 844852
[startup+50.0579 s]
Raw data (loadavg): 1.16 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18072 0 1 0 4275 38 0 0 24 0 11 0 488989655 865128448 24004 4294967295 134512640 134569956 3221224400 3221214672 1131287837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 24004 13073 16 0 211197 0
vsize: 844852
[startup+60.0586 s]
Raw data (loadavg): 1.13 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18074 0 1 0 5187 38 0 0 24 0 11 0 488989655 866177024 24450 4294967295 134512640 134569956 3221224400 3221214776 1131376414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 24450 13073 16 0 211453 0
vsize: 845876
[startup+70.0592 s]
Raw data (loadavg): 1.11 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18074 0 1 0 6102 38 0 0 25 0 11 0 488989655 866177024 24568 4294967295 134512640 134569956 3221224400 3221214728 1131681430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211469 24568 13073 16 0 211453 0
vsize: 845876
[startup+80.0594 s]
Raw data (loadavg): 1.10 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18074 0 1 0 7064 38 0 0 25 0 11 0 488989655 866177024 25207 4294967295 134512640 134569956 3221224400 3221214672 1131287270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 25207 13073 16 0 211453 0
vsize: 845876
[startup+90.0601 s]
Raw data (loadavg): 1.08 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 8045 39 0 0 25 0 11 0 488989655 866177024 25208 4294967295 134512640 134569956 3221224400 3221213696 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 25208 13073 16 0 211453 0
vsize: 845876
[startup+100.059 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 9021 39 0 0 25 0 11 0 488989655 866177024 25263 4294967295 134512640 134569956 3221224400 3221214552 1131624338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 25263 13073 16 0 211453 0
vsize: 845876
[startup+110.06 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 9993 39 0 0 25 0 11 0 488989655 866177024 25311 4294967295 134512640 134569956 3221224400 3221214560 1131349461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211469 25311 13073 16 0 211453 0
vsize: 845876
[startup+120.06 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 10958 40 0 0 25 0 11 0 488989655 866177024 25320 4294967295 134512640 134569956 3221224400 3221214584 1080203669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211469 25320 13073 16 0 211453 0
vsize: 845876
[startup+130.06 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 11908 40 0 0 25 0 11 0 488989655 866177024 25503 4294967295 134512640 134569956 3221224400 3221214560 1131349278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 25503 13073 16 0 211453 0
vsize: 845876
[startup+140.06 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 12869 40 0 0 25 0 11 0 488989655 866177024 25687 4294967295 134512640 134569956 3221224400 3221214664 1131806091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211469 25687 13073 16 0 211453 0
vsize: 845876
[startup+150.066 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 13821 40 0 0 17 0 11 0 488989655 866177024 25857 4294967295 134512640 134569956 3221224400 3221214664 1131805972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211469 25857 13073 16 0 211453 0
vsize: 845876
[startup+160.066 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 14781 41 0 0 25 0 11 0 488989655 866177024 26030 4294967295 134512640 134569956 3221224400 3221214672 1131286689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 26030 13073 16 0 211453 0
vsize: 845876
[startup+170.066 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 15744 41 0 0 25 0 11 0 488989655 866177024 26138 4294967295 134512640 134569956 3221224400 3221214672 1131287226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 26138 13073 16 0 211453 0
vsize: 845876
[startup+180.066 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 16696 41 0 0 25 0 11 0 488989655 866177024 26255 4294967295 134512640 134569956 3221224400 3221214584 1131779541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 26255 13073 16 0 211453 0
vsize: 845876
[startup+190.067 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 17649 41 0 0 25 0 11 0 488989655 866177024 26391 4294967295 134512640 134569956 3221224400 3221214552 1131621758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 26391 13073 16 0 211453 0
vsize: 845876
[startup+200.067 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 18611 41 0 0 25 0 11 0 488989655 866177024 26518 4294967295 134512640 134569956 3221224400 3221214664 1131805975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 26518 13073 16 0 211453 0
vsize: 845876
[startup+210.068 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 19564 41 0 0 25 0 11 0 488989655 866177024 26676 4294967295 134512640 134569956 3221224400 3221214776 1131376227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 26676 13073 16 0 211453 0
vsize: 845876
[startup+220.068 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 20519 41 0 0 25 0 11 0 488989655 866177024 26807 4294967295 134512640 134569956 3221224400 3221214664 1131805968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 26807 13073 16 0 211453 0
vsize: 845876
[startup+230.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 21474 41 0 0 25 0 11 0 488989655 866177024 26965 4294967295 134512640 134569956 3221224400 3221214664 1131805968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 26965 13073 16 0 211453 0
vsize: 845876
[startup+240.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 22425 42 0 0 25 0 11 0 488989655 866177024 27109 4294967295 134512640 134569956 3221224400 3221214664 1131576914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 27109 13073 16 0 211453 0
vsize: 845876
[startup+250.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 23386 42 0 0 25 0 11 0 488989655 866177024 27245 4294967295 134512640 134569956 3221224400 3221214536 1131773999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 27245 13073 16 0 211453 0
vsize: 845876
[startup+260.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 24339 42 0 0 25 0 11 0 488989655 866177024 27383 4294967295 134512640 134569956 3221224400 3221214664 1131805968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 27383 13073 16 0 211453 0
vsize: 845876
[startup+270.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 25302 42 0 0 25 0 11 0 488989655 866177024 27500 4294967295 134512640 134569956 3221224400 3221214664 1131805968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 27500 13073 16 0 211453 0
vsize: 845876
[startup+280.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 26258 42 0 0 25 0 11 0 488989655 866177024 27587 4294967295 134512640 134569956 3221224400 3221214672 1131287473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 27587 13073 16 0 211453 0
vsize: 845876
[startup+290.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 27213 42 0 0 25 0 11 0 488989655 866177024 27749 4294967295 134512640 134569956 3221224400 3221214656 1131699218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 27749 13073 16 0 211453 0
vsize: 845876
[startup+300.071 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 28172 42 0 0 25 0 11 0 488989655 866177024 27935 4294967295 134512640 134569956 3221224400 3221214664 1131805968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 27935 13073 16 0 211453 0
vsize: 845876
[startup+310.071 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 29135 42 0 0 24 0 11 0 488989655 866177024 28094 4294967295 134512640 134569956 3221224400 3221214584 1131779541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 28094 13073 16 0 211453 0
vsize: 845876
[startup+320.071 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 30105 42 0 0 25 0 11 0 488989655 866177024 28168 4294967295 134512640 134569956 3221224400 3221214664 1131805972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211469 28168 13073 16 0 211453 0
vsize: 845876
[startup+330.072 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 31070 42 0 0 25 0 11 0 488989655 866177024 28282 4294967295 134512640 134569956 3221224400 3221214776 1131377388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211469 28282 13073 16 0 211453 0
vsize: 845876
[startup+340.072 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 32031 42 0 0 25 0 11 0 488989655 865128448 28127 4294967295 134512640 134569956 3221224400 3221214664 1131806099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28127 13073 16 0 211197 0
vsize: 844852
[startup+350.072 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 32994 42 0 0 25 0 11 0 488989655 865128448 28220 4294967295 134512640 134569956 3221224400 3221214664 1131806091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211213 28220 13073 16 0 211197 0
vsize: 844852
[startup+360.072 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 33957 43 0 0 25 0 11 0 488989655 865128448 28334 4294967295 134512640 134569956 3221224400 3221214672 1131287341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28334 13073 16 0 211197 0
vsize: 844852
[startup+370.073 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 34920 43 0 0 25 0 11 0 488989655 865128448 28457 4294967295 134512640 134569956 3221224400 3221214408 1131784117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211213 28457 13073 16 0 211197 0
vsize: 844852
[startup+380.073 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 35880 43 0 0 25 0 11 0 488989655 865128448 28595 4294967295 134512640 134569956 3221224400 3221214560 1131349204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28595 13073 16 0 211197 0
vsize: 844852
[startup+390.074 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 36853 43 0 0 25 0 11 0 488989655 865128448 28662 4294967295 134512640 134569956 3221224400 3221214728 1131681035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28662 13073 16 0 211197 0
vsize: 844852
[startup+400.074 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 37811 43 0 0 25 0 11 0 488989655 865128448 28807 4294967295 134512640 134569956 3221224400 3221214664 1131579709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28807 13073 16 0 211197 0
vsize: 844852
[startup+410.074 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 38776 43 0 0 25 0 11 0 488989655 865128448 28924 4294967295 134512640 134569956 3221224400 3221214672 1131287368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 28924 13073 16 0 211197 0
vsize: 844852
[startup+420.074 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 39739 43 0 0 25 0 11 0 488989655 865128448 29016 4294967295 134512640 134569956 3221224400 3221214560 1131349204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 29016 13073 16 0 211197 0
vsize: 844852
[startup+430.074 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 40700 43 0 0 25 0 11 0 488989655 865128448 29108 4294967295 134512640 134569956 3221224400 3221214664 1131805972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 29108 13073 16 0 211197 0
vsize: 844852
[startup+440.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 41649 43 0 0 25 0 11 0 488989655 865128448 29177 4294967295 134512640 134569956 3221224400 3221214560 1131349304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 29177 13073 16 0 211197 0
vsize: 844852
[startup+450.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 42605 43 0 0 25 0 11 0 488989655 865128448 29333 4294967295 134512640 134569956 3221224400 3221214660 1131347340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 29333 13073 16 0 211197 0
vsize: 844852
[startup+460.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 43561 43 0 0 25 0 11 0 488989655 865128448 29451 4294967295 134512640 134569956 3221224400 3221214664 1131806097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 29451 13073 16 0 211197 0
vsize: 844852
[startup+470.076 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 44509 43 0 0 25 0 11 0 488989655 865128448 29595 4294967295 134512640 134569956 3221224400 3221214672 1131287441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 29595 13073 16 0 211197 0
vsize: 844852
[startup+480.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 45466 43 0 0 25 0 11 0 488989655 865128448 29735 4294967295 134512640 134569956 3221224400 3221214664 1131806108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 29735 13073 16 0 211197 0
vsize: 844852
[startup+490.076 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 46423 43 0 0 25 0 11 0 488989655 865128448 29858 4294967295 134512640 134569956 3221224400 3221214664 1131805975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 29858 13073 16 0 211197 0
vsize: 844852
[startup+500.077 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 47373 43 0 0 25 0 11 0 488989655 865128448 30023 4294967295 134512640 134569956 3221224400 3221214664 1131806099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 30023 13073 16 0 211197 0
vsize: 844852
[startup+510.077 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 48332 43 0 0 25 0 11 0 488989655 865128448 30143 4294967295 134512640 134569956 3221224400 3221214664 1131577811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 30143 13073 16 0 211197 0
vsize: 844852
[startup+520.077 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 49283 43 0 0 25 0 11 0 488989655 865128448 30287 4294967295 134512640 134569956 3221224400 3221214664 1131805972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 30287 13073 16 0 211197 0
vsize: 844852
[startup+530.077 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 50236 43 0 0 25 0 11 0 488989655 865128448 30446 4294967295 134512640 134569956 3221224400 3221214560 1131288546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 30446 13073 16 0 211197 0
vsize: 844852
[startup+540.078 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 51191 43 0 0 25 0 11 0 488989655 865128448 30610 4294967295 134512640 134569956 3221224400 3221214664 1131805980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 30610 13073 16 0 211197 0
vsize: 844852
[startup+550.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 52154 44 0 0 25 0 11 0 488989655 865128448 30715 4294967295 134512640 134569956 3221224400 3221214664 1131791399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 30715 13073 16 0 211197 0
vsize: 844852
[startup+560.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 53110 44 0 0 25 0 11 0 488989655 865128448 30855 4294967295 134512640 134569956 3221224400 3221214664 1131791506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 30855 13073 16 0 211197 0
vsize: 844852
[startup+570.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 54064 44 0 0 25 0 11 0 488989655 865128448 30988 4294967295 134512640 134569956 3221224400 3221214560 1131349204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 30988 13073 16 0 211197 0
vsize: 844852
[startup+580.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 55018 44 0 0 25 0 11 0 488989655 865128448 31114 4294967295 134512640 134569956 3221224400 3221214552 1131621998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 31114 13073 16 0 211197 0
vsize: 844852
[startup+590.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 55980 44 0 0 25 0 11 0 488989655 865128448 31219 4294967295 134512640 134569956 3221224400 3221214664 1131805964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 31219 13073 16 0 211197 0
vsize: 844852
[startup+600.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 56941 44 0 0 25 0 11 0 488989655 865128448 31317 4294967295 134512640 134569956 3221224400 3221214776 1131376586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 31317 13073 16 0 211197 0
vsize: 844852
[startup+610.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 57898 44 0 0 25 0 11 0 488989655 865128448 31444 4294967295 134512640 134569956 3221224400 3221214672 1131287734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 31444 13073 16 0 211197 0
vsize: 844852
[startup+620.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 58863 44 0 0 25 0 11 0 488989655 865128448 31586 4294967295 134512640 134569956 3221224400 3221214560 1131349260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 31586 13073 16 0 211197 0
vsize: 844852
[startup+630.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 59819 44 0 0 25 0 11 0 488989655 865128448 31727 4294967295 134512640 134569956 3221224400 3221214664 1131805968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 31727 13073 16 0 211197 0
vsize: 844852
[startup+640.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 60783 44 0 0 25 0 11 0 488989655 865128448 31839 4294967295 134512640 134569956 3221224400 3221214248 1080217273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 31839 13073 16 0 211197 0
vsize: 844852
[startup+650.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 61738 44 0 0 25 0 11 0 488989655 865128448 31957 4294967295 134512640 134569956 3221224400 3221214664 1131805972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 31957 13073 16 0 211197 0
vsize: 844852
[startup+660.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) S 21797 29653 29652 0 -1 0 18075 0 1 0 62698 44 0 0 25 0 11 0 488989655 865128448 32044 4294967295 134512640 134569956 3221224400 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 32044 13073 16 0 211197 0
vsize: 844852
[startup+670.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 63648 44 0 0 25 0 11 0 488989655 865128448 32141 4294967295 134512640 134569956 3221224400 3221214664 1131805952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 32141 13073 16 0 211197 0
vsize: 844852
[startup+680.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 64605 44 0 0 25 0 11 0 488989655 865128448 32254 4294967295 134512640 134569956 3221224400 3221214672 1131287787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 32254 13073 16 0 211197 0
vsize: 844852
[startup+690.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 65550 44 0 0 25 0 11 0 488989655 865128448 32402 4294967295 134512640 134569956 3221224400 3221214552 1131622016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 32402 13073 16 0 211197 0
vsize: 844852
[startup+700.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 66503 44 0 0 25 0 11 0 488989655 865128448 32516 4294967295 134512640 134569956 3221224400 3221214672 1131287004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 32516 13073 16 0 211197 0
vsize: 844852
[startup+710.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 67445 44 0 0 25 0 11 0 488989655 865128448 32654 4294967295 134512640 134569956 3221224400 3221214664 1131805978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 32654 13073 16 0 211197 0
vsize: 844852
[startup+720.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 68396 44 0 0 25 0 11 0 488989655 865128448 32788 4294967295 134512640 134569956 3221224400 3221214664 1131806091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 32788 13073 16 0 211197 0
vsize: 844852
[startup+730.093 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 69337 44 0 0 25 0 11 0 488989655 865128448 32951 4294967295 134512640 134569956 3221224400 3221214776 1131378363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 32951 13073 16 0 211197 0
vsize: 844852
[startup+740.094 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 70280 45 0 0 25 0 11 0 488989655 865128448 33124 4294967295 134512640 134569956 3221224400 3221214776 1131376358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 33124 13073 16 0 211197 0
vsize: 844852
[startup+750.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 71236 45 0 0 25 0 11 0 488989655 865128448 33278 4294967295 134512640 134569956 3221224400 3221214664 1131791415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211213 33278 13073 16 0 211197 0
vsize: 844852
[startup+760.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 72181 45 0 0 25 0 11 0 488989655 865128448 33453 4294967295 134512640 134569956 3221224400 3221214664 1131806099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 33453 13073 16 0 211197 0
vsize: 844852
[startup+770.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 73127 45 0 0 25 0 11 0 488989655 865128448 33637 4294967295 134512640 134569956 3221224400 3221214664 1131805978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 33637 13073 16 0 211197 0
vsize: 844852
[startup+780.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 74075 45 0 0 25 0 11 0 488989655 865128448 33783 4294967295 134512640 134569956 3221224400 3221214664 1131791388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 33783 13073 16 0 211197 0
vsize: 844852
[startup+790.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 75023 45 0 0 25 0 11 0 488989655 865128448 33895 4294967295 134512640 134569956 3221224400 3221214552 1131621684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 33895 13073 16 0 211197 0
vsize: 844852
[startup+800.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 75979 45 0 0 25 0 11 0 488989655 865128448 34007 4294967295 134512640 134569956 3221224400 3221214776 1131377392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 34007 13073 16 0 211197 0
vsize: 844852
[startup+810.097 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 76928 45 0 0 25 0 11 0 488989655 865128448 34210 4294967295 134512640 134569956 3221224400 3221214704 1131648174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 34210 13073 16 0 211197 0
vsize: 844852
[startup+820.097 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 77881 45 0 0 25 0 11 0 488989655 865128448 34362 4294967295 134512640 134569956 3221224400 3221214672 1131287262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 34362 13073 16 0 211197 0
vsize: 844852
[startup+830.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 78834 45 0 0 25 0 11 0 488989655 865128448 34518 4294967295 134512640 134569956 3221224400 3221214552 1131623547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 34518 13073 16 0 211197 0
vsize: 844852
[startup+840.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 79788 45 0 0 25 0 11 0 488989655 865128448 34656 4294967295 134512640 134569956 3221224400 3221214560 1131349207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 34656 13073 16 0 211197 0
vsize: 844852
[startup+850.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 80749 45 0 0 25 0 11 0 488989655 865128448 34755 4294967295 134512640 134569956 3221224400 3221214552 1131621980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 34755 13073 16 0 211197 0
vsize: 844852
[startup+860.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 81703 45 0 0 25 0 11 0 488989655 865128448 34890 4294967295 134512640 134569956 3221224400 3221214560 1131348967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 34890 13073 16 0 211197 0
vsize: 844852
[startup+870.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 82650 45 0 0 25 0 11 0 488989655 865128448 35029 4294967295 134512640 134569956 3221224400 3221214552 1131621929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 35029 13073 16 0 211197 0
vsize: 844852
[startup+880.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 83606 45 0 0 25 0 11 0 488989655 865128448 35175 4294967295 134512640 134569956 3221224400 3221214560 1131349327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 35175 13073 16 0 211197 0
vsize: 844852
[startup+890.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 84565 45 0 0 25 0 11 0 488989655 865128448 35309 4294967295 134512640 134569956 3221224400 3221214584 1131532002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 35309 13073 16 0 211197 0
vsize: 844852
[startup+900.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 85523 45 0 0 25 0 11 0 488989655 865128448 35423 4294967295 134512640 134569956 3221224400 3221214668 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 35423 13073 16 0 211197 0
vsize: 844852
[startup+910.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 86472 45 0 0 25 0 11 0 488989655 865128448 35560 4294967295 134512640 134569956 3221224400 3221214664 1131805952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 35560 13073 16 0 211197 0
vsize: 844852
[startup+920.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 87424 45 0 0 25 0 11 0 488989655 865128448 35688 4294967295 134512640 134569956 3221224400 3221214672 1131286693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 35688 13073 16 0 211197 0
vsize: 844852
[startup+930.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 88372 46 0 0 25 0 11 0 488989655 865128448 35867 4294967295 134512640 134569956 3221224400 3221214672 1131286918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 35867 13073 16 0 211197 0
vsize: 844852
[startup+940.101 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 89333 46 0 0 25 0 11 0 488989655 865128448 36080 4294967295 134512640 134569956 3221224400 3221214776 1131376479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36080 13073 16 0 211197 0
vsize: 844852
[startup+950.102 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 90314 46 0 0 25 0 11 0 488989655 865128448 36221 4294967295 134512640 134569956 3221224400 3221214672 1131287692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36221 13073 16 0 211197 0
vsize: 844852
[startup+960.102 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 91297 46 0 0 25 0 11 0 488989655 865128448 36246 4294967295 134512640 134569956 3221224400 3221214672 1131286721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36246 13073 16 0 211197 0
vsize: 844852
[startup+970.102 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 92268 46 0 0 24 0 11 0 488989655 865128448 36267 4294967295 134512640 134569956 3221224400 3221214728 1131248408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36267 13073 16 0 211197 0
vsize: 844852
[startup+980.103 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 93237 46 0 0 25 0 11 0 488989655 865128448 36290 4294967295 134512640 134569956 3221224400 3221214704 1131648133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36290 13073 16 0 211197 0
vsize: 844852
[startup+990.104 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 94192 46 0 0 25 0 11 0 488989655 865128448 36320 4294967295 134512640 134569956 3221224400 3221214664 1131806091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36320 13073 16 0 211197 0
vsize: 844852
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 95141 46 0 0 25 0 11 0 488989655 865128448 36447 4294967295 134512640 134569956 3221224400 3221214672 1131287817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36447 13073 16 0 211197 0
vsize: 844852
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 96091 47 0 0 25 0 11 0 488989655 865128448 36596 4294967295 134512640 134569956 3221224400 3221214664 1131805952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36596 13073 16 0 211197 0
vsize: 844852
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 97041 47 0 0 25 0 11 0 488989655 865128448 36762 4294967295 134512640 134569956 3221224400 3221214776 1131376479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36762 13073 16 0 211197 0
vsize: 844852
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 97993 47 0 0 25 0 11 0 488989655 865128448 36901 4294967295 134512640 134569956 3221224400 3221214672 1131287064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 36901 13073 16 0 211197 0
vsize: 844852
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 98941 47 0 0 25 0 11 0 488989655 865128448 37052 4294967295 134512640 134569956 3221224400 3221214672 1131287262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 37052 13073 16 0 211197 0
vsize: 844852
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 99897 47 0 0 24 0 11 0 488989655 865128448 37192 4294967295 134512640 134569956 3221224400 3221214672 1131287262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 37192 13073 16 0 211197 0
vsize: 844852
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 100855 47 0 0 25 0 11 0 488989655 865128448 37332 4294967295 134512640 134569956 3221224400 3221214664 1131805968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 37332 13073 16 0 211197 0
vsize: 844852
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 101817 47 0 0 25 0 11 0 488989655 865128448 37452 4294967295 134512640 134569956 3221224400 3221214672 1131287881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 37452 13073 16 0 211197 0
vsize: 844852
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 102780 48 0 0 25 0 11 0 488989655 865128448 37549 4294967295 134512640 134569956 3221224400 3221214552 1131622795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 37549 13073 16 0 211197 0
vsize: 844852
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 103744 48 0 0 25 0 11 0 488989655 865128448 37658 4294967295 134512640 134569956 3221224400 3221214384 1131794473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 37658 13073 16 0 211197 0
vsize: 844852
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 104703 48 0 0 25 0 11 0 488989655 865128448 37780 4294967295 134512640 134569956 3221224400 3221214672 1131287495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 37780 13073 16 0 211197 0
vsize: 844852
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 105666 48 0 0 25 0 11 0 488989655 865128448 37861 4294967295 134512640 134569956 3221224400 3221214656 1131630016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 37861 13073 16 0 211197 0
vsize: 844852
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 106627 48 0 0 25 0 11 0 488989655 865128448 37949 4294967295 134512640 134569956 3221224400 3221214672 1131287807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211213 37949 13073 16 0 211197 0
vsize: 844852
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 107587 48 0 0 25 0 11 0 488989655 865128448 38075 4294967295 134512640 134569956 3221224400 3221214776 1131377472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38075 13073 16 0 211197 0
vsize: 844852
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 108547 48 0 0 25 0 11 0 488989655 865128448 38158 4294967295 134512640 134569956 3221224400 3221214672 1131286702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38158 13073 16 0 211197 0
vsize: 844852
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 109507 48 0 0 25 0 11 0 488989655 865128448 38270 4294967295 134512640 134569956 3221224400 3221214672 1131287262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38270 13073 16 0 211197 0
vsize: 844852
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 110459 49 0 0 25 0 11 0 488989655 865128448 38403 4294967295 134512640 134569956 3221224400 3221214664 1131806099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38403 13073 16 0 211197 0
vsize: 844852
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 111419 49 0 0 25 0 11 0 488989655 865128448 38517 4294967295 134512640 134569956 3221224400 3221214772 1131248236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38517 13073 16 0 211197 0
vsize: 844852
[startup+1180.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 112379 49 0 0 25 0 11 0 488989655 865128448 38616 4294967295 134512640 134569956 3221224400 3221214776 1131377463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38616 13073 16 0 211197 0
vsize: 844852
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 113335 49 0 0 25 0 11 0 488989655 865128448 38767 4294967295 134512640 134569956 3221224400 3221214832 1131527493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38767 13073 16 0 211197 0
vsize: 844852
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 114297 49 0 0 25 0 11 0 488989655 865128448 38873 4294967295 134512640 134569956 3221224400 3221214664 1131806099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38873 13073 16 0 211197 0
vsize: 844852
[startup+1210.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 115253 49 0 0 25 0 11 0 488989655 865128448 38993 4294967295 134512640 134569956 3221224400 3221214360 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 38993 13073 16 0 211197 0
vsize: 844852
[startup+1220.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 116213 50 0 0 25 0 11 0 488989655 865128448 39102 4294967295 134512640 134569956 3221224400 3221214672 1131287501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 39102 13073 16 0 211197 0
vsize: 844852
[startup+1230.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 117172 50 0 0 25 0 11 0 488989655 865128448 39209 4294967295 134512640 134569956 3221224400 3221214664 1131805952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 39209 13073 16 0 211197 0
vsize: 844852
[startup+1240.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 118126 50 0 0 24 0 11 0 488989655 865128448 39340 4294967295 134512640 134569956 3221224400 3221214776 1131376518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 39340 13073 16 0 211197 0
vsize: 844852
[startup+1250.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 119085 50 0 0 25 0 11 0 488989655 865128448 39459 4294967295 134512640 134569956 3221224400 3221214672 1131286714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 39459 13073 16 0 211197 0
vsize: 844852
[startup+1260.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 21808
Raw data (stat): 21798 (java) R 21797 29653 29652 0 -1 0 18075 0 1 0 120044 50 0 0 25 0 11 0 488989655 865128448 39596 4294967295 134512640 134569956 3221224400 3221214672 1131286693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211213 39596 13073 16 0 211197 0
vsize: 844852
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.22 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 21810
Raw data (stat): 21798 (java) Z 21797 29653 29652 0 -1 1036 18075 18474 1 0 120047 50 5623 44 25 0 1 0 488989655 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.22
CPU time (s): 1257.66
CPU user time (s): 1256.7
CPU system time (s): 0.954854
CPU usage (%): 99.7969
Max. virtual memory (Kb): 856380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####