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/milp/normalized-mps-v2-13-7-bienst2.opb
MD5SUM	3c3e6264ad2029dcb2dc81be78ef5988
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	103.29
Number of variables	9183
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	592
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 17579

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-21 10:42:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19431 boxname=wulflinc24 idbench=1495 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3c3e6264ad2029dcb2dc81be78ef5988  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-bienst2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-bienst2.opb
IDLAUNCH: 19431
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        827696 kB
Buffers:         14196 kB
Cached:         168404 kB
SwapCached:        524 kB
Active:          43704 kB
Inactive:       140908 kB
HighTotal:      131008 kB
HighFree:        26852 kB
LowTotal:       903652 kB
LowFree:        800844 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            16604 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 11:03:11 (client local time) WITH STATUS 143 IN 1247.51 SECONDS
stats: 19431 7 1247.51 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-bienst2.opb
c reading problem 
c [nbvar=9183]
c [nbconstr=632]
c time 32.857
c #vars     9183
c #clauses  725
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.94 1.00 0.98 2/54 31541
Raw data (stat): 31541 (runsolver) R 31540 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544440781 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.0001 s]
Raw data (loadavg): 1.02 1.02 0.98 2/63 31550
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18002 0 1 0 741 43 0 0 25 0 10 0 544440781 861323264 21313 4294967295 134512640 134569956 3221224400 3221214672 1131226957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210284 21313 13073 16 0 210268 0
vsize: 841136
[startup+20.0012 s]
Raw data (loadavg): 1.02 1.02 0.98 2/63 31550
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18002 0 1 0 1625 44 0 0 25 0 10 0 544440781 860565504 22000 4294967295 134512640 134569956 3221224400 3221214440 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 22000 13073 16 0 210083 0
vsize: 840396
[startup+30.0025 s]
Raw data (loadavg): 1.01 1.02 0.98 2/63 31550
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18002 0 1 0 2500 44 0 0 25 0 10 0 544440781 860565504 22172 4294967295 134512640 134569956 3221224400 3221214388 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 22172 13073 16 0 210083 0
vsize: 840396
[startup+40.0021 s]
Raw data (loadavg): 1.09 1.03 0.99 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18031 0 1 0 3381 45 0 0 25 0 11 0 544440781 861192192 23048 4294967295 134512640 134569956 3221224400 3221214648 1131344531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210252 23048 13073 16 0 210236 0
vsize: 841008
[startup+50.0023 s]
Raw data (loadavg): 1.23 1.06 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18070 0 1 0 4238 46 0 0 25 0 11 0 544440781 862142464 23436 4294967295 134512640 134569956 3221224400 3221214848 1131398871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 23436 13073 16 0 210468 0
vsize: 841936
[startup+60.003 s]
Raw data (loadavg): 1.19 1.06 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18070 0 1 0 5167 46 0 0 25 0 11 0 544440781 862142464 23537 4294967295 134512640 134569956 3221224400 3221214848 1131398691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210484 23537 13073 16 0 210468 0
vsize: 841936
[startup+70.0032 s]
Raw data (loadavg): 1.16 1.06 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18071 0 1 0 6093 46 0 0 25 0 11 0 544440781 861093888 23360 4294967295 134512640 134569956 3221224400 3221214672 1131344531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 23360 13073 16 0 210212 0
vsize: 840912
[startup+80.0045 s]
Raw data (loadavg): 1.14 1.06 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18071 0 1 0 7048 46 0 0 25 0 11 0 544440781 861093888 24019 4294967295 134512640 134569956 3221224400 3221214672 1131344981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24019 13073 16 0 210212 0
vsize: 840912
[startup+90.0052 s]
Raw data (loadavg): 1.11 1.05 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18071 0 1 0 8033 47 0 0 25 0 11 0 544440781 861093888 24029 4294967295 134512640 134569956 3221224400 3221214776 1131370808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24029 13073 16 0 210212 0
vsize: 840912
[startup+100.004 s]
Raw data (loadavg): 1.10 1.05 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 9015 47 0 0 25 0 11 0 544440781 861093888 24043 4294967295 134512640 134569956 3221224400 3221214624 1131330816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24043 13073 16 0 210212 0
vsize: 840912
[startup+110.006 s]
Raw data (loadavg): 1.08 1.05 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 9991 47 0 0 25 0 11 0 544440781 861093888 24063 4294967295 134512640 134569956 3221224400 3221214672 1131344502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 24063 13073 16 0 210212 0
vsize: 840912
[startup+120.007 s]
Raw data (loadavg): 1.07 1.05 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 10976 47 0 0 25 0 11 0 544440781 861093888 24074 4294967295 134512640 134569956 3221224400 3221214672 1131344531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24074 13073 16 0 210212 0
vsize: 840912
[startup+130.006 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 11960 47 0 0 25 0 11 0 544440781 861093888 24097 4294967295 134512640 134569956 3221224400 3221214672 1131344066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24097 13073 16 0 210212 0
vsize: 840912
[startup+140.008 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 12939 47 0 0 25 0 11 0 544440781 861093888 24121 4294967295 134512640 134569956 3221224400 3221214576 1131569921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24121 13073 16 0 210212 0
vsize: 840912
[startup+150.011 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) S 31540 28546 28545 0 -1 0 18073 0 1 0 13902 47 0 0 25 0 11 0 544440781 861093888 24187 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24187 13073 16 0 210212 0
vsize: 840912
[startup+160.011 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 14864 47 0 0 25 0 11 0 544440781 861093888 24240 4294967295 134512640 134569956 3221224400 3221214672 1131344552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24240 13073 16 0 210212 0
vsize: 840912
[startup+170.012 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 15835 47 0 0 25 0 11 0 544440781 861093888 24266 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24266 13073 16 0 210212 0
vsize: 840912
[startup+180.016 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) S 31540 28546 28545 0 -1 0 18073 0 1 0 16815 47 0 0 25 0 11 0 544440781 861093888 24402 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24402 13073 16 0 210212 0
vsize: 840912
[startup+190.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 17798 47 0 0 25 0 11 0 544440781 861093888 24520 4294967295 134512640 134569956 3221224400 3221214672 1131344393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24520 13073 16 0 210212 0
vsize: 840912
[startup+200.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 18772 47 0 0 25 0 11 0 544440781 861093888 24533 4294967295 134512640 134569956 3221224400 3221214848 1131398853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24533 13073 16 0 210212 0
vsize: 840912
[startup+210.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 19747 47 0 0 25 0 11 0 544440781 861093888 24553 4294967295 134512640 134569956 3221224400 3221214848 1131398957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24553 13073 16 0 210212 0
vsize: 840912
[startup+220.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 20703 47 0 0 24 0 11 0 544440781 861093888 24577 4294967295 134512640 134569956 3221224400 3221214672 1131344473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24577 13073 16 0 210212 0
vsize: 840912
[startup+230.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 21670 47 0 0 25 0 11 0 544440781 861093888 24651 4294967295 134512640 134569956 3221224400 3221214600 1131571887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24651 13073 16 0 210212 0
vsize: 840912
[startup+240.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 22636 47 0 0 25 0 11 0 544440781 861093888 24690 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24690 13073 16 0 210212 0
vsize: 840912
[startup+250.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 23599 47 0 0 25 0 11 0 544440781 861093888 24773 4294967295 134512640 134569956 3221224400 3221214704 1131651725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24773 13073 16 0 210212 0
vsize: 840912
[startup+260.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 24570 47 0 0 25 0 11 0 544440781 861093888 24909 4294967295 134512640 134569956 3221224400 3221214496 1131283947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 24909 13073 16 0 210212 0
vsize: 840912
[startup+270.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 25532 47 0 0 25 0 11 0 544440781 861093888 25013 4294967295 134512640 134569956 3221224400 3221214704 1131651740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 25013 13073 16 0 210212 0
vsize: 840912
[startup+280.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 26502 47 0 0 25 0 11 0 544440781 861093888 25144 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 25144 13073 16 0 210212 0
vsize: 840912
[startup+290.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18073 0 1 0 27462 47 0 0 25 0 11 0 544440781 861093888 25269 4294967295 134512640 134569956 3221224400 3221214496 1131283926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 25269 13073 16 0 210212 0
vsize: 840912
[startup+300.022 s]
Raw data (loadavg): 1.16 1.05 1.01 3/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 28419 48 0 0 25 0 11 0 544440781 861093888 25407 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 25407 13073 16 0 210212 0
vsize: 840912
[startup+310.022 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 31551
Raw data (stat): 31541 (java) S 31540 28546 28545 0 -1 0 18074 0 1 0 29380 48 0 0 25 0 11 0 544440781 861093888 25537 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 25537 13073 16 0 210212 0
vsize: 840912
[startup+320.022 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 30312 48 0 0 24 0 11 0 544440781 861093888 25633 4294967295 134512640 134569956 3221224400 3221214832 1131412907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 25633 13073 16 0 210212 0
vsize: 840912
[startup+330.024 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 31283 48 0 0 25 0 11 0 544440781 861093888 25730 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 25730 13073 16 0 210212 0
vsize: 840912
[startup+340.023 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 32245 48 0 0 25 0 11 0 544440781 861093888 25859 4294967295 134512640 134569956 3221224400 3221214600 1131570797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 25859 13073 16 0 210212 0
vsize: 840912
[startup+350.024 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 33208 49 0 0 25 0 11 0 544440781 861093888 26023 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 26023 13073 16 0 210212 0
vsize: 840912
[startup+360.025 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 34173 49 0 0 25 0 11 0 544440781 861093888 26171 4294967295 134512640 134569956 3221224400 3221214496 1131284194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 26171 13073 16 0 210212 0
vsize: 840912
[startup+370.025 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 35137 49 0 0 25 0 11 0 544440781 861093888 26306 4294967295 134512640 134569956 3221224400 3221214704 1131651740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 26306 13073 16 0 210212 0
vsize: 840912
[startup+380.026 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 36100 50 0 0 25 0 11 0 544440781 861093888 26448 4294967295 134512640 134569956 3221224400 3221214600 1131348261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 26448 13073 16 0 210212 0
vsize: 840912
[startup+390.143 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 37073 50 0 0 25 0 11 0 544440781 861093888 26478 4294967295 134512640 134569956 3221224400 3221214672 1131344531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 26478 13073 16 0 210212 0
vsize: 840912
[startup+400.142 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 38041 50 0 0 25 0 11 0 544440781 861093888 26573 4294967295 134512640 134569956 3221224400 3221214776 1131366816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 26573 13073 16 0 210212 0
vsize: 840912
[startup+410.143 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 38999 50 0 0 25 0 11 0 544440781 861093888 26731 4294967295 134512640 134569956 3221224400 3221214496 1131283973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 26731 13073 16 0 210212 0
vsize: 840912
[startup+420.145 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 39957 51 0 0 25 0 11 0 544440781 861093888 26863 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 26863 13073 16 0 210212 0
vsize: 840912
[startup+430.147 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 40914 51 0 0 25 0 11 0 544440781 861093888 27035 4294967295 134512640 134569956 3221224400 3221214704 1131651616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 27035 13073 16 0 210212 0
vsize: 840912
[startup+440.146 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 41872 51 0 0 25 0 11 0 544440781 861093888 27148 4294967295 134512640 134569956 3221224400 3221214760 1131434756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 27148 13073 16 0 210212 0
vsize: 840912
[startup+450.146 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 42812 52 0 0 25 0 11 0 544440781 861093888 27268 4294967295 134512640 134569956 3221224400 3221214776 1131366809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 27268 13073 16 0 210212 0
vsize: 840912
[startup+460.153 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 43772 52 0 0 25 0 11 0 544440781 861093888 27330 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 27330 13073 16 0 210212 0
vsize: 840912
[startup+470.152 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 44723 52 0 0 25 0 11 0 544440781 861093888 27502 4294967295 134512640 134569956 3221224400 3221214704 1131651740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 27502 13073 16 0 210212 0
vsize: 840912
[startup+480.161 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 45667 53 0 0 25 0 11 0 544440781 861093888 27769 4294967295 134512640 134569956 3221224400 3221214704 1131651633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 27769 13073 16 0 210212 0
vsize: 840912
[startup+490.161 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 46634 53 0 0 25 0 11 0 544440781 861093888 27960 4294967295 134512640 134569956 3221224400 3221214680 1131446886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 27960 13073 16 0 210212 0
vsize: 840912
[startup+500.169 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 47603 53 0 0 25 0 11 0 544440781 861093888 28114 4294967295 134512640 134569956 3221224400 3221214672 1131344589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28114 13073 16 0 210212 0
vsize: 840912
[startup+510.188 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 48572 53 0 0 25 0 11 0 544440781 861093888 28170 4294967295 134512640 134569956 3221224400 3221214704 1131651725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28170 13073 16 0 210212 0
vsize: 840912
[startup+520.188 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 49543 53 0 0 25 0 11 0 544440781 861093888 28238 4294967295 134512640 134569956 3221224400 3221214760 1131435442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28238 13073 16 0 210212 0
vsize: 840912
[startup+530.203 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 50504 54 0 0 25 0 11 0 544440781 861093888 28340 4294967295 134512640 134569956 3221224400 3221214704 1131651725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28340 13073 16 0 210212 0
vsize: 840912
[startup+540.307 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 51472 54 0 0 25 0 11 0 544440781 861093888 28366 4294967295 134512640 134569956 3221224400 3221214672 1131344041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28366 13073 16 0 210212 0
vsize: 840912
[startup+550.306 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 52423 54 0 0 25 0 11 0 544440781 861093888 28432 4294967295 134512640 134569956 3221224400 3221214784 1131427872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28432 13073 16 0 210212 0
vsize: 840912
[startup+560.307 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 53364 55 0 0 21 0 11 0 544440781 861093888 28604 4294967295 134512640 134569956 3221224400 3221214704 1131651725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28604 13073 16 0 210212 0
vsize: 840912
[startup+570.307 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 54318 55 0 0 25 0 11 0 544440781 861093888 28740 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28740 13073 16 0 210212 0
vsize: 840912
[startup+580.308 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 55266 55 0 0 25 0 11 0 544440781 861093888 28932 4294967295 134512640 134569956 3221224400 3221214672 1131344531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 28932 13073 16 0 210212 0
vsize: 840912
[startup+590.309 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 56218 55 0 0 25 0 11 0 544440781 861093888 29098 4294967295 134512640 134569956 3221224400 3221214776 1131366881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 29098 13073 16 0 210212 0
vsize: 840912
[startup+600.31 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 57181 56 0 0 25 0 11 0 544440781 861093888 29248 4294967295 134512640 134569956 3221224400 3221214128 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 29248 13073 16 0 210212 0
vsize: 840912
[startup+610.311 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 58145 56 0 0 25 0 11 0 544440781 861093888 29379 4294967295 134512640 134569956 3221224400 3221214776 1131366881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 29379 13073 16 0 210212 0
vsize: 840912
[startup+620.311 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 59104 56 0 0 25 0 11 0 544440781 861093888 29525 4294967295 134512640 134569956 3221224400 3221214672 1131344739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 29525 13073 16 0 210212 0
vsize: 840912
[startup+630.312 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 60070 57 0 0 25 0 11 0 544440781 861093888 29600 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 29600 13073 16 0 210212 0
vsize: 840912
[startup+640.313 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 61029 57 0 0 25 0 11 0 544440781 861093888 29714 4294967295 134512640 134569956 3221224400 3221214776 1131370712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 29714 13073 16 0 210212 0
vsize: 840912
[startup+650.313 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 61986 58 0 0 25 0 11 0 544440781 861093888 29816 4294967295 134512640 134569956 3221224400 3221214672 1131344125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 29816 13073 16 0 210212 0
vsize: 840912
[startup+660.314 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 62943 58 0 0 25 0 11 0 544440781 861093888 29964 4294967295 134512640 134569956 3221224400 3221214672 1131344029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 29964 13073 16 0 210212 0
vsize: 840912
[startup+670.315 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 63913 58 0 0 25 0 11 0 544440781 861093888 30059 4294967295 134512640 134569956 3221224400 3221214744 1131532866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30059 13073 16 0 210212 0
vsize: 840912
[startup+680.315 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 64883 59 0 0 25 0 11 0 544440781 861093888 30152 4294967295 134512640 134569956 3221224400 3221214704 1131651616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30152 13073 16 0 210212 0
vsize: 840912
[startup+690.316 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 65852 60 0 0 25 0 11 0 544440781 861093888 30249 4294967295 134512640 134569956 3221224400 3221214568 1131587751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30249 13073 16 0 210212 0
vsize: 840912
[startup+700.316 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 66813 60 0 0 25 0 11 0 544440781 861093888 30386 4294967295 134512640 134569956 3221224400 3221214744 1131531958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30386 13073 16 0 210212 0
vsize: 840912
[startup+710.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 67773 60 0 0 25 0 11 0 544440781 861093888 30466 4294967295 134512640 134569956 3221224400 3221214776 1131366625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30466 13073 16 0 210212 0
vsize: 840912
[startup+720.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) S 31540 28546 28545 0 -1 0 18074 0 1 0 68741 61 0 0 25 0 11 0 544440781 861093888 30603 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30603 13073 16 0 210212 0
vsize: 840912
[startup+730.318 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 69712 61 0 0 24 0 11 0 544440781 861093888 30768 4294967295 134512640 134569956 3221224400 3221214672 1131344041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30768 13073 16 0 210212 0
vsize: 840912
[startup+740.319 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 70694 61 0 0 25 0 11 0 544440781 861093888 30868 4294967295 134512640 134569956 3221224400 3221214672 1131345401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30868 13073 16 0 210212 0
vsize: 840912
[startup+750.318 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 71681 61 0 0 25 0 11 0 544440781 861093888 30896 4294967295 134512640 134569956 3221224400 3221214880 1131477950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30896 13073 16 0 210212 0
vsize: 840912
[startup+760.319 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 72666 61 0 0 25 0 11 0 544440781 861093888 30957 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30957 13073 16 0 210212 0
vsize: 840912
[startup+770.32 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 73646 62 0 0 25 0 11 0 544440781 861093888 30979 4294967295 134512640 134569956 3221224400 3221214340 1131663116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30979 13073 16 0 210212 0
vsize: 840912
[startup+780.322 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 74624 62 0 0 25 0 11 0 544440781 861093888 30986 4294967295 134512640 134569956 3221224400 3221214672 1131344725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 30986 13073 16 0 210212 0
vsize: 840912
[startup+790.322 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 75597 63 0 0 25 0 11 0 544440781 861093888 31002 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31002 13073 16 0 210212 0
vsize: 840912
[startup+800.322 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 76567 63 0 0 25 0 11 0 544440781 861093888 31073 4294967295 134512640 134569956 3221224400 3221214704 1131651747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31073 13073 16 0 210212 0
vsize: 840912
[startup+810.322 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 77536 63 0 0 25 0 11 0 544440781 861093888 31145 4294967295 134512640 134569956 3221224400 3221214704 1131651740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31145 13073 16 0 210212 0
vsize: 840912
[startup+820.322 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 78504 64 0 0 25 0 11 0 544440781 861093888 31224 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31224 13073 16 0 210212 0
vsize: 840912
[startup+830.323 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 79471 64 0 0 25 0 11 0 544440781 861093888 31322 4294967295 134512640 134569956 3221224400 3221214600 1131572813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31322 13073 16 0 210212 0
vsize: 840912
[startup+840.324 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 80432 64 0 0 25 0 11 0 544440781 861093888 31418 4294967295 134512640 134569956 3221224400 3221214736 1131336672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31418 13073 16 0 210212 0
vsize: 840912
[startup+850.324 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 81398 64 0 0 24 0 11 0 544440781 861093888 31530 4294967295 134512640 134569956 3221224400 3221214672 1131344531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31530 13073 16 0 210212 0
vsize: 840912
[startup+860.325 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 82366 65 0 0 25 0 11 0 544440781 861093888 31635 4294967295 134512640 134569956 3221224400 3221214596 1131283776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31635 13073 16 0 210212 0
vsize: 840912
[startup+870.325 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 83333 65 0 0 25 0 11 0 544440781 861093888 31715 4294967295 134512640 134569956 3221224400 3221214776 1131367796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31715 13073 16 0 210212 0
vsize: 840912
[startup+880.327 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 84301 65 0 0 25 0 11 0 544440781 861093888 31805 4294967295 134512640 134569956 3221224400 3221214776 1131366900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31805 13073 16 0 210212 0
vsize: 840912
[startup+890.327 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 85268 65 0 0 25 0 11 0 544440781 861093888 31908 4294967295 134512640 134569956 3221224400 3221214704 1131651736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31908 13073 16 0 210212 0
vsize: 840912
[startup+900.327 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 86235 66 0 0 25 0 11 0 544440781 861093888 31993 4294967295 134512640 134569956 3221224400 3221214776 1131366809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 31993 13073 16 0 210212 0
vsize: 840912
[startup+910.328 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 87201 66 0 0 25 0 11 0 544440781 861093888 32075 4294967295 134512640 134569956 3221224400 3221214672 1131344566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32075 13073 16 0 210212 0
vsize: 840912
[startup+920.328 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 88167 66 0 0 25 0 11 0 544440781 861093888 32184 4294967295 134512640 134569956 3221224400 3221214672 1131344149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32184 13073 16 0 210212 0
vsize: 840912
[startup+930.328 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 89134 66 0 0 25 0 11 0 544440781 861093888 32279 4294967295 134512640 134569956 3221224400 3221214496 1131284797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32279 13073 16 0 210212 0
vsize: 840912
[startup+940.329 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 90102 67 0 0 25 0 11 0 544440781 861093888 32368 4294967295 134512640 134569956 3221224400 3221214600 1131572818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32368 13073 16 0 210212 0
vsize: 840912
[startup+950.329 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 91071 67 0 0 25 0 11 0 544440781 861093888 32469 4294967295 134512640 134569956 3221224400 3221214776 1131366625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 32469 13073 16 0 210212 0
vsize: 840912
[startup+960.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 92040 68 0 0 25 0 11 0 544440781 861093888 32564 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32564 13073 16 0 210212 0
vsize: 840912
[startup+970.331 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 93010 68 0 0 25 0 11 0 544440781 861093888 32649 4294967295 134512640 134569956 3221224400 3221214696 1131554584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32649 13073 16 0 210212 0
vsize: 840912
[startup+980.332 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 93979 69 0 0 25 0 11 0 544440781 861093888 32730 4294967295 134512640 134569956 3221224400 3221214704 1131651747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32730 13073 16 0 210212 0
vsize: 840912
[startup+990.332 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 94940 69 0 0 24 0 11 0 544440781 861093888 32802 4294967295 134512640 134569956 3221224400 3221214672 1131345286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32802 13073 16 0 210212 0
vsize: 840912
[startup+1000.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) S 31540 28546 28545 0 -1 0 18074 0 1 0 95909 69 0 0 25 0 11 0 544440781 861093888 32889 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32889 13073 16 0 210212 0
vsize: 840912
[startup+1010.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 96874 69 0 0 24 0 11 0 544440781 861093888 32992 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 32992 13073 16 0 210212 0
vsize: 840912
[startup+1020.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 97842 70 0 0 25 0 11 0 544440781 861093888 33074 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33074 13073 16 0 210212 0
vsize: 840912
[startup+1030.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 98811 70 0 0 25 0 11 0 544440781 861093888 33172 4294967295 134512640 134569956 3221224400 3221214672 1131344452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33172 13073 16 0 210212 0
vsize: 840912
[startup+1040.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 99781 70 0 0 25 0 11 0 544440781 861093888 33278 4294967295 134512640 134569956 3221224400 3221214672 1131344452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33278 13073 16 0 210212 0
vsize: 840912
[startup+1050.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 100751 70 0 0 25 0 11 0 544440781 861093888 33350 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33350 13073 16 0 210212 0
vsize: 840912
[startup+1060.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31551
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 101721 71 0 0 25 0 11 0 544440781 861093888 33430 4294967295 134512640 134569956 3221224400 3221214704 1131651631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33430 13073 16 0 210212 0
vsize: 840912
[startup+1070.34 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 31599
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 102682 78 0 0 25 0 11 0 544440781 861093888 33501 4294967295 134512640 134569956 3221224400 3221214672 1131344768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 33501 13073 16 0 210212 0
vsize: 840912
[startup+1080.34 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 31604
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 103650 78 0 0 25 0 11 0 544440781 861093888 33572 4294967295 134512640 134569956 3221224400 3221214936 1131365081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33572 13073 16 0 210212 0
vsize: 840912
[startup+1090.34 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 31604
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 104617 78 0 0 25 0 11 0 544440781 861093888 33654 4294967295 134512640 134569956 3221224400 3221214472 1131611969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33654 13073 16 0 210212 0
vsize: 840912
[startup+1100.34 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 31604
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 105584 78 0 0 25 0 11 0 544440781 861093888 33748 4294967295 134512640 134569956 3221224400 3221214704 1131651725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33748 13073 16 0 210212 0
vsize: 840912
[startup+1110.34 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 31604
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 106551 79 0 0 25 0 11 0 544440781 861093888 33842 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33842 13073 16 0 210212 0
vsize: 840912
[startup+1120.34 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 31604
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 107517 79 0 0 25 0 11 0 544440781 861093888 33937 4294967295 134512640 134569956 3221224400 3221214672 1131344078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 33937 13073 16 0 210212 0
vsize: 840912
[startup+1130.34 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 31604
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 108485 79 0 0 25 0 11 0 544440781 861093888 34012 4294967295 134512640 134569956 3221224400 3221214776 1131371421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34012 13073 16 0 210212 0
vsize: 840912
[startup+1140.34 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 109452 79 0 0 25 0 11 0 544440781 861093888 34099 4294967295 134512640 134569956 3221224400 3221214496 1131283822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34099 13073 16 0 210212 0
vsize: 840912
[startup+1150.34 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 110419 79 0 0 25 0 11 0 544440781 861093888 34210 4294967295 134512640 134569956 3221224400 3221214704 1131651740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34210 13073 16 0 210212 0
vsize: 840912
[startup+1160.34 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 111385 79 0 0 25 0 11 0 544440781 861093888 34301 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34301 13073 16 0 210212 0
vsize: 840912
[startup+1170.34 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 112351 79 0 0 25 0 11 0 544440781 861093888 34406 4294967295 134512640 134569956 3221224400 3221214704 1131651740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210228 34406 13073 16 0 210212 0
vsize: 840912
[startup+1180.34 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 113317 79 0 0 25 0 11 0 544440781 861093888 34490 4294967295 134512640 134569956 3221224400 3221214704 1131651747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34490 13073 16 0 210212 0
vsize: 840912
[startup+1190.34 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 114283 79 0 0 25 0 11 0 544440781 861093888 34587 4294967295 134512640 134569956 3221224400 3221214704 1131651628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34587 13073 16 0 210212 0
vsize: 840912
[startup+1200.34 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 115245 79 0 0 25 0 11 0 544440781 861093888 34707 4294967295 134512640 134569956 3221224400 3221214600 1131571120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34707 13073 16 0 210212 0
vsize: 840912
[startup+1210.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 116213 79 0 0 25 0 11 0 544440781 861093888 34799 4294967295 134512640 134569956 3221224400 3221214936 1131365081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34799 13073 16 0 210212 0
vsize: 840912
[startup+1220.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 117182 79 0 0 25 0 11 0 544440781 861093888 34872 4294967295 134512640 134569956 3221224400 3221214820 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34872 13073 16 0 210212 0
vsize: 840912
[startup+1230.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 118144 79 0 0 25 0 11 0 544440781 861093888 34982 4294967295 134512640 134569956 3221224400 3221214776 1131366816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 34982 13073 16 0 210212 0
vsize: 840912
[startup+1240.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 119110 79 0 0 25 0 11 0 544440781 861093888 35067 4294967295 134512640 134569956 3221224400 3221214600 1131571120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 35067 13073 16 0 210212 0
vsize: 840912
[startup+1250.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31606
Raw data (stat): 31541 (java) R 31540 28546 28545 0 -1 0 18074 0 1 0 120072 80 0 0 25 0 11 0 544440781 861093888 35163 4294967295 134512640 134569956 3221224400 3221214624 1131330279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210228 35163 13073 16 0 210212 0
vsize: 840912
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.45 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31608
Raw data (stat): 31541 (java) Z 31540 28546 28545 0 -1 1036 18074 15023 1 0 120076 80 4555 39 25 0 1 0 544440781 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.45
CPU time (s): 1247.51
CPU user time (s): 1246.31
CPU system time (s): 1.19282
CPU usage (%): 99.7647
Max. virtual memory (Kb): 841936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####