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-ii16a1.opb
MD5SUM8d302f04261c322e5b8c31c087553d24
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1272
Optimality of the best value was proved NO
Number of terms in the objective function 3300
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 3300
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 3300
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 benchmark1175.06
Number of variables3300
Total number of constraints21018
Number of constraints which are clauses21018
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 constraint2
Maximum length of a constraint16

Trace number 4305 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc32 THE 2005-04-13 16:15:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1224 boxname=wulflinc32 idbench=136 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8d302f04261c322e5b8c31c087553d24  /oldhome/oroussel/tmp/wulflinc32/normalized-ii16a1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc32/normalized-ii16a1.opb
IDLAUNCH: 1224
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.085
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.085
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:      1034724 kB
MemFree:        762572 kB
Buffers:         32008 kB
Cached:         128620 kB
SwapCached:       1212 kB
Active:         132136 kB
Inactive:       108800 kB
HighTotal:      131072 kB
HighFree:         3360 kB
LowTotal:       903652 kB
LowFree:        759212 kB
SwapTotal:     2097892 kB
SwapFree:      2096680 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          81768 kB
Slab:            25516 kB
Committed_AS:   174000 kB
PageTables:        432 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:36:26 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1224 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc32/normalized-ii16a1.opb
c reading problem 
c [nbvar=3300]
c [nbconstr=21018]
c time 15.867
c #vars     3300
c #clauses  21018
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=1621
c Current CPU time (ms) : 28.813
c starts	: 2
c conflicts	: 169
c decisions	: 1562
c propagations	: 47320
c inspects	: 125183
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 169
c root simplifications	: 2
c 
c CURRENT OPTIMUM=1620
c Current CPU time (ms) : 112.866
c starts	: 6
c conflicts	: 709
c decisions	: 5064
c propagations	: 193806
c inspects	: 473100
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 709
c root simplifications	: 6
c 
c CURRENT OPTIMUM=1601
c Current CPU time (ms) : 552.642
c starts	: 9
c conflicts	: 1078
c decisions	: 10876
c propagations	: 340669
c inspects	: 1032792
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1078
c root simplifications	: 9
#### 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): 1.19 1.04 0.78 1/53 8700
Raw data (stat): 8700 (runsolver) D 8699 7987 7986 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477309045 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0016 s]
Raw data (loadavg): 1.32 1.08 0.79 4/62 8709
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18040 0 1 0 847 42 0 0 25 0 10 0 477309045 872353792 23212 4294967295 134512640 134569956 3221224416 3221214828 1130883104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212977 23212 13073 16 0 212961 0
vsize: 851908
[startup+20.0846 s]
Raw data (loadavg): 1.42 1.11 0.81 4/63 8710
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18109 0 1 0 1461 42 0 0 25 0 11 0 477309045 870125568 23058 4294967295 134512640 134569956 3221224416 3221213960 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 23058 13073 16 0 212417 0
vsize: 849732
[startup+30.0859 s]
Raw data (loadavg): 1.43 1.12 0.81 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18110 4 1 0 2340 43 0 0 25 0 11 0 477309045 870125568 26378 4294967295 134512640 134569956 3221224416 3221214792 1131557828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 26378 13073 16 0 212417 0
vsize: 849732
[startup+40.0869 s]
Raw data (loadavg): 1.36 1.11 0.81 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 3265 43 0 0 25 0 11 0 477309045 870125568 26406 4294967295 134512640 134569956 3221224416 3221214600 1131488937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 26406 13073 16 0 212417 0
vsize: 849732
[startup+50.0877 s]
Raw data (loadavg): 1.31 1.11 0.82 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 4180 44 0 0 25 0 11 0 477309045 870125568 26619 4294967295 134512640 134569956 3221224416 3221214688 1131225013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 26619 13073 16 0 212417 0
vsize: 849732
[startup+60.0891 s]
Raw data (loadavg): 1.26 1.11 0.82 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 5129 44 0 0 25 0 11 0 477309045 870125568 26734 4294967295 134512640 134569956 3221224416 3221214792 1131557828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 26734 13073 16 0 212417 0
vsize: 849732
[startup+70.0901 s]
Raw data (loadavg): 1.22 1.10 0.82 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 6033 44 0 0 25 0 11 0 477309045 870125568 27055 4294967295 134512640 134569956 3221224416 3221214824 1131532129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 27055 13073 16 0 212417 0
vsize: 849732
[startup+80.0919 s]
Raw data (loadavg): 1.18 1.10 0.82 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 6963 44 0 0 25 0 11 0 477309045 870125568 27072 4294967295 134512640 134569956 3221224416 3221214688 1131447970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 27072 13073 16 0 212417 0
vsize: 849732
[startup+90.0923 s]
Raw data (loadavg): 1.16 1.09 0.82 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 7880 45 0 0 25 0 11 0 477309045 870125568 27244 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 27244 13073 16 0 212417 0
vsize: 849732
[startup+100.093 s]
Raw data (loadavg): 1.13 1.09 0.82 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 8787 45 0 0 25 0 11 0 477309045 870125568 27437 4294967295 134512640 134569956 3221224416 3221214824 1131532950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 27437 13073 16 0 212417 0
vsize: 849732
[startup+110.095 s]
Raw data (loadavg): 1.11 1.09 0.82 2/63 8711
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 9677 45 0 0 25 0 11 0 477309045 870125568 27687 4294967295 134512640 134569956 3221224416 3221214876 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 27687 13073 16 0 212417 0
vsize: 849732
[startup+120.095 s]
Raw data (loadavg): 1.09 1.08 0.82 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 10589 46 0 0 25 0 11 0 477309045 870125568 28090 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 28090 13073 16 0 212417 0
vsize: 849732
[startup+130.098 s]
Raw data (loadavg): 1.08 1.08 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 11510 46 0 0 25 0 11 0 477309045 870125568 28090 4294967295 134512640 134569956 3221224416 3221214768 1131557760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 28090 13073 16 0 212417 0
vsize: 849732
[startup+140.098 s]
Raw data (loadavg): 1.07 1.08 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 12416 47 0 0 25 0 11 0 477309045 870125568 28161 4294967295 134512640 134569956 3221224416 3221214768 1131557815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 28161 13073 16 0 212417 0
vsize: 849732
[startup+150.099 s]
Raw data (loadavg): 1.06 1.07 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 13326 47 0 0 25 0 11 0 477309045 870125568 28334 4294967295 134512640 134569956 3221224416 3221214664 1131225820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 28334 13073 16 0 212417 0
vsize: 849732
[startup+160.1 s]
Raw data (loadavg): 1.05 1.07 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 14251 47 0 0 25 0 11 0 477309045 870125568 28582 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 28582 13073 16 0 212417 0
vsize: 849732
[startup+170.1 s]
Raw data (loadavg): 1.04 1.07 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 15196 47 0 0 25 0 11 0 477309045 870125568 28907 4294967295 134512640 134569956 3221224416 3221214768 1131556784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 28907 13073 16 0 212417 0
vsize: 849732
[startup+180.102 s]
Raw data (loadavg): 1.03 1.07 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 16146 48 0 0 25 0 11 0 477309045 870125568 28974 4294967295 134512640 134569956 3221224416 3221214664 1131224785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 28974 13073 16 0 212417 0
vsize: 849732
[startup+190.104 s]
Raw data (loadavg): 1.03 1.06 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 17108 48 0 0 25 0 11 0 477309045 870125568 28998 4294967295 134512640 134569956 3221224416 3221214768 1131557910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 28998 13073 16 0 212417 0
vsize: 849732
[startup+200.105 s]
Raw data (loadavg): 1.02 1.06 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 18063 48 0 0 25 0 11 0 477309045 870125568 29014 4294967295 134512640 134569956 3221224416 3221214768 1131556663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29014 13073 16 0 212417 0
vsize: 849732
[startup+210.105 s]
Raw data (loadavg): 1.02 1.06 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 19023 49 0 0 25 0 11 0 477309045 870125568 29037 4294967295 134512640 134569956 3221224416 3221214768 1131557770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29037 13073 16 0 212417 0
vsize: 849732
[startup+220.106 s]
Raw data (loadavg): 1.02 1.06 0.83 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 19981 50 0 0 25 0 11 0 477309045 870125568 29081 4294967295 134512640 134569956 3221224416 3221214664 1131225792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29081 13073 16 0 212417 0
vsize: 849732
[startup+230.108 s]
Raw data (loadavg): 1.01 1.05 0.83 2/63 8712
Raw data (stat): 8700 (java) S 8699 7987 7986 0 -1 0 18111 4 1 0 20935 50 0 0 25 0 11 0 477309045 870125568 29136 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29137 13073 16 0 212417 0
vsize: 849732
[startup+240.109 s]
Raw data (loadavg): 1.01 1.05 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 21896 50 0 0 24 0 11 0 477309045 870125568 29214 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29214 13073 16 0 212417 0
vsize: 849732
[startup+250.109 s]
Raw data (loadavg): 1.01 1.05 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 22859 51 0 0 25 0 11 0 477309045 870125568 29273 4294967295 134512640 134569956 3221224416 3221214664 1131224913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29273 13073 16 0 212417 0
vsize: 849732
[startup+260.111 s]
Raw data (loadavg): 1.01 1.05 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 23821 51 0 0 25 0 11 0 477309045 870125568 29303 4294967295 134512640 134569956 3221224416 3221214768 1131557815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29303 13073 16 0 212417 0
vsize: 849732
[startup+270.112 s]
Raw data (loadavg): 1.00 1.05 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 24787 52 0 0 25 0 11 0 477309045 870125568 29315 4294967295 134512640 134569956 3221224416 3221214664 1131224645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29315 13073 16 0 212417 0
vsize: 849732
[startup+280.112 s]
Raw data (loadavg): 1.00 1.04 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 25749 52 0 0 25 0 11 0 477309045 870125568 29359 4294967295 134512640 134569956 3221224416 3221214664 1131224975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 29359 13073 16 0 212417 0
vsize: 849732
[startup+290.113 s]
Raw data (loadavg): 1.00 1.04 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 26711 52 0 0 25 0 11 0 477309045 870125568 29383 4294967295 134512640 134569956 3221224416 3221214664 1131224657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29383 13073 16 0 212417 0
vsize: 849732
[startup+300.114 s]
Raw data (loadavg): 1.00 1.04 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 27676 53 0 0 25 0 11 0 477309045 870125568 29400 4294967295 134512640 134569956 3221224416 3221214664 1131224975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29400 13073 16 0 212417 0
vsize: 849732
[startup+310.116 s]
Raw data (loadavg): 1.00 1.04 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 28632 53 0 0 25 0 11 0 477309045 870125568 29489 4294967295 134512640 134569956 3221224416 3221214664 1131225133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29489 13073 16 0 212417 0
vsize: 849732
[startup+320.117 s]
Raw data (loadavg): 1.00 1.04 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 29597 53 0 0 25 0 11 0 477309045 870125568 29509 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29509 13073 16 0 212417 0
vsize: 849732
[startup+330.118 s]
Raw data (loadavg): 1.00 1.03 0.84 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 30561 53 0 0 25 0 11 0 477309045 870125568 29528 4294967295 134512640 134569956 3221224416 3221214768 1131557815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29528 13073 16 0 212417 0
vsize: 849732
[startup+340.119 s]
Raw data (loadavg): 1.00 1.03 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 31511 54 0 0 25 0 11 0 477309045 870125568 29590 4294967295 134512640 134569956 3221224416 3221214664 1131225252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29590 13073 16 0 212417 0
vsize: 849732
[startup+350.12 s]
Raw data (loadavg): 1.00 1.03 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 32471 54 0 0 25 0 11 0 477309045 870125568 29612 4294967295 134512640 134569956 3221224416 3221214768 1131556663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29612 13073 16 0 212417 0
vsize: 849732
[startup+360.121 s]
Raw data (loadavg): 1.00 1.03 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 33443 54 0 0 25 0 11 0 477309045 870125568 29634 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29634 13073 16 0 212417 0
vsize: 849732
[startup+370.121 s]
Raw data (loadavg): 1.00 1.03 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 34405 55 0 0 25 0 11 0 477309045 870125568 29745 4294967295 134512640 134569956 3221224416 3221214664 1131225006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29745 13073 16 0 212417 0
vsize: 849732
[startup+380.123 s]
Raw data (loadavg): 1.00 1.03 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 35363 56 0 0 25 0 11 0 477309045 870125568 29753 4294967295 134512640 134569956 3221224416 3221214664 1131225028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29753 13073 16 0 212417 0
vsize: 849732
[startup+390.124 s]
Raw data (loadavg): 1.00 1.03 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 36322 56 0 0 24 0 11 0 477309045 870125568 29761 4294967295 134512640 134569956 3221224416 3221214664 1131224613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29761 13073 16 0 212417 0
vsize: 849732
[startup+400.125 s]
Raw data (loadavg): 1.00 1.02 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 37293 56 0 0 25 0 11 0 477309045 870125568 29799 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29799 13073 16 0 212417 0
vsize: 849732
[startup+410.126 s]
Raw data (loadavg): 1.00 1.02 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 38257 57 0 0 25 0 11 0 477309045 870125568 29826 4294967295 134512640 134569956 3221224416 3221214768 1131556735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29826 13073 16 0 212417 0
vsize: 849732
[startup+420.127 s]
Raw data (loadavg): 1.00 1.02 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 39221 57 0 0 25 0 11 0 477309045 870125568 29858 4294967295 134512640 134569956 3221224416 3221214768 1131556510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29858 13073 16 0 212417 0
vsize: 849732
[startup+430.129 s]
Raw data (loadavg): 1.00 1.02 0.85 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 40183 58 0 0 25 0 11 0 477309045 870125568 29876 4294967295 134512640 134569956 3221224416 3221214664 1131224613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29876 13073 16 0 212417 0
vsize: 849732
[startup+440.13 s]
Raw data (loadavg): 1.00 1.02 0.86 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 41141 58 0 0 25 0 11 0 477309045 870125568 29898 4294967295 134512640 134569956 3221224416 3221214768 1131556798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29898 13073 16 0 212417 0
vsize: 849732
[startup+450.13 s]
Raw data (loadavg): 1.00 1.02 0.86 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 42088 58 0 0 25 0 11 0 477309045 870125568 29984 4294967295 134512640 134569956 3221224416 3221214768 1131557688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 29984 13073 16 0 212417 0
vsize: 849732
[startup+460.131 s]
Raw data (loadavg): 1.00 1.02 0.86 2/63 8712
Raw data (stat): 8700 (java) S 8699 7987 7986 0 -1 0 18111 4 1 0 43039 59 0 0 25 0 11 0 477309045 870125568 30071 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30071 13073 16 0 212417 0
vsize: 849732
[startup+470.132 s]
Raw data (loadavg): 1.00 1.02 0.86 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 44007 59 0 0 25 0 11 0 477309045 870125568 30078 4294967295 134512640 134569956 3221224416 3221214768 1131556663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30078 13073 16 0 212417 0
vsize: 849732
[startup+480.134 s]
Raw data (loadavg): 1.00 1.02 0.86 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 44965 59 0 0 25 0 11 0 477309045 870125568 30179 4294967295 134512640 134569956 3221224416 3221214664 1131225742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30179 13073 16 0 212417 0
vsize: 849732
[startup+490.135 s]
Raw data (loadavg): 1.00 1.02 0.86 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 45932 59 0 0 25 0 11 0 477309045 870125568 30205 4294967295 134512640 134569956 3221224416 3221214664 1131225204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30205 13073 16 0 212417 0
vsize: 849732
[startup+500.136 s]
Raw data (loadavg): 1.00 1.02 0.86 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 46895 59 0 0 25 0 11 0 477309045 870125568 30213 4294967295 134512640 134569956 3221224416 3221214768 1131556632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30213 13073 16 0 212417 0
vsize: 849732
[startup+510.137 s]
Raw data (loadavg): 1.00 1.01 0.86 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 47868 60 0 0 25 0 11 0 477309045 870125568 30265 4294967295 134512640 134569956 3221224416 3221214664 1131224975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30265 13073 16 0 212417 0
vsize: 849732
[startup+520.137 s]
Raw data (loadavg): 1.00 1.01 0.86 2/63 8712
Raw data (stat): 8700 (java) S 8699 7987 7986 0 -1 0 18111 4 1 0 48843 60 0 0 25 0 11 0 477309045 870125568 30301 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30301 13073 16 0 212417 0
vsize: 849732
[startup+530.138 s]
Raw data (loadavg): 1.00 1.01 0.86 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 49813 60 0 0 25 0 11 0 477309045 870125568 30306 4294967295 134512640 134569956 3221224416 3221214728 1131503345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30306 13073 16 0 212417 0
vsize: 849732
[startup+540.139 s]
Raw data (loadavg): 1.00 1.01 0.87 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 50781 61 0 0 25 0 11 0 477309045 870125568 30351 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30351 13073 16 0 212417 0
vsize: 849732
[startup+550.14 s]
Raw data (loadavg): 1.00 1.01 0.87 2/63 8712
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 51739 61 0 0 25 0 11 0 477309045 870125568 30421 4294967295 134512640 134569956 3221224416 3221214664 1131225802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30421 13073 16 0 212417 0
vsize: 849732
[startup+560.141 s]
Raw data (loadavg): 1.07 1.03 0.87 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 52697 61 0 0 25 0 11 0 477309045 870125568 30477 4294967295 134512640 134569956 3221224416 3221214768 1131556647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30477 13073 16 0 212417 0
vsize: 849732
[startup+570.142 s]
Raw data (loadavg): 1.06 1.02 0.87 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 53645 62 0 0 25 0 11 0 477309045 870125568 30526 4294967295 134512640 134569956 3221224416 3221214664 1131225141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30526 13073 16 0 212417 0
vsize: 849732
[startup+580.144 s]
Raw data (loadavg): 1.05 1.02 0.87 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 54592 62 0 0 25 0 11 0 477309045 870125568 30546 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30546 13073 16 0 212417 0
vsize: 849732
[startup+590.145 s]
Raw data (loadavg): 1.04 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 55545 63 0 0 25 0 11 0 477309045 870125568 30550 4294967295 134512640 134569956 3221224416 3221214664 1131224613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30550 13073 16 0 212417 0
vsize: 849732
[startup+600.145 s]
Raw data (loadavg): 1.04 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 56503 63 0 0 25 0 11 0 477309045 870125568 30555 4294967295 134512640 134569956 3221224416 3221214768 1131556491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30555 13073 16 0 212417 0
vsize: 849732
[startup+610.147 s]
Raw data (loadavg): 1.03 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 57453 64 0 0 25 0 11 0 477309045 870125568 30753 4294967295 134512640 134569956 3221224416 3221214768 1131556911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30753 13073 16 0 212417 0
vsize: 849732
[startup+620.148 s]
Raw data (loadavg): 1.02 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) S 8699 7987 7986 0 -1 0 18111 4 1 0 58404 64 0 0 25 0 11 0 477309045 870125568 30768 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30768 13073 16 0 212417 0
vsize: 849732
[startup+630.15 s]
Raw data (loadavg): 1.02 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 59355 64 0 0 25 0 11 0 477309045 870125568 30870 4294967295 134512640 134569956 3221224416 3221214768 1131557740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30870 13073 16 0 212417 0
vsize: 849732
[startup+640.15 s]
Raw data (loadavg): 1.02 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 60321 65 0 0 25 0 11 0 477309045 870125568 30943 4294967295 134512640 134569956 3221224416 3221214768 1131556663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 30943 13073 16 0 212417 0
vsize: 849732
[startup+650.151 s]
Raw data (loadavg): 1.01 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 61281 65 0 0 25 0 11 0 477309045 870125568 31032 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 31032 13073 16 0 212417 0
vsize: 849732
[startup+660.153 s]
Raw data (loadavg): 1.01 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 62239 65 0 0 24 0 11 0 477309045 870125568 31077 4294967295 134512640 134569956 3221224416 3221214824 1131532817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 31077 13073 16 0 212417 0
vsize: 849732
[startup+670.153 s]
Raw data (loadavg): 1.01 1.02 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 63188 66 0 0 25 0 11 0 477309045 870125568 31116 4294967295 134512640 134569956 3221224416 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 31116 13073 16 0 212417 0
vsize: 849732
[startup+680.154 s]
Raw data (loadavg): 1.01 1.01 0.88 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 64119 66 0 0 25 0 11 0 477309045 870125568 31163 4294967295 134512640 134569956 3221224416 3221214776 1131580118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 31163 13073 16 0 212417 0
vsize: 849732
[startup+690.155 s]
Raw data (loadavg): 1.01 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 65049 67 0 0 25 0 11 0 477309045 870125568 31263 4294967295 134512640 134569956 3221224416 3221214752 1131582039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 31263 13073 16 0 212417 0
vsize: 849732
[startup+700.156 s]
Raw data (loadavg): 1.00 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 65984 67 0 0 25 0 11 0 477309045 870125568 31431 4294967295 134512640 134569956 3221224416 3221214768 1131558658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 31431 13073 16 0 212417 0
vsize: 849732
[startup+710.158 s]
Raw data (loadavg): 1.00 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 66936 67 0 0 25 0 11 0 477309045 870125568 31486 4294967295 134512640 134569956 3221224416 3221214768 1131556663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 31486 13073 16 0 212417 0
vsize: 849732
[startup+720.158 s]
Raw data (loadavg): 1.00 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) S 8699 7987 7986 0 -1 0 18111 4 1 0 67879 67 0 0 25 0 11 0 477309045 870125568 31595 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 31595 13073 16 0 212417 0
vsize: 849732
[startup+730.16 s]
Raw data (loadavg): 1.00 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 68802 68 0 0 25 0 11 0 477309045 870125568 31704 4294967295 134512640 134569956 3221224416 3221214664 1131224975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 31704 13073 16 0 212417 0
vsize: 849732
[startup+740.161 s]
Raw data (loadavg): 1.00 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 69720 68 0 0 25 0 11 0 477309045 870125568 31855 4294967295 134512640 134569956 3221224416 3221214664 1131225742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 31855 13073 16 0 212417 0
vsize: 849732
[startup+750.162 s]
Raw data (loadavg): 1.00 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 70663 69 0 0 25 0 11 0 477309045 870125568 32105 4294967295 134512640 134569956 3221224416 3221214664 1131224684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32105 13073 16 0 212417 0
vsize: 849732
[startup+760.163 s]
Raw data (loadavg): 1.00 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 71621 69 0 0 25 0 11 0 477309045 870125568 32415 4294967295 134512640 134569956 3221224416 3221214768 1131556735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 32415 13073 16 0 212417 0
vsize: 849732
[startup+770.164 s]
Raw data (loadavg): 1.00 1.01 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 72605 69 0 0 25 0 11 0 477309045 870125568 32439 4294967295 134512640 134569956 3221224416 3221214768 1131556735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32439 13073 16 0 212417 0
vsize: 849732
[startup+780.166 s]
Raw data (loadavg): 1.00 1.00 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 73585 70 0 0 25 0 11 0 477309045 870125568 32445 4294967295 134512640 134569956 3221224416 3221214664 1131225802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32445 13073 16 0 212417 0
vsize: 849732
[startup+790.168 s]
Raw data (loadavg): 1.00 1.00 0.89 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 74556 70 0 0 25 0 11 0 477309045 870125568 32450 4294967295 134512640 134569956 3221224416 3221214768 1131556758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32450 13073 16 0 212417 0
vsize: 849732
[startup+800.168 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 75526 70 0 0 24 0 11 0 477309045 870125568 32460 4294967295 134512640 134569956 3221224416 3221214664 1131224613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32460 13073 16 0 212417 0
vsize: 849732
[startup+810.17 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 76491 71 0 0 25 0 11 0 477309045 870125568 32465 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 32465 13073 16 0 212417 0
vsize: 849732
[startup+820.171 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 77458 71 0 0 25 0 11 0 477309045 870125568 32526 4294967295 134512640 134569956 3221224416 3221214664 1131225472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 32526 13073 16 0 212417 0
vsize: 849732
[startup+830.173 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 78427 72 0 0 25 0 11 0 477309045 870125568 32587 4294967295 134512640 134569956 3221224416 3221214664 1131224930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32587 13073 16 0 212417 0
vsize: 849732
[startup+840.173 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 79402 72 0 0 25 0 11 0 477309045 870125568 32625 4294967295 134512640 134569956 3221224416 3221214664 1131224795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32625 13073 16 0 212417 0
vsize: 849732
[startup+850.174 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 80383 73 0 0 25 0 11 0 477309045 870125568 32640 4294967295 134512640 134569956 3221224416 3221214768 1131556735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32640 13073 16 0 212417 0
vsize: 849732
[startup+860.175 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 81368 73 0 0 25 0 11 0 477309045 870125568 32641 4294967295 134512640 134569956 3221224416 3221214768 1131557815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32641 13073 16 0 212417 0
vsize: 849732
[startup+870.176 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 82337 73 0 0 25 0 11 0 477309045 870125568 32646 4294967295 134512640 134569956 3221224416 3221214768 1131556758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32646 13073 16 0 212417 0
vsize: 849732
[startup+880.177 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 83299 74 0 0 25 0 11 0 477309045 870125568 32659 4294967295 134512640 134569956 3221224416 3221214664 1131224613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32659 13073 16 0 212417 0
vsize: 849732
[startup+890.178 s]
Raw data (loadavg): 1.00 1.00 0.90 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 84270 74 0 0 25 0 11 0 477309045 870125568 32662 4294967295 134512640 134569956 3221224416 3221214664 1131225742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32662 13073 16 0 212417 0
vsize: 849732
[startup+900.179 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 85248 74 0 0 25 0 11 0 477309045 870125568 32740 4294967295 134512640 134569956 3221224416 3221214768 1131556735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32740 13073 16 0 212417 0
vsize: 849732
[startup+910.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 86223 75 0 0 25 0 11 0 477309045 870125568 32773 4294967295 134512640 134569956 3221224416 3221214768 1131557815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 32773 13073 16 0 212417 0
vsize: 849732
[startup+920.181 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 87200 75 0 0 25 0 11 0 477309045 870125568 32778 4294967295 134512640 134569956 3221224416 3221214768 1131557760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32778 13073 16 0 212417 0
vsize: 849732
[startup+930.183 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 88181 75 0 0 25 0 11 0 477309045 870125568 32781 4294967295 134512640 134569956 3221224416 3221214768 1131556663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32781 13073 16 0 212417 0
vsize: 849732
[startup+940.184 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 89157 76 0 0 25 0 11 0 477309045 870125568 32828 4294967295 134512640 134569956 3221224416 3221214768 1131557815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32828 13073 16 0 212417 0
vsize: 849732
[startup+950.185 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 90145 76 0 0 25 0 11 0 477309045 870125568 32832 4294967295 134512640 134569956 3221224416 3221214664 1131225246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32832 13073 16 0 212417 0
vsize: 849732
[startup+960.185 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 91126 76 0 0 25 0 11 0 477309045 870125568 32833 4294967295 134512640 134569956 3221224416 3221214768 1131556735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32833 13073 16 0 212417 0
vsize: 849732
[startup+970.186 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 92098 77 0 0 24 0 11 0 477309045 870125568 32854 4294967295 134512640 134569956 3221224416 3221214768 1131556507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32854 13073 16 0 212417 0
vsize: 849732
[startup+980.188 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 93081 77 0 0 25 0 11 0 477309045 870125568 32863 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32863 13073 16 0 212417 0
vsize: 849732
[startup+990.189 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 94053 77 0 0 25 0 11 0 477309045 870125568 32866 4294967295 134512640 134569956 3221224416 3221214768 1131557770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32866 13073 16 0 212417 0
vsize: 849732
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 95024 78 0 0 25 0 11 0 477309045 870125568 32901 4294967295 134512640 134569956 3221224416 3221214664 1131224753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32901 13073 16 0 212417 0
vsize: 849732
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 95997 79 0 0 25 0 11 0 477309045 870125568 32921 4294967295 134512640 134569956 3221224416 3221214664 1131225202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32921 13073 16 0 212417 0
vsize: 849732
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 96978 79 0 0 25 0 11 0 477309045 870125568 32976 4294967295 134512640 134569956 3221224416 3221214768 1131556735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32976 13073 16 0 212417 0
vsize: 849732
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 97958 80 0 0 25 0 11 0 477309045 870125568 32985 4294967295 134512640 134569956 3221224416 3221214768 1131556896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32985 13073 16 0 212417 0
vsize: 849732
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 98942 80 0 0 25 0 11 0 477309045 870125568 32986 4294967295 134512640 134569956 3221224416 3221214768 1131556663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32986 13073 16 0 212417 0
vsize: 849732
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 99918 80 0 0 25 0 11 0 477309045 870125568 32989 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32989 13073 16 0 212417 0
vsize: 849732
[startup+1060.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 100884 80 0 0 25 0 11 0 477309045 870125568 32996 4294967295 134512640 134569956 3221224416 3221214664 1131224645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 32996 13073 16 0 212417 0
vsize: 849732
[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 101853 80 0 0 25 0 11 0 477309045 870125568 33027 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33027 13073 16 0 212417 0
vsize: 849732
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 102830 81 0 0 25 0 11 0 477309045 870125568 33029 4294967295 134512640 134569956 3221224416 3221214664 1131225013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33029 13073 16 0 212417 0
vsize: 849732
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 103798 81 0 0 25 0 11 0 477309045 870125568 33090 4294967295 134512640 134569956 3221224416 3221214768 1131556507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33090 13073 16 0 212417 0
vsize: 849732
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 104772 81 0 0 25 0 11 0 477309045 870125568 33130 4294967295 134512640 134569956 3221224416 3221214768 1131557767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33130 13073 16 0 212417 0
vsize: 849732
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 105743 82 0 0 25 0 11 0 477309045 870125568 33134 4294967295 134512640 134569956 3221224416 3221214664 1131225772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33134 13073 16 0 212417 0
vsize: 849732
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 106717 82 0 0 25 0 11 0 477309045 870125568 33209 4294967295 134512640 134569956 3221224416 3221214768 1131556647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33209 13073 16 0 212417 0
vsize: 849732
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 107699 83 0 0 25 0 11 0 477309045 870125568 33230 4294967295 134512640 134569956 3221224416 3221214664 1131224975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33230 13073 16 0 212417 0
vsize: 849732
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 108681 83 0 0 25 0 11 0 477309045 870125568 33232 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33232 13073 16 0 212417 0
vsize: 849732
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 109655 84 0 0 25 0 11 0 477309045 870125568 33232 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33232 13073 16 0 212417 0
vsize: 849732
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 110619 84 0 0 25 0 11 0 477309045 870125568 33235 4294967295 134512640 134569956 3221224416 3221214768 1131559149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33235 13073 16 0 212417 0
vsize: 849732
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 111594 85 0 0 25 0 11 0 477309045 870125568 33253 4294967295 134512640 134569956 3221224416 3221214768 1131556735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33253 13073 16 0 212417 0
vsize: 849732
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 112564 86 0 0 25 0 11 0 477309045 870125568 33262 4294967295 134512640 134569956 3221224416 3221214664 1131224609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33262 13073 16 0 212417 0
vsize: 849732
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 113539 86 0 0 25 0 11 0 477309045 870125568 33365 4294967295 134512640 134569956 3221224416 3221214664 1131225497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33365 13073 16 0 212417 0
vsize: 849732
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 114523 87 0 0 25 0 11 0 477309045 870125568 33368 4294967295 134512640 134569956 3221224416 3221214664 1131225059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33368 13073 16 0 212417 0
vsize: 849732
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 115505 87 0 0 25 0 11 0 477309045 870125568 33380 4294967295 134512640 134569956 3221224416 3221214768 1131557618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33380 13073 16 0 212417 0
vsize: 849732
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 116489 88 0 0 25 0 11 0 477309045 870125568 33397 4294967295 134512640 134569956 3221224416 3221214768 1131556663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212433 33397 13073 16 0 212417 0
vsize: 849732
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 117469 88 0 0 25 0 11 0 477309045 870125568 33408 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33408 13073 16 0 212417 0
vsize: 849732
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 118453 89 0 0 25 0 11 0 477309045 870125568 33409 4294967295 134512640 134569956 3221224416 3221214932 1131524387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33409 13073 16 0 212417 0
vsize: 849732
[startup+1250.22 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 119420 89 0 0 25 0 11 0 477309045 870125568 33419 4294967295 134512640 134569956 3221224416 3221214768 1131556810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33419 13073 16 0 212417 0
vsize: 849732
[startup+1260.22 s]
Raw data (loadavg): 1.00 1.00 0.91 2/63 8713
Raw data (stat): 8700 (java) R 8699 7987 7986 0 -1 0 18111 4 1 0 120391 90 0 0 25 0 11 0 477309045 870125568 33437 4294967295 134512640 134569956 3221224416 3221214768 1131556670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212433 33437 13073 16 0 212417 0
vsize: 849732
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.34 s]
Raw data (loadavg): 1.00 1.00 0.91 1/53 8715
Raw data (stat): 8700 (java) Z 8699 7987 7986 0 -1 1036 18111 24460 1 0 120397 96 7275 66 25 0 1 0 477309045 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): 1260.34
CPU time (s): 1278.35
CPU user time (s): 1276.72
CPU system time (s): 1.63075
CPU usage (%): 101.429
Max. virtual memory (Kb): 851908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####