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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
MD5SUM	592fea06f126ca9b3a8a014f1e413b01
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	7773351
Optimality of the best value was proved	NO
Number of terms in the objective function	7812
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	1543007621731
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1543007621731
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1226.04
Number of variables	7812
Total number of constraints	285
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	285
Minimum length of a constraint	31
Maximum length of a constraint	630
Trace number 20860

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        537984 kB
Buffers:          9268 kB
Cached:         465508 kB
SwapCached:          0 kB
Active:         192336 kB
Inactive:       285308 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        537732 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            13408 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 22:22:31 (client local time) WITH STATUS 143 IN 1229.15 SECONDS
stats: 14283 7 1229.15 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-ran12x21.opb
c reading problem 
c [nbvar=7812]
c [nbconstr=285]
c time 21.382
c #vars     7812
c #clauses  319
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=12780319
c Current CPU time (ms) : 95.407
c starts	: 1
c conflicts	: 11
c decisions	: 6477
c propagations	: 30261
c inspects	: 35556
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 11
c root simplifications	: 12
#### 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.43 0.73 0.83 2/55 23156
Raw data (stat): 23156 (runsolver) R 23155 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 425787409 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.0008 s]
Raw data (loadavg): 0.52 0.74 0.83 2/64 23165
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 17976 0 1 0 883 38 0 0 25 0 10 0 425787409 853688320 19189 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 19189 13073 16 0 208404 0
vsize: 833680
[startup+20.0018 s]
Raw data (loadavg): 0.59 0.75 0.83 4/64 23165
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 17988 0 1 0 1723 38 0 0 25 0 10 0 425787409 860024832 21096 4294967295 134512640 134569956 3221224400 3221214448 1130917344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 21096 13073 16 0 209951 0
vsize: 839868
[startup+30.0021 s]
Raw data (loadavg): 0.80 0.79 0.84 2/65 23166
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 2484 40 0 0 25 0 11 0 425787409 859893760 22498 4294967295 134512640 134569956 3221224400 3221214776 1131359535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 22498 13073 16 0 209919 0
vsize: 839740
[startup+40.0018 s]
Raw data (loadavg): 0.83 0.79 0.85 2/65 23166
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 3389 40 0 0 25 0 11 0 425787409 859893760 22519 4294967295 134512640 134569956 3221224400 3221214664 1131422208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 22519 13073 16 0 209919 0
vsize: 839740
[startup+50.0015 s]
Raw data (loadavg): 0.86 0.80 0.85 2/65 23166
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 4296 40 0 0 25 0 11 0 425787409 859893760 22580 4294967295 134512640 134569956 3221224400 3221214776 1131360870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 22580 13073 16 0 209919 0
vsize: 839740
[startup+60.0012 s]
Raw data (loadavg): 0.88 0.80 0.85 2/65 23166
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 5245 40 0 0 25 0 11 0 425787409 859893760 23309 4294967295 134512640 134569956 3221224400 3221214744 1131442454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23309 13073 16 0 209919 0
vsize: 839740
[startup+70.0019 s]
Raw data (loadavg): 0.90 0.81 0.85 2/65 23166
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 6232 40 0 0 25 0 11 0 425787409 859893760 23336 4294967295 134512640 134569956 3221224400 3221214680 1131283400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23336 13073 16 0 209919 0
vsize: 839740
[startup+80.0071 s]
Raw data (loadavg): 0.91 0.82 0.85 2/65 23166
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 7219 41 0 0 25 0 11 0 425787409 859893760 23359 4294967295 134512640 134569956 3221224400 3221214680 1131283185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23359 13073 16 0 209919 0
vsize: 839740
[startup+90.0073 s]
Raw data (loadavg): 0.92 0.82 0.85 2/65 23166
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 0 1 0 8207 41 0 0 25 0 11 0 425787409 859893760 23393 4294967295 134512640 134569956 3221224400 3221214776 1131359764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23393 13073 16 0 209919 0
vsize: 839740
[startup+100.007 s]
Raw data (loadavg): 0.94 0.83 0.85 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 9180 41 0 0 25 0 11 0 425787409 859893760 23408 4294967295 134512640 134569956 3221224400 3221214728 1131237303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23408 13073 16 0 209919 0
vsize: 839740
[startup+110.008 s]
Raw data (loadavg): 0.95 0.83 0.85 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 10149 41 0 0 25 0 11 0 425787409 859893760 23428 4294967295 134512640 134569956 3221224400 3221214728 1131237167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23428 13073 16 0 209919 0
vsize: 839740
[startup+120.008 s]
Raw data (loadavg): 0.95 0.84 0.85 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 11115 41 0 0 25 0 11 0 425787409 859893760 23449 4294967295 134512640 134569956 3221224400 3221214776 1131359519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23449 13073 16 0 209919 0
vsize: 839740
[startup+130.009 s]
Raw data (loadavg): 0.96 0.84 0.85 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 12096 41 0 0 25 0 11 0 425787409 859893760 23658 4294967295 134512640 134569956 3221224400 3221214664 1131408258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23658 13073 16 0 209919 0
vsize: 839740
[startup+140.009 s]
Raw data (loadavg): 0.97 0.85 0.85 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18059 3 1 0 13087 41 0 0 25 0 11 0 425787409 859893760 23663 4294967295 134512640 134569956 3221224400 3221214672 1131401164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23663 13073 16 0 209919 0
vsize: 839740
[startup+150.009 s]
Raw data (loadavg): 0.97 0.85 0.86 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 14074 41 0 0 25 0 11 0 425787409 859893760 23670 4294967295 134512640 134569956 3221224400 3221214400 1131290638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23670 13073 16 0 209919 0
vsize: 839740
[startup+160.009 s]
Raw data (loadavg): 0.97 0.86 0.86 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 15060 41 0 0 25 0 11 0 425787409 859893760 23673 4294967295 134512640 134569956 3221224400 3221214400 1131290563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23673 13073 16 0 209919 0
vsize: 839740
[startup+170.009 s]
Raw data (loadavg): 0.98 0.86 0.86 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 16048 41 0 0 25 0 11 0 425787409 859893760 23676 4294967295 134512640 134569956 3221224400 3221214400 1131291301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23676 13073 16 0 209919 0
vsize: 839740
[startup+180.009 s]
Raw data (loadavg): 0.98 0.86 0.86 2/65 23167
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 17034 41 0 0 25 0 11 0 425787409 859893760 23677 4294967295 134512640 134569956 3221224400 3221214400 1131290713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23677 13073 16 0 209919 0
vsize: 839740
[startup+190.01 s]
Raw data (loadavg): 0.98 0.87 0.86 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 18007 42 0 0 25 0 11 0 425787409 859893760 23684 4294967295 134512640 134569956 3221224400 3221214680 1131283241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23684 13073 16 0 209919 0
vsize: 839740
[startup+200.01 s]
Raw data (loadavg): 0.99 0.87 0.86 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 18977 42 0 0 25 0 11 0 425787409 859893760 23685 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23685 13073 16 0 209919 0
vsize: 839740
[startup+210.011 s]
Raw data (loadavg): 0.99 0.88 0.86 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 19944 42 0 0 25 0 11 0 425787409 859893760 23685 4294967295 134512640 134569956 3221224400 3221214776 1131362441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23685 13073 16 0 209919 0
vsize: 839740
[startup+220.011 s]
Raw data (loadavg): 0.99 0.88 0.86 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 20917 42 0 0 25 0 11 0 425787409 859893760 23869 4294967295 134512640 134569956 3221224400 3221214680 1131283098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23869 13073 16 0 209919 0
vsize: 839740
[startup+230.012 s]
Raw data (loadavg): 0.99 0.88 0.86 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 21910 42 0 0 25 0 11 0 425787409 859893760 23894 4294967295 134512640 134569956 3221224400 3221214680 1131283108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23894 13073 16 0 209919 0
vsize: 839740
[startup+240.012 s]
Raw data (loadavg): 0.99 0.89 0.86 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 22904 43 0 0 25 0 11 0 425787409 859893760 23917 4294967295 134512640 134569956 3221224400 3221214776 1131359544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23917 13073 16 0 209919 0
vsize: 839740
[startup+250.011 s]
Raw data (loadavg): 0.99 0.89 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 23901 43 0 0 25 0 11 0 425787409 859893760 23920 4294967295 134512640 134569956 3221224400 3221214680 1131282660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23920 13073 16 0 209919 0
vsize: 839740
[startup+260.012 s]
Raw data (loadavg): 0.99 0.89 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 24899 43 0 0 25 0 11 0 425787409 859893760 23920 4294967295 134512640 134569956 3221224400 3221214680 1131283213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23920 13073 16 0 209919 0
vsize: 839740
[startup+270.013 s]
Raw data (loadavg): 0.99 0.90 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 25896 43 0 0 25 0 11 0 425787409 859893760 23925 4294967295 134512640 134569956 3221224400 3221214680 1131283509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23925 13073 16 0 209919 0
vsize: 839740
[startup+280.013 s]
Raw data (loadavg): 0.99 0.90 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 26891 43 0 0 25 0 11 0 425787409 859893760 23928 4294967295 134512640 134569956 3221224400 3221214776 1131361690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23928 13073 16 0 209919 0
vsize: 839740
[startup+290.014 s]
Raw data (loadavg): 0.99 0.90 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 27885 44 0 0 25 0 11 0 425787409 859893760 23930 4294967295 134512640 134569956 3221224400 3221214680 1131282688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23930 13073 16 0 209919 0
vsize: 839740
[startup+300.014 s]
Raw data (loadavg): 0.99 0.90 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 28880 44 0 0 25 0 11 0 425787409 859893760 23941 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23941 13073 16 0 209919 0
vsize: 839740
[startup+310.014 s]
Raw data (loadavg): 0.99 0.91 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 29877 44 0 0 25 0 11 0 425787409 859893760 23956 4294967295 134512640 134569956 3221224400 3221214776 1131360848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23956 13073 16 0 209919 0
vsize: 839740
[startup+320.014 s]
Raw data (loadavg): 0.99 0.91 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 30874 44 0 0 25 0 11 0 425787409 859893760 23959 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 23959 13073 16 0 209919 0
vsize: 839740
[startup+330.015 s]
Raw data (loadavg): 0.99 0.91 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 31871 44 0 0 25 0 11 0 425787409 859893760 23960 4294967295 134512640 134569956 3221224400 3221214680 1131282604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23960 13073 16 0 209919 0
vsize: 839740
[startup+340.014 s]
Raw data (loadavg): 0.99 0.91 0.87 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 32869 45 0 0 25 0 11 0 425787409 859893760 23964 4294967295 134512640 134569956 3221224400 3221214776 1131360863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23964 13073 16 0 209919 0
vsize: 839740
[startup+350.014 s]
Raw data (loadavg): 0.99 0.92 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 33860 45 0 0 25 0 11 0 425787409 859893760 23967 4294967295 134512640 134569956 3221224400 3221214672 1131401500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23967 13073 16 0 209919 0
vsize: 839740
[startup+360.018 s]
Raw data (loadavg): 0.99 0.92 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 34847 45 0 0 25 0 11 0 425787409 859893760 23967 4294967295 134512640 134569956 3221224400 3221214776 1131361767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23967 13073 16 0 209919 0
vsize: 839740
[startup+370.017 s]
Raw data (loadavg): 0.99 0.92 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 35817 45 0 0 25 0 11 0 425787409 859893760 23968 4294967295 134512640 134569956 3221224400 3221214776 1131359735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23968 13073 16 0 209919 0
vsize: 839740
[startup+380.018 s]
Raw data (loadavg): 0.99 0.92 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 36775 45 0 0 25 0 11 0 425787409 859893760 23972 4294967295 134512640 134569956 3221224400 3221214680 1131283116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 23972 13073 16 0 209919 0
vsize: 839740
[startup+390.019 s]
Raw data (loadavg): 0.99 0.92 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 37736 45 0 0 25 0 11 0 425787409 859893760 24071 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 24071 13073 16 0 209919 0
vsize: 839740
[startup+400.018 s]
Raw data (loadavg): 0.99 0.93 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 38704 45 0 0 25 0 11 0 425787409 859893760 24316 4294967295 134512640 134569956 3221224400 3221214680 1131283237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24316 13073 16 0 209919 0
vsize: 839740
[startup+410.019 s]
Raw data (loadavg): 0.99 0.93 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 39698 45 0 0 25 0 11 0 425787409 859893760 24326 4294967295 134512640 134569956 3221224400 3221214680 1131283509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24326 13073 16 0 209919 0
vsize: 839740
[startup+420.019 s]
Raw data (loadavg): 0.99 0.93 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 40692 45 0 0 25 0 11 0 425787409 859893760 24342 4294967295 134512640 134569956 3221224400 3221214776 1131359800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24342 13073 16 0 209919 0
vsize: 839740
[startup+430.019 s]
Raw data (loadavg): 0.99 0.93 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 41689 46 0 0 25 0 11 0 425787409 859893760 24344 4294967295 134512640 134569956 3221224400 3221214680 1131283406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24344 13073 16 0 209919 0
vsize: 839740
[startup+440.019 s]
Raw data (loadavg): 0.99 0.93 0.88 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 42686 46 0 0 25 0 11 0 425787409 859893760 24362 4294967295 134512640 134569956 3221224400 3221214680 1131284142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24362 13073 16 0 209919 0
vsize: 839740
[startup+450.019 s]
Raw data (loadavg): 0.99 0.94 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 43680 46 0 0 25 0 11 0 425787409 859893760 24363 4294967295 134512640 134569956 3221224400 3221214680 1131283564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24363 13073 16 0 209919 0
vsize: 839740
[startup+460.019 s]
Raw data (loadavg): 0.99 0.94 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 44675 46 0 0 25 0 11 0 425787409 859893760 24363 4294967295 134512640 134569956 3221224400 3221214776 1131360969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24363 13073 16 0 209919 0
vsize: 839740
[startup+470.02 s]
Raw data (loadavg): 0.99 0.94 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 45670 46 0 0 25 0 11 0 425787409 859893760 24370 4294967295 134512640 134569956 3221224400 3221214728 1131237278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24370 13073 16 0 209919 0
vsize: 839740
[startup+480.021 s]
Raw data (loadavg): 0.99 0.94 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 46666 46 0 0 25 0 11 0 425787409 859893760 24398 4294967295 134512640 134569956 3221224400 3221214680 1131283165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24398 13073 16 0 209919 0
vsize: 839740
[startup+490.02 s]
Raw data (loadavg): 0.99 0.94 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 47661 46 0 0 25 0 11 0 425787409 859893760 24399 4294967295 134512640 134569956 3221224400 3221214680 1131283237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24399 13073 16 0 209919 0
vsize: 839740
[startup+500.021 s]
Raw data (loadavg): 0.99 0.94 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 48656 46 0 0 25 0 11 0 425787409 859893760 24399 4294967295 134512640 134569956 3221224400 3221214680 1131283203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24399 13073 16 0 209919 0
vsize: 839740
[startup+510.021 s]
Raw data (loadavg): 0.99 0.94 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 49652 46 0 0 25 0 11 0 425787409 859893760 24414 4294967295 134512640 134569956 3221224400 3221214776 1131362424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24414 13073 16 0 209919 0
vsize: 839740
[startup+520.021 s]
Raw data (loadavg): 0.99 0.95 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 50649 46 0 0 25 0 11 0 425787409 859893760 24417 4294967295 134512640 134569956 3221224400 3221214680 1131283924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24417 13073 16 0 209919 0
vsize: 839740
[startup+530.021 s]
Raw data (loadavg): 0.99 0.95 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 51647 46 0 0 25 0 11 0 425787409 859893760 24420 4294967295 134512640 134569956 3221224400 3221214772 1131284163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 24420 13073 16 0 209919 0
vsize: 839740
[startup+540.024 s]
Raw data (loadavg): 0.99 0.95 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 52643 47 0 0 25 0 11 0 425787409 859893760 24421 4294967295 134512640 134569956 3221224400 3221214680 1131283813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24421 13073 16 0 209919 0
vsize: 839740
[startup+550.024 s]
Raw data (loadavg): 0.99 0.95 0.89 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 53639 47 0 0 25 0 11 0 425787409 859893760 24422 4294967295 134512640 134569956 3221224400 3221214776 1131360829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24422 13073 16 0 209919 0
vsize: 839740
[startup+560.024 s]
Raw data (loadavg): 0.99 0.95 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 54634 47 0 0 25 0 11 0 425787409 859893760 24429 4294967295 134512640 134569956 3221224400 3221214728 1131237125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24429 13073 16 0 209919 0
vsize: 839740
[startup+570.024 s]
Raw data (loadavg): 0.99 0.95 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 55630 47 0 0 18 0 11 0 425787409 859893760 24442 4294967295 134512640 134569956 3221224400 3221214776 1131360823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24442 13073 16 0 209919 0
vsize: 839740
[startup+580.025 s]
Raw data (loadavg): 0.99 0.95 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 56628 47 0 0 25 0 11 0 425787409 859893760 24445 4294967295 134512640 134569956 3221224400 3221214680 1131283843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24445 13073 16 0 209919 0
vsize: 839740
[startup+590.024 s]
Raw data (loadavg): 0.99 0.95 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 57626 47 0 0 25 0 11 0 425787409 859893760 24446 4294967295 134512640 134569956 3221224400 3221214640 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24446 13073 16 0 209919 0
vsize: 839740
[startup+600.024 s]
Raw data (loadavg): 0.99 0.95 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 58624 47 0 0 25 0 11 0 425787409 859893760 24450 4294967295 134512640 134569956 3221224400 3221214680 1131283868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24450 13073 16 0 209919 0
vsize: 839740
[startup+610.025 s]
Raw data (loadavg): 0.99 0.95 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 59619 48 0 0 25 0 11 0 425787409 859893760 24451 4294967295 134512640 134569956 3221224400 3221214680 1131283126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24451 13073 16 0 209919 0
vsize: 839740
[startup+620.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 60614 48 0 0 25 0 11 0 425787409 859893760 24464 4294967295 134512640 134569956 3221224400 3221214680 1131283134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24464 13073 16 0 209919 0
vsize: 839740
[startup+630.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 61609 48 0 0 25 0 11 0 425787409 859893760 24464 4294967295 134512640 134569956 3221224400 3221214728 1131237353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24464 13073 16 0 209919 0
vsize: 839740
[startup+640.026 s]
Raw data (loadavg): 0.99 0.96 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 62605 48 0 0 25 0 11 0 425787409 859893760 24478 4294967295 134512640 134569956 3221224400 3221214776 1131359735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24478 13073 16 0 209919 0
vsize: 839740
[startup+650.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 63602 48 0 0 25 0 11 0 425787409 859893760 24480 4294967295 134512640 134569956 3221224400 3221214680 1131283126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24480 13073 16 0 209919 0
vsize: 839740
[startup+660.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 64600 48 0 0 25 0 11 0 425787409 859893760 24486 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24486 13073 16 0 209919 0
vsize: 839740
[startup+670.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 65596 48 0 0 25 0 11 0 425787409 859893760 24492 4294967295 134512640 134569956 3221224400 3221214680 1131283173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24492 13073 16 0 209919 0
vsize: 839740
[startup+680.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 66591 48 0 0 25 0 11 0 425787409 859893760 24499 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24499 13073 16 0 209919 0
vsize: 839740
[startup+690.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 67585 48 0 0 25 0 11 0 425787409 859893760 24500 4294967295 134512640 134569956 3221224400 3221214680 1131283134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24500 13073 16 0 209919 0
vsize: 839740
[startup+700.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 68582 48 0 0 25 0 11 0 425787409 859893760 24518 4294967295 134512640 134569956 3221224400 3221214680 1131283134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24518 13073 16 0 209919 0
vsize: 839740
[startup+710.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 69580 48 0 0 25 0 11 0 425787409 859893760 24521 4294967295 134512640 134569956 3221224400 3221214776 1131359535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24521 13073 16 0 209919 0
vsize: 839740
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 70578 48 0 0 25 0 11 0 425787409 859893760 24522 4294967295 134512640 134569956 3221224400 3221214776 1131360870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24522 13073 16 0 209919 0
vsize: 839740
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 71576 48 0 0 25 0 11 0 425787409 859893760 24523 4294967295 134512640 134569956 3221224400 3221214776 1131362384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24523 13073 16 0 209919 0
vsize: 839740
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 72572 48 0 0 25 0 11 0 425787409 859893760 24525 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24525 13073 16 0 209919 0
vsize: 839740
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 73566 48 0 0 25 0 11 0 425787409 859893760 24526 4294967295 134512640 134569956 3221224400 3221214680 1131283145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24526 13073 16 0 209919 0
vsize: 839740
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 74561 49 0 0 25 0 11 0 425787409 859893760 24527 4294967295 134512640 134569956 3221224400 3221214680 1131283013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24527 13073 16 0 209919 0
vsize: 839740
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 75557 49 0 0 25 0 11 0 425787409 859893760 24546 4294967295 134512640 134569956 3221224400 3221214776 1131362390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24546 13073 16 0 209919 0
vsize: 839740
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 76555 49 0 0 25 0 11 0 425787409 859893760 24551 4294967295 134512640 134569956 3221224400 3221214680 1131283134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24551 13073 16 0 209919 0
vsize: 839740
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 77553 49 0 0 25 0 11 0 425787409 859893760 24552 4294967295 134512640 134569956 3221224400 3221214680 1131237179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24552 13073 16 0 209919 0
vsize: 839740
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 78551 49 0 0 25 0 11 0 425787409 859893760 24552 4294967295 134512640 134569956 3221224400 3221214632 1131283237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24552 13073 16 0 209919 0
vsize: 839740
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 79549 49 0 0 25 0 11 0 425787409 859893760 24553 4294967295 134512640 134569956 3221224400 3221214632 1131283013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24553 13073 16 0 209919 0
vsize: 839740
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 80543 49 0 0 25 0 11 0 425787409 859893760 24559 4294967295 134512640 134569956 3221224400 3221214632 1131282681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24559 13073 16 0 209919 0
vsize: 839740
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 81538 49 0 0 25 0 11 0 425787409 859893760 24560 4294967295 134512640 134569956 3221224400 3221214728 1131362476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24560 13073 16 0 209919 0
vsize: 839740
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 82533 49 0 0 25 0 11 0 425787409 859893760 24562 4294967295 134512640 134569956 3221224400 3221214632 1131283253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24562 13073 16 0 209919 0
vsize: 839740
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 83530 50 0 0 25 0 11 0 425787409 859893760 24583 4294967295 134512640 134569956 3221224400 3221214680 1131237167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24583 13073 16 0 209919 0
vsize: 839740
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 84528 50 0 0 25 0 11 0 425787409 859893760 24583 4294967295 134512640 134569956 3221224400 3221214728 1131359735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 24583 13073 16 0 209919 0
vsize: 839740
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 85526 50 0 0 25 0 11 0 425787409 859893760 24587 4294967295 134512640 134569956 3221224400 3221214728 1131360848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24587 13073 16 0 209919 0
vsize: 839740
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 86524 50 0 0 25 0 11 0 425787409 859893760 24587 4294967295 134512640 134569956 3221224400 3221214632 1131283541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24587 13073 16 0 209919 0
vsize: 839740
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 87521 50 0 0 25 0 11 0 425787409 859893760 24593 4294967295 134512640 134569956 3221224400 3221214728 1131362457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24593 13073 16 0 209919 0
vsize: 839740
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 88516 50 0 0 25 0 11 0 425787409 859893760 24593 4294967295 134512640 134569956 3221224400 3221214632 1131282906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24593 13073 16 0 209919 0
vsize: 839740
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 89510 50 0 0 25 0 11 0 425787409 859893760 24594 4294967295 134512640 134569956 3221224400 3221214632 1131283243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24594 13073 16 0 209919 0
vsize: 839740
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 90504 50 0 0 25 0 11 0 425787409 859893760 24596 4294967295 134512640 134569956 3221224400 3221214632 1131282629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24596 13073 16 0 209919 0
vsize: 839740
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 91500 50 0 0 25 0 11 0 425787409 859893760 24619 4294967295 134512640 134569956 3221224400 3221214632 1131283013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24619 13073 16 0 209919 0
vsize: 839740
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 92497 50 0 0 25 0 11 0 425787409 859893760 24628 4294967295 134512640 134569956 3221224400 3221214632 1131283149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24628 13073 16 0 209919 0
vsize: 839740
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 93495 50 0 0 25 0 11 0 425787409 859893760 24628 4294967295 134512640 134569956 3221224400 3221214632 1131283400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24628 13073 16 0 209919 0
vsize: 839740
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 94492 50 0 0 25 0 11 0 425787409 859893760 24636 4294967295 134512640 134569956 3221224400 3221214680 1131237315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24636 13073 16 0 209919 0
vsize: 839740
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 95489 50 0 0 25 0 11 0 425787409 859893760 24639 4294967295 134512640 134569956 3221224400 3221214728 1131360826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24639 13073 16 0 209919 0
vsize: 839740
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 96485 50 0 0 25 0 11 0 425787409 859893760 24669 4294967295 134512640 134569956 3221224400 3221214632 1131282593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24669 13073 16 0 209919 0
vsize: 839740
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 97480 50 0 0 25 0 11 0 425787409 859893760 24672 4294967295 134512640 134569956 3221224400 3221214632 1131283013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24672 13073 16 0 209919 0
vsize: 839740
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 98474 51 0 0 25 0 11 0 425787409 859893760 24679 4294967295 134512640 134569956 3221224400 3221214632 1131283010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24679 13073 16 0 209919 0
vsize: 839740
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 99470 51 0 0 25 0 11 0 425787409 859893760 24695 4294967295 134512640 134569956 3221224400 3221214632 1131282589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24695 13073 16 0 209919 0
vsize: 839740
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 100468 51 0 0 25 0 11 0 425787409 859893760 24696 4294967295 134512640 134569956 3221224400 3221214632 1131283237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24696 13073 16 0 209919 0
vsize: 839740
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 101466 51 0 0 25 0 11 0 425787409 859893760 24696 4294967295 134512640 134569956 3221224400 3221214632 1131283104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24696 13073 16 0 209919 0
vsize: 839740
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 102463 51 0 0 25 0 11 0 425787409 859893760 24697 4294967295 134512640 134569956 3221224400 3221214728 1131361767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24697 13073 16 0 209919 0
vsize: 839740
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 103461 51 0 0 25 0 11 0 425787409 859893760 24702 4294967295 134512640 134569956 3221224400 3221214632 1131283306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24702 13073 16 0 209919 0
vsize: 839740
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 104459 51 0 0 25 0 11 0 425787409 859893760 24703 4294967295 134512640 134569956 3221224400 3221214632 1131282604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24703 13073 16 0 209919 0
vsize: 839740
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 105455 51 0 0 25 0 11 0 425787409 859893760 24707 4294967295 134512640 134569956 3221224400 3221214632 1131283237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24707 13073 16 0 209919 0
vsize: 839740
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 106451 51 0 0 25 0 11 0 425787409 859893760 24710 4294967295 134512640 134569956 3221224400 3221214632 1131283241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24710 13073 16 0 209919 0
vsize: 839740
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 107446 51 0 0 25 0 11 0 425787409 859893760 24711 4294967295 134512640 134569956 3221224400 3221214632 1131283134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24711 13073 16 0 209919 0
vsize: 839740
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 108442 52 0 0 25 0 11 0 425787409 859893760 24726 4294967295 134512640 134569956 3221224400 3221214632 1131283241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24726 13073 16 0 209919 0
vsize: 839740
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 109439 52 0 0 25 0 11 0 425787409 859893760 24726 4294967295 134512640 134569956 3221224400 3221214632 1131282925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24726 13073 16 0 209919 0
vsize: 839740
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 110437 52 0 0 25 0 11 0 425787409 859893760 24734 4294967295 134512640 134569956 3221224400 3221214632 1131283258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24734 13073 16 0 209919 0
vsize: 839740
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 111435 52 0 0 25 0 11 0 425787409 859893760 24741 4294967295 134512640 134569956 3221224400 3221214632 1131283241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24741 13073 16 0 209919 0
vsize: 839740
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 112433 52 0 0 25 0 11 0 425787409 859893760 24742 4294967295 134512640 134569956 3221224400 3221214632 1131282604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24742 13073 16 0 209919 0
vsize: 839740
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 113431 52 0 0 25 0 11 0 425787409 859893760 24743 4294967295 134512640 134569956 3221224400 3221214728 1131361767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 24743 13073 16 0 209919 0
vsize: 839740
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 114427 52 0 0 25 0 11 0 425787409 859893760 24745 4294967295 134512640 134569956 3221224400 3221214728 1131359800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24745 13073 16 0 209919 0
vsize: 839740
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 115421 52 0 0 25 0 11 0 425787409 859893760 24745 4294967295 134512640 134569956 3221224400 3221214728 1131359735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24745 13073 16 0 209919 0
vsize: 839740
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 116415 52 0 0 25 0 11 0 425787409 859893760 24746 4294967295 134512640 134569956 3221224400 3221214728 1131359519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24746 13073 16 0 209919 0
vsize: 839740
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 117411 52 0 0 25 0 11 0 425787409 859893760 24771 4294967295 134512640 134569956 3221224400 3221214632 1131283813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 24771 13073 16 0 209919 0
vsize: 839740
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 118408 52 0 0 25 0 11 0 425787409 859893760 24778 4294967295 134512640 134569956 3221224400 3221214632 1131283237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24778 13073 16 0 209919 0
vsize: 839740
[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 119406 52 0 0 25 0 11 0 425787409 859893760 24778 4294967295 134512640 134569956 3221224400 3221214632 1131282969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209935 24778 13073 16 0 209919 0
vsize: 839740
[startup+1220.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 23169
Raw data (stat): 23156 (java) R 23155 30927 30926 0 -1 0 18060 3 1 0 120404 53 0 0 25 0 11 0 425787409 859893760 24779 4294967295 134512640 134569956 3221224400 3221214632 1131282994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209935 24779 13073 16 0 209919 0
vsize: 839740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 23171
Raw data (stat): 23156 (java) Z 23155 30927 30926 0 -1 1036 18060 8512 1 0 120405 57 2420 30 23 0 1 0 425787409 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): 1220.13
CPU time (s): 1229.15
CPU user time (s): 1228.26
CPU system time (s): 0.882865
CPU usage (%): 100.739
Max. virtual memory (Kb): 839868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####