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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb
MD5SUM795a1eda830447df9b9714fdf1d66b4e
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2795888
Optimality of the best value was proved NO
Number of terms in the objective function 5418
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1537450315
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1537450315
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1224.65
Number of variables5418
Total number of constraints307
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints307
Minimum length of a constraint21
Maximum length of a constraint860

Trace number 14774 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-21 01:14:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19353 boxname=wulflinc7 idbench=1489 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  795a1eda830447df9b9714fdf1d66b4e  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-ran6x43.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-ran6x43.opb
IDLAUNCH: 19353
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        772140 kB
Buffers:         35516 kB
Cached:         203908 kB
SwapCached:          4 kB
Active:          40688 kB
Inactive:       201632 kB
HighTotal:      131008 kB
HighFree:        20048 kB
LowTotal:       903652 kB
LowFree:        752092 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            14544 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 01:35:23 (client local time) WITH STATUS 143 IN 1227.5 SECONDS
stats: 19353 7 1227.5 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-ran6x43.opb
c reading problem 
c [nbvar=5418]
c [nbconstr=307]
c time 12.653
c #vars     5418
c #clauses  356
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=2585520
c Current CPU time (ms) : 824.011
c starts	: 3
c conflicts	: 254
c decisions	: 8572
c propagations	: 50411
c inspects	: 401911
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 254
c root simplifications	: 6
#### 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.92 0.97 0.93 2/54 29512
Raw data (stat): 29512 (runsolver) R 29511 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482822514 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.0104 s]
Raw data (loadavg): 0.93 0.97 0.93 2/63 29521
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 17978 0 1 0 880 44 0 0 25 0 10 0 482822514 854437888 19345 4294967295 134512640 134569956 3221224400 3221214744 1131166337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208603 19345 13073 16 0 208587 0
vsize: 834412
[startup+20.0186 s]
Raw data (loadavg): 1.02 0.99 0.94 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18055 0 1 0 1616 45 0 0 25 0 11 0 482822514 860934144 21907 4294967295 134512640 134569956 3221224400 3221214544 1131378689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210189 21907 13073 16 0 210173 0
vsize: 840756
[startup+30.0198 s]
Raw data (loadavg): 1.09 1.00 0.94 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 2542 45 0 0 25 0 11 0 482822514 860868608 22114 4294967295 134512640 134569956 3221224400 3221214792 1131330475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210173 22114 13073 16 0 210157 0
vsize: 840692
[startup+40.0204 s]
Raw data (loadavg): 1.08 1.00 0.94 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 3457 45 0 0 25 0 11 0 482822514 860258304 22159 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 22159 13073 16 0 210008 0
vsize: 840096
[startup+50.0216 s]
Raw data (loadavg): 1.07 1.00 0.94 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 4399 45 0 0 25 0 11 0 482822514 860258304 22699 4294967295 134512640 134569956 3221224400 3221214792 1131330530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 22699 13073 16 0 210008 0
vsize: 840096
[startup+60.0218 s]
Raw data (loadavg): 1.13 1.02 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 5337 46 0 0 25 0 11 0 482822514 860258304 22777 4294967295 134512640 134569956 3221224400 3221214688 1131266457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 22777 13073 16 0 210008 0
vsize: 840096
[startup+70.0223 s]
Raw data (loadavg): 1.11 1.02 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 6275 46 0 0 25 0 11 0 482822514 860258304 22979 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 22979 13073 16 0 210008 0
vsize: 840096
[startup+80.0225 s]
Raw data (loadavg): 1.09 1.02 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 7224 46 0 0 25 0 11 0 482822514 860258304 23173 4294967295 134512640 134569956 3221224400 3221214736 1131227746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23173 13073 16 0 210008 0
vsize: 840096
[startup+90.0226 s]
Raw data (loadavg): 1.08 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 8177 47 0 0 25 0 11 0 482822514 860258304 23450 4294967295 134512640 134569956 3221224400 3221214688 1131265917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23450 13073 16 0 210008 0
vsize: 840096
[startup+100.023 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 9154 47 0 0 25 0 11 0 482822514 860258304 23575 4294967295 134512640 134569956 3221224400 3221214792 1131330475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23575 13073 16 0 210008 0
vsize: 840096
[startup+110.023 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 10142 48 0 0 25 0 11 0 482822514 860258304 23688 4294967295 134512640 134569956 3221224400 3221214688 1131266566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23688 13073 16 0 210008 0
vsize: 840096
[startup+120.024 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 11136 48 0 0 25 0 11 0 482822514 860258304 23695 4294967295 134512640 134569956 3221224400 3221214792 1131330449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23695 13073 16 0 210008 0
vsize: 840096
[startup+130.025 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 12129 48 0 0 25 0 11 0 482822514 860258304 23711 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23711 13073 16 0 210008 0
vsize: 840096
[startup+140.025 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 13121 49 0 0 25 0 11 0 482822514 860258304 23720 4294967295 134512640 134569956 3221224400 3221214792 1131331592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23720 13073 16 0 210008 0
vsize: 840096
[startup+150.027 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 14115 49 0 0 25 0 11 0 482822514 860258304 23757 4294967295 134512640 134569956 3221224400 3221214688 1131266251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23757 13073 16 0 210008 0
vsize: 840096
[startup+160.027 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 15106 50 0 0 25 0 11 0 482822514 860258304 23769 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23769 13073 16 0 210008 0
vsize: 840096
[startup+170.027 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 16094 50 0 0 25 0 11 0 482822514 860258304 23777 4294967295 134512640 134569956 3221224400 3221214792 1131332388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23777 13073 16 0 210008 0
vsize: 840096
[startup+180.027 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 17083 50 0 0 25 0 11 0 482822514 860258304 23841 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23841 13073 16 0 210008 0
vsize: 840096
[startup+190.028 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 18074 50 0 0 25 0 11 0 482822514 860258304 23884 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23884 13073 16 0 210008 0
vsize: 840096
[startup+200.028 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 19070 50 0 0 25 0 11 0 482822514 860258304 23884 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23884 13073 16 0 210008 0
vsize: 840096
[startup+210.028 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 20066 51 0 0 25 0 11 0 482822514 860258304 23885 4294967295 134512640 134569956 3221224400 3221214688 1131266939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23885 13073 16 0 210008 0
vsize: 840096
[startup+220.029 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 21063 52 0 0 25 0 11 0 482822514 860258304 23892 4294967295 134512640 134569956 3221224400 3221214688 1131265921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23892 13073 16 0 210008 0
vsize: 840096
[startup+230.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 22056 52 0 0 25 0 11 0 482822514 860258304 23892 4294967295 134512640 134569956 3221224400 3221214688 1131266010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23892 13073 16 0 210008 0
vsize: 840096
[startup+240.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 23047 53 0 0 25 0 11 0 482822514 860258304 23896 4294967295 134512640 134569956 3221224400 3221214688 1131266036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23896 13073 16 0 210008 0
vsize: 840096
[startup+250.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 24029 53 0 0 25 0 11 0 482822514 860258304 23951 4294967295 134512640 134569956 3221224400 3221214688 1131266931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 23951 13073 16 0 210008 0
vsize: 840096
[startup+260.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 25007 54 0 0 25 0 11 0 482822514 860258304 24018 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24018 13073 16 0 210008 0
vsize: 840096
[startup+270.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 25978 54 0 0 25 0 11 0 482822514 860258304 24037 4294967295 134512640 134569956 3221224400 3221214792 1131331596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24037 13073 16 0 210008 0
vsize: 840096
[startup+280.033 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 26947 54 0 0 25 0 11 0 482822514 860258304 24127 4294967295 134512640 134569956 3221224400 3221214688 1131266924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24127 13073 16 0 210008 0
vsize: 840096
[startup+290.033 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 27916 55 0 0 25 0 11 0 482822514 860258304 24204 4294967295 134512640 134569956 3221224400 3221214688 1131266056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24204 13073 16 0 210008 0
vsize: 840096
[startup+300.034 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18057 0 1 0 28885 55 0 0 25 0 11 0 482822514 860258304 24265 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24265 13073 16 0 210008 0
vsize: 840096
[startup+310.035 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) S 29511 22932 22931 0 -1 0 18058 0 1 0 29854 56 0 0 25 0 11 0 482822514 860258304 24383 4294967295 134512640 134569956 3221224400 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24383 13073 16 0 210008 0
vsize: 840096
[startup+320.035 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 30826 56 0 0 25 0 11 0 482822514 860258304 24496 4294967295 134512640 134569956 3221224400 3221214688 1131266030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24496 13073 16 0 210008 0
vsize: 840096
[startup+330.036 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 31800 57 0 0 25 0 11 0 482822514 860258304 24580 4294967295 134512640 134569956 3221224400 3221214792 1131330468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24580 13073 16 0 210008 0
vsize: 840096
[startup+340.037 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 32767 57 0 0 25 0 11 0 482822514 860258304 24633 4294967295 134512640 134569956 3221224400 3221214792 1131331610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24633 13073 16 0 210008 0
vsize: 840096
[startup+350.037 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 33730 58 0 0 25 0 11 0 482822514 860258304 24689 4294967295 134512640 134569956 3221224400 3221214688 1131266611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24689 13073 16 0 210008 0
vsize: 840096
[startup+360.038 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 34687 58 0 0 25 0 11 0 482822514 860258304 24764 4294967295 134512640 134569956 3221224400 3221214688 1131266550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 24764 13073 16 0 210008 0
vsize: 840096
[startup+370.038 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 35641 58 0 0 25 0 11 0 482822514 860258304 25002 4294967295 134512640 134569956 3221224400 3221214792 1131331614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 25002 13073 16 0 210008 0
vsize: 840096
[startup+380.038 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 36618 59 0 0 25 0 11 0 482822514 860258304 25194 4294967295 134512640 134569956 3221224400 3221214688 1131266144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 25194 13073 16 0 210008 0
vsize: 840096
[startup+390.039 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 37609 59 0 0 25 0 11 0 482822514 860258304 25222 4294967295 134512640 134569956 3221224400 3221214792 1131332371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 25222 13073 16 0 210008 0
vsize: 840096
[startup+400.039 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 38602 59 0 0 25 0 11 0 482822514 860258304 25232 4294967295 134512640 134569956 3221224400 3221214792 1131331406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 25232 13073 16 0 210008 0
vsize: 840096
[startup+410.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 39595 59 0 0 25 0 11 0 482822514 860258304 25239 4294967295 134512640 134569956 3221224400 3221214792 1131332999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25239 13073 16 0 210008 0
vsize: 840096
[startup+420.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 40588 60 0 0 25 0 11 0 482822514 860258304 25248 4294967295 134512640 134569956 3221224400 3221214792 1131330475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25248 13073 16 0 210008 0
vsize: 840096
[startup+430.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 41581 60 0 0 25 0 11 0 482822514 860258304 25278 4294967295 134512640 134569956 3221224400 3221214688 1131266291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25278 13073 16 0 210008 0
vsize: 840096
[startup+440.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 42573 60 0 0 25 0 11 0 482822514 860258304 25287 4294967295 134512640 134569956 3221224400 3221214688 1131266251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25287 13073 16 0 210008 0
vsize: 840096
[startup+450.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 43566 60 0 0 25 0 11 0 482822514 860258304 25307 4294967295 134512640 134569956 3221224400 3221214792 1131331610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25307 13073 16 0 210008 0
vsize: 840096
[startup+460.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 44560 60 0 0 25 0 11 0 482822514 860258304 25353 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25353 13073 16 0 210008 0
vsize: 840096
[startup+470.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 45555 60 0 0 25 0 11 0 482822514 860258304 25363 4294967295 134512640 134569956 3221224400 3221214688 1131266601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25363 13073 16 0 210008 0
vsize: 840096
[startup+480.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 46550 60 0 0 25 0 11 0 482822514 860258304 25370 4294967295 134512640 134569956 3221224400 3221214688 1131265921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25370 13073 16 0 210008 0
vsize: 840096
[startup+490.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 47542 60 0 0 25 0 11 0 482822514 860258304 25376 4294967295 134512640 134569956 3221224400 3221214688 1131266427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25376 13073 16 0 210008 0
vsize: 840096
[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 48532 60 0 0 25 0 11 0 482822514 860258304 25382 4294967295 134512640 134569956 3221224400 3221214792 1131331698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25382 13073 16 0 210008 0
vsize: 840096
[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 49521 61 0 0 25 0 11 0 482822514 860258304 25442 4294967295 134512640 134569956 3221224400 3221214688 1131265921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25442 13073 16 0 210008 0
vsize: 840096
[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 50513 61 0 0 25 0 11 0 482822514 860258304 25462 4294967295 134512640 134569956 3221224400 3221214688 1131265953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25462 13073 16 0 210008 0
vsize: 840096
[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 51508 62 0 0 25 0 11 0 482822514 860258304 25493 4294967295 134512640 134569956 3221224400 3221214688 1131266291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25493 13073 16 0 210008 0
vsize: 840096
[startup+540.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 52504 62 0 0 25 0 11 0 482822514 860258304 25512 4294967295 134512640 134569956 3221224400 3221214688 1131265921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25512 13073 16 0 210008 0
vsize: 840096
[startup+550.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 53501 62 0 0 25 0 11 0 482822514 860258304 25517 4294967295 134512640 134569956 3221224400 3221214792 1131330656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25517 13073 16 0 210008 0
vsize: 840096
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 54498 62 0 0 25 0 11 0 482822514 860258304 25517 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25517 13073 16 0 210008 0
vsize: 840096
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 55495 62 0 0 25 0 11 0 482822514 860258304 25518 4294967295 134512640 134569956 3221224400 3221214792 1131330530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 25518 13073 16 0 210008 0
vsize: 840096
[startup+580.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 56491 62 0 0 25 0 11 0 482822514 860258304 25524 4294967295 134512640 134569956 3221224400 3221214792 1131333060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25524 13073 16 0 210008 0
vsize: 840096
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 57488 62 0 0 25 0 11 0 482822514 860258304 25524 4294967295 134512640 134569956 3221224400 3221214792 1131330658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25524 13073 16 0 210008 0
vsize: 840096
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 58486 62 0 0 25 0 11 0 482822514 860258304 25524 4294967295 134512640 134569956 3221224400 3221214792 1131331610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25524 13073 16 0 210008 0
vsize: 840096
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 59483 63 0 0 25 0 11 0 482822514 860258304 25524 4294967295 134512640 134569956 3221224400 3221214688 1131266897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25524 13073 16 0 210008 0
vsize: 840096
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 60477 63 0 0 25 0 11 0 482822514 860258304 25524 4294967295 134512640 134569956 3221224400 3221214792 1131332379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 25524 13073 16 0 210008 0
vsize: 840096
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 61468 63 0 0 25 0 11 0 482822514 860258304 25524 4294967295 134512640 134569956 3221224400 3221214688 1131266291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25524 13073 16 0 210008 0
vsize: 840096
[startup+640.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 62456 63 0 0 25 0 11 0 482822514 860258304 25530 4294967295 134512640 134569956 3221224400 3221214688 1131266246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25530 13073 16 0 210008 0
vsize: 840096
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 63444 63 0 0 25 0 11 0 482822514 860258304 25633 4294967295 134512640 134569956 3221224400 3221214792 1131332443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25633 13073 16 0 210008 0
vsize: 840096
[startup+660.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 64434 63 0 0 25 0 11 0 482822514 860258304 25666 4294967295 134512640 134569956 3221224400 3221214688 1131266105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25666 13073 16 0 210008 0
vsize: 840096
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 65427 63 0 0 25 0 11 0 482822514 860258304 25713 4294967295 134512640 134569956 3221224400 3221214792 1131331614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25713 13073 16 0 210008 0
vsize: 840096
[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 66423 63 0 0 25 0 11 0 482822514 860258304 25765 4294967295 134512640 134569956 3221224400 3221214688 1131266274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25765 13073 16 0 210008 0
vsize: 840096
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 67420 63 0 0 25 0 11 0 482822514 860258304 25772 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25772 13073 16 0 210008 0
vsize: 840096
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 68417 63 0 0 25 0 11 0 482822514 860258304 25779 4294967295 134512640 134569956 3221224400 3221214688 1131266611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25779 13073 16 0 210008 0
vsize: 840096
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 69414 64 0 0 25 0 11 0 482822514 860258304 25779 4294967295 134512640 134569956 3221224400 3221214792 1131332798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25779 13073 16 0 210008 0
vsize: 840096
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 70411 64 0 0 25 0 11 0 482822514 860258304 25781 4294967295 134512640 134569956 3221224400 3221214688 1131265932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25781 13073 16 0 210008 0
vsize: 840096
[startup+730.052 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 71409 64 0 0 25 0 11 0 482822514 860258304 25781 4294967295 134512640 134569956 3221224400 3221214688 1131266014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25781 13073 16 0 210008 0
vsize: 840096
[startup+740.052 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 72406 64 0 0 25 0 11 0 482822514 860258304 25781 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25781 13073 16 0 210008 0
vsize: 840096
[startup+750.052 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 73403 64 0 0 25 0 11 0 482822514 860258304 25781 4294967295 134512640 134569956 3221224400 3221214688 1131266270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25781 13073 16 0 210008 0
vsize: 840096
[startup+760.052 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 74400 64 0 0 25 0 11 0 482822514 860258304 25781 4294967295 134512640 134569956 3221224400 3221214736 1131227648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25781 13073 16 0 210008 0
vsize: 840096
[startup+770.052 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 75396 64 0 0 25 0 11 0 482822514 860258304 25781 4294967295 134512640 134569956 3221224400 3221214792 1131330509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25781 13073 16 0 210008 0
vsize: 840096
[startup+780.053 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 76391 64 0 0 25 0 11 0 482822514 860258304 25784 4294967295 134512640 134569956 3221224400 3221214688 1131266427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25784 13073 16 0 210008 0
vsize: 840096
[startup+790.053 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 77387 64 0 0 25 0 11 0 482822514 860258304 25786 4294967295 134512640 134569956 3221224400 3221214688 1131266982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25786 13073 16 0 210008 0
vsize: 840096
[startup+800.053 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 78382 64 0 0 25 0 11 0 482822514 860258304 25791 4294967295 134512640 134569956 3221224400 3221214688 1131265988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25791 13073 16 0 210008 0
vsize: 840096
[startup+810.053 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 79379 64 0 0 25 0 11 0 482822514 860258304 25793 4294967295 134512640 134569956 3221224400 3221214688 1131265921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25793 13073 16 0 210008 0
vsize: 840096
[startup+820.053 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 29522
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 0 1 0 80376 64 0 0 25 0 11 0 482822514 860258304 25794 4294967295 134512640 134569956 3221224400 3221214688 1131265921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25794 13073 16 0 210008 0
vsize: 840096
[startup+830.054 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 81364 64 0 0 25 0 11 0 482822514 860258304 25794 4294967295 134512640 134569956 3221224400 3221214688 1131266790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25794 13073 16 0 210008 0
vsize: 840096
[startup+840.055 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 82337 64 0 0 25 0 11 0 482822514 860258304 25795 4294967295 134512640 134569956 3221224400 3221214688 1131266136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25795 13073 16 0 210008 0
vsize: 840096
[startup+850.055 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 83311 64 0 0 25 0 11 0 482822514 860258304 25795 4294967295 134512640 134569956 3221224400 3221214688 1131265953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25795 13073 16 0 210008 0
vsize: 840096
[startup+860.055 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 84300 64 0 0 25 0 11 0 482822514 860258304 25942 4294967295 134512640 134569956 3221224400 3221214688 1131266270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25942 13073 16 0 210008 0
vsize: 840096
[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 85297 64 0 0 25 0 11 0 482822514 860258304 25946 4294967295 134512640 134569956 3221224400 3221214688 1131266566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25946 13073 16 0 210008 0
vsize: 840096
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 86294 65 0 0 25 0 11 0 482822514 860258304 25946 4294967295 134512640 134569956 3221224400 3221214688 1131266046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210024 25946 13073 16 0 210008 0
vsize: 840096
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 87290 65 0 0 25 0 11 0 482822514 860258304 25946 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25946 13073 16 0 210008 0
vsize: 840096
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 88287 65 0 0 25 0 11 0 482822514 860258304 25947 4294967295 134512640 134569956 3221224400 3221214688 1131266381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25947 13073 16 0 210008 0
vsize: 840096
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 89284 65 0 0 25 0 11 0 482822514 860258304 25947 4294967295 134512640 134569956 3221224400 3221214688 1131266126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25947 13073 16 0 210008 0
vsize: 840096
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 90281 65 0 0 25 0 11 0 482822514 860258304 25947 4294967295 134512640 134569956 3221224400 3221214688 1131266318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25947 13073 16 0 210008 0
vsize: 840096
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 91279 65 0 0 25 0 11 0 482822514 860258304 25947 4294967295 134512640 134569956 3221224400 3221214792 1131331614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25947 13073 16 0 210008 0
vsize: 840096
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 92276 65 0 0 25 0 11 0 482822514 860258304 25947 4294967295 134512640 134569956 3221224400 3221214688 1131266939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25947 13073 16 0 210008 0
vsize: 840096
[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 93272 65 0 0 25 0 11 0 482822514 860258304 25947 4294967295 134512640 134569956 3221224400 3221214688 1131267090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25947 13073 16 0 210008 0
vsize: 840096
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 94260 65 0 0 25 0 11 0 482822514 860258304 25950 4294967295 134512640 134569956 3221224400 3221214688 1131265953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25950 13073 16 0 210008 0
vsize: 840096
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 95247 65 0 0 25 0 11 0 482822514 860258304 25971 4294967295 134512640 134569956 3221224400 3221214872 1131229064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 25971 13073 16 0 210008 0
vsize: 840096
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 96234 65 0 0 25 0 11 0 482822514 860258304 26164 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26164 13073 16 0 210008 0
vsize: 840096
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 97223 65 0 0 25 0 11 0 482822514 860258304 26175 4294967295 134512640 134569956 3221224400 3221214688 1131266544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26175 13073 16 0 210008 0
vsize: 840096
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 98210 65 0 0 25 0 11 0 482822514 860258304 26254 4294967295 134512640 134569956 3221224400 3221214792 1131331530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26254 13073 16 0 210008 0
vsize: 840096
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 99194 65 0 0 24 0 11 0 482822514 860258304 26338 4294967295 134512640 134569956 3221224400 3221214688 1131267090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26338 13073 16 0 210008 0
vsize: 840096
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 100178 66 0 0 25 0 11 0 482822514 860258304 26415 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26415 13073 16 0 210008 0
vsize: 840096
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 101163 66 0 0 25 0 11 0 482822514 860258304 26450 4294967295 134512640 134569956 3221224400 3221214688 1131265932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26450 13073 16 0 210008 0
vsize: 840096
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 102149 66 0 0 24 0 11 0 482822514 860258304 26490 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26490 13073 16 0 210008 0
vsize: 840096
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 103137 66 0 0 25 0 11 0 482822514 860258304 26542 4294967295 134512640 134569956 3221224400 3221214736 1131227648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26542 13073 16 0 210008 0
vsize: 840096
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 104123 66 0 0 25 0 11 0 482822514 860258304 26547 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26547 13073 16 0 210008 0
vsize: 840096
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.96 3/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 105108 66 0 0 25 0 11 0 482822514 865882112 27722 4294967295 134512640 134569956 3221224400 3221214788 1131265900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211397 27722 13073 16 0 211381 0
vsize: 845588
[startup+1080.06 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 106091 66 0 0 25 0 11 0 482822514 862355456 27079 4294967295 134512640 134569956 3221224400 3221214488 1131567386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210536 27079 13073 16 0 210520 0
vsize: 842144
[startup+1090.06 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 107073 66 0 0 24 0 11 0 482822514 862355456 27128 4294967295 134512640 134569956 3221224400 3221214792 1131332798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210536 27128 13073 16 0 210520 0
vsize: 842144
[startup+1100.06 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 108057 66 0 0 25 0 11 0 482822514 860258304 26740 4294967295 134512640 134569956 3221224400 3221214688 1131266484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26740 13073 16 0 210008 0
vsize: 840096
[startup+1110.06 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 109038 66 0 0 25 0 11 0 482822514 860258304 26771 4294967295 134512640 134569956 3221224400 3221214496 1131280005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26771 13073 16 0 210008 0
vsize: 840096
[startup+1120.06 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 110017 66 0 0 25 0 11 0 482822514 860258304 26812 4294967295 134512640 134569956 3221224400 3221214656 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26812 13073 16 0 210008 0
vsize: 840096
[startup+1130.06 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18058 4 1 0 110992 66 0 0 25 0 11 0 482822514 860258304 26869 4294967295 134512640 134569956 3221224400 3221214696 1131581899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26869 13073 16 0 210008 0
vsize: 840096
[startup+1140.06 s]
Raw data (loadavg): 1.10 1.03 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 111973 66 0 0 25 0 11 0 482822514 860258304 26935 4294967295 134512640 134569956 3221224400 3221214648 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26935 13073 16 0 210008 0
vsize: 840096
[startup+1150.06 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 112949 66 0 0 25 0 11 0 482822514 860258304 26986 4294967295 134512640 134569956 3221224400 3221214648 1131565034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 26986 13073 16 0 210008 0
vsize: 840096
[startup+1160.06 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 113929 66 0 0 25 0 11 0 482822514 860258304 27051 4294967295 134512640 134569956 3221224400 3221214688 1131266329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 27051 13073 16 0 210008 0
vsize: 840096
[startup+1170.06 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 114912 66 0 0 25 0 11 0 482822514 860258304 27110 4294967295 134512640 134569956 3221224400 3221214688 1131266291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 27110 13073 16 0 210008 0
vsize: 840096
[startup+1180.06 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 115897 67 0 0 25 0 11 0 482822514 860258304 27165 4294967295 134512640 134569956 3221224400 3221214688 1131266809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 27165 13073 16 0 210008 0
vsize: 840096
[startup+1190.07 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 116879 67 0 0 25 0 11 0 482822514 860258304 27186 4294967295 134512640 134569956 3221224400 3221214792 1131331610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 27186 13073 16 0 210008 0
vsize: 840096
[startup+1200.06 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 117862 67 0 0 24 0 11 0 482822514 860258304 27223 4294967295 134512640 134569956 3221224400 3221214792 1131331746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 27223 13073 16 0 210008 0
vsize: 840096
[startup+1210.07 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 118850 67 0 0 25 0 11 0 482822514 860258304 27285 4294967295 134512640 134569956 3221224400 3221214688 1131266246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 27285 13073 16 0 210008 0
vsize: 840096
[startup+1220.07 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 119839 67 0 0 25 0 11 0 482822514 860258304 27328 4294967295 134512640 134569956 3221224400 3221214688 1131266492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 27328 13073 16 0 210008 0
vsize: 840096
[startup+1230.07 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 29523
Raw data (stat): 29512 (java) R 29511 22932 22931 0 -1 0 18059 4 1 0 120828 67 0 0 25 0 11 0 482822514 860258304 27368 4294967295 134512640 134569956 3221224400 3221214688 1131265917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210024 27368 13073 16 0 210008 0
vsize: 840096
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.02 1.02 0.97 1/54 29525
Raw data (stat): 29512 (java) Z 29511 22932 22931 0 -1 1036 18059 7419 1 0 120829 67 1823 29 25 0 1 0 482822514 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): 1230.13
CPU time (s): 1227.5
CPU user time (s): 1226.54
CPU system time (s): 0.968852
CPU usage (%): 99.7864
Max. virtual memory (Kb): 845588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####