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/miplib/normalized-mps-v2-20-10-set1al.opb
MD5SUM	1f33433ec2b5955518c8bc8b8e0b8c29
Bench Category	optimization, big integers (OPTBIGINT)
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	7200
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	1616008034847
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	10737418240
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	1616008034847
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.129979
Number of variables	14400
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	630
Trace number 21987

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        305536 kB
Buffers:         23180 kB
Cached:         683556 kB
SwapCached:        328 kB
Active:          54520 kB
Inactive:       654808 kB
HighTotal:      131008 kB
HighFree:        32508 kB
LowTotal:       903652 kB
LowFree:        273028 kB
SwapTotal:     2097136 kB
SwapFree:      2096520 kB
Dirty:              20 kB
Writeback:           0 kB
Mapped:           6460 kB
Slab:            14104 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 02:03:14 (client local time) WITH STATUS 143 IN 1227.38 SECONDS
stats: 12281 7 1227.38 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-set1al.opb
c reading problem 
c [nbvar=14400]
c [nbconstr=732]
c time 64.128
c #vars     14400
c #clauses  733
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.80 0.93 0.92 2/54 24331
Raw data (stat): 24331 (runsolver) R 24330 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491630907 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0016 s]
Raw data (loadavg): 0.83 0.93 0.92 2/63 24340
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 17984 0 1 0 879 42 0 0 25 0 10 0 491630907 853626880 19239 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 19239 13073 16 0 208389 0
vsize: 833620
[startup+20.0017 s]
Raw data (loadavg): 1.02 0.96 0.93 2/63 24340
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 17988 0 1 0 1703 42 0 0 25 0 10 0 491630907 858525696 21162 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209601 21162 13073 16 0 209585 0
vsize: 838404
[startup+30.0023 s]
Raw data (loadavg): 1.02 0.96 0.93 2/63 24340
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 17990 0 1 0 2578 43 0 0 25 0 10 0 491630907 857182208 21331 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209273 21331 13073 16 0 209257 0
vsize: 837092
[startup+40.0035 s]
Raw data (loadavg): 1.01 0.96 0.93 2/63 24340
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 17990 0 1 0 3462 43 0 0 25 0 10 0 491630907 857182208 21754 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209273 21754 13073 16 0 209257 0
vsize: 837092
[startup+50.0036 s]
Raw data (loadavg): 1.01 0.97 0.93 2/63 24340
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 17990 0 1 0 4382 44 0 0 25 0 10 0 491630907 857182208 21928 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209273 21928 13073 16 0 209257 0
vsize: 837092
[startup+60.0043 s]
Raw data (loadavg): 1.01 0.97 0.93 2/63 24340
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 17990 0 1 0 5301 44 0 0 25 0 10 0 491630907 857182208 22077 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209273 22077 13073 16 0 209257 0
vsize: 837092
[startup+70.0049 s]
Raw data (loadavg): 1.24 1.02 0.94 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18058 0 1 0 6177 46 0 0 25 0 11 0 491630907 860385280 24684 4294967295 134512640 134569956 3221224400 3221214672 1131316249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210055 24684 13073 16 0 210039 0
vsize: 840220
[startup+80.0055 s]
Raw data (loadavg): 1.28 1.03 0.95 3/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18060 0 1 0 7122 46 0 0 25 0 11 0 491630907 862490624 25227 4294967295 134512640 134569956 3221224400 3221214608 1131430195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210569 25227 13073 16 0 210553 0
vsize: 842276
[startup+90.0062 s]
Raw data (loadavg): 1.24 1.03 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18060 0 1 0 8105 46 0 0 25 0 11 0 491630907 860684288 24804 4294967295 134512640 134569956 3221224400 3221214608 1131430195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 24804 13073 16 0 210112 0
vsize: 840512
[startup+100.006 s]
Raw data (loadavg): 1.20 1.03 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 9077 47 0 0 25 0 11 0 491630907 860684288 24805 4294967295 134512640 134569956 3221224400 3221214768 1131367608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 24805 13073 16 0 210112 0
vsize: 840512
[startup+110.007 s]
Raw data (loadavg): 1.25 1.04 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 10055 47 0 0 25 0 11 0 491630907 860684288 24818 4294967295 134512640 134569956 3221224400 3221214672 1131316249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 24818 13073 16 0 210112 0
vsize: 840512
[startup+120.007 s]
Raw data (loadavg): 1.21 1.04 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 11021 47 0 0 25 0 11 0 491630907 860684288 24820 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 24820 13073 16 0 210112 0
vsize: 840512
[startup+130.007 s]
Raw data (loadavg): 1.18 1.04 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 12000 47 0 0 25 0 11 0 491630907 860684288 24820 4294967295 134512640 134569956 3221224400 3221214696 1131635683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 24820 13073 16 0 210112 0
vsize: 840512
[startup+140.008 s]
Raw data (loadavg): 1.15 1.04 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 12977 47 0 0 25 0 11 0 491630907 860684288 24828 4294967295 134512640 134569956 3221224400 3221214696 1131642951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 24828 13073 16 0 210112 0
vsize: 840512
[startup+150.008 s]
Raw data (loadavg): 1.13 1.04 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 13952 47 0 0 25 0 11 0 491630907 860684288 24888 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 24888 13073 16 0 210112 0
vsize: 840512
[startup+160.009 s]
Raw data (loadavg): 1.11 1.03 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 14926 47 0 0 25 0 11 0 491630907 860684288 24948 4294967295 134512640 134569956 3221224400 3221214696 1131635569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 24948 13073 16 0 210112 0
vsize: 840512
[startup+170.009 s]
Raw data (loadavg): 1.09 1.03 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 15900 47 0 0 25 0 11 0 491630907 860684288 24994 4294967295 134512640 134569956 3221224400 3221214696 1131635672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 24994 13073 16 0 210112 0
vsize: 840512
[startup+180.009 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 16880 47 0 0 25 0 11 0 491630907 860684288 25066 4294967295 134512640 134569956 3221224400 3221214504 1131282642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 25066 13073 16 0 210112 0
vsize: 840512
[startup+190.01 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 17870 47 0 0 25 0 11 0 491630907 860684288 25168 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 25168 13073 16 0 210112 0
vsize: 840512
[startup+200.01 s]
Raw data (loadavg): 1.05 1.03 0.95 3/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 18848 47 0 0 25 0 11 0 491630907 860684288 25311 4294967295 134512640 134569956 3221224400 3221214696 1131635552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 25311 13073 16 0 210112 0
vsize: 840512
[startup+210.01 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 19827 47 0 0 25 0 11 0 491630907 860684288 25455 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 25455 13073 16 0 210112 0
vsize: 840512
[startup+220.011 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 20806 48 0 0 25 0 11 0 491630907 860684288 25623 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 25623 13073 16 0 210112 0
vsize: 840512
[startup+230.011 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 21784 48 0 0 25 0 11 0 491630907 860684288 25811 4294967295 134512640 134569956 3221224400 3221214600 1131658964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 25811 13073 16 0 210112 0
vsize: 840512
[startup+240.012 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 22772 48 0 0 25 0 11 0 491630907 860684288 25899 4294967295 134512640 134569956 3221224400 3221214672 1131316410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 25899 13073 16 0 210112 0
vsize: 840512
[startup+250.013 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 23750 48 0 0 25 0 11 0 491630907 860684288 26093 4294967295 134512640 134569956 3221224400 3221214592 1131504367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 26093 13073 16 0 210112 0
vsize: 840512
[startup+260.013 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 24729 49 0 0 25 0 11 0 491630907 860684288 26225 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 26225 13073 16 0 210112 0
vsize: 840512
[startup+270.013 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 25708 49 0 0 25 0 11 0 491630907 860684288 26365 4294967295 134512640 134569956 3221224400 3221214616 1131385775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 26365 13073 16 0 210112 0
vsize: 840512
[startup+280.013 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 26698 49 0 0 25 0 11 0 491630907 860684288 26431 4294967295 134512640 134569956 3221224400 3221214840 1131393892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 26431 13073 16 0 210112 0
vsize: 840512
[startup+290.014 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 27677 50 0 0 25 0 11 0 491630907 860684288 26603 4294967295 134512640 134569956 3221224400 3221214696 1131635661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 26603 13073 16 0 210112 0
vsize: 840512
[startup+300.013 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 28656 50 0 0 25 0 11 0 491630907 860684288 26776 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 26776 13073 16 0 210112 0
vsize: 840512
[startup+310.014 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 29645 50 0 0 25 0 11 0 491630907 860684288 26776 4294967295 134512640 134569956 3221224400 3221214696 1131635676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 26776 13073 16 0 210112 0
vsize: 840512
[startup+320.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 30623 50 0 0 25 0 11 0 491630907 860684288 26952 4294967295 134512640 134569956 3221224400 3221214672 1131316418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 26952 13073 16 0 210112 0
vsize: 840512
[startup+330.013 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 31603 50 0 0 25 0 11 0 491630907 860684288 27093 4294967295 134512640 134569956 3221224400 3221214696 1131635672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 27093 13073 16 0 210112 0
vsize: 840512
[startup+340.013 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 32593 50 0 0 25 0 11 0 491630907 860684288 27093 4294967295 134512640 134569956 3221224400 3221214736 1131411420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 27093 13073 16 0 210112 0
vsize: 840512
[startup+350.013 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 33573 50 0 0 25 0 11 0 491630907 860684288 27231 4294967295 134512640 134569956 3221224400 3221214504 1131282802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 27231 13073 16 0 210112 0
vsize: 840512
[startup+360.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 34553 51 0 0 25 0 11 0 491630907 860684288 27302 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 27302 13073 16 0 210112 0
vsize: 840512
[startup+370.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 35542 51 0 0 25 0 11 0 491630907 860684288 27370 4294967295 134512640 134569956 3221224400 3221214696 1131635676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 27370 13073 16 0 210112 0
vsize: 840512
[startup+380.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 36522 51 0 0 25 0 11 0 491630907 860684288 27436 4294967295 134512640 134569956 3221224400 3221214696 1131635567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 27436 13073 16 0 210112 0
vsize: 840512
[startup+390.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 37511 51 0 0 25 0 11 0 491630907 860684288 27511 4294967295 134512640 134569956 3221224400 3221214176 1131660205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 27511 13073 16 0 210112 0
vsize: 840512
[startup+400.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 38492 51 0 0 25 0 11 0 491630907 860684288 27581 4294967295 134512640 134569956 3221224400 3221214696 1131635567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 27581 13073 16 0 210112 0
vsize: 840512
[startup+410.011 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 39481 51 0 0 25 0 11 0 491630907 860684288 27666 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 27666 13073 16 0 210112 0
vsize: 840512
[startup+420.011 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 40461 51 0 0 25 0 11 0 491630907 860684288 27756 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 27756 13073 16 0 210112 0
vsize: 840512
[startup+430.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 41450 52 0 0 25 0 11 0 491630907 860684288 27838 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 27838 13073 16 0 210112 0
vsize: 840512
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 42430 52 0 0 25 0 11 0 491630907 860684288 27909 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 27909 13073 16 0 210112 0
vsize: 840512
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 43419 52 0 0 25 0 11 0 491630907 860684288 27909 4294967295 134512640 134569956 3221224400 3221214696 1131635683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 27909 13073 16 0 210112 0
vsize: 840512
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 44398 52 0 0 25 0 11 0 491630907 860684288 28030 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28030 13073 16 0 210112 0
vsize: 840512
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 45386 53 0 0 25 0 11 0 491630907 860684288 28087 4294967295 134512640 134569956 3221224400 3221214736 1131413050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28087 13073 16 0 210112 0
vsize: 840512
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 46365 53 0 0 25 0 11 0 491630907 860684288 28187 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28187 13073 16 0 210112 0
vsize: 840512
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 47354 53 0 0 25 0 11 0 491630907 860684288 28247 4294967295 134512640 134569956 3221224400 3221214696 1131635661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 28247 13073 16 0 210112 0
vsize: 840512
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 48333 53 0 0 25 0 11 0 491630907 860684288 28346 4294967295 134512640 134569956 3221224400 3221214592 1131504370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28346 13073 16 0 210112 0
vsize: 840512
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 49322 54 0 0 25 0 11 0 491630907 860684288 28438 4294967295 134512640 134569956 3221224400 3221214608 1131282645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28438 13073 16 0 210112 0
vsize: 840512
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 50311 54 0 0 25 0 11 0 491630907 860684288 28486 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28486 13073 16 0 210112 0
vsize: 840512
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 51290 54 0 0 25 0 11 0 491630907 860684288 28628 4294967295 134512640 134569956 3221224400 3221214696 1131635567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28628 13073 16 0 210112 0
vsize: 840512
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 52279 55 0 0 25 0 11 0 491630907 860684288 28681 4294967295 134512640 134569956 3221224400 3221214672 1131315692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 28681 13073 16 0 210112 0
vsize: 840512
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 53258 55 0 0 25 0 11 0 491630907 860684288 28825 4294967295 134512640 134569956 3221224400 3221214736 1131412065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28825 13073 16 0 210112 0
vsize: 840512
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 54247 55 0 0 25 0 11 0 491630907 860684288 28927 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28927 13073 16 0 210112 0
vsize: 840512
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 55236 55 0 0 25 0 11 0 491630907 860684288 28979 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 28979 13073 16 0 210112 0
vsize: 840512
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) S 24330 22932 22931 0 -1 0 18061 0 1 0 56219 55 0 0 25 0 11 0 491630907 860684288 29032 4294967295 134512640 134569956 3221224400 3221213104 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29032 13073 16 0 210112 0
vsize: 840512
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 57203 55 0 0 25 0 11 0 491630907 860684288 29173 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29173 13073 16 0 210112 0
vsize: 840512
[startup+600.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 58192 55 0 0 25 0 11 0 491630907 860684288 29243 4294967295 134512640 134569956 3221224400 3221214360 1131675682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29243 13073 16 0 210112 0
vsize: 840512
[startup+610.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 59170 56 0 0 25 0 11 0 491630907 860684288 29363 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29363 13073 16 0 210112 0
vsize: 840512
[startup+620.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 60159 56 0 0 25 0 11 0 491630907 860684288 29428 4294967295 134512640 134569956 3221224400 3221214696 1131635683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29428 13073 16 0 210112 0
vsize: 840512
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 61148 56 0 0 25 0 11 0 491630907 860684288 29507 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29507 13073 16 0 210112 0
vsize: 840512
[startup+640.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 62137 57 0 0 25 0 11 0 491630907 860684288 29583 4294967295 134512640 134569956 3221224400 3221213984 1131658869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29583 13073 16 0 210112 0
vsize: 840512
[startup+650.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 63114 57 0 0 25 0 11 0 491630907 860684288 29716 4294967295 134512640 134569956 3221224400 3221214840 1131393635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29716 13073 16 0 210112 0
vsize: 840512
[startup+660.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 64103 57 0 0 25 0 11 0 491630907 860684288 29849 4294967295 134512640 134569956 3221224400 3221214312 1131659063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 29849 13073 16 0 210112 0
vsize: 840512
[startup+670.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 65092 57 0 0 25 0 11 0 491630907 860684288 29911 4294967295 134512640 134569956 3221224400 3221214176 1131659025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 29911 13073 16 0 210112 0
vsize: 840512
[startup+680.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 66081 57 0 0 25 0 11 0 491630907 860684288 29976 4294967295 134512640 134569956 3221224400 3221214032 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 29976 13073 16 0 210112 0
vsize: 840512
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 67060 57 0 0 25 0 11 0 491630907 860684288 30128 4294967295 134512640 134569956 3221224400 3221214696 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 30128 13073 16 0 210112 0
vsize: 840512
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 68048 58 0 0 25 0 11 0 491630907 860684288 30196 4294967295 134512640 134569956 3221224400 3221214696 1131635672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30196 13073 16 0 210112 0
vsize: 840512
[startup+710.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18061 0 1 0 69037 58 0 0 25 0 11 0 491630907 860684288 30267 4294967295 134512640 134569956 3221224400 3221214752 1131363675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30267 13073 16 0 210112 0
vsize: 840512
[startup+720.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 70015 58 0 0 25 0 11 0 491630907 860684288 30400 4294967295 134512640 134569956 3221224400 3221214656 1131635683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30400 13073 16 0 210112 0
vsize: 840512
[startup+730.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 70993 59 0 0 25 0 11 0 491630907 860684288 30477 4294967295 134512640 134569956 3221224400 3221214656 1131635567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 30477 13073 16 0 210112 0
vsize: 840512
[startup+740.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 71993 59 0 0 25 0 11 0 491630907 860684288 30477 4294967295 134512640 134569956 3221224400 3221214600 1131659063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30477 13073 16 0 210112 0
vsize: 840512
[startup+750.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 72993 59 0 0 25 0 11 0 491630907 860684288 30477 4294967295 134512640 134569956 3221224400 3221214408 1131659004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30477 13073 16 0 210112 0
vsize: 840512
[startup+760.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 73982 59 0 0 25 0 11 0 491630907 860684288 30545 4294967295 134512640 134569956 3221224400 3221214544 1131677328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30545 13073 16 0 210112 0
vsize: 840512
[startup+770.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 74982 59 0 0 25 0 11 0 491630907 860684288 30545 4294967295 134512640 134569956 3221224400 3221213928 1131658976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30545 13073 16 0 210112 0
vsize: 840512
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 75962 59 0 0 25 0 11 0 491630907 860684288 30628 4294967295 134512640 134569956 3221224400 3221214656 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30628 13073 16 0 210112 0
vsize: 840512
[startup+790.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 76951 59 0 0 25 0 11 0 491630907 860684288 30628 4294967295 134512640 134569956 3221224400 3221214648 1131674012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 30628 13073 16 0 210112 0
vsize: 840512
[startup+800.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 77940 59 0 0 25 0 11 0 491630907 860684288 30709 4294967295 134512640 134569956 3221224400 3221214080 1131660336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30709 13073 16 0 210112 0
vsize: 840512
[startup+810.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 78940 59 0 0 25 0 11 0 491630907 860684288 30709 4294967295 134512640 134569956 3221224400 3221214320 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30709 13073 16 0 210112 0
vsize: 840512
[startup+820.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 79941 59 0 0 25 0 11 0 491630907 860684288 30709 4294967295 134512640 134569956 3221224400 3221214320 1085679434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 30709 13073 16 0 210112 0
vsize: 840512
[startup+830.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 80929 60 0 0 25 0 11 0 491630907 860684288 30773 4294967295 134512640 134569956 3221224400 3221214548 1131659456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 30773 13073 16 0 210112 0
vsize: 840512
[startup+840.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 81929 60 0 0 25 0 11 0 491630907 860684288 30773 4294967295 134512640 134569956 3221224400 3221214072 1131673408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30773 13073 16 0 210112 0
vsize: 840512
[startup+850.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 82918 60 0 0 25 0 11 0 491630907 860684288 30839 4294967295 134512640 134569956 3221224400 3221214088 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 30839 13073 16 0 210112 0
vsize: 840512
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 83907 60 0 0 25 0 11 0 491630907 860684288 30902 4294967295 134512640 134569956 3221224400 3221214656 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 30902 13073 16 0 210112 0
vsize: 840512
[startup+870.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 84895 60 0 0 25 0 11 0 491630907 860684288 30974 4294967295 134512640 134569956 3221224400 3221214456 1131676467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 30974 13073 16 0 210112 0
vsize: 840512
[startup+880.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 85883 60 0 0 25 0 11 0 491630907 860684288 31105 4294967295 134512640 134569956 3221224400 3221214696 1131413034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 31105 13073 16 0 210112 0
vsize: 840512
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 86870 60 0 0 25 0 11 0 491630907 860684288 31215 4294967295 134512640 134569956 3221224400 3221214552 1131673483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 31215 13073 16 0 210112 0
vsize: 840512
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 87870 60 0 0 25 0 11 0 491630907 860684288 31215 4294967295 134512640 134569956 3221224400 3221214552 1131505693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 31215 13073 16 0 210112 0
vsize: 840512
[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 88858 60 0 0 25 0 11 0 491630907 860684288 31311 4294967295 134512640 134569956 3221224400 3221214360 1131673913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 31311 13073 16 0 210112 0
vsize: 840512
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 89846 60 0 0 25 0 11 0 491630907 860684288 31447 4294967295 134512640 134569956 3221224400 3221214656 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 31447 13073 16 0 210112 0
vsize: 840512
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 90834 60 0 0 25 0 11 0 491630907 860684288 31538 4294967295 134512640 134569956 3221224400 3221214760 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 31538 13073 16 0 210112 0
vsize: 840512
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 91822 60 0 0 25 0 11 0 491630907 860684288 31675 4294967295 134512640 134569956 3221224400 3221214172 1131659456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 31675 13073 16 0 210112 0
vsize: 840512
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 92811 60 0 0 25 0 11 0 491630907 860684288 31775 4294967295 134512640 134569956 3221224400 3221214456 1131315976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 31775 13073 16 0 210112 0
vsize: 840512
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 93799 60 0 0 25 0 11 0 491630907 860684288 31877 4294967295 134512640 134569956 3221224400 3221214128 1131659099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 31877 13073 16 0 210112 0
vsize: 840512
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 94787 60 0 0 25 0 11 0 491630907 860684288 31982 4294967295 134512640 134569956 3221224400 3221214500 1131659024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 31982 13073 16 0 210112 0
vsize: 840512
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 95776 60 0 0 25 0 11 0 491630907 860684288 32084 4294967295 134512640 134569956 3221224400 3221214416 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 32084 13073 16 0 210112 0
vsize: 840512
[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 96764 61 0 0 25 0 11 0 491630907 860684288 32205 4294967295 134512640 134569956 3221224400 3221214264 1131673976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 32205 13073 16 0 210112 0
vsize: 840512
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 97762 61 0 0 25 0 11 0 491630907 860684288 32205 4294967295 134512640 134569956 3221224400 3221214656 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 32205 13073 16 0 210112 0
vsize: 840512
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 98751 61 0 0 25 0 11 0 491630907 860684288 32414 4294967295 134512640 134569956 3221224400 3221214656 1131635672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 32414 13073 16 0 210112 0
vsize: 840512
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 99740 61 0 0 25 0 11 0 491630907 860684288 32517 4294967295 134512640 134569956 3221224400 3221214600 1131385532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 32517 13073 16 0 210112 0
vsize: 840512
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 100728 61 0 0 25 0 11 0 491630907 860684288 32623 4294967295 134512640 134569956 3221224400 3221214128 1131659018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 32623 13073 16 0 210112 0
vsize: 840512
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 24341
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 101718 61 0 0 25 0 11 0 491630907 860684288 32742 4294967295 134512640 134569956 3221224400 3221214656 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 32742 13073 16 0 210112 0
vsize: 840512
[startup+1050.03 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 24394
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 102707 62 0 0 25 0 11 0 491630907 860684288 32742 4294967295 134512640 134569956 3221224400 3221213984 1131659034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 32742 13073 16 0 210112 0
vsize: 840512
[startup+1060.03 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 24394
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 103706 62 0 0 25 0 11 0 491630907 860684288 32742 4294967295 134512640 134569956 3221224400 3221214028 1131660388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 32742 13073 16 0 210112 0
vsize: 840512
[startup+1070.03 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 24394
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 104694 62 0 0 25 0 11 0 491630907 860684288 32953 4294967295 134512640 134569956 3221224400 3221214512 1085679526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 32953 13073 16 0 210112 0
vsize: 840512
[startup+1080.03 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 24394
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 105681 63 0 0 25 0 11 0 491630907 860684288 33075 4294967295 134512640 134569956 3221224400 3221214464 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 33075 13073 16 0 210112 0
vsize: 840512
[startup+1090.03 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 24394
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 106671 63 0 0 25 0 11 0 491630907 860684288 33215 4294967295 134512640 134569956 3221224400 3221214224 1085679434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 33215 13073 16 0 210112 0
vsize: 840512
[startup+1100.03 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 24394
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 107661 63 0 0 25 0 11 0 491630907 860684288 33215 4294967295 134512640 134569956 3221224400 3221214752 1131363686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 33215 13073 16 0 210112 0
vsize: 840512
[startup+1110.03 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 108659 63 0 0 25 0 11 0 491630907 860684288 33215 4294967295 134512640 134569956 3221224400 3221214656 1131635564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 33215 13073 16 0 210112 0
vsize: 840512
[startup+1120.03 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 109647 63 0 0 25 0 11 0 491630907 860684288 33325 4294967295 134512640 134569956 3221224400 3221214176 1131660185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 33325 13073 16 0 210112 0
vsize: 840512
[startup+1130.03 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 110635 63 0 0 25 0 11 0 491630907 860684288 33429 4294967295 134512640 134569956 3221224400 3221214696 1131411422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 33429 13073 16 0 210112 0
vsize: 840512
[startup+1140.03 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 111623 63 0 0 25 0 11 0 491630907 860684288 33530 4294967295 134512640 134569956 3221224400 3221214352 1131673428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 33530 13073 16 0 210112 0
vsize: 840512
[startup+1150.03 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 112622 64 0 0 25 0 11 0 491630907 860684288 33530 4294967295 134512640 134569956 3221224400 3221213784 1131660424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 33530 13073 16 0 210112 0
vsize: 840512
[startup+1160.03 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 113609 64 0 0 25 0 11 0 491630907 860684288 33653 4294967295 134512640 134569956 3221224400 3221214116 1131659024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210128 33653 13073 16 0 210112 0
vsize: 840512
[startup+1170.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 114597 64 0 0 25 0 11 0 491630907 860684288 33784 4294967295 134512640 134569956 3221224400 3221214640 1131677328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 33784 13073 16 0 210112 0
vsize: 840512
[startup+1180.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 115585 64 0 0 25 0 11 0 491630907 860684288 33893 4294967295 134512640 134569956 3221224400 3221214648 1131313901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 33893 13073 16 0 210112 0
vsize: 840512
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 116585 64 0 0 25 0 11 0 491630907 860684288 33893 4294967295 134512640 134569956 3221224400 3221214656 1131635672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 33893 13073 16 0 210112 0
vsize: 840512
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 117573 65 0 0 25 0 11 0 491630907 860684288 33995 4294967295 134512640 134569956 3221224400 3221214600 1131659025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 33995 13073 16 0 210112 0
vsize: 840512
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 118562 65 0 0 25 0 11 0 491630907 860684288 34095 4294967295 134512640 134569956 3221224400 3221214656 1131635564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 34095 13073 16 0 210112 0
vsize: 840512
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 119550 65 0 0 25 0 11 0 491630907 860684288 34198 4294967295 134512640 134569956 3221224400 3221214656 1131635661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 34198 13073 16 0 210112 0
vsize: 840512
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 24396
Raw data (stat): 24331 (java) R 24330 22932 22931 0 -1 0 18062 0 1 0 120549 65 0 0 25 0 11 0 491630907 860684288 34198 4294967295 134512640 134569956 3221224400 3221214504 1131659085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210128 34198 13073 16 0 210112 0
vsize: 840512
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 24398
Raw data (stat): 24331 (java) Z 24330 22932 22931 0 -1 1036 18062 14093 1 0 120553 65 2089 28 25 0 1 0 491630907 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): 1230.12
CPU time (s): 1227.38
CPU user time (s): 1226.43
CPU system time (s): 0.944856
CPU usage (%): 99.7766
Max. virtual memory (Kb): 842276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####