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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
MD5SUMb7b224de1898888de830ec05fbd5ea69
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1327
Optimality of the best value was proved NO
Number of terms in the objective function 2726
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2726
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2726
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.07284
Number of variables2726
Total number of constraints4395
Number of constraints which are clauses4395
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5

Trace number 4407 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-13 16:57:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2061 boxname=wulflinc29 idbench=229 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b7b224de1898888de830ec05fbd5ea69  /oldhome/oroussel/tmp/wulflinc29/normalized-ssa7552-159.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-ssa7552-159.opb
IDLAUNCH: 2061
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        874940 kB
Buffers:         35380 kB
Cached:          87008 kB
SwapCached:         12 kB
Active:          51712 kB
Inactive:        73444 kB
HighTotal:      131008 kB
HighFree:        40600 kB
LowTotal:       903652 kB
LowFree:        834340 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            28968 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:18:37 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2061 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-ssa7552-159.opb
c reading problem 
c [nbvar=2726]
c [nbconstr=4395]
c time 6.423
c #vars     2726
c #clauses  4395
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1328
c Current CPU time (ms) : 8.68
c starts	: 1
c conflicts	: 3
c decisions	: 170
c propagations	: 3763
c inspects	: 6713
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 3
c learned clauses	: 3
c root simplifications	: 1
c 
c CURRENT OPTIMUM=1327
c Current CPU time (ms) : 773.259
c starts	: 3
c conflicts	: 115
c decisions	: 1889
c propagations	: 27513
c inspects	: 190894
c learned literals	: 0
c learned binary clauses	: 4
c learned ternary clauses	: 10
c learned clauses	: 115
c root simplifications	: 8
#### 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.94 1.00 0.94 2/54 27953
Raw data (stat): 27953 (runsolver) R 27952 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477566053 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.11 1.03 0.95 3/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18083 3 1 0 706 45 0 0 25 0 11 0 477566053 863080448 21537 4294967295 134512640 134569956 3221224416 3221214816 1131222873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 21538 13073 16 0 210697 0
vsize: 842852
[startup+20.0015 s]
Raw data (loadavg): 1.09 1.03 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18084 3 1 0 1615 45 0 0 25 0 11 0 477566053 861798400 21733 4294967295 134512640 134569956 3221224416 3221214584 1131531605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 21733 13073 16 0 210384 0
vsize: 841600
[startup+30.0018 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 2557 45 0 0 25 0 11 0 477566053 861798400 21808 4294967295 134512640 134569956 3221224416 3221214584 1131532542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 21808 13073 16 0 210384 0
vsize: 841600
[startup+40.0026 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 3487 46 0 0 24 0 11 0 477566053 861798400 21965 4294967295 134512640 134569956 3221224416 3221214600 1131344823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 21965 13073 16 0 210384 0
vsize: 841600
[startup+50.003 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 4436 46 0 0 25 0 11 0 477566053 861798400 22053 4294967295 134512640 134569956 3221224416 3221214504 1131217041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 22053 13073 16 0 210384 0
vsize: 841600
[startup+60.0032 s]
Raw data (loadavg): 1.12 1.04 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 5372 46 0 0 25 0 11 0 477566053 861798400 22678 4294967295 134512640 134569956 3221224416 3221214584 1131531456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 22678 13073 16 0 210384 0
vsize: 841600
[startup+70.004 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 6344 47 0 0 25 0 11 0 477566053 861798400 22816 4294967295 134512640 134569956 3221224416 3221214864 1131177840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 22816 13073 16 0 210384 0
vsize: 841600
[startup+80.0042 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 7314 47 0 0 25 0 11 0 477566053 861798400 22859 4294967295 134512640 134569956 3221224416 3221214832 1131356346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 22859 13073 16 0 210384 0
vsize: 841600
[startup+90.0055 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 8283 47 0 0 25 0 11 0 477566053 861798400 22911 4294967295 134512640 134569956 3221224416 3221214560 1131413119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 22911 13073 16 0 210384 0
vsize: 841600
[startup+100.006 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 27964
Raw data (stat): 27953 (java) S 27952 27222 27221 0 -1 0 18085 3 1 0 9250 47 0 0 25 0 11 0 477566053 861798400 22980 4294967295 134512640 134569956 3221224416 3221213496 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 22981 13073 16 0 210384 0
vsize: 841600
[startup+110.007 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 10210 47 0 0 25 0 11 0 477566053 861798400 23034 4294967295 134512640 134569956 3221224416 3221214692 1131215660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23034 13073 16 0 210384 0
vsize: 841600
[startup+120.008 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 27964
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 11175 48 0 0 25 0 11 0 477566053 861798400 23047 4294967295 134512640 134569956 3221224416 3221214584 1131532674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 23047 13073 16 0 210384 0
vsize: 841600
[startup+130.009 s]
Raw data (loadavg): 1.04 1.03 0.95 2/65 27965
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 12138 51 0 0 25 0 11 0 477566053 861798400 23158 4294967295 134512640 134569956 3221224416 3221214600 1131216911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23158 13073 16 0 210384 0
vsize: 841600
[startup+140.009 s]
Raw data (loadavg): 1.10 1.04 0.96 2/64 28017
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 13099 55 0 0 25 0 11 0 477566053 861798400 23256 4294967295 134512640 134569956 3221224416 3221214564 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23256 13073 16 0 210384 0
vsize: 841600
[startup+150.01 s]
Raw data (loadavg): 1.09 1.04 0.96 2/64 28017
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 14070 56 0 0 25 0 11 0 477566053 861798400 23338 4294967295 134512640 134569956 3221224416 3221214784 1131431369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23338 13073 16 0 210384 0
vsize: 841600
[startup+160.01 s]
Raw data (loadavg): 1.07 1.04 0.96 2/64 28017
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 15041 56 0 0 25 0 11 0 477566053 861798400 23461 4294967295 134512640 134569956 3221224416 3221214696 1131569422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23461 13073 16 0 210384 0
vsize: 841600
[startup+170.011 s]
Raw data (loadavg): 1.06 1.04 0.96 2/64 28017
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 16014 56 0 0 25 0 11 0 477566053 861798400 23537 4294967295 134512640 134569956 3221224416 3221214696 1131566406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23537 13073 16 0 210384 0
vsize: 841600
[startup+180.011 s]
Raw data (loadavg): 1.05 1.04 0.96 2/64 28017
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 16990 57 0 0 25 0 11 0 477566053 861798400 23613 4294967295 134512640 134569956 3221224416 3221214696 1131569360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23613 13073 16 0 210384 0
vsize: 841600
[startup+190.012 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 28017
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 17967 57 0 0 25 0 11 0 477566053 861798400 23666 4294967295 134512640 134569956 3221224416 3221214584 1131533306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23666 13073 16 0 210384 0
vsize: 841600
[startup+200.012 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 18941 57 0 0 25 0 11 0 477566053 861798400 23701 4294967295 134512640 134569956 3221224416 3221214584 1131531243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23701 13073 16 0 210384 0
vsize: 841600
[startup+210.012 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 19919 58 0 0 25 0 11 0 477566053 861798400 23798 4294967295 134512640 134569956 3221224416 3221214792 1131516025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23798 13073 16 0 210384 0
vsize: 841600
[startup+220.012 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 20889 58 0 0 25 0 11 0 477566053 861798400 23877 4294967295 134512640 134569956 3221224416 3221214584 1131531730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23877 13073 16 0 210384 0
vsize: 841600
[startup+230.012 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 21862 59 0 0 25 0 11 0 477566053 861798400 23902 4294967295 134512640 134569956 3221224416 3221214864 1131177792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23902 13073 16 0 210384 0
vsize: 841600
[startup+240.013 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 22824 59 0 0 25 0 11 0 477566053 861798400 23928 4294967295 134512640 134569956 3221224416 3221214600 1131217001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 23928 13073 16 0 210384 0
vsize: 841600
[startup+250.013 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 23788 59 0 0 25 0 11 0 477566053 861798400 24016 4294967295 134512640 134569956 3221224416 3221214744 1131493218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24016 13073 16 0 210384 0
vsize: 841600
[startup+260.013 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 24754 59 0 0 25 0 11 0 477566053 861798400 24163 4294967295 134512640 134569956 3221224416 3221214696 1131569367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24163 13073 16 0 210384 0
vsize: 841600
[startup+270.014 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 25725 59 0 0 24 0 11 0 477566053 861798400 24189 4294967295 134512640 134569956 3221224416 3221214696 1131569367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24189 13073 16 0 210384 0
vsize: 841600
[startup+280.014 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 26700 59 0 0 25 0 11 0 477566053 861798400 24334 4294967295 134512640 134569956 3221224416 3221214696 1131569344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24334 13073 16 0 210384 0
vsize: 841600
[startup+290.015 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 27670 59 0 0 25 0 11 0 477566053 861798400 24408 4294967295 134512640 134569956 3221224416 3221214600 1131216871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24408 13073 16 0 210384 0
vsize: 841600
[startup+300.016 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 28645 59 0 0 25 0 11 0 477566053 861798400 24478 4294967295 134512640 134569956 3221224416 3221214696 1131569367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24478 13073 16 0 210384 0
vsize: 841600
[startup+310.015 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 29622 59 0 0 25 0 11 0 477566053 861798400 24495 4294967295 134512640 134569956 3221224416 3221214908 1131177772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24495 13073 16 0 210384 0
vsize: 841600
[startup+320.015 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 30592 59 0 0 25 0 11 0 477566053 861798400 24522 4294967295 134512640 134569956 3221224416 3221214696 1131569505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24522 13073 16 0 210384 0
vsize: 841600
[startup+330.015 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 31564 59 0 0 25 0 11 0 477566053 861798400 24620 4294967295 134512640 134569956 3221224416 3221214600 1131217189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24620 13073 16 0 210384 0
vsize: 841600
[startup+340.015 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 32533 59 0 0 25 0 11 0 477566053 861798400 24706 4294967295 134512640 134569956 3221224416 3221214584 1131531848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24706 13073 16 0 210384 0
vsize: 841600
[startup+350.015 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 33512 59 0 0 25 0 11 0 477566053 861798400 24765 4294967295 134512640 134569956 3221224416 3221214580 1131511529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24765 13073 16 0 210384 0
vsize: 841600
[startup+360.016 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 34487 59 0 0 25 0 11 0 477566053 861798400 24765 4294967295 134512640 134569956 3221224416 3221214912 1131332629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24765 13073 16 0 210384 0
vsize: 841600
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 35458 59 0 0 25 0 11 0 477566053 861798400 24853 4294967295 134512640 134569956 3221224416 3221214696 1131569367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24853 13073 16 0 210384 0
vsize: 841600
[startup+380.016 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 36436 60 0 0 25 0 11 0 477566053 861798400 24939 4294967295 134512640 134569956 3221224416 3221214600 1131217303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 24939 13073 16 0 210384 0
vsize: 841600
[startup+390.018 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 37414 60 0 0 25 0 11 0 477566053 861798400 25008 4294967295 134512640 134569956 3221224416 3221214568 1131511561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25008 13073 16 0 210384 0
vsize: 841600
[startup+400.018 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 38394 60 0 0 25 0 11 0 477566053 861798400 25069 4294967295 134512640 134569956 3221224416 3221214816 1131223297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25069 13073 16 0 210384 0
vsize: 841600
[startup+410.018 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 39373 60 0 0 25 0 11 0 477566053 861798400 25094 4294967295 134512640 134569956 3221224416 3221214616 1131553173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25094 13073 16 0 210384 0
vsize: 841600
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 40353 60 0 0 25 0 11 0 477566053 861798400 25155 4294967295 134512640 134569956 3221224416 3221214816 1131223297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25155 13073 16 0 210384 0
vsize: 841600
[startup+430.019 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 41334 60 0 0 25 0 11 0 477566053 861798400 25198 4294967295 134512640 134569956 3221224416 3221214696 1131566343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25198 13073 16 0 210384 0
vsize: 841600
[startup+440.02 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 42316 60 0 0 25 0 11 0 477566053 861798400 25240 4294967295 134512640 134569956 3221224416 3221214816 1131224150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25240 13073 16 0 210384 0
vsize: 841600
[startup+450.02 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 43292 60 0 0 25 0 11 0 477566053 861798400 25250 4294967295 134512640 134569956 3221224416 3221214584 1131531246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25250 13073 16 0 210384 0
vsize: 841600
[startup+460.02 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 44265 60 0 0 25 0 11 0 477566053 861798400 25310 4294967295 134512640 134569956 3221224416 3221214584 1131531609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25310 13073 16 0 210384 0
vsize: 841600
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 45248 60 0 0 25 0 11 0 477566053 861798400 25377 4294967295 134512640 134569956 3221224416 3221214600 1131217086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25377 13073 16 0 210384 0
vsize: 841600
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28019
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 46230 60 0 0 25 0 11 0 477566053 861798400 25395 4294967295 134512640 134569956 3221224416 3221214864 1131177792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25395 13073 16 0 210384 0
vsize: 841600
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 47211 61 0 0 25 0 11 0 477566053 861798400 25480 4294967295 134512640 134569956 3221224416 3221214600 1131216871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25480 13073 16 0 210384 0
vsize: 841600
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 48194 61 0 0 25 0 11 0 477566053 861798400 25523 4294967295 134512640 134569956 3221224416 3221214600 1131217001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25523 13073 16 0 210384 0
vsize: 841600
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 49179 61 0 0 25 0 11 0 477566053 861798400 25568 4294967295 134512640 134569956 3221224416 3221214584 1131531602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25568 13073 16 0 210384 0
vsize: 841600
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 50163 61 0 0 25 0 11 0 477566053 861798400 25568 4294967295 134512640 134569956 3221224416 3221214696 1131569471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25568 13073 16 0 210384 0
vsize: 841600
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 51144 61 0 0 25 0 11 0 477566053 861798400 25576 4294967295 134512640 134569956 3221224416 3221214584 1131531200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25576 13073 16 0 210384 0
vsize: 841600
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 52120 61 0 0 25 0 11 0 477566053 861798400 25639 4294967295 134512640 134569956 3221224416 3221214816 1131223924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25639 13073 16 0 210384 0
vsize: 841600
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 53100 61 0 0 25 0 11 0 477566053 861798400 25664 4294967295 134512640 134569956 3221224416 3221214696 1131569364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25664 13073 16 0 210384 0
vsize: 841600
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 54081 61 0 0 25 0 11 0 477566053 861798400 25724 4294967295 134512640 134569956 3221224416 3221214584 1131531724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25724 13073 16 0 210384 0
vsize: 841600
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 55062 61 0 0 25 0 11 0 477566053 861798400 25749 4294967295 134512640 134569956 3221224416 3221214672 1131188505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25749 13073 16 0 210384 0
vsize: 841600
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 56042 61 0 0 25 0 11 0 477566053 861798400 25809 4294967295 134512640 134569956 3221224416 3221214600 1131217659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25809 13073 16 0 210384 0
vsize: 841600
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 57024 61 0 0 25 0 11 0 477566053 861798400 25876 4294967295 134512640 134569956 3221224416 3221214600 1131216871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25876 13073 16 0 210384 0
vsize: 841600
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 58004 61 0 0 25 0 11 0 477566053 861798400 25894 4294967295 134512640 134569956 3221224416 3221214600 1131216871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25894 13073 16 0 210384 0
vsize: 841600
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 58984 61 0 0 25 0 11 0 477566053 861798400 25921 4294967295 134512640 134569956 3221224416 3221214600 1131216871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25921 13073 16 0 210384 0
vsize: 841600
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 59963 61 0 0 25 0 11 0 477566053 861798400 25963 4294967295 134512640 134569956 3221224416 3221214816 1131222877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25963 13073 16 0 210384 0
vsize: 841600
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 60943 61 0 0 25 0 11 0 477566053 861798400 25987 4294967295 134512640 134569956 3221224416 3221214584 1131531602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 25987 13073 16 0 210384 0
vsize: 841600
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 61926 61 0 0 25 0 11 0 477566053 861798400 26047 4294967295 134512640 134569956 3221224416 3221214912 1131332805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26047 13073 16 0 210384 0
vsize: 841600
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 62904 61 0 0 25 0 11 0 477566053 861798400 26092 4294967295 134512640 134569956 3221224416 3221214600 1131217129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26092 13073 16 0 210384 0
vsize: 841600
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 63889 61 0 0 25 0 11 0 477566053 861798400 26134 4294967295 134512640 134569956 3221224416 3221214816 1131223297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26134 13073 16 0 210384 0
vsize: 841600
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 64855 61 0 0 24 0 11 0 477566053 861798400 26202 4294967295 134512640 134569956 3221224416 3221214584 1131531246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26202 13073 16 0 210384 0
vsize: 841600
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 65845 61 0 0 25 0 11 0 477566053 861798400 26219 4294967295 134512640 134569956 3221224416 3221214864 1131177809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26219 13073 16 0 210384 0
vsize: 841600
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 66825 61 0 0 25 0 11 0 477566053 861798400 26220 4294967295 134512640 134569956 3221224416 3221214816 1131223201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26220 13073 16 0 210384 0
vsize: 841600
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 67793 61 0 0 25 0 11 0 477566053 861798400 26220 4294967295 134512640 134569956 3221224416 3221214816 1131223449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26220 13073 16 0 210384 0
vsize: 841600
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 68762 61 0 0 25 0 11 0 477566053 861798400 26329 4294967295 134512640 134569956 3221224416 3221214816 1131223085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26329 13073 16 0 210384 0
vsize: 841600
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 69733 61 0 0 25 0 11 0 477566053 861798400 26504 4294967295 134512640 134569956 3221224416 3221214912 1131332805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26504 13073 16 0 210384 0
vsize: 841600
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 70709 61 0 0 25 0 11 0 477566053 861798400 26585 4294967295 134512640 134569956 3221224416 3221214816 1131223040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26585 13073 16 0 210384 0
vsize: 841600
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 71690 61 0 0 25 0 11 0 477566053 861798400 26608 4294967295 134512640 134569956 3221224416 3221214908 1131177772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26608 13073 16 0 210384 0
vsize: 841600
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 72674 61 0 0 25 0 11 0 477566053 861798400 26618 4294967295 134512640 134569956 3221224416 3221214864 1131177911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26618 13073 16 0 210384 0
vsize: 841600
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 73652 61 0 0 24 0 11 0 477566053 861798400 26633 4294967295 134512640 134569956 3221224416 3221214816 1131223743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26633 13073 16 0 210384 0
vsize: 841600
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28021
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 74633 61 0 0 25 0 11 0 477566053 861798400 26640 4294967295 134512640 134569956 3221224416 3221214908 1131222860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26640 13073 16 0 210384 0
vsize: 841600
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 75608 62 0 0 25 0 11 0 477566053 861798400 26645 4294967295 134512640 134569956 3221224416 3221214864 1131177809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26645 13073 16 0 210384 0
vsize: 841600
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 76564 62 0 0 25 0 11 0 477566053 861798400 26681 4294967295 134512640 134569956 3221224416 3221214816 1131222885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26681 13073 16 0 210384 0
vsize: 841600
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 77526 62 0 0 25 0 11 0 477566053 861798400 26688 4294967295 134512640 134569956 3221224416 3221214600 1131216864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26688 13073 16 0 210384 0
vsize: 841600
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 78488 62 0 0 25 0 11 0 477566053 861798400 26692 4294967295 134512640 134569956 3221224416 3221214584 1131531246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26692 13073 16 0 210384 0
vsize: 841600
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 79450 62 0 0 25 0 11 0 477566053 861798400 26887 4294967295 134512640 134569956 3221224416 3221214832 1131356327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26887 13073 16 0 210384 0
vsize: 841600
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 80428 62 0 0 25 0 11 0 477566053 861798400 26965 4294967295 134512640 134569956 3221224416 3221214580 1131511520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 26965 13073 16 0 210384 0
vsize: 841600
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 81398 62 0 0 24 0 11 0 477566053 861798400 27021 4294967295 134512640 134569956 3221224416 3221214696 1131569507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27021 13073 16 0 210384 0
vsize: 841600
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 82376 62 0 0 25 0 11 0 477566053 861798400 27084 4294967295 134512640 134569956 3221224416 3221214696 1131569480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27084 13073 16 0 210384 0
vsize: 841600
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 83356 62 0 0 25 0 11 0 477566053 861798400 27128 4294967295 134512640 134569956 3221224416 3221214600 1131215733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27128 13073 16 0 210384 0
vsize: 841600
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 84339 62 0 0 25 0 11 0 477566053 861798400 27188 4294967295 134512640 134569956 3221224416 3221214816 1131223348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27188 13073 16 0 210384 0
vsize: 841600
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 85321 62 0 0 25 0 11 0 477566053 861798400 27232 4294967295 134512640 134569956 3221224416 3221214616 1131553173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27232 13073 16 0 210384 0
vsize: 841600
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 86307 62 0 0 24 0 11 0 477566053 861798400 27294 4294967295 134512640 134569956 3221224416 3221214696 1131569364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27294 13073 16 0 210384 0
vsize: 841600
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 87296 62 0 0 25 0 11 0 477566053 861798400 27318 4294967295 134512640 134569956 3221224416 3221214584 1131531243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27318 13073 16 0 210384 0
vsize: 841600
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 88283 62 0 0 25 0 11 0 477566053 861798400 27328 4294967295 134512640 134569956 3221224416 3221214600 1131217086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27328 13073 16 0 210384 0
vsize: 841600
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 89272 63 0 0 25 0 11 0 477566053 861798400 27353 4294967295 134512640 134569956 3221224416 3221214584 1131531272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27353 13073 16 0 210384 0
vsize: 841600
[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 90259 63 0 0 25 0 11 0 477566053 861798400 27377 4294967295 134512640 134569956 3221224416 3221214600 1131217086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27377 13073 16 0 210384 0
vsize: 841600
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 91248 63 0 0 25 0 11 0 477566053 861798400 27402 4294967295 134512640 134569956 3221224416 3221214816 1131222913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27402 13073 16 0 210384 0
vsize: 841600
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 92235 63 0 0 25 0 11 0 477566053 861798400 27402 4294967295 134512640 134569956 3221224416 3221214584 1131531246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27402 13073 16 0 210384 0
vsize: 841600
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 93224 63 0 0 25 0 11 0 477566053 861798400 27412 4294967295 134512640 134569956 3221224416 3221214600 1131217189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27412 13073 16 0 210384 0
vsize: 841600
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 94209 63 0 0 25 0 11 0 477566053 861798400 27453 4294967295 134512640 134569956 3221224416 3221214600 1131217041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27453 13073 16 0 210384 0
vsize: 841600
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 95196 63 0 0 25 0 11 0 477566053 861798400 27453 4294967295 134512640 134569956 3221224416 3221214600 1131217276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27453 13073 16 0 210384 0
vsize: 841600
[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 96183 63 0 0 25 0 11 0 477566053 861798400 27465 4294967295 134512640 134569956 3221224416 3221214600 1131217001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27465 13073 16 0 210384 0
vsize: 841600
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 97166 63 0 0 25 0 11 0 477566053 861798400 27489 4294967295 134512640 134569956 3221224416 3221214584 1131531678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27489 13073 16 0 210384 0
vsize: 841600
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 98150 63 0 0 25 0 11 0 477566053 861798400 27522 4294967295 134512640 134569956 3221224416 3221214760 1131217041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27522 13073 16 0 210384 0
vsize: 841600
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 99137 63 0 0 25 0 11 0 477566053 861798400 27580 4294967295 134512640 134569956 3221224416 3221214696 1131569384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27580 13073 16 0 210384 0
vsize: 841600
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 100125 63 0 0 25 0 11 0 477566053 861798400 27589 4294967295 134512640 134569956 3221224416 3221214600 1131216890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27589 13073 16 0 210384 0
vsize: 841600
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 101111 63 0 0 25 0 11 0 477566053 861798400 27638 4294967295 134512640 134569956 3221224416 3221214664 1131217041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27638 13073 16 0 210384 0
vsize: 841600
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 102098 63 0 0 25 0 11 0 477566053 861798400 27638 4294967295 134512640 134569956 3221224416 3221214584 1131531668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27638 13073 16 0 210384 0
vsize: 841600
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 103081 63 0 0 25 0 11 0 477566053 861798400 27648 4294967295 134512640 134569956 3221224416 3221214816 1131222881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27648 13073 16 0 210384 0
vsize: 841600
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 104066 63 0 0 25 0 11 0 477566053 861798400 27674 4294967295 134512640 134569956 3221224416 3221214584 1131531380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27674 13073 16 0 210384 0
vsize: 841600
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 105051 63 0 0 25 0 11 0 477566053 861798400 27727 4294967295 134512640 134569956 3221224416 3221214864 1131177792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27727 13073 16 0 210384 0
vsize: 841600
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 106031 63 0 0 25 0 11 0 477566053 861798400 27754 4294967295 134512640 134569956 3221224416 3221214696 1131566499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27754 13073 16 0 210384 0
vsize: 841600
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 107016 63 0 0 25 0 11 0 477566053 861798400 27780 4294967295 134512640 134569956 3221224416 3221214696 1131569414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27780 13073 16 0 210384 0
vsize: 841600
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 107999 63 0 0 25 0 11 0 477566053 861798400 27837 4294967295 134512640 134569956 3221224416 3221214912 1131332886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27837 13073 16 0 210384 0
vsize: 841600
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 108984 63 0 0 25 0 11 0 477566053 861798400 27837 4294967295 134512640 134569956 3221224416 3221214584 1131531668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27837 13073 16 0 210384 0
vsize: 841600
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 109968 63 0 0 25 0 11 0 477566053 861798400 27900 4294967295 134512640 134569956 3221224416 3221214600 1131217001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27900 13073 16 0 210384 0
vsize: 841600
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 110948 63 0 0 25 0 11 0 477566053 861798400 27917 4294967295 134512640 134569956 3221224416 3221214584 1131532503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27917 13073 16 0 210384 0
vsize: 841600
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 111932 64 0 0 25 0 11 0 477566053 861798400 27930 4294967295 134512640 134569956 3221224416 3221214696 1131569422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27930 13073 16 0 210384 0
vsize: 841600
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 112915 64 0 0 25 0 11 0 477566053 861798400 27988 4294967295 134512640 134569956 3221224416 3221214600 1131217733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 27988 13073 16 0 210384 0
vsize: 841600
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 113901 64 0 0 25 0 11 0 477566053 861798400 28030 4294967295 134512640 134569956 3221224416 3221214584 1131532531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 28030 13073 16 0 210384 0
vsize: 841600
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 114887 64 0 0 25 0 11 0 477566053 861798400 28054 4294967295 134512640 134569956 3221224416 3221214584 1131531243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 28054 13073 16 0 210384 0
vsize: 841600
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 115875 64 0 0 25 0 11 0 477566053 861798400 28071 4294967295 134512640 134569956 3221224416 3221214600 1131217095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 28071 13073 16 0 210384 0
vsize: 841600
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 116860 64 0 0 25 0 11 0 477566053 861798400 28083 4294967295 134512640 134569956 3221224416 3221214696 1131569367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 28083 13073 16 0 210384 0
vsize: 841600
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 117846 64 0 0 25 0 11 0 477566053 861798400 28092 4294967295 134512640 134569956 3221224416 3221214696 1131566343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210400 28092 13073 16 0 210384 0
vsize: 841600
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 118831 64 0 0 25 0 11 0 477566053 861798400 28118 4294967295 134512640 134569956 3221224416 3221214600 1131217726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 28118 13073 16 0 210384 0
vsize: 841600
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 119814 64 0 0 25 0 11 0 477566053 861798400 28145 4294967295 134512640 134569956 3221224416 3221214600 1131217058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 28145 13073 16 0 210384 0
vsize: 841600
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28022
Raw data (stat): 27953 (java) R 27952 27222 27221 0 -1 0 18085 3 1 0 120796 64 0 0 24 0 11 0 477566053 861798400 28171 4294967295 134512640 134569956 3221224416 3221214696 1131569384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 28171 13073 16 0 210384 0
vsize: 841600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 28024
Raw data (stat): 27953 (java) Z 27952 27222 27221 0 -1 1036 18085 14007 1 0 120797 69 4038 43 25 0 1 0 477566053 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.12
CPU time (s): 1249.49
CPU user time (s): 1248.36
CPU system time (s): 1.12983
CPU usage (%): 100.756
Max. virtual memory (Kb): 842852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####