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/submitted/manquinho/logic-synthesis/normalized-jac3.opb
MD5SUM	43952ea8e0659c6ffd861c99c0b605de
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15
Optimality of the best value was proved	NO
Number of terms in the objective function	1732
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1732
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1732
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05384
Number of variables	1731
Total number of constraints	1254
Number of constraints which are clauses	1254
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	694
Trace number 4287

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        751936 kB
Buffers:         36908 kB
Cached:         204832 kB
SwapCached:          0 kB
Active:          77648 kB
Inactive:       166984 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751684 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            32432 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:34:52 (client local time) WITH STATUS 143 IN  SECONDS
stats: 630 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-jac3.opb
c reading problem 
c [nbvar=1732]
c [nbconstr=1254]
c time 4.307
c #vars     1732
c #clauses  1254
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=25
c Current CPU time (ms) : 5.471
c starts	: 1
c conflicts	: 0
c decisions	: 1671
c propagations	: 1732
c inspects	: 5933
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=24
c Current CPU time (ms) : 8.724
c starts	: 2
c conflicts	: 4
c decisions	: 3351
c propagations	: 3522
c inspects	: 7024
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 2
c 
c CURRENT OPTIMUM=23
c Current CPU time (ms) : 21.707
c starts	: 3
c conflicts	: 28
c decisions	: 4542
c propagations	: 6299
c inspects	: 10969
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 28
c root simplifications	: 3
c 
c CURRENT OPTIMUM=22
c Current CPU time (ms) : 23.355
c starts	: 4
c conflicts	: 33
c decisions	: 5762
c propagations	: 8076
c inspects	: 15396
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 33
c root simplifications	: 4
c 
c CURRENT OPTIMUM=21
c Current CPU time (ms) : 48.21
c starts	: 5
c conflicts	: 59
c decisions	: 6766
c propagations	: 11187
c inspects	: 18669
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 59
c root simplifications	: 5
c 
c CURRENT OPTIMUM=20
c Current CPU time (ms) : 73.832
c starts	: 6
c conflicts	: 92
c decisions	: 8515
c propagations	: 15372
c inspects	: 25555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 92
c root simplifications	: 6
c 
c CURRENT OPTIMUM=19
c Current CPU time (ms) : 432.941
c starts	: 8
c conflicts	: 337
c decisions	: 18392
c propagations	: 41048
c inspects	: 91804
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 337
c root simplifications	: 8
#### 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.95 0.72 2/54 12134
Raw data (stat): 12134 (runsolver) R 12133 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477301641 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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+9.99943 s]
Raw data (loadavg): 1.08 0.99 0.74 2/64 12146
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18069 4 1 0 684 42 0 0 25 0 11 0 477301641 862781440 21204 4294967295 134512640 134569956 3221224416 3221214608 1131432954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210640 21204 13073 16 0 210624 0
vsize: 842560
[startup+20.0002 s]
Raw data (loadavg): 1.07 0.99 0.74 2/64 12146
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18069 4 1 0 1616 42 0 0 25 0 11 0 477301641 863023104 21995 4294967295 134512640 134569956 3221224416 3221214704 1131286700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 21995 13073 16 0 210683 0
vsize: 842796
[startup+30.0003 s]
Raw data (loadavg): 1.06 0.99 0.74 2/64 12148
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18070 4 1 0 2517 43 0 0 25 0 11 0 477301641 863023104 22885 4294967295 134512640 134569956 3221224416 3221214792 1131334288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 22885 13073 16 0 210683 0
vsize: 842796
[startup+40.0011 s]
Raw data (loadavg): 1.05 0.99 0.74 2/64 12148
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18070 4 1 0 3425 43 0 0 25 0 11 0 477301641 863023104 22935 4294967295 134512640 134569956 3221224416 3221214848 1131339738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 22935 13073 16 0 210683 0
vsize: 842796
[startup+50.0015 s]
Raw data (loadavg): 1.04 0.99 0.75 2/64 12149
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18070 4 1 0 4321 43 0 0 25 0 11 0 477301641 863023104 23487 4294967295 134512640 134569956 3221224416 3221214792 1131368370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 23487 13073 16 0 210683 0
vsize: 842796
[startup+60.0019 s]
Raw data (loadavg): 1.03 0.99 0.75 2/64 12149
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18070 4 1 0 5219 43 0 0 25 0 11 0 477301641 863023104 23804 4294967295 134512640 134569956 3221224416 3221214864 1131395424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 23804 13073 16 0 210683 0
vsize: 842796
[startup+70.0021 s]
Raw data (loadavg): 1.03 0.99 0.75 2/64 12149
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18070 4 1 0 6125 43 0 0 25 0 11 0 477301641 863023104 24083 4294967295 134512640 134569956 3221224416 3221214760 1131399737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 24083 13073 16 0 210683 0
vsize: 842796
[startup+80.0029 s]
Raw data (loadavg): 1.02 0.99 0.75 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18070 4 1 0 7034 43 0 0 25 0 11 0 477301641 863023104 24427 4294967295 134512640 134569956 3221224416 3221214844 1131331680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 24427 13073 16 0 210683 0
vsize: 842796
[startup+90.0087 s]
Raw data (loadavg): 1.02 0.99 0.75 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18070 4 1 0 7927 43 0 0 24 0 11 0 477301641 863023104 24629 4294967295 134512640 134569956 3221224416 3221214848 1131339619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 24629 13073 16 0 210683 0
vsize: 842796
[startup+100.009 s]
Raw data (loadavg): 1.02 0.99 0.75 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18070 4 1 0 8844 43 0 0 25 0 11 0 477301641 863023104 24932 4294967295 134512640 134569956 3221224416 3221214848 1131340102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 24932 13073 16 0 210683 0
vsize: 842796
[startup+110.011 s]
Raw data (loadavg): 1.01 0.99 0.76 2/64 12150
Raw data (stat): 12134 (java) S 12133 11931 11930 0 -1 0 18070 4 1 0 9775 44 0 0 25 0 11 0 477301641 863023104 25235 4294967295 134512640 134569956 3221224416 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 25235 13073 16 0 210683 0
vsize: 842796
[startup+120.012 s]
Raw data (loadavg): 1.01 0.99 0.76 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18071 4 1 0 10719 44 0 0 25 0 11 0 477301641 863023104 25395 4294967295 134512640 134569956 3221224416 3221214544 1131151389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 25395 13073 16 0 210683 0
vsize: 842796
[startup+130.013 s]
Raw data (loadavg): 1.01 0.99 0.76 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18071 4 1 0 11677 44 0 0 25 0 11 0 477301641 863023104 25425 4294967295 134512640 134569956 3221224416 3221214704 1131354603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 25425 13073 16 0 210683 0
vsize: 842796
[startup+140.014 s]
Raw data (loadavg): 1.01 0.99 0.76 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 12647 44 0 0 24 0 11 0 477301641 863023104 25717 4294967295 134512640 134569956 3221224416 3221214836 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 25717 13073 16 0 210683 0
vsize: 842796
[startup+150.014 s]
Raw data (loadavg): 1.00 0.99 0.76 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 13583 44 0 0 25 0 11 0 477301641 863023104 25717 4294967295 134512640 134569956 3221224416 3221214696 1131286561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 25717 13073 16 0 210683 0
vsize: 842796
[startup+160.013 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 14493 44 0 0 25 0 11 0 477301641 863023104 26124 4294967295 134512640 134569956 3221224416 3221214848 1131340346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 26124 13073 16 0 210683 0
vsize: 842796
[startup+170.014 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 15388 44 0 0 19 0 11 0 477301641 863023104 26302 4294967295 134512640 134569956 3221224416 3221214792 1131367395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 26302 13073 16 0 210683 0
vsize: 842796
[startup+180.014 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 16282 44 0 0 18 0 11 0 477301641 863023104 26805 4294967295 134512640 134569956 3221224416 3221214792 1131368439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 26805 13073 16 0 210683 0
vsize: 842796
[startup+190.014 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 17198 44 0 0 25 0 11 0 477301641 863023104 26899 4294967295 134512640 134569956 3221224416 3221214792 1131373625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 26899 13073 16 0 210683 0
vsize: 842796
[startup+200.015 s]
Raw data (loadavg): 1.00 0.99 0.77 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 18103 44 0 0 24 0 11 0 477301641 863023104 27132 4294967295 134512640 134569956 3221224416 3221214760 1131399569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 27132 13073 16 0 210683 0
vsize: 842796
[startup+210.015 s]
Raw data (loadavg): 1.00 0.99 0.78 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 19019 44 0 0 24 0 11 0 477301641 863023104 27625 4294967295 134512640 134569956 3221224416 3221214800 1131328707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 27625 13073 16 0 210683 0
vsize: 842796
[startup+220.016 s]
Raw data (loadavg): 1.08 1.00 0.78 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 19971 44 0 0 25 0 11 0 477301641 863023104 27760 4294967295 134512640 134569956 3221224416 3221214848 1131341457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 27760 13073 16 0 210683 0
vsize: 842796
[startup+230.016 s]
Raw data (loadavg): 1.07 1.00 0.79 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 20898 45 0 0 25 0 11 0 477301641 863023104 27808 4294967295 134512640 134569956 3221224416 3221214760 1131398984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 27808 13073 16 0 210683 0
vsize: 842796
[startup+240.018 s]
Raw data (loadavg): 1.06 1.00 0.79 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 21828 45 0 0 25 0 11 0 477301641 863023104 27911 4294967295 134512640 134569956 3221224416 3221214488 1131318660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 27911 13073 16 0 210683 0
vsize: 842796
[startup+250.018 s]
Raw data (loadavg): 1.05 1.00 0.79 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 22772 45 0 0 25 0 11 0 477301641 863023104 28166 4294967295 134512640 134569956 3221224416 3221214488 1131318761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 28166 13073 16 0 210683 0
vsize: 842796
[startup+260.018 s]
Raw data (loadavg): 1.04 1.00 0.79 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 23723 45 0 0 25 0 11 0 477301641 863023104 28377 4294967295 134512640 134569956 3221224416 3221214576 1131621495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 28377 13073 16 0 210683 0
vsize: 842796
[startup+270.018 s]
Raw data (loadavg): 1.03 1.00 0.79 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 24675 46 0 0 25 0 11 0 477301641 863023104 28395 4294967295 134512640 134569956 3221224416 3221214576 1131621495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 28395 13073 16 0 210683 0
vsize: 842796
[startup+280.018 s]
Raw data (loadavg): 1.03 1.00 0.80 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 25609 46 0 0 25 0 11 0 477301641 863023104 28432 4294967295 134512640 134569956 3221224416 3221214792 1131367435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 28432 13073 16 0 210683 0
vsize: 842796
[startup+290.018 s]
Raw data (loadavg): 1.02 1.00 0.80 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 26549 46 0 0 25 0 11 0 477301641 863023104 28667 4294967295 134512640 134569956 3221224416 3221214584 1131318804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 28667 13073 16 0 210683 0
vsize: 842796
[startup+300.018 s]
Raw data (loadavg): 1.02 1.00 0.80 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 27504 47 0 0 25 0 11 0 477301641 863023104 28768 4294967295 134512640 134569956 3221224416 3221214576 1131621495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 28768 13073 16 0 210683 0
vsize: 842796
[startup+310.018 s]
Raw data (loadavg): 1.02 1.00 0.80 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 28465 47 0 0 25 0 11 0 477301641 863023104 28985 4294967295 134512640 134569956 3221224416 3221214848 1131340759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 28985 13073 16 0 210683 0
vsize: 842796
[startup+320.018 s]
Raw data (loadavg): 1.01 1.00 0.80 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 29435 48 0 0 25 0 11 0 477301641 863023104 29039 4294967295 134512640 134569956 3221224416 3221214664 1131331265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29039 13073 16 0 210683 0
vsize: 842796
[startup+330.019 s]
Raw data (loadavg): 1.01 1.00 0.81 2/64 12150
Raw data (stat): 12134 (java) S 12133 11931 11930 0 -1 0 18072 4 1 0 30404 48 0 0 25 0 11 0 477301641 863023104 29039 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29039 13073 16 0 210683 0
vsize: 842796
[startup+340.02 s]
Raw data (loadavg): 1.01 1.00 0.81 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 31366 49 0 0 25 0 11 0 477301641 863023104 29146 4294967295 134512640 134569956 3221224416 3221214584 1131318739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29146 13073 16 0 210683 0
vsize: 842796
[startup+350.02 s]
Raw data (loadavg): 1.01 1.00 0.81 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 32328 50 0 0 24 0 11 0 477301641 863023104 29237 4294967295 134512640 134569956 3221224416 3221214576 1131318410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29237 13073 16 0 210683 0
vsize: 842796
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 33293 50 0 0 25 0 11 0 477301641 863023104 29237 4294967295 134512640 134569956 3221224416 3221214848 1131339656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29237 13073 16 0 210683 0
vsize: 842796
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 34269 51 0 0 25 0 11 0 477301641 863023104 29374 4294967295 134512640 134569956 3221224416 3221214576 1131319095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29374 13073 16 0 210683 0
vsize: 842796
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 35249 51 0 0 25 0 11 0 477301641 863023104 29408 4294967295 134512640 134569956 3221224416 3221214688 1131638383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29408 13073 16 0 210683 0
vsize: 842796
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 36211 52 0 0 25 0 11 0 477301641 863023104 29443 4294967295 134512640 134569956 3221224416 3221214696 1131287101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29443 13073 16 0 210683 0
vsize: 842796
[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 12150
Raw data (stat): 12134 (java) S 12133 11931 11930 0 -1 0 18072 4 1 0 37125 52 0 0 25 0 11 0 477301641 863023104 29645 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29645 13073 16 0 210683 0
vsize: 842796
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 12150
Raw data (stat): 12134 (java) S 12133 11931 11930 0 -1 0 18072 4 1 0 38022 52 0 0 25 0 11 0 477301641 863023104 29855 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 29855 13073 16 0 210683 0
vsize: 842796
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 38928 52 0 0 25 0 11 0 477301641 863023104 30042 4294967295 134512640 134569956 3221224416 3221214800 1131328527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 30042 13073 16 0 210683 0
vsize: 842796
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 12150
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 39826 53 0 0 25 0 11 0 477301641 863023104 30338 4294967295 134512640 134569956 3221224416 3221214792 1131367395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 30338 13073 16 0 210683 0
vsize: 842796
[startup+440.026 s]
Raw data (loadavg): 1.08 1.02 0.83 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 40733 53 0 0 25 0 11 0 477301641 863023104 30576 4294967295 134512640 134569956 3221224416 3221214848 1131340790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 30576 13073 16 0 210683 0
vsize: 842796
[startup+450.027 s]
Raw data (loadavg): 1.07 1.02 0.83 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 41636 53 0 0 25 0 11 0 477301641 863023104 30917 4294967295 134512640 134569956 3221224416 3221214760 1131401829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 30917 13073 16 0 210683 0
vsize: 842796
[startup+460.027 s]
Raw data (loadavg): 1.06 1.01 0.83 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 42567 54 0 0 25 0 11 0 477301641 863023104 31189 4294967295 134512640 134569956 3221224416 3221214848 1131339818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31189 13073 16 0 210683 0
vsize: 842796
[startup+470.027 s]
Raw data (loadavg): 1.05 1.01 0.83 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 43532 54 0 0 24 0 11 0 477301641 863023104 31454 4294967295 134512640 134569956 3221224416 3221214792 1131334049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31454 13073 16 0 210683 0
vsize: 842796
[startup+480.028 s]
Raw data (loadavg): 1.04 1.01 0.83 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 44513 54 0 0 25 0 11 0 477301641 863023104 31487 4294967295 134512640 134569956 3221224416 3221214848 1131339843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31487 13073 16 0 210683 0
vsize: 842796
[startup+490.029 s]
Raw data (loadavg): 1.03 1.01 0.83 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 45490 55 0 0 24 0 11 0 477301641 863023104 31519 4294967295 134512640 134569956 3221224416 3221214760 1131400320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31519 13073 16 0 210683 0
vsize: 842796
[startup+500.028 s]
Raw data (loadavg): 1.03 1.01 0.83 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 46466 55 0 0 24 0 11 0 477301641 863023104 31519 4294967295 134512640 134569956 3221224416 3221214760 1131400911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31519 13073 16 0 210683 0
vsize: 842796
[startup+510.029 s]
Raw data (loadavg): 1.02 1.01 0.83 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 47439 55 0 0 25 0 11 0 477301641 863023104 31552 4294967295 134512640 134569956 3221224416 3221214760 1131400547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31552 13073 16 0 210683 0
vsize: 842796
[startup+520.029 s]
Raw data (loadavg): 1.02 1.01 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 48415 55 0 0 25 0 11 0 477301641 863023104 31584 4294967295 134512640 134569956 3221224416 3221214792 1131367388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31584 13073 16 0 210683 0
vsize: 842796
[startup+530.029 s]
Raw data (loadavg): 1.02 1.01 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 49391 56 0 0 25 0 11 0 477301641 863023104 31618 4294967295 134512640 134569956 3221224416 3221214824 1131356046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31618 13073 16 0 210683 0
vsize: 842796
[startup+540.03 s]
Raw data (loadavg): 1.01 1.01 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 50356 56 0 0 25 0 11 0 477301641 863023104 31618 4294967295 134512640 134569956 3221224416 3221214848 1131340875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31618 13073 16 0 210683 0
vsize: 842796
[startup+550.03 s]
Raw data (loadavg): 1.01 1.01 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 51311 56 0 0 25 0 11 0 477301641 863023104 31627 4294967295 134512640 134569956 3221224416 3221214696 1131286577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31627 13073 16 0 210683 0
vsize: 842796
[startup+560.03 s]
Raw data (loadavg): 1.01 1.00 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 52262 57 0 0 25 0 11 0 477301641 863023104 31701 4294967295 134512640 134569956 3221224416 3221214864 1131395431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31701 13073 16 0 210683 0
vsize: 842796
[startup+570.031 s]
Raw data (loadavg): 1.01 1.00 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 53209 57 0 0 24 0 11 0 477301641 863023104 31793 4294967295 134512640 134569956 3221224416 3221214792 1131367399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31793 13073 16 0 210683 0
vsize: 842796
[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 12151
Raw data (stat): 12134 (java) S 12133 11931 11930 0 -1 0 18072 4 1 0 54150 58 0 0 25 0 11 0 477301641 863023104 31894 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 31894 13073 16 0 210683 0
vsize: 842796
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 55095 58 0 0 25 0 11 0 477301641 863023104 32063 4294967295 134512640 134569956 3221224416 3221214576 1131318842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32063 13073 16 0 210683 0
vsize: 842796
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 56059 59 0 0 25 0 11 0 477301641 863023104 32169 4294967295 134512640 134569956 3221224416 3221214584 1131318902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32169 13073 16 0 210683 0
vsize: 842796
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 57045 59 0 0 25 0 11 0 477301641 863023104 32298 4294967295 134512640 134569956 3221224416 3221214584 1131319079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32298 13073 16 0 210683 0
vsize: 842796
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 58031 59 0 0 25 0 11 0 477301641 863023104 32298 4294967295 134512640 134569956 3221224416 3221214576 1131621711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32298 13073 16 0 210683 0
vsize: 842796
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 59016 59 0 0 25 0 11 0 477301641 863023104 32298 4294967295 134512640 134569956 3221224416 3221214576 1131318712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32298 13073 16 0 210683 0
vsize: 842796
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 59995 60 0 0 25 0 11 0 477301641 863023104 32305 4294967295 134512640 134569956 3221224416 3221214792 1131334235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32305 13073 16 0 210683 0
vsize: 842796
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 60964 60 0 0 25 0 11 0 477301641 863023104 32305 4294967295 134512640 134569956 3221224416 3221214792 1131367479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32305 13073 16 0 210683 0
vsize: 842796
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 61913 60 0 0 25 0 11 0 477301641 863023104 32306 4294967295 134512640 134569956 3221224416 3221214760 1131483284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32306 13073 16 0 210683 0
vsize: 842796
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 62844 61 0 0 25 0 11 0 477301641 863023104 32377 4294967295 134512640 134569956 3221224416 3221214576 1131621717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32377 13073 16 0 210683 0
vsize: 842796
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 63788 61 0 0 25 0 11 0 477301641 863023104 32512 4294967295 134512640 134569956 3221224416 3221214688 1131638383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32512 13073 16 0 210683 0
vsize: 842796
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 64742 61 0 0 25 0 11 0 477301641 863023104 32713 4294967295 134512640 134569956 3221224416 3221214576 1131621731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32713 13073 16 0 210683 0
vsize: 842796
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 65707 61 0 0 25 0 11 0 477301641 863023104 32821 4294967295 134512640 134569956 3221224416 3221214584 1131318607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32821 13073 16 0 210683 0
vsize: 842796
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 66682 62 0 0 25 0 11 0 477301641 863023104 32853 4294967295 134512640 134569956 3221224416 3221214576 1131622602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32853 13073 16 0 210683 0
vsize: 842796
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 67663 62 0 0 25 0 11 0 477301641 863023104 32931 4294967295 134512640 134569956 3221224416 3221214576 1131318736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32931 13073 16 0 210683 0
vsize: 842796
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 68653 63 0 0 25 0 11 0 477301641 863023104 32962 4294967295 134512640 134569956 3221224416 3221214584 1131318617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32962 13073 16 0 210683 0
vsize: 842796
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 69650 63 0 0 25 0 11 0 477301641 863023104 32967 4294967295 134512640 134569956 3221224416 3221214584 1131318736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32967 13073 16 0 210683 0
vsize: 842796
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 70646 63 0 0 25 0 11 0 477301641 863023104 32969 4294967295 134512640 134569956 3221224416 3221214576 1131318684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32969 13073 16 0 210683 0
vsize: 842796
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 71641 64 0 0 25 0 11 0 477301641 863023104 32969 4294967295 134512640 134569956 3221224416 3221214584 1131318736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32969 13073 16 0 210683 0
vsize: 842796
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 72637 64 0 0 25 0 11 0 477301641 863023104 32969 4294967295 134512640 134569956 3221224416 3221214576 1131318712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32969 13073 16 0 210683 0
vsize: 842796
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 73632 64 0 0 25 0 11 0 477301641 863023104 32969 4294967295 134512640 134569956 3221224416 3221214584 1131318968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32969 13073 16 0 210683 0
vsize: 842796
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 74618 64 0 0 25 0 11 0 477301641 863023104 32969 4294967295 134512640 134569956 3221224416 3221214576 1131621495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32969 13073 16 0 210683 0
vsize: 842796
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 75602 65 0 0 25 0 11 0 477301641 863023104 32969 4294967295 134512640 134569956 3221224416 3221214576 1131623344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32969 13073 16 0 210683 0
vsize: 842796
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 76584 65 0 0 24 0 11 0 477301641 863023104 32969 4294967295 134512640 134569956 3221224416 3221214584 1131318761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 32969 13073 16 0 210683 0
vsize: 842796
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 77575 65 0 0 25 0 11 0 477301641 863023104 33001 4294967295 134512640 134569956 3221224416 3221214664 1131331241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33001 13073 16 0 210683 0
vsize: 842796
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 78572 66 0 0 25 0 11 0 477301641 863023104 33026 4294967295 134512640 134569956 3221224416 3221214576 1131318886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33026 13073 16 0 210683 0
vsize: 842796
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 79570 66 0 0 25 0 11 0 477301641 863023104 33026 4294967295 134512640 134569956 3221224416 3221214584 1131318736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33026 13073 16 0 210683 0
vsize: 842796
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 80567 66 0 0 25 0 11 0 477301641 863023104 33026 4294967295 134512640 134569956 3221224416 3221214584 1131318432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33026 13073 16 0 210683 0
vsize: 842796
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 81564 67 0 0 25 0 11 0 477301641 863023104 33026 4294967295 134512640 134569956 3221224416 3221214576 1131623999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 33026 13073 16 0 210683 0
vsize: 842796
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 82554 67 0 0 25 0 11 0 477301641 863023104 33026 4294967295 134512640 134569956 3221224416 3221214688 1131638380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33026 13073 16 0 210683 0
vsize: 842796
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 83540 67 0 0 25 0 11 0 477301641 863023104 33026 4294967295 134512640 134569956 3221224416 3221214584 1131318607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33026 13073 16 0 210683 0
vsize: 842796
[startup+890.045 s]
Raw data (loadavg): 1.08 1.02 0.88 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 84527 68 0 0 25 0 11 0 477301641 863023104 33026 4294967295 134512640 134569956 3221224416 3221214576 1131621720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33026 13073 16 0 210683 0
vsize: 842796
[startup+900.045 s]
Raw data (loadavg): 1.07 1.02 0.88 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 85508 68 0 0 25 0 11 0 477301641 863023104 33036 4294967295 134512640 134569956 3221224416 3221214584 1131318708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33036 13073 16 0 210683 0
vsize: 842796
[startup+910.044 s]
Raw data (loadavg): 1.06 1.01 0.88 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 86471 68 0 0 25 0 11 0 477301641 863023104 33036 4294967295 134512640 134569956 3221224416 3221214576 1131623364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33036 13073 16 0 210683 0
vsize: 842796
[startup+920.045 s]
Raw data (loadavg): 1.05 1.01 0.88 2/64 12151
Raw data (stat): 12134 (java) S 12133 11931 11930 0 -1 0 18072 4 1 0 87422 68 0 0 25 0 11 0 477301641 863023104 33036 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33036 13073 16 0 210683 0
vsize: 842796
[startup+930.046 s]
Raw data (loadavg): 1.04 1.01 0.88 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 88375 68 0 0 25 0 11 0 477301641 863023104 33137 4294967295 134512640 134569956 3221224416 3221214688 1131638341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33137 13073 16 0 210683 0
vsize: 842796
[startup+940.047 s]
Raw data (loadavg): 1.03 1.01 0.88 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 89342 69 0 0 25 0 11 0 477301641 863023104 33308 4294967295 134512640 134569956 3221224416 3221214584 1131318607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33308 13073 16 0 210683 0
vsize: 842796
[startup+950.048 s]
Raw data (loadavg): 1.03 1.01 0.88 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 90324 70 0 0 25 0 11 0 477301641 863023104 33330 4294967295 134512640 134569956 3221224416 3221214576 1131318935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33330 13073 16 0 210683 0
vsize: 842796
[startup+960.048 s]
Raw data (loadavg): 1.02 1.01 0.88 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 91316 70 0 0 25 0 11 0 477301641 863023104 33367 4294967295 134512640 134569956 3221224416 3221214688 1131638383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33367 13073 16 0 210683 0
vsize: 842796
[startup+970.048 s]
Raw data (loadavg): 1.02 1.01 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 92313 70 0 0 25 0 11 0 477301641 863023104 33369 4294967295 134512640 134569956 3221224416 3221214680 1131667143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33369 13073 16 0 210683 0
vsize: 842796
[startup+980.048 s]
Raw data (loadavg): 1.02 1.01 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 93305 71 0 0 25 0 11 0 477301641 863023104 33369 4294967295 134512640 134569956 3221224416 3221214576 1131621911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 33369 13073 16 0 210683 0
vsize: 842796
[startup+990.049 s]
Raw data (loadavg): 1.01 1.01 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 94291 71 0 0 25 0 11 0 477301641 863023104 33369 4294967295 134512640 134569956 3221224416 3221214576 1131621830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33369 13073 16 0 210683 0
vsize: 842796
[startup+1000.05 s]
Raw data (loadavg): 1.01 1.01 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 95275 72 0 0 25 0 11 0 477301641 863023104 33369 4294967295 134512640 134569956 3221224416 3221214576 1131318804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33369 13073 16 0 210683 0
vsize: 842796
[startup+1010.05 s]
Raw data (loadavg): 1.01 1.00 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 96258 72 0 0 25 0 11 0 477301641 863023104 33380 4294967295 134512640 134569956 3221224416 3221214576 1131318739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33380 13073 16 0 210683 0
vsize: 842796
[startup+1020.05 s]
Raw data (loadavg): 1.01 1.00 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 97243 73 0 0 25 0 11 0 477301641 863023104 33397 4294967295 134512640 134569956 3221224416 3221214584 1131318739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33397 13073 16 0 210683 0
vsize: 842796
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 98228 73 0 0 25 0 11 0 477301641 863023104 33397 4294967295 134512640 134569956 3221224416 3221214576 1131318804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33397 13073 16 0 210683 0
vsize: 842796
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 99209 73 0 0 25 0 11 0 477301641 863023104 33425 4294967295 134512640 134569956 3221224416 3221214688 1131638481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33425 13073 16 0 210683 0
vsize: 842796
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 100186 73 0 0 25 0 11 0 477301641 863023104 33425 4294967295 134512640 134569956 3221224416 3221214584 1131318804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33425 13073 16 0 210683 0
vsize: 842796
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 101161 74 0 0 25 0 11 0 477301641 863023104 33425 4294967295 134512640 134569956 3221224416 3221214568 1131470326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33425 13073 16 0 210683 0
vsize: 842796
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 102139 74 0 0 25 0 11 0 477301641 863023104 33500 4294967295 134512640 134569956 3221224416 3221214576 1131621700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33500 13073 16 0 210683 0
vsize: 842796
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) S 12133 11931 11930 0 -1 0 18072 4 1 0 103116 75 0 0 24 0 11 0 477301641 863023104 33522 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33522 13073 16 0 210683 0
vsize: 842796
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 104083 75 0 0 25 0 11 0 477301641 863023104 33522 4294967295 134512640 134569956 3221224416 3221214584 1131318935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33522 13073 16 0 210683 0
vsize: 842796
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) S 12133 11931 11930 0 -1 0 18072 4 1 0 105046 75 0 0 25 0 11 0 477301641 863023104 33522 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33522 13073 16 0 210683 0
vsize: 842796
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 106011 75 0 0 25 0 11 0 477301641 863023104 33600 4294967295 134512640 134569956 3221224416 3221214680 1131357072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33600 13073 16 0 210683 0
vsize: 842796
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 106984 76 0 0 25 0 11 0 477301641 863023104 33754 4294967295 134512640 134569956 3221224416 3221214792 1131334076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33754 13073 16 0 210683 0
vsize: 842796
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 107956 76 0 0 25 0 11 0 477301641 863023104 33754 4294967295 134512640 134569956 3221224416 3221214792 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33754 13073 16 0 210683 0
vsize: 842796
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 108922 77 0 0 24 0 11 0 477301641 863023104 33790 4294967295 134512640 134569956 3221224416 3221214864 1131483284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33790 13073 16 0 210683 0
vsize: 842796
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 109892 77 0 0 25 0 11 0 477301641 863023104 33822 4294967295 134512640 134569956 3221224416 3221214792 1131369542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33822 13073 16 0 210683 0
vsize: 842796
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 110846 77 0 0 25 0 11 0 477301641 863023104 33860 4294967295 134512640 134569956 3221224416 3221214680 1131433014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33860 13073 16 0 210683 0
vsize: 842796
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 111792 78 0 0 25 0 11 0 477301641 863023104 33897 4294967295 134512640 134569956 3221224416 3221214864 1131483284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33897 13073 16 0 210683 0
vsize: 842796
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 112732 78 0 0 25 0 11 0 477301641 863023104 33981 4294967295 134512640 134569956 3221224416 3221214680 1131357145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 33981 13073 16 0 210683 0
vsize: 842796
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 113658 79 0 0 25 0 11 0 477301641 863023104 34128 4294967295 134512640 134569956 3221224416 3221214836 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 34128 13073 16 0 210683 0
vsize: 842796
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 114576 79 0 0 25 0 11 0 477301641 863023104 34234 4294967295 134512640 134569956 3221224416 3221214664 1131331241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 34234 13073 16 0 210683 0
vsize: 842796
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 115494 79 0 0 25 0 11 0 477301641 863023104 34456 4294967295 134512640 134569956 3221224416 3221214584 1131318960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 34456 13073 16 0 210683 0
vsize: 842796
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 116442 80 0 0 25 0 11 0 477301641 863023104 34665 4294967295 134512640 134569956 3221224416 3221214848 1131340275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 34665 13073 16 0 210683 0
vsize: 842796
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 117411 80 0 0 25 0 11 0 477301641 863023104 34879 4294967295 134512640 134569956 3221224416 3221214584 1131318491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 34879 13073 16 0 210683 0
vsize: 842796
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 118389 81 0 0 25 0 11 0 477301641 863023104 34930 4294967295 134512640 134569956 3221224416 3221214684 1131331272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 34930 13073 16 0 210683 0
vsize: 842796
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 119369 81 0 0 25 0 11 0 477301641 863023104 34954 4294967295 134512640 134569956 3221224416 3221214576 1131319058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 34954 13073 16 0 210683 0
vsize: 842796
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 12151
Raw data (stat): 12134 (java) R 12133 11931 11930 0 -1 0 18072 4 1 0 120351 81 0 0 25 0 11 0 477301641 863023104 34992 4294967295 134512640 134569956 3221224416 3221214688 1131638383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 34992 13073 16 0 210683 0
vsize: 842796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.15 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 12153
Raw data (stat): 12134 (java) Z 12133 11931 11930 0 -1 1036 18072 20762 1 0 120353 88 6710 59 25 0 1 0 477301641 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.15
CPU time (s): 1272.11
CPU user time (s): 1270.64
CPU system time (s): 1.47478
CPU usage (%): 100.949
Max. virtual memory (Kb): 842796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####