Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb
MD5SUM5fcfa2f72175b9723ffb2781fb76fcdc
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved NO
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02584
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 29917

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 12:43:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21314 boxname=wulflinc25 idbench=1302 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 21314
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        355704 kB
Buffers:         33236 kB
Cached:         622172 kB
SwapCached:        588 kB
Active:         101528 kB
Inactive:       556140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        355452 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            15684 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:03:48 (client local time) WITH STATUS 143 IN 1236.28 SECONDS
stats: 21314 0 1236.28 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/wulflinc25/normalized-mps-v2-13-7-lseu.opb
c reading problem ... done. Time 0.32 ms.
c #vars     89
c #constraints  28
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                3730 		Current CPU time: 0.99 ms
c CURRENT OPTIMUM=                3597 		Current CPU time: 1.32 ms
c CURRENT OPTIMUM=                3558 		Current CPU time: 3.16 ms
c CURRENT OPTIMUM=                3010 		Current CPU time: 3.29 ms
c CURRENT OPTIMUM=                2752 		Current CPU time: 3.33 ms
c CURRENT OPTIMUM=                2338 		Current CPU time: 3.61 ms
c CURRENT OPTIMUM=                2333 		Current CPU time: 8.48 ms
c CURRENT OPTIMUM=                2285 		Current CPU time: 8.56 ms
c CURRENT OPTIMUM=                2222 		Current CPU time: 10.61 ms
c CURRENT OPTIMUM=                1951 		Current CPU time: 14.97 ms
c CURRENT OPTIMUM=                1941 		Current CPU time: 49.05 ms
c CURRENT OPTIMUM=                1922 		Current CPU time: 77.18 ms
c CURRENT OPTIMUM=                1878 		Current CPU time: 91.93 ms
c CURRENT OPTIMUM=                1839 		Current CPU time: 143.76 ms
c CURRENT OPTIMUM=                1780 		Current CPU time: 164.63 ms
c CURRENT OPTIMUM=                1659 		Current CPU time: 186.48 ms
c CURRENT OPTIMUM=                1611 		Current CPU time: 247.16 ms
c CURRENT OPTIMUM=                1540 		Current CPU time: 280.06 ms
c CURRENT OPTIMUM=                1525 		Current CPU time: 306.00 ms
c CURRENT OPTIMUM=                1461 		Current CPU time: 333.31 ms
c CURRENT OPTIMUM=                1451 		Current CPU time: 1017.70 ms
c CURRENT OPTIMUM=                1448 		Current CPU time: 1183.45 ms
c starts	: 48
c conflicts	: 5240
c decisions	: 16056
c propagations	: 70776
c inspects	: 5184443
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5240
c root simplifications	: 48
s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C108_bit0 C111_bit0 -C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 -C134_bit0 -C135_bit0 -C136_bit0 -C137_bit0 C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 -C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 -C109_bit0 -C110_bit0 
c objectif function=1448
c Total CPU time (ms) : 1239.11
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.99 2/54 13600
Raw data (stat): 13600 (runsolver) R 13599 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838982956 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.0001 s]
Raw data (loadavg): 1.01 0.98 0.99 2/64 13618
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18140 4 1 0 589 39 0 0 25 0 11 0 838982956 865480704 21398 4294967295 134512640 134569956 3221224368 3221214616 1131224283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211299 21398 13086 16 0 211283 0
vsize: 845196
[startup+20.0011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13620
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18140 4 1 0 1555 39 0 0 25 0 11 0 838982956 864071680 21843 4294967295 134512640 134569956 3221224368 3221214584 1131159722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 21843 13086 16 0 210939 0
vsize: 843820
[startup+30.0017 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13620
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18140 4 1 0 2513 39 0 0 25 0 11 0 838982956 864071680 22288 4294967295 134512640 134569956 3221224368 3221214680 1131239863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 22288 13086 16 0 210939 0
vsize: 843820
[startup+40.0021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13620
Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18140 4 1 0 3455 40 0 0 25 0 11 0 838982956 864071680 22767 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 22767 13086 16 0 210939 0
vsize: 843820
[startup+50.0028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13621
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 4394 40 0 0 25 0 11 0 838982956 864071680 22792 4294967295 134512640 134569956 3221224368 3221214224 1131268360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 22792 13086 16 0 210939 0
vsize: 843820
[startup+60.0039 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13621
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 5330 40 0 0 24 0 11 0 838982956 864071680 22972 4294967295 134512640 134569956 3221224368 3221214656 1131242750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 22972 13086 16 0 210939 0
vsize: 843820
[startup+70.0041 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13621
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 6283 41 0 0 25 0 11 0 838982956 864071680 23092 4294967295 134512640 134569956 3221224368 3221214656 1131241623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 23092 13086 16 0 210939 0
vsize: 843820
[startup+80.0047 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13622
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 7238 41 0 0 25 0 11 0 838982956 864071680 23332 4294967295 134512640 134569956 3221224368 3221214408 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 23332 13086 16 0 210939 0
vsize: 843820
[startup+90.0054 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13622
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 8202 41 0 0 25 0 11 0 838982956 864071680 23466 4294967295 134512640 134569956 3221224368 3221214560 1131159585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 23466 13086 16 0 210939 0
vsize: 843820
[startup+100.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13623
Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 9157 41 0 0 25 0 11 0 838982956 864071680 23597 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 23597 13086 16 0 210939 0
vsize: 843820
[startup+110.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13623
Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 10110 41 0 0 25 0 11 0 838982956 864071680 23714 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 23714 13086 16 0 210939 0
vsize: 843820
[startup+120.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13623
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 11062 42 0 0 25 0 11 0 838982956 864071680 23822 4294967295 134512640 134569956 3221224368 3221214656 1131240860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 23822 13086 16 0 210939 0
vsize: 843820
[startup+130.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13623
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 12015 42 0 0 25 0 11 0 838982956 864071680 23952 4294967295 134512640 134569956 3221224368 3221214584 1131162618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 23952 13086 16 0 210939 0
vsize: 843820
[startup+140.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13623
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 12963 42 0 0 25 0 11 0 838982956 864071680 24133 4294967295 134512640 134569956 3221224368 3221214272 1131494799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24133 13086 16 0 210939 0
vsize: 843820
[startup+150.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13624
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 13923 42 0 0 25 0 11 0 838982956 864071680 24299 4294967295 134512640 134569956 3221224368 3221214656 1131239863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24299 13086 16 0 210939 0
vsize: 843820
[startup+160.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13624
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 14879 43 0 0 25 0 11 0 838982956 864071680 24444 4294967295 134512640 134569956 3221224368 3221214136 1131289132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24444 13086 16 0 210939 0
vsize: 843820
[startup+170.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13625
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 15843 43 0 0 25 0 11 0 838982956 864071680 24561 4294967295 134512640 134569956 3221224368 3221214228 1131289865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24561 13086 16 0 210939 0
vsize: 843820
[startup+180.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13625
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 16815 43 0 0 25 0 11 0 838982956 864071680 24643 4294967295 134512640 134569956 3221224368 3221214560 1131159585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24643 13086 16 0 210939 0
vsize: 843820
[startup+190.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13626
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 17785 44 0 0 25 0 11 0 838982956 864071680 24744 4294967295 134512640 134569956 3221224368 3221214604 1131173813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24744 13086 16 0 210939 0
vsize: 843820
[startup+200.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13626
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 18757 45 0 0 25 0 11 0 838982956 864071680 24829 4294967295 134512640 134569956 3221224368 3221214496 1131289120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24829 13086 16 0 210939 0
vsize: 843820
[startup+210.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13626
Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 19728 45 0 0 25 0 11 0 838982956 864071680 24909 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24909 13086 16 0 210939 0
vsize: 843820
[startup+220.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13626
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 20700 45 0 0 25 0 11 0 838982956 864071680 24973 4294967295 134512640 134569956 3221224368 3221214184 1131268296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 24973 13086 16 0 210939 0
vsize: 843820
[startup+230.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13626
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 21657 46 0 0 25 0 11 0 838982956 864071680 25089 4294967295 134512640 134569956 3221224368 3221214656 1131241684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25089 13086 16 0 210939 0
vsize: 843820
[startup+240.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13626
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 22628 46 0 0 25 0 11 0 838982956 864071680 25149 4294967295 134512640 134569956 3221224368 3221214360 1131289175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25149 13086 16 0 210939 0
vsize: 843820
[startup+250.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13627
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 23599 47 0 0 25 0 11 0 838982956 864071680 25249 4294967295 134512640 134569956 3221224368 3221214568 1131174202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25249 13086 16 0 210939 0
vsize: 843820
[startup+260.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13627
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 24566 47 0 0 25 0 11 0 838982956 864071680 25349 4294967295 134512640 134569956 3221224368 3221214560 1131160205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25349 13086 16 0 210939 0
vsize: 843820
[startup+270.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13627
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 25532 47 0 0 25 0 11 0 838982956 864071680 25453 4294967295 134512640 134569956 3221224368 3221214048 1131289207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25453 13086 16 0 210939 0
vsize: 843820
[startup+280.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13627
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 26507 48 0 0 25 0 11 0 838982956 864071680 25527 4294967295 134512640 134569956 3221224368 3221214656 1131241132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25527 13086 16 0 210939 0
vsize: 843820
[startup+290.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13628
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 27481 48 0 0 25 0 11 0 838982956 864071680 25620 4294967295 134512640 134569956 3221224368 3221214656 1131239787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25620 13086 16 0 210939 0
vsize: 843820
[startup+300.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13628
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 28456 49 0 0 25 0 11 0 838982956 864071680 25693 4294967295 134512640 134569956 3221224368 3221214656 1131241877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25693 13086 16 0 210939 0
vsize: 843820
[startup+310.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13629
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 29429 49 0 0 25 0 11 0 838982956 864071680 25754 4294967295 134512640 134569956 3221224368 3221214136 1131289218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25754 13086 16 0 210939 0
vsize: 843820
[startup+320.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13629
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 30410 49 0 0 25 0 11 0 838982956 864071680 25804 4294967295 134512640 134569956 3221224368 3221214184 1131289169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25804 13086 16 0 210939 0
vsize: 843820
[startup+330.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13629
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 31383 49 0 0 25 0 11 0 838982956 864071680 25866 4294967295 134512640 134569956 3221224368 3221214560 1131159843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25866 13086 16 0 210939 0
vsize: 843820
[startup+340.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 32358 50 0 0 25 0 11 0 838982956 864071680 25915 4294967295 134512640 134569956 3221224368 3221213160 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25915 13086 16 0 210939 0
vsize: 843820
[startup+350.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 33334 50 0 0 25 0 11 0 838982956 864071680 25992 4294967295 134512640 134569956 3221224368 3221214096 1131268316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 25992 13086 16 0 210939 0
vsize: 843820
[startup+360.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 34305 51 0 0 25 0 11 0 838982956 864071680 26054 4294967295 134512640 134569956 3221224368 3221214656 1131240753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26054 13086 16 0 210939 0
vsize: 843820
[startup+370.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 35270 51 0 0 25 0 11 0 838982956 864071680 26148 4294967295 134512640 134569956 3221224368 3221214560 1131160127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26148 13086 16 0 210939 0
vsize: 843820
[startup+380.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 36249 51 0 0 25 0 11 0 838982956 864071680 26231 4294967295 134512640 134569956 3221224368 3221214560 1131160426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26231 13086 16 0 210939 0
vsize: 843820
[startup+390.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 37222 52 0 0 25 0 11 0 838982956 864071680 26315 4294967295 134512640 134569956 3221224368 3221214656 1131239583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26315 13086 16 0 210939 0
vsize: 843820
[startup+400.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 38201 52 0 0 25 0 11 0 838982956 864071680 26366 4294967295 134512640 134569956 3221224368 3221214584 1131403556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26366 13086 16 0 210939 0
vsize: 843820
[startup+410.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 39180 53 0 0 25 0 11 0 838982956 864071680 26424 4294967295 134512640 134569956 3221224368 3221214552 1131188549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26424 13086 16 0 210939 0
vsize: 843820
[startup+420.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 40159 53 0 0 25 0 11 0 838982956 864071680 26475 4294967295 134512640 134569956 3221224368 3221214408 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26475 13086 16 0 210939 0
vsize: 843820
[startup+430.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 41137 53 0 0 25 0 11 0 838982956 864071680 26524 4294967295 134512640 134569956 3221224368 3221214656 1131239599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26524 13086 16 0 210939 0
vsize: 843820
[startup+440.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 42120 54 0 0 25 0 11 0 838982956 864071680 26566 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26566 13086 16 0 210939 0
vsize: 843820
[startup+450.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 43093 54 0 0 25 0 11 0 838982956 864071680 26654 4294967295 134512640 134569956 3221224368 3221214408 1085679756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26654 13086 16 0 210939 0
vsize: 843820
[startup+460.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 44064 54 0 0 25 0 11 0 838982956 864071680 26699 4294967295 134512640 134569956 3221224368 3221214568 1131175260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 26699 13086 16 0 210939 0
vsize: 843820
[startup+470.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 45041 54 0 0 25 0 11 0 838982956 864071680 26749 4294967295 134512640 134569956 3221224368 3221214656 1131241356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26749 13086 16 0 210939 0
vsize: 843820
[startup+480.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 46018 55 0 0 25 0 11 0 838982956 864071680 26790 4294967295 134512640 134569956 3221224368 3221214096 1131268288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26790 13086 16 0 210939 0
vsize: 843820
[startup+490.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 46994 55 0 0 25 0 11 0 838982956 864071680 26842 4294967295 134512640 134569956 3221224368 3221214804 1130885222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26842 13086 16 0 210939 0
vsize: 843820
[startup+500.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 47963 55 0 0 25 0 11 0 838982956 864071680 26934 4294967295 134512640 134569956 3221224368 3221214084 1131289168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 26934 13086 16 0 210939 0
vsize: 843820
[startup+510.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 48939 56 0 0 25 0 11 0 838982956 864071680 27011 4294967295 134512640 134569956 3221224368 3221214560 1131160127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 27011 13086 16 0 210939 0
vsize: 843820
[startup+520.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 49902 56 0 0 25 0 11 0 838982956 864071680 27134 4294967295 134512640 134569956 3221224368 3221214048 1131289144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27134 13086 16 0 210939 0
vsize: 843820
[startup+530.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 50879 57 0 0 25 0 11 0 838982956 864071680 27211 4294967295 134512640 134569956 3221224368 3221214560 1131159805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27211 13086 16 0 210939 0
vsize: 843820
[startup+540.011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 51842 57 0 0 25 0 11 0 838982956 864071680 27286 4294967295 134512640 134569956 3221224368 3221214448 1131188008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27286 13086 16 0 210939 0
vsize: 843820
[startup+550.011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 52813 57 0 0 25 0 11 0 838982956 864071680 27378 4294967295 134512640 134569956 3221224368 3221214656 1131239808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27378 13086 16 0 210939 0
vsize: 843820
[startup+560.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 53786 58 0 0 25 0 11 0 838982956 864071680 27461 4294967295 134512640 134569956 3221224368 3221214640 1131183158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27461 13086 16 0 210939 0
vsize: 843820
[startup+570.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 54766 58 0 0 25 0 11 0 838982956 864071680 27519 4294967295 134512640 134569956 3221224368 3221214528 1131188355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 27519 13086 16 0 210939 0
vsize: 843820
[startup+580.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 55740 58 0 0 25 0 11 0 838982956 864071680 27604 4294967295 134512640 134569956 3221224368 3221214584 1131403748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27604 13086 16 0 210939 0
vsize: 843820
[startup+590.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 56708 59 0 0 25 0 11 0 838982956 864071680 27701 4294967295 134512640 134569956 3221224368 3221214272 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27701 13086 16 0 210939 0
vsize: 843820
[startup+600.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 57678 59 0 0 25 0 11 0 838982956 864071680 27807 4294967295 134512640 134569956 3221224368 3221214656 1131241629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27807 13086 16 0 210939 0
vsize: 843820
[startup+610.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 58657 59 0 0 25 0 11 0 838982956 864071680 27870 4294967295 134512640 134569956 3221224368 3221214656 1131241668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27870 13086 16 0 210939 0
vsize: 843820
[startup+620.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 59635 59 0 0 25 0 11 0 838982956 864071680 27934 4294967295 134512640 134569956 3221224368 3221214000 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 27934 13086 16 0 210939 0
vsize: 843820
[startup+630.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 60613 60 0 0 25 0 11 0 838982956 864071680 28003 4294967295 134512640 134569956 3221224368 3221214560 1131159743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28003 13086 16 0 210939 0
vsize: 843820
[startup+640.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 61591 60 0 0 25 0 11 0 838982956 864071680 28061 4294967295 134512640 134569956 3221224368 3221214128 1131492984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28061 13086 16 0 210939 0
vsize: 843820
[startup+650.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 62569 61 0 0 25 0 11 0 838982956 864071680 28118 4294967295 134512640 134569956 3221224368 3221213824 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28118 13086 16 0 210939 0
vsize: 843820
[startup+660.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 63547 61 0 0 25 0 11 0 838982956 864071680 28171 4294967295 134512640 134569956 3221224368 3221214416 1131438600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28171 13086 16 0 210939 0
vsize: 843820
[startup+670.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 64524 61 0 0 25 0 11 0 838982956 864071680 28227 4294967295 134512640 134569956 3221224368 3221214536 1131188059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 28227 13086 16 0 210939 0
vsize: 843820
[startup+680.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 65500 62 0 0 25 0 11 0 838982956 864071680 28269 4294967295 134512640 134569956 3221224368 3221214272 1131503700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28269 13086 16 0 210939 0
vsize: 843820
[startup+690.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 66470 63 0 0 25 0 11 0 838982956 864071680 28333 4294967295 134512640 134569956 3221224368 3221214560 1131160123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28333 13086 16 0 210939 0
vsize: 843820
[startup+700.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 67445 63 0 0 25 0 11 0 838982956 864071680 28391 4294967295 134512640 134569956 3221224368 3221214180 1131289168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28391 13086 16 0 210939 0
vsize: 843820
[startup+710.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 68421 63 0 0 25 0 11 0 838982956 864071680 28453 4294967295 134512640 134569956 3221224368 3221214656 1131239863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28453 13086 16 0 210939 0
vsize: 843820
[startup+720.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 69390 63 0 0 25 0 11 0 838982956 864071680 28541 4294967295 134512640 134569956 3221224368 3221214044 1131289865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28541 13086 16 0 210939 0
vsize: 843820
[startup+730.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 70371 64 0 0 25 0 11 0 838982956 864071680 28588 4294967295 134512640 134569956 3221224368 3221214560 1131159663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28588 13086 16 0 210939 0
vsize: 843820
[startup+740.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 71353 64 0 0 25 0 11 0 838982956 864071680 28658 4294967295 134512640 134569956 3221224368 3221214360 1131289229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28658 13086 16 0 210939 0
vsize: 843820
[startup+750.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 72335 64 0 0 25 0 11 0 838982956 864071680 28719 4294967295 134512640 134569956 3221224368 3221214016 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28719 13086 16 0 210939 0
vsize: 843820
[startup+760.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 73311 65 0 0 25 0 11 0 838982956 864071680 28769 4294967295 134512640 134569956 3221224368 3221214136 1131497729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28769 13086 16 0 210939 0
vsize: 843820
[startup+770.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 74286 65 0 0 25 0 11 0 838982956 864071680 28819 4294967295 134512640 134569956 3221224368 3221214264 1131488370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28819 13086 16 0 210939 0
vsize: 843820
[startup+780.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 75267 65 0 0 25 0 11 0 838982956 864071680 28873 4294967295 134512640 134569956 3221224368 3221214560 1131159722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 28873 13086 16 0 210939 0
vsize: 843820
[startup+790.023 s]
Raw data (loadavg): 1.00 0.98 0.99 3/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 76241 67 0 0 25 0 11 0 838982956 864071680 28943 4294967295 134512640 134569956 3221224368 3221214544 1131502172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 28943 13086 16 0 210939 0
vsize: 843820
[startup+800.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 77211 67 0 0 25 0 11 0 838982956 864071680 29019 4294967295 134512640 134569956 3221224368 3221214656 1131242948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29019 13086 16 0 210939 0
vsize: 843820
[startup+810.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 78182 67 0 0 25 0 11 0 838982956 864071680 29097 4294967295 134512640 134569956 3221224368 3221214656 1131239808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29097 13086 16 0 210939 0
vsize: 843820
[startup+820.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 79154 67 0 0 25 0 11 0 838982956 864071680 29172 4294967295 134512640 134569956 3221224368 3221214568 1131175250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 29172 13086 16 0 210939 0
vsize: 843820
[startup+830.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 80131 68 0 0 25 0 11 0 838982956 864071680 29241 4294967295 134512640 134569956 3221224368 3221214560 1131160197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29241 13086 16 0 210939 0
vsize: 843820
[startup+840.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 81109 68 0 0 25 0 11 0 838982956 864071680 29314 4294967295 134512640 134569956 3221224368 3221214000 1131289144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29314 13086 16 0 210939 0
vsize: 843820
[startup+850.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 82086 69 0 0 25 0 11 0 838982956 864071680 29385 4294967295 134512640 134569956 3221224368 3221214584 1131215680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29385 13086 16 0 210939 0
vsize: 843820
[startup+860.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 83075 69 0 0 25 0 11 0 838982956 864071680 29410 4294967295 134512640 134569956 3221224368 3221214544 1131497816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29410 13086 16 0 210939 0
vsize: 843820
[startup+870.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 84058 69 0 0 25 0 11 0 838982956 864071680 29443 4294967295 134512640 134569956 3221224368 3221214088 1131268354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 29443 13086 16 0 210939 0
vsize: 843820
[startup+880.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 85030 69 0 0 25 0 11 0 838982956 864071680 29505 4294967295 134512640 134569956 3221224368 3221214584 1131215620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29505 13086 16 0 210939 0
vsize: 843820
[startup+890.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 86013 70 0 0 25 0 11 0 838982956 864071680 29534 4294967295 134512640 134569956 3221224368 3221214536 1131289877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29534 13086 16 0 210939 0
vsize: 843820
[startup+900.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 86989 70 0 0 25 0 11 0 838982956 864071680 29600 4294967295 134512640 134569956 3221224368 3221214560 1131160106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29600 13086 16 0 210939 0
vsize: 843820
[startup+910.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 87971 70 0 0 25 0 11 0 838982956 864071680 29638 4294967295 134512640 134569956 3221224368 3221214272 1131492466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29638 13086 16 0 210939 0
vsize: 843820
[startup+920.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 88947 71 0 0 25 0 11 0 838982956 864071680 29721 4294967295 134512640 134569956 3221224368 3221214584 1131215684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29721 13086 16 0 210939 0
vsize: 843820
[startup+930.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 89929 71 0 0 25 0 11 0 838982956 864071680 29771 4294967295 134512640 134569956 3221224368 3221214408 1085679429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 29771 13086 16 0 210939 0
vsize: 843820
[startup+940.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 90912 72 0 0 25 0 11 0 838982956 864071680 29811 4294967295 134512640 134569956 3221224368 3221214560 1131159670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29811 13086 16 0 210939 0
vsize: 843820
[startup+950.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 91888 72 0 0 24 0 11 0 838982956 864071680 29882 4294967295 134512640 134569956 3221224368 3221214536 1131188431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29882 13086 16 0 210939 0
vsize: 843820
[startup+960.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 92888 72 0 0 25 0 11 0 838982956 864071680 29882 4294967295 134512640 134569956 3221224368 3221214416 1131438568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29882 13086 16 0 210939 0
vsize: 843820
[startup+970.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 93871 73 0 0 25 0 11 0 838982956 864071680 29960 4294967295 134512640 134569956 3221224368 3221214584 1131215627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 29960 13086 16 0 210939 0
vsize: 843820
[startup+980.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 94859 73 0 0 25 0 11 0 838982956 864071680 29979 4294967295 134512640 134569956 3221224368 3221214272 1085679502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 29979 13086 16 0 210939 0
vsize: 843820
[startup+990.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 95836 73 0 0 25 0 11 0 838982956 864071680 30064 4294967295 134512640 134569956 3221224368 3221214560 1131160064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30064 13086 16 0 210939 0
vsize: 843820
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 96825 74 0 0 25 0 11 0 838982956 864071680 30104 4294967295 134512640 134569956 3221224368 3221214480 1131421312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30104 13086 16 0 210939 0
vsize: 843820
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 13630
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 97803 74 0 0 25 0 11 0 838982956 864071680 30161 4294967295 134512640 134569956 3221224368 3221214492 1131289112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30161 13086 16 0 210939 0
vsize: 843820
[startup+1020.03 s]
Raw data (loadavg): 1.16 1.02 1.01 2/67 13666
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 98783 76 0 0 25 0 11 0 838982956 864071680 30240 4294967295 134512640 134569956 3221224368 3221214408 1085679492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 30240 13086 16 0 210939 0
vsize: 843820
[startup+1030.03 s]
Raw data (loadavg): 1.13 1.02 1.00 2/64 13684
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 99759 76 0 0 25 0 11 0 838982956 864071680 30325 4294967295 134512640 134569956 3221224368 3221214656 1131239863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30325 13086 16 0 210939 0
vsize: 843820
[startup+1040.03 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 13684
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 100736 76 0 0 25 0 11 0 838982956 864071680 30383 4294967295 134512640 134569956 3221224368 3221214480 1131421471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30383 13086 16 0 210939 0
vsize: 843820
[startup+1050.03 s]
Raw data (loadavg): 1.10 1.01 1.00 2/64 13684
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 101718 77 0 0 25 0 11 0 838982956 864071680 30446 4294967295 134512640 134569956 3221224368 3221214092 1131268324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30446 13086 16 0 210939 0
vsize: 843820
[startup+1060.03 s]
Raw data (loadavg): 1.08 1.01 1.00 2/64 13684
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 102694 77 0 0 25 0 11 0 838982956 864071680 30547 4294967295 134512640 134569956 3221224368 3221214480 1131421902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30547 13086 16 0 210939 0
vsize: 843820
[startup+1070.03 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 13684
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 103676 77 0 0 25 0 11 0 838982956 864071680 30605 4294967295 134512640 134569956 3221224368 3221213992 1131488376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30605 13086 16 0 210939 0
vsize: 843820
[startup+1080.03 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 13684
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 104652 78 0 0 25 0 11 0 838982956 864071680 30703 4294967295 134512640 134569956 3221224368 3221214404 1131289868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30703 13086 16 0 210939 0
vsize: 843820
[startup+1090.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 105627 79 0 0 25 0 11 0 838982956 864071680 30765 4294967295 134512640 134569956 3221224368 3221214624 1131154539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30765 13086 16 0 210939 0
vsize: 843820
[startup+1100.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 106603 79 0 0 25 0 11 0 838982956 864071680 30821 4294967295 134512640 134569956 3221224368 3221214224 1131289169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30821 13086 16 0 210939 0
vsize: 843820
[startup+1110.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 107584 79 0 0 25 0 11 0 838982956 864071680 30856 4294967295 134512640 134569956 3221224368 3221214560 1131159467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30856 13086 16 0 210939 0
vsize: 843820
[startup+1120.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 108559 79 0 0 25 0 11 0 838982956 864071680 30924 4294967295 134512640 134569956 3221224368 3221214088 1131289017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 30924 13086 16 0 210939 0
vsize: 843820
[startup+1130.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 109529 80 0 0 25 0 11 0 838982956 864071680 31003 4294967295 134512640 134569956 3221224368 3221214616 1131173849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 31003 13086 16 0 210939 0
vsize: 843820
[startup+1140.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 110506 80 0 0 25 0 11 0 838982956 864071680 31075 4294967295 134512640 134569956 3221224368 3221214656 1131241938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 31075 13086 16 0 210939 0
vsize: 843820
[startup+1150.03 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 111483 80 0 0 25 0 11 0 838982956 864071680 31129 4294967295 134512640 134569956 3221224368 3221214088 1131268360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 31129 13086 16 0 210939 0
vsize: 843820
[startup+1160.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 112461 80 0 0 25 0 11 0 838982956 864071680 31191 4294967295 134512640 134569956 3221224368 3221214356 1131289168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 31191 13086 16 0 210939 0
vsize: 843820
[startup+1170.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 113438 81 0 0 25 0 11 0 838982956 864071680 31243 4294967295 134512640 134569956 3221224368 3221214528 1131188313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 31243 13086 16 0 210939 0
vsize: 843820
[startup+1180.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13686
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 114408 81 0 0 25 0 11 0 838982956 864071680 31297 4294967295 134512640 134569956 3221224368 3221214132 1131288992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 31297 13086 16 0 210939 0
vsize: 843820
[startup+1190.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 13687
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 115385 82 0 0 25 0 11 0 838982956 864071680 31345 4294967295 134512640 134569956 3221224368 3221214552 1131192275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 31345 13086 16 0 210939 0
vsize: 843820
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13687
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 116363 82 0 0 25 0 11 0 838982956 864071680 31383 4294967295 134512640 134569956 3221224368 3221214560 1131159716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 31383 13086 16 0 210939 0
vsize: 843820
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13687
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 117345 82 0 0 25 0 11 0 838982956 864071680 31429 4294967295 134512640 134569956 3221224368 3221214560 1131160083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 31429 13086 16 0 210939 0
vsize: 843820
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13687
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 118322 83 0 0 25 0 11 0 838982956 864071680 31471 4294967295 134512640 134569956 3221224368 3221214184 1131289229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 31471 13086 16 0 210939 0
vsize: 843820
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13687
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 119297 83 0 0 25 0 11 0 838982956 864071680 31521 4294967295 134512640 134569956 3221224368 3221213996 1131268105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210955 31521 13086 16 0 210939 0
vsize: 843820
[startup+1240.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13687
Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 120290 83 0 0 25 0 11 0 838982956 864071680 31535 4294967295 134512640 134569956 3221224368 3221214828 1131305696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210955 31535 13086 16 0 210939 0
vsize: 843820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 13689
Raw data (stat): 13600 (java) Z 13599 1586 1585 0 -1 1036 18141 10886 1 0 120295 83 3223 24 25 0 1 0 838982956 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.15
CPU time (s): 1236.28
CPU user time (s): 1235.19
CPU system time (s): 1.08583
CPU usage (%): 99.6882
Max. virtual memory (Kb): 845196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1448
#### END VERIFIER DATA ####