PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-forplan.opb
MD5SUM	ddf2305d343a013723560db78488e836
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	6325
Biggest coefficient in the objective function	10098206310400
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	1154186082635000
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	107374182400000
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	1154186082635000
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.076988
Number of variables	8495
Total number of constraints	155
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	155
Minimum length of a constraint	20
Maximum length of a constraint	6060
Trace number 19895

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        505120 kB
Buffers:         33356 kB
Cached:         468212 kB
SwapCached:         68 kB
Active:         126908 kB
Inactive:       377532 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        504868 kB
SwapTotal:     2097892 kB
SwapFree:      2097800 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6880 kB
Slab:            19508 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:13:01 (client local time) WITH STATUS 143 IN 1250.62 SECONDS
stats: 15830 7 1250.62 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-forplan.opb
c reading problem 
c [nbvar=8495]
c [nbconstr=155]
c time 26.949
c #vars     8495
c #clauses  240
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.78 0.88 0.88 2/54 6547
Raw data (stat): 6547 (runsolver) R 6546 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547749699 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.0007 s]
Raw data (loadavg): 0.90 0.90 0.89 2/63 6556
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 17987 0 1 0 891 39 0 0 25 0 10 0 547749699 853934080 19243 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208480 19243 13073 16 0 208464 0
vsize: 833920
[startup+20.0014 s]
Raw data (loadavg): 0.91 0.91 0.89 2/63 6556
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 17991 0 1 0 1702 39 0 0 25 0 10 0 547749699 855252992 20947 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208802 20947 13073 16 0 208786 0
vsize: 835208
[startup+30.0074 s]
Raw data (loadavg): 0.92 0.91 0.89 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18021 0 1 0 2556 42 0 0 25 0 11 0 547749699 856829952 25125 4294967295 134512640 134569956 3221224400 3221214672 1131282063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209187 25125 13073 16 0 209171 0
vsize: 836748
[startup+40.0077 s]
Raw data (loadavg): 1.02 0.93 0.90 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18061 0 1 0 3404 43 0 0 25 0 11 0 547749699 857518080 25630 4294967295 134512640 134569956 3221224400 3221214848 1131377464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 25630 13073 16 0 209339 0
vsize: 837420
[startup+50.0108 s]
Raw data (loadavg): 1.01 0.93 0.90 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18061 0 1 0 4391 43 0 0 25 0 11 0 547749699 857518080 25512 4294967295 134512640 134569956 3221224400 3221214488 1131563042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209355 25512 13073 16 0 209339 0
vsize: 837420
[startup+60.0111 s]
Raw data (loadavg): 1.01 0.93 0.90 3/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18062 0 1 0 5372 44 0 0 25 0 11 0 547749699 863100928 26626 4294967295 134512640 134569956 3221224400 3221214592 1131562601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 26626 13073 16 0 210702 0
vsize: 842872
[startup+70.0192 s]
Raw data (loadavg): 1.08 0.95 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18062 0 1 0 6359 44 0 0 25 0 11 0 547749699 862760960 26762 4294967295 134512640 134569956 3221224400 3221214456 1131540267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210635 26762 13073 16 0 210619 0
vsize: 842540
[startup+80.0286 s]
Raw data (loadavg): 1.07 0.95 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18062 0 1 0 7357 44 0 0 25 0 11 0 547749699 862760960 26762 4294967295 134512640 134569956 3221224400 3221214576 1131480777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210635 26762 13073 16 0 210619 0
vsize: 842540
[startup+90.0383 s]
Raw data (loadavg): 1.06 0.95 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18062 0 1 0 8338 44 0 0 25 0 11 0 547749699 862760960 26738 4294967295 134512640 134569956 3221224400 3221214568 1131426280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210635 26738 13073 16 0 210619 0
vsize: 842540
[startup+100.038 s]
Raw data (loadavg): 1.05 0.95 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 9313 44 0 0 25 0 11 0 547749699 862760960 26715 4294967295 134512640 134569956 3221224400 3221214740 1131515955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210635 26715 13073 16 0 210619 0
vsize: 842540
[startup+110.038 s]
Raw data (loadavg): 1.04 0.95 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 10286 44 0 0 25 0 11 0 547749699 861712384 26415 4294967295 134512640 134569956 3221224400 3221214592 1131479095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 26415 13073 16 0 210363 0
vsize: 841516
[startup+120.039 s]
Raw data (loadavg): 1.03 0.95 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 11255 44 0 0 25 0 11 0 547749699 861712384 26511 4294967295 134512640 134569956 3221224400 3221214792 1131393782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 26511 13073 16 0 210363 0
vsize: 841516
[startup+130.039 s]
Raw data (loadavg): 1.03 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 12224 44 0 0 25 0 11 0 547749699 861712384 26623 4294967295 134512640 134569956 3221224400 3221214752 1131575848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 26623 13073 16 0 210363 0
vsize: 841516
[startup+140.04 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 13183 44 0 0 25 0 11 0 547749699 861712384 26774 4294967295 134512640 134569956 3221224400 3221214696 1131282109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 26774 13073 16 0 210363 0
vsize: 841516
[startup+150.04 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 14148 44 0 0 25 0 11 0 547749699 861712384 26907 4294967295 134512640 134569956 3221224400 3221214696 1131282898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 26907 13073 16 0 210363 0
vsize: 841516
[startup+160.04 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 15096 44 0 0 25 0 11 0 547749699 861712384 27023 4294967295 134512640 134569956 3221224400 3221214696 1131282106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 27023 13073 16 0 210363 0
vsize: 841516
[startup+170.04 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 16035 44 0 0 25 0 11 0 547749699 861712384 27135 4294967295 134512640 134569956 3221224400 3221214696 1131282226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 27135 13073 16 0 210363 0
vsize: 841516
[startup+180.041 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 16986 44 0 0 25 0 11 0 547749699 861712384 27482 4294967295 134512640 134569956 3221224400 3221214800 1131449323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 27482 13073 16 0 210363 0
vsize: 841516
[startup+190.041 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 17952 44 0 0 25 0 11 0 547749699 861712384 27646 4294967295 134512640 134569956 3221224400 3221214696 1131282281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 27646 13073 16 0 210363 0
vsize: 841516
[startup+200.041 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 18920 45 0 0 25 0 11 0 547749699 861712384 27850 4294967295 134512640 134569956 3221224400 3221214696 1131281889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 27850 13073 16 0 210363 0
vsize: 841516
[startup+210.041 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 19896 45 0 0 25 0 11 0 547749699 861712384 27927 4294967295 134512640 134569956 3221224400 3221214696 1131282168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 27927 13073 16 0 210363 0
vsize: 841516
[startup+220.042 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 20870 45 0 0 25 0 11 0 547749699 861712384 27982 4294967295 134512640 134569956 3221224400 3221214792 1131352521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 27982 13073 16 0 210363 0
vsize: 841516
[startup+230.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 21839 46 0 0 24 0 11 0 547749699 861712384 28078 4294967295 134512640 134569956 3221224400 3221214656 1131412976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28078 13073 16 0 210363 0
vsize: 841516
[startup+240.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 22813 46 0 0 25 0 11 0 547749699 861712384 28153 4294967295 134512640 134569956 3221224400 3221214696 1131282341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28153 13073 16 0 210363 0
vsize: 841516
[startup+250.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 23784 46 0 0 25 0 11 0 547749699 861712384 28226 4294967295 134512640 134569956 3221224400 3221214792 1131352349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28226 13073 16 0 210363 0
vsize: 841516
[startup+260.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 24750 46 0 0 25 0 11 0 547749699 861712384 28347 4294967295 134512640 134569956 3221224400 3221214712 1131234837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28347 13073 16 0 210363 0
vsize: 841516
[startup+270.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 25708 46 0 0 25 0 11 0 547749699 861712384 28465 4294967295 134512640 134569956 3221224400 3221214744 1131575680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28465 13073 16 0 210363 0
vsize: 841516
[startup+280.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 26671 46 0 0 24 0 11 0 547749699 861712384 28655 4294967295 134512640 134569956 3221224400 3221214768 1131351537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28655 13073 16 0 210363 0
vsize: 841516
[startup+290.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 27643 46 0 0 25 0 11 0 547749699 861712384 28781 4294967295 134512640 134569956 3221224400 3221214672 1131283044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28781 13073 16 0 210363 0
vsize: 841516
[startup+300.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 28616 47 0 0 25 0 11 0 547749699 861712384 28888 4294967295 134512640 134569956 3221224400 3221214672 1131281701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28888 13073 16 0 210363 0
vsize: 841516
[startup+310.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 29588 47 0 0 25 0 11 0 547749699 861712384 28978 4294967295 134512640 134569956 3221224400 3221214672 1131281964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 28978 13073 16 0 210363 0
vsize: 841516
[startup+320.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 30563 47 0 0 25 0 11 0 547749699 861712384 29097 4294967295 134512640 134569956 3221224400 3221214712 1131234841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 29097 13073 16 0 210363 0
vsize: 841516
[startup+330.058 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 31537 47 0 0 25 0 11 0 547749699 861712384 29173 4294967295 134512640 134569956 3221224400 3221214672 1131282301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 29173 13073 16 0 210363 0
vsize: 841516
[startup+340.059 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 32506 47 0 0 25 0 11 0 547749699 861712384 29306 4294967295 134512640 134569956 3221224400 3221214672 1131282109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 29306 13073 16 0 210363 0
vsize: 841516
[startup+350.059 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 33472 48 0 0 25 0 11 0 547749699 861712384 29403 4294967295 134512640 134569956 3221224400 3221214672 1131281693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 29403 13073 16 0 210363 0
vsize: 841516
[startup+360.059 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 34440 48 0 0 25 0 11 0 547749699 861712384 29482 4294967295 134512640 134569956 3221224400 3221214768 1131351584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 29482 13073 16 0 210363 0
vsize: 841516
[startup+370.06 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 35412 49 0 0 25 0 11 0 547749699 861712384 29593 4294967295 134512640 134569956 3221224400 3221214744 1131575688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 29593 13073 16 0 210363 0
vsize: 841516
[startup+380.061 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 36382 49 0 0 25 0 11 0 547749699 861712384 29875 4294967295 134512640 134569956 3221224400 3221214768 1131352357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 29875 13073 16 0 210363 0
vsize: 841516
[startup+390.062 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 37355 49 0 0 25 0 11 0 547749699 861712384 29985 4294967295 134512640 134569956 3221224400 3221214768 1131351559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 29985 13073 16 0 210363 0
vsize: 841516
[startup+400.062 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 38331 49 0 0 25 0 11 0 547749699 861712384 30060 4294967295 134512640 134569956 3221224400 3221214672 1131282061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 30060 13073 16 0 210363 0
vsize: 841516
[startup+410.068 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 39305 50 0 0 25 0 11 0 547749699 861712384 30139 4294967295 134512640 134569956 3221224400 3221214672 1131282090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 30139 13073 16 0 210363 0
vsize: 841516
[startup+420.171 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 40287 50 0 0 25 0 11 0 547749699 861712384 30220 4294967295 134512640 134569956 3221224400 3221214712 1131235050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 30220 13073 16 0 210363 0
vsize: 841516
[startup+430.172 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 41263 51 0 0 25 0 11 0 547749699 861712384 30287 4294967295 134512640 134569956 3221224400 3221214672 1131281715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 30287 13073 16 0 210363 0
vsize: 841516
[startup+440.173 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 42235 51 0 0 25 0 11 0 547749699 861712384 30440 4294967295 134512640 134569956 3221224400 3221214744 1131575692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 30440 13073 16 0 210363 0
vsize: 841516
[startup+450.172 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 43210 52 0 0 25 0 11 0 547749699 861712384 30505 4294967295 134512640 134569956 3221224400 3221214744 1131575699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 30505 13073 16 0 210363 0
vsize: 841516
[startup+460.173 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 6557
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 44169 52 0 0 24 0 11 0 547749699 861712384 30590 4294967295 134512640 134569956 3221224400 3221214672 1131282353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 30590 13073 16 0 210363 0
vsize: 841516
[startup+470.174 s]
Raw data (loadavg): 1.20 1.03 0.93 3/68 6586
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 45129 53 0 0 25 0 11 0 547749699 861712384 30742 4294967295 134512640 134569956 3221224400 3221214696 1131282366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 30742 13073 16 0 210363 0
vsize: 841516
[startup+480.174 s]
Raw data (loadavg): 1.17 1.03 0.93 2/64 6610
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 46093 54 0 0 25 0 11 0 547749699 861712384 30881 4294967295 134512640 134569956 3221224400 3221214768 1131351577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 30881 13073 16 0 210363 0
vsize: 841516
[startup+490.175 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 6610
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 47066 54 0 0 25 0 11 0 547749699 861712384 31065 4294967295 134512640 134569956 3221224400 3221214672 1131281868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31065 13073 16 0 210363 0
vsize: 841516
[startup+500.18 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 6610
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 48043 55 0 0 25 0 11 0 547749699 861712384 31128 4294967295 134512640 134569956 3221224400 3221214672 1131282893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31128 13073 16 0 210363 0
vsize: 841516
[startup+510.184 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 6610
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 49021 55 0 0 25 0 11 0 547749699 861712384 31227 4294967295 134512640 134569956 3221224400 3221214672 1131282202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31227 13073 16 0 210363 0
vsize: 841516
[startup+520.184 s]
Raw data (loadavg): 1.09 1.03 0.93 2/64 6610
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 50001 55 0 0 25 0 11 0 547749699 861712384 31285 4294967295 134512640 134569956 3221224400 3221214672 1131282506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31285 13073 16 0 210363 0
vsize: 841516
[startup+530.186 s]
Raw data (loadavg): 1.07 1.03 0.93 2/64 6610
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 50979 56 0 0 25 0 11 0 547749699 861712384 31366 4294967295 134512640 134569956 3221224400 3221214672 1131282109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31366 13073 16 0 210363 0
vsize: 841516
[startup+540.187 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 6610
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 51956 56 0 0 25 0 11 0 547749699 861712384 31469 4294967295 134512640 134569956 3221224400 3221214768 1131353209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31469 13073 16 0 210363 0
vsize: 841516
[startup+550.186 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 52928 56 0 0 25 0 11 0 547749699 861712384 31523 4294967295 134512640 134569956 3221224400 3221214744 1131575696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31523 13073 16 0 210363 0
vsize: 841516
[startup+560.187 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 53899 56 0 0 25 0 11 0 547749699 861712384 31639 4294967295 134512640 134569956 3221224400 3221214672 1131281697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31639 13073 16 0 210363 0
vsize: 841516
[startup+570.187 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 54867 56 0 0 25 0 11 0 547749699 861712384 31764 4294967295 134512640 134569956 3221224400 3221214648 1131412937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31764 13073 16 0 210363 0
vsize: 841516
[startup+580.187 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 55841 57 0 0 25 0 11 0 547749699 861712384 31976 4294967295 134512640 134569956 3221224400 3221214672 1131281780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 31976 13073 16 0 210363 0
vsize: 841516
[startup+590.188 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 56816 57 0 0 25 0 11 0 547749699 861712384 32143 4294967295 134512640 134569956 3221224400 3221214672 1131282341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 32143 13073 16 0 210363 0
vsize: 841516
[startup+600.188 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 57793 58 0 0 25 0 11 0 547749699 861712384 32347 4294967295 134512640 134569956 3221224400 3221214672 1131281837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 32347 13073 16 0 210363 0
vsize: 841516
[startup+610.194 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 58771 58 0 0 25 0 11 0 547749699 861712384 32438 4294967295 134512640 134569956 3221224400 3221214672 1131281986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 32438 13073 16 0 210363 0
vsize: 841516
[startup+620.195 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 59745 58 0 0 25 0 11 0 547749699 861712384 32475 4294967295 134512640 134569956 3221224400 3221214768 1131352478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 32475 13073 16 0 210363 0
vsize: 841516
[startup+630.197 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 60720 58 0 0 25 0 11 0 547749699 861712384 32599 4294967295 134512640 134569956 3221224400 3221214728 1131410764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 32599 13073 16 0 210363 0
vsize: 841516
[startup+640.197 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 61690 59 0 0 25 0 11 0 547749699 861712384 32733 4294967295 134512640 134569956 3221224400 3221214712 1131234837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 32733 13073 16 0 210363 0
vsize: 841516
[startup+650.197 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 62665 59 0 0 25 0 11 0 547749699 861712384 32911 4294967295 134512640 134569956 3221224400 3221214672 1131281704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 32911 13073 16 0 210363 0
vsize: 841516
[startup+660.198 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 63643 59 0 0 25 0 11 0 547749699 861712384 33094 4294967295 134512640 134569956 3221224400 3221214768 1131350456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33094 13073 16 0 210363 0
vsize: 841516
[startup+670.198 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 64624 59 0 0 25 0 11 0 547749699 861712384 33219 4294967295 134512640 134569956 3221224400 3221214672 1131282366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33219 13073 16 0 210363 0
vsize: 841516
[startup+680.199 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 65604 60 0 0 25 0 11 0 547749699 861712384 33255 4294967295 134512640 134569956 3221224400 3221214672 1131282854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33255 13073 16 0 210363 0
vsize: 841516
[startup+690.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 66584 61 0 0 25 0 11 0 547749699 861712384 33299 4294967295 134512640 134569956 3221224400 3221214764 1131525706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33299 13073 16 0 210363 0
vsize: 841516
[startup+700.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 67563 61 0 0 24 0 11 0 547749699 861712384 33352 4294967295 134512640 134569956 3221224400 3221214672 1131281704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33352 13073 16 0 210363 0
vsize: 841516
[startup+710.201 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 68544 61 0 0 25 0 11 0 547749699 861712384 33407 4294967295 134512640 134569956 3221224400 3221214768 1131350511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33407 13073 16 0 210363 0
vsize: 841516
[startup+720.202 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 69522 62 0 0 25 0 11 0 547749699 861712384 33480 4294967295 134512640 134569956 3221224400 3221214768 1131352523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33480 13073 16 0 210363 0
vsize: 841516
[startup+730.202 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 70501 62 0 0 25 0 11 0 547749699 861712384 33561 4294967295 134512640 134569956 3221224400 3221214712 1131234816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33561 13073 16 0 210363 0
vsize: 841516
[startup+740.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 71480 63 0 0 25 0 11 0 547749699 861712384 33628 4294967295 134512640 134569956 3221224400 3221214672 1131282164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33628 13073 16 0 210363 0
vsize: 841516
[startup+750.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 72460 63 0 0 25 0 11 0 547749699 861712384 33692 4294967295 134512640 134569956 3221224400 3221214672 1131282140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33692 13073 16 0 210363 0
vsize: 841516
[startup+760.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 73442 64 0 0 25 0 11 0 547749699 861712384 33719 4294967295 134512640 134569956 3221224400 3221214744 1131575699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33719 13073 16 0 210363 0
vsize: 841516
[startup+770.204 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 74419 64 0 0 25 0 11 0 547749699 861712384 33773 4294967295 134512640 134569956 3221224400 3221214712 1131234849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33773 13073 16 0 210363 0
vsize: 841516
[startup+780.205 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 75393 65 0 0 25 0 11 0 547749699 861712384 33836 4294967295 134512640 134569956 3221224400 3221214672 1131282109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33836 13073 16 0 210363 0
vsize: 841516
[startup+790.206 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6612
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 76366 65 0 0 25 0 11 0 547749699 861712384 33871 4294967295 134512640 134569956 3221224400 3221214672 1131282063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33871 13073 16 0 210363 0
vsize: 841516
[startup+800.205 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 77334 65 0 0 25 0 11 0 547749699 861712384 33977 4294967295 134512640 134569956 3221224400 3221214744 1131575696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 33977 13073 16 0 210363 0
vsize: 841516
[startup+810.206 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 78301 65 0 0 25 0 11 0 547749699 861712384 34222 4294967295 134512640 134569956 3221224400 3221214744 1131575699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 34222 13073 16 0 210363 0
vsize: 841516
[startup+820.207 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 79274 65 0 0 25 0 11 0 547749699 861712384 34425 4294967295 134512640 134569956 3221224400 3221214672 1131282063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 34425 13073 16 0 210363 0
vsize: 841516
[startup+830.207 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 80253 66 0 0 25 0 11 0 547749699 861712384 34580 4294967295 134512640 134569956 3221224400 3221214672 1131282285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210379 34580 13073 16 0 210363 0
vsize: 841516
[startup+840.208 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 81232 66 0 0 25 0 11 0 547749699 861712384 34757 4294967295 134512640 134569956 3221224400 3221214672 1131281697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 34757 13073 16 0 210363 0
vsize: 841516
[startup+850.207 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 82213 66 0 0 25 0 11 0 547749699 861712384 34823 4294967295 134512640 134569956 3221224400 3221214672 1131281693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 34823 13073 16 0 210363 0
vsize: 841516
[startup+860.207 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 83194 66 0 0 25 0 11 0 547749699 861712384 34893 4294967295 134512640 134569956 3221224400 3221214672 1131282337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 34893 13073 16 0 210363 0
vsize: 841516
[startup+870.208 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 84174 67 0 0 25 0 11 0 547749699 861712384 34941 4294967295 134512640 134569956 3221224400 3221214672 1131282109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 34941 13073 16 0 210363 0
vsize: 841516
[startup+880.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 85157 67 0 0 25 0 11 0 547749699 861712384 35004 4294967295 134512640 134569956 3221224400 3221214672 1131282607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35004 13073 16 0 210363 0
vsize: 841516
[startup+890.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 86139 67 0 0 25 0 11 0 547749699 861712384 35054 4294967295 134512640 134569956 3221224400 3221214744 1131575848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35054 13073 16 0 210363 0
vsize: 841516
[startup+900.21 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 87119 67 0 0 25 0 11 0 547749699 861712384 35113 4294967295 134512640 134569956 3221224400 3221214672 1131282061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35113 13073 16 0 210363 0
vsize: 841516
[startup+910.211 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 88102 68 0 0 25 0 11 0 547749699 861712384 35158 4294967295 134512640 134569956 3221224400 3221214672 1131281772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35158 13073 16 0 210363 0
vsize: 841516
[startup+920.211 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 89080 68 0 0 25 0 11 0 547749699 861712384 35210 4294967295 134512640 134569956 3221224400 3221214688 1131282168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35210 13073 16 0 210363 0
vsize: 841516
[startup+930.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 90058 68 0 0 25 0 11 0 547749699 861712384 35277 4294967295 134512640 134569956 3221224400 3221214672 1131282109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35277 13073 16 0 210363 0
vsize: 841516
[startup+940.213 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 91038 69 0 0 25 0 11 0 547749699 861712384 35331 4294967295 134512640 134569956 3221224400 3221214712 1131525729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35331 13073 16 0 210363 0
vsize: 841516
[startup+950.213 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 92014 69 0 0 25 0 11 0 547749699 861712384 35398 4294967295 134512640 134569956 3221224400 3221214672 1131281720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35398 13073 16 0 210363 0
vsize: 841516
[startup+960.214 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 92990 69 0 0 25 0 11 0 547749699 861712384 35455 4294967295 134512640 134569956 3221224400 3221214672 1131282301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35455 13073 16 0 210363 0
vsize: 841516
[startup+970.214 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 93967 70 0 0 25 0 11 0 547749699 861712384 35550 4294967295 134512640 134569956 3221224400 3221214712 1131234841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35550 13073 16 0 210363 0
vsize: 841516
[startup+980.221 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 94943 70 0 0 25 0 11 0 547749699 861712384 35672 4294967295 134512640 134569956 3221224400 3221214768 1131353129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35672 13073 16 0 210363 0
vsize: 841516
[startup+990.221 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 95923 70 0 0 25 0 11 0 547749699 861712384 35802 4294967295 134512640 134569956 3221224400 3221214672 1131281701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35802 13073 16 0 210363 0
vsize: 841516
[startup+1000.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 96904 70 0 0 25 0 11 0 547749699 861712384 35919 4294967295 134512640 134569956 3221224400 3221214672 1131282109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35919 13073 16 0 210363 0
vsize: 841516
[startup+1010.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 97887 71 0 0 24 0 11 0 547749699 861712384 35963 4294967295 134512640 134569956 3221224400 3221214672 1131282109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35963 13073 16 0 210363 0
vsize: 841516
[startup+1020.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 98872 71 0 0 25 0 11 0 547749699 861712384 35992 4294967295 134512640 134569956 3221224400 3221214672 1131282313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 35992 13073 16 0 210363 0
vsize: 841516
[startup+1030.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 99854 71 0 0 25 0 11 0 547749699 861712384 36024 4294967295 134512640 134569956 3221224400 3221214744 1131575696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36024 13073 16 0 210363 0
vsize: 841516
[startup+1040.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 100836 71 0 0 25 0 11 0 547749699 861712384 36071 4294967295 134512640 134569956 3221224400 3221214672 1131282343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36071 13073 16 0 210363 0
vsize: 841516
[startup+1050.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 101819 72 0 0 25 0 11 0 547749699 861712384 36116 4294967295 134512640 134569956 3221224400 3221214712 1131235003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36116 13073 16 0 210363 0
vsize: 841516
[startup+1060.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 102796 72 0 0 25 0 11 0 547749699 861712384 36164 4294967295 134512640 134569956 3221224400 3221214672 1131282042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36164 13073 16 0 210363 0
vsize: 841516
[startup+1070.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 103759 72 0 0 25 0 11 0 547749699 861712384 36200 4294967295 134512640 134569956 3221224400 3221214768 1131351577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36200 13073 16 0 210363 0
vsize: 841516
[startup+1080.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 104724 73 0 0 25 0 11 0 547749699 861712384 36235 4294967295 134512640 134569956 3221224400 3221214768 1131353503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36235 13073 16 0 210363 0
vsize: 841516
[startup+1090.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 105688 73 0 0 25 0 11 0 547749699 861712384 36356 4294967295 134512640 134569956 3221224400 3221214768 1131350511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36356 13073 16 0 210363 0
vsize: 841516
[startup+1100.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 106662 73 0 0 25 0 11 0 547749699 861712384 36412 4294967295 134512640 134569956 3221224400 3221214672 1131282898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36412 13073 16 0 210363 0
vsize: 841516
[startup+1110.23 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 107635 74 0 0 25 0 11 0 547749699 861712384 36449 4294967295 134512640 134569956 3221224400 3221214672 1131282109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36449 13073 16 0 210363 0
vsize: 841516
[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 108606 74 0 0 25 0 11 0 547749699 861712384 36516 4294967295 134512640 134569956 3221224400 3221214744 1131575845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36516 13073 16 0 210363 0
vsize: 841516
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 109565 75 0 0 25 0 11 0 547749699 861712384 36586 4294967295 134512640 134569956 3221224400 3221214672 1131281903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36586 13073 16 0 210363 0
vsize: 841516
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 110525 75 0 0 25 0 11 0 547749699 861712384 36760 4294967295 134512640 134569956 3221224400 3221214672 1131282193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 36760 13073 16 0 210363 0
vsize: 841516
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 111484 75 0 0 25 0 11 0 547749699 861712384 37027 4294967295 134512640 134569956 3221224400 3221214672 1131282325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 37027 13073 16 0 210363 0
vsize: 841516
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 112446 76 0 0 25 0 11 0 547749699 861712384 37318 4294967295 134512640 134569956 3221224400 3221214768 1131350456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 37318 13073 16 0 210363 0
vsize: 841516
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 113407 76 0 0 25 0 11 0 547749699 861712384 37532 4294967295 134512640 134569956 3221224400 3221214768 1131352523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 37532 13073 16 0 210363 0
vsize: 841516
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 114369 77 0 0 25 0 11 0 547749699 861712384 37748 4294967295 134512640 134569956 3221224400 3221214768 1131353200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 37748 13073 16 0 210363 0
vsize: 841516
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 115334 77 0 0 25 0 11 0 547749699 861712384 37941 4294967295 134512640 134569956 3221224400 3221214776 1131566205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 37941 13073 16 0 210363 0
vsize: 841516
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 116303 78 0 0 25 0 11 0 547749699 861712384 38239 4294967295 134512640 134569956 3221224400 3221214672 1131282337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 38239 13073 16 0 210363 0
vsize: 841516
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 117276 78 0 0 25 0 11 0 547749699 861712384 38382 4294967295 134512640 134569956 3221224400 3221214768 1131351634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 38382 13073 16 0 210363 0
vsize: 841516
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 118249 78 0 0 25 0 11 0 547749699 861712384 38476 4294967295 134512640 134569956 3221224400 3221214672 1131282337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 38476 13073 16 0 210363 0
vsize: 841516
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 119221 79 0 0 25 0 11 0 547749699 861712384 38574 4294967295 134512640 134569956 3221224400 3221214672 1131281780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 38574 13073 16 0 210363 0
vsize: 841516
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 6614
Raw data (stat): 6547 (java) R 6546 22612 22611 0 -1 0 18063 0 1 0 120188 79 0 0 25 0 11 0 547749699 861712384 38656 4294967295 134512640 134569956 3221224400 3221214912 1131229721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210379 38656 13073 16 0 210363 0
vsize: 841516
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.34 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 6616
Raw data (stat): 6547 (java) Z 6546 22612 22611 0 -1 1036 18063 24762 1 0 120191 86 4714 68 25 0 1 0 547749699 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): 1240.34
CPU time (s): 1250.62
CPU user time (s): 1249.06
CPU system time (s): 1.55576
CPU usage (%): 100.829
Max. virtual memory (Kb): 842872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####