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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	766b2fe57cb2084b069363491485612e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	97
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16000000
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	241094849
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	2754
Total number of constraints	444
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	444
Minimum length of a constraint	11
Maximum length of a constraint	84
Trace number 21319

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        606056 kB
Buffers:         31652 kB
Cached:         371484 kB
SwapCached:        104 kB
Active:         108260 kB
Inactive:       297316 kB
HighTotal:      131008 kB
HighFree:          532 kB
LowTotal:       903652 kB
LowFree:        605524 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            17372 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 23:43:44 (client local time) WITH STATUS 143 IN 1236.66 SECONDS
stats: 13958 7 1236.66 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-vpm2.opb
c reading problem 
c [nbvar=2754]
c [nbconstr=444]
c time 5.705
c #vars     2754
c #clauses  486
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
#### 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.95 0.92 2/54 2422
Raw data (stat): 2422 (runsolver) R 2421 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549013969 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.0004 s]
Raw data (loadavg): 1.03 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18074 0 1 0 670 36 0 0 25 0 11 0 549013969 860667904 20797 4294967295 134512640 134569956 3221224400 3221214600 1131456359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210124 20797 13073 16 0 210108 0
vsize: 840496
[startup+20.0008 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18074 0 1 0 1589 36 0 0 25 0 11 0 549013969 861757440 21674 4294967295 134512640 134569956 3221224400 3221214892 1131244652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 21674 13073 16 0 210374 0
vsize: 841560
[startup+30.0019 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18074 0 1 0 2527 37 0 0 25 0 11 0 549013969 861757440 22093 4294967295 134512640 134569956 3221224400 3221214800 1131245111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 22093 13073 16 0 210374 0
vsize: 841560
[startup+40.0016 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18074 0 1 0 3454 37 0 0 25 0 11 0 549013969 861757440 22297 4294967295 134512640 134569956 3221224400 3221214800 1131244673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 22297 13073 16 0 210374 0
vsize: 841560
[startup+50.0019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18074 0 1 0 4382 38 0 0 25 0 11 0 549013969 861757440 22354 4294967295 134512640 134569956 3221224400 3221214736 1131418077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 22354 13073 16 0 210374 0
vsize: 841560
[startup+60.0019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18074 0 1 0 5345 38 0 0 25 0 11 0 549013969 861757440 22738 4294967295 134512640 134569956 3221224400 3221214840 1131168273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 22738 13073 16 0 210374 0
vsize: 841560
[startup+70.0026 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18074 0 1 0 6292 38 0 0 25 0 11 0 549013969 861757440 22993 4294967295 134512640 134569956 3221224400 3221214592 1131480209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 22993 13073 16 0 210374 0
vsize: 841560
[startup+80.0028 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18074 0 1 0 7242 39 0 0 25 0 11 0 549013969 861757440 23123 4294967295 134512640 134569956 3221224400 3221214696 1131601289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 23123 13073 16 0 210374 0
vsize: 841560
[startup+90.0033 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 8182 39 0 0 25 0 11 0 549013969 861757440 23240 4294967295 134512640 134569956 3221224400 3221214696 1131601160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 23240 13073 16 0 210374 0
vsize: 841560
[startup+100.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 9128 39 0 0 25 0 11 0 549013969 861757440 23444 4294967295 134512640 134569956 3221224400 3221214892 1131498531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 23444 13073 16 0 210374 0
vsize: 841560
[startup+110.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 10075 39 0 0 25 0 11 0 549013969 861757440 23708 4294967295 134512640 134569956 3221224400 3221214800 1131245235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 23708 13073 16 0 210374 0
vsize: 841560
[startup+120.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) S 2421 10614 10613 0 -1 0 18075 0 1 0 11033 39 0 0 25 0 11 0 549013969 861757440 23827 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 23827 13073 16 0 210374 0
vsize: 841560
[startup+130.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 11992 40 0 0 25 0 11 0 549013969 861757440 24016 4294967295 134512640 134569956 3221224400 3221214800 1131245699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 24016 13073 16 0 210374 0
vsize: 841560
[startup+140.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 12954 40 0 0 25 0 11 0 549013969 861757440 24198 4294967295 134512640 134569956 3221224400 3221214160 1131621826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 24198 13073 16 0 210374 0
vsize: 841560
[startup+150.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 13920 40 0 0 25 0 11 0 549013969 861757440 24312 4294967295 134512640 134569956 3221224400 3221214800 1131245111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 24312 13073 16 0 210374 0
vsize: 841560
[startup+160.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 14883 40 0 0 25 0 11 0 549013969 861757440 24411 4294967295 134512640 134569956 3221224400 3221214696 1131601164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 24411 13073 16 0 210374 0
vsize: 841560
[startup+170.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 15844 41 0 0 25 0 11 0 549013969 861757440 24536 4294967295 134512640 134569956 3221224400 3221214800 1131245063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 24536 13073 16 0 210374 0
vsize: 841560
[startup+180.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 16809 41 0 0 25 0 11 0 549013969 861757440 24717 4294967295 134512640 134569956 3221224400 3221214848 1131440751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 24717 13073 16 0 210374 0
vsize: 841560
[startup+190.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 17766 41 0 0 24 0 11 0 549013969 861757440 24854 4294967295 134512640 134569956 3221224400 3221214800 1131245111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 24854 13073 16 0 210374 0
vsize: 841560
[startup+200.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 18726 41 0 0 25 0 11 0 549013969 861757440 24986 4294967295 134512640 134569956 3221224400 3221214760 1131431780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 24986 13073 16 0 210374 0
vsize: 841560
[startup+210.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 19679 41 0 0 25 0 11 0 549013969 861757440 25156 4294967295 134512640 134569956 3221224400 3221214800 1131245080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25156 13073 16 0 210374 0
vsize: 841560
[startup+220.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 20641 41 0 0 25 0 11 0 549013969 861757440 25319 4294967295 134512640 134569956 3221224400 3221214208 1131621969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25319 13073 16 0 210374 0
vsize: 841560
[startup+230.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 21622 42 0 0 25 0 11 0 549013969 861757440 25461 4294967295 134512640 134569956 3221224400 3221214428 1131621968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25461 13073 16 0 210374 0
vsize: 841560
[startup+240.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 22602 42 0 0 25 0 11 0 549013969 861757440 25544 4294967295 134512640 134569956 3221224400 3221214800 1131245217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25544 13073 16 0 210374 0
vsize: 841560
[startup+250.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 23572 42 0 0 25 0 11 0 549013969 861757440 25619 4294967295 134512640 134569956 3221224400 3221214896 1131332373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25619 13073 16 0 210374 0
vsize: 841560
[startup+260.011 s]
Raw data (loadavg): 1.08 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 24542 42 0 0 25 0 11 0 549013969 861757440 25734 4294967295 134512640 134569956 3221224400 3221214696 1131601307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25734 13073 16 0 210374 0
vsize: 841560
[startup+270.013 s]
Raw data (loadavg): 1.07 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 25509 43 0 0 25 0 11 0 549013969 861757440 25773 4294967295 134512640 134569956 3221224400 3221214800 1131245111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25773 13073 16 0 210374 0
vsize: 841560
[startup+280.013 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 26473 43 0 0 25 0 11 0 549013969 861757440 25845 4294967295 134512640 134569956 3221224400 3221214040 1131626172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25845 13073 16 0 210374 0
vsize: 841560
[startup+290.012 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 27449 43 0 0 25 0 11 0 549013969 861757440 25888 4294967295 134512640 134569956 3221224400 3221214680 1131372345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25888 13073 16 0 210374 0
vsize: 841560
[startup+300.013 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 28416 43 0 0 25 0 11 0 549013969 861757440 25979 4294967295 134512640 134569956 3221224400 3221214608 1131461615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 25979 13073 16 0 210374 0
vsize: 841560
[startup+310.014 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 29375 44 0 0 25 0 11 0 549013969 861757440 26137 4294967295 134512640 134569956 3221224400 3221214800 1131245733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 26137 13073 16 0 210374 0
vsize: 841560
[startup+320.014 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 30337 44 0 0 25 0 11 0 549013969 861757440 26273 4294967295 134512640 134569956 3221224400 3221214800 1131245625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 26273 13073 16 0 210374 0
vsize: 841560
[startup+330.015 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) S 2421 10614 10613 0 -1 0 18075 0 1 0 31300 45 0 0 25 0 11 0 549013969 861757440 26362 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 26362 13073 16 0 210374 0
vsize: 841560
[startup+340.015 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 32261 45 0 0 25 0 11 0 549013969 861757440 26485 4294967295 134512640 134569956 3221224400 3221214372 1131621963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 26485 13073 16 0 210374 0
vsize: 841560
[startup+350.015 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 33225 45 0 0 25 0 11 0 549013969 861757440 26675 4294967295 134512640 134569956 3221224400 3221214560 1131454010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 26675 13073 16 0 210374 0
vsize: 841560
[startup+360.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 34190 45 0 0 25 0 11 0 549013969 861757440 26838 4294967295 134512640 134569956 3221224400 3221214592 1131625962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 26838 13073 16 0 210374 0
vsize: 841560
[startup+370.016 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 35158 46 0 0 25 0 11 0 549013969 861757440 26940 4294967295 134512640 134569956 3221224400 3221214696 1131601307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 26940 13073 16 0 210374 0
vsize: 841560
[startup+380.016 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 36126 46 0 0 25 0 11 0 549013969 861757440 27064 4294967295 134512640 134569956 3221224400 3221213984 1131625962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27064 13073 16 0 210374 0
vsize: 841560
[startup+390.017 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 37097 46 0 0 25 0 11 0 549013969 861757440 27185 4294967295 134512640 134569956 3221224400 3221214592 1131321567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27185 13073 16 0 210374 0
vsize: 841560
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 38075 47 0 0 25 0 11 0 549013969 861757440 27254 4294967295 134512640 134569956 3221224400 3221214800 1131245111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27254 13073 16 0 210374 0
vsize: 841560
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 39053 47 0 0 25 0 11 0 549013969 861757440 27312 4294967295 134512640 134569956 3221224400 3221214632 1131372962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 27312 13073 16 0 210374 0
vsize: 841560
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 40025 47 0 0 25 0 11 0 549013969 861757440 27379 4294967295 134512640 134569956 3221224400 3221214896 1131332549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 27379 13073 16 0 210374 0
vsize: 841560
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 41002 47 0 0 25 0 11 0 549013969 861757440 27436 4294967295 134512640 134569956 3221224400 3221214840 1131168256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27436 13073 16 0 210374 0
vsize: 841560
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 41978 47 0 0 25 0 11 0 549013969 861757440 27520 4294967295 134512640 134569956 3221224400 3221214584 1131521303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27520 13073 16 0 210374 0
vsize: 841560
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 42954 47 0 0 25 0 11 0 549013969 861757440 27605 4294967295 134512640 134569956 3221224400 3221214584 1131625557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27605 13073 16 0 210374 0
vsize: 841560
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 43936 48 0 0 25 0 11 0 549013969 861757440 27653 4294967295 134512640 134569956 3221224400 3221214424 1131626102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27653 13073 16 0 210374 0
vsize: 841560
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 44910 48 0 0 25 0 11 0 549013969 861757440 27756 4294967295 134512640 134569956 3221224400 3221214648 1131626025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27756 13073 16 0 210374 0
vsize: 841560
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 45887 48 0 0 25 0 11 0 549013969 861757440 27880 4294967295 134512640 134569956 3221224400 3221213968 1131623623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27880 13073 16 0 210374 0
vsize: 841560
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 46865 48 0 0 25 0 11 0 549013969 861757440 27936 4294967295 134512640 134569956 3221224400 3221214600 1131621908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27936 13073 16 0 210374 0
vsize: 841560
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 47842 48 0 0 25 0 11 0 549013969 861757440 28011 4294967295 134512640 134569956 3221224400 3221214424 1131626102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 28011 13073 16 0 210374 0
vsize: 841560
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 48814 49 0 0 25 0 11 0 549013969 861757440 28103 4294967295 134512640 134569956 3221224400 3221214264 1131621873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28103 13073 16 0 210374 0
vsize: 841560
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 49792 49 0 0 25 0 11 0 549013969 861757440 28176 4294967295 134512640 134569956 3221224400 3221214232 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28176 13073 16 0 210374 0
vsize: 841560
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 50769 50 0 0 25 0 11 0 549013969 861757440 28255 4294967295 134512640 134569956 3221224400 3221214800 1131245157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28255 13073 16 0 210374 0
vsize: 841560
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 51748 50 0 0 25 0 11 0 549013969 861757440 28349 4294967295 134512640 134569956 3221224400 3221214800 1131244857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28349 13073 16 0 210374 0
vsize: 841560
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 52728 51 0 0 25 0 11 0 549013969 861757440 28435 4294967295 134512640 134569956 3221224400 3221214156 1131621968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28435 13073 16 0 210374 0
vsize: 841560
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 53708 51 0 0 25 0 11 0 549013969 861757440 28498 4294967295 134512640 134569956 3221224400 3221214808 1131383379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 28498 13073 16 0 210374 0
vsize: 841560
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 54689 51 0 0 25 0 11 0 549013969 861757440 28572 4294967295 134512640 134569956 3221224400 3221213760 1131626112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28572 13073 16 0 210374 0
vsize: 841560
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 55669 51 0 0 25 0 11 0 549013969 861757440 28631 4294967295 134512640 134569956 3221224400 3221214888 1131550442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28631 13073 16 0 210374 0
vsize: 841560
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 56649 51 0 0 25 0 11 0 549013969 861757440 28698 4294967295 134512640 134569956 3221224400 3221214696 1131601299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 28698 13073 16 0 210374 0
vsize: 841560
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 57627 52 0 0 25 0 11 0 549013969 861757440 28783 4294967295 134512640 134569956 3221224400 3221214800 1131245637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28783 13073 16 0 210374 0
vsize: 841560
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 58593 52 0 0 25 0 11 0 549013969 861757440 28890 4294967295 134512640 134569956 3221224400 3221214312 1131626112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 28890 13073 16 0 210374 0
vsize: 841560
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 59587 52 0 0 25 0 11 0 549013969 861757440 28901 4294967295 134512640 134569956 3221224400 3221214200 1131625945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 28901 13073 16 0 210374 0
vsize: 841560
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 60570 52 0 0 25 0 11 0 549013969 861757440 28945 4294967295 134512640 134569956 3221224400 3221213888 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 28945 13073 16 0 210374 0
vsize: 841560
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 61558 52 0 0 25 0 11 0 549013969 861757440 28989 4294967295 134512640 134569956 3221224400 3221214040 1131621908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 28989 13073 16 0 210374 0
vsize: 841560
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 62547 52 0 0 25 0 11 0 549013969 861757440 29021 4294967295 134512640 134569956 3221224400 3221214156 1131621912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29021 13073 16 0 210374 0
vsize: 841560
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 63512 52 0 0 25 0 11 0 549013969 861757440 29132 4294967295 134512640 134569956 3221224400 3221214896 1131332778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29132 13073 16 0 210374 0
vsize: 841560
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 64501 52 0 0 25 0 11 0 549013969 861757440 29159 4294967295 134512640 134569956 3221224400 3221214424 1131626151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29159 13073 16 0 210374 0
vsize: 841560
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 65489 52 0 0 25 0 11 0 549013969 861757440 29196 4294967295 134512640 134569956 3221224400 3221214536 1131626025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29196 13073 16 0 210374 0
vsize: 841560
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 66474 52 0 0 25 0 11 0 549013969 861757440 29228 4294967295 134512640 134569956 3221224400 3221214296 1131629071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29228 13073 16 0 210374 0
vsize: 841560
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 67457 52 0 0 25 0 11 0 549013969 861757440 29254 4294967295 134512640 134569956 3221224400 3221214028 1131626148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29254 13073 16 0 210374 0
vsize: 841560
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 68447 52 0 0 25 0 11 0 549013969 861757440 29280 4294967295 134512640 134569956 3221224400 3221213856 1131623625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29280 13073 16 0 210374 0
vsize: 841560
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 69426 52 0 0 25 0 11 0 549013969 861757440 29422 4294967295 134512640 134569956 3221224400 3221214312 1131626172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29422 13073 16 0 210374 0
vsize: 841560
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 70405 52 0 0 25 0 11 0 549013969 861757440 29573 4294967295 134512640 134569956 3221224400 3221213896 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29573 13073 16 0 210374 0
vsize: 841560
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 71383 52 0 0 25 0 11 0 549013969 861757440 29703 4294967295 134512640 134569956 3221224400 3221214696 1131601171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29703 13073 16 0 210374 0
vsize: 841560
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 72362 52 0 0 25 0 11 0 549013969 861757440 29858 4294967295 134512640 134569956 3221224400 3221214036 1131625568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29858 13073 16 0 210374 0
vsize: 841560
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 73352 52 0 0 25 0 11 0 549013969 861757440 29924 4294967295 134512640 134569956 3221224400 3221214256 1131626096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 29924 13073 16 0 210374 0
vsize: 841560
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 74331 52 0 0 25 0 11 0 549013969 861757440 30055 4294967295 134512640 134569956 3221224400 3221213928 1131621944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 30055 13073 16 0 210374 0
vsize: 841560
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 75310 52 0 0 25 0 11 0 549013969 861757440 30186 4294967295 134512640 134569956 3221224400 3221213708 1131621968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 30186 13073 16 0 210374 0
vsize: 841560
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 76300 52 0 0 25 0 11 0 549013969 861757440 30255 4294967295 134512640 134569956 3221224400 3221214400 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 30255 13073 16 0 210374 0
vsize: 841560
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 77278 52 0 0 25 0 11 0 549013969 861757440 30390 4294967295 134512640 134569956 3221224400 3221214812 1130914851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 30390 13073 16 0 210374 0
vsize: 841560
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 78257 52 0 0 25 0 11 0 549013969 861757440 30601 4294967295 134512640 134569956 3221224400 3221214440 1078033287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 30601 13073 16 0 210374 0
vsize: 841560
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 79247 52 0 0 25 0 11 0 549013969 861757440 30668 4294967295 134512640 134569956 3221224400 3221214696 1131601168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 30668 13073 16 0 210374 0
vsize: 841560
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 80227 52 0 0 25 0 11 0 549013969 861757440 30811 4294967295 134512640 134569956 3221224400 3221214592 1131321217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 30811 13073 16 0 210374 0
vsize: 841560
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 81207 52 0 0 25 0 11 0 549013969 861757440 30962 4294967295 134512640 134569956 3221224400 3221214648 1131626159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 30962 13073 16 0 210374 0
vsize: 841560
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 82197 52 0 0 25 0 11 0 549013969 861757440 30962 4294967295 134512640 134569956 3221224400 3221214512 1131453924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 30962 13073 16 0 210374 0
vsize: 841560
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 83175 52 0 0 25 0 11 0 549013969 861757440 31175 4294967295 134512640 134569956 3221224400 3221214096 1131621861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 31175 13073 16 0 210374 0
vsize: 841560
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 84154 53 0 0 25 0 11 0 549013969 861757440 31311 4294967295 134512640 134569956 3221224400 3221213976 1131626126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 31311 13073 16 0 210374 0
vsize: 841560
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 85143 53 0 0 25 0 11 0 549013969 861757440 31379 4294967295 134512640 134569956 3221224400 3221214144 1131626091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 31379 13073 16 0 210374 0
vsize: 841560
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 86123 53 0 0 25 0 11 0 549013969 861757440 31517 4294967295 134512640 134569956 3221224400 3221214696 1131601171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 31517 13073 16 0 210374 0
vsize: 841560
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 87102 53 0 0 25 0 11 0 549013969 861757440 31662 4294967295 134512640 134569956 3221224400 3221214372 1131621904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 31662 13073 16 0 210374 0
vsize: 841560
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 88093 53 0 0 25 0 11 0 549013969 861757440 31662 4294967295 134512640 134569956 3221224400 3221214152 1131621847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 31662 13073 16 0 210374 0
vsize: 841560
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 89072 53 0 0 25 0 11 0 549013969 861757440 31794 4294967295 134512640 134569956 3221224400 3221214696 1131601299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 31794 13073 16 0 210374 0
vsize: 841560
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 90052 53 0 0 25 0 11 0 549013969 861757440 31936 4294967295 134512640 134569956 3221224400 3221214532 1131625536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 31936 13073 16 0 210374 0
vsize: 841560
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 91042 53 0 0 25 0 11 0 549013969 861757440 32019 4294967295 134512640 134569956 3221224400 3221214592 1131321247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 32019 13073 16 0 210374 0
vsize: 841560
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 92022 53 0 0 25 0 11 0 549013969 861757440 32085 4294967295 134512640 134569956 3221224400 3221214152 1131621944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 32085 13073 16 0 210374 0
vsize: 841560
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 93011 53 0 0 25 0 11 0 549013969 861757440 32200 4294967295 134512640 134569956 3221224400 3221213936 1131621944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 32200 13073 16 0 210374 0
vsize: 841560
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 93990 53 0 0 25 0 11 0 549013969 861757440 32343 4294967295 134512640 134569956 3221224400 3221214264 1131621962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 32343 13073 16 0 210374 0
vsize: 841560
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 94980 53 0 0 25 0 11 0 549013969 861757440 32398 4294967295 134512640 134569956 3221224400 3221213960 1131629111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 32398 13073 16 0 210374 0
vsize: 841560
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 95960 53 0 0 25 0 11 0 549013969 861757440 32512 4294967295 134512640 134569956 3221224400 3221214528 1131625557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 32512 13073 16 0 210374 0
vsize: 841560
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 96950 53 0 0 25 0 11 0 549013969 861757440 32569 4294967295 134512640 134569956 3221224400 3221214656 1131601299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 32569 13073 16 0 210374 0
vsize: 841560
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 97939 53 0 0 25 0 11 0 549013969 861757440 32624 4294967295 134512640 134569956 3221224400 3221214056 1131621969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 32624 13073 16 0 210374 0
vsize: 841560
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 98862 53 0 0 25 0 11 0 549013969 861757440 33009 4294967295 134512640 134569956 3221224400 3221214800 1131245552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33009 13073 16 0 210374 0
vsize: 841560
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 99800 53 0 0 25 0 11 0 549013969 861757440 33074 4294967295 134512640 134569956 3221224400 3221214704 1131628867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33074 13073 16 0 210374 0
vsize: 841560
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 100790 53 0 0 25 0 11 0 549013969 861757440 33074 4294967295 134512640 134569956 3221224400 3221213880 1131626159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33074 13073 16 0 210374 0
vsize: 841560
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 101769 53 0 0 25 0 11 0 549013969 861757440 33144 4294967295 134512640 134569956 3221224400 3221214800 1131244886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33144 13073 16 0 210374 0
vsize: 841560
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 102716 53 0 0 25 0 11 0 549013969 861757440 33269 4294967295 134512640 134569956 3221224400 3221214800 1131245132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33269 13073 16 0 210374 0
vsize: 841560
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 103676 53 0 0 25 0 11 0 549013969 861757440 33331 4294967295 134512640 134569956 3221224400 3221214600 1131626184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33331 13073 16 0 210374 0
vsize: 841560
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 104637 53 0 0 25 0 11 0 549013969 861757440 33459 4294967295 134512640 134569956 3221224400 3221214784 1131386013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33459 13073 16 0 210374 0
vsize: 841560
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 105602 53 0 0 25 0 11 0 549013969 861757440 33690 4294967295 134512640 134569956 3221224400 3221213776 1131626159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33690 13073 16 0 210374 0
vsize: 841560
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 106566 53 0 0 24 0 11 0 549013969 861757440 33794 4294967295 134512640 134569956 3221224400 3221214312 1131629052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33794 13073 16 0 210374 0
vsize: 841560
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 107535 53 0 0 25 0 11 0 549013969 861757440 33861 4294967295 134512640 134569956 3221224400 3221213724 1131621904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 33861 13073 16 0 210374 0
vsize: 841560
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 108507 53 0 0 25 0 11 0 549013969 861757440 34004 4294967295 134512640 134569956 3221224400 3221213864 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34004 13073 16 0 210374 0
vsize: 841560
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 109478 53 0 0 25 0 11 0 549013969 861757440 34105 4294967295 134512640 134569956 3221224400 3221214912 1131634780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34105 13073 16 0 210374 0
vsize: 841560
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 110455 53 0 0 25 0 11 0 549013969 861757440 34192 4294967295 134512640 134569956 3221224400 3221213640 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34192 13073 16 0 210374 0
vsize: 841560
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) S 2421 10614 10613 0 -1 0 18075 0 1 0 111428 53 0 0 25 0 11 0 549013969 861757440 34259 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34259 13073 16 0 210374 0
vsize: 841560
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 112404 53 0 0 25 0 11 0 549013969 861757440 34362 4294967295 134512640 134569956 3221224400 3221214800 1131244709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34362 13073 16 0 210374 0
vsize: 841560
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 113381 53 0 0 25 0 11 0 549013969 861757440 34450 4294967295 134512640 134569956 3221224400 3221214568 1131321016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 34450 13073 16 0 210374 0
vsize: 841560
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 114352 53 0 0 25 0 11 0 549013969 861757440 34568 4294967295 134512640 134569956 3221224400 3221214224 1131622033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34568 13073 16 0 210374 0
vsize: 841560
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 115329 53 0 0 25 0 11 0 549013969 861757440 34692 4294967295 134512640 134569956 3221224400 3221214840 1131168256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34692 13073 16 0 210374 0
vsize: 841560
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 116300 53 0 0 24 0 11 0 549013969 861757440 34808 4294967295 134512640 134569956 3221224400 3221214800 1131244994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34808 13073 16 0 210374 0
vsize: 841560
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 117278 53 0 0 25 0 11 0 549013969 861757440 34894 4294967295 134512640 134569956 3221224400 3221214784 1131383780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34894 13073 16 0 210374 0
vsize: 841560
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 118257 53 0 0 25 0 11 0 549013969 861757440 34993 4294967295 134512640 134569956 3221224400 3221214052 1131625539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 34993 13073 16 0 210374 0
vsize: 841560
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 119230 53 0 0 25 0 11 0 549013969 861757440 35128 4294967295 134512640 134569956 3221224400 3221214896 1131332734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 35128 13073 16 0 210374 0
vsize: 841560
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2432
Raw data (stat): 2422 (java) R 2421 10614 10613 0 -1 0 18075 0 1 0 120209 53 0 0 25 0 11 0 549013969 861757440 35216 4294967295 134512640 134569956 3221224400 3221214672 1131601168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 35216 13073 16 0 210374 0
vsize: 841560
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 2434
Raw data (stat): 2422 (java) Z 2421 10614 10613 0 -1 1036 18075 14932 1 0 120211 53 3360 39 25 0 1 0 549013969 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): 1240.15
CPU time (s): 1236.66
CPU user time (s): 1235.73
CPU system time (s): 0.931858
CPU usage (%): 99.7187
Max. virtual memory (Kb): 841560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####