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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
MD5SUM5b9b020cb595d55e8dbba526590c1088
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 144804
Biggest coefficient in the objective function 37355509514240
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 86052429291555573
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 37355509514240
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 86052429291555573
Number of bits of the biggest sum of numbers57
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.9477
Number of variables211663
Total number of constraints6093
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)128
Number of constraints which are nor clauses,nor cardinality constraints5965
Minimum length of a constraint1
Maximum length of a constraint16460

Trace number 18654

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 15:55:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17715 boxname=wulflinc6 idbench=1363 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 17715
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        546016 kB
Buffers:         18708 kB
Cached:         448248 kB
SwapCached:        544 kB
Active:          46820 kB
Inactive:       422148 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        545764 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            13976 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 16:17:07 (client local time) WITH STATUS 143 IN 1309.99 SECONDS
stats: 17715 7 1309.99 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod011.opb
c reading problem 
c [nbvar=211663]
c [nbconstr=6093]
#### 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.79 0.90 0.90 2/54 19249
Raw data (stat): 19249 (runsolver) R 19248 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488100024 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.82 0.90 0.90 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 881 38 0 0 21 0 10 0 488100024 853393408 19100 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208348 19100 13073 16 0 208332 0
vsize: 833392
[startup+20.0089 s]
Raw data (loadavg): 0.85 0.91 0.90 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 1771 39 0 0 20 0 10 0 488100024 853590016 19633 4294967295 134512640 134569956 3221224400 3221214824 1131223423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 19633 13073 16 0 208380 0
vsize: 833584
[startup+30.0096 s]
Raw data (loadavg): 0.87 0.91 0.90 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 2670 40 0 0 23 0 10 0 488100024 853590016 20060 4294967295 134512640 134569956 3221224400 3221214824 1131222032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20060 13073 16 0 208380 0
vsize: 833584
[startup+40.0108 s]
Raw data (loadavg): 0.89 0.91 0.90 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 3601 40 0 0 25 0 10 0 488100024 853590016 20285 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20285 13073 16 0 208380 0
vsize: 833584
[startup+50.0122 s]
Raw data (loadavg): 0.91 0.91 0.90 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 4530 41 0 0 25 0 10 0 488100024 853590016 20404 4294967295 134512640 134569956 3221224400 3221214824 1131223050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20404 13073 16 0 208380 0
vsize: 833584
[startup+60.0133 s]
Raw data (loadavg): 0.92 0.92 0.90 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 5459 41 0 0 17 0 10 0 488100024 853753856 20521 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 20521 13073 16 0 208420 0
vsize: 833744
[startup+70.0135 s]
Raw data (loadavg): 0.93 0.92 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 6404 42 0 0 25 0 10 0 488100024 853590016 20721 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20721 13073 16 0 208380 0
vsize: 833584
[startup+80.0146 s]
Raw data (loadavg): 0.94 0.92 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 7349 42 0 0 25 0 10 0 488100024 853590016 20803 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20803 13073 16 0 208380 0
vsize: 833584
[startup+90.0158 s]
Raw data (loadavg): 0.95 0.92 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 8295 43 0 0 24 0 10 0 488100024 853590016 20876 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20876 13073 16 0 208380 0
vsize: 833584
[startup+100.017 s]
Raw data (loadavg): 0.96 0.92 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 9243 43 0 0 25 0 10 0 488100024 853590016 20941 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20941 13073 16 0 208380 0
vsize: 833584
[startup+110.018 s]
Raw data (loadavg): 0.96 0.93 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 10189 44 0 0 18 0 10 0 488100024 853590016 21005 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21005 13073 16 0 208380 0
vsize: 833584
[startup+120.019 s]
Raw data (loadavg): 0.97 0.93 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 11136 44 0 0 24 0 10 0 488100024 853590016 21066 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21066 13073 16 0 208380 0
vsize: 833584
[startup+130.02 s]
Raw data (loadavg): 0.97 0.93 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 12085 44 0 0 25 0 10 0 488100024 853590016 21120 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21120 13073 16 0 208380 0
vsize: 833584
[startup+140.022 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 13032 45 0 0 25 0 10 0 488100024 853590016 21176 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21176 13073 16 0 208380 0
vsize: 833584
[startup+150.023 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 13978 45 0 0 25 0 10 0 488100024 853590016 21228 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21228 13073 16 0 208380 0
vsize: 833584
[startup+160.024 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 14924 46 0 0 24 0 10 0 488100024 853590016 21280 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21280 13073 16 0 208380 0
vsize: 833584
[startup+170.025 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 15858 46 0 0 25 0 10 0 488100024 853590016 21326 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21326 13073 16 0 208380 0
vsize: 833584
[startup+180.026 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 16785 47 0 0 25 0 10 0 488100024 853590016 21371 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21371 13073 16 0 208380 0
vsize: 833584
[startup+190.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 17720 47 0 0 25 0 10 0 488100024 853590016 21673 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21673 13073 16 0 208380 0
vsize: 833584
[startup+200.031 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 19258
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 18663 48 0 0 25 0 10 0 488100024 853590016 21716 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21716 13073 16 0 208380 0
vsize: 833584
[startup+210.031 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 19607 48 0 0 25 0 10 0 488100024 853590016 21759 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21759 13073 16 0 208380 0
vsize: 833584
[startup+220.033 s]
Raw data (loadavg): 1.07 0.96 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 20548 48 0 0 25 0 10 0 488100024 853590016 21802 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21802 13073 16 0 208380 0
vsize: 833584
[startup+230.034 s]
Raw data (loadavg): 1.06 0.96 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 21492 49 0 0 25 0 10 0 488100024 853590016 21840 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 21840 13073 16 0 208380 0
vsize: 833584
[startup+240.034 s]
Raw data (loadavg): 1.05 0.96 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 22432 49 0 0 25 0 10 0 488100024 853590016 21881 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21881 13073 16 0 208380 0
vsize: 833584
[startup+250.034 s]
Raw data (loadavg): 1.04 0.96 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 23372 50 0 0 25 0 10 0 488100024 853590016 21920 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21920 13073 16 0 208380 0
vsize: 833584
[startup+260.035 s]
Raw data (loadavg): 1.03 0.96 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 24316 50 0 0 25 0 10 0 488100024 853590016 21956 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21956 13073 16 0 208380 0
vsize: 833584
[startup+270.035 s]
Raw data (loadavg): 1.03 0.97 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 25254 51 0 0 25 0 10 0 488100024 853590016 21994 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 21994 13073 16 0 208380 0
vsize: 833584
[startup+280.036 s]
Raw data (loadavg): 1.02 0.97 0.91 2/63 19258
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 26196 51 0 0 21 0 10 0 488100024 853590016 22029 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 22029 13073 16 0 208380 0
vsize: 833584
[startup+290.037 s]
Raw data (loadavg): 1.02 0.97 0.91 3/66 19296
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 27133 52 0 0 25 0 10 0 488100024 853590016 22065 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 22065 13073 16 0 208380 0
vsize: 833584
[startup+300.037 s]
Raw data (loadavg): 1.02 0.97 0.91 2/63 19311
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 28074 52 0 0 19 0 10 0 488100024 853590016 22098 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 22098 13073 16 0 208380 0
vsize: 833584
[startup+310.037 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 19311
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 29016 52 0 0 21 0 10 0 488100024 853590016 22131 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 22131 13073 16 0 208380 0
vsize: 833584
[startup+320.038 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 19311
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 29954 52 0 0 20 0 10 0 488100024 853590016 22166 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22166 13073 16 0 208380 0
vsize: 833584
[startup+330.039 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 19311
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 30893 52 0 0 25 0 10 0 488100024 853590016 22197 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22197 13073 16 0 208380 0
vsize: 833584
[startup+340.039 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 19311
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 31827 52 0 0 25 0 10 0 488100024 853590016 22231 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22231 13073 16 0 208380 0
vsize: 833584
[startup+350.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19311
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 32766 53 0 0 25 0 10 0 488100024 853590016 22263 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22263 13073 16 0 208380 0
vsize: 833584
[startup+360.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 33700 53 0 0 25 0 10 0 488100024 853590016 22295 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22295 13073 16 0 208380 0
vsize: 833584
[startup+370.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 34638 54 0 0 25 0 10 0 488100024 853590016 22325 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22325 13073 16 0 208380 0
vsize: 833584
[startup+380.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 35571 55 0 0 24 0 10 0 488100024 853590016 22356 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22356 13073 16 0 208380 0
vsize: 833584
[startup+390.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 36508 55 0 0 25 0 10 0 488100024 853590016 22385 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22385 13073 16 0 208380 0
vsize: 833584
[startup+400.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 37444 55 0 0 25 0 10 0 488100024 853590016 22414 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22414 13073 16 0 208380 0
vsize: 833584
[startup+410.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 38375 56 0 0 25 0 10 0 488100024 853590016 22444 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22444 13073 16 0 208380 0
vsize: 833584
[startup+420.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 39311 56 0 0 25 0 10 0 488100024 853590016 22472 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22472 13073 16 0 208380 0
vsize: 833584
[startup+430.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 40242 56 0 0 24 0 10 0 488100024 853590016 22501 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22501 13073 16 0 208380 0
vsize: 833584
[startup+440.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 41177 56 0 0 25 0 10 0 488100024 853590016 22528 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22528 13073 16 0 208380 0
vsize: 833584
[startup+450.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 42112 57 0 0 25 0 10 0 488100024 853590016 22555 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22555 13073 16 0 208380 0
vsize: 833584
[startup+460.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 43042 57 0 0 24 0 10 0 488100024 853590016 22584 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22584 13073 16 0 208380 0
vsize: 833584
[startup+470.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 43975 57 0 0 25 0 10 0 488100024 853590016 22610 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22610 13073 16 0 208380 0
vsize: 833584
[startup+480.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 44909 57 0 0 25 0 10 0 488100024 853590016 22636 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22636 13073 16 0 208380 0
vsize: 833584
[startup+490.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 45839 58 0 0 21 0 10 0 488100024 853590016 22662 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 22662 13073 16 0 208380 0
vsize: 833584
[startup+500.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 46771 58 0 0 17 0 10 0 488100024 853590016 22689 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 22689 13073 16 0 208380 0
vsize: 833584
[startup+510.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 47703 58 0 0 18 0 10 0 488100024 853590016 22714 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208396 22714 13073 16 0 208380 0
vsize: 833584
[startup+520.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 48635 58 0 0 23 0 10 0 488100024 853590016 22739 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22739 13073 16 0 208380 0
vsize: 833584
[startup+530.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 49566 58 0 0 25 0 10 0 488100024 853590016 22764 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22764 13073 16 0 208380 0
vsize: 833584
[startup+540.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 50492 59 0 0 17 0 10 0 488100024 853590016 22791 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22791 13073 16 0 208380 0
vsize: 833584
[startup+550.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 51420 60 0 0 25 0 10 0 488100024 853590016 22815 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22815 13073 16 0 208380 0
vsize: 833584
[startup+560.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 52350 61 0 0 25 0 10 0 488100024 853590016 22839 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22839 13073 16 0 208380 0
vsize: 833584
[startup+570.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 53279 61 0 0 25 0 10 0 488100024 853590016 22863 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22863 13073 16 0 208380 0
vsize: 833584
[startup+580.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 54203 62 0 0 24 0 10 0 488100024 853590016 22888 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22888 13073 16 0 208380 0
vsize: 833584
[startup+590.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 55131 62 0 0 25 0 10 0 488100024 853590016 22912 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22912 13073 16 0 208380 0
vsize: 833584
[startup+600.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19313
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 56059 63 0 0 19 0 10 0 488100024 853590016 22935 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22935 13073 16 0 208380 0
vsize: 833584
[startup+610.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 56986 63 0 0 25 0 10 0 488100024 853590016 22958 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22958 13073 16 0 208380 0
vsize: 833584
[startup+620.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 57912 64 0 0 24 0 10 0 488100024 853590016 22981 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 22981 13073 16 0 208380 0
vsize: 833584
[startup+630.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 58834 64 0 0 24 0 10 0 488100024 853590016 23005 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 23005 13073 16 0 208380 0
vsize: 833584
[startup+640.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 59760 64 0 0 25 0 10 0 488100024 853590016 23027 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 23027 13073 16 0 208380 0
vsize: 833584
[startup+650.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 60685 64 0 0 25 0 10 0 488100024 853590016 23049 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 23049 13073 16 0 208380 0
vsize: 833584
[startup+660.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 61603 65 0 0 25 0 10 0 488100024 853590016 24090 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24090 13073 16 0 208380 0
vsize: 833584
[startup+670.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 62531 65 0 0 25 0 10 0 488100024 853590016 24090 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24090 13073 16 0 208380 0
vsize: 833584
[startup+680.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 63449 66 0 0 25 0 10 0 488100024 853590016 24094 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24094 13073 16 0 208380 0
vsize: 833584
[startup+690.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 64363 66 0 0 25 0 10 0 488100024 853590016 24132 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24132 13073 16 0 208380 0
vsize: 833584
[startup+700.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 65278 67 0 0 25 0 10 0 488100024 853590016 24158 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24158 13073 16 0 208380 0
vsize: 833584
[startup+710.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 66191 67 0 0 25 0 10 0 488100024 853590016 24184 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24184 13073 16 0 208380 0
vsize: 833584
[startup+720.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 67105 68 0 0 25 0 10 0 488100024 853590016 24210 4294967295 134512640 134569956 3221224400 3221214200 1077559812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24210 13073 16 0 208380 0
vsize: 833584
[startup+730.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 68019 68 0 0 25 0 10 0 488100024 853590016 24234 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24234 13073 16 0 208380 0
vsize: 833584
[startup+740.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 68934 69 0 0 25 0 10 0 488100024 853590016 24254 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24254 13073 16 0 208380 0
vsize: 833584
[startup+750.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 69847 69 0 0 25 0 10 0 488100024 853590016 24285 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24285 13073 16 0 208380 0
vsize: 833584
[startup+760.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 70765 70 0 0 25 0 10 0 488100024 853590016 24309 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24309 13073 16 0 208380 0
vsize: 833584
[startup+770.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 71678 71 0 0 25 0 10 0 488100024 853590016 24333 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24333 13073 16 0 208380 0
vsize: 833584
[startup+780.077 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 72590 71 0 0 23 0 10 0 488100024 853590016 24353 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24353 13073 16 0 208380 0
vsize: 833584
[startup+790.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 73502 72 0 0 25 0 10 0 488100024 853590016 24383 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24383 13073 16 0 208380 0
vsize: 833584
[startup+800.079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 74414 72 0 0 25 0 10 0 488100024 853590016 24407 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24407 13073 16 0 208380 0
vsize: 833584
[startup+810.079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 75326 72 0 0 25 0 10 0 488100024 853590016 24432 4294967295 134512640 134569956 3221224400 3221214712 1079678056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24432 13073 16 0 208380 0
vsize: 833584
[startup+820.081 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 76236 73 0 0 20 0 10 0 488100024 853590016 24452 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24452 13073 16 0 208380 0
vsize: 833584
[startup+830.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 77151 73 0 0 25 0 10 0 488100024 853590016 24478 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24478 13073 16 0 208380 0
vsize: 833584
[startup+840.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 78065 73 0 0 25 0 10 0 488100024 853590016 24499 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24499 13073 16 0 208380 0
vsize: 833584
[startup+850.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 78976 74 0 0 25 0 10 0 488100024 853590016 24524 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24524 13073 16 0 208380 0
vsize: 833584
[startup+860.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 79886 74 0 0 18 0 10 0 488100024 853590016 24543 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24543 13073 16 0 208380 0
vsize: 833584
[startup+870.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 80796 74 0 0 25 0 10 0 488100024 853590016 24570 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24570 13073 16 0 208380 0
vsize: 833584
[startup+880.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 81704 75 0 0 19 0 10 0 488100024 853590016 24593 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24593 13073 16 0 208380 0
vsize: 833584
[startup+890.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 82619 75 0 0 21 0 10 0 488100024 853590016 24611 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24611 13073 16 0 208380 0
vsize: 833584
[startup+900.091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 83528 76 0 0 25 0 10 0 488100024 853590016 24639 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24639 13073 16 0 208380 0
vsize: 833584
[startup+910.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 84437 76 0 0 25 0 10 0 488100024 853590016 24658 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24658 13073 16 0 208380 0
vsize: 833584
[startup+920.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 85345 77 0 0 17 0 10 0 488100024 853590016 24683 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24683 13073 16 0 208380 0
vsize: 833584
[startup+930.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 86253 77 0 0 24 0 10 0 488100024 853590016 24703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24703 13073 16 0 208380 0
vsize: 833584
[startup+940.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 87167 77 0 0 25 0 10 0 488100024 853590016 24720 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24720 13073 16 0 208380 0
vsize: 833584
[startup+950.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 88073 77 0 0 21 0 10 0 488100024 853590016 24750 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24750 13073 16 0 208380 0
vsize: 833584
[startup+960.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 88978 78 0 0 19 0 10 0 488100024 853590016 24772 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24772 13073 16 0 208380 0
vsize: 833584
[startup+970.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 89885 78 0 0 23 0 10 0 488100024 853590016 24790 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24790 13073 16 0 208380 0
vsize: 833584
[startup+980.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 90796 79 0 0 21 0 10 0 488100024 853590016 24813 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24813 13073 16 0 208380 0
vsize: 833584
[startup+990.099 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 91703 79 0 0 22 0 10 0 488100024 853590016 24836 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24836 13073 16 0 208380 0
vsize: 833584
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 92608 80 0 0 19 0 10 0 488100024 853590016 24857 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24857 13073 16 0 208380 0
vsize: 833584
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 93520 80 0 0 24 0 10 0 488100024 853590016 24874 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24874 13073 16 0 208380 0
vsize: 833584
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 94426 80 0 0 22 0 10 0 488100024 853590016 24892 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24892 13073 16 0 208380 0
vsize: 833584
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 95330 81 0 0 20 0 10 0 488100024 853590016 24920 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24920 13073 16 0 208380 0
vsize: 833584
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 96234 82 0 0 24 0 10 0 488100024 853590016 24938 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24938 13073 16 0 208380 0
vsize: 833584
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 97144 82 0 0 22 0 10 0 488100024 853590016 24961 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24961 13073 16 0 208380 0
vsize: 833584
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 98047 83 0 0 20 0 10 0 488100024 853590016 24985 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 24985 13073 16 0 208380 0
vsize: 833584
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 98949 83 0 0 23 0 10 0 488100024 853590016 25004 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25004 13073 16 0 208380 0
vsize: 833584
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 99858 83 0 0 23 0 10 0 488100024 853590016 25023 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25023 13073 16 0 208380 0
vsize: 833584
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 100762 84 0 0 20 0 10 0 488100024 853590016 25044 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25044 13073 16 0 208380 0
vsize: 833584
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 101669 84 0 0 23 0 10 0 488100024 853590016 25066 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25066 13073 16 0 208380 0
vsize: 833584
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 102572 85 0 0 21 0 10 0 488100024 853590016 25085 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25085 13073 16 0 208380 0
vsize: 833584
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 103474 86 0 0 19 0 10 0 488100024 853590016 25105 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25105 13073 16 0 208380 0
vsize: 833584
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 104382 86 0 0 21 0 10 0 488100024 853590016 25125 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25125 13073 16 0 208380 0
vsize: 833584
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 105284 86 0 0 21 0 10 0 488100024 853590016 25144 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25144 13073 16 0 208380 0
vsize: 833584
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 106185 87 0 0 19 0 10 0 488100024 853590016 25166 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25166 13073 16 0 208380 0
vsize: 833584
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 107091 87 0 0 20 0 10 0 488100024 853590016 25184 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25184 13073 16 0 208380 0
vsize: 833584
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 107993 88 0 0 20 0 10 0 488100024 853590016 25204 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25204 13073 16 0 208380 0
vsize: 833584
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 108900 88 0 0 24 0 10 0 488100024 853590016 25219 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25219 13073 16 0 208380 0
vsize: 833584
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 109799 89 0 0 21 0 10 0 488100024 853590016 25244 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25244 13073 16 0 208380 0
vsize: 833584
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 110697 89 0 0 19 0 10 0 488100024 853590016 25263 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25263 13073 16 0 208380 0
vsize: 833584
[startup+1210.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 111601 89 0 0 22 0 10 0 488100024 853590016 25281 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25281 13073 16 0 208380 0
vsize: 833584
[startup+1220.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 112501 89 0 0 18 0 10 0 488100024 853590016 25301 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25301 13073 16 0 208380 0
vsize: 833584
[startup+1230.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 113407 89 0 0 23 0 10 0 488100024 853590016 25316 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25316 13073 16 0 208380 0
vsize: 833584
[startup+1240.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 114305 90 0 0 20 0 10 0 488100024 853590016 25332 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25332 13073 16 0 208380 0
vsize: 833584
[startup+1250.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 115209 90 0 0 21 0 10 0 488100024 853590016 25347 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25347 13073 16 0 208380 0
vsize: 833584
[startup+1260.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 116107 91 0 0 20 0 10 0 488100024 853590016 25376 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25376 13073 16 0 208380 0
vsize: 833584
[startup+1270.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) S 19248 29653 29652 0 -1 0 17983 0 1 0 117010 91 0 0 23 0 10 0 488100024 853590016 25396 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25396 13073 16 0 208380 0
vsize: 833584
[startup+1280.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 117910 92 0 0 21 0 10 0 488100024 853590016 25417 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25417 13073 16 0 208380 0
vsize: 833584
[startup+1290.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 118809 92 0 0 19 0 10 0 488100024 853590016 25430 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25430 13073 16 0 208380 0
vsize: 833584
[startup+1300.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 119714 93 0 0 21 0 10 0 488100024 853590016 25460 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25460 13073 16 0 208380 0
vsize: 833584
[startup+1310.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 19315
Raw data (stat): 19249 (java) R 19248 29653 29652 0 -1 0 17983 0 1 0 120616 94 0 0 20 0 10 0 488100024 853590016 25475 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 25475 13073 16 0 208380 0
vsize: 833584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.22 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 19316
Raw data (stat): 19249 (java) Z 19248 29653 29652 0 -1 1036 17983 7178 1 0 120620 94 10239 44 21 0 1 0 488100024 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): 1310.22
CPU time (s): 1309.99
CPU user time (s): 1308.6
CPU system time (s): 1.38579
CPU usage (%): 99.982
Max. virtual memory (Kb): 833744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####