PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-ran14x18_1.opb
MD5SUM	d1752d9737bcd79380522c97c646ca71
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10877893
Optimality of the best value was proved	NO
Number of terms in the objective function	7812
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1450667950777
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1450667950777
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1232.2
Number of variables	7812
Total number of constraints	536
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	252
Number of constraints which are nor clauses,nor cardinality constraints	284
Minimum length of a constraint	1
Maximum length of a constraint	540
Trace number 20555

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-21 21:20:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14803 boxname=wulflinc22 idbench=1139 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d1752d9737bcd79380522c97c646ca71  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-ran14x18_1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-ran14x18_1.opb
IDLAUNCH: 14803
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        278344 kB
Buffers:         32664 kB
Cached:         694440 kB
SwapCached:         20 kB
Active:         185752 kB
Inactive:       544072 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        278092 kB
SwapTotal:     2097892 kB
SwapFree:      2097664 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6640 kB
Slab:            20656 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:41:08 (client local time) WITH STATUS 143 IN 1214 SECONDS
stats: 14803 7 1214 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-ran14x18_1.opb
c reading problem 
c [nbvar=7812]
c [nbconstr=536]
c time 24.255
c #vars     7812
c #clauses  317
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=7791616
c Current CPU time (ms) : 134.032
c starts	: 1
c conflicts	: 15
c decisions	: 8671
c propagations	: 44618
c inspects	: 48175
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 15
#### 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.79 0.92 0.89 2/54 9250
Raw data (stat): 9250 (runsolver) R 9249 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548273771 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.0007 s]
Raw data (loadavg): 0.82 0.93 0.90 2/63 9259
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 17979 0 1 0 888 40 0 0 25 0 10 0 548273771 853635072 19193 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 19193 13073 16 0 208391 0
vsize: 833628
[startup+20.0009 s]
Raw data (loadavg): 0.85 0.93 0.90 4/63 9259
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 17995 0 1 0 1772 40 0 0 25 0 10 0 548273771 859795456 21043 4294967295 134512640 134569956 3221224400 3221213888 1079742545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209911 21043 13073 16 0 209895 0
vsize: 839644
[startup+30.002 s]
Raw data (loadavg): 1.18 1.00 0.92 4/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 2450 42 0 0 25 0 11 0 548273771 881053696 26983 4294967295 134512640 134569956 3221224400 3221214672 1131154429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215101 26983 13073 16 0 215085 0
vsize: 860404
[startup+40.0017 s]
Raw data (loadavg): 1.30 1.03 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 3153 42 0 0 25 0 11 0 548273771 879656960 27324 4294967295 134512640 134569956 3221224400 3221214664 1131511333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 27324 13073 16 0 214744 0
vsize: 859040
[startup+50.0021 s]
Raw data (loadavg): 1.25 1.03 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 4067 42 0 0 25 0 11 0 548273771 879656960 27353 4294967295 134512640 134569956 3221224400 3221214672 1131293843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 27353 13073 16 0 214744 0
vsize: 859040
[startup+60.0025 s]
Raw data (loadavg): 1.21 1.03 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 4963 42 0 0 25 0 11 0 548273771 879656960 27423 4294967295 134512640 134569956 3221224400 3221214672 1131293809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 27423 13073 16 0 214744 0
vsize: 859040
[startup+70.0029 s]
Raw data (loadavg): 1.18 1.02 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 5914 43 0 0 25 0 11 0 548273771 879656960 28149 4294967295 134512640 134569956 3221224400 3221214592 1131675056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28149 13073 16 0 214744 0
vsize: 859040
[startup+80.0033 s]
Raw data (loadavg): 1.15 1.02 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 6898 43 0 0 25 0 11 0 548273771 879656960 28169 4294967295 134512640 134569956 3221224400 3221214672 1131294463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28169 13073 16 0 214744 0
vsize: 859040
[startup+90.0034 s]
Raw data (loadavg): 1.13 1.02 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 7884 43 0 0 25 0 11 0 548273771 879656960 28182 4294967295 134512640 134569956 3221224400 3221214672 1131293221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28182 13073 16 0 214744 0
vsize: 859040
[startup+100.004 s]
Raw data (loadavg): 1.11 1.02 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 8869 43 0 0 25 0 11 0 548273771 879656960 28231 4294967295 134512640 134569956 3221224400 3221214768 1131469630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28231 13073 16 0 214744 0
vsize: 859040
[startup+110.004 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 9857 44 0 0 25 0 11 0 548273771 879656960 28249 4294967295 134512640 134569956 3221224400 3221214672 1131293217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28249 13073 16 0 214744 0
vsize: 859040
[startup+120.005 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 10845 44 0 0 25 0 11 0 548273771 879656960 28270 4294967295 134512640 134569956 3221224400 3221214768 1131470178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28270 13073 16 0 214744 0
vsize: 859040
[startup+130.005 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 9260
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 0 1 0 11833 45 0 0 25 0 11 0 548273771 879656960 28289 4294967295 134512640 134569956 3221224400 3221214768 1131470466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28289 13073 16 0 214744 0
vsize: 859040
[startup+140.004 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 12800 46 0 0 25 0 11 0 548273771 879656960 28306 4294967295 134512640 134569956 3221224400 3221214672 1131293569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28306 13073 16 0 214744 0
vsize: 859040
[startup+150.006 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 13761 46 0 0 24 0 11 0 548273771 879656960 28331 4294967295 134512640 134569956 3221224400 3221214712 1131544972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28331 13073 16 0 214744 0
vsize: 859040
[startup+160.006 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 14724 46 0 0 24 0 11 0 548273771 879656960 28348 4294967295 134512640 134569956 3221224400 3221214392 1074489715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28348 13073 16 0 214744 0
vsize: 859040
[startup+170.006 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 15712 47 0 0 25 0 11 0 548273771 879656960 28573 4294967295 134512640 134569956 3221224400 3221214656 1131298146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28573 13073 16 0 214744 0
vsize: 859040
[startup+180.006 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 16694 47 0 0 25 0 11 0 548273771 879656960 28583 4294967295 134512640 134569956 3221224400 3221214672 1131293305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28583 13073 16 0 214744 0
vsize: 859040
[startup+190.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 17667 48 0 0 25 0 11 0 548273771 879656960 28583 4294967295 134512640 134569956 3221224400 3221214672 1131293573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28583 13073 16 0 214744 0
vsize: 859040
[startup+200.007 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 18637 48 0 0 25 0 11 0 548273771 879656960 28583 4294967295 134512640 134569956 3221224400 3221214672 1131293573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28583 13073 16 0 214744 0
vsize: 859040
[startup+210.007 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 19624 49 0 0 25 0 11 0 548273771 879656960 28738 4294967295 134512640 134569956 3221224400 3221214672 1131293552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28738 13073 16 0 214744 0
vsize: 859040
[startup+220.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 20619 49 0 0 25 0 11 0 548273771 879656960 28746 4294967295 134512640 134569956 3221224400 3221214768 1131470402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28746 13073 16 0 214744 0
vsize: 859040
[startup+230.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 21613 49 0 0 25 0 11 0 548273771 879656960 28746 4294967295 134512640 134569956 3221224400 3221214672 1131293809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28746 13073 16 0 214744 0
vsize: 859040
[startup+240.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 22605 50 0 0 25 0 11 0 548273771 879656960 28758 4294967295 134512640 134569956 3221224400 3221214672 1131294554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28758 13073 16 0 214744 0
vsize: 859040
[startup+250.009 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 23599 50 0 0 25 0 11 0 548273771 879656960 28770 4294967295 134512640 134569956 3221224400 3221214768 1131476394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28770 13073 16 0 214744 0
vsize: 859040
[startup+260.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 24591 51 0 0 25 0 11 0 548273771 879656960 28801 4294967295 134512640 134569956 3221224400 3221214672 1131293573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28801 13073 16 0 214744 0
vsize: 859040
[startup+270.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 25586 51 0 0 25 0 11 0 548273771 879656960 28803 4294967295 134512640 134569956 3221224400 3221214672 1131293809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28803 13073 16 0 214744 0
vsize: 859040
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 26579 52 0 0 25 0 11 0 548273771 879656960 28819 4294967295 134512640 134569956 3221224400 3221214624 1131293569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28819 13073 16 0 214744 0
vsize: 859040
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 27574 52 0 0 25 0 11 0 548273771 879656960 28822 4294967295 134512640 134569956 3221224400 3221214624 1131293617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28822 13073 16 0 214744 0
vsize: 859040
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 28568 52 0 0 25 0 11 0 548273771 879656960 28823 4294967295 134512640 134569956 3221224400 3221214624 1131294423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28823 13073 16 0 214744 0
vsize: 859040
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 29563 53 0 0 25 0 11 0 548273771 879656960 28840 4294967295 134512640 134569956 3221224400 3221214720 1131469461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28840 13073 16 0 214744 0
vsize: 859040
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 30558 53 0 0 25 0 11 0 548273771 879656960 28845 4294967295 134512640 134569956 3221224400 3221214624 1131293416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28845 13073 16 0 214744 0
vsize: 859040
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 31553 53 0 0 25 0 11 0 548273771 879656960 28846 4294967295 134512640 134569956 3221224400 3221214664 1131666098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28846 13073 16 0 214744 0
vsize: 859040
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 32548 54 0 0 25 0 11 0 548273771 879656960 28859 4294967295 134512640 134569956 3221224400 3221214720 1131469417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28859 13073 16 0 214744 0
vsize: 859040
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 33545 54 0 0 25 0 11 0 548273771 879656960 28869 4294967295 134512640 134569956 3221224400 3221214624 1131293539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28869 13073 16 0 214744 0
vsize: 859040
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 34540 55 0 0 25 0 11 0 548273771 879656960 28875 4294967295 134512640 134569956 3221224400 3221214720 1131470442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28875 13073 16 0 214744 0
vsize: 859040
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 35533 55 0 0 25 0 11 0 548273771 879656960 28883 4294967295 134512640 134569956 3221224400 3221214624 1131293277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28883 13073 16 0 214744 0
vsize: 859040
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 36528 55 0 0 25 0 11 0 548273771 879656960 28885 4294967295 134512640 134569956 3221224400 3221214624 1131293571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28885 13073 16 0 214744 0
vsize: 859040
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 37523 56 0 0 25 0 11 0 548273771 879656960 28907 4294967295 134512640 134569956 3221224400 3221213832 1079720947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28907 13073 16 0 214744 0
vsize: 859040
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 38521 56 0 0 25 0 11 0 548273771 879656960 28913 4294967295 134512640 134569956 3221224400 3221214624 1131511331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28913 13073 16 0 214744 0
vsize: 859040
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 39500 57 0 0 25 0 11 0 548273771 879656960 28914 4294967295 134512640 134569956 3221224400 3221214496 1131675197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 28914 13073 16 0 214744 0
vsize: 859040
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 40484 58 0 0 25 0 11 0 548273771 879656960 28915 4294967295 134512640 134569956 3221224400 3221214480 1131686702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28915 13073 16 0 214744 0
vsize: 859040
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 41468 58 0 0 25 0 11 0 548273771 879656960 28915 4294967295 134512640 134569956 3221224400 3221214296 1131298260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28915 13073 16 0 214744 0
vsize: 859040
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 42451 58 0 0 25 0 11 0 548273771 879656960 28920 4294967295 134512640 134569956 3221224400 3221214392 1131513797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28920 13073 16 0 214744 0
vsize: 859040
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18158 4 1 0 43437 59 0 0 25 0 11 0 548273771 879656960 28921 4294967295 134512640 134569956 3221224400 3221214480 1131686716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 28921 13073 16 0 214744 0
vsize: 859040
[startup+460.026 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 44426 59 0 0 25 0 11 0 548273771 879656960 29104 4294967295 134512640 134569956 3221224400 3221214496 1131675056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29104 13073 16 0 214744 0
vsize: 859040
[startup+470.033 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 45423 60 0 0 25 0 11 0 548273771 879656960 29104 4294967295 134512640 134569956 3221224400 3221214480 1131686702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29104 13073 16 0 214744 0
vsize: 859040
[startup+480.034 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 46416 60 0 0 25 0 11 0 548273771 879656960 29106 4294967295 134512640 134569956 3221224400 3221214480 1131687160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29106 13073 16 0 214744 0
vsize: 859040
[startup+490.034 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 47413 60 0 0 25 0 11 0 548273771 879656960 29107 4294967295 134512640 134569956 3221224400 3221214392 1131298154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29107 13073 16 0 214744 0
vsize: 859040
[startup+500.034 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 48410 61 0 0 25 0 11 0 548273771 879656960 29107 4294967295 134512640 134569956 3221224400 3221214592 1131783568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29107 13073 16 0 214744 0
vsize: 859040
[startup+510.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 49407 61 0 0 25 0 11 0 548273771 879656960 29107 4294967295 134512640 134569956 3221224400 3221214592 1131783717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29107 13073 16 0 214744 0
vsize: 859040
[startup+520.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 50400 62 0 0 25 0 11 0 548273771 879656960 29136 4294967295 134512640 134569956 3221224400 3221214720 1131468080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29136 13073 16 0 214744 0
vsize: 859040
[startup+530.035 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 51388 62 0 0 25 0 11 0 548273771 879656960 29136 4294967295 134512640 134569956 3221224400 3221214624 1131293277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29136 13073 16 0 214744 0
vsize: 859040
[startup+540.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 52374 63 0 0 25 0 11 0 548273771 879656960 29136 4294967295 134512640 134569956 3221224400 3221214716 1131293203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29136 13073 16 0 214744 0
vsize: 859040
[startup+550.037 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 53365 63 0 0 25 0 11 0 548273771 879656960 29177 4294967295 134512640 134569956 3221224400 3221214720 1131470479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29177 13073 16 0 214744 0
vsize: 859040
[startup+560.038 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 54360 64 0 0 25 0 11 0 548273771 879656960 29178 4294967295 134512640 134569956 3221224400 3221214592 1131783568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29178 13073 16 0 214744 0
vsize: 859040
[startup+570.038 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 55358 64 0 0 25 0 11 0 548273771 879656960 29181 4294967295 134512640 134569956 3221224400 3221214592 1131783568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29181 13073 16 0 214744 0
vsize: 859040
[startup+580.053 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 56356 64 0 0 25 0 11 0 548273771 879656960 29197 4294967295 134512640 134569956 3221224400 3221214720 1131469579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29197 13073 16 0 214744 0
vsize: 859040
[startup+590.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 57352 64 0 0 25 0 11 0 548273771 879656960 29201 4294967295 134512640 134569956 3221224400 3221214664 1131666027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29201 13073 16 0 214744 0
vsize: 859040
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 58345 64 0 0 25 0 11 0 548273771 879656960 29202 4294967295 134512640 134569956 3221224400 3221214624 1131293617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29202 13073 16 0 214744 0
vsize: 859040
[startup+610.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 59339 65 0 0 25 0 11 0 548273771 879656960 29214 4294967295 134512640 134569956 3221224400 3221214624 1131293331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29214 13073 16 0 214744 0
vsize: 859040
[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 60332 65 0 0 25 0 11 0 548273771 879656960 29243 4294967295 134512640 134569956 3221224400 3221214720 1131469494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29243 13073 16 0 214744 0
vsize: 859040
[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 61327 65 0 0 25 0 11 0 548273771 879656960 29246 4294967295 134512640 134569956 3221224400 3221214720 1131468315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29246 13073 16 0 214744 0
vsize: 859040
[startup+640.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 62321 66 0 0 25 0 11 0 548273771 879656960 29255 4294967295 134512640 134569956 3221224400 3221214624 1131293738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29255 13073 16 0 214744 0
vsize: 859040
[startup+650.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 63318 66 0 0 25 0 11 0 548273771 879656960 29264 4294967295 134512640 134569956 3221224400 3221214296 1076461309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29264 13073 16 0 214744 0
vsize: 859040
[startup+660.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 64316 67 0 0 25 0 11 0 548273771 879656960 29266 4294967295 134512640 134569956 3221224400 3221214720 1131469414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29266 13073 16 0 214744 0
vsize: 859040
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 65309 67 0 0 25 0 11 0 548273771 879656960 29268 4294967295 134512640 134569956 3221224400 3221214720 1131468315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29268 13073 16 0 214744 0
vsize: 859040
[startup+680.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 66301 67 0 0 25 0 11 0 548273771 879656960 29269 4294967295 134512640 134569956 3221224400 3221214624 1131293228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29269 13073 16 0 214744 0
vsize: 859040
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 67291 68 0 0 25 0 11 0 548273771 879656960 29293 4294967295 134512640 134569956 3221224400 3221214624 1131293228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29293 13073 16 0 214744 0
vsize: 859040
[startup+700.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 68285 68 0 0 25 0 11 0 548273771 879656960 29323 4294967295 134512640 134569956 3221224400 3221214624 1131293670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29323 13073 16 0 214744 0
vsize: 859040
[startup+710.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 69280 69 0 0 25 0 11 0 548273771 879656960 29336 4294967295 134512640 134569956 3221224400 3221214624 1131293797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29336 13073 16 0 214744 0
vsize: 859040
[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 70277 69 0 0 25 0 11 0 548273771 879656960 29340 4294967295 134512640 134569956 3221224400 3221214392 1131299778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29340 13073 16 0 214744 0
vsize: 859040
[startup+730.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 71274 69 0 0 25 0 11 0 548273771 879656960 29342 4294967295 134512640 134569956 3221224400 3221214480 1131687070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29342 13073 16 0 214744 0
vsize: 859040
[startup+740.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 72271 70 0 0 25 0 11 0 548273771 879656960 29361 4294967295 134512640 134569956 3221224400 3221214392 1131298200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29361 13073 16 0 214744 0
vsize: 859040
[startup+750.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 73269 71 0 0 25 0 11 0 548273771 879656960 29361 4294967295 134512640 134569956 3221224400 3221214584 1131781450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29361 13073 16 0 214744 0
vsize: 859040
[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 74268 71 0 0 25 0 11 0 548273771 879656960 29362 4294967295 134512640 134569956 3221224400 3221214392 1131298130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29362 13073 16 0 214744 0
vsize: 859040
[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 75265 71 0 0 25 0 11 0 548273771 879656960 29365 4294967295 134512640 134569956 3221224400 3221214392 1131298200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29365 13073 16 0 214744 0
vsize: 859040
[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 76262 72 0 0 25 0 11 0 548273771 879656960 29365 4294967295 134512640 134569956 3221224400 3221214480 1131687070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29365 13073 16 0 214744 0
vsize: 859040
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 77259 72 0 0 25 0 11 0 548273771 879656960 29365 4294967295 134512640 134569956 3221224400 3221214480 1131686665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29365 13073 16 0 214744 0
vsize: 859040
[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 78256 72 0 0 25 0 11 0 548273771 879656960 29365 4294967295 134512640 134569956 3221224400 3221214480 1131686702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29365 13073 16 0 214744 0
vsize: 859040
[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 79254 73 0 0 25 0 11 0 548273771 879656960 29365 4294967295 134512640 134569956 3221224400 3221214480 1131687070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29365 13073 16 0 214744 0
vsize: 859040
[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 80251 73 0 0 25 0 11 0 548273771 879656960 29380 4294967295 134512640 134569956 3221224400 3221214480 1131688099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29380 13073 16 0 214744 0
vsize: 859040
[startup+830.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 81249 74 0 0 25 0 11 0 548273771 879656960 29388 4294967295 134512640 134569956 3221224400 3221214392 1131298200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29388 13073 16 0 214744 0
vsize: 859040
[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 82246 74 0 0 25 0 11 0 548273771 879656960 29388 4294967295 134512640 134569956 3221224400 3221214592 1131783571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29388 13073 16 0 214744 0
vsize: 859040
[startup+850.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 83243 74 0 0 25 0 11 0 548273771 879656960 29388 4294967295 134512640 134569956 3221224400 3221214480 1131688815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29388 13073 16 0 214744 0
vsize: 859040
[startup+860.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 84240 75 0 0 25 0 11 0 548273771 879656960 29388 4294967295 134512640 134569956 3221224400 3221214392 1131298200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29388 13073 16 0 214744 0
vsize: 859040
[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 85238 75 0 0 25 0 11 0 548273771 879656960 29388 4294967295 134512640 134569956 3221224400 3221214584 1131781443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29388 13073 16 0 214744 0
vsize: 859040
[startup+880.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 86236 75 0 0 25 0 11 0 548273771 879656960 29413 4294967295 134512640 134569956 3221224400 3221214616 1131539247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29413 13073 16 0 214744 0
vsize: 859040
[startup+890.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 87232 76 0 0 25 0 11 0 548273771 879656960 29413 4294967295 134512640 134569956 3221224400 3221214400 1131298051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29413 13073 16 0 214744 0
vsize: 859040
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 88230 76 0 0 25 0 11 0 548273771 879656960 29413 4294967295 134512640 134569956 3221224400 3221214584 1131781569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29413 13073 16 0 214744 0
vsize: 859040
[startup+910.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 89227 76 0 0 25 0 11 0 548273771 879656960 29413 4294967295 134512640 134569956 3221224400 3221214392 1131298146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29413 13073 16 0 214744 0
vsize: 859040
[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 90224 76 0 0 25 0 11 0 548273771 879656960 29413 4294967295 134512640 134569956 3221224400 3221214584 1131781494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29413 13073 16 0 214744 0
vsize: 859040
[startup+930.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 91222 77 0 0 25 0 11 0 548273771 879656960 29413 4294967295 134512640 134569956 3221224400 3221214584 1131781440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29413 13073 16 0 214744 0
vsize: 859040
[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 92220 77 0 0 25 0 11 0 548273771 879656960 29438 4294967295 134512640 134569956 3221224400 3221214480 1131687160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29438 13073 16 0 214744 0
vsize: 859040
[startup+950.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 93217 77 0 0 25 0 11 0 548273771 879656960 29438 4294967295 134512640 134569956 3221224400 3221214480 1131686740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29438 13073 16 0 214744 0
vsize: 859040
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 94213 78 0 0 25 0 11 0 548273771 879656960 29438 4294967295 134512640 134569956 3221224400 3221214496 1131513860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29438 13073 16 0 214744 0
vsize: 859040
[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 95211 78 0 0 25 0 11 0 548273771 879656960 29438 4294967295 134512640 134569956 3221224400 3221214480 1131688864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29438 13073 16 0 214744 0
vsize: 859040
[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 96208 78 0 0 25 0 11 0 548273771 879656960 29438 4294967295 134512640 134569956 3221224400 3221214392 1131298146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29438 13073 16 0 214744 0
vsize: 859040
[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 97206 79 0 0 25 0 11 0 548273771 879656960 29438 4294967295 134512640 134569956 3221224400 3221214480 1131687085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29438 13073 16 0 214744 0
vsize: 859040
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 98203 79 0 0 25 0 11 0 548273771 879656960 29463 4294967295 134512640 134569956 3221224400 3221214584 1131781443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29463 13073 16 0 214744 0
vsize: 859040
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 99200 80 0 0 25 0 11 0 548273771 879656960 29463 4294967295 134512640 134569956 3221224400 3221214392 1131298161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29463 13073 16 0 214744 0
vsize: 859040
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 100198 80 0 0 25 0 11 0 548273771 879656960 29463 4294967295 134512640 134569956 3221224400 3221214480 1131687074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29463 13073 16 0 214744 0
vsize: 859040
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 101195 80 0 0 25 0 11 0 548273771 879656960 29463 4294967295 134512640 134569956 3221224400 3221214392 1131298051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29463 13073 16 0 214744 0
vsize: 859040
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 102192 80 0 0 25 0 11 0 548273771 879656960 29463 4294967295 134512640 134569956 3221224400 3221214480 1131686699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29463 13073 16 0 214744 0
vsize: 859040
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 103190 80 0 0 25 0 11 0 548273771 879656960 29489 4294967295 134512640 134569956 3221224400 3221214752 1131671836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29489 13073 16 0 214744 0
vsize: 859040
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 104187 81 0 0 25 0 11 0 548273771 879656960 29489 4294967295 134512640 134569956 3221224400 3221214584 1131781443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29489 13073 16 0 214744 0
vsize: 859040
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 105184 81 0 0 25 0 11 0 548273771 879656960 29489 4294967295 134512640 134569956 3221224400 3221214392 1131298101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29489 13073 16 0 214744 0
vsize: 859040
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 106181 82 0 0 25 0 11 0 548273771 879656960 29489 4294967295 134512640 134569956 3221224400 3221214480 1131686699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29489 13073 16 0 214744 0
vsize: 859040
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 107179 82 0 0 25 0 11 0 548273771 879656960 29489 4294967295 134512640 134569956 3221224400 3221214400 1131298713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29489 13073 16 0 214744 0
vsize: 859040
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 108176 82 0 0 25 0 11 0 548273771 879656960 29508 4294967295 134512640 134569956 3221224400 3221214480 1131686709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214760 29508 13073 16 0 214744 0
vsize: 859040
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 109173 82 0 0 25 0 11 0 548273771 879656960 29517 4294967295 134512640 134569956 3221224400 3221214624 1131293746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29517 13073 16 0 214744 0
vsize: 859040
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 110163 82 0 0 25 0 11 0 548273771 879656960 29517 4294967295 134512640 134569956 3221224400 3221214624 1131294503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29517 13073 16 0 214744 0
vsize: 859040
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 111153 82 0 0 25 0 11 0 548273771 879656960 29517 4294967295 134512640 134569956 3221224400 3221214624 1131293228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29517 13073 16 0 214744 0
vsize: 859040
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 112146 82 0 0 25 0 11 0 548273771 879656960 29558 4294967295 134512640 134569956 3221224400 3221214624 1131293221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29558 13073 16 0 214744 0
vsize: 859040
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 113144 82 0 0 25 0 11 0 548273771 879656960 29559 4294967295 134512640 134569956 3221224400 3221214488 1131513860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29559 13073 16 0 214744 0
vsize: 859040
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 114143 82 0 0 25 0 11 0 548273771 879656960 29559 4294967295 134512640 134569956 3221224400 3221214392 1131298365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29559 13073 16 0 214744 0
vsize: 859040
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 115137 82 0 0 25 0 11 0 548273771 879656960 29561 4294967295 134512640 134569956 3221224400 3221214392 1131298287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29561 13073 16 0 214744 0
vsize: 859040
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 116134 82 0 0 25 0 11 0 548273771 879656960 29561 4294967295 134512640 134569956 3221224400 3221214480 1131687070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29561 13073 16 0 214744 0
vsize: 859040
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 117132 82 0 0 25 0 11 0 548273771 879656960 29562 4294967295 134512640 134569956 3221224400 3221214624 1131293853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29562 13073 16 0 214744 0
vsize: 859040
[startup+1200.09 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 118130 82 0 0 25 0 11 0 548273771 879656960 29562 4294967295 134512640 134569956 3221224400 3221214392 1131298437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29562 13073 16 0 214744 0
vsize: 859040
[startup+1210.09 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 119127 83 0 0 25 0 11 0 548273771 879656960 29568 4294967295 134512640 134569956 3221224400 3221214624 1131294511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29568 13073 16 0 214744 0
vsize: 859040
[startup+1220.1 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 9261
Raw data (stat): 9250 (java) R 9249 26298 26297 0 -1 0 18159 4 1 0 120125 83 0 0 25 0 11 0 548273771 879656960 29569 4294967295 134512640 134569956 3221224400 3221214592 1131783568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214760 29569 13073 16 0 214744 0
vsize: 859040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.17 s]
Raw data (loadavg): 1.05 1.01 0.94 1/54 9263
Raw data (stat): 9250 (java) Z 9249 26298 26297 0 -1 1036 18159 4853 1 0 120126 83 1167 22 25 0 1 0 548273771 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): 1220.17
CPU time (s): 1214
CPU user time (s): 1212.95
CPU system time (s): 1.05784
CPU usage (%): 99.4945
Max. virtual memory (Kb): 860404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####