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-fixnet4.opb
MD5SUM	c588849b8a310510484f5bf14bc15ec4
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	13668
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	2423922177090
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	2423922177090
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.122981
Number of variables	14036
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1523
Trace number 22310

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        392664 kB
Buffers:         33272 kB
Cached:         586988 kB
SwapCached:        444 kB
Active:         111044 kB
Inactive:       511304 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        392412 kB
SwapTotal:     2097136 kB
SwapFree:      2095948 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            14052 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:05:40 (client local time) WITH STATUS 143 IN 1235.67 SECONDS
stats: 11839 7 1235.67 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-fixnet4.opb
c reading problem 
c [nbvar=14036]
c [nbconstr=978]
c time 60.678
c #vars     14036
c #clauses  701
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.92 0.90 2/54 8567
Raw data (stat): 8567 (runsolver) R 8566 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492000768 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.0002 s]
Raw data (loadavg): 0.83 0.93 0.90 2/63 8576
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 17977 0 1 0 889 36 0 0 25 0 10 0 492000768 853454848 19220 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208363 19220 13073 16 0 208347 0
vsize: 833452
[startup+20.0015 s]
Raw data (loadavg): 0.93 0.94 0.91 2/63 8576
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 17977 0 1 0 1776 36 0 0 25 0 10 0 492000768 854503424 19947 4294967295 134512640 134569956 3221224400 3221214824 1131218623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 19947 13073 16 0 208603 0
vsize: 834476
[startup+30.0017 s]
Raw data (loadavg): 0.94 0.94 0.91 2/63 8576
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 17977 0 1 0 2676 36 0 0 25 0 10 0 492000768 854503424 20391 4294967295 134512640 134569956 3221224400 3221214824 1131218623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 20391 13073 16 0 208603 0
vsize: 834476
[startup+40.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/63 8576
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 17977 0 1 0 3606 37 0 0 25 0 10 0 492000768 854503424 20626 4294967295 134512640 134569956 3221224400 3221214708 1130915291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 20626 13073 16 0 208603 0
vsize: 834476
[startup+50.0037 s]
Raw data (loadavg): 0.95 0.95 0.91 2/63 8576
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 17977 0 1 0 4533 37 0 0 25 0 10 0 492000768 854503424 20754 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 20754 13073 16 0 208603 0
vsize: 834476
[startup+60.0038 s]
Raw data (loadavg): 1.04 0.96 0.91 2/63 8576
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18026 0 1 0 5385 37 0 0 25 0 10 0 492000768 860794880 23160 4294967295 134512640 134569956 3221224400 3221214904 1131208848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23160 13073 16 0 210139 0
vsize: 840620
[startup+70.005 s]
Raw data (loadavg): 1.19 1.00 0.93 4/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18098 0 1 0 6174 39 0 0 25 0 11 0 492000768 861716480 24587 4294967295 134512640 134569956 3221224400 3221213628 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 24587 13073 16 0 210364 0
vsize: 841520
[startup+80.0058 s]
Raw data (loadavg): 1.16 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18098 0 1 0 7081 39 0 0 25 0 11 0 492000768 860995584 24436 4294967295 134512640 134569956 3221224400 3221214696 1131295149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 24436 13073 16 0 210188 0
vsize: 840816
[startup+90.0051 s]
Raw data (loadavg): 1.13 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18098 0 1 0 7975 40 0 0 25 0 11 0 492000768 860995584 24442 4294967295 134512640 134569956 3221224400 3221214736 1131246805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 24442 13073 16 0 210188 0
vsize: 840816
[startup+100.006 s]
Raw data (loadavg): 1.11 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18098 0 1 0 8897 40 0 0 25 0 11 0 492000768 860995584 25306 4294967295 134512640 134569956 3221224400 3221214696 1131295030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25306 13073 16 0 210188 0
vsize: 840816
[startup+110.007 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18098 0 1 0 9879 40 0 0 25 0 11 0 492000768 860995584 25334 4294967295 134512640 134569956 3221224400 3221214696 1131295558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25334 13073 16 0 210188 0
vsize: 840816
[startup+120.008 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 10864 41 0 0 25 0 11 0 492000768 860995584 25346 4294967295 134512640 134569956 3221224400 3221214584 1131458992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 25346 13073 16 0 210188 0
vsize: 840816
[startup+130.009 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 11837 41 0 0 25 0 11 0 492000768 860995584 25355 4294967295 134512640 134569956 3221224400 3221214584 1131459135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25355 13073 16 0 210188 0
vsize: 840816
[startup+140.008 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 12812 41 0 0 25 0 11 0 492000768 860995584 25361 4294967295 134512640 134569956 3221224400 3221214680 1131623507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25361 13073 16 0 210188 0
vsize: 840816
[startup+150.009 s]
Raw data (loadavg): 1.13 1.02 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 13788 42 0 0 25 0 11 0 492000768 860995584 25363 4294967295 134512640 134569956 3221224400 3221214624 1131246777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25363 13073 16 0 210188 0
vsize: 840816
[startup+160.008 s]
Raw data (loadavg): 1.11 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 14768 42 0 0 25 0 11 0 492000768 860995584 25427 4294967295 134512640 134569956 3221224400 3221214680 1131623360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25427 13073 16 0 210188 0
vsize: 840816
[startup+170.01 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 15749 43 0 0 25 0 11 0 492000768 860995584 25442 4294967295 134512640 134569956 3221224400 3221214676 1131460329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25442 13073 16 0 210188 0
vsize: 840816
[startup+180.01 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 16728 43 0 0 25 0 11 0 492000768 860995584 25446 4294967295 134512640 134569956 3221224400 3221214680 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25446 13073 16 0 210188 0
vsize: 840816
[startup+190.01 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 17706 43 0 0 25 0 11 0 492000768 860995584 25449 4294967295 134512640 134569956 3221224400 3221214680 1131623525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25449 13073 16 0 210188 0
vsize: 840816
[startup+200.011 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 18673 43 0 0 25 0 11 0 492000768 860995584 25483 4294967295 134512640 134569956 3221224400 3221214680 1131623386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25483 13073 16 0 210188 0
vsize: 840816
[startup+210.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 19648 44 0 0 25 0 11 0 492000768 860995584 25583 4294967295 134512640 134569956 3221224400 3221214680 1131623372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25583 13073 16 0 210188 0
vsize: 840816
[startup+220.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 20617 44 0 0 25 0 11 0 492000768 860995584 25693 4294967295 134512640 134569956 3221224400 3221214576 1131273772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25693 13073 16 0 210188 0
vsize: 840816
[startup+230.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 21585 45 0 0 25 0 11 0 492000768 860995584 25797 4294967295 134512640 134569956 3221224400 3221214680 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25797 13073 16 0 210188 0
vsize: 840816
[startup+240.011 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 22561 45 0 0 25 0 11 0 492000768 860995584 25850 4294967295 134512640 134569956 3221224400 3221214576 1131275483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25850 13073 16 0 210188 0
vsize: 840816
[startup+250.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 23537 45 0 0 25 0 11 0 492000768 860995584 25929 4294967295 134512640 134569956 3221224400 3221214680 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25929 13073 16 0 210188 0
vsize: 840816
[startup+260.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 24509 46 0 0 25 0 11 0 492000768 860995584 25995 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 25995 13073 16 0 210188 0
vsize: 840816
[startup+270.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 25487 46 0 0 25 0 11 0 492000768 860995584 26059 4294967295 134512640 134569956 3221224400 3221214624 1131623525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26059 13073 16 0 210188 0
vsize: 840816
[startup+280.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 26473 46 0 0 25 0 11 0 492000768 860995584 26099 4294967295 134512640 134569956 3221224400 3221214568 1131246901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26099 13073 16 0 210188 0
vsize: 840816
[startup+290.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 27454 46 0 0 25 0 11 0 492000768 860995584 26164 4294967295 134512640 134569956 3221224400 3221214620 1131460320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26164 13073 16 0 210188 0
vsize: 840816
[startup+300.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 28437 46 0 0 25 0 11 0 492000768 860995584 26240 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26240 13073 16 0 210188 0
vsize: 840816
[startup+310.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 29422 47 0 0 25 0 11 0 492000768 860995584 26323 4294967295 134512640 134569956 3221224400 3221214792 1131416015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26323 13073 16 0 210188 0
vsize: 840816
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 30412 47 0 0 25 0 11 0 492000768 860995584 26366 4294967295 134512640 134569956 3221224400 3221214624 1131623368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26366 13073 16 0 210188 0
vsize: 840816
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 31400 47 0 0 25 0 11 0 492000768 860995584 26439 4294967295 134512640 134569956 3221224400 3221214624 1131623525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26439 13073 16 0 210188 0
vsize: 840816
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 32390 47 0 0 25 0 11 0 492000768 860995584 26524 4294967295 134512640 134569956 3221224400 3221214624 1131623525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26524 13073 16 0 210188 0
vsize: 840816
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 33382 47 0 0 25 0 11 0 492000768 860995584 26603 4294967295 134512640 134569956 3221224400 3221214408 1131603457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26603 13073 16 0 210188 0
vsize: 840816
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 34378 48 0 0 25 0 11 0 492000768 860995584 26645 4294967295 134512640 134569956 3221224400 3221214624 1131623410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 26645 13073 16 0 210188 0
vsize: 840816
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 35374 48 0 0 25 0 11 0 492000768 860995584 26717 4294967295 134512640 134569956 3221224400 3221214624 1131623525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 26717 13073 16 0 210188 0
vsize: 840816
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 36371 48 0 0 25 0 11 0 492000768 860995584 26717 4294967295 134512640 134569956 3221224400 3221214624 1131450864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26717 13073 16 0 210188 0
vsize: 840816
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 37368 48 0 0 25 0 11 0 492000768 860995584 26725 4294967295 134512640 134569956 3221224400 3221214616 1131625371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26725 13073 16 0 210188 0
vsize: 840816
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 38364 48 0 0 25 0 11 0 492000768 860995584 26730 4294967295 134512640 134569956 3221224400 3221214624 1131623360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26730 13073 16 0 210188 0
vsize: 840816
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 39362 49 0 0 25 0 11 0 492000768 860995584 26730 4294967295 134512640 134569956 3221224400 3221214620 1131246764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26730 13073 16 0 210188 0
vsize: 840816
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 40359 49 0 0 25 0 11 0 492000768 860995584 26738 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26738 13073 16 0 210188 0
vsize: 840816
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 41356 49 0 0 25 0 11 0 492000768 860995584 26741 4294967295 134512640 134569956 3221224400 3221214624 1131623372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26741 13073 16 0 210188 0
vsize: 840816
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 42353 50 0 0 25 0 11 0 492000768 860995584 26749 4294967295 134512640 134569956 3221224400 3221214624 1131450889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26749 13073 16 0 210188 0
vsize: 840816
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 43351 50 0 0 25 0 11 0 492000768 860995584 26749 4294967295 134512640 134569956 3221224400 3221214624 1131623360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26749 13073 16 0 210188 0
vsize: 840816
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 44349 50 0 0 25 0 11 0 492000768 860995584 26753 4294967295 134512640 134569956 3221224400 3221214512 1131275193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26753 13073 16 0 210188 0
vsize: 840816
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 45346 50 0 0 25 0 11 0 492000768 860995584 26761 4294967295 134512640 134569956 3221224400 3221214512 1131275273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26761 13073 16 0 210188 0
vsize: 840816
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 46343 50 0 0 25 0 11 0 492000768 860995584 26765 4294967295 134512640 134569956 3221224400 3221214520 1131275307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26765 13073 16 0 210188 0
vsize: 840816
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 47341 51 0 0 25 0 11 0 492000768 860995584 26765 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26765 13073 16 0 210188 0
vsize: 840816
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 48338 51 0 0 25 0 11 0 492000768 860995584 26773 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26773 13073 16 0 210188 0
vsize: 840816
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 49334 51 0 0 25 0 11 0 492000768 860995584 26777 4294967295 134512640 134569956 3221224400 3221214624 1131623381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26777 13073 16 0 210188 0
vsize: 840816
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 50331 52 0 0 25 0 11 0 492000768 860995584 26784 4294967295 134512640 134569956 3221224400 3221214624 1131623525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26784 13073 16 0 210188 0
vsize: 840816
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 51329 52 0 0 25 0 11 0 492000768 860995584 26788 4294967295 134512640 134569956 3221224400 3221214288 1076461501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26788 13073 16 0 210188 0
vsize: 840816
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 52326 53 0 0 25 0 11 0 492000768 860995584 26788 4294967295 134512640 134569956 3221224400 3221214624 1131623386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 26788 13073 16 0 210188 0
vsize: 840816
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 53322 53 0 0 25 0 11 0 492000768 860995584 26796 4294967295 134512640 134569956 3221224400 3221214624 1131623386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26796 13073 16 0 210188 0
vsize: 840816
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 54319 53 0 0 25 0 11 0 492000768 860995584 26799 4294967295 134512640 134569956 3221224400 3221214568 1131246909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26799 13073 16 0 210188 0
vsize: 840816
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 55316 54 0 0 25 0 11 0 492000768 860995584 26807 4294967295 134512640 134569956 3221224400 3221214512 1131273772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26807 13073 16 0 210188 0
vsize: 840816
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 56314 54 0 0 25 0 11 0 492000768 860995584 26811 4294967295 134512640 134569956 3221224400 3221214624 1131450868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 26811 13073 16 0 210188 0
vsize: 840816
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 57310 54 0 0 25 0 11 0 492000768 860995584 26811 4294967295 134512640 134569956 3221224400 3221214600 1131248025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26811 13073 16 0 210188 0
vsize: 840816
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 58307 54 0 0 25 0 11 0 492000768 860995584 26823 4294967295 134512640 134569956 3221224400 3221214624 1131450828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26823 13073 16 0 210188 0
vsize: 840816
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 59304 54 0 0 25 0 11 0 492000768 860995584 26823 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26823 13073 16 0 210188 0
vsize: 840816
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 60302 54 0 0 25 0 11 0 492000768 860995584 26831 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26831 13073 16 0 210188 0
vsize: 840816
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 61298 55 0 0 25 0 11 0 492000768 860995584 26835 4294967295 134512640 134569956 3221224400 3221214568 1131246878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26835 13073 16 0 210188 0
vsize: 840816
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 62294 55 0 0 25 0 11 0 492000768 860995584 26846 4294967295 134512640 134569956 3221224400 3221214624 1131623386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26846 13073 16 0 210188 0
vsize: 840816
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 63291 55 0 0 25 0 11 0 492000768 860995584 26846 4294967295 134512640 134569956 3221224400 3221214616 1131625223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26846 13073 16 0 210188 0
vsize: 840816
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 64288 56 0 0 25 0 11 0 492000768 860995584 26854 4294967295 134512640 134569956 3221224400 3221214512 1131275357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26854 13073 16 0 210188 0
vsize: 840816
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 65285 56 0 0 25 0 11 0 492000768 860995584 26858 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26858 13073 16 0 210188 0
vsize: 840816
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 66281 56 0 0 25 0 11 0 492000768 860995584 26869 4294967295 134512640 134569956 3221224400 3221214472 1131502535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26869 13073 16 0 210188 0
vsize: 840816
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 67277 57 0 0 25 0 11 0 492000768 860995584 26869 4294967295 134512640 134569956 3221224400 3221214616 1131625223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26869 13073 16 0 210188 0
vsize: 840816
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 68272 57 0 0 25 0 11 0 492000768 860995584 26882 4294967295 134512640 134569956 3221224400 3221214624 1131623386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26882 13073 16 0 210188 0
vsize: 840816
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 69270 57 0 0 25 0 11 0 492000768 860995584 26882 4294967295 134512640 134569956 3221224400 3221214624 1131623507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26882 13073 16 0 210188 0
vsize: 840816
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 70265 58 0 0 25 0 11 0 492000768 860995584 26894 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26894 13073 16 0 210188 0
vsize: 840816
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 71261 58 0 0 25 0 11 0 492000768 860995584 26894 4294967295 134512640 134569956 3221224400 3221214624 1131623517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26894 13073 16 0 210188 0
vsize: 840816
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 72256 58 0 0 25 0 11 0 492000768 860995584 26906 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26906 13073 16 0 210188 0
vsize: 840816
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 73251 59 0 0 25 0 11 0 492000768 860995584 26917 4294967295 134512640 134569956 3221224400 3221214512 1131275214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26917 13073 16 0 210188 0
vsize: 840816
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 74245 59 0 0 25 0 11 0 492000768 860995584 26917 4294967295 134512640 134569956 3221224400 3221214512 1131275273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26917 13073 16 0 210188 0
vsize: 840816
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 0.93 3/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 75241 59 0 0 25 0 11 0 492000768 860995584 26937 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 26937 13073 16 0 210188 0
vsize: 840816
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 76235 59 0 0 25 0 11 0 492000768 860995584 26948 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26948 13073 16 0 210188 0
vsize: 840816
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 77226 60 0 0 25 0 11 0 492000768 860995584 26952 4294967295 134512640 134569956 3221224400 3221214624 1131451296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26952 13073 16 0 210188 0
vsize: 840816
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 78219 60 0 0 25 0 11 0 492000768 860995584 26960 4294967295 134512640 134569956 3221224400 3221214624 1131623372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 26960 13073 16 0 210188 0
vsize: 840816
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 79210 60 0 0 25 0 11 0 492000768 860995584 26971 4294967295 134512640 134569956 3221224400 3221214616 1131625407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26971 13073 16 0 210188 0
vsize: 840816
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 80205 61 0 0 25 0 11 0 492000768 860995584 26983 4294967295 134512640 134569956 3221224400 3221214624 1131623517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26983 13073 16 0 210188 0
vsize: 840816
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 81197 61 0 0 25 0 11 0 492000768 860995584 26994 4294967295 134512640 134569956 3221224400 3221214624 1131451208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 26994 13073 16 0 210188 0
vsize: 840816
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 82190 61 0 0 25 0 11 0 492000768 860995584 27006 4294967295 134512640 134569956 3221224400 3221214624 1131623507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27006 13073 16 0 210188 0
vsize: 840816
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 83182 62 0 0 25 0 11 0 492000768 860995584 27029 4294967295 134512640 134569956 3221224400 3221214624 1131623360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27029 13073 16 0 210188 0
vsize: 840816
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 84174 62 0 0 25 0 11 0 492000768 860995584 27049 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27049 13073 16 0 210188 0
vsize: 840816
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 85169 62 0 0 25 0 11 0 492000768 860995584 27060 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27060 13073 16 0 210188 0
vsize: 840816
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 86162 63 0 0 25 0 11 0 492000768 860995584 27084 4294967295 134512640 134569956 3221224400 3221214624 1131623360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27084 13073 16 0 210188 0
vsize: 840816
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8577
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 87154 63 0 0 25 0 11 0 492000768 860995584 27126 4294967295 134512640 134569956 3221224400 3221214584 1131561081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27126 13073 16 0 210188 0
vsize: 840816
[startup+900.051 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 8620
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 88143 67 0 0 25 0 11 0 492000768 860995584 27166 4294967295 134512640 134569956 3221224400 3221214624 1131623386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 27166 13073 16 0 210188 0
vsize: 840816
[startup+910.051 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 8630
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 89135 67 0 0 25 0 11 0 492000768 860995584 27177 4294967295 134512640 134569956 3221224400 3221214512 1131275307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27177 13073 16 0 210188 0
vsize: 840816
[startup+920.055 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 8630
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 90128 67 0 0 25 0 11 0 492000768 860995584 27189 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27189 13073 16 0 210188 0
vsize: 840816
[startup+930.056 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 8630
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 91124 67 0 0 25 0 11 0 492000768 860995584 27189 4294967295 134512640 134569956 3221224400 3221214512 1131275357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27189 13073 16 0 210188 0
vsize: 840816
[startup+940.056 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 8630
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 92116 67 0 0 25 0 11 0 492000768 860995584 27200 4294967295 134512640 134569956 3221224400 3221214624 1131623360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27200 13073 16 0 210188 0
vsize: 840816
[startup+950.055 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 8630
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 93109 67 0 0 25 0 11 0 492000768 860995584 27212 4294967295 134512640 134569956 3221224400 3221214624 1131623394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27212 13073 16 0 210188 0
vsize: 840816
[startup+960.057 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 8630
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 94101 67 0 0 25 0 11 0 492000768 860995584 27227 4294967295 134512640 134569956 3221224400 3221214520 1131275643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27227 13073 16 0 210188 0
vsize: 840816
[startup+970.058 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8630
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 95094 67 0 0 25 0 11 0 492000768 860995584 27246 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27246 13073 16 0 210188 0
vsize: 840816
[startup+980.058 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 96089 67 0 0 25 0 11 0 492000768 860995584 27258 4294967295 134512640 134569956 3221224400 3221214544 1131602581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27258 13073 16 0 210188 0
vsize: 840816
[startup+990.059 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 97082 67 0 0 25 0 11 0 492000768 860995584 27274 4294967295 134512640 134569956 3221224400 3221214512 1131313399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27274 13073 16 0 210188 0
vsize: 840816
[startup+1000.06 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 98075 67 0 0 25 0 11 0 492000768 860995584 27306 4294967295 134512640 134569956 3221224400 3221214624 1131623507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27306 13073 16 0 210188 0
vsize: 840816
[startup+1010.06 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 99067 67 0 0 25 0 11 0 492000768 860995584 27359 4294967295 134512640 134569956 3221224400 3221214624 1131623386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27359 13073 16 0 210188 0
vsize: 840816
[startup+1020.06 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 100060 67 0 0 25 0 11 0 492000768 860995584 27380 4294967295 134512640 134569956 3221224400 3221214616 1131625418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27380 13073 16 0 210188 0
vsize: 840816
[startup+1030.06 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 101053 68 0 0 25 0 11 0 492000768 860995584 27393 4294967295 134512640 134569956 3221224400 3221214624 1131450920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27393 13073 16 0 210188 0
vsize: 840816
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 102048 68 0 0 25 0 11 0 492000768 860995584 27404 4294967295 134512640 134569956 3221224400 3221214512 1131275273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27404 13073 16 0 210188 0
vsize: 840816
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 103041 68 0 0 25 0 11 0 492000768 860995584 27408 4294967295 134512640 134569956 3221224400 3221214512 1131276091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27408 13073 16 0 210188 0
vsize: 840816
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 104033 68 0 0 25 0 11 0 492000768 860995584 27427 4294967295 134512640 134569956 3221224400 3221214512 1131275455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27427 13073 16 0 210188 0
vsize: 840816
[startup+1070.06 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 105026 68 0 0 25 0 11 0 492000768 860995584 27439 4294967295 134512640 134569956 3221224400 3221214512 1131275296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27439 13073 16 0 210188 0
vsize: 840816
[startup+1080.06 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 106019 68 0 0 25 0 11 0 492000768 860995584 27450 4294967295 134512640 134569956 3221224400 3221214624 1131623360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27450 13073 16 0 210188 0
vsize: 840816
[startup+1090.06 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 107011 68 0 0 25 0 11 0 492000768 860995584 27462 4294967295 134512640 134569956 3221224400 3221214512 1131275455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27462 13073 16 0 210188 0
vsize: 840816
[startup+1100.06 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 108003 68 0 0 24 0 11 0 492000768 860995584 27485 4294967295 134512640 134569956 3221224400 3221214624 1131623507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27485 13073 16 0 210188 0
vsize: 840816
[startup+1110.06 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 108998 68 0 0 25 0 11 0 492000768 860995584 27497 4294967295 134512640 134569956 3221224400 3221214624 1131623376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27497 13073 16 0 210188 0
vsize: 840816
[startup+1120.06 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 109989 68 0 0 25 0 11 0 492000768 860995584 27523 4294967295 134512640 134569956 3221224400 3221214568 1131246946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27523 13073 16 0 210188 0
vsize: 840816
[startup+1130.06 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 110981 68 0 0 25 0 11 0 492000768 860995584 27569 4294967295 134512640 134569956 3221224400 3221214624 1131623507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27569 13073 16 0 210188 0
vsize: 840816
[startup+1140.06 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 111973 68 0 0 25 0 11 0 492000768 860995584 27589 4294967295 134512640 134569956 3221224400 3221214624 1131623517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27589 13073 16 0 210188 0
vsize: 840816
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 112966 68 0 0 25 0 11 0 492000768 860995584 27602 4294967295 134512640 134569956 3221224400 3221214512 1131275273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27602 13073 16 0 210188 0
vsize: 840816
[startup+1160.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 113962 68 0 0 25 0 11 0 492000768 860995584 27602 4294967295 134512640 134569956 3221224400 3221214624 1131623386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210204 27602 13073 16 0 210188 0
vsize: 840816
[startup+1170.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 114954 68 0 0 25 0 11 0 492000768 860995584 27617 4294967295 134512640 134569956 3221224400 3221214624 1131623507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27617 13073 16 0 210188 0
vsize: 840816
[startup+1180.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 115946 68 0 0 25 0 11 0 492000768 860995584 27636 4294967295 134512640 134569956 3221224400 3221214624 1131623525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27636 13073 16 0 210188 0
vsize: 840816
[startup+1190.07 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 116938 68 0 0 25 0 11 0 492000768 860995584 27648 4294967295 134512640 134569956 3221224400 3221214624 1131623386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27648 13073 16 0 210188 0
vsize: 840816
[startup+1200.07 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 117927 68 0 0 25 0 11 0 492000768 860995584 27671 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27671 13073 16 0 210188 0
vsize: 840816
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8632
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 118917 68 0 0 25 0 11 0 492000768 860995584 27699 4294967295 134512640 134569956 3221224400 3221214528 1131295149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27699 13073 16 0 210188 0
vsize: 840816
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8634
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 119911 68 0 0 25 0 11 0 492000768 860995584 27735 4294967295 134512640 134569956 3221224400 3221214624 1131623379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27735 13073 16 0 210188 0
vsize: 840816
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8634
Raw data (stat): 8567 (java) R 8566 24215 24214 0 -1 0 18099 0 1 0 120902 68 0 0 25 0 11 0 492000768 860995584 27753 4294967295 134512640 134569956 3221224400 3221214512 1131275147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210204 27753 13073 16 0 210188 0
vsize: 840816
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 8636
Raw data (stat): 8567 (java) Z 8566 24215 24214 0 -1 1036 18099 13201 1 0 120906 68 2555 36 25 0 1 0 492000768 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1235.67
CPU user time (s): 1234.62
CPU system time (s): 1.05184
CPU usage (%): 100.447
Max. virtual memory (Kb): 841520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####