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/een/normalized-p0548.opb
MD5SUM	422c0da7d5380a26c4dac413428db5c9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14670
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.14
Number of variables	527
Total number of constraints	156
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	2
Maximum length of a constraint	134
Trace number 7152

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        858908 kB
Buffers:         38056 kB
Cached:         115896 kB
SwapCached:          0 kB
Active:          82988 kB
Inactive:        75636 kB
HighTotal:      131008 kB
HighFree:         9408 kB
LowTotal:       903652 kB
LowFree:        849500 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            11464 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 22:00:01 (client local time) WITH STATUS 143 IN 1243.08 SECONDS
stats: 5235 7 1243.08 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-p0548.opb
c reading problem 
c [nbvar=535]
c [nbconstr=156]
c time 1.333
c #vars     535
c #clauses  156
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=40874
c Current CPU time (ms) : 4.891
c starts	: 1
c conflicts	: 15
c decisions	: 776
c propagations	: 1420
c inspects	: 1246
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 3
c 
c CURRENT OPTIMUM=39910
c Current CPU time (ms) : 10.306
c starts	: 3
c conflicts	: 118
c decisions	: 1565
c propagations	: 3003
c inspects	: 10411
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 118
c root simplifications	: 5
c 
c CURRENT OPTIMUM=34975
c Current CPU time (ms) : 12.213
c starts	: 4
c conflicts	: 136
c decisions	: 1950
c propagations	: 3886
c inspects	: 20042
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 136
c root simplifications	: 7
c 
c CURRENT OPTIMUM=31511
c Current CPU time (ms) : 43.494
c starts	: 6
c conflicts	: 236
c decisions	: 3802
c propagations	: 7615
c inspects	: 35454
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 236
c root simplifications	: 9
c 
c CURRENT OPTIMUM=31451
c Current CPU time (ms) : 44.44
c starts	: 7
c conflicts	: 236
c decisions	: 4085
c propagations	: 8147
c inspects	: 36590
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 236
c root simplifications	: 10
c 
c CURRENT OPTIMUM=31421
c Current CPU time (ms) : 45.551
c starts	: 8
c conflicts	: 237
c decisions	: 4361
c propagations	: 8684
c inspects	: 37753
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 237
c root simplifications	: 11
#### 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.85 0.94 0.90 1/54 6173
Raw data (stat): 6173 (runsolver) R 6172 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 416112578 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+10.0002 s]
Raw data (loadavg): 1.10 0.99 0.92 3/64 6184
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18091 3 1 0 658 39 0 0 25 0 11 0 416112578 866873344 22075 4294967295 134512640 134569956 3221224416 3221214816 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211639 22075 13073 16 0 211623 0
vsize: 846556
[startup+20.0015 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 6186
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18094 3 1 0 1607 39 0 0 25 0 11 0 416112578 866578432 22599 4294967295 134512640 134569956 3221224416 3221214408 1131274783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211567 22599 13073 16 0 211551 0
vsize: 846268
[startup+30.0023 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 6186
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18094 3 1 0 2549 40 0 0 25 0 11 0 416112578 864235520 22376 4294967295 134512640 134569956 3221224416 3221214700 1131279212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 22376 13073 16 0 210979 0
vsize: 843980
[startup+40.0026 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 6186
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 3468 40 0 0 25 0 11 0 416112578 864235520 22802 4294967295 134512640 134569956 3221224416 3221214592 1131444644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 22802 13073 16 0 210979 0
vsize: 843980
[startup+50.0036 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 4416 40 0 0 25 0 11 0 416112578 864235520 23008 4294967295 134512640 134569956 3221224416 3221214768 1131203435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 23008 13073 16 0 210979 0
vsize: 843980
[startup+60.0046 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 5350 40 0 0 25 0 11 0 416112578 864235520 23238 4294967295 134512640 134569956 3221224416 3221214632 1131386220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 23238 13073 16 0 210979 0
vsize: 843980
[startup+70.0049 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 6273 41 0 0 25 0 11 0 416112578 864235520 23440 4294967295 134512640 134569956 3221224416 3221214520 1131554103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 23440 13073 16 0 210979 0
vsize: 843980
[startup+80.0061 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 7202 41 0 0 25 0 11 0 416112578 864235520 23670 4294967295 134512640 134569956 3221224416 3221214592 1131347829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 23670 13073 16 0 210979 0
vsize: 843980
[startup+90.0069 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 8144 42 0 0 25 0 11 0 416112578 864235520 23905 4294967295 134512640 134569956 3221224416 3221214472 1131415329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 23905 13073 16 0 210979 0
vsize: 843980
[startup+100.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 9081 42 0 0 24 0 11 0 416112578 864235520 24084 4294967295 134512640 134569956 3221224416 3221214592 1131352239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24084 13073 16 0 210979 0
vsize: 843980
[startup+110.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) S 6172 26667 26666 0 -1 0 18095 3 1 0 10020 42 0 0 25 0 11 0 416112578 864235520 24276 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24276 13073 16 0 210979 0
vsize: 843980
[startup+120.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 10954 43 0 0 25 0 11 0 416112578 864235520 24458 4294967295 134512640 134569956 3221224416 3221214644 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24458 13073 16 0 210979 0
vsize: 843980
[startup+130.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 11911 43 0 0 25 0 11 0 416112578 864235520 24667 4294967295 134512640 134569956 3221224416 3221214840 1131203996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24667 13073 16 0 210979 0
vsize: 843980
[startup+140.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 12869 44 0 0 25 0 11 0 416112578 864235520 24766 4294967295 134512640 134569956 3221224416 3221214840 1131203633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24766 13073 16 0 210979 0
vsize: 843980
[startup+150.012 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 13830 44 0 0 25 0 11 0 416112578 864235520 24882 4294967295 134512640 134569956 3221224416 3221214840 1131203510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 24882 13073 16 0 210979 0
vsize: 843980
[startup+160.012 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 14806 44 0 0 25 0 11 0 416112578 864235520 25062 4294967295 134512640 134569956 3221224416 3221214840 1131203073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210995 25062 13073 16 0 210979 0
vsize: 843980
[startup+170.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 15787 45 0 0 25 0 11 0 416112578 864235520 25109 4294967295 134512640 134569956 3221224416 3221214888 1131226381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25109 13073 16 0 210979 0
vsize: 843980
[startup+180.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) S 6172 26667 26666 0 -1 0 18095 3 1 0 16765 45 0 0 25 0 11 0 416112578 864235520 25152 4294967295 134512640 134569956 3221224416 3221213584 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25152 13073 16 0 210979 0
vsize: 843980
[startup+190.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 17742 46 0 0 25 0 11 0 416112578 864235520 25183 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25183 13073 16 0 210979 0
vsize: 843980
[startup+200.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 18719 46 0 0 25 0 11 0 416112578 864235520 25227 4294967295 134512640 134569956 3221224416 3221214912 1131211633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25227 13073 16 0 210979 0
vsize: 843980
[startup+210.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 19699 46 0 0 25 0 11 0 416112578 864235520 25313 4294967295 134512640 134569956 3221224416 3221214680 1131351507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25313 13073 16 0 210979 0
vsize: 843980
[startup+220.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 20680 47 0 0 25 0 11 0 416112578 864235520 25381 4294967295 134512640 134569956 3221224416 3221214680 1131349695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25381 13073 16 0 210979 0
vsize: 843980
[startup+230.017 s]
Raw data (loadavg): 1.07 1.01 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 21662 47 0 0 25 0 11 0 416112578 864235520 25427 4294967295 134512640 134569956 3221224416 3221214840 1131203154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25427 13073 16 0 210979 0
vsize: 843980
[startup+240.018 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 22638 47 0 0 25 0 11 0 416112578 864235520 25459 4294967295 134512640 134569956 3221224416 3221214680 1131444564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25459 13073 16 0 210979 0
vsize: 843980
[startup+250.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 23614 47 0 0 25 0 11 0 416112578 864235520 25488 4294967295 134512640 134569956 3221224416 3221214792 1131313245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25488 13073 16 0 210979 0
vsize: 843980
[startup+260.019 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 24585 48 0 0 25 0 11 0 416112578 864235520 25551 4294967295 134512640 134569956 3221224416 3221214368 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25551 13073 16 0 210979 0
vsize: 843980
[startup+270.019 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 25554 48 0 0 25 0 11 0 416112578 864235520 25632 4294967295 134512640 134569956 3221224416 3221214840 1131203418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25632 13073 16 0 210979 0
vsize: 843980
[startup+280.019 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 26526 49 0 0 25 0 11 0 416112578 864235520 25733 4294967295 134512640 134569956 3221224416 3221214792 1131310162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25733 13073 16 0 210979 0
vsize: 843980
[startup+290.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 27499 49 0 0 25 0 11 0 416112578 864235520 25802 4294967295 134512640 134569956 3221224416 3221214888 1131226193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25802 13073 16 0 210979 0
vsize: 843980
[startup+300.022 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 28470 49 0 0 25 0 11 0 416112578 864235520 25870 4294967295 134512640 134569956 3221224416 3221214680 1131348173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25870 13073 16 0 210979 0
vsize: 843980
[startup+310.022 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 29446 49 0 0 25 0 11 0 416112578 864235520 25954 4294967295 134512640 134569956 3221224416 3221214672 1131302329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 25954 13073 16 0 210979 0
vsize: 843980
[startup+320.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 30421 50 0 0 25 0 11 0 416112578 864235520 26017 4294967295 134512640 134569956 3221224416 3221214936 1131215379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26017 13073 16 0 210979 0
vsize: 843980
[startup+330.023 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 31396 50 0 0 25 0 11 0 416112578 864235520 26071 4294967295 134512640 134569956 3221224416 3221214732 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26071 13073 16 0 210979 0
vsize: 843980
[startup+340.023 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 32374 51 0 0 25 0 11 0 416112578 864235520 26114 4294967295 134512640 134569956 3221224416 3221214760 1131212520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26114 13073 16 0 210979 0
vsize: 843980
[startup+350.024 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 33352 51 0 0 25 0 11 0 416112578 864235520 26166 4294967295 134512640 134569956 3221224416 3221214840 1131203167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26166 13073 16 0 210979 0
vsize: 843980
[startup+360.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 34333 52 0 0 25 0 11 0 416112578 864235520 26219 4294967295 134512640 134569956 3221224416 3221214576 1131274903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26219 13073 16 0 210979 0
vsize: 843980
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 35318 52 0 0 25 0 11 0 416112578 864235520 26263 4294967295 134512640 134569956 3221224416 3221214280 1131499521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26263 13073 16 0 210979 0
vsize: 843980
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 36304 53 0 0 25 0 11 0 416112578 864235520 26293 4294967295 134512640 134569956 3221224416 3221214840 1131203137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26293 13073 16 0 210979 0
vsize: 843980
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 37280 53 0 0 25 0 11 0 416112578 864235520 26334 4294967295 134512640 134569956 3221224416 3221214888 1131226193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26334 13073 16 0 210979 0
vsize: 843980
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 38245 53 0 0 25 0 11 0 416112578 864235520 26366 4294967295 134512640 134569956 3221224416 3221214668 1080204351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26366 13073 16 0 210979 0
vsize: 843980
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 39208 53 0 0 25 0 11 0 416112578 864235520 26399 4294967295 134512640 134569956 3221224416 3221214932 1131485868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26399 13073 16 0 210979 0
vsize: 843980
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 40165 54 0 0 25 0 11 0 416112578 864235520 26491 4294967295 134512640 134569956 3221224416 3221214840 1131204327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26491 13073 16 0 210979 0
vsize: 843980
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 41126 54 0 0 25 0 11 0 416112578 864235520 26617 4294967295 134512640 134569956 3221224416 3221214576 1131275555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26617 13073 16 0 210979 0
vsize: 843980
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 42087 54 0 0 25 0 11 0 416112578 864235520 26726 4294967295 134512640 134569956 3221224416 3221214840 1131203707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26726 13073 16 0 210979 0
vsize: 843980
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 43051 55 0 0 25 0 11 0 416112578 864235520 26906 4294967295 134512640 134569956 3221224416 3221214432 1131639385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 26906 13073 16 0 210979 0
vsize: 843980
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 44026 55 0 0 25 0 11 0 416112578 864235520 27033 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27033 13073 16 0 210979 0
vsize: 843980
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 45002 55 0 0 25 0 11 0 416112578 864235520 27124 4294967295 134512640 134569956 3221224416 3221214840 1131203602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27124 13073 16 0 210979 0
vsize: 843980
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 45970 56 0 0 25 0 11 0 416112578 864235520 27224 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27224 13073 16 0 210979 0
vsize: 843980
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 46939 56 0 0 25 0 11 0 416112578 864235520 27330 4294967295 134512640 134569956 3221224416 3221214840 1131203396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27330 13073 16 0 210979 0
vsize: 843980
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 47909 57 0 0 24 0 11 0 416112578 864235520 27495 4294967295 134512640 134569956 3221224416 3221214840 1131203165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27495 13073 16 0 210979 0
vsize: 843980
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 48884 57 0 0 25 0 11 0 416112578 864235520 27553 4294967295 134512640 134569956 3221224416 3221214840 1131203435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27553 13073 16 0 210979 0
vsize: 843980
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 49861 58 0 0 25 0 11 0 416112578 864235520 27616 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27616 13073 16 0 210979 0
vsize: 843980
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 50838 58 0 0 25 0 11 0 416112578 864235520 27711 4294967295 134512640 134569956 3221224416 3221214888 1131226276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27711 13073 16 0 210979 0
vsize: 843980
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 51814 59 0 0 22 0 11 0 416112578 864235520 27755 4294967295 134512640 134569956 3221224416 3221214840 1131203661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27755 13073 16 0 210979 0
vsize: 843980
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 52790 60 0 0 25 0 11 0 416112578 864235520 27805 4294967295 134512640 134569956 3221224416 3221214888 1131226193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27805 13073 16 0 210979 0
vsize: 843980
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 53769 60 0 0 25 0 11 0 416112578 864235520 27869 4294967295 134512640 134569956 3221224416 3221214840 1131203742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27869 13073 16 0 210979 0
vsize: 843980
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 54744 61 0 0 25 0 11 0 416112578 864235520 27916 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27916 13073 16 0 210979 0
vsize: 843980
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 55714 61 0 0 25 0 11 0 416112578 864235520 27990 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 27990 13073 16 0 210979 0
vsize: 843980
[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 56682 61 0 0 25 0 11 0 416112578 864235520 28034 4294967295 134512640 134569956 3221224416 3221214840 1131203532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28034 13073 16 0 210979 0
vsize: 843980
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 57653 62 0 0 25 0 11 0 416112578 864235520 28196 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28196 13073 16 0 210979 0
vsize: 843980
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 58633 62 0 0 25 0 11 0 416112578 864235520 28239 4294967295 134512640 134569956 3221224416 3221214936 1131215177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28239 13073 16 0 210979 0
vsize: 843980
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 59611 63 0 0 25 0 11 0 416112578 864235520 28271 4294967295 134512640 134569956 3221224416 3221214840 1131203572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28271 13073 16 0 210979 0
vsize: 843980
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 60587 63 0 0 24 0 11 0 416112578 864235520 28314 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28314 13073 16 0 210979 0
vsize: 843980
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 61565 64 0 0 25 0 11 0 416112578 864235520 28368 4294967295 134512640 134569956 3221224416 3221214936 1131215328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28368 13073 16 0 210979 0
vsize: 843980
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 62545 64 0 0 25 0 11 0 416112578 864235520 28447 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28447 13073 16 0 210979 0
vsize: 843980
[startup+660.04 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 63524 65 0 0 25 0 11 0 416112578 864235520 28532 4294967295 134512640 134569956 3221224416 3221214936 1131215576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28532 13073 16 0 210979 0
vsize: 843980
[startup+670.04 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 64507 65 0 0 24 0 11 0 416112578 864235520 28561 4294967295 134512640 134569956 3221224416 3221214840 1131203536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28561 13073 16 0 210979 0
vsize: 843980
[startup+680.041 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 65489 65 0 0 24 0 11 0 416112578 864235520 28597 4294967295 134512640 134569956 3221224416 3221214840 1131203122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28597 13073 16 0 210979 0
vsize: 843980
[startup+690.042 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 66472 66 0 0 25 0 11 0 416112578 864235520 28633 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28633 13073 16 0 210979 0
vsize: 843980
[startup+700.042 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 67450 66 0 0 25 0 11 0 416112578 864235520 28656 4294967295 134512640 134569956 3221224416 3221214840 1131203984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28656 13073 16 0 210979 0
vsize: 843980
[startup+710.043 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 68425 66 0 0 25 0 11 0 416112578 864235520 28704 4294967295 134512640 134569956 3221224416 3221214840 1131203137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28704 13073 16 0 210979 0
vsize: 843980
[startup+720.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 69403 66 0 0 25 0 11 0 416112578 864235520 28763 4294967295 134512640 134569956 3221224416 3221214936 1131216208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28763 13073 16 0 210979 0
vsize: 843980
[startup+730.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 70382 67 0 0 25 0 11 0 416112578 864235520 28810 4294967295 134512640 134569956 3221224416 3221214840 1131204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28810 13073 16 0 210979 0
vsize: 843980
[startup+740.046 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 71364 67 0 0 25 0 11 0 416112578 864235520 28840 4294967295 134512640 134569956 3221224416 3221214888 1131226169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28840 13073 16 0 210979 0
vsize: 843980
[startup+750.046 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 72346 67 0 0 25 0 11 0 416112578 864235520 28889 4294967295 134512640 134569956 3221224416 3221214868 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28889 13073 16 0 210979 0
vsize: 843980
[startup+760.047 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 73326 68 0 0 25 0 11 0 416112578 864235520 28915 4294967295 134512640 134569956 3221224416 3221214840 1131203941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28915 13073 16 0 210979 0
vsize: 843980
[startup+770.047 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 74301 69 0 0 25 0 11 0 416112578 864235520 28984 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 28984 13073 16 0 210979 0
vsize: 843980
[startup+780.049 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 75275 69 0 0 25 0 11 0 416112578 864235520 29101 4294967295 134512640 134569956 3221224416 3221214840 1131203081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29101 13073 16 0 210979 0
vsize: 843980
[startup+790.049 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 76250 69 0 0 25 0 11 0 416112578 864235520 29246 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29246 13073 16 0 210979 0
vsize: 843980
[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 77228 70 0 0 25 0 11 0 416112578 864235520 29383 4294967295 134512640 134569956 3221224416 3221214840 1131204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29383 13073 16 0 210979 0
vsize: 843980
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 78208 70 0 0 25 0 11 0 416112578 864235520 29491 4294967295 134512640 134569956 3221224416 3221214936 1131215367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29491 13073 16 0 210979 0
vsize: 843980
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 79189 71 0 0 25 0 11 0 416112578 864235520 29547 4294967295 134512640 134569956 3221224416 3221214840 1131204530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29547 13073 16 0 210979 0
vsize: 843980
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 80170 71 0 0 25 0 11 0 416112578 864235520 29584 4294967295 134512640 134569956 3221224416 3221214936 1131215453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29584 13073 16 0 210979 0
vsize: 843980
[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 81148 71 0 0 24 0 11 0 416112578 864235520 29636 4294967295 134512640 134569956 3221224416 3221214888 1131226193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29636 13073 16 0 210979 0
vsize: 843980
[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 82128 71 0 0 25 0 11 0 416112578 864235520 29682 4294967295 134512640 134569956 3221224416 3221214936 1131216133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29682 13073 16 0 210979 0
vsize: 843980
[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 83107 72 0 0 25 0 11 0 416112578 864235520 29723 4294967295 134512640 134569956 3221224416 3221214840 1131203418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29723 13073 16 0 210979 0
vsize: 843980
[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 84084 72 0 0 24 0 11 0 416112578 864235520 29771 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29771 13073 16 0 210979 0
vsize: 843980
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 85062 73 0 0 25 0 11 0 416112578 864235520 29812 4294967295 134512640 134569956 3221224416 3221214728 1131500940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29812 13073 16 0 210979 0
vsize: 843980
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 86038 73 0 0 25 0 11 0 416112578 864235520 29858 4294967295 134512640 134569956 3221224416 3221214840 1131203553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29858 13073 16 0 210979 0
vsize: 843980
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 87011 74 0 0 25 0 11 0 416112578 864235520 29910 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29910 13073 16 0 210979 0
vsize: 843980
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 87989 74 0 0 25 0 11 0 416112578 864235520 29966 4294967295 134512640 134569956 3221224416 3221214256 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 29966 13073 16 0 210979 0
vsize: 843980
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 88972 74 0 0 25 0 11 0 416112578 864235520 30004 4294967295 134512640 134569956 3221224416 3221214168 1131503464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30004 13073 16 0 210979 0
vsize: 843980
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 89953 75 0 0 25 0 11 0 416112578 864235520 30038 4294967295 134512640 134569956 3221224416 3221214728 1131234565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30038 13073 16 0 210979 0
vsize: 843980
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 90933 75 0 0 25 0 11 0 416112578 864235520 30084 4294967295 134512640 134569956 3221224416 3221214368 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30084 13073 16 0 210979 0
vsize: 843980
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 91915 76 0 0 25 0 11 0 416112578 864235520 30117 4294967295 134512640 134569956 3221224416 3221214840 1131203270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30117 13073 16 0 210979 0
vsize: 843980
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 92898 76 0 0 25 0 11 0 416112578 864235520 30163 4294967295 134512640 134569956 3221224416 3221214840 1131203414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30163 13073 16 0 210979 0
vsize: 843980
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 93882 76 0 0 25 0 11 0 416112578 864235520 30175 4294967295 134512640 134569956 3221224416 3221214932 1131204547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30175 13073 16 0 210979 0
vsize: 843980
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 94860 76 0 0 25 0 11 0 416112578 864235520 30212 4294967295 134512640 134569956 3221224416 3221214680 1131349811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30212 13073 16 0 210979 0
vsize: 843980
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 95839 77 0 0 25 0 11 0 416112578 864235520 30257 4294967295 134512640 134569956 3221224416 3221214728 1131504596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30257 13073 16 0 210979 0
vsize: 843980
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 96818 77 0 0 25 0 11 0 416112578 864235520 30287 4294967295 134512640 134569956 3221224416 3221214888 1131226242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30287 13073 16 0 210979 0
vsize: 843980
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 97794 78 0 0 25 0 11 0 416112578 864235520 30341 4294967295 134512640 134569956 3221224416 3221214840 1131203379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30341 13073 16 0 210979 0
vsize: 843980
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 98771 78 0 0 25 0 11 0 416112578 864235520 30388 4294967295 134512640 134569956 3221224416 3221214392 1131501796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30388 13073 16 0 210979 0
vsize: 843980
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 99749 78 0 0 25 0 11 0 416112578 864235520 30427 4294967295 134512640 134569956 3221224416 3221214888 1131226204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30427 13073 16 0 210979 0
vsize: 843980
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 100729 79 0 0 25 0 11 0 416112578 864235520 30464 4294967295 134512640 134569956 3221224416 3221214936 1131215671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30464 13073 16 0 210979 0
vsize: 843980
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 101707 79 0 0 25 0 11 0 416112578 864235520 30516 4294967295 134512640 134569956 3221224416 3221214744 1131279720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30516 13073 16 0 210979 0
vsize: 843980
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 102682 79 0 0 25 0 11 0 416112578 864235520 30577 4294967295 134512640 134569956 3221224416 3221214840 1131203368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30577 13073 16 0 210979 0
vsize: 843980
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 103653 79 0 0 24 0 11 0 416112578 864235520 30624 4294967295 134512640 134569956 3221224416 3221214840 1131203086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30624 13073 16 0 210979 0
vsize: 843980
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 104622 80 0 0 25 0 11 0 416112578 864235520 30675 4294967295 134512640 134569956 3221224416 3221214840 1131203435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30675 13073 16 0 210979 0
vsize: 843980
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 105591 80 0 0 25 0 11 0 416112578 864235520 30740 4294967295 134512640 134569956 3221224416 3221214840 1131203607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30740 13073 16 0 210979 0
vsize: 843980
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 106563 81 0 0 25 0 11 0 416112578 864235520 30961 4294967295 134512640 134569956 3221224416 3221214840 1131204247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 30961 13073 16 0 210979 0
vsize: 843980
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 107535 81 0 0 25 0 11 0 416112578 864235520 31018 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31018 13073 16 0 210979 0
vsize: 843980
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 108508 82 0 0 25 0 11 0 416112578 864235520 31096 4294967295 134512640 134569956 3221224416 3221214680 1131350912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31096 13073 16 0 210979 0
vsize: 843980
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 109485 82 0 0 25 0 11 0 416112578 864235520 31175 4294967295 134512640 134569956 3221224416 3221214936 1131215384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31175 13073 16 0 210979 0
vsize: 843980
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 110467 82 0 0 25 0 11 0 416112578 864235520 31247 4294967295 134512640 134569956 3221224416 3221214768 1131203073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31247 13073 16 0 210979 0
vsize: 843980
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 111448 83 0 0 24 0 11 0 416112578 864235520 31279 4294967295 134512640 134569956 3221224416 3221214840 1131203671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31279 13073 16 0 210979 0
vsize: 843980
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 112429 83 0 0 25 0 11 0 416112578 864235520 31307 4294967295 134512640 134569956 3221224416 3221214840 1131203633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31307 13073 16 0 210979 0
vsize: 843980
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 113413 83 0 0 25 0 11 0 416112578 864235520 31333 4294967295 134512640 134569956 3221224416 3221214840 1131203481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31333 13073 16 0 210979 0
vsize: 843980
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 114401 84 0 0 25 0 11 0 416112578 864235520 31366 4294967295 134512640 134569956 3221224416 3221214680 1131444707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31366 13073 16 0 210979 0
vsize: 843980
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 115389 84 0 0 25 0 11 0 416112578 864235520 31377 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31377 13073 16 0 210979 0
vsize: 843980
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 116376 84 0 0 25 0 11 0 416112578 864235520 31390 4294967295 134512640 134569956 3221224416 3221214792 1131310208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31390 13073 16 0 210979 0
vsize: 843980
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 117361 85 0 0 25 0 11 0 416112578 864235520 31396 4294967295 134512640 134569956 3221224416 3221214680 1131349768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31396 13073 16 0 210979 0
vsize: 843980
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 118345 85 0 0 25 0 11 0 416112578 864235520 31412 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31412 13073 16 0 210979 0
vsize: 843980
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 119325 86 0 0 25 0 11 0 416112578 864235520 31426 4294967295 134512640 134569956 3221224416 3221214760 1131274752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31426 13073 16 0 210979 0
vsize: 843980
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6189
Raw data (stat): 6173 (java) R 6172 26667 26666 0 -1 0 18095 3 1 0 120305 86 0 0 25 0 11 0 416112578 864235520 31437 4294967295 134512640 134569956 3221224416 3221214888 1131226176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210995 31437 13073 16 0 210979 0
vsize: 843980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 6191
Raw data (stat): 6173 (java) Z 6172 26667 26666 0 -1 1036 18095 13743 1 0 120307 86 3869 44 25 0 1 0 416112578 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.15
CPU time (s): 1243.08
CPU user time (s): 1241.76
CPU system time (s): 1.3148
CPU usage (%): 100.236
Max. virtual memory (Kb): 846556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####