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-ii8e1.opb
MD5SUM979ebd144bbd2b562b23479b90a02c66
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 343
Optimality of the best value was proved NO
Number of terms in the objective function 1040
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 1040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1040
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03484
Number of variables1040
Total number of constraints3656
Number of constraints which are clauses3656
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 constraint10

Trace number 4355

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        935416 kB
Buffers:         32580 kB
Cached:          47360 kB
SwapCached:        164 kB
Active:          44644 kB
Inactive:        38348 kB
HighTotal:      131008 kB
HighFree:        79856 kB
LowTotal:       903652 kB
LowFree:        855560 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            10692 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:57:35 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1575 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-ii8e1.opb
c reading problem 
c [nbvar=1040]
c [nbconstr=3656]
c time 3.402
c #vars     1040
c #clauses  3656
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=456
c Current CPU time (ms) : 10.295
c starts	: 1
c conflicts	: 59
c decisions	: 335
c propagations	: 6005
c inspects	: 15073
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 59
c root simplifications	: 1
c 
c CURRENT OPTIMUM=455
c Current CPU time (ms) : 21.287
c starts	: 2
c conflicts	: 99
c decisions	: 751
c propagations	: 8391
c inspects	: 24797
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 99
c root simplifications	: 2
c 
c CURRENT OPTIMUM=366
c Current CPU time (ms) : 25.864
c starts	: 3
c conflicts	: 104
c decisions	: 1175
c propagations	: 9775
c inspects	: 35917
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 104
c root simplifications	: 3
#### 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.85 0.97 0.90 2/54 26176
Raw data (stat): 26176 (runsolver) R 26175 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419229127 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0015 s]
Raw data (loadavg): 1.03 1.00 0.91 3/64 26186
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 17089 0 1 0 642 45 0 0 25 0 11 0 419229127 874528768 21906 4294967295 134512640 134569956 3221224416 3221214720 1131210876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213508 21906 13073 16 0 213492 0
vsize: 854032
[startup+20.002 s]
Raw data (loadavg): 1.10 1.02 0.92 2/64 26187
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18104 3 1 0 1550 47 0 0 25 0 11 0 419229127 866615296 22684 4294967295 134512640 134569956 3221224416 3221214072 1131143744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 22684 13073 16 0 211560 0
vsize: 846304
[startup+30.002 s]
Raw data (loadavg): 1.08 1.02 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18104 3 1 0 2479 48 0 0 25 0 11 0 419229127 866615296 23609 4294967295 134512640 134569956 3221224416 3221214792 1131324970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211576 23609 13073 16 0 211560 0
vsize: 846304
[startup+40.0022 s]
Raw data (loadavg): 1.07 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18104 3 1 0 3413 48 0 0 25 0 11 0 419229127 866615296 23609 4294967295 134512640 134569956 3221224416 3221214552 1131445815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 23609 13073 16 0 211560 0
vsize: 846304
[startup+50.0027 s]
Raw data (loadavg): 1.06 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18105 3 1 0 4338 49 0 0 25 0 11 0 419229127 866615296 23673 4294967295 134512640 134569956 3221224416 3221214584 1131489687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 23673 13073 16 0 211560 0
vsize: 846304
[startup+60.0027 s]
Raw data (loadavg): 1.05 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18105 3 1 0 5283 49 0 0 25 0 11 0 419229127 866615296 24171 4294967295 134512640 134569956 3221224416 3221214496 1131234586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211576 24171 13073 16 0 211560 0
vsize: 846304
[startup+70.0039 s]
Raw data (loadavg): 1.04 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18105 3 1 0 6238 49 0 0 25 0 11 0 419229127 866615296 24234 4294967295 134512640 134569956 3221224416 3221214688 1131658515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24234 13073 16 0 211560 0
vsize: 846304
[startup+80.0045 s]
Raw data (loadavg): 1.03 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 7205 50 0 0 25 0 11 0 419229127 866615296 24268 4294967295 134512640 134569956 3221224416 3221214584 1131489537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24268 13073 16 0 211560 0
vsize: 846304
[startup+90.005 s]
Raw data (loadavg): 1.03 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 8166 50 0 0 25 0 11 0 419229127 866615296 24331 4294967295 134512640 134569956 3221224416 3221214584 1131489152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24331 13073 16 0 211560 0
vsize: 846304
[startup+100.006 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 9125 50 0 0 25 0 11 0 419229127 866615296 24434 4294967295 134512640 134569956 3221224416 3221214688 1131658515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24434 13073 16 0 211560 0
vsize: 846304
[startup+110.007 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 10092 50 0 0 25 0 11 0 419229127 866615296 24542 4294967295 134512640 134569956 3221224416 3221214696 1131210953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24542 13073 16 0 211560 0
vsize: 846304
[startup+120.007 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 11053 50 0 0 25 0 11 0 419229127 866615296 24642 4294967295 134512640 134569956 3221224416 3221214592 1131234793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211576 24642 13073 16 0 211560 0
vsize: 846304
[startup+130.007 s]
Raw data (loadavg): 1.01 1.01 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 12020 51 0 0 25 0 11 0 419229127 866615296 24725 4294967295 134512640 134569956 3221224416 3221214696 1131210953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24725 13073 16 0 211560 0
vsize: 846304
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 12989 51 0 0 25 0 11 0 419229127 866615296 24771 4294967295 134512640 134569956 3221224416 3221214688 1131658645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24771 13073 16 0 211560 0
vsize: 846304
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 13946 51 0 0 25 0 11 0 419229127 866615296 24904 4294967295 134512640 134569956 3221224416 3221214592 1131234793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24904 13073 16 0 211560 0
vsize: 846304
[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 14908 52 0 0 25 0 11 0 419229127 866615296 24930 4294967295 134512640 134569956 3221224416 3221214728 1131389589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 24930 13073 16 0 211560 0
vsize: 846304
[startup+170.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 15861 52 0 0 25 0 11 0 419229127 866615296 25086 4294967295 134512640 134569956 3221224416 3221214696 1131210751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25086 13073 16 0 211560 0
vsize: 846304
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 16823 53 0 0 25 0 11 0 419229127 866615296 25281 4294967295 134512640 134569956 3221224416 3221214728 1131392360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25281 13073 16 0 211560 0
vsize: 846304
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 17796 53 0 0 25 0 11 0 419229127 866615296 25316 4294967295 134512640 134569956 3221224416 3221214584 1131489556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25316 13073 16 0 211560 0
vsize: 846304
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 18764 53 0 0 25 0 11 0 419229127 866615296 25390 4294967295 134512640 134569956 3221224416 3221214696 1131211196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25390 13073 16 0 211560 0
vsize: 846304
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 19739 54 0 0 25 0 11 0 419229127 866615296 25433 4294967295 134512640 134569956 3221224416 3221214696 1131211163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25433 13073 16 0 211560 0
vsize: 846304
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 20705 54 0 0 25 0 11 0 419229127 866615296 25510 4294967295 134512640 134569956 3221224416 3221214728 1131390943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25510 13073 16 0 211560 0
vsize: 846304
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 21674 55 0 0 25 0 11 0 419229127 866615296 25605 4294967295 134512640 134569956 3221224416 3221214680 1131208007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25605 13073 16 0 211560 0
vsize: 846304
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 22649 55 0 0 25 0 11 0 419229127 866615296 25674 4294967295 134512640 134569956 3221224416 3221214728 1131389380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25674 13073 16 0 211560 0
vsize: 846304
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 23624 56 0 0 25 0 11 0 419229127 866615296 25712 4294967295 134512640 134569956 3221224416 3221214628 1131426971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25712 13073 16 0 211560 0
vsize: 846304
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 24601 56 0 0 25 0 11 0 419229127 866615296 25758 4294967295 134512640 134569956 3221224416 3221214592 1131234750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25758 13073 16 0 211560 0
vsize: 846304
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 25577 57 0 0 25 0 11 0 419229127 866615296 25803 4294967295 134512640 134569956 3221224416 3221214688 1131658508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25803 13073 16 0 211560 0
vsize: 846304
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 26553 57 0 0 25 0 11 0 419229127 866615296 25860 4294967295 134512640 134569956 3221224416 3221214792 1131328547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25860 13073 16 0 211560 0
vsize: 846304
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 27528 58 0 0 25 0 11 0 419229127 866615296 25900 4294967295 134512640 134569956 3221224416 3221214632 1131346799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25900 13073 16 0 211560 0
vsize: 846304
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 28493 58 0 0 25 0 11 0 419229127 866615296 25944 4294967295 134512640 134569956 3221224416 3221214632 1131347200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 25944 13073 16 0 211560 0
vsize: 846304
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 29458 58 0 0 25 0 11 0 419229127 866615296 26014 4294967295 134512640 134569956 3221224416 3221214592 1131234748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26014 13073 16 0 211560 0
vsize: 846304
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 30429 59 0 0 25 0 11 0 419229127 866615296 26076 4294967295 134512640 134569956 3221224416 3221214744 1131235396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26076 13073 16 0 211560 0
vsize: 846304
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 31400 60 0 0 25 0 11 0 419229127 866615296 26170 4294967295 134512640 134569956 3221224416 3221214688 1131656803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26170 13073 16 0 211560 0
vsize: 846304
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 32378 60 0 0 25 0 11 0 419229127 866615296 26232 4294967295 134512640 134569956 3221224416 3221214584 1131489231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26232 13073 16 0 211560 0
vsize: 846304
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 33350 60 0 0 25 0 11 0 419229127 866615296 26253 4294967295 134512640 134569956 3221224416 3221214592 1131234656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26253 13073 16 0 211560 0
vsize: 846304
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 34323 60 0 0 25 0 11 0 419229127 866615296 26316 4294967295 134512640 134569956 3221224416 3221214592 1131234793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26316 13073 16 0 211560 0
vsize: 846304
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 35302 61 0 0 25 0 11 0 419229127 866615296 26379 4294967295 134512640 134569956 3221224416 3221214792 1131324930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26379 13073 16 0 211560 0
vsize: 846304
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 36285 61 0 0 25 0 11 0 419229127 866615296 26467 4294967295 134512640 134569956 3221224416 3221214592 1131234678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26467 13073 16 0 211560 0
vsize: 846304
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 37272 62 0 0 25 0 11 0 419229127 866615296 26481 4294967295 134512640 134569956 3221224416 3221214696 1131211013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26481 13073 16 0 211560 0
vsize: 846304
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 38256 63 0 0 25 0 11 0 419229127 866615296 26509 4294967295 134512640 134569956 3221224416 3221214592 1131234930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26509 13073 16 0 211560 0
vsize: 846304
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 39237 63 0 0 25 0 11 0 419229127 866615296 26546 4294967295 134512640 134569956 3221224416 3221214584 1131489556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26546 13073 16 0 211560 0
vsize: 846304
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 40219 63 0 0 25 0 11 0 419229127 866615296 26574 4294967295 134512640 134569956 3221224416 3221214592 1131234905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211576 26574 13073 16 0 211560 0
vsize: 846304
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 41195 64 0 0 24 0 11 0 419229127 866615296 26605 4294967295 134512640 134569956 3221224416 3221214592 1131235178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26605 13073 16 0 211560 0
vsize: 846304
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 42171 64 0 0 25 0 11 0 419229127 866615296 26638 4294967295 134512640 134569956 3221224416 3221214584 1131489669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26638 13073 16 0 211560 0
vsize: 846304
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 43149 65 0 0 25 0 11 0 419229127 866615296 26722 4294967295 134512640 134569956 3221224416 3221214592 1131234948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26722 13073 16 0 211560 0
vsize: 846304
[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 44136 65 0 0 25 0 11 0 419229127 866615296 26773 4294967295 134512640 134569956 3221224416 3221214576 1131361936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26773 13073 16 0 211560 0
vsize: 846304
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 45122 65 0 0 24 0 11 0 419229127 866615296 26801 4294967295 134512640 134569956 3221224416 3221214592 1131234457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26801 13073 16 0 211560 0
vsize: 846304
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 46109 66 0 0 24 0 11 0 419229127 866615296 26801 4294967295 134512640 134569956 3221224416 3221214576 1131361771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26801 13073 16 0 211560 0
vsize: 846304
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 47094 66 0 0 25 0 11 0 419229127 866615296 26836 4294967295 134512640 134569956 3221224416 3221214592 1131235412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26836 13073 16 0 211560 0
vsize: 846304
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 48079 67 0 0 25 0 11 0 419229127 866615296 26869 4294967295 134512640 134569956 3221224416 3221214632 1131346817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26869 13073 16 0 211560 0
vsize: 846304
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 49064 67 0 0 25 0 11 0 419229127 866615296 26897 4294967295 134512640 134569956 3221224416 3221214568 1131499785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26897 13073 16 0 211560 0
vsize: 846304
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 50052 67 0 0 25 0 11 0 419229127 866615296 26938 4294967295 134512640 134569956 3221224416 3221214352 1080217189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26938 13073 16 0 211560 0
vsize: 846304
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 51037 68 0 0 25 0 11 0 419229127 866615296 26938 4294967295 134512640 134569956 3221224416 3221214804 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 26938 13073 16 0 211560 0
vsize: 846304
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 52025 68 0 0 25 0 11 0 419229127 866615296 27012 4294967295 134512640 134569956 3221224416 3221214592 1131234708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27012 13073 16 0 211560 0
vsize: 846304
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 53015 68 0 0 25 0 11 0 419229127 866615296 27012 4294967295 134512640 134569956 3221224416 3221214592 1131234913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27012 13073 16 0 211560 0
vsize: 846304
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 54000 69 0 0 25 0 11 0 419229127 866615296 27065 4294967295 134512640 134569956 3221224416 3221214592 1131234748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27065 13073 16 0 211560 0
vsize: 846304
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 54988 69 0 0 25 0 11 0 419229127 866615296 27065 4294967295 134512640 134569956 3221224416 3221214440 1131667587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27065 13073 16 0 211560 0
vsize: 846304
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 55974 69 0 0 25 0 11 0 419229127 866615296 27065 4294967295 134512640 134569956 3221224416 3221214536 1131448112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27065 13073 16 0 211560 0
vsize: 846304
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 56959 70 0 0 25 0 11 0 419229127 866615296 27119 4294967295 134512640 134569956 3221224416 3221214344 1080217338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27119 13073 16 0 211560 0
vsize: 846304
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 57949 70 0 0 25 0 11 0 419229127 866615296 27163 4294967295 134512640 134569956 3221224416 3221214664 1131443062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27163 13073 16 0 211560 0
vsize: 846304
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 58936 71 0 0 25 0 11 0 419229127 866615296 27163 4294967295 134512640 134569956 3221224416 3221214688 1131658558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27163 13073 16 0 211560 0
vsize: 846304
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 59925 71 0 0 25 0 11 0 419229127 866615296 27214 4294967295 134512640 134569956 3221224416 3221214584 1131489198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27214 13073 16 0 211560 0
vsize: 846304
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 60919 71 0 0 25 0 11 0 419229127 866615296 27214 4294967295 134512640 134569956 3221224416 3221214592 1131234982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27214 13073 16 0 211560 0
vsize: 846304
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 61912 71 0 0 25 0 11 0 419229127 866615296 27214 4294967295 134512640 134569956 3221224416 3221214584 1131490187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27214 13073 16 0 211560 0
vsize: 846304
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 62904 72 0 0 25 0 11 0 419229127 866615296 27269 4294967295 134512640 134569956 3221224416 3221214512 1131430149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27269 13073 16 0 211560 0
vsize: 846304
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 63897 72 0 0 25 0 11 0 419229127 866615296 27269 4294967295 134512640 134569956 3221224416 3221214620 1080203733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27269 13073 16 0 211560 0
vsize: 846304
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 64889 73 0 0 25 0 11 0 419229127 866615296 27269 4294967295 134512640 134569956 3221224416 3221214512 1131429567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27269 13073 16 0 211560 0
vsize: 846304
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 65879 73 0 0 25 0 11 0 419229127 866615296 27296 4294967295 134512640 134569956 3221224416 3221214512 1131430310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27296 13073 16 0 211560 0
vsize: 846304
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 66867 73 0 0 25 0 11 0 419229127 866615296 27296 4294967295 134512640 134569956 3221224416 3221214652 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27296 13073 16 0 211560 0
vsize: 846304
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 67852 73 0 0 25 0 11 0 419229127 866615296 27301 4294967295 134512640 134569956 3221224416 3221214512 1131427195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27301 13073 16 0 211560 0
vsize: 846304
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 68836 74 0 0 25 0 11 0 419229127 866615296 27301 4294967295 134512640 134569956 3221224416 3221214592 1131234586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27301 13073 16 0 211560 0
vsize: 846304
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 69823 74 0 0 24 0 11 0 419229127 866615296 27371 4294967295 134512640 134569956 3221224416 3221214592 1131234890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27371 13073 16 0 211560 0
vsize: 846304
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 70816 75 0 0 25 0 11 0 419229127 866615296 27412 4294967295 134512640 134569956 3221224416 3221214592 1131234861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27412 13073 16 0 211560 0
vsize: 846304
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 71810 75 0 0 25 0 11 0 419229127 866615296 27450 4294967295 134512640 134569956 3221224416 3221214592 1131234934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27450 13073 16 0 211560 0
vsize: 846304
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 72807 75 0 0 25 0 11 0 419229127 866615296 27451 4294967295 134512640 134569956 3221224416 3221214812 1080204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27451 13073 16 0 211560 0
vsize: 846304
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 73795 76 0 0 25 0 11 0 419229127 866615296 27451 4294967295 134512640 134569956 3221224416 3221214344 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27451 13073 16 0 211560 0
vsize: 846304
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 74782 76 0 0 25 0 11 0 419229127 866615296 27451 4294967295 134512640 134569956 3221224416 3221214508 1131671052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27451 13073 16 0 211560 0
vsize: 846304
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 75770 77 0 0 25 0 11 0 419229127 866615296 27494 4294967295 134512640 134569956 3221224416 3221214464 1131674640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27494 13073 16 0 211560 0
vsize: 846304
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 76760 77 0 0 25 0 11 0 419229127 866615296 27495 4294967295 134512640 134569956 3221224416 3221214592 1131234913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27495 13073 16 0 211560 0
vsize: 846304
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 77753 78 0 0 25 0 11 0 419229127 866615296 27501 4294967295 134512640 134569956 3221224416 3221214688 1131658515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27501 13073 16 0 211560 0
vsize: 846304
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 78747 78 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214304 1080217246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27554 13073 16 0 211560 0
vsize: 846304
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 79735 78 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214432 1131667568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27554 13073 16 0 211560 0
vsize: 846304
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 80721 79 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214424 1131676660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27554 13073 16 0 211560 0
vsize: 846304
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 81708 79 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214712 1131448181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27554 13073 16 0 211560 0
vsize: 846304
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 82694 79 0 0 25 0 11 0 419229127 866615296 27554 4294967295 134512640 134569956 3221224416 3221214432 1131676486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27554 13073 16 0 211560 0
vsize: 846304
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 83679 79 0 0 25 0 11 0 419229127 866615296 27622 4294967295 134512640 134569956 3221224416 3221214632 1131349523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27622 13073 16 0 211560 0
vsize: 846304
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 84668 79 0 0 25 0 11 0 419229127 866615296 27725 4294967295 134512640 134569956 3221224416 3221214592 1131234890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27725 13073 16 0 211560 0
vsize: 846304
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 85661 80 0 0 25 0 11 0 419229127 866615296 27728 4294967295 134512640 134569956 3221224416 3221214128 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27728 13073 16 0 211560 0
vsize: 846304
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 86647 80 0 0 25 0 11 0 419229127 866615296 27976 4294967295 134512640 134569956 3221224416 3221214432 1131676339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 27976 13073 16 0 211560 0
vsize: 846304
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 87639 80 0 0 25 0 11 0 419229127 866615296 28000 4294967295 134512640 134569956 3221224416 3221214512 1131428246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211576 28000 13073 16 0 211560 0
vsize: 846304
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 88629 80 0 0 25 0 11 0 419229127 866615296 28002 4294967295 134512640 134569956 3221224416 3221214432 1131675909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28002 13073 16 0 211560 0
vsize: 846304
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 89621 81 0 0 25 0 11 0 419229127 866615296 28002 4294967295 134512640 134569956 3221224416 3221214652 1080203721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28002 13073 16 0 211560 0
vsize: 846304
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 90613 81 0 0 25 0 11 0 419229127 866615296 28002 4294967295 134512640 134569956 3221224416 3221214552 1131447637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28002 13073 16 0 211560 0
vsize: 846304
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 91604 82 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214272 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28112 13073 16 0 211560 0
vsize: 846304
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 92601 82 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214432 1131676456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28112 13073 16 0 211560 0
vsize: 846304
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 93596 83 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214512 1131428246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28112 13073 16 0 211560 0
vsize: 846304
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 94587 83 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214632 1131349523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28112 13073 16 0 211560 0
vsize: 846304
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 95579 84 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214804 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28112 13073 16 0 211560 0
vsize: 846304
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 96571 84 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214432 1131676430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28112 13073 16 0 211560 0
vsize: 846304
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 97562 84 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214432 1131676545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28112 13073 16 0 211560 0
vsize: 846304
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 98555 85 0 0 25 0 11 0 419229127 866615296 28112 4294967295 134512640 134569956 3221224416 3221214792 1131324955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28112 13073 16 0 211560 0
vsize: 846304
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 99543 85 0 0 25 0 11 0 419229127 866615296 28119 4294967295 134512640 134569956 3221224416 3221214344 1080217199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28119 13073 16 0 211560 0
vsize: 846304
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 100532 86 0 0 25 0 11 0 419229127 866615296 28168 4294967295 134512640 134569956 3221224416 3221214612 1079721530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28168 13073 16 0 211560 0
vsize: 846304
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 101520 86 0 0 24 0 11 0 419229127 866615296 28168 4294967295 134512640 134569956 3221224416 3221214512 1131427524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28168 13073 16 0 211560 0
vsize: 846304
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 102507 86 0 0 25 0 11 0 419229127 866615296 28168 4294967295 134512640 134569956 3221224416 3221214512 1131429068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28168 13073 16 0 211560 0
vsize: 846304
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 103495 86 0 0 25 0 11 0 419229127 866615296 28221 4294967295 134512640 134569956 3221224416 3221214504 1079721521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28221 13073 16 0 211560 0
vsize: 846304
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 104487 87 0 0 25 0 11 0 419229127 866615296 28263 4294967295 134512640 134569956 3221224416 3221214632 1131346906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28263 13073 16 0 211560 0
vsize: 846304
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 105475 87 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214396 1080217188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28316 13073 16 0 211560 0
vsize: 846304
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 106464 88 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214344 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28316 13073 16 0 211560 0
vsize: 846304
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 107451 88 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214464 1131674593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28316 13073 16 0 211560 0
vsize: 846304
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 108439 89 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214480 1131681036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28316 13073 16 0 211560 0
vsize: 846304
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 109426 89 0 0 25 0 11 0 419229127 866615296 28316 4294967295 134512640 134569956 3221224416 3221214512 1131429396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28316 13073 16 0 211560 0
vsize: 846304
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 110414 89 0 0 25 0 11 0 419229127 866615296 28398 4294967295 134512640 134569956 3221224416 3221214436 1131672883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28398 13073 16 0 211560 0
vsize: 846304
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 111408 90 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214652 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28466 13073 16 0 211560 0
vsize: 846304
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 112404 90 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214508 1131674528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28466 13073 16 0 211560 0
vsize: 846304
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 113399 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214304 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28466 13073 16 0 211560 0
vsize: 846304
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 114393 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214512 1131430344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28466 13073 16 0 211560 0
vsize: 846304
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 115387 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214432 1131676351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28466 13073 16 0 211560 0
vsize: 846304
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 116377 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214552 1131448246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28466 13073 16 0 211560 0
vsize: 846304
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 117364 91 0 0 25 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214876 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28466 13073 16 0 211560 0
vsize: 846304
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 118346 91 0 0 24 0 11 0 419229127 866615296 28466 4294967295 134512640 134569956 3221224416 3221214344 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28466 13073 16 0 211560 0
vsize: 846304
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 119327 92 0 0 25 0 11 0 419229127 866615296 28547 4294967295 134512640 134569956 3221224416 3221214432 1131676456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28547 13073 16 0 211560 0
vsize: 846304
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26189
Raw data (stat): 26176 (java) R 26175 25347 25346 0 -1 0 18106 3 1 0 120310 93 0 0 25 0 11 0 419229127 866615296 28548 4294967295 134512640 134569956 3221224416 3221214464 1079721543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211576 28548 13073 16 0 211560 0
vsize: 846304
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 26191
Raw data (stat): 26176 (java) Z 26175 25347 25346 0 -1 1036 18106 19143 1 0 120312 98 3608 60 25 0 1 0 419229127 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): 1230.13
CPU time (s): 1240.81
CPU user time (s): 1239.21
CPU system time (s): 1.59576
CPU usage (%): 100.868
Max. virtual memory (Kb): 854032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####