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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb
MD5SUMec9eb8bc5f0ce888f87dfc271da55db8
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -5109
Optimality of the best value was proved NO
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.05
Number of variables11247
Total number of constraints19739
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)15744
Number of constraints which are nor clauses,nor cardinality constraints3918
Minimum length of a constraint1
Maximum length of a constraint68

Trace number 15391 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 04:06:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17793 boxname=wulflinc17 idbench=1369 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ec9eb8bc5f0ce888f87dfc271da55db8  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mzzv11.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mzzv11.opb
IDLAUNCH: 17793
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        909768 kB
Buffers:          1068 kB
Cached:          94760 kB
SwapCached:        596 kB
Active:          19980 kB
Inactive:        79360 kB
HighTotal:      131008 kB
HighFree:        63224 kB
LowTotal:       903652 kB
LowFree:        846544 kB
SwapTotal:     2097892 kB
SwapFree:      2097284 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6628 kB
Slab:            19596 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 04:26:53 (client local time) WITH STATUS 143 IN 1259.94 SECONDS
stats: 17793 7 1259.94 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mzzv11.opb
c reading problem 
c [nbvar=11247]
c [nbconstr=19739]
c time 62.587
c #vars     11247
c #clauses  13116
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) : 64.404
c starts	: 1
c conflicts	: 0
c decisions	: 45
c propagations	: 11247
c inspects	: 13803
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=-50
c Current CPU time (ms) : 67.999
c starts	: 2
c conflicts	: 6
c decisions	: 160
c propagations	: 22782
c inspects	: 25400
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-250
c Current CPU time (ms) : 70.083
c starts	: 3
c conflicts	: 13
c decisions	: 272
c propagations	: 34814
c inspects	: 34544
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-350
c Current CPU time (ms) : 70.425
c starts	: 4
c conflicts	: 13
c decisions	: 332
c propagations	: 46061
c inspects	: 42800
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-400
c Current CPU time (ms) : 71.005
c starts	: 5
c conflicts	: 13
c decisions	: 391
c propagations	: 57308
c inspects	: 50872
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-509
c Current CPU time (ms) : 72.474
c starts	: 6
c conflicts	: 23
c decisions	: 497
c propagations	: 68928
c inspects	: 59645
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-1794
c Current CPU time (ms) : 124.751
c starts	: 9
c conflicts	: 399
c decisions	: 16751
c propagations	: 269189
c inspects	: 252192
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 399
c root simplifications	: 19
c 
c CURRENT OPTIMUM=-1824
c Current CPU time (ms) : 126.534
c starts	: 10
c conflicts	: 413
c decisions	: 17509
c propagations	: 285771
c inspects	: 267693
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 413
c root simplifications	: 23
c 
c CURRENT OPTIMUM=-2024
c Current CPU time (ms) : 132.991
c starts	: 11
c conflicts	: 429
c decisions	: 18593
c propagations	: 299981
c inspects	: 280905
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 429
c root simplifications	: 24
c 
c CURRENT OPTIMUM=-4000
c Current CPU time (ms) : 294.298
c starts	: 15
c conflicts	: 911
c decisions	: 27982
c propagations	: 467714
c inspects	: 455578
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 911
c root simplifications	: 36
c 
c CURRENT OPTIMUM=-5640
c Current CPU time (ms) : 365.253
c starts	: 17
c conflicts	: 1090
c decisions	: 36096
c propagations	: 584541
c inspects	: 588967
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1090
c root simplifications	: 43
c 
c CURRENT OPTIMUM=-6174
c Current CPU time (ms) : 436.134
c starts	: 20
c conflicts	: 1353
c decisions	: 40006
c propagations	: 656947
c inspects	: 698754
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1353
c root simplifications	: 51
#### 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.77 0.93 0.91 2/55 22251
Raw data (stat): 22251 (runsolver) R 22250 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542074157 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0009 s]
Raw data (loadavg): 0.81 0.93 0.91 3/64 22260
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 17945 0 60 0 419 46 0 0 25 0 10 0 542074157 854220800 18968 4294967295 134512640 134569956 3221224400 3221214384 1131191248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208550 18968 13073 16 0 208534 0
vsize: 834200
[startup+20.0014 s]
Raw data (loadavg): 0.83 0.93 0.91 2/64 22260
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 17946 0 60 0 1349 46 0 0 25 0 10 0 542074157 854163456 19439 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208536 19439 13073 16 0 208520 0
vsize: 834144
[startup+30.001 s]
Raw data (loadavg): 0.86 0.93 0.91 2/64 22260
Raw data (stat): 22251 (java) S 22250 20838 20837 0 -1 0 17946 0 60 0 2264 46 0 0 25 0 10 0 542074157 854163456 19762 4294967295 134512640 134569956 3221224400 3221213860 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208536 19762 13073 16 0 208520 0
vsize: 834144
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.95 0.92 2/64 22260
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 17946 0 60 0 3185 47 0 0 25 0 10 0 542074157 853929984 20095 4294967295 134512640 134569956 3221224400 3221214620 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 20095 13073 16 0 208463 0
vsize: 833916
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.95 0.92 2/64 22260
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 17946 0 60 0 4121 47 0 0 25 0 10 0 542074157 853929984 20276 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 20276 13073 16 0 208463 0
vsize: 833916
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.95 0.92 2/64 22260
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 17947 0 60 0 5072 47 0 0 25 0 10 0 542074157 853929984 20372 4294967295 134512640 134569956 3221224400 3221214404 1077636039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 20372 13073 16 0 208463 0
vsize: 833916
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.95 0.92 4/65 22262
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18014 3 60 0 5981 50 0 0 24 0 11 0 542074157 857518080 23062 4294967295 134512640 134569956 3221224400 3221214348 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209355 23062 13073 16 0 209339 0
vsize: 837420
[startup+80.0252 s]
Raw data (loadavg): 1.12 0.99 0.93 2/65 22267
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18018 3 60 0 6775 50 0 0 25 0 11 0 542074157 861749248 27227 4294967295 134512640 134569956 3221224400 3221214832 1131427935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27227 13073 16 0 210372 0
vsize: 841552
[startup+90.0255 s]
Raw data (loadavg): 1.10 0.99 0.93 2/65 22267
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 7747 51 0 0 25 0 11 0 542074157 861749248 27230 4294967295 134512640 134569956 3221224400 3221214664 1131463402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27230 13073 16 0 210372 0
vsize: 841552
[startup+100.026 s]
Raw data (loadavg): 1.09 0.99 0.93 2/65 22267
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 8724 51 0 0 25 0 11 0 542074157 861749248 27240 4294967295 134512640 134569956 3221224400 3221214584 1131357216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27240 13073 16 0 210372 0
vsize: 841552
[startup+110.027 s]
Raw data (loadavg): 1.07 0.99 0.93 2/65 22267
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 9688 51 0 0 25 0 11 0 542074157 861749248 27244 4294967295 134512640 134569956 3221224400 3221214672 1131232460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27244 13073 16 0 210372 0
vsize: 841552
[startup+120.027 s]
Raw data (loadavg): 1.06 0.99 0.93 2/65 22267
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 10662 51 0 0 25 0 11 0 542074157 861749248 27244 4294967295 134512640 134569956 3221224400 3221214800 1131427924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27244 13073 16 0 210372 0
vsize: 841552
[startup+130.026 s]
Raw data (loadavg): 1.05 0.99 0.93 2/65 22268
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 11625 52 0 0 25 0 11 0 542074157 861749248 27245 4294967295 134512640 134569956 3221224400 3221214800 1131427616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27245 13073 16 0 210372 0
vsize: 841552
[startup+140.027 s]
Raw data (loadavg): 1.04 0.99 0.93 2/65 22270
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 12548 52 0 0 25 0 11 0 542074157 861749248 27391 4294967295 134512640 134569956 3221224400 3221214688 1131439833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27391 13073 16 0 210372 0
vsize: 841552
[startup+150.027 s]
Raw data (loadavg): 1.04 0.99 0.93 2/65 22270
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 13508 52 0 0 25 0 11 0 542074157 861749248 27429 4294967295 134512640 134569956 3221224400 3221214672 1131233161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27429 13073 16 0 210372 0
vsize: 841552
[startup+160.028 s]
Raw data (loadavg): 1.03 0.99 0.93 2/65 22270
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 14482 52 0 0 25 0 11 0 542074157 861749248 27500 4294967295 134512640 134569956 3221224400 3221214800 1131427630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27500 13073 16 0 210372 0
vsize: 841552
[startup+170.031 s]
Raw data (loadavg): 1.02 0.99 0.93 2/65 22270
Raw data (stat): 22251 (java) S 22250 20838 20837 0 -1 0 18020 3 60 0 15435 52 0 0 25 0 11 0 542074157 861749248 27599 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27599 13073 16 0 210372 0
vsize: 841552
[startup+180.031 s]
Raw data (loadavg): 1.02 0.99 0.93 2/65 22270
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 16399 52 0 0 25 0 11 0 542074157 861749248 27600 4294967295 134512640 134569956 3221224400 3221214800 1131427616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27600 13073 16 0 210372 0
vsize: 841552
[startup+190.032 s]
Raw data (loadavg): 1.02 0.99 0.93 2/65 22270
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 17376 52 0 0 25 0 11 0 542074157 861749248 27600 4294967295 134512640 134569956 3221224400 3221214648 1131326291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27600 13073 16 0 210372 0
vsize: 841552
[startup+200.032 s]
Raw data (loadavg): 1.01 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 18353 52 0 0 25 0 11 0 542074157 861749248 27657 4294967295 134512640 134569956 3221224400 3221214648 1131326433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27657 13073 16 0 210372 0
vsize: 841552
[startup+210.032 s]
Raw data (loadavg): 1.01 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 19318 52 0 0 25 0 11 0 542074157 861749248 27657 4294967295 134512640 134569956 3221224400 3221214800 1131427920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27657 13073 16 0 210372 0
vsize: 841552
[startup+220.034 s]
Raw data (loadavg): 1.01 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 20282 52 0 0 25 0 11 0 542074157 861749248 27780 4294967295 134512640 134569956 3221224400 3221214672 1131232811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27780 13073 16 0 210372 0
vsize: 841552
[startup+230.033 s]
Raw data (loadavg): 1.01 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 21270 52 0 0 25 0 11 0 542074157 861749248 27795 4294967295 134512640 134569956 3221224400 3221214800 1131427626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27795 13073 16 0 210372 0
vsize: 841552
[startup+240.033 s]
Raw data (loadavg): 1.01 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 22236 52 0 0 25 0 11 0 542074157 861749248 27886 4294967295 134512640 134569956 3221224400 3221214800 1131427833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 27886 13073 16 0 210372 0
vsize: 841552
[startup+250.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 23216 52 0 0 25 0 11 0 542074157 861749248 28012 4294967295 134512640 134569956 3221224400 3221214760 1131513192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28012 13073 16 0 210372 0
vsize: 841552
[startup+260.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 24187 52 0 0 25 0 11 0 542074157 861749248 28050 4294967295 134512640 134569956 3221224400 3221214800 1131427904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28050 13073 16 0 210372 0
vsize: 841552
[startup+270.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 25169 52 0 0 25 0 11 0 542074157 861749248 28167 4294967295 134512640 134569956 3221224400 3221214648 1131326284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28167 13073 16 0 210372 0
vsize: 841552
[startup+280.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 26138 52 0 0 25 0 11 0 542074157 861749248 28330 4294967295 134512640 134569956 3221224400 3221214760 1131513084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28330 13073 16 0 210372 0
vsize: 841552
[startup+290.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22272
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 27123 52 0 0 25 0 11 0 542074157 861749248 28369 4294967295 134512640 134569956 3221224400 3221214648 1131326423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28369 13073 16 0 210372 0
vsize: 841552
[startup+300.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22273
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 28094 52 0 0 25 0 11 0 542074157 861749248 28369 4294967295 134512640 134569956 3221224400 3221214800 1131428104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210388 28369 13073 16 0 210372 0
vsize: 841552
[startup+310.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22273
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 29063 52 0 0 25 0 11 0 542074157 861749248 28409 4294967295 134512640 134569956 3221224400 3221214760 1131518100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28409 13073 16 0 210372 0
vsize: 841552
[startup+320.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22273
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 30016 52 0 0 25 0 11 0 542074157 861749248 28453 4294967295 134512640 134569956 3221224400 3221214648 1131326302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28453 13073 16 0 210372 0
vsize: 841552
[startup+330.051 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22273
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 30969 52 0 0 25 0 11 0 542074157 861749248 28552 4294967295 134512640 134569956 3221224400 3221214760 1131513802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28552 13073 16 0 210372 0
vsize: 841552
[startup+340.054 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22273
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 31939 52 0 0 25 0 11 0 542074157 861749248 28568 4294967295 134512640 134569956 3221224400 3221214800 1131427626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28568 13073 16 0 210372 0
vsize: 841552
[startup+350.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22273
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 32897 52 0 0 25 0 11 0 542074157 861749248 28616 4294967295 134512640 134569956 3221224400 3221214648 1131326291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28616 13073 16 0 210372 0
vsize: 841552
[startup+360.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22273
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 33887 52 0 0 25 0 11 0 542074157 861749248 28634 4294967295 134512640 134569956 3221224400 3221214800 1131428104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28634 13073 16 0 210372 0
vsize: 841552
[startup+370.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22273
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 34828 52 0 0 25 0 11 0 542074157 861749248 28686 4294967295 134512640 134569956 3221224400 3221214672 1131233480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28686 13073 16 0 210372 0
vsize: 841552
[startup+380.069 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22274
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 35788 53 0 0 25 0 11 0 542074157 861749248 28838 4294967295 134512640 134569956 3221224400 3221214648 1131326272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28838 13073 16 0 210372 0
vsize: 841552
[startup+390.074 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22274
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 36753 53 0 0 25 0 11 0 542074157 861749248 28946 4294967295 134512640 134569956 3221224400 3221214672 1131232453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 28946 13073 16 0 210372 0
vsize: 841552
[startup+400.074 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22274
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 37729 53 0 0 25 0 11 0 542074157 861749248 29006 4294967295 134512640 134569956 3221224400 3221214800 1131427616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29006 13073 16 0 210372 0
vsize: 841552
[startup+410.076 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22274
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 38692 53 0 0 25 0 11 0 542074157 861749248 29097 4294967295 134512640 134569956 3221224400 3221214648 1131326433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29097 13073 16 0 210372 0
vsize: 841552
[startup+420.076 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22274
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 39668 53 0 0 25 0 11 0 542074157 861749248 29184 4294967295 134512640 134569956 3221224400 3221214800 1131427904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29184 13073 16 0 210372 0
vsize: 841552
[startup+430.075 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22274
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 40633 53 0 0 25 0 11 0 542074157 861749248 29282 4294967295 134512640 134569956 3221224400 3221214648 1131326288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29282 13073 16 0 210372 0
vsize: 841552
[startup+440.075 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22274
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 41597 53 0 0 25 0 11 0 542074157 861749248 29348 4294967295 134512640 134569956 3221224400 3221214624 1131463394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29348 13073 16 0 210372 0
vsize: 841552
[startup+450.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22275
Raw data (stat): 22251 (java) S 22250 20838 20837 0 -1 0 18020 3 60 0 42533 53 0 0 25 0 11 0 542074157 861749248 29496 4294967295 134512640 134569956 3221224400 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29496 13073 16 0 210372 0
vsize: 841552
[startup+460.085 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22275
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 43486 53 0 0 25 0 11 0 542074157 861749248 29560 4294967295 134512640 134569956 3221224400 3221214800 1131427935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29560 13073 16 0 210372 0
vsize: 841552
[startup+470.085 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22275
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 44474 53 0 0 25 0 11 0 542074157 861749248 29602 4294967295 134512640 134569956 3221224400 3221214816 1131474243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29602 13073 16 0 210372 0
vsize: 841552
[startup+480.085 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22275
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 45436 53 0 0 25 0 11 0 542074157 861749248 29661 4294967295 134512640 134569956 3221224400 3221214624 1131471372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29661 13073 16 0 210372 0
vsize: 841552
[startup+490.088 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22275
Raw data (stat): 22251 (java) S 22250 20838 20837 0 -1 0 18020 3 60 0 46405 53 0 0 25 0 11 0 542074157 861749248 29722 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29722 13073 16 0 210372 0
vsize: 841552
[startup+500.089 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) S 22250 20838 20837 0 -1 0 18020 3 60 0 47342 53 0 0 25 0 11 0 542074157 861749248 29850 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 29850 13073 16 0 210372 0
vsize: 841552
[startup+510.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) S 22250 20838 20837 0 -1 0 18020 3 60 0 48256 53 0 0 25 0 11 0 542074157 861749248 30018 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30018 13073 16 0 210372 0
vsize: 841552
[startup+520.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 49205 53 0 0 25 0 11 0 542074157 861749248 30153 4294967295 134512640 134569956 3221224400 3221214800 1131427634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30153 13073 16 0 210372 0
vsize: 841552
[startup+530.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 50172 54 0 0 25 0 11 0 542074157 861749248 30255 4294967295 134512640 134569956 3221224400 3221214800 1131427924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30255 13073 16 0 210372 0
vsize: 841552
[startup+540.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 51130 54 0 0 25 0 11 0 542074157 861749248 30328 4294967295 134512640 134569956 3221224400 3221214648 1131326288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30328 13073 16 0 210372 0
vsize: 841552
[startup+550.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 52098 54 0 0 25 0 11 0 542074157 861749248 30399 4294967295 134512640 134569956 3221224400 3221214624 1131463437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30399 13073 16 0 210372 0
vsize: 841552
[startup+560.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 53059 54 0 0 25 0 11 0 542074157 861749248 30509 4294967295 134512640 134569956 3221224400 3221214704 1131273268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30509 13073 16 0 210372 0
vsize: 841552
[startup+570.1 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 54010 54 0 0 25 0 11 0 542074157 861749248 30647 4294967295 134512640 134569956 3221224400 3221214704 1131274129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30647 13073 16 0 210372 0
vsize: 841552
[startup+580.106 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 54987 54 0 0 25 0 11 0 542074157 861749248 30705 4294967295 134512640 134569956 3221224400 3221214800 1131427616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30705 13073 16 0 210372 0
vsize: 841552
[startup+590.106 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 55948 54 0 0 24 0 11 0 542074157 861749248 30781 4294967295 134512640 134569956 3221224400 3221214552 1131273394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30781 13073 16 0 210372 0
vsize: 841552
[startup+600.107 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 56916 54 0 0 25 0 11 0 542074157 861749248 30925 4294967295 134512640 134569956 3221224400 3221214648 1131699412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30925 13073 16 0 210372 0
vsize: 841552
[startup+610.107 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 57896 54 0 0 25 0 11 0 542074157 861749248 30957 4294967295 134512640 134569956 3221224400 3221214552 1131273394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 30957 13073 16 0 210372 0
vsize: 841552
[startup+620.107 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 58878 54 0 0 25 0 11 0 542074157 861749248 31080 4294967295 134512640 134569956 3221224400 3221214800 1131427920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31080 13073 16 0 210372 0
vsize: 841552
[startup+630.107 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 59863 54 0 0 25 0 11 0 542074157 861749248 31083 4294967295 134512640 134569956 3221224400 3221214544 1131600393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31083 13073 16 0 210372 0
vsize: 841552
[startup+640.107 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 60848 54 0 0 25 0 11 0 542074157 861749248 31127 4294967295 134512640 134569956 3221224400 3221214544 1131601621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31127 13073 16 0 210372 0
vsize: 841552
[startup+650.107 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 61837 54 0 0 25 0 11 0 542074157 861749248 31211 4294967295 134512640 134569956 3221224400 3221214544 1131600014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31211 13073 16 0 210372 0
vsize: 841552
[startup+660.109 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 62832 54 0 0 25 0 11 0 542074157 861749248 31211 4294967295 134512640 134569956 3221224400 3221214648 1131326440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31211 13073 16 0 210372 0
vsize: 841552
[startup+670.109 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 63826 54 0 0 25 0 11 0 542074157 861749248 31214 4294967295 134512640 134569956 3221224400 3221214648 1131699356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31214 13073 16 0 210372 0
vsize: 841552
[startup+680.108 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 64821 54 0 0 25 0 11 0 542074157 861749248 31220 4294967295 134512640 134569956 3221224400 3221214648 1131326288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31220 13073 16 0 210372 0
vsize: 841552
[startup+690.108 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 65813 54 0 0 25 0 11 0 542074157 861749248 31236 4294967295 134512640 134569956 3221224400 3221214760 1131516727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31236 13073 16 0 210372 0
vsize: 841552
[startup+700.109 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 66806 54 0 0 25 0 11 0 542074157 861749248 31257 4294967295 134512640 134569956 3221224400 3221214544 1131601614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31257 13073 16 0 210372 0
vsize: 841552
[startup+710.109 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 67797 54 0 0 25 0 11 0 542074157 861749248 31259 4294967295 134512640 134569956 3221224400 3221214552 1131273433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31259 13073 16 0 210372 0
vsize: 841552
[startup+720.109 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 68788 54 0 0 25 0 11 0 542074157 861749248 31259 4294967295 134512640 134569956 3221224400 3221214648 1131326302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31259 13073 16 0 210372 0
vsize: 841552
[startup+730.108 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 69777 54 0 0 25 0 11 0 542074157 861749248 31259 4294967295 134512640 134569956 3221224400 3221214552 1131273500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31259 13073 16 0 210372 0
vsize: 841552
[startup+740.109 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 70765 54 0 0 25 0 11 0 542074157 861749248 31261 4294967295 134512640 134569956 3221224400 3221214648 1131326298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31261 13073 16 0 210372 0
vsize: 841552
[startup+750.109 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 71755 54 0 0 25 0 11 0 542074157 861749248 31265 4294967295 134512640 134569956 3221224400 3221214648 1131326280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210388 31265 13073 16 0 210372 0
vsize: 841552
[startup+760.11 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 72741 54 0 0 25 0 11 0 542074157 861749248 31299 4294967295 134512640 134569956 3221224400 3221214552 1131273329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31299 13073 16 0 210372 0
vsize: 841552
[startup+770.11 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 73729 54 0 0 25 0 11 0 542074157 861749248 31329 4294967295 134512640 134569956 3221224400 3221214544 1131600950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31329 13073 16 0 210372 0
vsize: 841552
[startup+780.11 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 74717 55 0 0 25 0 11 0 542074157 861749248 31365 4294967295 134512640 134569956 3221224400 3221214552 1131273449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31365 13073 16 0 210372 0
vsize: 841552
[startup+790.11 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22277
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 75704 55 0 0 25 0 11 0 542074157 861749248 31369 4294967295 134512640 134569956 3221224400 3221214800 1131427600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31369 13073 16 0 210372 0
vsize: 841552
[startup+800.11 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 76690 55 0 0 25 0 11 0 542074157 861749248 31393 4294967295 134512640 134569956 3221224400 3221214768 1131373550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31393 13073 16 0 210372 0
vsize: 841552
[startup+810.111 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 77676 55 0 0 25 0 11 0 542074157 861749248 31393 4294967295 134512640 134569956 3221224400 3221214648 1131326302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31393 13073 16 0 210372 0
vsize: 841552
[startup+820.111 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 78643 55 0 0 25 0 11 0 542074157 861749248 31393 4294967295 134512640 134569956 3221224400 3221214648 1131326302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31393 13073 16 0 210372 0
vsize: 841552
[startup+830.111 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 79623 55 0 0 25 0 11 0 542074157 861749248 31403 4294967295 134512640 134569956 3221224400 3221214648 1131326433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31403 13073 16 0 210372 0
vsize: 841552
[startup+840.112 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 80604 55 0 0 25 0 11 0 542074157 861749248 31446 4294967295 134512640 134569956 3221224400 3221214664 1131554731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31446 13073 16 0 210372 0
vsize: 841552
[startup+850.112 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 81581 55 0 0 25 0 11 0 542074157 861749248 31469 4294967295 134512640 134569956 3221224400 3221214552 1131273394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31469 13073 16 0 210372 0
vsize: 841552
[startup+860.113 s]
Raw data (loadavg): 1.00 0.99 0.93 3/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 82563 55 0 0 25 0 11 0 542074157 861749248 31469 4294967295 134512640 134569956 3221224400 3221214800 1131427810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31469 13073 16 0 210372 0
vsize: 841552
[startup+870.113 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 83550 55 0 0 25 0 11 0 542074157 861749248 31617 4294967295 134512640 134569956 3221224400 3221214648 1131699412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31617 13073 16 0 210372 0
vsize: 841552
[startup+880.114 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 84542 55 0 0 25 0 11 0 542074157 861749248 31645 4294967295 134512640 134569956 3221224400 3221214648 1131326423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31645 13073 16 0 210372 0
vsize: 841552
[startup+890.114 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 85534 55 0 0 25 0 11 0 542074157 861749248 31656 4294967295 134512640 134569956 3221224400 3221214648 1131326284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31656 13073 16 0 210372 0
vsize: 841552
[startup+900.114 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 86528 55 0 0 25 0 11 0 542074157 861749248 31658 4294967295 134512640 134569956 3221224400 3221214648 1131326433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31658 13073 16 0 210372 0
vsize: 841552
[startup+910.114 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 87518 55 0 0 25 0 11 0 542074157 861749248 31679 4294967295 134512640 134569956 3221224400 3221214544 1131600734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31679 13073 16 0 210372 0
vsize: 841552
[startup+920.114 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 88510 55 0 0 25 0 11 0 542074157 861749248 31713 4294967295 134512640 134569956 3221224400 3221214552 1131273213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31713 13073 16 0 210372 0
vsize: 841552
[startup+930.113 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 89503 55 0 0 25 0 11 0 542074157 861749248 31713 4294967295 134512640 134569956 3221224400 3221214648 1131699363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210388 31713 13073 16 0 210372 0
vsize: 841552
[startup+940.114 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 90492 55 0 0 25 0 11 0 542074157 861749248 31717 4294967295 134512640 134569956 3221224400 3221214648 1131699386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31717 13073 16 0 210372 0
vsize: 841552
[startup+950.115 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 91476 55 0 0 25 0 11 0 542074157 861749248 31720 4294967295 134512640 134569956 3221224400 3221214704 1131273261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31720 13073 16 0 210372 0
vsize: 841552
[startup+960.116 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 92461 55 0 0 25 0 11 0 542074157 861749248 31722 4294967295 134512640 134569956 3221224400 3221214672 1131232736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31722 13073 16 0 210372 0
vsize: 841552
[startup+970.116 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 93444 56 0 0 25 0 11 0 542074157 861749248 31740 4294967295 134512640 134569956 3221224400 3221214760 1131518071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31740 13073 16 0 210372 0
vsize: 841552
[startup+980.117 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 94429 56 0 0 25 0 11 0 542074157 861749248 31771 4294967295 134512640 134569956 3221224400 3221214672 1131233546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31771 13073 16 0 210372 0
vsize: 841552
[startup+990.117 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 95413 56 0 0 25 0 11 0 542074157 861749248 31805 4294967295 134512640 134569956 3221224400 3221214552 1131273433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31805 13073 16 0 210372 0
vsize: 841552
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 96403 56 0 0 25 0 11 0 542074157 861749248 31817 4294967295 134512640 134569956 3221224400 3221214624 1131177497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31817 13073 16 0 210372 0
vsize: 841552
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 97393 56 0 0 25 0 11 0 542074157 861749248 31817 4294967295 134512640 134569956 3221224400 3221214648 1131326280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31817 13073 16 0 210372 0
vsize: 841552
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 98377 56 0 0 25 0 11 0 542074157 861749248 31844 4294967295 134512640 134569956 3221224400 3221214648 1131326280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31844 13073 16 0 210372 0
vsize: 841552
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 99360 56 0 0 25 0 11 0 542074157 861749248 31861 4294967295 134512640 134569956 3221224400 3221214552 1131273481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31861 13073 16 0 210372 0
vsize: 841552
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 100348 56 0 0 25 0 11 0 542074157 861749248 31884 4294967295 134512640 134569956 3221224400 3221214672 1131232453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31884 13073 16 0 210372 0
vsize: 841552
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 101336 56 0 0 25 0 11 0 542074157 861749248 31890 4294967295 134512640 134569956 3221224400 3221214648 1131326291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31890 13073 16 0 210372 0
vsize: 841552
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 102323 56 0 0 25 0 11 0 542074157 861749248 31909 4294967295 134512640 134569956 3221224400 3221214800 1131427827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31909 13073 16 0 210372 0
vsize: 841552
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 103308 56 0 0 25 0 11 0 542074157 861749248 31932 4294967295 134512640 134569956 3221224400 3221214648 1131326288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31932 13073 16 0 210372 0
vsize: 841552
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 104284 56 0 0 25 0 11 0 542074157 861749248 31950 4294967295 134512640 134569956 3221224400 3221214664 1131551556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31950 13073 16 0 210372 0
vsize: 841552
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22279
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 105259 56 0 0 25 0 11 0 542074157 861749248 31951 4294967295 134512640 134569956 3221224400 3221214648 1131326302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31951 13073 16 0 210372 0
vsize: 841552
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 106238 56 0 0 25 0 11 0 542074157 861749248 31951 4294967295 134512640 134569956 3221224400 3221214800 1131427928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31951 13073 16 0 210372 0
vsize: 841552
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 107206 56 0 0 25 0 11 0 542074157 861749248 31986 4294967295 134512640 134569956 3221224400 3221214648 1131326288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 31986 13073 16 0 210372 0
vsize: 841552
[startup+1120.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 108170 56 0 0 25 0 11 0 542074157 861749248 32010 4294967295 134512640 134569956 3221224400 3221214704 1131233226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32010 13073 16 0 210372 0
vsize: 841552
[startup+1130.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 109134 56 0 0 25 0 11 0 542074157 861749248 32034 4294967295 134512640 134569956 3221224400 3221214648 1131326280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210388 32034 13073 16 0 210372 0
vsize: 841552
[startup+1140.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 110090 56 0 0 25 0 11 0 542074157 861749248 32101 4294967295 134512640 134569956 3221224400 3221214544 1131600657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32101 13073 16 0 210372 0
vsize: 841552
[startup+1150.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 111058 56 0 0 25 0 11 0 542074157 861749248 32155 4294967295 134512640 134569956 3221224400 3221214800 1131427628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32155 13073 16 0 210372 0
vsize: 841552
[startup+1160.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 112024 56 0 0 25 0 11 0 542074157 861749248 32196 4294967295 134512640 134569956 3221224400 3221214544 1131601603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32196 13073 16 0 210372 0
vsize: 841552
[startup+1170.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 112992 56 0 0 25 0 11 0 542074157 861749248 32293 4294967295 134512640 134569956 3221224400 3221214688 1131438808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32293 13073 16 0 210372 0
vsize: 841552
[startup+1180.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 113964 56 0 0 25 0 11 0 542074157 861749248 32410 4294967295 134512640 134569956 3221224400 3221214552 1131273394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32410 13073 16 0 210372 0
vsize: 841552
[startup+1190.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 114917 56 0 0 25 0 11 0 542074157 861749248 32645 4294967295 134512640 134569956 3221224400 3221214672 1131232961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32645 13073 16 0 210372 0
vsize: 841552
[startup+1200.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 115886 56 0 0 25 0 11 0 542074157 861749248 32685 4294967295 134512640 134569956 3221224400 3221214704 1131273268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32685 13073 16 0 210372 0
vsize: 841552
[startup+1210.2 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 116844 57 0 0 25 0 11 0 542074157 861749248 32745 4294967295 134512640 134569956 3221224400 3221214768 1131368858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32745 13073 16 0 210372 0
vsize: 841552
[startup+1220.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) S 22250 20838 20837 0 -1 0 18020 3 60 0 117797 57 0 0 25 0 11 0 542074157 861749248 32824 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32824 13073 16 0 210372 0
vsize: 841552
[startup+1230.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 118763 57 0 0 24 0 11 0 542074157 861749248 32875 4294967295 134512640 134569956 3221224400 3221214672 1131232846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32875 13073 16 0 210372 0
vsize: 841552
[startup+1240.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 119724 57 0 0 25 0 11 0 542074157 861749248 32990 4294967295 134512640 134569956 3221224400 3221214704 1131273642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 32990 13073 16 0 210372 0
vsize: 841552
[startup+1250.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/65 22281
Raw data (stat): 22251 (java) R 22250 20838 20837 0 -1 0 18020 3 60 0 120682 57 0 0 25 0 11 0 542074157 861749248 33150 4294967295 134512640 134569956 3221224400 3221214704 1131232650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210388 33150 13073 16 0 210372 0
vsize: 841552
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.35 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 22283
Raw data (stat): 22251 (java) Z 22250 20838 20837 0 -1 1036 18020 20094 60 2 120690 63 5186 53 25 0 1 0 542074157 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): 1250.35
CPU time (s): 1259.94
CPU user time (s): 1258.77
CPU system time (s): 1.17182
CPU usage (%): 100.767
Max. virtual memory (Kb): 841552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####