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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM3fce91583b30a82646d8d8e778b97a89
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved NO
Number of terms in the objective function 288
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 288
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 288
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.05884
Number of variables2112
Total number of constraints7132
Number of constraints which are clauses4128
Number of constraints which are cardinality constraints (but not clauses)2328
Number of constraints which are nor clauses,nor cardinality constraints676
Minimum length of a constraint1
Maximum length of a constraint32

Trace number 13627

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-20 21:04:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14647 boxname=wulflinc1 idbench=1127 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos1.opb
IDLAUNCH: 14647
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        825148 kB
Buffers:         19228 kB
Cached:         162536 kB
SwapCached:          0 kB
Active:          84832 kB
Inactive:       100092 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        824896 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           7220 kB
Slab:            18740 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:25:26 (client local time) WITH STATUS 143 IN 1226.56 SECONDS
stats: 14647 7 1226.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos1.opb
c reading problem 
c [nbvar=2112]
c [nbconstr=7132]
c time 6.566
c #vars     2112
c #clauses  5120
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=51
c Current CPU time (ms) : 17.691
c starts	: 2
c conflicts	: 152
c decisions	: 4262
c propagations	: 18424
c inspects	: 27944
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 152
c root simplifications	: 4
c 
c CURRENT OPTIMUM=46
c Current CPU time (ms) : 41.716
c starts	: 4
c conflicts	: 303
c decisions	: 8051
c propagations	: 37242
c inspects	: 52555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 303
c root simplifications	: 6
c 
c CURRENT OPTIMUM=45
c Current CPU time (ms) : 65.332
c starts	: 6
c conflicts	: 436
c decisions	: 12201
c propagations	: 57426
c inspects	: 78535
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 436
c root simplifications	: 9
c 
c CURRENT OPTIMUM=41
c Current CPU time (ms) : 90.2
c starts	: 8
c conflicts	: 573
c decisions	: 15775
c propagations	: 75194
c inspects	: 107092
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 573
c root simplifications	: 12
c 
c CURRENT OPTIMUM=39
c Current CPU time (ms) : 146.833
c starts	: 10
c conflicts	: 707
c decisions	: 18562
c propagations	: 96471
c inspects	: 144177
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 707
c root simplifications	: 14
c 
c CURRENT OPTIMUM=37
c Current CPU time (ms) : 210.504
c starts	: 11
c conflicts	: 802
c decisions	: 20267
c propagations	: 115001
c inspects	: 176251
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 802
c root simplifications	: 15
#### 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.61 0.87 0.85 2/56 13691
Raw data (stat): 13691 (runsolver) R 13690 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 424462713 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.90 0.92 0.87 4/66 13701
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18076 0 1 0 727 40 0 0 25 0 11 0 424462713 863776768 20979 4294967295 134512640 134569956 3221224400 3221214576 1130899842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 20979 13073 16 0 210867 0
vsize: 843532
[startup+20.0013 s]
Raw data (loadavg): 1.22 0.99 0.89 3/66 13704
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18085 4 1 0 1561 40 0 0 25 0 11 0 424462713 868311040 23612 4294967295 134512640 134569956 3221224400 3221214856 1131256406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211990 23612 13073 16 0 211974 0
vsize: 847960
[startup+30.002 s]
Raw data (loadavg): 1.26 1.00 0.89 2/66 13704
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18085 4 1 0 2456 41 0 0 25 0 11 0 424462713 868286464 23821 4294967295 134512640 134569956 3221224400 3221214696 1131683441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211984 23821 13073 16 0 211968 0
vsize: 847936
[startup+40.0017 s]
Raw data (loadavg): 1.22 1.00 0.90 2/66 13704
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18085 4 1 0 3386 41 0 0 25 0 11 0 424462713 868286464 23823 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211984 23823 13073 16 0 211968 0
vsize: 847936
[startup+50.0031 s]
Raw data (loadavg): 1.26 1.02 0.90 2/66 13705
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18085 4 1 0 4310 41 0 0 25 0 11 0 424462713 878002176 26803 4294967295 134512640 134569956 3221224400 3221214840 1131330147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214356 26803 13073 16 0 214340 0
vsize: 857424
[startup+60.0034 s]
Raw data (loadavg): 1.22 1.02 0.90 2/66 13705
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18086 4 1 0 5264 41 0 0 25 0 11 0 424462713 874242048 25953 4294967295 134512640 134569956 3221224400 3221214736 1131427217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213438 25953 13073 16 0 213422 0
vsize: 853752
[startup+70.0042 s]
Raw data (loadavg): 1.27 1.03 0.91 2/66 13706
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 6222 41 0 0 25 0 11 0 424462713 874242048 26123 4294967295 134512640 134569956 3221224400 3221214736 1131427742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213438 26123 13073 16 0 213422 0
vsize: 853752
[startup+80.0049 s]
Raw data (loadavg): 1.22 1.03 0.91 2/66 13706
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 7175 41 0 0 25 0 11 0 424462713 871534592 25509 4294967295 134512640 134569956 3221224400 3221214736 1131428441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212777 25509 13073 16 0 212761 0
vsize: 851108
[startup+90.0047 s]
Raw data (loadavg): 1.19 1.03 0.91 2/66 13706
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 8132 41 0 0 24 0 11 0 424462713 871534592 25637 4294967295 134512640 134569956 3221224400 3221214840 1131330457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212777 25637 13073 16 0 212761 0
vsize: 851108
[startup+100.005 s]
Raw data (loadavg): 1.16 1.03 0.91 2/66 13707
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 9078 42 0 0 25 0 11 0 424462713 870977536 25528 4294967295 134512640 134569956 3221224400 3221214624 1131467466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212641 25528 13073 16 0 212625 0
vsize: 850564
[startup+110.007 s]
Raw data (loadavg): 1.13 1.03 0.91 2/66 13707
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 10024 42 0 0 25 0 11 0 424462713 868286464 25068 4294967295 134512640 134569956 3221224400 3221214672 1131409707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25068 13073 16 0 211968 0
vsize: 847936
[startup+120.007 s]
Raw data (loadavg): 1.11 1.03 0.91 2/66 13707
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 10990 42 0 0 25 0 11 0 424462713 868286464 25112 4294967295 134512640 134569956 3221224400 3221214624 1131465361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25112 13073 16 0 211968 0
vsize: 847936
[startup+130.008 s]
Raw data (loadavg): 1.10 1.02 0.91 2/66 13707
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 11950 42 0 0 25 0 11 0 424462713 868286464 25335 4294967295 134512640 134569956 3221224400 3221214504 1131607768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25335 13073 16 0 211968 0
vsize: 847936
[startup+140.008 s]
Raw data (loadavg): 1.08 1.02 0.91 2/66 13707
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 12937 42 0 0 25 0 11 0 424462713 868286464 25381 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25381 13073 16 0 211968 0
vsize: 847936
[startup+150.013 s]
Raw data (loadavg): 1.07 1.02 0.91 2/66 13708
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 13918 42 0 0 25 0 11 0 424462713 868286464 25406 4294967295 134512640 134569956 3221224400 3221214612 1080204192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25406 13073 16 0 211968 0
vsize: 847936
[startup+160.013 s]
Raw data (loadavg): 1.06 1.02 0.91 2/66 13708
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 14881 43 0 0 25 0 11 0 424462713 868286464 25433 4294967295 134512640 134569956 3221224400 3221214840 1131330144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25433 13073 16 0 211968 0
vsize: 847936
[startup+170.013 s]
Raw data (loadavg): 1.05 1.02 0.91 2/66 13708
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 15843 43 0 0 25 0 11 0 424462713 868286464 25458 4294967295 134512640 134569956 3221224400 3221214736 1131427077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25458 13073 16 0 211968 0
vsize: 847936
[startup+180.014 s]
Raw data (loadavg): 1.04 1.02 0.91 2/66 13708
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 16810 43 0 0 25 0 11 0 424462713 868286464 25481 4294967295 134512640 134569956 3221224400 3221214896 1131702512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25481 13073 16 0 211968 0
vsize: 847936
[startup+190.018 s]
Raw data (loadavg): 1.03 1.02 0.91 2/66 13708
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 17786 43 0 0 25 0 11 0 424462713 868286464 25661 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25661 13073 16 0 211968 0
vsize: 847936
[startup+200.019 s]
Raw data (loadavg): 1.03 1.02 0.91 2/66 13708
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 18774 43 0 0 24 0 11 0 424462713 868286464 25694 4294967295 134512640 134569956 3221224400 3221214612 1080204206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25694 13073 16 0 211968 0
vsize: 847936
[startup+210.019 s]
Raw data (loadavg): 1.02 1.02 0.91 2/66 13708
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 19764 43 0 0 25 0 11 0 424462713 868286464 25715 4294967295 134512640 134569956 3221224400 3221214664 1131214757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25715 13073 16 0 211968 0
vsize: 847936
[startup+220.023 s]
Raw data (loadavg): 1.02 1.02 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 20733 44 0 0 25 0 11 0 424462713 868286464 25740 4294967295 134512640 134569956 3221224400 3221214672 1131416313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25740 13073 16 0 211968 0
vsize: 847936
[startup+230.024 s]
Raw data (loadavg): 1.02 1.02 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 21697 44 0 0 25 0 11 0 424462713 868286464 25762 4294967295 134512640 134569956 3221224400 3221214736 1131430931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25762 13073 16 0 211968 0
vsize: 847936
[startup+240.024 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 22664 44 0 0 25 0 11 0 424462713 868286464 25788 4294967295 134512640 134569956 3221224400 3221214600 1131215291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25788 13073 16 0 211968 0
vsize: 847936
[startup+250.025 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 23628 44 0 0 25 0 11 0 424462713 868286464 25957 4294967295 134512640 134569956 3221224400 3221214736 1131429507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25957 13073 16 0 211968 0
vsize: 847936
[startup+260.026 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 24615 44 0 0 25 0 11 0 424462713 868286464 25990 4294967295 134512640 134569956 3221224400 3221214688 1131543458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 25990 13073 16 0 211968 0
vsize: 847936
[startup+270.026 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 25600 44 0 0 25 0 11 0 424462713 868286464 26022 4294967295 134512640 134569956 3221224400 3221214624 1131467456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26022 13073 16 0 211968 0
vsize: 847936
[startup+280.026 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 26578 44 0 0 25 0 11 0 424462713 868286464 26058 4294967295 134512640 134569956 3221224400 3221214736 1131429450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26058 13073 16 0 211968 0
vsize: 847936
[startup+290.028 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13709
Raw data (stat): 13691 (java) S 13690 12452 12451 0 -1 0 18087 4 1 0 27554 44 0 0 25 0 11 0 424462713 868286464 26087 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26087 13073 16 0 211968 0
vsize: 847936
[startup+300.028 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 28532 44 0 0 24 0 11 0 424462713 868286464 26116 4294967295 134512640 134569956 3221224400 3221214504 1131507615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26116 13073 16 0 211968 0
vsize: 847936
[startup+310.028 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13709
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 29513 44 0 0 22 0 11 0 424462713 868286464 26196 4294967295 134512640 134569956 3221224400 3221214624 1131465716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26196 13073 16 0 211968 0
vsize: 847936
[startup+320.028 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 30498 45 0 0 25 0 11 0 424462713 868286464 26233 4294967295 134512640 134569956 3221224400 3221214736 1131427111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26233 13073 16 0 211968 0
vsize: 847936
[startup+330.028 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 31486 45 0 0 25 0 11 0 424462713 868286464 26255 4294967295 134512640 134569956 3221224400 3221214736 1131428441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26255 13073 16 0 211968 0
vsize: 847936
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 32472 45 0 0 25 0 11 0 424462713 868286464 26277 4294967295 134512640 134569956 3221224400 3221214736 1131430716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26277 13073 16 0 211968 0
vsize: 847936
[startup+350.029 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 33458 45 0 0 25 0 11 0 424462713 868286464 26301 4294967295 134512640 134569956 3221224400 3221214504 1131506948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26301 13073 16 0 211968 0
vsize: 847936
[startup+360.031 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 34443 46 0 0 25 0 11 0 424462713 868286464 26325 4294967295 134512640 134569956 3221224400 3221214736 1131428707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26325 13073 16 0 211968 0
vsize: 847936
[startup+370.03 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 35429 46 0 0 25 0 11 0 424462713 868286464 26352 4294967295 134512640 134569956 3221224400 3221214600 1131249029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26352 13073 16 0 211968 0
vsize: 847936
[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 36417 46 0 0 25 0 11 0 424462713 868286464 26371 4294967295 134512640 134569956 3221224400 3221214624 1131469131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26371 13073 16 0 211968 0
vsize: 847936
[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 37405 46 0 0 25 0 11 0 424462713 868286464 26397 4294967295 134512640 134569956 3221224400 3221214624 1131470129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26397 13073 16 0 211968 0
vsize: 847936
[startup+400.032 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 38392 46 0 0 25 0 11 0 424462713 868286464 26429 4294967295 134512640 134569956 3221224400 3221214624 1131465683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26429 13073 16 0 211968 0
vsize: 847936
[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 39378 46 0 0 25 0 11 0 424462713 868286464 26451 4294967295 134512640 134569956 3221224400 3221214600 1131249029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26451 13073 16 0 211968 0
vsize: 847936
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 40359 47 0 0 25 0 11 0 424462713 868286464 26469 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26469 13073 16 0 211968 0
vsize: 847936
[startup+430.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 41340 47 0 0 25 0 11 0 424462713 868286464 26489 4294967295 134512640 134569956 3221224400 3221214840 1131330454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26489 13073 16 0 211968 0
vsize: 847936
[startup+440.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 42318 47 0 0 25 0 11 0 424462713 868286464 26513 4294967295 134512640 134569956 3221224400 3221214600 1131248871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26513 13073 16 0 211968 0
vsize: 847936
[startup+450.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 43301 47 0 0 25 0 11 0 424462713 868286464 26581 4294967295 134512640 134569956 3221224400 3221214840 1131330355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26581 13073 16 0 211968 0
vsize: 847936
[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 44284 47 0 0 25 0 11 0 424462713 868286464 26614 4294967295 134512640 134569956 3221224400 3221214672 1131417241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26614 13073 16 0 211968 0
vsize: 847936
[startup+470.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 45271 47 0 0 25 0 11 0 424462713 868286464 26638 4294967295 134512640 134569956 3221224400 3221214696 1131683424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26638 13073 16 0 211968 0
vsize: 847936
[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 46251 48 0 0 24 0 11 0 424462713 868286464 26672 4294967295 134512640 134569956 3221224400 3221214688 1131543555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26672 13073 16 0 211968 0
vsize: 847936
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 47231 48 0 0 25 0 11 0 424462713 868286464 26717 4294967295 134512640 134569956 3221224400 3221214736 1131431570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26717 13073 16 0 211968 0
vsize: 847936
[startup+500.049 s]
Raw data (loadavg): 1.07 1.02 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 48208 48 0 0 25 0 11 0 424462713 868286464 26746 4294967295 134512640 134569956 3221224400 3221214592 1131616381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26746 13073 16 0 211968 0
vsize: 847936
[startup+510.048 s]
Raw data (loadavg): 1.06 1.02 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 49188 48 0 0 25 0 11 0 424462713 868286464 26791 4294967295 134512640 134569956 3221224400 3221214624 1131467490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26791 13073 16 0 211968 0
vsize: 847936
[startup+520.048 s]
Raw data (loadavg): 1.05 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 50167 48 0 0 25 0 11 0 424462713 868286464 26837 4294967295 134512640 134569956 3221224400 3221214592 1131616527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26837 13073 16 0 211968 0
vsize: 847936
[startup+530.049 s]
Raw data (loadavg): 1.04 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 51149 49 0 0 25 0 11 0 424462713 868286464 26923 4294967295 134512640 134569956 3221224400 3221214672 1131417290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26923 13073 16 0 211968 0
vsize: 847936
[startup+540.05 s]
Raw data (loadavg): 1.04 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 52135 49 0 0 25 0 11 0 424462713 868286464 26953 4294967295 134512640 134569956 3221224400 3221214592 1131617605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26953 13073 16 0 211968 0
vsize: 847936
[startup+550.049 s]
Raw data (loadavg): 1.03 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 53121 49 0 0 25 0 11 0 424462713 868286464 26985 4294967295 134512640 134569956 3221224400 3221214736 1131427252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 26985 13073 16 0 211968 0
vsize: 847936
[startup+560.049 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 54108 49 0 0 25 0 11 0 424462713 868286464 27015 4294967295 134512640 134569956 3221224400 3221214624 1131465541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27015 13073 16 0 211968 0
vsize: 847936
[startup+570.05 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 55094 49 0 0 25 0 11 0 424462713 868286464 27045 4294967295 134512640 134569956 3221224400 3221214736 1131426991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27045 13073 16 0 211968 0
vsize: 847936
[startup+580.051 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 56079 49 0 0 25 0 11 0 424462713 868286464 27072 4294967295 134512640 134569956 3221224400 3221214696 1131683436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27072 13073 16 0 211968 0
vsize: 847936
[startup+590.051 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 57067 49 0 0 25 0 11 0 424462713 868286464 27093 4294967295 134512640 134569956 3221224400 3221214624 1131469603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27093 13073 16 0 211968 0
vsize: 847936
[startup+600.051 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 58047 50 0 0 25 0 11 0 424462713 868286464 27120 4294967295 134512640 134569956 3221224400 3221214600 1131248731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27120 13073 16 0 211968 0
vsize: 847936
[startup+610.051 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13711
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 59023 50 0 0 25 0 11 0 424462713 868286464 27144 4294967295 134512640 134569956 3221224400 3221214600 1131248954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27144 13073 16 0 211968 0
vsize: 847936
[startup+620.051 s]
Raw data (loadavg): 1.01 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 59994 50 0 0 25 0 11 0 424462713 868286464 27170 4294967295 134512640 134569956 3221224400 3221214840 1131330438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27170 13073 16 0 211968 0
vsize: 847936
[startup+630.052 s]
Raw data (loadavg): 1.01 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 60965 50 0 0 25 0 11 0 424462713 868286464 27196 4294967295 134512640 134569956 3221224400 3221214736 1131429352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27196 13073 16 0 211968 0
vsize: 847936
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 61946 50 0 0 25 0 11 0 424462713 868286464 27289 4294967295 134512640 134569956 3221224400 3221214624 1131469732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27289 13073 16 0 211968 0
vsize: 847936
[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 62931 51 0 0 25 0 11 0 424462713 868286464 27342 4294967295 134512640 134569956 3221224400 3221214624 1131466162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27342 13073 16 0 211968 0
vsize: 847936
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) S 13690 12452 12451 0 -1 0 18087 4 1 0 63918 51 0 0 25 0 11 0 424462713 868286464 27371 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27371 13073 16 0 211968 0
vsize: 847936
[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 64906 51 0 0 25 0 11 0 424462713 868286464 27405 4294967295 134512640 134569956 3221224400 3221214624 1131466693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27405 13073 16 0 211968 0
vsize: 847936
[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 65892 51 0 0 25 0 11 0 424462713 868286464 27438 4294967295 134512640 134569956 3221224400 3221214736 1131428683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27438 13073 16 0 211968 0
vsize: 847936
[startup+690.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 66878 51 0 0 25 0 11 0 424462713 868286464 27474 4294967295 134512640 134569956 3221224400 3221214672 1131409702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27474 13073 16 0 211968 0
vsize: 847936
[startup+700.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 67865 52 0 0 25 0 11 0 424462713 868286464 27501 4294967295 134512640 134569956 3221224400 3221214624 1131465374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27501 13073 16 0 211968 0
vsize: 847936
[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 68852 52 0 0 25 0 11 0 424462713 868286464 27534 4294967295 134512640 134569956 3221224400 3221214624 1131465459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27534 13073 16 0 211968 0
vsize: 847936
[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 69839 52 0 0 25 0 11 0 424462713 868286464 27564 4294967295 134512640 134569956 3221224400 3221214624 1131465188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27564 13073 16 0 211968 0
vsize: 847936
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 70824 52 0 0 25 0 11 0 424462713 868286464 27597 4294967295 134512640 134569956 3221224400 3221214624 1131465683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27597 13073 16 0 211968 0
vsize: 847936
[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 71808 52 0 0 25 0 11 0 424462713 868286464 27626 4294967295 134512640 134569956 3221224400 3221214736 1131430071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27626 13073 16 0 211968 0
vsize: 847936
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 72794 52 0 0 25 0 11 0 424462713 868286464 27655 4294967295 134512640 134569956 3221224400 3221214624 1131470071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27655 13073 16 0 211968 0
vsize: 847936
[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 73779 53 0 0 25 0 11 0 424462713 868286464 27696 4294967295 134512640 134569956 3221224400 3221214736 1131428687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27696 13073 16 0 211968 0
vsize: 847936
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 74764 53 0 0 25 0 11 0 424462713 868286464 27732 4294967295 134512640 134569956 3221224400 3221214884 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27732 13073 16 0 211968 0
vsize: 847936
[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 75752 53 0 0 25 0 11 0 424462713 868286464 27763 4294967295 134512640 134569956 3221224400 3221214624 1131466223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27763 13073 16 0 211968 0
vsize: 847936
[startup+790.072 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 76736 53 0 0 25 0 11 0 424462713 868286464 27793 4294967295 134512640 134569956 3221224400 3221214612 1080204216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27793 13073 16 0 211968 0
vsize: 847936
[startup+800.072 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 77721 53 0 0 25 0 11 0 424462713 868286464 27835 4294967295 134512640 134569956 3221224400 3221214592 1131618362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27835 13073 16 0 211968 0
vsize: 847936
[startup+810.086 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) S 13690 12452 12451 0 -1 0 18087 4 1 0 78709 53 0 0 25 0 11 0 424462713 868286464 27872 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27872 13073 16 0 211968 0
vsize: 847936
[startup+820.085 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 79694 54 0 0 25 0 11 0 424462713 868286464 27908 4294967295 134512640 134569956 3221224400 3221214840 1131330363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27908 13073 16 0 211968 0
vsize: 847936
[startup+830.087 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 80678 54 0 0 25 0 11 0 424462713 868286464 27944 4294967295 134512640 134569956 3221224400 3221214616 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27944 13073 16 0 211968 0
vsize: 847936
[startup+840.087 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 81664 54 0 0 25 0 11 0 424462713 868286464 27988 4294967295 134512640 134569956 3221224400 3221214672 1131417089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 27988 13073 16 0 211968 0
vsize: 847936
[startup+850.087 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 82640 54 0 0 25 0 11 0 424462713 868286464 28025 4294967295 134512640 134569956 3221224400 3221214600 1131249029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28025 13073 16 0 211968 0
vsize: 847936
[startup+860.087 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 83612 54 0 0 24 0 11 0 424462713 868286464 28063 4294967295 134512640 134569956 3221224400 3221214624 1131465279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28063 13073 16 0 211968 0
vsize: 847936
[startup+870.086 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 84591 54 0 0 25 0 11 0 424462713 868286464 28091 4294967295 134512640 134569956 3221224400 3221214600 1131248864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28091 13073 16 0 211968 0
vsize: 847936
[startup+880.087 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 85564 55 0 0 25 0 11 0 424462713 868286464 28117 4294967295 134512640 134569956 3221224400 3221214760 1131347696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28117 13073 16 0 211968 0
vsize: 847936
[startup+890.095 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) S 13690 12452 12451 0 -1 0 18087 4 1 0 86542 55 0 0 25 0 11 0 424462713 868286464 28212 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28212 13073 16 0 211968 0
vsize: 847936
[startup+900.095 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 87527 55 0 0 25 0 11 0 424462713 868286464 28266 4294967295 134512640 134569956 3221224400 3221214600 1131249142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28266 13073 16 0 211968 0
vsize: 847936
[startup+910.094 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13713
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 88515 55 0 0 25 0 11 0 424462713 868286464 28293 4294967295 134512640 134569956 3221224400 3221214696 1131683533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28293 13073 16 0 211968 0
vsize: 847936
[startup+920.103 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 89505 55 0 0 25 0 11 0 424462713 868286464 28313 4294967295 134512640 134569956 3221224400 3221214624 1131465683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28313 13073 16 0 211968 0
vsize: 847936
[startup+930.104 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 90491 55 0 0 25 0 11 0 424462713 868286464 28343 4294967295 134512640 134569956 3221224400 3221214600 1131248991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28343 13073 16 0 211968 0
vsize: 847936
[startup+940.104 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 91479 56 0 0 25 0 11 0 424462713 868286464 28367 4294967295 134512640 134569956 3221224400 3221214624 1131468354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28367 13073 16 0 211968 0
vsize: 847936
[startup+950.135 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 92470 56 0 0 25 0 11 0 424462713 868286464 28384 4294967295 134512640 134569956 3221224400 3221214672 1131591103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28384 13073 16 0 211968 0
vsize: 847936
[startup+960.135 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 93460 56 0 0 25 0 11 0 424462713 868286464 28398 4294967295 134512640 134569956 3221224400 3221214624 1131470129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28398 13073 16 0 211968 0
vsize: 847936
[startup+970.135 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 94447 56 0 0 25 0 11 0 424462713 868286464 28433 4294967295 134512640 134569956 3221224400 3221214592 1131616222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28433 13073 16 0 211968 0
vsize: 847936
[startup+980.136 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 95433 56 0 0 25 0 11 0 424462713 868286464 28457 4294967295 134512640 134569956 3221224400 3221214736 1131428277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28457 13073 16 0 211968 0
vsize: 847936
[startup+990.139 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 96421 56 0 0 25 0 11 0 424462713 868286464 28483 4294967295 134512640 134569956 3221224400 3221214840 1131330594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28483 13073 16 0 211968 0
vsize: 847936
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 97407 56 0 0 25 0 11 0 424462713 868286464 28505 4294967295 134512640 134569956 3221224400 3221214736 1131429507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28505 13073 16 0 211968 0
vsize: 847936
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 98394 56 0 0 25 0 11 0 424462713 868286464 28546 4294967295 134512640 134569956 3221224400 3221214672 1131416381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28546 13073 16 0 211968 0
vsize: 847936
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 99383 57 0 0 25 0 11 0 424462713 868286464 28569 4294967295 134512640 134569956 3221224400 3221214696 1131683436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28569 13073 16 0 211968 0
vsize: 847936
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 100370 57 0 0 25 0 11 0 424462713 868286464 28601 4294967295 134512640 134569956 3221224400 3221214600 1131249661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28601 13073 16 0 211968 0
vsize: 847936
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 101358 57 0 0 25 0 11 0 424462713 868286464 28632 4294967295 134512640 134569956 3221224400 3221214696 1131683439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28632 13073 16 0 211968 0
vsize: 847936
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 102347 57 0 0 25 0 11 0 424462713 868286464 28655 4294967295 134512640 134569956 3221224400 3221214592 1131616575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28655 13073 16 0 211968 0
vsize: 847936
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 103336 58 0 0 25 0 11 0 424462713 868286464 28681 4294967295 134512640 134569956 3221224400 3221214592 1131615900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211984 28681 13073 16 0 211968 0
vsize: 847936
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 104324 58 0 0 25 0 11 0 424462713 868286464 28705 4294967295 134512640 134569956 3221224400 3221214696 1131685070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28705 13073 16 0 211968 0
vsize: 847936
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 105313 58 0 0 25 0 11 0 424462713 868286464 28727 4294967295 134512640 134569956 3221224400 3221214840 1131330461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28727 13073 16 0 211968 0
vsize: 847936
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 106299 58 0 0 25 0 11 0 424462713 868286464 28745 4294967295 134512640 134569956 3221224400 3221214592 1131615900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28745 13073 16 0 211968 0
vsize: 847936
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 107284 58 0 0 25 0 11 0 424462713 868286464 28773 4294967295 134512640 134569956 3221224400 3221214592 1131616649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28773 13073 16 0 211968 0
vsize: 847936
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 108272 58 0 0 25 0 11 0 424462713 868286464 28805 4294967295 134512640 134569956 3221224400 3221214840 1131330144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28805 13073 16 0 211968 0
vsize: 847936
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 109253 59 0 0 24 0 11 0 424462713 868286464 28839 4294967295 134512640 134569956 3221224400 3221214736 1131427183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28839 13073 16 0 211968 0
vsize: 847936
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 110237 59 0 0 25 0 11 0 424462713 868286464 28865 4294967295 134512640 134569956 3221224400 3221214736 1131430566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28865 13073 16 0 211968 0
vsize: 847936
[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 111229 59 0 0 25 0 11 0 424462713 868286464 28893 4294967295 134512640 134569956 3221224400 3221214696 1131683548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28893 13073 16 0 211968 0
vsize: 847936
[startup+1150.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 112209 60 0 0 25 0 11 0 424462713 868286464 28927 4294967295 134512640 134569956 3221224400 3221214696 1131683456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28927 13073 16 0 211968 0
vsize: 847936
[startup+1160.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 113189 60 0 0 25 0 11 0 424462713 868286464 28971 4294967295 134512640 134569956 3221224400 3221214696 1131683447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 28971 13073 16 0 211968 0
vsize: 847936
[startup+1170.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 114171 60 0 0 25 0 11 0 424462713 868286464 29014 4294967295 134512640 134569956 3221224400 3221214664 1131214525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 29014 13073 16 0 211968 0
vsize: 847936
[startup+1180.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 115147 60 0 0 25 0 11 0 424462713 868286464 29067 4294967295 134512640 134569956 3221224400 3221214696 1131683533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 29067 13073 16 0 211968 0
vsize: 847936
[startup+1190.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 116126 60 0 0 25 0 11 0 424462713 868286464 29104 4294967295 134512640 134569956 3221224400 3221214696 1131683436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 29104 13073 16 0 211968 0
vsize: 847936
[startup+1200.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 117103 60 0 0 25 0 11 0 424462713 868286464 29139 4294967295 134512640 134569956 3221224400 3221214736 1131376648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211984 29139 13073 16 0 211968 0
vsize: 847936
[startup+1210.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13715
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 118078 60 0 0 25 0 11 0 424462713 868286464 29179 4294967295 134512640 134569956 3221224400 3221214600 1131249691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 29179 13073 16 0 211968 0
vsize: 847936
[startup+1220.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13717
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 119054 61 0 0 25 0 11 0 424462713 868286464 29231 4294967295 134512640 134569956 3221224400 3221214840 1131330152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 29231 13073 16 0 211968 0
vsize: 847936
[startup+1230.29 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13717
Raw data (stat): 13691 (java) R 13690 12452 12451 0 -1 0 18087 4 1 0 120033 61 0 0 25 0 11 0 424462713 868286464 29280 4294967295 134512640 134569956 3221224400 3221214736 1131433203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211984 29280 13073 16 0 211968 0
vsize: 847936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.42 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 13719
Raw data (stat): 13691 (java) Z 13690 12452 12451 0 -1 1036 18087 7394 1 0 120037 61 2528 28 25 0 1 0 424462713 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.42
CPU time (s): 1226.56
CPU user time (s): 1225.66
CPU system time (s): 0.902862
CPU usage (%): 99.6865
Max. virtual memory (Kb): 857424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####