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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUMbaa7b619e2dc55a18c674a719d78c00c
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
Optimality of the best value was proved NO
Number of terms in the objective function 1272
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 1272
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 1272
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 benchmark1175.12
Number of variables1272
Total number of constraints94127
Number of constraints which are clauses94127
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 constraint2

Trace number 4505

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        911480 kB
Buffers:         33708 kB
Cached:          53192 kB
SwapCached:          4 kB
Active:          46964 kB
Inactive:        42756 kB
HighTotal:      131008 kB
HighFree:        74312 kB
LowTotal:       903652 kB
LowFree:        837168 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            27924 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:20:38 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3069 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-frb53-24-3.opb
c reading problem 
c [nbvar=1272]
c [nbconstr=94127]
c time 13.375
c #vars     1272
c #clauses  94127
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=0
c Current CPU time (ms) : 13.848
c starts	: 1
c conflicts	: 0
c decisions	: 1272
c propagations	: 1272
c inspects	: 0
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=-1
c Current CPU time (ms) : 14.052
c starts	: 2
c conflicts	: 0
c decisions	: 2543
c propagations	: 2544
c inspects	: 142
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 19.708
c starts	: 3
c conflicts	: 23
c decisions	: 3814
c propagations	: 4115
c inspects	: 3494
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-38
c Current CPU time (ms) : 19.94
c starts	: 4
c conflicts	: 23
c decisions	: 3852
c propagations	: 5387
c inspects	: 8914
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-39
c Current CPU time (ms) : 21.712
c starts	: 5
c conflicts	: 31
c decisions	: 3903
c propagations	: 6707
c inspects	: 16812
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 31
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-40
c Current CPU time (ms) : 577.995
c starts	: 10
c conflicts	: 881
c decisions	: 5080
c propagations	: 19030
c inspects	: 595763
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 881
c root simplifications	: 10
c 
c CURRENT OPTIMUM=-41
c Current CPU time (ms) : 853.056
c starts	: 13
c conflicts	: 1131
c decisions	: 5461
c propagations	: 24482
c inspects	: 970146
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1131
c root simplifications	: 13
c 
c CURRENT OPTIMUM=-42
c Current CPU time (ms) : 880.095
c starts	: 14
c conflicts	: 1170
c decisions	: 5567
c propagations	: 26064
c inspects	: 1004759
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1170
c root simplifications	: 14
#### 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.93 0.99 0.99 2/54 11496
Raw data (stat): 11496 (runsolver) R 11495 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477936348 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99995 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 11505
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 17995 0 1 0 841 46 0 0 25 0 10 0 477936348 853929984 21501 4294967295 134512640 134569956 3221224416 3221213536 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 21501 13073 16 0 208463 0
vsize: 833916
[startup+20.0017 s]
Raw data (loadavg): 1.22 1.06 1.01 2/64 11508
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18064 3 1 0 1478 48 0 0 25 0 11 0 477936348 860889088 33502 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210178 33502 13073 16 0 210162 0
vsize: 840712
[startup+30.0027 s]
Raw data (loadavg): 1.18 1.06 1.01 2/64 11511
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 2361 48 0 0 25 0 11 0 477936348 860266496 33532 4294967295 134512640 134569956 3221224416 3221214760 1131422393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 33532 13073 16 0 210010 0
vsize: 840104
[startup+40.003 s]
Raw data (loadavg): 1.16 1.05 1.01 2/64 11511
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 3254 48 0 0 25 0 11 0 477936348 860266496 34212 4294967295 134512640 134569956 3221224416 3221214688 1131205506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 34212 13073 16 0 210010 0
vsize: 840104
[startup+50.0027 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 11511
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 4141 49 0 0 25 0 11 0 477936348 860266496 34712 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 34712 13073 16 0 210010 0
vsize: 840104
[startup+60.0038 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 11511
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 5020 49 0 0 25 0 11 0 477936348 860266496 35094 4294967295 134512640 134569956 3221224416 3221214828 1131332946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 35094 13073 16 0 210010 0
vsize: 840104
[startup+70.0041 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 11511
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 5892 49 0 0 25 0 11 0 477936348 860266496 35743 4294967295 134512640 134569956 3221224416 3221214784 1131354501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 35743 13073 16 0 210010 0
vsize: 840104
[startup+80.0048 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 11511
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 6774 49 0 0 24 0 11 0 477936348 860266496 36357 4294967295 134512640 134569956 3221224416 3221214688 1131205473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 36357 13073 16 0 210010 0
vsize: 840104
[startup+90.007 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 11511
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18067 3 1 0 7669 49 0 0 25 0 11 0 477936348 860266496 36798 4294967295 134512640 134569956 3221224416 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 36798 13073 16 0 210010 0
vsize: 840104
[startup+100.007 s]
Raw data (loadavg): 1.14 1.06 1.01 3/67 11546
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 8556 50 0 0 25 0 11 0 477936348 860266496 37359 4294967295 134512640 134569956 3221224416 3221214648 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 37359 13073 16 0 210010 0
vsize: 840104
[startup+110.007 s]
Raw data (loadavg): 1.11 1.06 1.01 2/64 11564
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 9445 53 0 0 25 0 11 0 477936348 860266496 37612 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 37612 13073 16 0 210010 0
vsize: 840104
[startup+120.007 s]
Raw data (loadavg): 1.10 1.06 1.01 2/64 11564
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 10313 53 0 0 24 0 11 0 477936348 860266496 38141 4294967295 134512640 134569956 3221224416 3221214784 1131354508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 38141 13073 16 0 210010 0
vsize: 840104
[startup+130.008 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 11564
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 11173 54 0 0 25 0 11 0 477936348 860266496 38252 4294967295 134512640 134569956 3221224416 3221214736 1131206069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 38252 13073 16 0 210010 0
vsize: 840104
[startup+140.008 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 11564
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 12049 54 0 0 25 0 11 0 477936348 860266496 38672 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 38672 13073 16 0 210010 0
vsize: 840104
[startup+150.008 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 11564
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 12919 55 0 0 24 0 11 0 477936348 860266496 39098 4294967295 134512640 134569956 3221224416 3221214688 1131204893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 39098 13073 16 0 210010 0
vsize: 840104
[startup+160.009 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 11564
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 13812 55 0 0 25 0 11 0 477936348 860266496 39386 4294967295 134512640 134569956 3221224416 3221214760 1131424111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 39386 13073 16 0 210010 0
vsize: 840104
[startup+170.009 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18067 3 1 0 14703 55 0 0 25 0 11 0 477936348 860266496 39807 4294967295 134512640 134569956 3221224416 3221214600 1131516501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 39807 13073 16 0 210010 0
vsize: 840104
[startup+180.01 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 15598 56 0 0 25 0 11 0 477936348 860266496 39976 4294967295 134512640 134569956 3221224416 3221214688 1131205691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 39976 13073 16 0 210010 0
vsize: 840104
[startup+190.011 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 16480 56 0 0 25 0 11 0 477936348 860266496 40220 4294967295 134512640 134569956 3221224416 3221214832 1131393661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 40220 13073 16 0 210010 0
vsize: 840104
[startup+200.01 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 17374 56 0 0 25 0 11 0 477936348 860266496 40526 4294967295 134512640 134569956 3221224416 3221214832 1131392511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 40526 13073 16 0 210010 0
vsize: 840104
[startup+210.011 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 18266 56 0 0 25 0 11 0 477936348 860266496 40812 4294967295 134512640 134569956 3221224416 3221214704 1131653143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 40812 13073 16 0 210010 0
vsize: 840104
[startup+220.012 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 19158 56 0 0 25 0 11 0 477936348 860266496 41158 4294967295 134512640 134569956 3221224416 3221214704 1131653143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 41158 13073 16 0 210010 0
vsize: 840104
[startup+230.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 20049 57 0 0 25 0 11 0 477936348 860266496 41474 4294967295 134512640 134569956 3221224416 3221214584 1131376201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 41474 13073 16 0 210010 0
vsize: 840104
[startup+240.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11566
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 20947 57 0 0 25 0 11 0 477936348 860266496 41757 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 41757 13073 16 0 210010 0
vsize: 840104
[startup+250.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 21846 57 0 0 25 0 11 0 477936348 860266496 41983 4294967295 134512640 134569956 3221224416 3221214776 1131338721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 41983 13073 16 0 210010 0
vsize: 840104
[startup+260.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 22741 57 0 0 25 0 11 0 477936348 860266496 42230 4294967295 134512640 134569956 3221224416 3221214780 1131283667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 42230 13073 16 0 210010 0
vsize: 840104
[startup+270.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 23601 58 0 0 25 0 11 0 477936348 860266496 42611 4294967295 134512640 134569956 3221224416 3221214688 1131205480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 42611 13073 16 0 210010 0
vsize: 840104
[startup+280.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 24479 58 0 0 25 0 11 0 477936348 860266496 42836 4294967295 134512640 134569956 3221224416 3221214704 1131592327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 42836 13073 16 0 210010 0
vsize: 840104
[startup+290.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 25351 59 0 0 25 0 11 0 477936348 860266496 43097 4294967295 134512640 134569956 3221224416 3221214688 1131205140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 43097 13073 16 0 210010 0
vsize: 840104
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 26233 59 0 0 25 0 11 0 477936348 860266496 43375 4294967295 134512640 134569956 3221224416 3221214680 1131246017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 43375 13073 16 0 210010 0
vsize: 840104
[startup+310.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 27110 59 0 0 24 0 11 0 477936348 860266496 43685 4294967295 134512640 134569956 3221224416 3221214760 1131423932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 43685 13073 16 0 210010 0
vsize: 840104
[startup+320.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 28001 60 0 0 25 0 11 0 477936348 860266496 44010 4294967295 134512640 134569956 3221224416 3221214784 1131223394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 44010 13073 16 0 210010 0
vsize: 840104
[startup+330.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 28883 60 0 0 25 0 11 0 477936348 860266496 44215 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 44215 13073 16 0 210010 0
vsize: 840104
[startup+340.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 29778 60 0 0 25 0 11 0 477936348 860266496 44497 4294967295 134512640 134569956 3221224416 3221214744 1131442572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 44497 13073 16 0 210010 0
vsize: 840104
[startup+350.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 30676 61 0 0 25 0 11 0 477936348 860266496 44768 4294967295 134512640 134569956 3221224416 3221214688 1131204931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 44768 13073 16 0 210010 0
vsize: 840104
[startup+360.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 31570 61 0 0 25 0 11 0 477936348 860266496 45072 4294967295 134512640 134569956 3221224416 3221214824 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 45072 13073 16 0 210010 0
vsize: 840104
[startup+370.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 32474 61 0 0 25 0 11 0 477936348 860266496 45378 4294967295 134512640 134569956 3221224416 3221214832 1131392807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 45378 13073 16 0 210010 0
vsize: 840104
[startup+380.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 33368 61 0 0 25 0 11 0 477936348 860266496 45519 4294967295 134512640 134569956 3221224416 3221214832 1131394068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 45519 13073 16 0 210010 0
vsize: 840104
[startup+390.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 34262 62 0 0 25 0 11 0 477936348 860266496 45811 4294967295 134512640 134569956 3221224416 3221214784 1131355346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 45811 13073 16 0 210010 0
vsize: 840104
[startup+400.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 35162 62 0 0 25 0 11 0 477936348 860266496 46113 4294967295 134512640 134569956 3221224416 3221214784 1131354382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 46113 13073 16 0 210010 0
vsize: 840104
[startup+410.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11566
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 36062 63 0 0 24 0 11 0 477936348 860266496 46345 4294967295 134512640 134569956 3221224416 3221214688 1131205166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 46345 13073 16 0 210010 0
vsize: 840104
[startup+420.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 36972 63 0 0 25 0 11 0 477936348 860266496 46520 4294967295 134512640 134569956 3221224416 3221214688 1131205593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 46520 13073 16 0 210010 0
vsize: 840104
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 37886 64 0 0 22 0 11 0 477936348 860266496 46737 4294967295 134512640 134569956 3221224416 3221214688 1131205706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 46737 13073 16 0 210010 0
vsize: 840104
[startup+440.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 38803 64 0 0 25 0 11 0 477936348 860266496 47001 4294967295 134512640 134569956 3221224416 3221214784 1131354448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 47001 13073 16 0 210010 0
vsize: 840104
[startup+450.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 39726 64 0 0 25 0 11 0 477936348 860266496 47191 4294967295 134512640 134569956 3221224416 3221214688 1131204944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 47191 13073 16 0 210010 0
vsize: 840104
[startup+460.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 40644 64 0 0 25 0 11 0 477936348 860266496 47416 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 47416 13073 16 0 210010 0
vsize: 840104
[startup+470.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 41571 65 0 0 17 0 11 0 477936348 860266496 47593 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 47593 13073 16 0 210010 0
vsize: 840104
[startup+480.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 42499 65 0 0 25 0 11 0 477936348 860266496 47751 4294967295 134512640 134569956 3221224416 3221214600 1131516501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 47751 13073 16 0 210010 0
vsize: 840104
[startup+490.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 43432 65 0 0 25 0 11 0 477936348 860266496 47922 4294967295 134512640 134569956 3221224416 3221214728 1131246112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 47922 13073 16 0 210010 0
vsize: 840104
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 44358 65 0 0 25 0 11 0 477936348 860266496 48100 4294967295 134512640 134569956 3221224416 3221214648 1131238175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 48100 13073 16 0 210010 0
vsize: 840104
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 45285 66 0 0 25 0 11 0 477936348 860266496 48291 4294967295 134512640 134569956 3221224416 3221214688 1131205533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 48291 13073 16 0 210010 0
vsize: 840104
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 46220 66 0 0 25 0 11 0 477936348 860266496 48425 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 48425 13073 16 0 210010 0
vsize: 840104
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 47136 66 0 0 25 0 11 0 477936348 860266496 48613 4294967295 134512640 134569956 3221224416 3221214784 1131354390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 48613 13073 16 0 210010 0
vsize: 840104
[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 48054 66 0 0 25 0 11 0 477936348 860266496 48739 4294967295 134512640 134569956 3221224416 3221214784 1131354423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 48739 13073 16 0 210010 0
vsize: 840104
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 48934 66 0 0 25 0 11 0 477936348 860266496 48923 4294967295 134512640 134569956 3221224416 3221214688 1131205613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 48923 13073 16 0 210010 0
vsize: 840104
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11568
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 49833 67 0 0 25 0 11 0 477936348 860266496 49235 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 49235 13073 16 0 210010 0
vsize: 840104
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11568
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 50739 67 0 0 25 0 11 0 477936348 860266496 49519 4294967295 134512640 134569956 3221224416 3221214688 1131205685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 49519 13073 16 0 210010 0
vsize: 840104
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 51638 67 0 0 25 0 11 0 477936348 860266496 49559 4294967295 134512640 134569956 3221224416 3221214688 1131206156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 49559 13073 16 0 210010 0
vsize: 840104
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 52503 68 0 0 25 0 11 0 477936348 860266496 49574 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 49574 13073 16 0 210010 0
vsize: 840104
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 53368 68 0 0 25 0 11 0 477936348 860266496 49934 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 49934 13073 16 0 210010 0
vsize: 840104
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 54268 68 0 0 25 0 11 0 477936348 860266496 50382 4294967295 134512640 134569956 3221224416 3221214688 1131206011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 50382 13073 16 0 210010 0
vsize: 840104
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 55189 68 0 0 25 0 11 0 477936348 860266496 50416 4294967295 134512640 134569956 3221224416 3221214784 1131354515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 50416 13073 16 0 210010 0
vsize: 840104
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 56069 68 0 0 24 0 11 0 477936348 860266496 50682 4294967295 134512640 134569956 3221224416 3221214688 1131205541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 50682 13073 16 0 210010 0
vsize: 840104
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 56964 69 0 0 25 0 11 0 477936348 860266496 50901 4294967295 134512640 134569956 3221224416 3221214640 1131245982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 50901 13073 16 0 210010 0
vsize: 840104
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 57845 69 0 0 25 0 11 0 477936348 860266496 51190 4294967295 134512640 134569956 3221224416 3221214724 1131373452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 51190 13073 16 0 210010 0
vsize: 840104
[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 58726 69 0 0 25 0 11 0 477936348 860266496 51416 4294967295 134512640 134569956 3221224416 3221214784 1131354548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 51416 13073 16 0 210010 0
vsize: 840104
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 59606 69 0 0 24 0 11 0 477936348 860266496 51774 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 51774 13073 16 0 210010 0
vsize: 840104
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 60498 69 0 0 25 0 11 0 477936348 860266496 52086 4294967295 134512640 134569956 3221224416 3221214688 1131205390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 52086 13073 16 0 210010 0
vsize: 840104
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 61418 70 0 0 25 0 11 0 477936348 860266496 52270 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 52270 13073 16 0 210010 0
vsize: 840104
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 62365 70 0 0 25 0 11 0 477936348 860266496 52442 4294967295 134512640 134569956 3221224416 3221214784 1131354508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 52442 13073 16 0 210010 0
vsize: 840104
[startup+710.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 63294 70 0 0 25 0 11 0 477936348 860266496 52472 4294967295 134512640 134569956 3221224416 3221214784 1131354501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 52472 13073 16 0 210010 0
vsize: 840104
[startup+720.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 64207 70 0 0 25 0 11 0 477936348 860266496 52497 4294967295 134512640 134569956 3221224416 3221214688 1131204901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 52497 13073 16 0 210010 0
vsize: 840104
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 65118 71 0 0 25 0 11 0 477936348 860266496 52711 4294967295 134512640 134569956 3221224416 3221214688 1131205193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 52711 13073 16 0 210010 0
vsize: 840104
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 66026 71 0 0 25 0 11 0 477936348 860266496 52951 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 52951 13073 16 0 210010 0
vsize: 840104
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 66936 71 0 0 21 0 11 0 477936348 860266496 53089 4294967295 134512640 134569956 3221224416 3221214728 1131253424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 53089 13073 16 0 210010 0
vsize: 840104
[startup+760.051 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 67841 71 0 0 25 0 11 0 477936348 860266496 53310 4294967295 134512640 134569956 3221224416 3221214760 1131425033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 53310 13073 16 0 210010 0
vsize: 840104
[startup+770.051 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 68748 72 0 0 25 0 11 0 477936348 860266496 53476 4294967295 134512640 134569956 3221224416 3221214784 1131354423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 53476 13073 16 0 210010 0
vsize: 840104
[startup+780.052 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 69636 72 0 0 25 0 11 0 477936348 860266496 53646 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 53646 13073 16 0 210010 0
vsize: 840104
[startup+790.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 70528 72 0 0 25 0 11 0 477936348 860266496 53873 4294967295 134512640 134569956 3221224416 3221214784 1131354494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 53873 13073 16 0 210010 0
vsize: 840104
[startup+800.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 71420 73 0 0 25 0 11 0 477936348 860266496 54156 4294967295 134512640 134569956 3221224416 3221214688 1131204910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210026 54156 13073 16 0 210010 0
vsize: 840104
[startup+810.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 72308 73 0 0 25 0 11 0 477936348 860266496 54351 4294967295 134512640 134569956 3221224416 3221214688 1131205603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 54351 13073 16 0 210010 0
vsize: 840104
[startup+820.053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11569
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 73207 73 0 0 25 0 11 0 477936348 860266496 54580 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 54580 13073 16 0 210010 0
vsize: 840104
[startup+830.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 74113 74 0 0 25 0 11 0 477936348 860266496 54877 4294967295 134512640 134569956 3221224416 3221214688 1131206177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 54877 13073 16 0 210010 0
vsize: 840104
[startup+840.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 75022 74 0 0 25 0 11 0 477936348 860266496 55063 4294967295 134512640 134569956 3221224416 3221214688 1131205307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 55063 13073 16 0 210010 0
vsize: 840104
[startup+850.055 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11569
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 75944 74 0 0 25 0 11 0 477936348 860266496 55259 4294967295 134512640 134569956 3221224416 3221214688 1131205706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 55259 13073 16 0 210010 0
vsize: 840104
[startup+860.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11570
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 76873 75 0 0 24 0 11 0 477936348 860266496 55383 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 55383 13073 16 0 210010 0
vsize: 840104
[startup+870.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11570
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 77769 75 0 0 25 0 11 0 477936348 860266496 55403 4294967295 134512640 134569956 3221224416 3221214688 1131205140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 55403 13073 16 0 210010 0
vsize: 840104
[startup+880.057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11570
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 78660 76 0 0 25 0 11 0 477936348 860266496 55415 4294967295 134512640 134569956 3221224416 3221214688 1131204897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 55415 13073 16 0 210010 0
vsize: 840104
[startup+890.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 79525 76 0 0 25 0 11 0 477936348 860266496 55674 4294967295 134512640 134569956 3221224416 3221214688 1131205402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 55674 13073 16 0 210010 0
vsize: 840104
[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 80411 76 0 0 25 0 11 0 477936348 860266496 55923 4294967295 134512640 134569956 3221224416 3221214784 1131354348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 55923 13073 16 0 210010 0
vsize: 840104
[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 81314 77 0 0 25 0 11 0 477936348 860266496 56275 4294967295 134512640 134569956 3221224416 3221214968 1131490280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 56275 13073 16 0 210010 0
vsize: 840104
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 82270 77 0 0 24 0 11 0 477936348 860266496 56322 4294967295 134512640 134569956 3221224416 3221214968 1131490287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 56322 13073 16 0 210010 0
vsize: 840104
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 83201 78 0 0 25 0 11 0 477936348 860266496 56348 4294967295 134512640 134569956 3221224416 3221214688 1131205685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 56348 13073 16 0 210010 0
vsize: 840104
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 84107 78 0 0 25 0 11 0 477936348 860266496 56373 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 56373 13073 16 0 210010 0
vsize: 840104
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 84995 79 0 0 25 0 11 0 477936348 860266496 56519 4294967295 134512640 134569956 3221224416 3221214648 1131237248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 56519 13073 16 0 210010 0
vsize: 840104
[startup+960.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 85897 79 0 0 25 0 11 0 477936348 860266496 56769 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 56769 13073 16 0 210010 0
vsize: 840104
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 86798 80 0 0 25 0 11 0 477936348 860266496 57003 4294967295 134512640 134569956 3221224416 3221214784 1131354501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 57003 13073 16 0 210010 0
vsize: 840104
[startup+980.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 87703 80 0 0 25 0 11 0 477936348 860266496 57227 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 57227 13073 16 0 210010 0
vsize: 840104
[startup+990.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 88614 80 0 0 25 0 11 0 477936348 860266496 57458 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 57458 13073 16 0 210010 0
vsize: 840104
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 89529 81 0 0 25 0 11 0 477936348 860266496 57649 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 57649 13073 16 0 210010 0
vsize: 840104
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 90435 81 0 0 25 0 11 0 477936348 860266496 57851 4294967295 134512640 134569956 3221224416 3221214784 1131355346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 57851 13073 16 0 210010 0
vsize: 840104
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 91335 81 0 0 25 0 11 0 477936348 860266496 58044 4294967295 134512640 134569956 3221224416 3221214784 1131355346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 58044 13073 16 0 210010 0
vsize: 840104
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 92248 82 0 0 25 0 11 0 477936348 860266496 58285 4294967295 134512640 134569956 3221224416 3221214688 1131204938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 58285 13073 16 0 210010 0
vsize: 840104
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 93204 82 0 0 25 0 11 0 477936348 860266496 58443 4294967295 134512640 134569956 3221224416 3221214760 1131423830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 58443 13073 16 0 210010 0
vsize: 840104
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 94147 82 0 0 25 0 11 0 477936348 860266496 58472 4294967295 134512640 134569956 3221224416 3221214784 1131355462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 58472 13073 16 0 210010 0
vsize: 840104
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 95066 83 0 0 25 0 11 0 477936348 860266496 58492 4294967295 134512640 134569956 3221224416 3221214688 1131205603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 58492 13073 16 0 210010 0
vsize: 840104
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 95966 83 0 0 25 0 11 0 477936348 860266496 58630 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 58630 13073 16 0 210010 0
vsize: 840104
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 96870 84 0 0 25 0 11 0 477936348 860266496 58872 4294967295 134512640 134569956 3221224416 3221214688 1131204893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 58872 13073 16 0 210010 0
vsize: 840104
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 97773 84 0 0 25 0 11 0 477936348 860266496 59032 4294967295 134512640 134569956 3221224416 3221214688 1131206039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 59032 13073 16 0 210010 0
vsize: 840104
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 98683 84 0 0 25 0 11 0 477936348 860266496 59214 4294967295 134512640 134569956 3221224416 3221214688 1131205411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 59214 13073 16 0 210010 0
vsize: 840104
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 99587 84 0 0 25 0 11 0 477936348 860266496 59437 4294967295 134512640 134569956 3221224416 3221214688 1131206156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 59437 13073 16 0 210010 0
vsize: 840104
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 100497 84 0 0 25 0 11 0 477936348 860266496 59626 4294967295 134512640 134569956 3221224416 3221214688 1131205394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 59626 13073 16 0 210010 0
vsize: 840104
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 101409 84 0 0 25 0 11 0 477936348 860266496 59846 4294967295 134512640 134569956 3221224416 3221214688 1131205685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 59846 13073 16 0 210010 0
vsize: 840104
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 102325 85 0 0 25 0 11 0 477936348 860266496 60009 4294967295 134512640 134569956 3221224416 3221214784 1131354458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 60009 13073 16 0 210010 0
vsize: 840104
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 103250 85 0 0 25 0 11 0 477936348 860266496 60202 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 60202 13073 16 0 210010 0
vsize: 840104
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 104173 85 0 0 25 0 11 0 477936348 860266496 60346 4294967295 134512640 134569956 3221224416 3221214688 1131205411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 60346 13073 16 0 210010 0
vsize: 840104
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 105096 86 0 0 19 0 11 0 477936348 860266496 60526 4294967295 134512640 134569956 3221224416 3221214688 1131206008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 60526 13073 16 0 210010 0
vsize: 840104
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 106022 86 0 0 25 0 11 0 477936348 860266496 60689 4294967295 134512640 134569956 3221224416 3221214688 1131205541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 60689 13073 16 0 210010 0
vsize: 840104
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 106959 87 0 0 25 0 11 0 477936348 860266496 60852 4294967295 134512640 134569956 3221224416 3221214688 1131205397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 60852 13073 16 0 210010 0
vsize: 840104
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 107894 88 0 0 25 0 11 0 477936348 860266496 60961 4294967295 134512640 134569956 3221224416 3221214600 1131516450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 60961 13073 16 0 210010 0
vsize: 840104
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 108819 88 0 0 25 0 11 0 477936348 860266496 61040 4294967295 134512640 134569956 3221224416 3221214680 1131384356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61040 13073 16 0 210010 0
vsize: 840104
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 109724 88 0 0 25 0 11 0 477936348 860266496 61185 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61185 13073 16 0 210010 0
vsize: 840104
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 110635 89 0 0 25 0 11 0 477936348 860266496 61392 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61392 13073 16 0 210010 0
vsize: 840104
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 111565 89 0 0 25 0 11 0 477936348 860266496 61616 4294967295 134512640 134569956 3221224416 3221214784 1131354508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61616 13073 16 0 210010 0
vsize: 840104
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 112531 89 0 0 25 0 11 0 477936348 860266496 61652 4294967295 134512640 134569956 3221224416 3221214688 1131204926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61652 13073 16 0 210010 0
vsize: 840104
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 113501 89 0 0 25 0 11 0 477936348 860266496 61677 4294967295 134512640 134569956 3221224416 3221214688 1131206137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61677 13073 16 0 210010 0
vsize: 840104
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 114452 90 0 0 25 0 11 0 477936348 860266496 61698 4294967295 134512640 134569956 3221224416 3221214688 1131205457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61698 13073 16 0 210010 0
vsize: 840104
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 115383 90 0 0 25 0 11 0 477936348 860266496 61723 4294967295 134512640 134569956 3221224416 3221214688 1131205394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61723 13073 16 0 210010 0
vsize: 840104
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 116300 90 0 0 25 0 11 0 477936348 860266496 61749 4294967295 134512640 134569956 3221224416 3221214864 1131377443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61749 13073 16 0 210010 0
vsize: 840104
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 117212 91 0 0 25 0 11 0 477936348 860266496 61988 4294967295 134512640 134569956 3221224416 3221214784 1131354486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 61988 13073 16 0 210010 0
vsize: 840104
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 118131 92 0 0 25 0 11 0 477936348 860266496 62171 4294967295 134512640 134569956 3221224416 3221214688 1131204923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 62171 13073 16 0 210010 0
vsize: 840104
[startup+1320.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) R 11495 10614 10613 0 -1 0 18068 3 1 0 119054 92 0 0 25 0 11 0 477936348 860266496 62341 4294967295 134512640 134569956 3221224416 3221214736 1131150929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 62341 13073 16 0 210010 0
vsize: 840104
[startup+1330.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11571
Raw data (stat): 11496 (java) S 11495 10614 10613 0 -1 0 18068 3 1 0 119986 92 0 0 25 0 11 0 477936348 860266496 62504 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210026 62504 13073 16 0 210010 0
vsize: 840104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 11573
Raw data (stat): 11496 (java) Z 11495 10614 10613 0 -1 1036 18068 50061 1 0 119988 104 13844 117 25 0 1 0 477936348 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): 1330.24
CPU time (s): 1340.55
CPU user time (s): 1338.33
CPU system time (s): 2.21766
CPU usage (%): 100.775
Max. virtual memory (Kb): 840712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####