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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM	aa1ea44fce5b7bfbe62733720f941ebb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	59186
Number of constraints which are clauses	59186
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	2
Trace number 4493

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        918516 kB
Buffers:         36520 kB
Cached:          59904 kB
SwapCached:          0 kB
Active:          73052 kB
Inactive:        26244 kB
HighTotal:      131008 kB
HighFree:        67256 kB
LowTotal:       903652 kB
LowFree:        851260 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11328 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:10:30 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2961 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-frb45-21-1.opb
c reading problem 
c [nbvar=945]
c [nbconstr=59186]
c time 8.931
c #vars     945
c #clauses  59186
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=0
c Current CPU time (ms) : 9.38
c starts	: 1
c conflicts	: 0
c decisions	: 945
c propagations	: 945
c inspects	: 0
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=-1
c Current CPU time (ms) : 9.589
c starts	: 2
c conflicts	: 0
c decisions	: 1889
c propagations	: 1890
c inspects	: 206
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 15.095
c starts	: 3
c conflicts	: 20
c decisions	: 2833
c propagations	: 3065
c inspects	: 2398
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-30
c Current CPU time (ms) : 15.27
c starts	: 4
c conflicts	: 20
c decisions	: 2863
c propagations	: 4010
c inspects	: 5991
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-31
c Current CPU time (ms) : 34.372
c starts	: 6
c conflicts	: 120
c decisions	: 3035
c propagations	: 6619
c inspects	: 54005
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 120
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-32
c Current CPU time (ms) : 34.731
c starts	: 7
c conflicts	: 122
c decisions	: 3071
c propagations	: 7577
c inspects	: 58619
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 122
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-33
c Current CPU time (ms) : 48.938
c starts	: 8
c conflicts	: 184
c decisions	: 3166
c propagations	: 8975
c inspects	: 88709
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 184
c root simplifications	: 8
c 
c CURRENT OPTIMUM=-34
c Current CPU time (ms) : 52.269
c starts	: 9
c conflicts	: 190
c decisions	: 3205
c propagations	: 9953
c inspects	: 102101
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 190
c root simplifications	: 9
c 
c CURRENT OPTIMUM=-35
c Current CPU time (ms) : 89.183
c starts	: 11
c conflicts	: 296
c decisions	: 3408
c propagations	: 12528
c inspects	: 171971
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 296
c root simplifications	: 11
c 
c CURRENT OPTIMUM=-36
c Current CPU time (ms) : 312.326
c starts	: 15
c conflicts	: 789
c decisions	: 4118
c propagations	: 19544
c inspects	: 532497
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 789
c root simplifications	: 15
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 24333
Raw data (stat): 24333 (runsolver) R 24332 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419655072 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.0007 s]
Raw data (loadavg): 0.94 0.98 0.99 3/63 24343
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18045 3 1 0 846 52 0 0 25 0 10 0 419655072 854609920 21399 4294967295 134512640 134569956 3221224416 3221214592 1078025780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 21399 13073 16 0 208629 0
vsize: 834580
[startup+20.0017 s]
Raw data (loadavg): 1.18 1.03 1.01 2/64 24347
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18087 3 1 0 1531 52 0 0 25 0 11 0 419655072 858497024 29524 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209594 29524 13073 16 0 209578 0
vsize: 838376
[startup+30.0017 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 24347
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18087 3 1 0 2433 53 0 0 25 0 11 0 419655072 858497024 29901 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209594 29901 13073 16 0 209578 0
vsize: 838376
[startup+40.0027 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 24349
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 3310 53 0 0 25 0 11 0 419655072 861880320 31304 4294967295 134512640 134569956 3221224416 3221214712 1131183101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210420 31304 13073 16 0 210404 0
vsize: 841680
[startup+50.0033 s]
Raw data (loadavg): 1.18 1.04 1.01 2/64 24350
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 4174 53 0 0 25 0 11 0 419655072 860733440 31813 4294967295 134512640 134569956 3221224416 3221214808 1131350468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210140 31813 13073 16 0 210124 0
vsize: 840560
[startup+60.0035 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 24351
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18088 3 1 0 5030 54 0 0 25 0 11 0 419655072 860733440 32361 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210140 32362 13073 16 0 210124 0
vsize: 840560
[startup+70.0047 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 24351
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 5912 54 0 0 25 0 11 0 419655072 860667904 32763 4294967295 134512640 134569956 3221224416 3221214808 1131350528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210124 32763 13073 16 0 210108 0
vsize: 840496
[startup+80.0053 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 24351
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 6798 54 0 0 25 0 11 0 419655072 860635136 33261 4294967295 134512640 134569956 3221224416 3221214912 1131523539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210116 33261 13073 16 0 210100 0
vsize: 840464
[startup+90.0054 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 7672 54 0 0 25 0 11 0 419655072 859504640 33350 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 33350 13073 16 0 209824 0
vsize: 839360
[startup+100.005 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 8541 54 0 0 25 0 11 0 419655072 859504640 33529 4294967295 134512640 134569956 3221224416 3221214712 1131183116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 33529 13073 16 0 209824 0
vsize: 839360
[startup+110.007 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 9415 54 0 0 25 0 11 0 419655072 859504640 33894 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 33894 13073 16 0 209824 0
vsize: 839360
[startup+120.007 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 24352
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18088 3 1 0 10286 55 0 0 25 0 11 0 419655072 859504640 34326 4294967295 134512640 134569956 3221224416 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 34326 13073 16 0 209824 0
vsize: 839360
[startup+130.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 11170 55 0 0 25 0 11 0 419655072 859504640 34763 4294967295 134512640 134569956 3221224416 3221214696 1131404158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 34763 13073 16 0 209824 0
vsize: 839360
[startup+140.01 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 12033 55 0 0 19 0 11 0 419655072 859504640 35149 4294967295 134512640 134569956 3221224416 3221214808 1131350498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 35149 13073 16 0 209824 0
vsize: 839360
[startup+150.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 12905 55 0 0 20 0 11 0 419655072 859504640 35629 4294967295 134512640 134569956 3221224416 3221214712 1131184427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 35629 13073 16 0 209824 0
vsize: 839360
[startup+160.014 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 13775 56 0 0 16 0 11 0 419655072 859504640 36096 4294967295 134512640 134569956 3221224416 3221214584 1131370587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 36096 13073 16 0 209824 0
vsize: 839360
[startup+170.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 14667 56 0 0 20 0 11 0 419655072 859504640 36435 4294967295 134512640 134569956 3221224416 3221214696 1131403044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 36435 13073 16 0 209824 0
vsize: 839360
[startup+180.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 15550 56 0 0 17 0 11 0 419655072 859504640 36759 4294967295 134512640 134569956 3221224416 3221214696 1131402992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 36759 13073 16 0 209824 0
vsize: 839360
[startup+190.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 16435 57 0 0 16 0 11 0 419655072 859504640 37114 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 37114 13073 16 0 209824 0
vsize: 839360
[startup+200.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 17308 57 0 0 18 0 11 0 419655072 859504640 37287 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 37287 13073 16 0 209824 0
vsize: 839360
[startup+210.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 18169 57 0 0 17 0 11 0 419655072 859504640 37662 4294967295 134512640 134569956 3221224416 3221214712 1131183578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 37662 13073 16 0 209824 0
vsize: 839360
[startup+220.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 19040 58 0 0 22 0 11 0 419655072 859504640 38057 4294967295 134512640 134569956 3221224416 3221214712 1131183744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 38057 13073 16 0 209824 0
vsize: 839360
[startup+230.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 19916 58 0 0 16 0 11 0 419655072 859504640 38440 4294967295 134512640 134569956 3221224416 3221214712 1131183150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 38440 13073 16 0 209824 0
vsize: 839360
[startup+240.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 20805 58 0 0 18 0 11 0 419655072 859504640 38725 4294967295 134512640 134569956 3221224416 3221214808 1131350468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 38725 13073 16 0 209824 0
vsize: 839360
[startup+250.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 21685 58 0 0 16 0 11 0 419655072 859504640 39060 4294967295 134512640 134569956 3221224416 3221214632 1131374220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 39060 13073 16 0 209824 0
vsize: 839360
[startup+260.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18088 3 1 0 22572 59 0 0 17 0 11 0 419655072 859504640 39419 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 39419 13073 16 0 209824 0
vsize: 839360
[startup+270.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 23453 59 0 0 16 0 11 0 419655072 859504640 39776 4294967295 134512640 134569956 3221224416 3221214680 1131367677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 39776 13073 16 0 209824 0
vsize: 839360
[startup+280.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 24330 60 0 0 16 0 11 0 419655072 859504640 40179 4294967295 134512640 134569956 3221224416 3221214696 1131403479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 40179 13073 16 0 209824 0
vsize: 839360
[startup+290.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 25212 60 0 0 16 0 11 0 419655072 859504640 40462 4294967295 134512640 134569956 3221224416 3221214712 1131183578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 40462 13073 16 0 209824 0
vsize: 839360
[startup+300.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 26086 61 0 0 16 0 11 0 419655072 859504640 40695 4294967295 134512640 134569956 3221224416 3221214808 1131351249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 40695 13073 16 0 209824 0
vsize: 839360
[startup+310.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24352
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 26958 61 0 0 16 0 11 0 419655072 859504640 41085 4294967295 134512640 134569956 3221224416 3221214576 1131396670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 41085 13073 16 0 209824 0
vsize: 839360
[startup+320.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 27838 61 0 0 16 0 11 0 419655072 859504640 41438 4294967295 134512640 134569956 3221224416 3221214712 1131183113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 41438 13073 16 0 209824 0
vsize: 839360
[startup+330.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 28747 61 0 0 16 0 11 0 419655072 859504640 41581 4294967295 134512640 134569956 3221224416 3221214712 1131183274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 41581 13073 16 0 209824 0
vsize: 839360
[startup+340.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 29641 61 0 0 16 0 11 0 419655072 859504640 41702 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 41702 13073 16 0 209824 0
vsize: 839360
[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 30527 61 0 0 16 0 11 0 419655072 859504640 41914 4294967295 134512640 134569956 3221224416 3221214712 1131183347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 41914 13073 16 0 209824 0
vsize: 839360
[startup+360.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 31414 61 0 0 16 0 11 0 419655072 859504640 42100 4294967295 134512640 134569956 3221224416 3221214760 1131144247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 42100 13073 16 0 209824 0
vsize: 839360
[startup+370.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 32309 61 0 0 16 0 11 0 419655072 859504640 42373 4294967295 134512640 134569956 3221224416 3221214760 1131247721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 42373 13073 16 0 209824 0
vsize: 839360
[startup+380.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 33203 61 0 0 16 0 11 0 419655072 859504640 42710 4294967295 134512640 134569956 3221224416 3221214712 1131184374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 42710 13073 16 0 209824 0
vsize: 839360
[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 34093 61 0 0 16 0 11 0 419655072 859504640 42882 4294967295 134512640 134569956 3221224416 3221214712 1131183105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 42882 13073 16 0 209824 0
vsize: 839360
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 34995 62 0 0 16 0 11 0 419655072 859504640 43130 4294967295 134512640 134569956 3221224416 3221214632 1131373282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 43130 13073 16 0 209824 0
vsize: 839360
[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18088 3 1 0 35888 62 0 0 16 0 11 0 419655072 859504640 43411 4294967295 134512640 134569956 3221224416 3221214712 1131183434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 43411 13073 16 0 209824 0
vsize: 839360
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18088 3 1 0 36784 62 0 0 16 0 11 0 419655072 859504640 43467 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 43467 13073 16 0 209824 0
vsize: 839360
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 37670 62 0 0 15 0 11 0 419655072 859504640 43675 4294967295 134512640 134569956 3221224416 3221214712 1131183578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 43675 13073 16 0 209824 0
vsize: 839360
[startup+440.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 38572 62 0 0 16 0 11 0 419655072 859504640 43933 4294967295 134512640 134569956 3221224416 3221214712 1131183811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 43933 13073 16 0 209824 0
vsize: 839360
[startup+450.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 39475 62 0 0 16 0 11 0 419655072 859504640 44187 4294967295 134512640 134569956 3221224416 3221214808 1131350498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 44187 13073 16 0 209824 0
vsize: 839360
[startup+460.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 40386 62 0 0 16 0 11 0 419655072 859504640 44421 4294967295 134512640 134569956 3221224416 3221214712 1131183795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 44421 13073 16 0 209824 0
vsize: 839360
[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 41298 62 0 0 16 0 11 0 419655072 859504640 44635 4294967295 134512640 134569956 3221224416 3221214712 1131183304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 44635 13073 16 0 209824 0
vsize: 839360
[startup+480.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 42211 63 0 0 16 0 11 0 419655072 859504640 44820 4294967295 134512640 134569956 3221224416 3221214552 1131476484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 44820 13073 16 0 209824 0
vsize: 839360
[startup+490.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 43123 63 0 0 17 0 11 0 419655072 859504640 44998 4294967295 134512640 134569956 3221224416 3221214808 1131350488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 44998 13073 16 0 209824 0
vsize: 839360
[startup+500.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18089 3 1 0 44024 63 0 0 16 0 11 0 419655072 859504640 45142 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 45142 13073 16 0 209824 0
vsize: 839360
[startup+510.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 44913 64 0 0 16 0 11 0 419655072 859504640 45439 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 45439 13073 16 0 209824 0
vsize: 839360
[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 45827 64 0 0 16 0 11 0 419655072 859504640 45660 4294967295 134512640 134569956 3221224416 3221214808 1131350447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 45660 13073 16 0 209824 0
vsize: 839360
[startup+530.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 46732 64 0 0 16 0 11 0 419655072 859504640 45856 4294967295 134512640 134569956 3221224416 3221214576 1131567630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 45856 13073 16 0 209824 0
vsize: 839360
[startup+540.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 47634 64 0 0 16 0 11 0 419655072 859504640 45891 4294967295 134512640 134569956 3221224416 3221214696 1131406828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 45891 13073 16 0 209824 0
vsize: 839360
[startup+550.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 48516 64 0 0 16 0 11 0 419655072 859504640 46108 4294967295 134512640 134569956 3221224416 3221214712 1131184452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 46108 13073 16 0 209824 0
vsize: 839360
[startup+560.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 49391 64 0 0 16 0 11 0 419655072 859504640 46432 4294967295 134512640 134569956 3221224416 3221214808 1131350468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 46432 13073 16 0 209824 0
vsize: 839360
[startup+570.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 50274 64 0 0 16 0 11 0 419655072 859504640 46648 4294967295 134512640 134569956 3221224416 3221214824 1131363729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 46648 13073 16 0 209824 0
vsize: 839360
[startup+580.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18089 3 1 0 51158 64 0 0 16 0 11 0 419655072 859504640 46955 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 46955 13073 16 0 209824 0
vsize: 839360
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 52047 64 0 0 16 0 11 0 419655072 859504640 47222 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 47222 13073 16 0 209824 0
vsize: 839360
[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18089 3 1 0 52945 64 0 0 16 0 11 0 419655072 859504640 47411 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 47411 13073 16 0 209824 0
vsize: 839360
[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 53835 65 0 0 16 0 11 0 419655072 859504640 47673 4294967295 134512640 134569956 3221224416 3221214712 1131184111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 47673 13073 16 0 209824 0
vsize: 839360
[startup+620.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 54739 65 0 0 16 0 11 0 419655072 859504640 47947 4294967295 134512640 134569956 3221224416 3221214808 1131351355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 47947 13073 16 0 209824 0
vsize: 839360
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 55635 66 0 0 16 0 11 0 419655072 859504640 48175 4294967295 134512640 134569956 3221224416 3221214808 1131351395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 48175 13073 16 0 209824 0
vsize: 839360
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 56538 67 0 0 16 0 11 0 419655072 859504640 48399 4294967295 134512640 134569956 3221224416 3221214696 1131403728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 48399 13073 16 0 209824 0
vsize: 839360
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 57455 67 0 0 17 0 11 0 419655072 859504640 48592 4294967295 134512640 134569956 3221224416 3221214760 1131144128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 48592 13073 16 0 209824 0
vsize: 839360
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 58375 67 0 0 16 0 11 0 419655072 859504640 48820 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 48820 13073 16 0 209824 0
vsize: 839360
[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 59291 68 0 0 16 0 11 0 419655072 859504640 49031 4294967295 134512640 134569956 3221224416 3221214808 1131350406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 49031 13073 16 0 209824 0
vsize: 839360
[startup+680.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 60217 68 0 0 16 0 11 0 419655072 859504640 49163 4294967295 134512640 134569956 3221224416 3221214760 1131144145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 49163 13073 16 0 209824 0
vsize: 839360
[startup+690.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24353
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 61155 69 0 0 16 0 11 0 419655072 859504640 49337 4294967295 134512640 134569956 3221224416 3221214712 1131183827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 49337 13073 16 0 209824 0
vsize: 839360
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/68 24396
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 62090 77 0 0 16 0 11 0 419655072 859504640 49372 4294967295 134512640 134569956 3221224416 3221214808 1131350498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 49372 13073 16 0 209824 0
vsize: 839360
[startup+710.065 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24406
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 63009 84 0 0 16 0 11 0 419655072 859504640 49395 4294967295 134512640 134569956 3221224416 3221214712 1131183835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 49395 13073 16 0 209824 0
vsize: 839360
[startup+720.066 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 24406
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 63931 85 0 0 16 0 11 0 419655072 859504640 49615 4294967295 134512640 134569956 3221224416 3221214808 1131350638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 49615 13073 16 0 209824 0
vsize: 839360
[startup+730.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24406
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 64853 85 0 0 16 0 11 0 419655072 859504640 49725 4294967295 134512640 134569956 3221224416 3221214712 1131183564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 49725 13073 16 0 209824 0
vsize: 839360
[startup+740.074 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24406
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 65778 85 0 0 16 0 11 0 419655072 859504640 49926 4294967295 134512640 134569956 3221224416 3221214712 1131184080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 49926 13073 16 0 209824 0
vsize: 839360
[startup+750.074 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24406
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 66703 86 0 0 16 0 11 0 419655072 859504640 50125 4294967295 134512640 134569956 3221224416 3221214712 1131183526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 50125 13073 16 0 209824 0
vsize: 839360
[startup+760.075 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24406
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 67622 87 0 0 16 0 11 0 419655072 859504640 50252 4294967295 134512640 134569956 3221224416 3221214808 1131350498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 50252 13073 16 0 209824 0
vsize: 839360
[startup+770.075 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 68535 87 0 0 16 0 11 0 419655072 859504640 50409 4294967295 134512640 134569956 3221224416 3221214576 1131568523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 50409 13073 16 0 209824 0
vsize: 839360
[startup+780.075 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 69458 88 0 0 16 0 11 0 419655072 859504640 50598 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 50598 13073 16 0 209824 0
vsize: 839360
[startup+790.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24408
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18089 3 1 0 70380 88 0 0 17 0 11 0 419655072 859504640 50779 4294967295 134512640 134569956 3221224416 3221213352 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 50779 13073 16 0 209824 0
vsize: 839360
[startup+800.079 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 71313 88 0 0 16 0 11 0 419655072 859504640 50967 4294967295 134512640 134569956 3221224416 3221214696 1131402708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 50967 13073 16 0 209824 0
vsize: 839360
[startup+810.079 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 72259 89 0 0 17 0 11 0 419655072 859504640 51095 4294967295 134512640 134569956 3221224416 3221214552 1131611334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 51095 13073 16 0 209824 0
vsize: 839360
[startup+820.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 73188 89 0 0 16 0 11 0 419655072 859504640 51265 4294967295 134512640 134569956 3221224416 3221214424 1131679050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 51265 13073 16 0 209824 0
vsize: 839360
[startup+830.084 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 74124 90 0 0 16 0 11 0 419655072 859504640 51399 4294967295 134512640 134569956 3221224416 3221214296 1080217254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 51399 13073 16 0 209824 0
vsize: 839360
[startup+840.084 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 75066 90 0 0 17 0 11 0 419655072 859504640 51607 4294967295 134512640 134569956 3221224416 3221214808 1131351430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 51607 13073 16 0 209824 0
vsize: 839360
[startup+850.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 75987 90 0 0 16 0 11 0 419655072 859504640 51715 4294967295 134512640 134569956 3221224416 3221214712 1131183730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 51715 13073 16 0 209824 0
vsize: 839360
[startup+860.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 76912 90 0 0 16 0 11 0 419655072 859504640 52035 4294967295 134512640 134569956 3221224416 3221214808 1131350644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52035 13073 16 0 209824 0
vsize: 839360
[startup+870.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 77868 90 0 0 17 0 11 0 419655072 859504640 52189 4294967295 134512640 134569956 3221224416 3221214296 1080217256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52189 13073 16 0 209824 0
vsize: 839360
[startup+880.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 78821 90 0 0 17 0 11 0 419655072 859504640 52314 4294967295 134512640 134569956 3221224416 3221214808 1131350402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52314 13073 16 0 209824 0
vsize: 839360
[startup+890.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 79780 91 0 0 18 0 11 0 419655072 859504640 52368 4294967295 134512640 134569956 3221224416 3221214584 1131247670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52368 13073 16 0 209824 0
vsize: 839360
[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 80733 92 0 0 17 0 11 0 419655072 859504640 52470 4294967295 134512640 134569956 3221224416 3221214808 1131351249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52470 13073 16 0 209824 0
vsize: 839360
[startup+910.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 81697 92 0 0 18 0 11 0 419655072 859504640 52561 4294967295 134512640 134569956 3221224416 3221214424 1131679182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52561 13073 16 0 209824 0
vsize: 839360
[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 82655 92 0 0 17 0 11 0 419655072 859504640 52660 4294967295 134512640 134569956 3221224416 3221214576 1131396875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52660 13073 16 0 209824 0
vsize: 839360
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 83615 93 0 0 17 0 11 0 419655072 859504640 52741 4294967295 134512640 134569956 3221224416 3221214804 1131184561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52741 13073 16 0 209824 0
vsize: 839360
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 84562 94 0 0 16 0 11 0 419655072 859504640 52836 4294967295 134512640 134569956 3221224416 3221214808 1131351317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 52836 13073 16 0 209824 0
vsize: 839360
[startup+950.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 85513 94 0 0 16 0 11 0 419655072 859504640 52992 4294967295 134512640 134569956 3221224416 3221214392 1080217189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 52992 13073 16 0 209824 0
vsize: 839360
[startup+960.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 86458 94 0 0 17 0 11 0 419655072 859504640 53177 4294967295 134512640 134569956 3221224416 3221214504 1131436114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 53177 13073 16 0 209824 0
vsize: 839360
[startup+970.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 87421 95 0 0 18 0 11 0 419655072 859504640 53317 4294967295 134512640 134569956 3221224416 3221214576 1131567944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 53317 13073 16 0 209824 0
vsize: 839360
[startup+980.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 88370 95 0 0 16 0 11 0 419655072 859504640 53492 4294967295 134512640 134569956 3221224416 3221214712 1131183399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 53492 13073 16 0 209824 0
vsize: 839360
[startup+990.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 89328 95 0 0 18 0 11 0 419655072 859504640 53630 4294967295 134512640 134569956 3221224416 3221214584 1131370722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 53630 13073 16 0 209824 0
vsize: 839360
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 90286 95 0 0 17 0 11 0 419655072 859504640 53643 4294967295 134512640 134569956 3221224416 3221214696 1131402659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 53643 13073 16 0 209824 0
vsize: 839360
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24408
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 91237 96 0 0 17 0 11 0 419655072 859504640 53816 4294967295 134512640 134569956 3221224416 3221214728 1131453743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 53816 13073 16 0 209824 0
vsize: 839360
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 92174 96 0 0 16 0 11 0 419655072 859504640 54002 4294967295 134512640 134569956 3221224416 3221214808 1131351249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 54002 13073 16 0 209824 0
vsize: 839360
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 93116 97 0 0 16 0 11 0 419655072 859504640 54235 4294967295 134512640 134569956 3221224416 3221214712 1131183362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 54235 13073 16 0 209824 0
vsize: 839360
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 94055 98 0 0 16 0 11 0 419655072 859504640 54302 4294967295 134512640 134569956 3221224416 3221214712 1131184509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 54302 13073 16 0 209824 0
vsize: 839360
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 95001 98 0 0 17 0 11 0 419655072 859504640 54428 4294967295 134512640 134569956 3221224416 3221214628 1131397111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 54428 13073 16 0 209824 0
vsize: 839360
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 95935 98 0 0 16 0 11 0 419655072 859504640 54516 4294967295 134512640 134569956 3221224416 3221214504 1131437232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 54516 13073 16 0 209824 0
vsize: 839360
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 96896 99 0 0 18 0 11 0 419655072 859504640 54614 4294967295 134512640 134569956 3221224416 3221214424 1131679039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 54614 13073 16 0 209824 0
vsize: 839360
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 97846 99 0 0 16 0 11 0 419655072 859504640 54773 4294967295 134512640 134569956 3221224416 3221214864 1131380347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 54773 13073 16 0 209824 0
vsize: 839360
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 98796 100 0 0 18 0 11 0 419655072 859504640 54883 4294967295 134512640 134569956 3221224416 3221214720 1131247747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 54883 13073 16 0 209824 0
vsize: 839360
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 99735 100 0 0 17 0 11 0 419655072 859504640 55054 4294967295 134512640 134569956 3221224416 3221214808 1131351395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 55054 13073 16 0 209824 0
vsize: 839360
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 100680 100 0 0 16 0 11 0 419655072 859504640 55225 4294967295 134512640 134569956 3221224416 3221214712 1131183322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 55225 13073 16 0 209824 0
vsize: 839360
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 101644 101 0 0 18 0 11 0 419655072 859504640 55312 4294967295 134512640 134569956 3221224416 3221214576 1131568347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 55312 13073 16 0 209824 0
vsize: 839360
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 102612 101 0 0 19 0 11 0 419655072 859504640 55394 4294967295 134512640 134569956 3221224416 3221214504 1131437169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 55394 13073 16 0 209824 0
vsize: 839360
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 103585 101 0 0 20 0 11 0 419655072 859504640 55404 4294967295 134512640 134569956 3221224416 3221214424 1131679524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 55404 13073 16 0 209824 0
vsize: 839360
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 104566 102 0 0 25 0 11 0 419655072 859504640 55447 4294967295 134512640 134569956 3221224416 3221214328 1080217023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 55447 13073 16 0 209824 0
vsize: 839360
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 105544 102 0 0 18 0 11 0 419655072 859504640 56093 4294967295 134512640 134569956 3221224416 3221214712 1131184084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56093 13073 16 0 209824 0
vsize: 839360
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 106520 103 0 0 25 0 11 0 419655072 859504640 56093 4294967295 134512640 134569956 3221224416 3221214712 1131184455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56093 13073 16 0 209824 0
vsize: 839360
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 107469 103 0 0 16 0 11 0 419655072 859504640 56098 4294967295 134512640 134569956 3221224416 3221214712 1131184455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56098 13073 16 0 209824 0
vsize: 839360
[startup+1190.11 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 108404 103 0 0 16 0 11 0 419655072 859504640 56104 4294967295 134512640 134569956 3221224416 3221214712 1131183401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56104 13073 16 0 209824 0
vsize: 839360
[startup+1200.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 109334 104 0 0 16 0 11 0 419655072 859504640 56235 4294967295 134512640 134569956 3221224416 3221214712 1131184093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56235 13073 16 0 209824 0
vsize: 839360
[startup+1210.11 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 110291 105 0 0 18 0 11 0 419655072 859504640 56370 4294967295 134512640 134569956 3221224416 3221214808 1131350603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56370 13073 16 0 209824 0
vsize: 839360
[startup+1220.11 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 111235 105 0 0 16 0 11 0 419655072 859504640 56409 4294967295 134512640 134569956 3221224416 3221214712 1131184101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56409 13073 16 0 209824 0
vsize: 839360
[startup+1230.11 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 112151 106 0 0 16 0 11 0 419655072 859504640 56435 4294967295 134512640 134569956 3221224416 3221214712 1131183298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56435 13073 16 0 209824 0
vsize: 839360
[startup+1240.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 113062 106 0 0 16 0 11 0 419655072 859504640 56542 4294967295 134512640 134569956 3221224416 3221214712 1131183312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56542 13073 16 0 209824 0
vsize: 839360
[startup+1250.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 113966 106 0 0 16 0 11 0 419655072 859504640 56800 4294967295 134512640 134569956 3221224416 3221214696 1131403044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 56800 13073 16 0 209824 0
vsize: 839360
[startup+1260.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 114883 107 0 0 16 0 11 0 419655072 859504640 57027 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 57027 13073 16 0 209824 0
vsize: 839360
[startup+1270.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 115785 107 0 0 16 0 11 0 419655072 859504640 57148 4294967295 134512640 134569956 3221224416 3221214584 1131247188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 57148 13073 16 0 209824 0
vsize: 839360
[startup+1280.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 116698 108 0 0 16 0 11 0 419655072 859504640 57398 4294967295 134512640 134569956 3221224416 3221214712 1131183625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 57398 13073 16 0 209824 0
vsize: 839360
[startup+1290.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 117616 108 0 0 16 0 11 0 419655072 859504640 57605 4294967295 134512640 134569956 3221224416 3221214808 1131350498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 57605 13073 16 0 209824 0
vsize: 839360
[startup+1300.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 118548 109 0 0 16 0 11 0 419655072 859504640 57807 4294967295 134512640 134569956 3221224416 3221214712 1131183519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 57807 13073 16 0 209824 0
vsize: 839360
[startup+1310.12 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) S 24332 22932 22931 0 -1 0 18089 3 1 0 119482 109 0 0 17 0 11 0 419655072 859504640 57934 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 57934 13073 16 0 209824 0
vsize: 839360
[startup+1320.12 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24410
Raw data (stat): 24333 (java) R 24332 22932 22931 0 -1 0 18089 3 1 0 120409 110 0 0 16 0 11 0 419655072 859504640 58067 4294967295 134512640 134569956 3221224416 3221214712 1131183274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 58067 13073 16 0 209824 0
vsize: 839360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.27 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 24412
Raw data (stat): 24333 (java) Z 24332 22932 22931 0 -1 1036 18089 38241 1 0 120413 110 11157 95 16 0 1 0 419655072 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): 1320.27
CPU time (s): 1317.77
CPU user time (s): 1315.71
CPU system time (s): 2.06169
CPU usage (%): 99.811
Max. virtual memory (Kb): 841680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####