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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb
MD5SUMe48dda95f8e39d614f3e3f822031bbe2
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 9240
Biggest coefficient in the objective function 53687091200000
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 1737924154969464
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 48888431614361600
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 779202693141814557
Number of bits of the biggest sum of numbers60
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.763883
Number of variables84737
Total number of constraints1961
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1961
Minimum length of a constraint11
Maximum length of a constraint1470

Trace number 29430

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-25 07:36:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20831 boxname=wulflinc23 idbench=819 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  e48dda95f8e39d614f3e3f822031bbe2  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-cycle.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-cycle.opb
IDLAUNCH: 20831
/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:        749240 kB
Buffers:         32152 kB
Cached:         231184 kB
SwapCached:        640 kB
Active:          89528 kB
Inactive:       176292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        748988 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13792 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:59:01 (client local time) WITH STATUS 143 IN 1319.7 SECONDS
stats: 20831 7 1319.7 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-cycle.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1319.107
#### 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.95 1.01 1.00 2/54 14331
Raw data (stat): 14331 (runsolver) R 14330 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837133683 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.96 1.01 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18009 0 1 0 875 42 0 0 25 0 10 0 837133683 853639168 19319 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208408 19319 13086 16 0 208392 0
vsize: 833632
[startup+20.0009 s]
Raw data (loadavg): 0.96 1.01 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18010 0 1 0 1770 42 0 0 25 0 10 0 837133683 855298048 20209 4294967295 134512640 134569956 3221224368 3221214432 1076461367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 20209 13086 16 0 208797 0
vsize: 835252
[startup+30.0016 s]
Raw data (loadavg): 0.97 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18019 0 1 0 2664 42 0 0 25 0 10 0 837133683 854315008 20502 4294967295 134512640 134569956 3221224368 3221214436 1130897497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 20502 13086 16 0 208557 0
vsize: 834292
[startup+40.0028 s]
Raw data (loadavg): 0.97 1.00 1.00 3/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18019 0 1 0 3573 42 0 0 25 0 10 0 837133683 854315008 20809 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 20809 13086 16 0 208557 0
vsize: 834292
[startup+50.003 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 4478 43 0 0 25 0 10 0 837133683 855392256 21257 4294967295 134512640 134569956 3221224368 3221214792 1131253702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208836 21257 13086 16 0 208820 0
vsize: 835344
[startup+60.0036 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 5378 43 0 0 25 0 10 0 837133683 854315008 21197 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21197 13086 16 0 208557 0
vsize: 834292
[startup+70.0039 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 6287 44 0 0 25 0 10 0 837133683 854315008 21445 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 21445 13086 16 0 208557 0
vsize: 834292
[startup+80.0048 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 7202 44 0 0 25 0 10 0 837133683 854315008 21582 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 21582 13086 16 0 208557 0
vsize: 834292
[startup+90.0045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 8123 45 0 0 25 0 10 0 837133683 854315008 21774 4294967295 134512640 134569956 3221224368 3221214344 1130891767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 21774 13086 16 0 208557 0
vsize: 834292
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 9047 45 0 0 25 0 10 0 837133683 854315008 21909 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 21909 13086 16 0 208557 0
vsize: 834292
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 9973 46 0 0 25 0 10 0 837133683 854315008 22040 4294967295 134512640 134569956 3221224368 3221214256 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 22040 13086 16 0 208557 0
vsize: 834292
[startup+120.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 10903 46 0 0 24 0 10 0 837133683 854315008 22159 4294967295 134512640 134569956 3221224368 3221214812 1131133082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 22159 13086 16 0 208557 0
vsize: 834292
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 11830 47 0 0 25 0 10 0 837133683 854315008 22273 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22273 13086 16 0 208557 0
vsize: 834292
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 12748 47 0 0 25 0 10 0 837133683 854315008 22375 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 22375 13086 16 0 208557 0
vsize: 834292
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 13670 47 0 0 24 0 10 0 837133683 854315008 22529 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 22529 13086 16 0 208557 0
vsize: 834292
[startup+160.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 14604 48 0 0 25 0 10 0 837133683 854315008 22637 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 22637 13086 16 0 208557 0
vsize: 834292
[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 15537 48 0 0 25 0 10 0 837133683 854315008 22722 4294967295 134512640 134569956 3221224368 3221214256 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 22722 13086 16 0 208557 0
vsize: 834292
[startup+180.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 16464 48 0 0 25 0 10 0 837133683 854315008 22811 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 22811 13086 16 0 208557 0
vsize: 834292
[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 17386 49 0 0 25 0 10 0 837133683 854315008 22881 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 22881 13086 16 0 208557 0
vsize: 834292
[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 18303 49 0 0 25 0 10 0 837133683 854315008 23105 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23105 13086 16 0 208557 0
vsize: 834292
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 19234 50 0 0 25 0 10 0 837133683 854315008 23198 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23198 13086 16 0 208557 0
vsize: 834292
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 20168 50 0 0 19 0 10 0 837133683 854315008 23278 4294967295 134512640 134569956 3221224368 3221214788 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23278 13086 16 0 208557 0
vsize: 834292
[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 21103 51 0 0 24 0 10 0 837133683 854315008 23343 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23343 13086 16 0 208557 0
vsize: 834292
[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 22040 51 0 0 25 0 10 0 837133683 854315008 23393 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23393 13086 16 0 208557 0
vsize: 834292
[startup+250.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 22971 52 0 0 25 0 10 0 837133683 854315008 23460 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23460 13086 16 0 208557 0
vsize: 834292
[startup+260.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 23904 53 0 0 25 0 10 0 837133683 854315008 23516 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23516 13086 16 0 208557 0
vsize: 834292
[startup+270.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 24831 53 0 0 25 0 10 0 837133683 854315008 23592 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23592 13086 16 0 208557 0
vsize: 834292
[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 25765 53 0 0 25 0 10 0 837133683 854315008 23650 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23650 13086 16 0 208557 0
vsize: 834292
[startup+290.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 26694 54 0 0 25 0 10 0 837133683 854315008 23727 4294967295 134512640 134569956 3221224368 3221214240 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23727 13086 16 0 208557 0
vsize: 834292
[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 27624 54 0 0 25 0 10 0 837133683 854315008 23786 4294967295 134512640 134569956 3221224368 3221214792 1131254680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23786 13086 16 0 208557 0
vsize: 834292
[startup+310.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 28535 55 0 0 24 0 10 0 837133683 854315008 23839 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23839 13086 16 0 208557 0
vsize: 834292
[startup+320.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 29450 55 0 0 25 0 10 0 837133683 854315008 23955 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23955 13086 16 0 208557 0
vsize: 834292
[startup+330.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 30373 56 0 0 25 0 10 0 837133683 854315008 24064 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24064 13086 16 0 208557 0
vsize: 834292
[startup+340.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 31290 56 0 0 24 0 10 0 837133683 854315008 24159 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24159 13086 16 0 208557 0
vsize: 834292
[startup+350.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 32212 56 0 0 25 0 10 0 837133683 854315008 24240 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24240 13086 16 0 208557 0
vsize: 834292
[startup+360.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 33129 56 0 0 25 0 10 0 837133683 854315008 24304 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24304 13086 16 0 208557 0
vsize: 834292
[startup+370.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 34043 56 0 0 25 0 10 0 837133683 854315008 24404 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24404 13086 16 0 208557 0
vsize: 834292
[startup+380.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 34958 57 0 0 24 0 10 0 837133683 854315008 24526 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24526 13086 16 0 208557 0
vsize: 834292
[startup+390.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 35887 57 0 0 25 0 10 0 837133683 854315008 24638 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24638 13086 16 0 208557 0
vsize: 834292
[startup+400.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 36811 57 0 0 25 0 10 0 837133683 854315008 24683 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24683 13086 16 0 208557 0
vsize: 834292
[startup+410.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 37726 57 0 0 24 0 10 0 837133683 854315008 24772 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24772 13086 16 0 208557 0
vsize: 834292
[startup+420.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 38647 57 0 0 25 0 10 0 837133683 854315008 24864 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24864 13086 16 0 208557 0
vsize: 834292
[startup+430.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 39575 57 0 0 23 0 10 0 837133683 854315008 24925 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24925 13086 16 0 208557 0
vsize: 834292
[startup+440.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 40502 57 0 0 25 0 10 0 837133683 854315008 25011 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25011 13086 16 0 208557 0
vsize: 834292
[startup+450.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 41431 58 0 0 25 0 10 0 837133683 854315008 25054 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25054 13086 16 0 208557 0
vsize: 834292
[startup+460.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 42350 58 0 0 24 0 10 0 837133683 854315008 25108 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25108 13086 16 0 208557 0
vsize: 834292
[startup+470.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 43271 58 0 0 25 0 10 0 837133683 854315008 25154 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25154 13086 16 0 208557 0
vsize: 834292
[startup+480.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 44182 58 0 0 17 0 10 0 837133683 854315008 25237 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25237 13086 16 0 208557 0
vsize: 834292
[startup+490.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 45080 58 0 0 19 0 10 0 837133683 854315008 25338 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25338 13086 16 0 208557 0
vsize: 834292
[startup+500.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 45985 58 0 0 22 0 10 0 837133683 854315008 25532 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25532 13086 16 0 208557 0
vsize: 834292
[startup+510.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 46910 58 0 0 25 0 10 0 837133683 854315008 25599 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25599 13086 16 0 208557 0
vsize: 834292
[startup+520.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 47828 58 0 0 25 0 10 0 837133683 854315008 25661 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25661 13086 16 0 208557 0
vsize: 834292
[startup+530.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 48745 58 0 0 25 0 10 0 837133683 854315008 25717 4294967295 134512640 134569956 3221224368 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25717 13086 16 0 208557 0
vsize: 834292
[startup+540.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 49648 59 0 0 24 0 10 0 837133683 854315008 25815 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25815 13086 16 0 208557 0
vsize: 834292
[startup+550.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 50549 59 0 0 25 0 10 0 837133683 854315008 25890 4294967295 134512640 134569956 3221224368 3221213928 1131301682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25890 13086 16 0 208557 0
vsize: 834292
[startup+560.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 51443 59 0 0 25 0 10 0 837133683 854315008 26157 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26157 13086 16 0 208557 0
vsize: 834292
[startup+570.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 52349 59 0 0 25 0 10 0 837133683 854315008 26243 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26243 13086 16 0 208557 0
vsize: 834292
[startup+580.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 53262 59 0 0 25 0 10 0 837133683 854315008 26347 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26347 13086 16 0 208557 0
vsize: 834292
[startup+590.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 54170 59 0 0 25 0 10 0 837133683 854315008 26425 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26425 13086 16 0 208557 0
vsize: 834292
[startup+600.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 55078 60 0 0 24 0 10 0 837133683 854315008 26520 4294967295 134512640 134569956 3221224368 3221214788 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 26520 13086 16 0 208557 0
vsize: 834292
[startup+610.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 55985 60 0 0 25 0 10 0 837133683 854315008 26581 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 26581 13086 16 0 208557 0
vsize: 834292
[startup+620.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 56889 60 0 0 25 0 10 0 837133683 854315008 26683 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 26683 13086 16 0 208557 0
vsize: 834292
[startup+630.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 57793 61 0 0 25 0 10 0 837133683 854315008 26803 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 26803 13086 16 0 208557 0
vsize: 834292
[startup+640.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 58704 61 0 0 24 0 10 0 837133683 854315008 26881 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 26881 13086 16 0 208557 0
vsize: 834292
[startup+650.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 59614 61 0 0 20 0 10 0 837133683 854315008 26934 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 26934 13086 16 0 208557 0
vsize: 834292
[startup+660.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 60527 62 0 0 25 0 10 0 837133683 854315008 27025 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27025 13086 16 0 208557 0
vsize: 834292
[startup+670.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 61446 62 0 0 25 0 10 0 837133683 854315008 27099 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27099 13086 16 0 208557 0
vsize: 834292
[startup+680.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 62370 63 0 0 25 0 10 0 837133683 854315008 27135 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27135 13086 16 0 208557 0
vsize: 834292
[startup+690.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 63286 63 0 0 25 0 10 0 837133683 854315008 27172 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27172 13086 16 0 208557 0
vsize: 834292
[startup+700.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 64204 64 0 0 25 0 10 0 837133683 854315008 27201 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27201 13086 16 0 208557 0
vsize: 834292
[startup+710.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 65114 64 0 0 25 0 10 0 837133683 854315008 27835 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 27835 13086 16 0 208557 0
vsize: 834292
[startup+720.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 66039 65 0 0 25 0 10 0 837133683 854315008 27835 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27835 13086 16 0 208557 0
vsize: 834292
[startup+730.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 66952 65 0 0 25 0 10 0 837133683 854315008 27838 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27838 13086 16 0 208557 0
vsize: 834292
[startup+740.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 67853 66 0 0 25 0 10 0 837133683 854315008 27885 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27885 13086 16 0 208557 0
vsize: 834292
[startup+750.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 68737 67 0 0 24 0 10 0 837133683 854315008 28011 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28011 13086 16 0 208557 0
vsize: 834292
[startup+760.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 69623 67 0 0 25 0 10 0 837133683 854315008 28196 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28196 13086 16 0 208557 0
vsize: 834292
[startup+770.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 70506 68 0 0 25 0 10 0 837133683 854315008 28315 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28315 13086 16 0 208557 0
vsize: 834292
[startup+780.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 71400 68 0 0 24 0 10 0 837133683 854315008 28469 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28469 13086 16 0 208557 0
vsize: 834292
[startup+790.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 72304 69 0 0 25 0 10 0 837133683 854315008 28543 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28543 13086 16 0 208557 0
vsize: 834292
[startup+800.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 73205 69 0 0 25 0 10 0 837133683 854315008 28594 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28594 13086 16 0 208557 0
vsize: 834292
[startup+810.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 74104 70 0 0 22 0 10 0 837133683 854315008 28652 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28652 13086 16 0 208557 0
vsize: 834292
[startup+820.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 75007 70 0 0 22 0 10 0 837133683 854315008 28711 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28711 13086 16 0 208557 0
vsize: 834292
[startup+830.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 75914 71 0 0 23 0 10 0 837133683 854315008 28785 4294967295 134512640 134569956 3221224368 3221214256 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28785 13086 16 0 208557 0
vsize: 834292
[startup+840.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 76822 71 0 0 22 0 10 0 837133683 854315008 28819 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28819 13086 16 0 208557 0
vsize: 834292
[startup+850.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 77731 72 0 0 23 0 10 0 837133683 854315008 28850 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28850 13086 16 0 208557 0
vsize: 834292
[startup+860.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 78640 72 0 0 24 0 10 0 837133683 854315008 28893 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28893 13086 16 0 208557 0
vsize: 834292
[startup+870.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 79549 72 0 0 24 0 10 0 837133683 854315008 28912 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28912 13086 16 0 208557 0
vsize: 834292
[startup+880.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 80458 73 0 0 24 0 10 0 837133683 854315008 28963 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28963 13086 16 0 208557 0
vsize: 834292
[startup+890.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 81362 73 0 0 24 0 10 0 837133683 854315008 28983 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 28983 13086 16 0 208557 0
vsize: 834292
[startup+900.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 82269 74 0 0 24 0 10 0 837133683 854315008 29002 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29002 13086 16 0 208557 0
vsize: 834292
[startup+910.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 83175 74 0 0 24 0 10 0 837133683 854315008 29058 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29058 13086 16 0 208557 0
vsize: 834292
[startup+920.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 84080 75 0 0 24 0 10 0 837133683 854315008 29077 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29077 13086 16 0 208557 0
vsize: 834292
[startup+930.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 84984 75 0 0 25 0 10 0 837133683 854315008 29131 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29131 13086 16 0 208557 0
vsize: 834292
[startup+940.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 85893 76 0 0 24 0 10 0 837133683 854315008 29149 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29149 13086 16 0 208557 0
vsize: 834292
[startup+950.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 86798 76 0 0 24 0 10 0 837133683 854315008 29206 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29206 13086 16 0 208557 0
vsize: 834292
[startup+960.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 87705 77 0 0 23 0 10 0 837133683 854315008 29224 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29224 13086 16 0 208557 0
vsize: 834292
[startup+970.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 88609 77 0 0 23 0 10 0 837133683 854315008 29275 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29275 13086 16 0 208557 0
vsize: 834292
[startup+980.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 89517 77 0 0 24 0 10 0 837133683 854315008 29309 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29309 13086 16 0 208557 0
vsize: 834292
[startup+990.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 90408 78 0 0 19 0 10 0 837133683 854315008 29397 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29397 13086 16 0 208557 0
vsize: 834292
[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 91301 78 0 0 17 0 10 0 837133683 854315008 29493 4294967295 134512640 134569956 3221224368 3221214788 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29493 13086 16 0 208557 0
vsize: 834292
[startup+1010.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 92197 79 0 0 23 0 10 0 837133683 854315008 29575 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 29575 13086 16 0 208557 0
vsize: 834292
[startup+1020.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 93101 79 0 0 24 0 10 0 837133683 854315008 29635 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 29635 13086 16 0 208557 0
vsize: 834292
[startup+1030.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 94006 79 0 0 19 0 10 0 837133683 854315008 29670 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 29670 13086 16 0 208557 0
vsize: 834292
[startup+1040.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 94911 79 0 0 19 0 10 0 837133683 854315008 29699 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 29699 13086 16 0 208557 0
vsize: 834292
[startup+1050.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 95815 79 0 0 19 0 10 0 837133683 854315008 29717 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29717 13086 16 0 208557 0
vsize: 834292
[startup+1060.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 96720 79 0 0 19 0 10 0 837133683 854315008 29768 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29768 13086 16 0 208557 0
vsize: 834292
[startup+1070.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 97622 80 0 0 23 0 10 0 837133683 854315008 29785 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29785 13086 16 0 208557 0
vsize: 834292
[startup+1080.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 98525 80 0 0 24 0 10 0 837133683 854315008 29804 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29804 13086 16 0 208557 0
vsize: 834292
[startup+1090.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 99432 81 0 0 24 0 10 0 837133683 854315008 29857 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29857 13086 16 0 208557 0
vsize: 834292
[startup+1100.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 100333 81 0 0 23 0 10 0 837133683 854315008 29875 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29875 13086 16 0 208557 0
vsize: 834292
[startup+1110.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 101236 82 0 0 22 0 10 0 837133683 854315008 29928 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29928 13086 16 0 208557 0
vsize: 834292
[startup+1120.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 102137 82 0 0 21 0 10 0 837133683 854315008 29945 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29945 13086 16 0 208557 0
vsize: 834292
[startup+1130.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 103037 83 0 0 19 0 10 0 837133683 854315008 29962 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 29962 13086 16 0 208557 0
vsize: 834292
[startup+1140.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 103940 83 0 0 19 0 10 0 837133683 854315008 30017 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30017 13086 16 0 208557 0
vsize: 834292
[startup+1150.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 104839 84 0 0 18 0 10 0 837133683 854315008 30034 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30034 13086 16 0 208557 0
vsize: 834292
[startup+1160.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 105738 84 0 0 19 0 10 0 837133683 854315008 30083 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30083 13086 16 0 208557 0
vsize: 834292
[startup+1170.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 106647 85 0 0 23 0 10 0 837133683 854315008 30114 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30114 13086 16 0 208557 0
vsize: 834292
[startup+1180.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 107539 86 0 0 20 0 10 0 837133683 854315008 30295 4294967295 134512640 134569956 3221224368 3221214240 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30295 13086 16 0 208557 0
vsize: 834292
[startup+1190.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 108439 86 0 0 19 0 10 0 837133683 854315008 30376 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30376 13086 16 0 208557 0
vsize: 834292
[startup+1200.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 109338 87 0 0 23 0 10 0 837133683 854315008 30444 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30444 13086 16 0 208557 0
vsize: 834292
[startup+1210.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 110237 87 0 0 22 0 10 0 837133683 854315008 30450 4294967295 134512640 134569956 3221224368 3221214256 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30450 13086 16 0 208557 0
vsize: 834292
[startup+1220.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 111135 88 0 0 21 0 10 0 837133683 854315008 30587 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30587 13086 16 0 208557 0
vsize: 834292
[startup+1230.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 112034 89 0 0 19 0 10 0 837133683 854315008 30676 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30676 13086 16 0 208557 0
vsize: 834292
[startup+1240.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 112933 89 0 0 18 0 10 0 837133683 854315008 30770 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30770 13086 16 0 208557 0
vsize: 834292
[startup+1250.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 113835 89 0 0 21 0 10 0 837133683 854315008 30880 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30880 13086 16 0 208557 0
vsize: 834292
[startup+1260.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 114734 89 0 0 20 0 10 0 837133683 854315008 30907 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30907 13086 16 0 208557 0
vsize: 834292
[startup+1270.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 115633 90 0 0 18 0 10 0 837133683 854315008 30934 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30934 13086 16 0 208557 0
vsize: 834292
[startup+1280.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 116531 90 0 0 18 0 10 0 837133683 854315008 31000 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 31000 13086 16 0 208557 0
vsize: 834292
[startup+1290.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 117435 91 0 0 23 0 10 0 837133683 854315008 31018 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 31018 13086 16 0 208557 0
vsize: 834292
[startup+1300.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 118335 91 0 0 19 0 10 0 837133683 854315008 31061 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 31061 13086 16 0 208557 0
vsize: 834292
[startup+1310.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) R 14330 5562 5561 0 -1 0 18020 0 1 0 119235 92 0 0 21 0 10 0 837133683 854315008 31115 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 31115 13086 16 0 208557 0
vsize: 834292
[startup+1320.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 14340
Raw data (stat): 14331 (java) S 14330 5562 5561 0 -1 0 18020 0 1 0 120133 92 0 0 25 0 10 0 837133683 854315008 31202 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 31202 13086 16 0 208557 0
vsize: 834292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.2 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 14342
Raw data (stat): 14331 (java) Z 14330 5562 5561 0 -1 1036 18020 12668 1 0 120139 92 11683 54 20 0 1 0 837133683 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): 1320.2
CPU time (s): 1319.7
CPU user time (s): 1318.24
CPU system time (s): 1.46878
CPU usage (%): 99.9625
Max. virtual memory (Kb): 835344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####