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/unibo/normalized-mps-v2-20-10-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	12.972
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 20268

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        496424 kB
Buffers:         35372 kB
Cached:         481156 kB
SwapCached:          0 kB
Active:         189668 kB
Inactive:       329636 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        496172 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6820 kB
Slab:            13340 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 20:52:08 (client local time) WITH STATUS 143 IN 1218.1 SECONDS
stats: 15245 7 1218.1 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-sp97ic.opb
c reading problem 
c [nbvar=12497]
c [nbconstr=13530]
c time 58.598
c #vars     12497
c #clauses  1034
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.92 0.98 0.92 2/54 9891
Raw data (stat): 9891 (runsolver) R 9890 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489757499 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.98 0.92 2/63 9900
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 17980 0 1 0 882 43 0 0 25 0 10 0 489757499 853270528 19170 4294967295 134512640 134569956 3221224400 3221214792 1130883392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208318 19170 13073 16 0 208302 0
vsize: 833272
[startup+20.0033 s]
Raw data (loadavg): 0.94 0.98 0.92 2/63 9900
Raw data (stat): 9891 (java) S 9890 32461 32460 0 -1 0 17981 0 1 0 1775 44 0 0 25 0 10 0 489757499 853856256 19711 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 19711 13073 16 0 208445 0
vsize: 833844
[startup+30.003 s]
Raw data (loadavg): 0.95 0.98 0.92 2/63 9900
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 17981 0 1 0 2674 44 0 0 25 0 10 0 489757499 853585920 20065 4294967295 134512640 134569956 3221224400 3221214784 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208395 20065 13073 16 0 208379 0
vsize: 833580
[startup+40.0041 s]
Raw data (loadavg): 0.96 0.98 0.92 2/63 9900
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 17981 0 1 0 3601 45 0 0 24 0 10 0 489757499 853585920 20297 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208395 20297 13073 16 0 208379 0
vsize: 833580
[startup+50.0046 s]
Raw data (loadavg): 1.12 1.02 0.93 4/63 9900
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18022 0 1 0 4515 46 0 0 25 0 10 0 489757499 874795008 25127 4294967295 134512640 134569956 3221224400 3221214520 1130918537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213573 25127 13073 16 0 213557 0
vsize: 854292
[startup+60.0053 s]
Raw data (loadavg): 1.33 1.06 0.95 3/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18053 0 1 0 5486 50 0 0 25 0 11 0 489757499 865222656 23696 4294967295 134512640 134569956 3221224400 3221214864 1130917344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 23696 13073 16 0 211220 0
vsize: 844944
[startup+70.0108 s]
Raw data (loadavg): 1.43 1.09 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 6340 50 0 0 24 0 11 0 489757499 865222656 26158 4294967295 134512640 134569956 3221224400 3221214768 1131551386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26158 13073 16 0 211220 0
vsize: 844944
[startup+80.0111 s]
Raw data (loadavg): 1.36 1.09 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 7296 51 0 0 25 0 11 0 489757499 865222656 26163 4294967295 134512640 134569956 3221224400 3221214720 1131298474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26163 13073 16 0 211220 0
vsize: 844944
[startup+90.0118 s]
Raw data (loadavg): 1.31 1.09 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 8250 51 0 0 25 0 11 0 489757499 865222656 26163 4294967295 134512640 134569956 3221224400 3221214720 1131298211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26163 13073 16 0 211220 0
vsize: 844944
[startup+100.013 s]
Raw data (loadavg): 1.26 1.08 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 9205 51 0 0 24 0 11 0 489757499 865222656 26163 4294967295 134512640 134569956 3221224400 3221214720 1131298330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26163 13073 16 0 211220 0
vsize: 844944
[startup+110.014 s]
Raw data (loadavg): 1.22 1.08 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 10173 51 0 0 25 0 11 0 489757499 865222656 26431 4294967295 134512640 134569956 3221224400 3221214744 1131625054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26431 13073 16 0 211220 0
vsize: 844944
[startup+120.015 s]
Raw data (loadavg): 1.18 1.08 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 11164 51 0 0 25 0 11 0 489757499 865222656 26542 4294967295 134512640 134569956 3221224400 3221214696 1131607064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26542 13073 16 0 211220 0
vsize: 844944
[startup+130.015 s]
Raw data (loadavg): 1.16 1.08 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 12158 51 0 0 25 0 11 0 489757499 865222656 26542 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26542 13073 16 0 211220 0
vsize: 844944
[startup+140.016 s]
Raw data (loadavg): 1.13 1.07 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 13153 51 0 0 25 0 11 0 489757499 865222656 26542 4294967295 134512640 134569956 3221224400 3221214416 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26542 13073 16 0 211220 0
vsize: 844944
[startup+150.016 s]
Raw data (loadavg): 1.11 1.07 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18092 0 1 0 14148 51 0 0 25 0 11 0 489757499 865222656 26542 4294967295 134512640 134569956 3221224400 3221214472 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26542 13073 16 0 211220 0
vsize: 844944
[startup+160.017 s]
Raw data (loadavg): 1.09 1.07 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 15145 52 0 0 25 0 11 0 489757499 865222656 26543 4294967295 134512640 134569956 3221224400 3221214568 1131298211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26543 13073 16 0 211220 0
vsize: 844944
[startup+170.018 s]
Raw data (loadavg): 1.08 1.06 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 16143 52 0 0 25 0 11 0 489757499 865222656 26543 4294967295 134512640 134569956 3221224400 3221214664 1131316795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26543 13073 16 0 211220 0
vsize: 844944
[startup+180.018 s]
Raw data (loadavg): 1.07 1.06 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 17141 52 0 0 25 0 11 0 489757499 865222656 26543 4294967295 134512640 134569956 3221224400 3221214568 1131298211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26543 13073 16 0 211220 0
vsize: 844944
[startup+190.019 s]
Raw data (loadavg): 1.06 1.06 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 18139 52 0 0 25 0 11 0 489757499 865222656 26543 4294967295 134512640 134569956 3221224400 3221214568 1131298392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26543 13073 16 0 211220 0
vsize: 844944
[startup+200.019 s]
Raw data (loadavg): 1.05 1.06 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 19137 52 0 0 25 0 11 0 489757499 865222656 26556 4294967295 134512640 134569956 3221224400 3221214672 1131667191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26556 13073 16 0 211220 0
vsize: 844944
[startup+210.02 s]
Raw data (loadavg): 1.04 1.05 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 20136 52 0 0 25 0 11 0 489757499 865222656 26556 4294967295 134512640 134569956 3221224400 3221214664 1131316822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26556 13073 16 0 211220 0
vsize: 844944
[startup+220.021 s]
Raw data (loadavg): 1.03 1.05 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 21133 52 0 0 25 0 11 0 489757499 865222656 26557 4294967295 134512640 134569956 3221224400 3221214568 1131298380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26557 13073 16 0 211220 0
vsize: 844944
[startup+230.022 s]
Raw data (loadavg): 1.03 1.05 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 22130 53 0 0 25 0 11 0 489757499 865222656 26557 4294967295 134512640 134569956 3221224400 3221214664 1131317948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26557 13073 16 0 211220 0
vsize: 844944
[startup+240.022 s]
Raw data (loadavg): 1.02 1.05 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 23128 53 0 0 25 0 11 0 489757499 865222656 26557 4294967295 134512640 134569956 3221224400 3221214568 1131298169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26557 13073 16 0 211220 0
vsize: 844944
[startup+250.022 s]
Raw data (loadavg): 1.02 1.05 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 24126 53 0 0 25 0 11 0 489757499 865222656 26557 4294967295 134512640 134569956 3221224400 3221214672 1131699943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26557 13073 16 0 211220 0
vsize: 844944
[startup+260.023 s]
Raw data (loadavg): 1.02 1.04 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 25125 53 0 0 25 0 11 0 489757499 865222656 26557 4294967295 134512640 134569956 3221224400 3221214664 1131316923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26557 13073 16 0 211220 0
vsize: 844944
[startup+270.024 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 26124 53 0 0 25 0 11 0 489757499 865222656 26557 4294967295 134512640 134569956 3221224400 3221214664 1131316822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26557 13073 16 0 211220 0
vsize: 844944
[startup+280.024 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 27123 53 0 0 25 0 11 0 489757499 865222656 26561 4294967295 134512640 134569956 3221224400 3221214672 1131667207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26561 13073 16 0 211220 0
vsize: 844944
[startup+290.024 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 28120 53 0 0 25 0 11 0 489757499 865222656 26562 4294967295 134512640 134569956 3221224400 3221214680 1131656013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26562 13073 16 0 211220 0
vsize: 844944
[startup+300.025 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 29115 53 0 0 25 0 11 0 489757499 865222656 26562 4294967295 134512640 134569956 3221224400 3221214264 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26562 13073 16 0 211220 0
vsize: 844944
[startup+310.029 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18093 0 1 0 30110 53 0 0 25 0 11 0 489757499 865222656 26562 4294967295 134512640 134569956 3221224400 3221214568 1131298165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26562 13073 16 0 211220 0
vsize: 844944
[startup+320.03 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 31108 53 0 0 25 0 11 0 489757499 865222656 26563 4294967295 134512640 134569956 3221224400 3221214568 1131298052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26563 13073 16 0 211220 0
vsize: 844944
[startup+330.029 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 32105 53 0 0 25 0 11 0 489757499 865222656 26565 4294967295 134512640 134569956 3221224400 3221214768 1131740752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26565 13073 16 0 211220 0
vsize: 844944
[startup+340.03 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 33103 53 0 0 25 0 11 0 489757499 865222656 26565 4294967295 134512640 134569956 3221224400 3221214664 1131317361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26565 13073 16 0 211220 0
vsize: 844944
[startup+350.031 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 34102 53 0 0 25 0 11 0 489757499 865222656 26565 4294967295 134512640 134569956 3221224400 3221214664 1131298649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26565 13073 16 0 211220 0
vsize: 844944
[startup+360.032 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 35101 53 0 0 25 0 11 0 489757499 865222656 26577 4294967295 134512640 134569956 3221224400 3221214664 1131298288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26577 13073 16 0 211220 0
vsize: 844944
[startup+370.033 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 36099 53 0 0 25 0 11 0 489757499 865222656 26577 4294967295 134512640 134569956 3221224400 3221214664 1131317154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26577 13073 16 0 211220 0
vsize: 844944
[startup+380.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 37097 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214664 1131297998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+390.033 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 38096 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214664 1131298058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+400.033 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 39094 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214664 1131316795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+410.035 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 40094 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214768 1131742444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+420.035 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 41092 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214664 1131316766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+430.035 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 42092 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214768 1131742444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+440.036 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 43091 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214768 1131742556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+450.036 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 44086 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214856 1131570860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+460.037 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 45081 54 0 0 25 0 11 0 489757499 865222656 26578 4294967295 134512640 134569956 3221224400 3221214744 1131627276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26578 13073 16 0 211220 0
vsize: 844944
[startup+470.038 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 46077 54 0 0 25 0 11 0 489757499 865222656 26580 4294967295 134512640 134569956 3221224400 3221214664 1131297993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26580 13073 16 0 211220 0
vsize: 844944
[startup+480.038 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 47074 55 0 0 25 0 11 0 489757499 865222656 26581 4294967295 134512640 134569956 3221224400 3221214664 1131316792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26581 13073 16 0 211220 0
vsize: 844944
[startup+490.039 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 48071 55 0 0 25 0 11 0 489757499 865222656 26581 4294967295 134512640 134569956 3221224400 3221214664 1131298211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26581 13073 16 0 211220 0
vsize: 844944
[startup+500.039 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 49069 55 0 0 25 0 11 0 489757499 865222656 26583 4294967295 134512640 134569956 3221224400 3221214664 1131317244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26583 13073 16 0 211220 0
vsize: 844944
[startup+510.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 50066 56 0 0 25 0 11 0 489757499 865222656 26596 4294967295 134512640 134569956 3221224400 3221214768 1131740771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26596 13073 16 0 211220 0
vsize: 844944
[startup+520.041 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 51065 56 0 0 25 0 11 0 489757499 865222656 26596 4294967295 134512640 134569956 3221224400 3221214664 1131298330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26596 13073 16 0 211220 0
vsize: 844944
[startup+530.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 52063 56 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214664 1131317154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+540.041 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 53062 56 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214664 1131316795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+550.042 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 54060 56 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214768 1131740771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+560.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 55058 56 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214664 1131316792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+570.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 56057 57 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214664 1131316766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+580.051 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 57056 57 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214764 1131575337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+590.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 58056 57 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214664 1131298106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 59054 57 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+610.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 60046 58 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214680 1131656644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+620.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 61039 58 0 0 25 0 11 0 489757499 865222656 26597 4294967295 134512640 134569956 3221224400 3221214384 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26597 13073 16 0 211220 0
vsize: 844944
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 62009 58 0 0 24 0 11 0 489757499 865222656 26608 4294967295 134512640 134569956 3221224400 3221214624 1131608222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26608 13073 16 0 211220 0
vsize: 844944
[startup+640.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 62974 58 0 0 25 0 11 0 489757499 865222656 26608 4294967295 134512640 134569956 3221224400 3221214744 1131627478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26608 13073 16 0 211220 0
vsize: 844944
[startup+650.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 63935 59 0 0 25 0 11 0 489757499 865222656 26608 4294967295 134512640 134569956 3221224400 3221214544 1131662220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26608 13073 16 0 211220 0
vsize: 844944
[startup+660.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 64921 59 0 0 25 0 11 0 489757499 865222656 26806 4294967295 134512640 134569956 3221224400 3221214384 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26806 13073 16 0 211220 0
vsize: 844944
[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 65914 59 0 0 25 0 11 0 489757499 865222656 26806 4294967295 134512640 134569956 3221224400 3221214744 1131624627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26806 13073 16 0 211220 0
vsize: 844944
[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 66907 60 0 0 25 0 11 0 489757499 865222656 26806 4294967295 134512640 134569956 3221224400 3221214512 1078025857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26806 13073 16 0 211220 0
vsize: 844944
[startup+690.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 67900 60 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214744 1131625646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+700.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 68894 60 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214744 1131624544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+710.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 69888 60 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214676 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 70883 61 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214744 1131625013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+730.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 71878 61 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214544 1131662220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+740.071 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 72874 61 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214696 1131607175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 73865 61 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214632 1131607175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 74848 62 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214680 1131655204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+770.077 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 75830 62 0 0 25 0 11 0 489757499 865222656 26821 4294967295 134512640 134569956 3221224400 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26821 13073 16 0 211220 0
vsize: 844944
[startup+780.077 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 76820 63 0 0 25 0 11 0 489757499 865222656 26866 4294967295 134512640 134569956 3221224400 3221214680 1131655941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26866 13073 16 0 211220 0
vsize: 844944
[startup+790.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 77816 63 0 0 25 0 11 0 489757499 865222656 26866 4294967295 134512640 134569956 3221224400 3221214624 1131576919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26866 13073 16 0 211220 0
vsize: 844944
[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 78811 63 0 0 25 0 11 0 489757499 865222656 26866 4294967295 134512640 134569956 3221224400 3221214680 1131656442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26866 13073 16 0 211220 0
vsize: 844944
[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 79805 63 0 0 25 0 11 0 489757499 865222656 26866 4294967295 134512640 134569956 3221224400 3221214416 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26866 13073 16 0 211220 0
vsize: 844944
[startup+820.081 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 80797 64 0 0 25 0 11 0 489757499 865222656 26866 4294967295 134512640 134569956 3221224400 3221214624 1131608232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26866 13073 16 0 211220 0
vsize: 844944
[startup+830.081 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 81778 64 0 0 25 0 11 0 489757499 865222656 26866 4294967295 134512640 134569956 3221224400 3221214688 1131576848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26866 13073 16 0 211220 0
vsize: 844944
[startup+840.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 82759 64 0 0 25 0 11 0 489757499 865222656 26866 4294967295 134512640 134569956 3221224400 3221214676 1131611429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26866 13073 16 0 211220 0
vsize: 844944
[startup+850.083 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 83746 65 0 0 25 0 11 0 489757499 865222656 26919 4294967295 134512640 134569956 3221224400 3221214676 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26919 13073 16 0 211220 0
vsize: 844944
[startup+860.084 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 84740 65 0 0 25 0 11 0 489757499 865222656 26919 4294967295 134512640 134569956 3221224400 3221214744 1131624544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26919 13073 16 0 211220 0
vsize: 844944
[startup+870.085 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 85735 65 0 0 25 0 11 0 489757499 865222656 26919 4294967295 134512640 134569956 3221224400 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26919 13073 16 0 211220 0
vsize: 844944
[startup+880.085 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 86728 66 0 0 25 0 11 0 489757499 865222656 26919 4294967295 134512640 134569956 3221224400 3221214744 1131625848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211236 26919 13073 16 0 211220 0
vsize: 844944
[startup+890.086 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 87705 66 0 0 25 0 11 0 489757499 865222656 26921 4294967295 134512640 134569956 3221224400 3221214744 1131627478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26921 13073 16 0 211220 0
vsize: 844944
[startup+900.086 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 88677 66 0 0 25 0 11 0 489757499 865222656 26921 4294967295 134512640 134569956 3221224400 3221214856 1131570931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26921 13073 16 0 211220 0
vsize: 844944
[startup+910.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 89652 66 0 0 25 0 11 0 489757499 865222656 26921 4294967295 134512640 134569956 3221224400 3221214688 1131576764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 26921 13073 16 0 211220 0
vsize: 844944
[startup+920.091 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 90644 67 0 0 25 0 11 0 489757499 865222656 27095 4294967295 134512640 134569956 3221224400 3221214856 1131570928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27095 13073 16 0 211220 0
vsize: 844944
[startup+930.091 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 91617 67 0 0 25 0 11 0 489757499 865222656 27095 4294967295 134512640 134569956 3221224400 3221214676 1131576723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27095 13073 16 0 211220 0
vsize: 844944
[startup+940.092 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 92588 67 0 0 25 0 11 0 489757499 865222656 27095 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27095 13073 16 0 211220 0
vsize: 844944
[startup+950.092 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 93561 67 0 0 25 0 11 0 489757499 865222656 27290 4294967295 134512640 134569956 3221224400 3221214680 1131655317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27290 13073 16 0 211220 0
vsize: 844944
[startup+960.093 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 94544 67 0 0 24 0 11 0 489757499 865222656 27290 4294967295 134512640 134569956 3221224400 3221214696 1131607126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27290 13073 16 0 211220 0
vsize: 844944
[startup+970.092 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 95520 67 0 0 25 0 11 0 489757499 865222656 27290 4294967295 134512640 134569956 3221224400 3221214544 1131661993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27290 13073 16 0 211220 0
vsize: 844944
[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 96493 67 0 0 25 0 11 0 489757499 865222656 27290 4294967295 134512640 134569956 3221224400 3221214676 1080204241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27290 13073 16 0 211220 0
vsize: 844944
[startup+990.093 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 97473 68 0 0 25 0 11 0 489757499 865222656 27485 4294967295 134512640 134569956 3221224400 3221214728 1131603449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27485 13073 16 0 211220 0
vsize: 844944
[startup+1000.2 s]
Raw data (loadavg): 1.14 1.03 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 98443 68 0 0 25 0 11 0 489757499 865222656 27485 4294967295 134512640 134569956 3221224400 3221214368 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27485 13073 16 0 211220 0
vsize: 844944
[startup+1010.2 s]
Raw data (loadavg): 1.19 1.05 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 99383 68 0 0 25 0 11 0 489757499 865222656 27485 4294967295 134512640 134569956 3221224400 3221214744 1131625992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27485 13073 16 0 211220 0
vsize: 844944
[startup+1020.2 s]
Raw data (loadavg): 1.16 1.04 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 100316 68 0 0 25 0 11 0 489757499 865222656 27485 4294967295 134512640 134569956 3221224400 3221214856 1131571148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27485 13073 16 0 211220 0
vsize: 844944
[startup+1030.2 s]
Raw data (loadavg): 1.14 1.04 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 101290 68 0 0 25 0 11 0 489757499 865222656 27956 4294967295 134512640 134569956 3221224400 3221214676 1131608044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27956 13073 16 0 211220 0
vsize: 844944
[startup+1040.2 s]
Raw data (loadavg): 1.12 1.04 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 102284 68 0 0 25 0 11 0 489757499 865222656 27956 4294967295 134512640 134569956 3221224400 3221214856 1131570860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27956 13073 16 0 211220 0
vsize: 844944
[startup+1050.2 s]
Raw data (loadavg): 1.10 1.04 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 103279 68 0 0 25 0 11 0 489757499 865222656 27956 4294967295 134512640 134569956 3221224400 3221214712 1131304429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27956 13073 16 0 211220 0
vsize: 844944
[startup+1060.2 s]
Raw data (loadavg): 1.08 1.04 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 104255 68 0 0 25 0 11 0 489757499 865222656 27956 4294967295 134512640 134569956 3221224400 3221214744 1131626890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27956 13073 16 0 211220 0
vsize: 844944
[startup+1070.2 s]
Raw data (loadavg): 1.07 1.03 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 105228 68 0 0 25 0 11 0 489757499 865222656 27956 4294967295 134512640 134569956 3221224400 3221214776 1131668807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27956 13073 16 0 211220 0
vsize: 844944
[startup+1080.2 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 106189 69 0 0 25 0 11 0 489757499 865222656 27956 4294967295 134512640 134569956 3221224400 3221214680 1131655799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 27956 13073 16 0 211220 0
vsize: 844944
[startup+1090.2 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 107144 69 0 0 25 0 11 0 489757499 865222656 28032 4294967295 134512640 134569956 3221224400 3221214744 1131624986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28032 13073 16 0 211220 0
vsize: 844944
[startup+1100.2 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 108105 69 0 0 25 0 11 0 489757499 865222656 28032 4294967295 134512640 134569956 3221224400 3221214720 1131574095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28032 13073 16 0 211220 0
vsize: 844944
[startup+1110.2 s]
Raw data (loadavg): 1.11 1.04 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 109092 69 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214744 1131625325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1120.2 s]
Raw data (loadavg): 1.10 1.04 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 110086 69 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214744 1131627276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1130.2 s]
Raw data (loadavg): 1.08 1.04 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 111080 69 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214676 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1140.2 s]
Raw data (loadavg): 1.07 1.04 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 112074 69 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214744 1131624950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1150.2 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 113068 69 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214752 1131298211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1160.2 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 114063 70 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214744 1131626710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1170.2 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 115057 70 0 0 21 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214744 1131625013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1180.2 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 116051 70 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1190.2 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 117045 70 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214680 1131655631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1200.2 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 118039 70 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214740 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1210.2 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 119033 70 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214520 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
[startup+1220.2 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 9901
Raw data (stat): 9891 (java) R 9890 32461 32460 0 -1 0 18094 0 1 0 120027 70 0 0 25 0 11 0 489757499 865222656 28247 4294967295 134512640 134569956 3221224400 3221214424 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211236 28247 13073 16 0 211220 0
vsize: 844944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.32 s]
Raw data (loadavg): 1.02 1.03 0.98 1/54 9903
Raw data (stat): 9891 (java) Z 9890 32461 32460 0 -1 1036 18094 7140 1 0 120033 70 1678 27 25 0 1 0 489757499 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.32
CPU time (s): 1218.1
CPU user time (s): 1217.12
CPU system time (s): 0.979851
CPU usage (%): 99.8186
Max. virtual memory (Kb): 854292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####