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/een/normalized-p2756.opb
MD5SUMf3d955cf36894e7107b7f25ccaa97360
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7463
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04884
Number of variables2734
Total number of constraints738
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints386
Minimum length of a constraint2
Maximum length of a constraint535

Trace number 7079

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-14 21:10:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5105 boxname=wulflinc9 idbench=393 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f3d955cf36894e7107b7f25ccaa97360  /oldhome/oroussel/tmp/wulflinc9/normalized-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-p2756.opb
IDLAUNCH: 5105
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        861500 kB
Buffers:         37104 kB
Cached:         115740 kB
SwapCached:        564 kB
Active:          61840 kB
Inactive:        94472 kB
HighTotal:      131008 kB
HighFree:        11284 kB
LowTotal:       903652 kB
LowFree:        850216 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            11340 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 21:31:32 (client local time) WITH STATUS 143 IN 1243.18 SECONDS
stats: 5105 7 1243.18 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-p2756.opb
c reading problem 
c [nbvar=2741]
c [nbconstr=738]
c time 5.328
c #vars     2741
c #clauses  738
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=117995
c Current CPU time (ms) : 9.171
c starts	: 1
c conflicts	: 41
c decisions	: 14263
c propagations	: 23144
c inspects	: 10813
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 41
c root simplifications	: 11
c 
c CURRENT OPTIMUM=117777
c Current CPU time (ms) : 10.35
c starts	: 2
c conflicts	: 42
c decisions	: 15957
c propagations	: 25879
c inspects	: 12461
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 42
c root simplifications	: 12
c 
c CURRENT OPTIMUM=100551
c Current CPU time (ms) : 13.502
c starts	: 3
c conflicts	: 59
c decisions	: 24675
c propagations	: 36820
c inspects	: 18684
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 59
c root simplifications	: 13
c 
c CURRENT OPTIMUM=52536
c Current CPU time (ms) : 14.116
c starts	: 4
c conflicts	: 59
c decisions	: 26692
c propagations	: 39551
c inspects	: 21031
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 59
c root simplifications	: 14
c 
c CURRENT OPTIMUM=52534
c Current CPU time (ms) : 20.595
c starts	: 5
c conflicts	: 60
c decisions	: 28018
c propagations	: 42851
c inspects	: 23111
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 60
c root simplifications	: 15
c 
c CURRENT OPTIMUM=24618
c Current CPU time (ms) : 21.639
c starts	: 6
c conflicts	: 68
c decisions	: 30058
c propagations	: 47550
c inspects	: 27406
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 68
c root simplifications	: 16
c 
c CURRENT OPTIMUM=24610
c Current CPU time (ms) : 625.609
c starts	: 8
c conflicts	: 172
c decisions	: 36267
c propagations	: 59935
c inspects	: 64416
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 172
c root simplifications	: 18
#### 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.98 0.88 2/54 11264
Raw data (stat): 11264 (runsolver) R 11263 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 429506384 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.001 s]
Raw data (loadavg): 1.24 1.05 0.90 2/64 11275
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18059 4 1 0 725 43 0 0 25 0 11 0 429506384 861831168 21062 4294967295 134512640 134569956 3221224416 3221214680 1131234565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210408 21062 13073 16 0 210392 0
vsize: 841632
[startup+20.0014 s]
Raw data (loadavg): 1.28 1.06 0.91 2/64 11278
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18061 4 1 0 1596 44 0 0 25 0 11 0 429506384 860811264 21384 4294967295 134512640 134569956 3221224416 3221214400 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210159 21384 13073 16 0 210143 0
vsize: 840636
[startup+30.0086 s]
Raw data (loadavg): 1.31 1.08 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18061 4 1 0 2528 45 0 0 25 0 11 0 429506384 862261248 22057 4294967295 134512640 134569956 3221224416 3221214704 1131385354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210513 22057 13073 16 0 210497 0
vsize: 842052
[startup+40.0094 s]
Raw data (loadavg): 1.26 1.07 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18062 4 1 0 3442 45 0 0 25 0 11 0 429506384 860979200 21931 4294967295 134512640 134569956 3221224416 3221214608 1131343271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 21931 13073 16 0 210184 0
vsize: 840800
[startup+50.0097 s]
Raw data (loadavg): 1.22 1.07 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 4381 45 0 0 25 0 11 0 429506384 860979200 22441 4294967295 134512640 134569956 3221224416 3221214516 1130883277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 22441 13073 16 0 210184 0
vsize: 840800
[startup+60.0109 s]
Raw data (loadavg): 1.19 1.07 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 5325 45 0 0 25 0 11 0 429506384 860979200 22605 4294967295 134512640 134569956 3221224416 3221214832 1131387268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 22605 13073 16 0 210184 0
vsize: 840800
[startup+70.0117 s]
Raw data (loadavg): 1.16 1.07 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 6293 46 0 0 25 0 11 0 429506384 860979200 22731 4294967295 134512640 134569956 3221224416 3221214832 1131387812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 22731 13073 16 0 210184 0
vsize: 840800
[startup+80.012 s]
Raw data (loadavg): 1.13 1.06 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 7267 46 0 0 25 0 11 0 429506384 860979200 22790 4294967295 134512640 134569956 3221224416 3221214760 1131261507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 22790 13073 16 0 210184 0
vsize: 840800
[startup+90.0132 s]
Raw data (loadavg): 1.11 1.06 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 8236 46 0 0 25 0 11 0 429506384 860979200 22893 4294967295 134512640 134569956 3221224416 3221214600 1131261665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 22893 13073 16 0 210184 0
vsize: 840800
[startup+100.014 s]
Raw data (loadavg): 1.10 1.06 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 9207 47 0 0 25 0 11 0 429506384 860979200 23003 4294967295 134512640 134569956 3221224416 3221214704 1131612847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23003 13073 16 0 210184 0
vsize: 840800
[startup+110.015 s]
Raw data (loadavg): 1.08 1.06 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 10182 47 0 0 25 0 11 0 429506384 860979200 23044 4294967295 134512640 134569956 3221224416 3221214592 1131598901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23044 13073 16 0 210184 0
vsize: 840800
[startup+120.016 s]
Raw data (loadavg): 1.07 1.05 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 11158 47 0 0 25 0 11 0 429506384 860979200 23136 4294967295 134512640 134569956 3221224416 3221214760 1131261523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23136 13073 16 0 210184 0
vsize: 840800
[startup+130.016 s]
Raw data (loadavg): 1.06 1.05 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 12138 47 0 0 25 0 11 0 429506384 860979200 23182 4294967295 134512640 134569956 3221224416 3221214776 1131349748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23182 13073 16 0 210184 0
vsize: 840800
[startup+140.017 s]
Raw data (loadavg): 1.05 1.05 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 13116 47 0 0 25 0 11 0 429506384 860979200 23260 4294967295 134512640 134569956 3221224416 3221214772 1080203708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23260 13073 16 0 210184 0
vsize: 840800
[startup+150.017 s]
Raw data (loadavg): 1.04 1.05 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 14093 48 0 0 25 0 11 0 429506384 860979200 23263 4294967295 134512640 134569956 3221224416 3221214696 1131633454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23263 13073 16 0 210184 0
vsize: 840800
[startup+160.018 s]
Raw data (loadavg): 1.03 1.05 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 15058 48 0 0 25 0 11 0 429506384 860979200 23310 4294967295 134512640 134569956 3221224416 3221214768 1131417764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23310 13073 16 0 210184 0
vsize: 840800
[startup+170.018 s]
Raw data (loadavg): 1.03 1.04 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 16024 49 0 0 25 0 11 0 429506384 860979200 23380 4294967295 134512640 134569956 3221224416 3221214832 1131385425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23380 13073 16 0 210184 0
vsize: 840800
[startup+180.02 s]
Raw data (loadavg): 1.02 1.04 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 16988 49 0 0 25 0 11 0 429506384 860979200 23522 4294967295 134512640 134569956 3221224416 3221214720 1131307765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23522 13073 16 0 210184 0
vsize: 840800
[startup+190.02 s]
Raw data (loadavg): 1.02 1.04 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 17956 49 0 0 25 0 11 0 429506384 860979200 23580 4294967295 134512640 134569956 3221224416 3221214680 1131235073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23580 13073 16 0 210184 0
vsize: 840800
[startup+200.02 s]
Raw data (loadavg): 1.02 1.04 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 18909 50 0 0 24 0 11 0 429506384 860979200 23606 4294967295 134512640 134569956 3221224416 3221214600 1131261665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23606 13073 16 0 210184 0
vsize: 840800
[startup+210.022 s]
Raw data (loadavg): 1.01 1.04 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 19860 50 0 0 25 0 11 0 429506384 860979200 23693 4294967295 134512640 134569956 3221224416 3221214696 1131633415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23693 13073 16 0 210184 0
vsize: 840800
[startup+220.023 s]
Raw data (loadavg): 1.01 1.03 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 20819 50 0 0 25 0 11 0 429506384 860979200 23738 4294967295 134512640 134569956 3221224416 3221214592 1131598852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23738 13073 16 0 210184 0
vsize: 840800
[startup+230.023 s]
Raw data (loadavg): 1.01 1.03 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 21766 51 0 0 25 0 11 0 429506384 860979200 23778 4294967295 134512640 134569956 3221224416 3221214592 1131598811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23778 13073 16 0 210184 0
vsize: 840800
[startup+240.024 s]
Raw data (loadavg): 1.01 1.03 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 22722 51 0 0 25 0 11 0 429506384 860979200 23926 4294967295 134512640 134569956 3221224416 3221214696 1131633585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 23926 13073 16 0 210184 0
vsize: 840800
[startup+250.025 s]
Raw data (loadavg): 1.00 1.03 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 23686 51 0 0 25 0 11 0 429506384 860979200 24267 4294967295 134512640 134569956 3221224416 3221214592 1131600486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24267 13073 16 0 210184 0
vsize: 840800
[startup+260.025 s]
Raw data (loadavg): 1.00 1.03 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 24665 51 0 0 24 0 11 0 429506384 860979200 24267 4294967295 134512640 134569956 3221224416 3221214680 1131235034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24267 13073 16 0 210184 0
vsize: 840800
[startup+270.025 s]
Raw data (loadavg): 1.00 1.03 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 25643 51 0 0 25 0 11 0 429506384 860979200 24328 4294967295 134512640 134569956 3221224416 3221214592 1131261665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24328 13073 16 0 210184 0
vsize: 840800
[startup+280.026 s]
Raw data (loadavg): 1.00 1.03 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 26627 52 0 0 25 0 11 0 429506384 860979200 24449 4294967295 134512640 134569956 3221224416 3221214568 1079721536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24449 13073 16 0 210184 0
vsize: 840800
[startup+290.026 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 27605 52 0 0 25 0 11 0 429506384 860979200 24471 4294967295 134512640 134569956 3221224416 3221214640 1131454424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24471 13073 16 0 210184 0
vsize: 840800
[startup+300.027 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 28580 53 0 0 25 0 11 0 429506384 860979200 24482 4294967295 134512640 134569956 3221224416 3221214772 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24482 13073 16 0 210184 0
vsize: 840800
[startup+310.028 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 29561 53 0 0 25 0 11 0 429506384 860979200 24544 4294967295 134512640 134569956 3221224416 3221214592 1131470369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24544 13073 16 0 210184 0
vsize: 840800
[startup+320.029 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 30548 54 0 0 25 0 11 0 429506384 860979200 24630 4294967295 134512640 134569956 3221224416 3221214776 1131349748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24630 13073 16 0 210184 0
vsize: 840800
[startup+330.029 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 31527 54 0 0 25 0 11 0 429506384 860979200 24630 4294967295 134512640 134569956 3221224416 3221214720 1131307908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24630 13073 16 0 210184 0
vsize: 840800
[startup+340.03 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 32508 54 0 0 25 0 11 0 429506384 860979200 24630 4294967295 134512640 134569956 3221224416 3221214680 1131234917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24630 13073 16 0 210184 0
vsize: 840800
[startup+350.03 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 33467 54 0 0 25 0 11 0 429506384 860979200 24630 4294967295 134512640 134569956 3221224416 3221214600 1131262427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24630 13073 16 0 210184 0
vsize: 840800
[startup+360.032 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 34429 55 0 0 25 0 11 0 429506384 860979200 24693 4294967295 134512640 134569956 3221224416 3221214700 1131334496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24693 13073 16 0 210184 0
vsize: 840800
[startup+370.032 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 35399 55 0 0 25 0 11 0 429506384 860979200 24848 4294967295 134512640 134569956 3221224416 3221214704 1131612847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24848 13073 16 0 210184 0
vsize: 840800
[startup+380.031 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 36374 55 0 0 24 0 11 0 429506384 860979200 24900 4294967295 134512640 134569956 3221224416 3221214680 1131234948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24900 13073 16 0 210184 0
vsize: 840800
[startup+390.033 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 37355 56 0 0 25 0 11 0 429506384 860979200 24988 4294967295 134512640 134569956 3221224416 3221214592 1131598580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24988 13073 16 0 210184 0
vsize: 840800
[startup+400.034 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 38338 56 0 0 25 0 11 0 429506384 860979200 24988 4294967295 134512640 134569956 3221224416 3221214696 1131633541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24988 13073 16 0 210184 0
vsize: 840800
[startup+410.033 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 39320 57 0 0 25 0 11 0 429506384 860979200 24988 4294967295 134512640 134569956 3221224416 3221214592 1131261507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24988 13073 16 0 210184 0
vsize: 840800
[startup+420.034 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 40299 57 0 0 25 0 11 0 429506384 860979200 24988 4294967295 134512640 134569956 3221224416 3221214784 1131493908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 24988 13073 16 0 210184 0
vsize: 840800
[startup+430.035 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 41271 58 0 0 25 0 11 0 429506384 860979200 25116 4294967295 134512640 134569956 3221224416 3221214680 1131235093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25116 13073 16 0 210184 0
vsize: 840800
[startup+440.035 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 42229 58 0 0 25 0 11 0 429506384 860979200 25138 4294967295 134512640 134569956 3221224416 3221214440 1078033025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25138 13073 16 0 210184 0
vsize: 840800
[startup+450.035 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 43189 58 0 0 25 0 11 0 429506384 860979200 25160 4294967295 134512640 134569956 3221224416 3221214768 1131416944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25160 13073 16 0 210184 0
vsize: 840800
[startup+460.036 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 44163 59 0 0 25 0 11 0 429506384 860979200 25241 4294967295 134512640 134569956 3221224416 3221214832 1131385877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25241 13073 16 0 210184 0
vsize: 840800
[startup+470.036 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 45131 59 0 0 25 0 11 0 429506384 860979200 25367 4294967295 134512640 134569956 3221224416 3221214696 1131299396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25367 13073 16 0 210184 0
vsize: 840800
[startup+480.037 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 46107 59 0 0 25 0 11 0 429506384 860979200 25407 4294967295 134512640 134569956 3221224416 3221214696 1131633581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25407 13073 16 0 210184 0
vsize: 840800
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 47071 59 0 0 25 0 11 0 429506384 860979200 25491 4294967295 134512640 134569956 3221224416 3221214600 1131261337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25491 13073 16 0 210184 0
vsize: 840800
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 48047 60 0 0 25 0 11 0 429506384 860979200 25532 4294967295 134512640 134569956 3221224416 3221214592 1131261933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25532 13073 16 0 210184 0
vsize: 840800
[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 49030 60 0 0 25 0 11 0 429506384 860979200 25585 4294967295 134512640 134569956 3221224416 3221214628 1131624261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25585 13073 16 0 210184 0
vsize: 840800
[startup+520.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 50015 60 0 0 25 0 11 0 429506384 860979200 25637 4294967295 134512640 134569956 3221224416 3221214592 1131261604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25637 13073 16 0 210184 0
vsize: 840800
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 51001 60 0 0 25 0 11 0 429506384 860979200 25679 4294967295 134512640 134569956 3221224416 3221214832 1131388110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25679 13073 16 0 210184 0
vsize: 840800
[startup+540.042 s]
Raw data (loadavg): 1.08 1.02 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 51982 61 0 0 25 0 11 0 429506384 860979200 25725 4294967295 134512640 134569956 3221224416 3221214696 1131299480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25725 13073 16 0 210184 0
vsize: 840800
[startup+550.042 s]
Raw data (loadavg): 1.07 1.02 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 52956 61 0 0 25 0 11 0 429506384 860979200 25735 4294967295 134512640 134569956 3221224416 3221214600 1131262357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25735 13073 16 0 210184 0
vsize: 840800
[startup+560.043 s]
Raw data (loadavg): 1.06 1.01 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 53931 61 0 0 25 0 11 0 429506384 860979200 25791 4294967295 134512640 134569956 3221224416 3221214720 1131233165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25791 13073 16 0 210184 0
vsize: 840800
[startup+570.043 s]
Raw data (loadavg): 1.05 1.01 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 54901 61 0 0 25 0 11 0 429506384 860979200 25791 4294967295 134512640 134569956 3221224416 3221214592 1131262420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25791 13073 16 0 210184 0
vsize: 840800
[startup+580.043 s]
Raw data (loadavg): 1.04 1.01 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 55874 62 0 0 24 0 11 0 429506384 860979200 25876 4294967295 134512640 134569956 3221224416 3221214700 1080203678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25876 13073 16 0 210184 0
vsize: 840800
[startup+590.043 s]
Raw data (loadavg): 1.03 1.01 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 56838 62 0 0 25 0 11 0 429506384 860979200 25960 4294967295 134512640 134569956 3221224416 3221214600 1131261746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25960 13073 16 0 210184 0
vsize: 840800
[startup+600.044 s]
Raw data (loadavg): 1.03 1.01 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 57815 62 0 0 25 0 11 0 429506384 860979200 25961 4294967295 134512640 134569956 3221224416 3221214600 1131261507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25961 13073 16 0 210184 0
vsize: 840800
[startup+610.045 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 58801 63 0 0 25 0 11 0 429506384 860979200 25961 4294967295 134512640 134569956 3221224416 3221214776 1131345438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 25961 13073 16 0 210184 0
vsize: 840800
[startup+620.045 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 11280
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 59781 63 0 0 25 0 11 0 429506384 860979200 26090 4294967295 134512640 134569956 3221224416 3221214776 1131345438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26090 13073 16 0 210184 0
vsize: 840800
[startup+630.045 s]
Raw data (loadavg): 1.02 1.01 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 60767 63 0 0 25 0 11 0 429506384 860979200 26092 4294967295 134512640 134569956 3221224416 3221214592 1131261541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26092 13073 16 0 210184 0
vsize: 840800
[startup+640.046 s]
Raw data (loadavg): 1.01 1.01 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 61745 63 0 0 25 0 11 0 429506384 860979200 26092 4294967295 134512640 134569956 3221224416 3221214680 1131235089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26092 13073 16 0 210184 0
vsize: 840800
[startup+650.047 s]
Raw data (loadavg): 1.01 1.01 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 62713 64 0 0 25 0 11 0 429506384 860979200 26092 4294967295 134512640 134569956 3221224416 3221214680 1131234712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26092 13073 16 0 210184 0
vsize: 840800
[startup+660.047 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 63683 64 0 0 25 0 11 0 429506384 860979200 26189 4294967295 134512640 134569956 3221224416 3221214720 1131307769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26189 13073 16 0 210184 0
vsize: 840800
[startup+670.048 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 64657 65 0 0 25 0 11 0 429506384 860979200 26291 4294967295 134512640 134569956 3221224416 3221214680 1131234613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26291 13073 16 0 210184 0
vsize: 840800
[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 65635 65 0 0 25 0 11 0 429506384 860979200 26299 4294967295 134512640 134569956 3221224416 3221214680 1131234976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26299 13073 16 0 210184 0
vsize: 840800
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 66611 65 0 0 25 0 11 0 429506384 860979200 26337 4294967295 134512640 134569956 3221224416 3221214680 1131234917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26337 13073 16 0 210184 0
vsize: 840800
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 67588 66 0 0 25 0 11 0 429506384 860979200 26377 4294967295 134512640 134569956 3221224416 3221214776 1131346566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26377 13073 16 0 210184 0
vsize: 840800
[startup+710.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 68565 66 0 0 25 0 11 0 429506384 860979200 26416 4294967295 134512640 134569956 3221224416 3221214776 1131350495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26416 13073 16 0 210184 0
vsize: 840800
[startup+720.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 69542 66 0 0 24 0 11 0 429506384 860979200 26455 4294967295 134512640 134569956 3221224416 3221214776 1131346566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26455 13073 16 0 210184 0
vsize: 840800
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 70520 67 0 0 25 0 11 0 429506384 860979200 26493 4294967295 134512640 134569956 3221224416 3221214776 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26493 13073 16 0 210184 0
vsize: 840800
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 71491 67 0 0 24 0 11 0 429506384 860979200 26533 4294967295 134512640 134569956 3221224416 3221214792 1131372242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26533 13073 16 0 210184 0
vsize: 840800
[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 72464 67 0 0 25 0 11 0 429506384 860979200 26577 4294967295 134512640 134569956 3221224416 3221214776 1131345499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26577 13073 16 0 210184 0
vsize: 840800
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 73431 68 0 0 25 0 11 0 429506384 860979200 26635 4294967295 134512640 134569956 3221224416 3221214768 1131417706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26635 13073 16 0 210184 0
vsize: 840800
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 74396 69 0 0 25 0 11 0 429506384 860979200 26700 4294967295 134512640 134569956 3221224416 3221214632 1131472028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 26700 13073 16 0 210184 0
vsize: 840800
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 75361 69 0 0 25 0 11 0 429506384 860979200 26790 4294967295 134512640 134569956 3221224416 3221214768 1131417600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 26790 13073 16 0 210184 0
vsize: 840800
[startup+790.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 76330 69 0 0 25 0 11 0 429506384 860979200 26797 4294967295 134512640 134569956 3221224416 3221214768 1131417795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 26797 13073 16 0 210184 0
vsize: 840800
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 77297 69 0 0 25 0 11 0 429506384 860979200 26868 4294967295 134512640 134569956 3221224416 3221214732 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 26868 13073 16 0 210184 0
vsize: 840800
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 78267 69 0 0 25 0 11 0 429506384 860979200 26955 4294967295 134512640 134569956 3221224416 3221214752 1131369186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 26955 13073 16 0 210184 0
vsize: 840800
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 79239 69 0 0 25 0 11 0 429506384 860979200 27016 4294967295 134512640 134569956 3221224416 3221214832 1131385922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27016 13073 16 0 210184 0
vsize: 840800
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 80207 70 0 0 25 0 11 0 429506384 860979200 27067 4294967295 134512640 134569956 3221224416 3221214832 1131387707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27067 13073 16 0 210184 0
vsize: 840800
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 81177 70 0 0 25 0 11 0 429506384 860979200 27126 4294967295 134512640 134569956 3221224416 3221214832 1131386823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27126 13073 16 0 210184 0
vsize: 840800
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 82151 70 0 0 25 0 11 0 429506384 860979200 27189 4294967295 134512640 134569956 3221224416 3221214712 1131310366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27189 13073 16 0 210184 0
vsize: 840800
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 83124 70 0 0 25 0 11 0 429506384 860979200 27241 4294967295 134512640 134569956 3221224416 3221214820 1080203723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27241 13073 16 0 210184 0
vsize: 840800
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 84096 70 0 0 25 0 11 0 429506384 860979200 27286 4294967295 134512640 134569956 3221224416 3221214772 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27286 13073 16 0 210184 0
vsize: 840800
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) S 11263 30854 30853 0 -1 0 18063 4 1 0 85071 70 0 0 25 0 11 0 429506384 860979200 27328 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27328 13073 16 0 210184 0
vsize: 840800
[startup+890.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 86044 70 0 0 25 0 11 0 429506384 860979200 27374 4294967295 134512640 134569956 3221224416 3221214680 1131235149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27374 13073 16 0 210184 0
vsize: 840800
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 87013 71 0 0 25 0 11 0 429506384 860979200 27415 4294967295 134512640 134569956 3221224416 3221214864 1131296121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27415 13073 16 0 210184 0
vsize: 840800
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 87985 71 0 0 25 0 11 0 429506384 860979200 27456 4294967295 134512640 134569956 3221224416 3221214820 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27456 13073 16 0 210184 0
vsize: 840800
[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) S 11263 30854 30853 0 -1 0 18063 4 1 0 88952 71 0 0 25 0 11 0 429506384 860979200 27504 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27504 13073 16 0 210184 0
vsize: 840800
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 89923 71 0 0 25 0 11 0 429506384 860979200 27541 4294967295 134512640 134569956 3221224416 3221214784 1131233312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27541 13073 16 0 210184 0
vsize: 840800
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 90894 71 0 0 25 0 11 0 429506384 860979200 27583 4294967295 134512640 134569956 3221224416 3221214776 1131310491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27583 13073 16 0 210184 0
vsize: 840800
[startup+950.067 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 91861 72 0 0 25 0 11 0 429506384 860979200 27668 4294967295 134512640 134569956 3221224416 3221214592 1131235001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27668 13073 16 0 210184 0
vsize: 840800
[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) S 11263 30854 30853 0 -1 0 18063 4 1 0 92828 72 0 0 25 0 11 0 429506384 860979200 27707 4294967295 134512640 134569956 3221224416 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27707 13073 16 0 210184 0
vsize: 840800
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 93795 72 0 0 25 0 11 0 429506384 860979200 27785 4294967295 134512640 134569956 3221224416 3221214824 1080203665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27785 13073 16 0 210184 0
vsize: 840800
[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 94765 73 0 0 25 0 11 0 429506384 860979200 27823 4294967295 134512640 134569956 3221224416 3221214592 1131599002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27823 13073 16 0 210184 0
vsize: 840800
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 95741 73 0 0 25 0 11 0 429506384 860979200 27860 4294967295 134512640 134569956 3221224416 3221214696 1131299480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27860 13073 16 0 210184 0
vsize: 840800
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 96703 73 0 0 25 0 11 0 429506384 860979200 27936 4294967295 134512640 134569956 3221224416 3221214832 1131387224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27936 13073 16 0 210184 0
vsize: 840800
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 97658 73 0 0 25 0 11 0 429506384 860979200 27936 4294967295 134512640 134569956 3221224416 3221214592 1131261343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 27936 13073 16 0 210184 0
vsize: 840800
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) S 11263 30854 30853 0 -1 0 18063 4 1 0 98610 73 0 0 25 0 11 0 429506384 860979200 28021 4294967295 134512640 134569956 3221224416 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28021 13073 16 0 210184 0
vsize: 840800
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 99576 73 0 0 25 0 11 0 429506384 860979200 28221 4294967295 134512640 134569956 3221224416 3221214592 1131599549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28221 13073 16 0 210184 0
vsize: 840800
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 100546 73 0 0 25 0 11 0 429506384 860979200 28225 4294967295 134512640 134569956 3221224416 3221214680 1131235001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28225 13073 16 0 210184 0
vsize: 840800
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 101516 73 0 0 25 0 11 0 429506384 860979200 28348 4294967295 134512640 134569956 3221224416 3221214680 1131235105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28348 13073 16 0 210184 0
vsize: 840800
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 102494 74 0 0 25 0 11 0 429506384 860979200 28348 4294967295 134512640 134569956 3221224416 3221214680 1131235089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28348 13073 16 0 210184 0
vsize: 840800
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 103468 74 0 0 25 0 11 0 429506384 860979200 28391 4294967295 134512640 134569956 3221224416 3221214592 1131261343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28391 13073 16 0 210184 0
vsize: 840800
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 104442 74 0 0 25 0 11 0 429506384 860979200 28436 4294967295 134512640 134569956 3221224416 3221214680 1131234369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28436 13073 16 0 210184 0
vsize: 840800
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 105410 74 0 0 25 0 11 0 429506384 860979200 28480 4294967295 134512640 134569956 3221224416 3221214600 1131261625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28480 13073 16 0 210184 0
vsize: 840800
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 106380 74 0 0 25 0 11 0 429506384 860979200 28484 4294967295 134512640 134569956 3221224416 3221214680 1131234554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28484 13073 16 0 210184 0
vsize: 840800
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 107349 74 0 0 25 0 11 0 429506384 860979200 28601 4294967295 134512640 134569956 3221224416 3221214592 1131598580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28601 13073 16 0 210184 0
vsize: 840800
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 108321 75 0 0 25 0 11 0 429506384 860979200 28607 4294967295 134512640 134569956 3221224416 3221214480 1131607576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28607 13073 16 0 210184 0
vsize: 840800
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 109294 75 0 0 25 0 11 0 429506384 860979200 28652 4294967295 134512640 134569956 3221224416 3221214680 1131234917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28652 13073 16 0 210184 0
vsize: 840800
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 110266 75 0 0 25 0 11 0 429506384 860979200 28732 4294967295 134512640 134569956 3221224416 3221214592 1131261625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28732 13073 16 0 210184 0
vsize: 840800
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 111249 75 0 0 25 0 11 0 429506384 860979200 28773 4294967295 134512640 134569956 3221224416 3221214704 1131612956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28773 13073 16 0 210184 0
vsize: 840800
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 112228 75 0 0 25 0 11 0 429506384 860979200 28801 4294967295 134512640 134569956 3221224416 3221214776 1131347499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28801 13073 16 0 210184 0
vsize: 840800
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 113208 75 0 0 25 0 11 0 429506384 860979200 28815 4294967295 134512640 134569956 3221224416 3221214692 1131175264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28815 13073 16 0 210184 0
vsize: 840800
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 114179 75 0 0 24 0 11 0 429506384 860979200 28854 4294967295 134512640 134569956 3221224416 3221214776 1131346566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28854 13073 16 0 210184 0
vsize: 840800
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 115146 75 0 0 25 0 11 0 429506384 860979200 28865 4294967295 134512640 134569956 3221224416 3221214680 1131234917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28865 13073 16 0 210184 0
vsize: 840800
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 116112 75 0 0 25 0 11 0 429506384 860979200 28902 4294967295 134512640 134569956 3221224416 3221214680 1131234348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28902 13073 16 0 210184 0
vsize: 840800
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 117081 75 0 0 25 0 11 0 429506384 860979200 28985 4294967295 134512640 134569956 3221224416 3221214600 1131261509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 28985 13073 16 0 210184 0
vsize: 840800
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 118053 76 0 0 24 0 11 0 429506384 860979200 29065 4294967295 134512640 134569956 3221224416 3221214592 1131261507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 29065 13073 16 0 210184 0
vsize: 840800
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 119034 76 0 0 25 0 11 0 429506384 860979200 29109 4294967295 134512640 134569956 3221224416 3221214600 1131262379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 29109 13073 16 0 210184 0
vsize: 840800
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11281
Raw data (stat): 11264 (java) R 11263 30854 30853 0 -1 0 18063 4 1 0 120014 76 0 0 25 0 11 0 429506384 860979200 29157 4294967295 134512640 134569956 3221224416 3221214776 1131345438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210200 29157 13073 16 0 210184 0
vsize: 840800
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 11283
Raw data (stat): 11264 (java) Z 11263 30854 30853 0 -1 1036 18063 11793 1 0 120019 76 4181 40 25 0 1 0 429506384 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.2
CPU time (s): 1243.18
CPU user time (s): 1242.01
CPU system time (s): 1.16882
CPU usage (%): 100.24
Max. virtual memory (Kb): 842052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####