PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb
MD5SUM	4cc62e621e04c5a4e55edc3240fa3357
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	537600
Optimality of the best value was proved	NO
Number of terms in the objective function	1160
Biggest coefficient in the objective function	196608
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	15892320
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	25600000000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	232836875088
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1257.12
Number of variables	1260
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	127
Trace number 21075

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 22:39:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13854 boxname=wulflinc18 idbench=1066 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4cc62e621e04c5a4e55edc3240fa3357  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-rgn.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-rgn.opb
IDLAUNCH: 13854
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        454836 kB
Buffers:         25948 kB
Cached:         530820 kB
SwapCached:        764 kB
Active:         165400 kB
Inactive:       393372 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        454584 kB
SwapTotal:     2097892 kB
SwapFree:      2096152 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            15220 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 23:00:45 (client local time) WITH STATUS 143 IN 1255.45 SECONDS
stats: 13854 7 1255.45 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-rgn.opb
c reading problem 
c [nbvar=1260]
c [nbconstr=204]
c time 2.498
c #vars     1260
c #clauses  124
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.91 0.95 0.90 2/55 10299
Raw data (stat): 10299 (runsolver) R 10298 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548741352 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+9.99964 s]
Raw data (loadavg): 1.16 1.00 0.92 4/65 10309
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18099 0 1 0 573 40 0 0 25 0 11 0 548741352 869769216 22476 4294967295 134512640 134569956 3221224400 3221214632 1131448141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212346 22476 13073 16 0 212330 0
vsize: 849384
[startup+20.0143 s]
Raw data (loadavg): 1.28 1.04 0.93 2/65 10309
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18101 0 1 0 1371 40 0 0 25 0 11 0 548741352 867733504 22626 4294967295 134512640 134569956 3221224400 3221214576 1131469086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 22626 13073 16 0 211833 0
vsize: 847396
[startup+30.0335 s]
Raw data (loadavg): 1.24 1.03 0.93 2/65 10309
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 2313 41 0 0 25 0 11 0 548741352 867733504 23216 4294967295 134512640 134569956 3221224400 3221214096 1080070613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 23216 13073 16 0 211833 0
vsize: 847396
[startup+40.0344 s]
Raw data (loadavg): 1.20 1.03 0.93 2/65 10309
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 3249 41 0 0 25 0 11 0 548741352 867733504 23878 4294967295 134512640 134569956 3221224400 3221214712 1131306540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 23878 13073 16 0 211833 0
vsize: 847396
[startup+50.0442 s]
Raw data (loadavg): 1.17 1.03 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 4189 42 0 0 25 0 11 0 548741352 867733504 23878 4294967295 134512640 134569956 3221224400 3221214688 1131220429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 23878 13073 16 0 211833 0
vsize: 847396
[startup+60.0532 s]
Raw data (loadavg): 1.14 1.03 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 5124 43 0 0 25 0 11 0 548741352 867733504 24002 4294967295 134512640 134569956 3221224400 3221214776 1131273988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 24002 13073 16 0 211833 0
vsize: 847396
[startup+70.0621 s]
Raw data (loadavg): 1.12 1.03 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 6067 43 0 0 24 0 11 0 548741352 867733504 24347 4294967295 134512640 134569956 3221224400 3221214776 1131275961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 24347 13073 16 0 211833 0
vsize: 847396
[startup+80.0665 s]
Raw data (loadavg): 1.10 1.03 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 7023 44 0 0 24 0 11 0 548741352 867733504 24577 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 24577 13073 16 0 211833 0
vsize: 847396
[startup+90.067 s]
Raw data (loadavg): 1.08 1.03 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 7983 44 0 0 25 0 11 0 548741352 867733504 24726 4294967295 134512640 134569956 3221224400 3221214776 1131273927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 24726 13073 16 0 211833 0
vsize: 847396
[startup+100.067 s]
Raw data (loadavg): 1.07 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 8940 44 0 0 25 0 11 0 548741352 867733504 24864 4294967295 134512640 134569956 3221224400 3221214544 1131583131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 24864 13073 16 0 211833 0
vsize: 847396
[startup+110.067 s]
Raw data (loadavg): 1.06 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 9900 44 0 0 25 0 11 0 548741352 867733504 24991 4294967295 134512640 134569956 3221224400 3221214776 1131273920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 24991 13073 16 0 211833 0
vsize: 847396
[startup+120.068 s]
Raw data (loadavg): 1.05 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 10861 45 0 0 25 0 11 0 548741352 867733504 25169 4294967295 134512640 134569956 3221224400 3221214688 1131220078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 25169 13073 16 0 211833 0
vsize: 847396
[startup+130.068 s]
Raw data (loadavg): 1.04 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 11829 45 0 0 25 0 11 0 548741352 867733504 25351 4294967295 134512640 134569956 3221224400 3221214688 1131221424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 25351 13073 16 0 211833 0
vsize: 847396
[startup+140.069 s]
Raw data (loadavg): 1.04 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 12798 45 0 0 25 0 11 0 548741352 867733504 25513 4294967295 134512640 134569956 3221224400 3221214776 1131275036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 25513 13073 16 0 211833 0
vsize: 847396
[startup+150.07 s]
Raw data (loadavg): 1.03 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 13761 46 0 0 25 0 11 0 548741352 867733504 25627 4294967295 134512640 134569956 3221224400 3221214688 1131220156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 25627 13073 16 0 211833 0
vsize: 847396
[startup+160.07 s]
Raw data (loadavg): 1.02 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 14726 46 0 0 25 0 11 0 548741352 867733504 25771 4294967295 134512640 134569956 3221224400 3221214688 1131220097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 25771 13073 16 0 211833 0
vsize: 847396
[startup+170.071 s]
Raw data (loadavg): 1.02 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 15694 47 0 0 25 0 11 0 548741352 867733504 25948 4294967295 134512640 134569956 3221224400 3221214688 1131220065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 25948 13073 16 0 211833 0
vsize: 847396
[startup+180.071 s]
Raw data (loadavg): 1.02 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 16660 47 0 0 25 0 11 0 548741352 867733504 26176 4294967295 134512640 134569956 3221224400 3221214776 1131274990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 26176 13073 16 0 211833 0
vsize: 847396
[startup+190.073 s]
Raw data (loadavg): 1.01 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 17631 47 0 0 25 0 11 0 548741352 867733504 26302 4294967295 134512640 134569956 3221224400 3221214776 1131277271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 26302 13073 16 0 211833 0
vsize: 847396
[startup+200.073 s]
Raw data (loadavg): 1.01 1.02 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 18601 47 0 0 25 0 11 0 548741352 867733504 26419 4294967295 134512640 134569956 3221224400 3221214776 1131273727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 26419 13073 16 0 211833 0
vsize: 847396
[startup+210.073 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 19567 48 0 0 25 0 11 0 548741352 867733504 26566 4294967295 134512640 134569956 3221224400 3221214776 1131274990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 26566 13073 16 0 211833 0
vsize: 847396
[startup+220.074 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 20537 48 0 0 25 0 11 0 548741352 867733504 26698 4294967295 134512640 134569956 3221224400 3221214776 1131277239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 26698 13073 16 0 211833 0
vsize: 847396
[startup+230.075 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 21504 48 0 0 25 0 11 0 548741352 867733504 26871 4294967295 134512640 134569956 3221224400 3221214776 1131273920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 26871 13073 16 0 211833 0
vsize: 847396
[startup+240.076 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 22473 49 0 0 25 0 11 0 548741352 867733504 27041 4294967295 134512640 134569956 3221224400 3221214776 1131275168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 27041 13073 16 0 211833 0
vsize: 847396
[startup+250.076 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 23445 49 0 0 25 0 11 0 548741352 867733504 27163 4294967295 134512640 134569956 3221224400 3221214688 1131220642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 27163 13073 16 0 211833 0
vsize: 847396
[startup+260.077 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 24419 50 0 0 25 0 11 0 548741352 867733504 27258 4294967295 134512640 134569956 3221224400 3221214672 1131561232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 27258 13073 16 0 211833 0
vsize: 847396
[startup+270.077 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 25391 51 0 0 25 0 11 0 548741352 867733504 27383 4294967295 134512640 134569956 3221224400 3221214672 1131561228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 27383 13073 16 0 211833 0
vsize: 847396
[startup+280.078 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 26360 51 0 0 25 0 11 0 548741352 867733504 27570 4294967295 134512640 134569956 3221224400 3221214688 1131220585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 27570 13073 16 0 211833 0
vsize: 847396
[startup+290.08 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 27328 51 0 0 25 0 11 0 548741352 867733504 27740 4294967295 134512640 134569956 3221224400 3221214776 1131273920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 27740 13073 16 0 211833 0
vsize: 847396
[startup+300.08 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 28299 52 0 0 25 0 11 0 548741352 867733504 27909 4294967295 134512640 134569956 3221224400 3221214672 1131561239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 27909 13073 16 0 211833 0
vsize: 847396
[startup+310.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 29268 52 0 0 25 0 11 0 548741352 867733504 28104 4294967295 134512640 134569956 3221224400 3221214688 1131220696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 28104 13073 16 0 211833 0
vsize: 847396
[startup+320.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 30237 52 0 0 25 0 11 0 548741352 867733504 28335 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 28335 13073 16 0 211833 0
vsize: 847396
[startup+330.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10311
Raw data (stat): 10299 (java) S 10298 20024 20023 0 -1 0 18103 0 1 0 31207 53 0 0 25 0 11 0 548741352 867733504 28545 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 28545 13073 16 0 211833 0
vsize: 847396
[startup+340.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10311
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 32182 53 0 0 25 0 11 0 548741352 867733504 28668 4294967295 134512640 134569956 3221224400 3221214776 1131274689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 28668 13073 16 0 211833 0
vsize: 847396
[startup+350.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 33153 53 0 0 25 0 11 0 548741352 867733504 28850 4294967295 134512640 134569956 3221224400 3221214776 1131274933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 28850 13073 16 0 211833 0
vsize: 847396
[startup+360.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 34126 53 0 0 25 0 11 0 548741352 867733504 29035 4294967295 134512640 134569956 3221224400 3221214688 1131220831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29035 13073 16 0 211833 0
vsize: 847396
[startup+370.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 35097 53 0 0 24 0 11 0 548741352 867733504 29157 4294967295 134512640 134569956 3221224400 3221214776 1131273927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29157 13073 16 0 211833 0
vsize: 847396
[startup+380.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 36070 53 0 0 25 0 11 0 548741352 867733504 29315 4294967295 134512640 134569956 3221224400 3221214776 1131273727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29315 13073 16 0 211833 0
vsize: 847396
[startup+390.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 37042 53 0 0 25 0 11 0 548741352 867733504 29479 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29479 13073 16 0 211833 0
vsize: 847396
[startup+400.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 38016 53 0 0 25 0 11 0 548741352 867733504 29675 4294967295 134512640 134569956 3221224400 3221214688 1131220358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29675 13073 16 0 211833 0
vsize: 847396
[startup+410.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 38996 54 0 0 25 0 11 0 548741352 867733504 29815 4294967295 134512640 134569956 3221224400 3221214776 1131274866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29815 13073 16 0 211833 0
vsize: 847396
[startup+420.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 39977 54 0 0 25 0 11 0 548741352 867733504 29889 4294967295 134512640 134569956 3221224400 3221214776 1131274960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29889 13073 16 0 211833 0
vsize: 847396
[startup+430.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 40959 54 0 0 25 0 11 0 548741352 867733504 29940 4294967295 134512640 134569956 3221224400 3221214776 1131273927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29940 13073 16 0 211833 0
vsize: 847396
[startup+440.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 41937 54 0 0 25 0 11 0 548741352 867733504 29977 4294967295 134512640 134569956 3221224400 3221214776 1131275036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 29977 13073 16 0 211833 0
vsize: 847396
[startup+450.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 42913 54 0 0 25 0 11 0 548741352 867733504 30036 4294967295 134512640 134569956 3221224400 3221214688 1131220065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 30036 13073 16 0 211833 0
vsize: 847396
[startup+460.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 43889 54 0 0 25 0 11 0 548741352 867733504 30097 4294967295 134512640 134569956 3221224400 3221214688 1131220666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 30097 13073 16 0 211833 0
vsize: 847396
[startup+470.094 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 44864 54 0 0 24 0 11 0 548741352 867733504 30196 4294967295 134512640 134569956 3221224400 3221214688 1131220726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 30196 13073 16 0 211833 0
vsize: 847396
[startup+480.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 45843 54 0 0 25 0 11 0 548741352 867733504 30298 4294967295 134512640 134569956 3221224400 3221214688 1131220097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 30298 13073 16 0 211833 0
vsize: 847396
[startup+490.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 46819 54 0 0 25 0 11 0 548741352 867733504 30408 4294967295 134512640 134569956 3221224400 3221214688 1131220706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 30408 13073 16 0 211833 0
vsize: 847396
[startup+500.097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 47787 54 0 0 25 0 11 0 548741352 867733504 30488 4294967295 134512640 134569956 3221224400 3221214776 1131273927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 30488 13073 16 0 211833 0
vsize: 847396
[startup+510.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 48740 54 0 0 24 0 11 0 548741352 867733504 30585 4294967295 134512640 134569956 3221224400 3221214688 1131221606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 30585 13073 16 0 211833 0
vsize: 847396
[startup+520.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 49695 54 0 0 24 0 11 0 548741352 867733504 30770 4294967295 134512640 134569956 3221224400 3221214688 1131221326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 30770 13073 16 0 211833 0
vsize: 847396
[startup+530.099 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 50653 54 0 0 24 0 11 0 548741352 867733504 31021 4294967295 134512640 134569956 3221224400 3221214688 1131220706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 31021 13073 16 0 211833 0
vsize: 847396
[startup+540.099 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 51613 54 0 0 25 0 11 0 548741352 867733504 31204 4294967295 134512640 134569956 3221224400 3221214688 1131221306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 31204 13073 16 0 211833 0
vsize: 847396
[startup+550.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 52577 54 0 0 25 0 11 0 548741352 867733504 31385 4294967295 134512640 134569956 3221224400 3221214776 1131273885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 31385 13073 16 0 211833 0
vsize: 847396
[startup+560.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 53541 55 0 0 24 0 11 0 548741352 867733504 31634 4294967295 134512640 134569956 3221224400 3221214688 1131221414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 31634 13073 16 0 211833 0
vsize: 847396
[startup+570.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 54510 55 0 0 25 0 11 0 548741352 867733504 31807 4294967295 134512640 134569956 3221224400 3221214688 1131221336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 31807 13073 16 0 211833 0
vsize: 847396
[startup+580.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 55477 55 0 0 25 0 11 0 548741352 867733504 31953 4294967295 134512640 134569956 3221224400 3221214776 1131275022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 31953 13073 16 0 211833 0
vsize: 847396
[startup+590.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 56437 55 0 0 24 0 11 0 548741352 867733504 32078 4294967295 134512640 134569956 3221224400 3221214688 1131220722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 32078 13073 16 0 211833 0
vsize: 847396
[startup+600.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 57393 56 0 0 24 0 11 0 548741352 867733504 32272 4294967295 134512640 134569956 3221224400 3221214688 1131221363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 32272 13073 16 0 211833 0
vsize: 847396
[startup+610.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 58354 56 0 0 25 0 11 0 548741352 867733504 32552 4294967295 134512640 134569956 3221224400 3221214592 1131584169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 32552 13073 16 0 211833 0
vsize: 847396
[startup+620.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 59314 56 0 0 25 0 11 0 548741352 867733504 32907 4294967295 134512640 134569956 3221224400 3221214688 1131220381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 32907 13073 16 0 211833 0
vsize: 847396
[startup+630.106 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 60279 56 0 0 25 0 11 0 548741352 867733504 33146 4294967295 134512640 134569956 3221224400 3221214688 1131221022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 33146 13073 16 0 211833 0
vsize: 847396
[startup+640.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10313
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 61247 56 0 0 25 0 11 0 548741352 867733504 33407 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 33407 13073 16 0 211833 0
vsize: 847396
[startup+650.108 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 62214 57 0 0 25 0 11 0 548741352 867733504 33534 4294967295 134512640 134569956 3221224400 3221214688 1131220613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 33534 13073 16 0 211833 0
vsize: 847396
[startup+660.108 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 63182 57 0 0 25 0 11 0 548741352 867733504 33713 4294967295 134512640 134569956 3221224400 3221214776 1131274888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 33713 13073 16 0 211833 0
vsize: 847396
[startup+670.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 64150 57 0 0 25 0 11 0 548741352 867733504 33887 4294967295 134512640 134569956 3221224400 3221214688 1131220603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 33887 13073 16 0 211833 0
vsize: 847396
[startup+680.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 65117 57 0 0 25 0 11 0 548741352 867733504 34018 4294967295 134512640 134569956 3221224400 3221214728 1131163136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 34018 13073 16 0 211833 0
vsize: 847396
[startup+690.112 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 66087 57 0 0 20 0 11 0 548741352 867733504 34167 4294967295 134512640 134569956 3221224400 3221214688 1131220069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 34167 13073 16 0 211833 0
vsize: 847396
[startup+700.112 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 67060 58 0 0 25 0 11 0 548741352 867733504 34390 4294967295 134512640 134569956 3221224400 3221214568 1131230172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 34390 13073 16 0 211833 0
vsize: 847396
[startup+710.112 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 68031 58 0 0 25 0 11 0 548741352 867733504 34459 4294967295 134512640 134569956 3221224400 3221214720 1131335115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 34459 13073 16 0 211833 0
vsize: 847396
[startup+720.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 69000 59 0 0 25 0 11 0 548741352 867733504 34549 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 34549 13073 16 0 211833 0
vsize: 847396
[startup+730.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 69969 59 0 0 25 0 11 0 548741352 867733504 34656 4294967295 134512640 134569956 3221224400 3221214480 1131584169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 34656 13073 16 0 211833 0
vsize: 847396
[startup+740.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 70940 59 0 0 25 0 11 0 548741352 867733504 34928 4294967295 134512640 134569956 3221224400 3221214688 1131220969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 34928 13073 16 0 211833 0
vsize: 847396
[startup+750.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 71912 60 0 0 24 0 11 0 548741352 867733504 35010 4294967295 134512640 134569956 3221224400 3221214776 1131273988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 35010 13073 16 0 211833 0
vsize: 847396
[startup+760.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 72886 60 0 0 25 0 11 0 548741352 867733504 35062 4294967295 134512640 134569956 3221224400 3221214688 1131221424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 35062 13073 16 0 211833 0
vsize: 847396
[startup+770.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 73852 60 0 0 25 0 11 0 548741352 867733504 35190 4294967295 134512640 134569956 3221224400 3221214688 1131220811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 35190 13073 16 0 211833 0
vsize: 847396
[startup+780.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 74813 60 0 0 25 0 11 0 548741352 867733504 35285 4294967295 134512640 134569956 3221224400 3221214568 1131230172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 35285 13073 16 0 211833 0
vsize: 847396
[startup+790.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 75774 60 0 0 25 0 11 0 548741352 867733504 35418 4294967295 134512640 134569956 3221224400 3221214688 1131220057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 35418 13073 16 0 211833 0
vsize: 847396
[startup+800.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 76731 61 0 0 25 0 11 0 548741352 867733504 35642 4294967295 134512640 134569956 3221224400 3221214688 1131220605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 35642 13073 16 0 211833 0
vsize: 847396
[startup+810.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 77695 61 0 0 25 0 11 0 548741352 867733504 35833 4294967295 134512640 134569956 3221224400 3221214144 1131584316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 35833 13073 16 0 211833 0
vsize: 847396
[startup+820.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 78661 62 0 0 25 0 11 0 548741352 867733504 36085 4294967295 134512640 134569956 3221224400 3221214152 1131583117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 36085 13073 16 0 211833 0
vsize: 847396
[startup+830.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 79627 62 0 0 25 0 11 0 548741352 867733504 36282 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 36282 13073 16 0 211833 0
vsize: 847396
[startup+840.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 80588 63 0 0 25 0 11 0 548741352 867733504 36417 4294967295 134512640 134569956 3221224400 3221214688 1131220642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 36417 13073 16 0 211833 0
vsize: 847396
[startup+850.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 81553 63 0 0 25 0 11 0 548741352 867733504 36576 4294967295 134512640 134569956 3221224400 3221214776 1131275086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 36576 13073 16 0 211833 0
vsize: 847396
[startup+860.125 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 82518 64 0 0 25 0 11 0 548741352 867733504 36795 4294967295 134512640 134569956 3221224400 3221214776 1131273988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 36795 13073 16 0 211833 0
vsize: 847396
[startup+870.126 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 83481 64 0 0 25 0 11 0 548741352 867733504 37037 4294967295 134512640 134569956 3221224400 3221214688 1131221018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 37037 13073 16 0 211833 0
vsize: 847396
[startup+880.126 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 84448 64 0 0 25 0 11 0 548741352 867733504 37174 4294967295 134512640 134569956 3221224400 3221214688 1131220678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 37174 13073 16 0 211833 0
vsize: 847396
[startup+890.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) S 10298 20024 20023 0 -1 0 18103 0 1 0 85412 64 0 0 25 0 11 0 548741352 867733504 37299 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 37299 13073 16 0 211833 0
vsize: 847396
[startup+900.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 86370 65 0 0 25 0 11 0 548741352 867733504 37524 4294967295 134512640 134569956 3221224400 3221214648 1131584106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 37524 13073 16 0 211833 0
vsize: 847396
[startup+910.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 87327 65 0 0 25 0 11 0 548741352 867733504 37739 4294967295 134512640 134569956 3221224400 3221214688 1131220143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 37739 13073 16 0 211833 0
vsize: 847396
[startup+920.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 88289 66 0 0 25 0 11 0 548741352 867733504 38007 4294967295 134512640 134569956 3221224400 3221214344 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 38007 13073 16 0 211833 0
vsize: 847396
[startup+930.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 89252 66 0 0 25 0 11 0 548741352 867733504 38312 4294967295 134512640 134569956 3221224400 3221214728 1131163136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 38312 13073 16 0 211833 0
vsize: 847396
[startup+940.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10315
Raw data (stat): 10299 (java) S 10298 20024 20023 0 -1 0 18103 0 1 0 90223 66 0 0 25 0 11 0 548741352 867733504 38406 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 38406 13073 16 0 211833 0
vsize: 847396
[startup+950.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 91191 67 0 0 25 0 11 0 548741352 867733504 38489 4294967295 134512640 134569956 3221224400 3221214688 1131220627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 38489 13073 16 0 211833 0
vsize: 847396
[startup+960.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 92162 67 0 0 25 0 11 0 548741352 867733504 38747 4294967295 134512640 134569956 3221224400 3221214688 1131220481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 38747 13073 16 0 211833 0
vsize: 847396
[startup+970.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 93135 67 0 0 25 0 11 0 548741352 867733504 38842 4294967295 134512640 134569956 3221224400 3221214688 1131220568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 38842 13073 16 0 211833 0
vsize: 847396
[startup+980.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 94101 68 0 0 25 0 11 0 548741352 867733504 38896 4294967295 134512640 134569956 3221224400 3221214776 1131275176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 38896 13073 16 0 211833 0
vsize: 847396
[startup+990.139 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 95052 69 0 0 16 0 11 0 548741352 867733504 38982 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 38982 13073 16 0 211833 0
vsize: 847396
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 96008 69 0 0 25 0 11 0 548741352 867733504 39053 4294967295 134512640 134569956 3221224400 3221214772 1131220051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39053 13073 16 0 211833 0
vsize: 847396
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 96968 69 0 0 25 0 11 0 548741352 867733504 39206 4294967295 134512640 134569956 3221224400 3221214688 1131221280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39206 13073 16 0 211833 0
vsize: 847396
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 97935 69 0 0 25 0 11 0 548741352 867733504 39285 4294967295 134512640 134569956 3221224400 3221214776 1131275751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39285 13073 16 0 211833 0
vsize: 847396
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) S 10298 20024 20023 0 -1 0 18103 0 1 0 98902 70 0 0 25 0 11 0 548741352 867733504 39345 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39345 13073 16 0 211833 0
vsize: 847396
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 99869 70 0 0 25 0 11 0 548741352 867733504 39386 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39386 13073 16 0 211833 0
vsize: 847396
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 100835 70 0 0 25 0 11 0 548741352 867733504 39464 4294967295 134512640 134569956 3221224400 3221214688 1131220065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39464 13073 16 0 211833 0
vsize: 847396
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 101802 70 0 0 25 0 11 0 548741352 867733504 39563 4294967295 134512640 134569956 3221224400 3221214688 1131220073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39563 13073 16 0 211833 0
vsize: 847396
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 102766 71 0 0 24 0 11 0 548741352 867733504 39681 4294967295 134512640 134569956 3221224400 3221214688 1131221365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39681 13073 16 0 211833 0
vsize: 847396
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 103731 71 0 0 25 0 11 0 548741352 867733504 39795 4294967295 134512640 134569956 3221224400 3221214816 1131544172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39795 13073 16 0 211833 0
vsize: 847396
[startup+1090.15 s]
Raw data (loadavg): 1.07 1.02 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 104696 71 0 0 25 0 11 0 548741352 867733504 39918 4294967295 134512640 134569956 3221224400 3221214776 1131277408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 39918 13073 16 0 211833 0
vsize: 847396
[startup+1100.15 s]
Raw data (loadavg): 1.06 1.02 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 105661 72 0 0 25 0 11 0 548741352 867733504 40069 4294967295 134512640 134569956 3221224400 3221214424 1131584106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 40069 13073 16 0 211833 0
vsize: 847396
[startup+1110.15 s]
Raw data (loadavg): 1.05 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 106622 73 0 0 25 0 11 0 548741352 867733504 40216 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 40216 13073 16 0 211833 0
vsize: 847396
[startup+1120.15 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 107588 73 0 0 25 0 11 0 548741352 867733504 40329 4294967295 134512640 134569956 3221224400 3221214688 1131220379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 40329 13073 16 0 211833 0
vsize: 847396
[startup+1130.15 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 108550 74 0 0 25 0 11 0 548741352 867733504 40522 4294967295 134512640 134569956 3221224400 3221214688 1131220580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 40522 13073 16 0 211833 0
vsize: 847396
[startup+1140.15 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 109518 74 0 0 25 0 11 0 548741352 867733504 40655 4294967295 134512640 134569956 3221224400 3221214688 1131221321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 40655 13073 16 0 211833 0
vsize: 847396
[startup+1150.15 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 110486 75 0 0 25 0 11 0 548741352 867733504 40764 4294967295 134512640 134569956 3221224400 3221214688 1131220417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 40764 13073 16 0 211833 0
vsize: 847396
[startup+1160.15 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 111450 75 0 0 25 0 11 0 548741352 867733504 40874 4294967295 134512640 134569956 3221224400 3221214688 1131221356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 40874 13073 16 0 211833 0
vsize: 847396
[startup+1170.15 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 112407 75 0 0 25 0 11 0 548741352 867733504 41054 4294967295 134512640 134569956 3221224400 3221214688 1131220768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 41054 13073 16 0 211833 0
vsize: 847396
[startup+1180.15 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 113370 75 0 0 25 0 11 0 548741352 867733504 41168 4294967295 134512640 134569956 3221224400 3221214776 1131273927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 41168 13073 16 0 211833 0
vsize: 847396
[startup+1190.15 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 114333 76 0 0 24 0 11 0 548741352 867733504 41463 4294967295 134512640 134569956 3221224400 3221214688 1131221363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 41463 13073 16 0 211833 0
vsize: 847396
[startup+1200.15 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 115305 76 0 0 25 0 11 0 548741352 867733504 41587 4294967295 134512640 134569956 3221224400 3221214688 1131220473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 41587 13073 16 0 211833 0
vsize: 847396
[startup+1210.15 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 10317
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 116274 77 0 0 25 0 11 0 548741352 867733504 41689 4294967295 134512640 134569956 3221224400 3221214776 1131274017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211849 41689 13073 16 0 211833 0
vsize: 847396
[startup+1220.16 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 10370
Raw data (stat): 10299 (java) S 10298 20024 20023 0 -1 0 18103 0 1 0 117236 77 0 0 25 0 11 0 548741352 867733504 41744 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 41744 13073 16 0 211833 0
vsize: 847396
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 10370
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 118188 78 0 0 25 0 11 0 548741352 867733504 42122 4294967295 134512640 134569956 3221224400 3221214688 1131220979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 42122 13073 16 0 211833 0
vsize: 847396
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 10370
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 119137 78 0 0 25 0 11 0 548741352 867733504 42458 4294967295 134512640 134569956 3221224400 3221214752 1131357796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 42458 13073 16 0 211833 0
vsize: 847396
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 10372
Raw data (stat): 10299 (java) R 10298 20024 20023 0 -1 0 18103 0 1 0 120092 78 0 0 25 0 11 0 548741352 867733504 42503 4294967295 134512640 134569956 3221224400 3221214688 1131220147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211849 42503 13073 16 0 211833 0
vsize: 847396
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.26 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 10374
Raw data (stat): 10299 (java) Z 10298 20024 20023 0 -1 1036 18103 28284 1 1 120094 78 5299 72 25 0 1 0 548741352 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.26
CPU time (s): 1255.45
CPU user time (s): 1253.94
CPU system time (s): 1.50877
CPU usage (%): 100.415
Max. virtual memory (Kb): 849384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####