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/logic-synthesis/normalized-exam.pi.opb
MD5SUM3e917561f3935db250fdeb1759fbe81d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved NO
Number of terms in the objective function 4677
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 4677
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4677
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.06784
Number of variables4676
Total number of constraints509
Number of constraints which are clauses509
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 constraint3
Maximum length of a constraint166

Trace number 4284 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-13 16:09:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=612 boxname=wulflinc4 idbench=68 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3e917561f3935db250fdeb1759fbe81d  /oldhome/oroussel/tmp/wulflinc4/normalized-exam.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-exam.pi.opb
IDLAUNCH: 612
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        935100 kB
Buffers:         32856 kB
Cached:          47248 kB
SwapCached:          0 kB
Active:          42748 kB
Inactive:        40184 kB
HighTotal:      131008 kB
HighFree:        79492 kB
LowTotal:       903652 kB
LowFree:        855608 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            10960 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:29:34 (client local time) WITH STATUS 143 IN  SECONDS
stats: 612 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-exam.pi.opb
c reading problem 
c [nbvar=4677]
c [nbconstr=509]
c time 11.119
c #vars     4677
c #clauses  509
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=156
c Current CPU time (ms) : 12.244
c starts	: 1
c conflicts	: 0
c decisions	: 4521
c propagations	: 4677
c inspects	: 2991
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=155
c Current CPU time (ms) : 33.66
c starts	: 2
c conflicts	: 4
c decisions	: 8997
c propagations	: 9527
c inspects	: 3560
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 2
c 
c CURRENT OPTIMUM=100
c Current CPU time (ms) : 36.743
c starts	: 3
c conflicts	: 4
c decisions	: 13574
c propagations	: 14204
c inspects	: 7719
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 3
c 
c CURRENT OPTIMUM=99
c Current CPU time (ms) : 38.844
c starts	: 4
c conflicts	: 5
c decisions	: 18145
c propagations	: 18906
c inspects	: 8156
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5
c root simplifications	: 4
c 
c CURRENT OPTIMUM=98
c Current CPU time (ms) : 60.64
c starts	: 5
c conflicts	: 15
c decisions	: 22694
c propagations	: 24006
c inspects	: 9943
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 5
c 
c CURRENT OPTIMUM=94
c Current CPU time (ms) : 70.2
c starts	: 6
c conflicts	: 15
c decisions	: 27282
c propagations	: 28683
c inspects	: 12902
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 6
c 
c CURRENT OPTIMUM=93
c Current CPU time (ms) : 73.415
c starts	: 7
c conflicts	: 17
c decisions	: 31854
c propagations	: 33385
c inspects	: 13285
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 7
c 
c CURRENT OPTIMUM=92
c Current CPU time (ms) : 84.232
c starts	: 8
c conflicts	: 17
c decisions	: 36436
c propagations	: 38062
c inspects	: 16177
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 8
c 
c CURRENT OPTIMUM=91
c Current CPU time (ms) : 87.852
c starts	: 9
c conflicts	: 20
c decisions	: 41016
c propagations	: 42773
c inspects	: 16594
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 9
c 
c CURRENT OPTIMUM=90
c Current CPU time (ms) : 120.349
c starts	: 10
c conflicts	: 31
c decisions	: 45599
c propagations	: 47897
c inspects	: 19377
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 31
c root simplifications	: 10
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.94 0.64 2/54 6202
Raw data (stat): 6202 (runsolver) R 6201 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419050282 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0213 s]
Raw data (loadavg): 0.93 0.94 0.64 4/63 6211
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18007 0 1 0 874 46 0 0 25 0 10 0 419050282 861495296 20507 4294967295 134512640 134569956 3221224416 3221214976 1130863359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 20507 13073 16 0 210374 0
vsize: 841304
[startup+20.0225 s]
Raw data (loadavg): 1.25 1.01 0.67 4/64 6213
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18181 4 1 0 1550 48 0 0 25 0 11 0 419050282 876601344 25062 4294967295 134512640 134569956 3221224416 3221214524 1130907170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214014 25062 13073 16 0 213998 0
vsize: 856056
[startup+30.0234 s]
Raw data (loadavg): 1.52 1.08 0.69 3/64 6213
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18182 4 1 0 2357 48 0 0 25 0 11 0 419050282 875905024 25563 4294967295 134512640 134569956 3221224416 3221214784 1131493396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213844 25563 13073 16 0 213828 0
vsize: 855376
[startup+40.0236 s]
Raw data (loadavg): 1.59 1.10 0.71 2/64 6216
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18184 4 1 0 3243 48 0 0 25 0 11 0 419050282 874856448 25703 4294967295 134512640 134569956 3221224416 3221214608 1131260615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 25703 13073 16 0 213572 0
vsize: 854352
[startup+50.0242 s]
Raw data (loadavg): 1.50 1.10 0.71 2/64 6216
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18184 4 1 0 4151 49 0 0 25 0 11 0 419050282 874856448 26030 4294967295 134512640 134569956 3221224416 3221214344 1076461328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 26030 13073 16 0 213572 0
vsize: 854352
[startup+60.0248 s]
Raw data (loadavg): 1.42 1.10 0.71 2/64 6216
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18184 4 1 0 5054 49 0 0 25 0 11 0 419050282 874856448 26588 4294967295 134512640 134569956 3221224416 3221214712 1131576457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 26588 13073 16 0 213572 0
vsize: 854352
[startup+70.026 s]
Raw data (loadavg): 1.36 1.09 0.72 2/64 6217
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18184 4 1 0 5963 49 0 0 25 0 11 0 419050282 874856448 26758 4294967295 134512640 134569956 3221224416 3221214608 1131260185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 26758 13073 16 0 213572 0
vsize: 854352
[startup+80.0263 s]
Raw data (loadavg): 1.30 1.09 0.72 2/64 6219
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 6882 49 0 0 25 0 11 0 419050282 874856448 27070 4294967295 134512640 134569956 3221224416 3221214608 1131260346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 27070 13073 16 0 213572 0
vsize: 854352
[startup+90.0267 s]
Raw data (loadavg): 1.26 1.09 0.72 2/64 6221
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 7796 49 0 0 25 0 11 0 419050282 874856448 27581 4294967295 134512640 134569956 3221224416 3221214704 1131419983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 27581 13073 16 0 213572 0
vsize: 854352
[startup+100.028 s]
Raw data (loadavg): 1.22 1.08 0.72 2/64 6221
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 8711 49 0 0 25 0 11 0 419050282 874856448 27643 4294967295 134512640 134569956 3221224416 3221214608 1131289105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 27643 13073 16 0 213572 0
vsize: 854352
[startup+110.028 s]
Raw data (loadavg): 1.18 1.08 0.73 2/64 6221
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 9618 50 0 0 25 0 11 0 419050282 874856448 28377 4294967295 134512640 134569956 3221224416 3221214544 1131538196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 28377 13073 16 0 213572 0
vsize: 854352
[startup+120.029 s]
Raw data (loadavg): 1.15 1.08 0.73 2/64 6221
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 10535 50 0 0 25 0 11 0 419050282 874856448 28546 4294967295 134512640 134569956 3221224416 3221214608 1131289105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 28546 13073 16 0 213572 0
vsize: 854352
[startup+130.034 s]
Raw data (loadavg): 1.13 1.07 0.73 2/64 6222
Raw data (stat): 6202 (java) S 6201 5897 5896 0 -1 0 18185 4 1 0 11459 50 0 0 25 0 11 0 419050282 874856448 28708 4294967295 134512640 134569956 3221224416 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 28708 13073 16 0 213572 0
vsize: 854352
[startup+140.034 s]
Raw data (loadavg): 1.11 1.07 0.73 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 12383 50 0 0 25 0 11 0 419050282 874856448 28789 4294967295 134512640 134569956 3221224416 3221214616 1131450587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 28789 13073 16 0 213572 0
vsize: 854352
[startup+150.038 s]
Raw data (loadavg): 1.09 1.07 0.74 2/64 6222
Raw data (stat): 6202 (java) S 6201 5897 5896 0 -1 0 18185 4 1 0 13287 50 0 0 25 0 11 0 419050282 874856448 29021 4294967295 134512640 134569956 3221224416 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 29021 13073 16 0 213572 0
vsize: 854352
[startup+160.039 s]
Raw data (loadavg): 1.08 1.07 0.74 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 14202 50 0 0 25 0 11 0 419050282 874856448 29484 4294967295 134512640 134569956 3221224416 3221214544 1131537949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 29484 13073 16 0 213572 0
vsize: 854352
[startup+170.039 s]
Raw data (loadavg): 1.06 1.06 0.74 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 15101 50 0 0 24 0 11 0 419050282 874856448 29771 4294967295 134512640 134569956 3221224416 3221214664 1131493536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 29771 13073 16 0 213572 0
vsize: 854352
[startup+180.039 s]
Raw data (loadavg): 1.05 1.06 0.74 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 15998 50 0 0 25 0 11 0 419050282 874856448 29999 4294967295 134512640 134569956 3221224416 3221214616 1131453870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 29999 13073 16 0 213572 0
vsize: 854352
[startup+190.039 s]
Raw data (loadavg): 1.05 1.06 0.74 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 16887 50 0 0 25 0 11 0 419050282 874856448 30657 4294967295 134512640 134569956 3221224416 3221214568 1131729044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 30657 13073 16 0 213572 0
vsize: 854352
[startup+200.039 s]
Raw data (loadavg): 1.04 1.06 0.75 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 17778 50 0 0 24 0 11 0 419050282 874856448 30750 4294967295 134512640 134569956 3221224416 3221214664 1131495969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 30750 13073 16 0 213572 0
vsize: 854352
[startup+210.039 s]
Raw data (loadavg): 1.03 1.05 0.75 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 18671 50 0 0 25 0 11 0 419050282 874856448 30834 4294967295 134512640 134569956 3221224416 3221214544 1131535911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 30834 13073 16 0 213572 0
vsize: 854352
[startup+220.041 s]
Raw data (loadavg): 1.03 1.05 0.75 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 19577 50 0 0 25 0 11 0 419050282 874856448 31321 4294967295 134512640 134569956 3221224416 3221214664 1131496715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31321 13073 16 0 213572 0
vsize: 854352
[startup+230.042 s]
Raw data (loadavg): 1.02 1.05 0.75 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 20523 50 0 0 25 0 11 0 419050282 874856448 31556 4294967295 134512640 134569956 3221224416 3221214368 1131289105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31556 13073 16 0 213572 0
vsize: 854352
[startup+240.042 s]
Raw data (loadavg): 1.02 1.05 0.75 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 21483 51 0 0 25 0 11 0 419050282 874856448 31556 4294967295 134512640 134569956 3221224416 3221214368 1131288955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31556 13073 16 0 213572 0
vsize: 854352
[startup+250.043 s]
Raw data (loadavg): 1.02 1.05 0.75 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18185 4 1 0 22444 51 0 0 25 0 11 0 419050282 874856448 31710 4294967295 134512640 134569956 3221224416 3221214456 1131867517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31710 13073 16 0 213572 0
vsize: 854352
[startup+260.043 s]
Raw data (loadavg): 1.01 1.04 0.76 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 23427 51 0 0 25 0 11 0 419050282 874856448 31851 4294967295 134512640 134569956 3221224416 3221214368 1131289024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31851 13073 16 0 213572 0
vsize: 854352
[startup+270.044 s]
Raw data (loadavg): 1.01 1.04 0.76 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 24424 51 0 0 25 0 11 0 419050282 874856448 31851 4294967295 134512640 134569956 3221224416 3221214368 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31851 13073 16 0 213572 0
vsize: 854352
[startup+280.045 s]
Raw data (loadavg): 1.09 1.06 0.77 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 25421 51 0 0 25 0 11 0 419050282 874856448 31851 4294967295 134512640 134569956 3221224416 3221214368 1131289246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31851 13073 16 0 213572 0
vsize: 854352
[startup+290.046 s]
Raw data (loadavg): 1.07 1.05 0.77 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 26419 51 0 0 25 0 11 0 419050282 874856448 31851 4294967295 134512640 134569956 3221224416 3221214456 1131869096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31851 13073 16 0 213572 0
vsize: 854352
[startup+300.045 s]
Raw data (loadavg): 1.06 1.05 0.77 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 27417 51 0 0 25 0 11 0 419050282 874856448 31851 4294967295 134512640 134569956 3221224416 3221214368 1131290706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31851 13073 16 0 213572 0
vsize: 854352
[startup+310.046 s]
Raw data (loadavg): 1.05 1.05 0.77 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 28415 51 0 0 25 0 11 0 419050282 874856448 31851 4294967295 134512640 134569956 3221224416 3221214456 1131867419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31851 13073 16 0 213572 0
vsize: 854352
[startup+320.046 s]
Raw data (loadavg): 1.12 1.06 0.78 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 29412 52 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+330.047 s]
Raw data (loadavg): 1.10 1.06 0.78 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 30409 52 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131289308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+340.047 s]
Raw data (loadavg): 1.08 1.06 0.78 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 31406 52 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+350.048 s]
Raw data (loadavg): 1.07 1.06 0.79 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 32403 52 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+360.048 s]
Raw data (loadavg): 1.06 1.05 0.79 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 33402 52 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214544 1131397004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+370.05 s]
Raw data (loadavg): 1.05 1.05 0.79 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 34399 53 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214488 1131878677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+380.05 s]
Raw data (loadavg): 1.04 1.05 0.79 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 35397 53 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+390.05 s]
Raw data (loadavg): 1.03 1.05 0.79 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 36394 53 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131289249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+400.051 s]
Raw data (loadavg): 1.03 1.05 0.80 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 37392 53 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131869077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+410.052 s]
Raw data (loadavg): 1.02 1.04 0.80 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 38389 54 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+420.052 s]
Raw data (loadavg): 1.02 1.04 0.80 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 39388 54 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131867191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+430.054 s]
Raw data (loadavg): 1.02 1.04 0.80 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 40385 55 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214560 1131889586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+440.053 s]
Raw data (loadavg): 1.01 1.04 0.80 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 41383 55 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131867188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+450.054 s]
Raw data (loadavg): 1.01 1.04 0.81 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 42380 55 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+460.055 s]
Raw data (loadavg): 1.01 1.03 0.81 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 43378 55 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131289246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+470.057 s]
Raw data (loadavg): 1.01 1.03 0.81 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 44376 55 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+480.057 s]
Raw data (loadavg): 1.00 1.03 0.81 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 45374 55 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131867188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+490.057 s]
Raw data (loadavg): 1.00 1.03 0.81 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 46372 55 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131868330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+500.057 s]
Raw data (loadavg): 1.00 1.03 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 47369 56 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131288999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+510.057 s]
Raw data (loadavg): 1.00 1.03 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 48367 56 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131867191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+520.058 s]
Raw data (loadavg): 1.00 1.03 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 49364 56 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+530.058 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 50362 57 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+540.059 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 51359 57 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+550.059 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 52357 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131288967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+560.06 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 53355 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+570.061 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 54353 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+580.062 s]
Raw data (loadavg): 1.00 1.02 0.82 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 55351 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214568 1131894852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+590.061 s]
Raw data (loadavg): 1.00 1.02 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 56349 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+600.062 s]
Raw data (loadavg): 1.00 1.02 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 57347 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131289268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+610.063 s]
Raw data (loadavg): 1.00 1.02 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 58346 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+620.063 s]
Raw data (loadavg): 1.00 1.02 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 59344 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214560 1131889665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+630.063 s]
Raw data (loadavg): 1.00 1.02 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 60342 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+640.064 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 61340 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214568 1131894764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+650.064 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 62338 58 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+660.064 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 63336 59 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+670.064 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 64334 59 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131867430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+680.065 s]
Raw data (loadavg): 1.00 1.01 0.83 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 65332 59 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+690.065 s]
Raw data (loadavg): 1.00 1.01 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 66330 59 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+700.066 s]
Raw data (loadavg): 1.00 1.01 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 67327 59 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+710.066 s]
Raw data (loadavg): 1.00 1.01 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 68324 59 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131867196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+720.067 s]
Raw data (loadavg): 1.00 1.01 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 69301 60 0 0 24 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+730.067 s]
Raw data (loadavg): 1.00 1.01 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 70280 60 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214456 1131869713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 71260 60 0 0 25 0 11 0 419050282 874856448 31854 4294967295 134512640 134569956 3221224416 3221214464 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31854 13073 16 0 213572 0
vsize: 854352
[startup+750.068 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 72240 60 0 0 25 0 11 0 419050282 874856448 31873 4294967295 134512640 134569956 3221224416 3221213784 1076877601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31873 13073 16 0 213572 0
vsize: 854352
[startup+760.069 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 73237 60 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131867191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+770.068 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 74235 60 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 75233 60 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 76231 60 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 77229 60 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 78227 60 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131867430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+820.071 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 79224 60 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131868437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+830.071 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 80223 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 81221 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+850.072 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 82219 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131289246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+860.073 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 83217 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214544 1131397030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 84215 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214488 1131878677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+880.074 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 85213 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 86212 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131868295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 87209 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131290706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+910.075 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 88208 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+920.076 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 89206 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+930.076 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 90204 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131289554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 91202 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214488 1131878677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+950.077 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 92200 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131289249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 93198 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 94196 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 95194 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214664 1131496678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 96192 61 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131289105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 97190 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131867517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 98188 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 99186 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131290706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 100184 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 101182 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131868333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 102180 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131289091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 103179 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 104177 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 105175 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 106173 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 107171 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 108170 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 109167 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 110166 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 111163 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214568 1131894775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 112162 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 113160 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131869093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 114158 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 115156 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214560 1131890015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 116154 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214456 1131289415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 117152 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214464 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 118148 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214544 1131538181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 119114 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214616 1131572464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 6222
Raw data (stat): 6202 (java) R 6201 5897 5896 0 -1 0 18186 4 1 0 120062 62 0 0 25 0 11 0 419050282 874856448 31934 4294967295 134512640 134569956 3221224416 3221214744 1131482467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213588 31934 13073 16 0 213572 0
vsize: 854352
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.89 1/54 6224
Raw data (stat): 6202 (java) Z 6201 5897 5896 0 -1 1036 18186 8423 1 1 120065 63 2341 27 25 0 1 0 419050282 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.19
CPU time (s): 1224.99
CPU user time (s): 1224.08
CPU system time (s): 0.909861
CPU usage (%): 99.5773
Max. virtual memory (Kb): 856056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####