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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb
MD5SUMa75eaaeeef32947fd9ba7cf4d126c00a
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 31855
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 3494440607063922925
Number of bits of the sum of numbers in the objective function 62
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 3507240607063922925
Number of bits of the biggest sum of numbers62
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.302953
Number of variables31855
Total number of constraints7680
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6416
Number of constraints which are nor clauses,nor cardinality constraints1264
Minimum length of a constraint1
Maximum length of a constraint31855

Trace number 13840

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        647856 kB
Buffers:         34416 kB
Cached:         318116 kB
SwapCached:        660 kB
Active:          95960 kB
Inactive:       258788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        647604 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            26404 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:21:12 (client local time) WITH STATUS 143 IN 1256.24 SECONDS
stats: 20302 7 1256.24 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-trento1.opb
c reading problem 
c [nbvar=31855]
c [nbconstr=7680]
c time 294.956
c #vars     31855
c #clauses  2513
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.90 0.90 0.89 1/55 15496
Raw data (stat): 15496 (runsolver) D 15495 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 539867561 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.92 0.90 0.89 2/64 15505
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 836 41 0 0 24 0 10 0 539867561 853983232 19202 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208492 19202 13073 16 0 208476 0
vsize: 833968
[startup+20.0019 s]
Raw data (loadavg): 0.93 0.90 0.89 2/64 15505
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 1733 41 0 0 25 0 10 0 539867561 854798336 19831 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 19831 13073 16 0 208675 0
vsize: 834764
[startup+30.0071 s]
Raw data (loadavg): 0.94 0.91 0.89 2/64 15505
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 2631 41 0 0 25 0 10 0 539867561 854798336 20262 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 20262 13073 16 0 208675 0
vsize: 834764
[startup+40.0118 s]
Raw data (loadavg): 0.95 0.91 0.89 2/64 15505
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 3560 41 0 0 25 0 10 0 539867561 854798336 20493 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 20493 13073 16 0 208675 0
vsize: 834764
[startup+50.0132 s]
Raw data (loadavg): 0.96 0.91 0.89 2/64 15505
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 4491 41 0 0 25 0 10 0 539867561 854798336 20613 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 20613 13073 16 0 208675 0
vsize: 834764
[startup+60.0135 s]
Raw data (loadavg): 0.96 0.91 0.89 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 5424 42 0 0 25 0 10 0 539867561 854798336 20708 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 20708 13073 16 0 208675 0
vsize: 834764
[startup+70.0139 s]
Raw data (loadavg): 0.97 0.92 0.89 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 6366 42 0 0 24 0 10 0 539867561 854798336 20942 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 20942 13073 16 0 208675 0
vsize: 834764
[startup+80.016 s]
Raw data (loadavg): 0.97 0.92 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 7315 42 0 0 25 0 10 0 539867561 854798336 21017 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21017 13073 16 0 208675 0
vsize: 834764
[startup+90.0161 s]
Raw data (loadavg): 0.98 0.92 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 8262 42 0 0 24 0 10 0 539867561 854798336 21091 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21091 13073 16 0 208675 0
vsize: 834764
[startup+100.017 s]
Raw data (loadavg): 0.98 0.92 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 9212 43 0 0 25 0 10 0 539867561 854798336 21155 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21155 13073 16 0 208675 0
vsize: 834764
[startup+110.018 s]
Raw data (loadavg): 0.98 0.92 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 10160 43 0 0 24 0 10 0 539867561 854798336 21218 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21218 13073 16 0 208675 0
vsize: 834764
[startup+120.018 s]
Raw data (loadavg): 0.98 0.93 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 11111 43 0 0 25 0 10 0 539867561 854798336 21275 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21275 13073 16 0 208675 0
vsize: 834764
[startup+130.02 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 12061 43 0 0 25 0 10 0 539867561 854798336 21329 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21329 13073 16 0 208675 0
vsize: 834764
[startup+140.021 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 13008 43 0 0 25 0 10 0 539867561 854798336 21384 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21384 13073 16 0 208675 0
vsize: 834764
[startup+150.022 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 13959 43 0 0 25 0 10 0 539867561 854798336 21433 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21433 13073 16 0 208675 0
vsize: 834764
[startup+160.022 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 14905 43 0 0 25 0 10 0 539867561 854798336 21485 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21485 13073 16 0 208675 0
vsize: 834764
[startup+170.022 s]
Raw data (loadavg): 0.99 0.94 0.90 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 15846 43 0 0 25 0 10 0 539867561 854798336 21530 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21530 13073 16 0 208675 0
vsize: 834764
[startup+180.022 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 16773 43 0 0 25 0 10 0 539867561 854798336 21575 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21575 13073 16 0 208675 0
vsize: 834764
[startup+190.023 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 17709 44 0 0 25 0 10 0 539867561 854798336 21874 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21874 13073 16 0 208675 0
vsize: 834764
[startup+200.024 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 18651 44 0 0 24 0 10 0 539867561 854798336 21919 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208691 21919 13073 16 0 208675 0
vsize: 834764
[startup+210.024 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 19597 45 0 0 25 0 10 0 539867561 854798336 21960 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 21960 13073 16 0 208675 0
vsize: 834764
[startup+220.026 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 20539 45 0 0 24 0 10 0 539867561 854798336 22004 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 22004 13073 16 0 208675 0
vsize: 834764
[startup+230.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 21484 45 0 0 25 0 10 0 539867561 854798336 22043 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 22043 13073 16 0 208675 0
vsize: 834764
[startup+240.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 22429 45 0 0 25 0 10 0 539867561 854798336 22081 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 22081 13073 16 0 208675 0
vsize: 834764
[startup+250.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 23369 46 0 0 25 0 10 0 539867561 854798336 22121 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 22121 13073 16 0 208675 0
vsize: 834764
[startup+260.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 24314 46 0 0 25 0 10 0 539867561 854798336 22157 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208691 22157 13073 16 0 208675 0
vsize: 834764
[startup+270.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15507
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17988 0 1 0 25257 46 0 0 25 0 10 0 539867561 854528000 22128 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208625 22128 13073 16 0 208609 0
vsize: 834500
[startup+280.052 s]
Raw data (loadavg): 0.99 0.95 0.91 3/64 15509
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17993 0 1 0 26178 46 0 0 25 0 10 0 539867561 858669056 23041 4294967295 134512640 134569956 3221224400 3221213896 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 23041 13073 16 0 209620 0
vsize: 838544
[startup+290.053 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 15511
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 17997 0 1 0 27065 47 0 0 25 0 10 0 539867561 869392384 25921 4294967295 134512640 134569956 3221224400 3221214248 1131326578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212254 25921 13073 16 0 212238 0
vsize: 849016
[startup+300.054 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 15511
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18020 0 1 0 27945 49 0 0 25 0 10 0 539867561 870268928 33290 4294967295 134512640 134569956 3221224400 3221214736 1131481234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212468 33290 13073 16 0 212452 0
vsize: 849872
[startup+310.054 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 15511
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 28939 49 0 0 25 0 10 0 539867561 859090944 30640 4294967295 134512640 134569956 3221224400 3221214736 1131481227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209739 30640 13073 16 0 209723 0
vsize: 838956
[startup+320.062 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 15511
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 29931 49 0 0 25 0 10 0 539867561 859090944 30641 4294967295 134512640 134569956 3221224400 3221214840 1131532492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209739 30641 13073 16 0 209723 0
vsize: 838956
[startup+330.07 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 15511
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 30922 49 0 0 25 0 10 0 539867561 859090944 30641 4294967295 134512640 134569956 3221224400 3221214752 1131351139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209739 30641 13073 16 0 209723 0
vsize: 838956
[startup+340.07 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 15511
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 31913 49 0 0 25 0 10 0 539867561 859090944 30646 4294967295 134512640 134569956 3221224400 3221214840 1131532492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209739 30646 13073 16 0 209723 0
vsize: 838956
[startup+350.071 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 15511
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18021 0 1 0 32903 49 0 0 25 0 10 0 539867561 859090944 30653 4294967295 134512640 134569956 3221224400 3221214752 1131252796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209739 30653 13073 16 0 209723 0
vsize: 838956
[startup+360.071 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 33887 50 0 0 25 0 11 0 539867561 859619328 30675 4294967295 134512640 134569956 3221224400 3221214704 1131351401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30675 13073 16 0 209852 0
vsize: 839472
[startup+370.074 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 34870 50 0 0 25 0 11 0 539867561 859619328 30684 4294967295 134512640 134569956 3221224400 3221214792 1131533188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30684 13073 16 0 209852 0
vsize: 839472
[startup+380.085 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 35850 50 0 0 24 0 11 0 539867561 859619328 30695 4294967295 134512640 134569956 3221224400 3221214792 1131534524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30695 13073 16 0 209852 0
vsize: 839472
[startup+390.085 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 36830 50 0 0 25 0 11 0 539867561 859619328 30710 4294967295 134512640 134569956 3221224400 3221214788 1131352306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30710 13073 16 0 209852 0
vsize: 839472
[startup+400.085 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 37810 50 0 0 25 0 11 0 539867561 859619328 30732 4294967295 134512640 134569956 3221224400 3221214792 1131533355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30732 13073 16 0 209852 0
vsize: 839472
[startup+410.086 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 38786 50 0 0 24 0 11 0 539867561 859619328 30747 4294967295 134512640 134569956 3221224400 3221214704 1131351218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30747 13073 16 0 209852 0
vsize: 839472
[startup+420.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18027 0 1 0 39765 50 0 0 25 0 11 0 539867561 859619328 30765 4294967295 134512640 134569956 3221224400 3221214688 1131481223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30765 13073 16 0 209852 0
vsize: 839472
[startup+430.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 40743 50 0 0 25 0 11 0 539867561 859619328 30794 4294967295 134512640 134569956 3221224400 3221214792 1131532492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30794 13073 16 0 209852 0
vsize: 839472
[startup+440.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 41719 51 0 0 24 0 11 0 539867561 859619328 30821 4294967295 134512640 134569956 3221224400 3221214792 1131532492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30821 13073 16 0 209852 0
vsize: 839472
[startup+450.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 42700 51 0 0 25 0 11 0 539867561 859619328 30843 4294967295 134512640 134569956 3221224400 3221214792 1131534524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30843 13073 16 0 209852 0
vsize: 839472
[startup+460.103 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 43681 51 0 0 25 0 11 0 539867561 859619328 30865 4294967295 134512640 134569956 3221224400 3221214792 1131531088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30865 13073 16 0 209852 0
vsize: 839472
[startup+470.103 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 44661 51 0 0 24 0 11 0 539867561 859619328 30898 4294967295 134512640 134569956 3221224400 3221214792 1131532510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30898 13073 16 0 209852 0
vsize: 839472
[startup+480.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 45645 51 0 0 25 0 11 0 539867561 859619328 30921 4294967295 134512640 134569956 3221224400 3221214704 1131351471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30921 13073 16 0 209852 0
vsize: 839472
[startup+490.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 46629 51 0 0 25 0 11 0 539867561 859619328 30944 4294967295 134512640 134569956 3221224400 3221214792 1131534328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30944 13073 16 0 209852 0
vsize: 839472
[startup+500.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 47609 51 0 0 25 0 11 0 539867561 859619328 30967 4294967295 134512640 134569956 3221224400 3221214704 1131351381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30967 13073 16 0 209852 0
vsize: 839472
[startup+510.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 48593 51 0 0 25 0 11 0 539867561 859619328 30980 4294967295 134512640 134569956 3221224400 3221214704 1131351381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 30980 13073 16 0 209852 0
vsize: 839472
[startup+520.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 49577 51 0 0 25 0 11 0 539867561 859619328 31005 4294967295 134512640 134569956 3221224400 3221214704 1131351150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31005 13073 16 0 209852 0
vsize: 839472
[startup+530.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 50563 51 0 0 25 0 11 0 539867561 859619328 31032 4294967295 134512640 134569956 3221224400 3221214788 1131276802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31032 13073 16 0 209852 0
vsize: 839472
[startup+540.131 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 51553 51 0 0 25 0 11 0 539867561 859619328 31045 4294967295 134512640 134569956 3221224400 3221214784 1131276764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31045 13073 16 0 209852 0
vsize: 839472
[startup+550.132 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 52540 51 0 0 25 0 11 0 539867561 859619328 31058 4294967295 134512640 134569956 3221224400 3221214792 1131531032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31058 13073 16 0 209852 0
vsize: 839472
[startup+560.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 53529 51 0 0 25 0 11 0 539867561 859619328 31069 4294967295 134512640 134569956 3221224400 3221214704 1131351218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31069 13073 16 0 209852 0
vsize: 839472
[startup+570.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15512
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 54517 52 0 0 25 0 11 0 539867561 859619328 31078 4294967295 134512640 134569956 3221224400 3221214792 1131532010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31078 13073 16 0 209852 0
vsize: 839472
[startup+580.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18028 0 1 0 55505 52 0 0 25 0 11 0 539867561 859619328 31089 4294967295 134512640 134569956 3221224400 3221214704 1131352142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31089 13073 16 0 209852 0
vsize: 839472
[startup+590.133 s]
Raw data (loadavg): 1.00 0.97 0.91 3/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18064 0 1 0 56481 52 0 0 25 0 11 0 539867561 859619328 31137 4294967295 134512640 134569956 3221224400 3221214748 1130893306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31137 13073 16 0 209852 0
vsize: 839472
[startup+600.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18065 0 1 0 57405 52 0 0 25 0 11 0 539867561 859619328 31206 4294967295 134512640 134569956 3221224400 3221214732 1080203752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31206 13073 16 0 209852 0
vsize: 839472
[startup+610.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18065 0 1 0 58345 52 0 0 25 0 11 0 539867561 859619328 31670 4294967295 134512640 134569956 3221224400 3221214744 1131598168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31670 13073 16 0 209852 0
vsize: 839472
[startup+620.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18065 0 1 0 59336 53 0 0 25 0 11 0 539867561 859619328 31670 4294967295 134512640 134569956 3221224400 3221214672 1131567597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31670 13073 16 0 209852 0
vsize: 839472
[startup+630.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18065 0 1 0 60324 53 0 0 25 0 11 0 539867561 859619328 31670 4294967295 134512640 134569956 3221224400 3221214744 1131598251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31670 13073 16 0 209852 0
vsize: 839472
[startup+640.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 61313 53 0 0 25 0 11 0 539867561 859619328 31678 4294967295 134512640 134569956 3221224400 3221214632 1131733499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31678 13073 16 0 209852 0
vsize: 839472
[startup+650.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 62312 53 0 0 25 0 11 0 539867561 859619328 31682 4294967295 134512640 134569956 3221224400 3221214664 1131737898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31682 13073 16 0 209852 0
vsize: 839472
[startup+660.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 63310 53 0 0 25 0 11 0 539867561 859619328 31682 4294967295 134512640 134569956 3221224400 3221214704 1131737898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31682 13073 16 0 209852 0
vsize: 839472
[startup+670.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 64274 54 0 0 25 0 11 0 539867561 859619328 31683 4294967295 134512640 134569956 3221224400 3221214744 1131598880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31683 13073 16 0 209852 0
vsize: 839472
[startup+680.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 65218 54 0 0 25 0 11 0 539867561 859619328 31683 4294967295 134512640 134569956 3221224400 3221214608 1131581217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31683 13073 16 0 209852 0
vsize: 839472
[startup+690.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 66162 54 0 0 25 0 11 0 539867561 859619328 31683 4294967295 134512640 134569956 3221224400 3221214608 1131581643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31683 13073 16 0 209852 0
vsize: 839472
[startup+700.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 67125 54 0 0 25 0 11 0 539867561 859619328 31798 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31798 13073 16 0 209852 0
vsize: 839472
[startup+710.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 68115 55 0 0 25 0 11 0 539867561 859619328 31798 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31798 13073 16 0 209852 0
vsize: 839472
[startup+720.19 s]
Raw data (loadavg): 1.00 0.97 0.91 3/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 69109 55 0 0 25 0 11 0 539867561 859619328 31801 4294967295 134512640 134569956 3221224400 3221214744 1130917144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31801 13073 16 0 209852 0
vsize: 839472
[startup+730.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 70037 55 0 0 24 0 11 0 539867561 859619328 31805 4294967295 134512640 134569956 3221224400 3221214672 1131567077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31805 13073 16 0 209852 0
vsize: 839472
[startup+740.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 70959 55 0 0 25 0 11 0 539867561 859619328 31805 4294967295 134512640 134569956 3221224400 3221214744 1131296279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 31805 13073 16 0 209852 0
vsize: 839472
[startup+750.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 71920 56 0 0 25 0 11 0 539867561 859619328 31805 4294967295 134512640 134569956 3221224400 3221214584 1131764776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 31805 13073 16 0 209852 0
vsize: 839472
[startup+760.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 72868 56 0 0 25 0 11 0 539867561 859619328 32141 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32141 13073 16 0 209852 0
vsize: 839472
[startup+770.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 73801 56 0 0 24 0 11 0 539867561 859619328 32141 4294967295 134512640 134569956 3221224400 3221214676 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32141 13073 16 0 209852 0
vsize: 839472
[startup+780.192 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 74742 56 0 0 25 0 11 0 539867561 859619328 32141 4294967295 134512640 134569956 3221224400 3221214672 1131567077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32141 13073 16 0 209852 0
vsize: 839472
[startup+790.193 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 75705 56 0 0 25 0 11 0 539867561 859619328 32293 4294967295 134512640 134569956 3221224400 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32293 13073 16 0 209852 0
vsize: 839472
[startup+800.194 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 76664 57 0 0 25 0 11 0 539867561 859619328 32293 4294967295 134512640 134569956 3221224400 3221214672 1131567292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32293 13073 16 0 209852 0
vsize: 839472
[startup+810.194 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 77645 57 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214664 1131562512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+820.195 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 78635 57 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214744 1131598605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+830.196 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 79621 58 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214740 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+840.196 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 80610 58 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214848 1131555517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+850.197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 81599 59 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214728 1131586313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+860.198 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 82586 59 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214744 1131599997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+870.199 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15514
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 83576 59 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214664 1131562574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+880.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 84565 60 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214616 1131587438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+890.205 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 85552 60 0 0 25 0 11 0 539867561 859619328 32729 4294967295 134512640 134569956 3221224400 3221214672 1131568868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32729 13073 16 0 209852 0
vsize: 839472
[startup+900.212 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 86543 61 0 0 20 0 11 0 539867561 859619328 32730 4294967295 134512640 134569956 3221224400 3221214680 1131749363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32730 13073 16 0 209852 0
vsize: 839472
[startup+910.212 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 87537 61 0 0 25 0 11 0 539867561 859619328 32730 4294967295 134512640 134569956 3221224400 3221214680 1131751115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32730 13073 16 0 209852 0
vsize: 839472
[startup+920.213 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18066 0 1 0 88530 62 0 0 25 0 11 0 539867561 859619328 32730 4294967295 134512640 134569956 3221224400 3221214680 1131749363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32730 13073 16 0 209852 0
vsize: 839472
[startup+930.214 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 89524 62 0 0 25 0 11 0 539867561 859619328 32731 4294967295 134512640 134569956 3221224400 3221214680 1131742327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32731 13073 16 0 209852 0
vsize: 839472
[startup+940.213 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 90518 63 0 0 25 0 11 0 539867561 859619328 32731 4294967295 134512640 134569956 3221224400 3221214680 1131742320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32731 13073 16 0 209852 0
vsize: 839472
[startup+950.214 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 91514 63 0 0 25 0 11 0 539867561 859619328 32782 4294967295 134512640 134569956 3221224400 3221214680 1131748636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32782 13073 16 0 209852 0
vsize: 839472
[startup+960.215 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 92511 63 0 0 25 0 11 0 539867561 859619328 32782 4294967295 134512640 134569956 3221224400 3221214568 1131296151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32782 13073 16 0 209852 0
vsize: 839472
[startup+970.215 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 93509 63 0 0 25 0 11 0 539867561 859619328 32782 4294967295 134512640 134569956 3221224400 3221214576 1131296162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 32782 13073 16 0 209852 0
vsize: 839472
[startup+980.216 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 94506 64 0 0 25 0 11 0 539867561 859619328 32783 4294967295 134512640 134569956 3221224400 3221214680 1131750318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 32783 13073 16 0 209852 0
vsize: 839472
[startup+990.216 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 95503 65 0 0 25 0 11 0 539867561 859619328 32784 4294967295 134512640 134569956 3221224400 3221214576 1131296664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32784 13073 16 0 209852 0
vsize: 839472
[startup+1000.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 96500 65 0 0 25 0 11 0 539867561 859619328 32784 4294967295 134512640 134569956 3221224400 3221214672 1131662311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32784 13073 16 0 209852 0
vsize: 839472
[startup+1010.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 97498 65 0 0 25 0 11 0 539867561 859619328 32784 4294967295 134512640 134569956 3221224400 3221214680 1131750284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32784 13073 16 0 209852 0
vsize: 839472
[startup+1020.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 98495 66 0 0 25 0 11 0 539867561 859619328 32785 4294967295 134512640 134569956 3221224400 3221214568 1131296151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32785 13073 16 0 209852 0
vsize: 839472
[startup+1030.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 99492 66 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131749255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1040.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 100490 67 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131742327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1050.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 101488 67 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214568 1131296480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1060.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 102485 67 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1070.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 103483 67 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131748636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1080.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 104480 68 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1090.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 105478 68 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131749500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1100.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 106475 68 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131749255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1110.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 107473 69 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214568 1131296516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1120.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 108471 69 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214568 1131295941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1130.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 109469 69 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131742327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1140.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 110466 69 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131750318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1150.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 111463 70 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1160.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 112461 70 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131749277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1170.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15516
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 113459 70 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1180.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15518
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 114456 71 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214576 1131296488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1190.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15518
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 115452 71 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214672 1131662304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1200.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15518
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 116450 72 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214568 1131296848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1210.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15518
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 117448 72 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131750262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1220.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15518
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 118446 72 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214680 1131742327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1230.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15518
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 119444 72 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214672 1131662311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
[startup+1240.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15518
Raw data (stat): 15496 (java) R 15495 22929 22928 0 -1 0 18067 0 1 0 120441 73 0 0 25 0 11 0 539867561 859619328 32787 4294967295 134512640 134569956 3221224400 3221214672 1131662300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209868 32787 13073 16 0 209852 0
vsize: 839472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.35 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 15520
Raw data (stat): 15496 (java) Z 15495 22929 22928 0 -1 1036 18067 23655 1 0 120446 79 5031 66 25 0 1 0 539867561 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): 1240.35
CPU time (s): 1256.24
CPU user time (s): 1254.78
CPU system time (s): 1.45878
CPU usage (%): 101.281
Max. virtual memory (Kb): 849872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####