PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
MD5SUM	69e7430fb77e7d40f128bdde5f7776a3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13476271
Optimality of the best value was proved	NO
Number of terms in the objective function	2016
Biggest coefficient in the objective function	402653184
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	34444990400
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	402653184
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	34444990400
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.37
Number of variables	2016
Total number of constraints	116
Number of constraints which are clauses	0
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	21
Maximum length of a constraint	240
Trace number 17861

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-21 12:25:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18963 boxname=wulflinc15 idbench=1459 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  69e7430fb77e7d40f128bdde5f7776a3  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bal8x12.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bal8x12.opb
IDLAUNCH: 18963
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        545600 kB
Buffers:         34580 kB
Cached:         432208 kB
SwapCached:        440 kB
Active:         154696 kB
Inactive:       314160 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        545348 kB
SwapTotal:     2097136 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            14552 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 12:45:56 (client local time) WITH STATUS 143 IN 1223.69 SECONDS
stats: 18963 7 1223.69 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bal8x12.opb
c reading problem 
c [nbvar=2016]
c [nbconstr=116]
c time 3.973
c #vars     2016
c #clauses  137
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=18246631
c Current CPU time (ms) : 10.142
c starts	: 1
c conflicts	: 6
c decisions	: 1150
c propagations	: 3992
c inspects	: 3948
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 6
c 
c CURRENT OPTIMUM=15344996
c Current CPU time (ms) : 55.063
c starts	: 2
c conflicts	: 29
c decisions	: 3190
c propagations	: 10839
c inspects	: 22761
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 29
c root simplifications	: 13
c 
c CURRENT OPTIMUM=14565359
c Current CPU time (ms) : 113.026
c starts	: 3
c conflicts	: 38
c decisions	: 5794
c propagations	: 18094
c inspects	: 47757
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 38
c root simplifications	: 21
c 
c CURRENT OPTIMUM=12844209
c Current CPU time (ms) : 288.392
c starts	: 4
c conflicts	: 71
c decisions	: 10751
c propagations	: 32584
c inspects	: 114737
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 71
c root simplifications	: 38
c 
c CURRENT OPTIMUM=12639409
c Current CPU time (ms) : 304.642
c starts	: 5
c conflicts	: 71
c decisions	: 11029
c propagations	: 33759
c inspects	: 120464
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 71
c root simplifications	: 39
#### 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.75 0.89 0.90 2/54 8157
Raw data (stat): 8157 (runsolver) R 8156 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486838880 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.95 0.93 0.92 2/64 8167
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18079 0 1 0 669 40 0 0 25 0 11 0 486838880 860774400 20756 4294967295 134512640 134569956 3221224400 3221214892 1131159654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210150 20756 13073 16 0 210134 0
vsize: 840600
[startup+20.0222 s]
Raw data (loadavg): 0.96 0.93 0.92 2/64 8168
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 1622 41 0 0 25 0 11 0 486838880 857952256 20334 4294967295 134512640 134569956 3221224400 3221214472 1131216576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209461 20334 13073 16 0 209445 0
vsize: 837844
[startup+30.0228 s]
Raw data (loadavg): 0.96 0.93 0.92 2/64 8168
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 2558 41 0 0 25 0 11 0 486838880 857952256 20521 4294967295 134512640 134569956 3221224400 3221214896 1131279306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209461 20521 13073 16 0 209445 0
vsize: 837844
[startup+40.0241 s]
Raw data (loadavg): 0.97 0.93 0.92 2/64 8168
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 3505 41 0 0 25 0 11 0 486838880 857952256 20882 4294967295 134512640 134569956 3221224400 3221214800 1131230985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209461 20882 13073 16 0 209445 0
vsize: 837844
[startup+50.0252 s]
Raw data (loadavg): 0.97 0.93 0.92 2/64 8168
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 4478 41 0 0 25 0 11 0 486838880 859000832 21066 4294967295 134512640 134569956 3221224400 3221214800 1131230914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 21066 13073 16 0 209701 0
vsize: 838868
[startup+60.0252 s]
Raw data (loadavg): 0.98 0.94 0.92 2/64 8169
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 5458 42 0 0 25 0 11 0 486838880 859000832 21170 4294967295 134512640 134569956 3221224400 3221214800 1131231601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 21170 13073 16 0 209701 0
vsize: 838868
[startup+70.0267 s]
Raw data (loadavg): 0.98 0.94 0.92 2/64 8169
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 6436 42 0 0 25 0 11 0 486838880 859000832 21206 4294967295 134512640 134569956 3221224400 3221214800 1131230985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 21206 13073 16 0 209701 0
vsize: 838868
[startup+80.0274 s]
Raw data (loadavg): 0.98 0.94 0.92 2/64 8169
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 7413 42 0 0 24 0 11 0 486838880 859000832 21248 4294967295 134512640 134569956 3221224400 3221214800 1131231606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 21248 13073 16 0 209701 0
vsize: 838868
[startup+90.0277 s]
Raw data (loadavg): 0.98 0.94 0.92 2/64 8169
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 8395 42 0 0 25 0 11 0 486838880 859000832 21308 4294967295 134512640 134569956 3221224400 3221214840 1131421960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 21308 13073 16 0 209701 0
vsize: 838868
[startup+100.028 s]
Raw data (loadavg): 0.99 0.94 0.92 2/64 8169
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 9385 42 0 0 25 0 11 0 486838880 859000832 21367 4294967295 134512640 134569956 3221224400 3221214800 1131231674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 21367 13073 16 0 209701 0
vsize: 838868
[startup+110.028 s]
Raw data (loadavg): 0.99 0.94 0.92 2/64 8169
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18081 3 1 0 10375 42 0 0 25 0 11 0 486838880 859000832 21387 4294967295 134512640 134569956 3221224400 3221214896 1131279395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21387 13073 16 0 209701 0
vsize: 838868
[startup+120.029 s]
Raw data (loadavg): 0.99 0.94 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 11360 43 0 0 25 0 11 0 486838880 860987392 21876 4294967295 134512640 134569956 3221224400 3221214848 1131176970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 21876 13073 16 0 210186 0
vsize: 840808
[startup+130.029 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 12346 43 0 0 25 0 11 0 486838880 860987392 21891 4294967295 134512640 134569956 3221224400 3221214560 1131216758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 21891 13073 16 0 210186 0
vsize: 840808
[startup+140.03 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 13333 43 0 0 25 0 11 0 486838880 860987392 21907 4294967295 134512640 134569956 3221224400 3221214800 1131231002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 21907 13073 16 0 210186 0
vsize: 840808
[startup+150.031 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 14319 43 0 0 25 0 11 0 486838880 860921856 21942 4294967295 134512640 134569956 3221224400 3221214800 1131231030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210186 21942 13073 16 0 210170 0
vsize: 840744
[startup+160.031 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 15305 43 0 0 25 0 11 0 486838880 860889088 21961 4294967295 134512640 134569956 3221224400 3221214896 1131280029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 21961 13073 16 0 210162 0
vsize: 840712
[startup+170.032 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 16294 43 0 0 25 0 11 0 486838880 860889088 22008 4294967295 134512640 134569956 3221224400 3221214800 1131231674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22008 13073 16 0 210162 0
vsize: 840712
[startup+180.032 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 17286 43 0 0 25 0 11 0 486838880 860889088 22026 4294967295 134512640 134569956 3221224400 3221214800 1131230572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22026 13073 16 0 210162 0
vsize: 840712
[startup+190.033 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 18278 43 0 0 25 0 11 0 486838880 860889088 22032 4294967295 134512640 134569956 3221224400 3221214800 1131231714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22032 13073 16 0 210162 0
vsize: 840712
[startup+200.033 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 19269 43 0 0 25 0 11 0 486838880 860889088 22062 4294967295 134512640 134569956 3221224400 3221214800 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22062 13073 16 0 210162 0
vsize: 840712
[startup+210.033 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 20262 43 0 0 25 0 11 0 486838880 860889088 22085 4294967295 134512640 134569956 3221224400 3221214848 1131176917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22085 13073 16 0 210162 0
vsize: 840712
[startup+220.033 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 21256 43 0 0 25 0 11 0 486838880 860889088 22102 4294967295 134512640 134569956 3221224400 3221214140 1076914544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22102 13073 16 0 210162 0
vsize: 840712
[startup+230.034 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 22249 43 0 0 25 0 11 0 486838880 860889088 22105 4294967295 134512640 134569956 3221224400 3221214800 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22105 13073 16 0 210162 0
vsize: 840712
[startup+240.034 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 23235 43 0 0 24 0 11 0 486838880 860889088 22128 4294967295 134512640 134569956 3221224400 3221214800 1131231157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22128 13073 16 0 210162 0
vsize: 840712
[startup+250.034 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 24222 43 0 0 25 0 11 0 486838880 860889088 22137 4294967295 134512640 134569956 3221224400 3221214896 1131278985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22137 13073 16 0 210162 0
vsize: 840712
[startup+260.034 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 25210 43 0 0 25 0 11 0 486838880 860889088 22190 4294967295 134512640 134569956 3221224400 3221214800 1131231626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 22190 13073 16 0 210162 0
vsize: 840712
[startup+270.035 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 26203 44 0 0 25 0 11 0 486838880 859000832 21811 4294967295 134512640 134569956 3221224400 3221214800 1131230565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21811 13073 16 0 209701 0
vsize: 838868
[startup+280.034 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8170
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 27192 44 0 0 25 0 11 0 486838880 859000832 21823 4294967295 134512640 134569956 3221224400 3221214800 1131230900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21823 13073 16 0 209701 0
vsize: 838868
[startup+290.036 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8171
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 28184 44 0 0 25 0 11 0 486838880 859000832 21834 4294967295 134512640 134569956 3221224400 3221214760 1131230615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21834 13073 16 0 209701 0
vsize: 838868
[startup+300.036 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8171
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 29170 44 0 0 24 0 11 0 486838880 859000832 21850 4294967295 134512640 134569956 3221224400 3221214760 1131230561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21850 13073 16 0 209701 0
vsize: 838868
[startup+310.036 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 30155 44 0 0 25 0 11 0 486838880 859000832 21868 4294967295 134512640 134569956 3221224400 3221214808 1131177025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21868 13073 16 0 209701 0
vsize: 838868
[startup+320.037 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 31140 44 0 0 25 0 11 0 486838880 859000832 21918 4294967295 134512640 134569956 3221224400 3221214760 1131231238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21918 13073 16 0 209701 0
vsize: 838868
[startup+330.038 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 32127 44 0 0 25 0 11 0 486838880 859000832 21928 4294967295 134512640 134569956 3221224400 3221214576 1131509807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21928 13073 16 0 209701 0
vsize: 838868
[startup+340.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 33114 44 0 0 25 0 11 0 486838880 859000832 21981 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21981 13073 16 0 209701 0
vsize: 838868
[startup+350.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 34103 44 0 0 25 0 11 0 486838880 859000832 21995 4294967295 134512640 134569956 3221224400 3221214760 1131231137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21995 13073 16 0 209701 0
vsize: 838868
[startup+360.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 35091 44 0 0 25 0 11 0 486838880 859000832 21996 4294967295 134512640 134569956 3221224400 3221214760 1131231137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 21996 13073 16 0 209701 0
vsize: 838868
[startup+370.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 36081 44 0 0 25 0 11 0 486838880 859000832 22042 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22042 13073 16 0 209701 0
vsize: 838868
[startup+380.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 37073 44 0 0 25 0 11 0 486838880 859000832 22052 4294967295 134512640 134569956 3221224400 3221214760 1131231238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22052 13073 16 0 209701 0
vsize: 838868
[startup+390.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 38067 44 0 0 25 0 11 0 486838880 859000832 22074 4294967295 134512640 134569956 3221224400 3221214760 1131231225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22074 13073 16 0 209701 0
vsize: 838868
[startup+400.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 39058 44 0 0 25 0 11 0 486838880 859000832 22094 4294967295 134512640 134569956 3221224400 3221214760 1131231362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22094 13073 16 0 209701 0
vsize: 838868
[startup+410.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 40049 44 0 0 25 0 11 0 486838880 859000832 22106 4294967295 134512640 134569956 3221224400 3221214760 1131231076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22106 13073 16 0 209701 0
vsize: 838868
[startup+420.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 41039 44 0 0 25 0 11 0 486838880 859000832 22115 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22115 13073 16 0 209701 0
vsize: 838868
[startup+430.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 42032 44 0 0 25 0 11 0 486838880 859000832 22141 4294967295 134512640 134569956 3221224400 3221214760 1131230621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22141 13073 16 0 209701 0
vsize: 838868
[startup+440.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 43021 44 0 0 25 0 11 0 486838880 859000832 22151 4294967295 134512640 134569956 3221224400 3221214656 1131370947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22151 13073 16 0 209701 0
vsize: 838868
[startup+450.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 44009 45 0 0 25 0 11 0 486838880 859000832 22163 4294967295 134512640 134569956 3221224400 3221214856 1131279491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22163 13073 16 0 209701 0
vsize: 838868
[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 44993 45 0 0 25 0 11 0 486838880 859000832 22172 4294967295 134512640 134569956 3221224400 3221214760 1131231681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22172 13073 16 0 209701 0
vsize: 838868
[startup+470.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 45981 45 0 0 25 0 11 0 486838880 859000832 22254 4294967295 134512640 134569956 3221224400 3221214856 1131279158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22254 13073 16 0 209701 0
vsize: 838868
[startup+480.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 46971 45 0 0 25 0 11 0 486838880 859000832 22301 4294967295 134512640 134569956 3221224400 3221214760 1131230565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22301 13073 16 0 209701 0
vsize: 838868
[startup+490.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 47964 45 0 0 25 0 11 0 486838880 859000832 22319 4294967295 134512640 134569956 3221224400 3221214808 1131176921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22319 13073 16 0 209701 0
vsize: 838868
[startup+500.065 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 48957 46 0 0 25 0 11 0 486838880 859000832 22329 4294967295 134512640 134569956 3221224400 3221214808 1131176913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22329 13073 16 0 209701 0
vsize: 838868
[startup+510.066 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 49949 46 0 0 25 0 11 0 486838880 859000832 22339 4294967295 134512640 134569956 3221224400 3221214856 1131280029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22339 13073 16 0 209701 0
vsize: 838868
[startup+520.066 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 50940 46 0 0 25 0 11 0 486838880 859000832 22347 4294967295 134512640 134569956 3221224400 3221214760 1131231137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22347 13073 16 0 209701 0
vsize: 838868
[startup+530.067 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 51932 46 0 0 25 0 11 0 486838880 859000832 22358 4294967295 134512640 134569956 3221224400 3221214760 1131230942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22358 13073 16 0 209701 0
vsize: 838868
[startup+540.068 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 52923 47 0 0 25 0 11 0 486838880 859000832 22376 4294967295 134512640 134569956 3221224400 3221214808 1131176939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22376 13073 16 0 209701 0
vsize: 838868
[startup+550.068 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 53914 47 0 0 25 0 11 0 486838880 859000832 22388 4294967295 134512640 134569956 3221224400 3221214760 1131231161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22388 13073 16 0 209701 0
vsize: 838868
[startup+560.068 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 54901 47 0 0 25 0 11 0 486838880 859000832 22412 4294967295 134512640 134569956 3221224400 3221214760 1131231584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22412 13073 16 0 209701 0
vsize: 838868
[startup+570.069 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 55889 47 0 0 25 0 11 0 486838880 859000832 22443 4294967295 134512640 134569956 3221224400 3221214760 1131231217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22443 13073 16 0 209701 0
vsize: 838868
[startup+580.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 56877 48 0 0 25 0 11 0 486838880 859000832 22482 4294967295 134512640 134569956 3221224400 3221214760 1131230561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22482 13073 16 0 209701 0
vsize: 838868
[startup+590.071 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 57869 48 0 0 25 0 11 0 486838880 859000832 22496 4294967295 134512640 134569956 3221224400 3221214760 1131231522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22496 13073 16 0 209701 0
vsize: 838868
[startup+600.072 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 58863 48 0 0 25 0 11 0 486838880 859000832 22507 4294967295 134512640 134569956 3221224400 3221214808 1131176913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22507 13073 16 0 209701 0
vsize: 838868
[startup+610.071 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 59853 48 0 0 25 0 11 0 486838880 859000832 22519 4294967295 134512640 134569956 3221224400 3221214760 1131230940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22519 13073 16 0 209701 0
vsize: 838868
[startup+620.072 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 60844 48 0 0 25 0 11 0 486838880 859000832 22524 4294967295 134512640 134569956 3221224400 3221214760 1131230940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22524 13073 16 0 209701 0
vsize: 838868
[startup+630.072 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 61833 49 0 0 25 0 11 0 486838880 859000832 22544 4294967295 134512640 134569956 3221224400 3221214856 1131279173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22544 13073 16 0 209701 0
vsize: 838868
[startup+640.074 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 62827 49 0 0 25 0 11 0 486838880 859000832 22551 4294967295 134512640 134569956 3221224400 3221214760 1131231596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22551 13073 16 0 209701 0
vsize: 838868
[startup+650.074 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 63819 50 0 0 25 0 11 0 486838880 859000832 22556 4294967295 134512640 134569956 3221224400 3221214920 1131460970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22556 13073 16 0 209701 0
vsize: 838868
[startup+660.074 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 64813 50 0 0 25 0 11 0 486838880 859000832 22566 4294967295 134512640 134569956 3221224400 3221214760 1131231034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22566 13073 16 0 209701 0
vsize: 838868
[startup+670.074 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 65803 50 0 0 25 0 11 0 486838880 859000832 22586 4294967295 134512640 134569956 3221224400 3221214856 1131279756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22586 13073 16 0 209701 0
vsize: 838868
[startup+680.074 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 66791 51 0 0 25 0 11 0 486838880 859000832 22607 4294967295 134512640 134569956 3221224400 3221214808 1131176896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22607 13073 16 0 209701 0
vsize: 838868
[startup+690.075 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 67781 51 0 0 25 0 11 0 486838880 859000832 22624 4294967295 134512640 134569956 3221224400 3221214760 1131231137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22624 13073 16 0 209701 0
vsize: 838868
[startup+700.076 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 68774 51 0 0 25 0 11 0 486838880 859000832 22643 4294967295 134512640 134569956 3221224400 3221214760 1131231540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22643 13073 16 0 209701 0
vsize: 838868
[startup+710.076 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 69765 52 0 0 25 0 11 0 486838880 859000832 22658 4294967295 134512640 134569956 3221224400 3221214808 1131176896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22658 13073 16 0 209701 0
vsize: 838868
[startup+720.077 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 70757 52 0 0 25 0 11 0 486838880 859000832 22680 4294967295 134512640 134569956 3221224400 3221214760 1131230728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22680 13073 16 0 209701 0
vsize: 838868
[startup+730.077 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 71750 52 0 0 25 0 11 0 486838880 859000832 22690 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22690 13073 16 0 209701 0
vsize: 838868
[startup+740.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 72743 52 0 0 25 0 11 0 486838880 859000832 22699 4294967295 134512640 134569956 3221224400 3221214760 1131231520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22699 13073 16 0 209701 0
vsize: 838868
[startup+750.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 73736 53 0 0 25 0 11 0 486838880 859000832 22712 4294967295 134512640 134569956 3221224400 3221214760 1131230561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22712 13073 16 0 209701 0
vsize: 838868
[startup+760.078 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 74727 53 0 0 25 0 11 0 486838880 859000832 22724 4294967295 134512640 134569956 3221224400 3221214760 1131231485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22724 13073 16 0 209701 0
vsize: 838868
[startup+770.079 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 75717 53 0 0 25 0 11 0 486838880 859000832 22737 4294967295 134512640 134569956 3221224400 3221214760 1131230561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22737 13073 16 0 209701 0
vsize: 838868
[startup+780.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 76704 53 0 0 25 0 11 0 486838880 859000832 22765 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22765 13073 16 0 209701 0
vsize: 838868
[startup+790.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 77691 53 0 0 25 0 11 0 486838880 859000832 22790 4294967295 134512640 134569956 3221224400 3221214760 1131231137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22790 13073 16 0 209701 0
vsize: 838868
[startup+800.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 78679 53 0 0 25 0 11 0 486838880 859000832 22838 4294967295 134512640 134569956 3221224400 3221214808 1131176913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22838 13073 16 0 209701 0
vsize: 838868
[startup+810.081 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 79667 53 0 0 25 0 11 0 486838880 859000832 22880 4294967295 134512640 134569956 3221224400 3221214760 1131230882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22880 13073 16 0 209701 0
vsize: 838868
[startup+820.081 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 80656 53 0 0 24 0 11 0 486838880 859000832 22903 4294967295 134512640 134569956 3221224400 3221214760 1131231563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 22903 13073 16 0 209701 0
vsize: 838868
[startup+830.082 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 81641 54 0 0 25 0 11 0 486838880 859000832 22936 4294967295 134512640 134569956 3221224400 3221214760 1131230936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209717 22936 13073 16 0 209701 0
vsize: 838868
[startup+840.082 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 82626 54 0 0 25 0 11 0 486838880 859000832 23002 4294967295 134512640 134569956 3221224400 3221214760 1131230900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23002 13073 16 0 209701 0
vsize: 838868
[startup+850.083 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 83615 54 0 0 25 0 11 0 486838880 859000832 23049 4294967295 134512640 134569956 3221224400 3221214760 1131231070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23049 13073 16 0 209701 0
vsize: 838868
[startup+860.083 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 84608 54 0 0 25 0 11 0 486838880 859000832 23088 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23088 13073 16 0 209701 0
vsize: 838868
[startup+870.084 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 85599 54 0 0 25 0 11 0 486838880 859000832 23097 4294967295 134512640 134569956 3221224400 3221214760 1131231657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23097 13073 16 0 209701 0
vsize: 838868
[startup+880.084 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 86591 54 0 0 25 0 11 0 486838880 859000832 23106 4294967295 134512640 134569956 3221224400 3221214760 1131231165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23106 13073 16 0 209701 0
vsize: 838868
[startup+890.085 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 87581 54 0 0 25 0 11 0 486838880 859000832 23129 4294967295 134512640 134569956 3221224400 3221214092 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23129 13073 16 0 209701 0
vsize: 838868
[startup+900.086 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 88573 54 0 0 25 0 11 0 486838880 859000832 23153 4294967295 134512640 134569956 3221224400 3221214472 1131216869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23153 13073 16 0 209701 0
vsize: 838868
[startup+910.086 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 89562 54 0 0 25 0 11 0 486838880 859000832 23173 4294967295 134512640 134569956 3221224400 3221214856 1131279491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23173 13073 16 0 209701 0
vsize: 838868
[startup+920.087 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 90550 54 0 0 25 0 11 0 486838880 859000832 23198 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23198 13073 16 0 209701 0
vsize: 838868
[startup+930.087 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 91537 55 0 0 24 0 11 0 486838880 859000832 23235 4294967295 134512640 134569956 3221224400 3221214808 1131176913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23235 13073 16 0 209701 0
vsize: 838868
[startup+940.087 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 92525 55 0 0 25 0 11 0 486838880 859000832 23284 4294967295 134512640 134569956 3221224400 3221214856 1131280072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23284 13073 16 0 209701 0
vsize: 838868
[startup+950.089 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 93512 55 0 0 25 0 11 0 486838880 859000832 23314 4294967295 134512640 134569956 3221224400 3221214852 1131176876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23314 13073 16 0 209701 0
vsize: 838868
[startup+960.089 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 94496 55 0 0 25 0 11 0 486838880 859000832 23351 4294967295 134512640 134569956 3221224400 3221214760 1131230652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23351 13073 16 0 209701 0
vsize: 838868
[startup+970.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 95483 55 0 0 25 0 11 0 486838880 859000832 23405 4294967295 134512640 134569956 3221224400 3221214576 1131509916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23405 13073 16 0 209701 0
vsize: 838868
[startup+980.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 96469 55 0 0 25 0 11 0 486838880 859000832 23441 4294967295 134512640 134569956 3221224400 3221214656 1131371978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23441 13073 16 0 209701 0
vsize: 838868
[startup+990.091 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 97456 55 0 0 25 0 11 0 486838880 859000832 23482 4294967295 134512640 134569956 3221224400 3221214760 1131231601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23482 13073 16 0 209701 0
vsize: 838868
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 98440 55 0 0 25 0 11 0 486838880 859000832 23513 4294967295 134512640 134569956 3221224400 3221214760 1131231282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23513 13073 16 0 209701 0
vsize: 838868
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 99426 55 0 0 25 0 11 0 486838880 859000832 23563 4294967295 134512640 134569956 3221224400 3221214832 1131344974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23563 13073 16 0 209701 0
vsize: 838868
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 100414 56 0 0 25 0 11 0 486838880 859000832 23615 4294967295 134512640 134569956 3221224400 3221214856 1131278985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23615 13073 16 0 209701 0
vsize: 838868
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 101404 56 0 0 25 0 11 0 486838880 859000832 23638 4294967295 134512640 134569956 3221224400 3221214760 1131230561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23638 13073 16 0 209701 0
vsize: 838868
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 102391 56 0 0 25 0 11 0 486838880 859000832 23661 4294967295 134512640 134569956 3221224400 3221214760 1131231475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23661 13073 16 0 209701 0
vsize: 838868
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 103380 56 0 0 25 0 11 0 486838880 859000832 23692 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23692 13073 16 0 209701 0
vsize: 838868
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 104368 56 0 0 25 0 11 0 486838880 859000832 23733 4294967295 134512640 134569956 3221224400 3221214808 1131176913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23733 13073 16 0 209701 0
vsize: 838868
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 105356 56 0 0 25 0 11 0 486838880 859000832 23770 4294967295 134512640 134569956 3221224400 3221214576 1131509804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23770 13073 16 0 209701 0
vsize: 838868
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 106344 56 0 0 25 0 11 0 486838880 859000832 23798 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23798 13073 16 0 209701 0
vsize: 838868
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) S 8156 29151 29150 0 -1 0 18082 3 1 0 107332 56 0 0 25 0 11 0 486838880 859000832 23827 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23827 13073 16 0 209701 0
vsize: 838868
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 108316 56 0 0 25 0 11 0 486838880 859000832 23848 4294967295 134512640 134569956 3221224400 3221214656 1131373354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23848 13073 16 0 209701 0
vsize: 838868
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 109300 56 0 0 25 0 11 0 486838880 859000832 23887 4294967295 134512640 134569956 3221224400 3221214760 1131230621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23887 13073 16 0 209701 0
vsize: 838868
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 110285 56 0 0 25 0 11 0 486838880 859000832 23964 4294967295 134512640 134569956 3221224400 3221214472 1131216460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 23964 13073 16 0 209701 0
vsize: 838868
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 111272 56 0 0 25 0 11 0 486838880 859000832 24007 4294967295 134512640 134569956 3221224400 3221214760 1131231115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24007 13073 16 0 209701 0
vsize: 838868
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 112260 56 0 0 25 0 11 0 486838880 859000832 24041 4294967295 134512640 134569956 3221224400 3221214760 1131230985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24041 13073 16 0 209701 0
vsize: 838868
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 113247 57 0 0 25 0 11 0 486838880 859000832 24096 4294967295 134512640 134569956 3221224400 3221214760 1131231503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24096 13073 16 0 209701 0
vsize: 838868
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 114235 57 0 0 25 0 11 0 486838880 859000832 24126 4294967295 134512640 134569956 3221224400 3221214472 1131231560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24126 13073 16 0 209701 0
vsize: 838868
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 115222 57 0 0 25 0 11 0 486838880 859000832 24150 4294967295 134512640 134569956 3221224400 3221214576 1131509807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24150 13073 16 0 209701 0
vsize: 838868
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 116208 57 0 0 25 0 11 0 486838880 859000832 24173 4294967295 134512640 134569956 3221224400 3221214760 1131231563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24173 13073 16 0 209701 0
vsize: 838868
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 117190 57 0 0 24 0 11 0 486838880 859000832 24199 4294967295 134512640 134569956 3221224400 3221214760 1131230565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24199 13073 16 0 209701 0
vsize: 838868
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 118175 57 0 0 25 0 11 0 486838880 859000832 24258 4294967295 134512640 134569956 3221224400 3221214464 1131296814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24258 13073 16 0 209701 0
vsize: 838868
[startup+1210.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 119161 57 0 0 25 0 11 0 486838880 859000832 24317 4294967295 134512640 134569956 3221224400 3221214808 1131176893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24317 13073 16 0 209701 0
vsize: 838868
[startup+1220.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 8172
Raw data (stat): 8157 (java) R 8156 29151 29150 0 -1 0 18082 3 1 0 120147 57 0 0 25 0 11 0 486838880 859000832 24346 4294967295 134512640 134569956 3221224400 3221214760 1131230597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209717 24346 13073 16 0 209701 0
vsize: 838868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.21 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 8174
Raw data (stat): 8157 (java) Z 8156 29151 29150 0 -1 1036 18082 8728 1 0 120152 57 2125 32 25 0 1 0 486838880 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.21
CPU time (s): 1223.69
CPU user time (s): 1222.78
CPU system time (s): 0.904862
CPU usage (%): 100.285
Max. virtual memory (Kb): 840808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####