Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/submitted/een/normalized-stein45.opb
MD5SUM34647f6a75058de4a92f0ff94f3c9005
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of terms in the objective function 45
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 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01484
Number of variables45
Total number of constraints331
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint45

Trace number 7142

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        808636 kB
Buffers:         36160 kB
Cached:         147148 kB
SwapCached:       3828 kB
Active:          67604 kB
Inactive:       122388 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808384 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30448 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 21:53:31 (client local time) WITH STATUS 143 IN 1250.87 SECONDS
stats: 5209 7 1250.87 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-stein45.opb
c reading problem 
c [nbvar=45]
c [nbconstr=331]
c time 0.82
c #vars     45
c #clauses  331
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=33
c Current CPU time (ms) : 0.932
c starts	: 1
c conflicts	: 0
c decisions	: 12
c propagations	: 45
c inspects	: 266
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=32
c Current CPU time (ms) : 1.807
c starts	: 2
c conflicts	: 7
c decisions	: 31
c propagations	: 120
c inspects	: 760
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7
c root simplifications	: 2
c 
c CURRENT OPTIMUM=31
c Current CPU time (ms) : 5.728
c starts	: 3
c conflicts	: 52
c decisions	: 87
c propagations	: 408
c inspects	: 3727
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 52
c root simplifications	: 3
c 
c CURRENT OPTIMUM=30
c Current CPU time (ms) : 6.055
c starts	: 4
c conflicts	: 57
c decisions	: 106
c propagations	: 474
c inspects	: 4760
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 57
c root simplifications	: 4
#### 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.79 0.92 0.89 2/54 9961
Raw data (stat): 9961 (runsolver) R 9960 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487855903 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99988 s]
Raw data (loadavg): 1.13 0.99 0.92 3/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18095 3 1 0 511 42 0 0 25 0 11 0 487855903 869326848 22262 4294967295 134512640 134569956 3221224416 3221214808 1131184575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212238 22262 13073 16 0 212222 0
vsize: 848952
[startup+20.0005 s]
Raw data (loadavg): 1.11 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 1475 42 0 0 25 0 11 0 487855903 868933632 22863 4294967295 134512640 134569956 3221224416 3221214544 1131281672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 22863 13073 16 0 212126 0
vsize: 848568
[startup+30.0044 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 2437 42 0 0 25 0 11 0 487855903 868933632 23210 4294967295 134512640 134569956 3221224416 3221213448 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 23210 13073 16 0 212126 0
vsize: 848568
[startup+40.005 s]
Raw data (loadavg): 1.08 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 3392 42 0 0 25 0 11 0 487855903 868933632 23511 4294967295 134512640 134569956 3221224416 3221215016 1131176768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 23511 13073 16 0 212126 0
vsize: 848568
[startup+50.0088 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 4343 42 0 0 25 0 11 0 487855903 868933632 23729 4294967295 134512640 134569956 3221224416 3221213272 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 23729 13073 16 0 212126 0
vsize: 848568
[startup+60.0095 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 5293 42 0 0 25 0 11 0 487855903 868933632 24003 4294967295 134512640 134569956 3221224416 3221213448 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24003 13073 16 0 212126 0
vsize: 848568
[startup+70.0101 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 6242 42 0 0 25 0 11 0 487855903 868933632 24144 4294967295 134512640 134569956 3221224416 3221214440 1078033287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24144 13073 16 0 212126 0
vsize: 848568
[startup+80.0107 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 7200 42 0 0 25 0 11 0 487855903 868933632 24313 4294967295 134512640 134569956 3221224416 3221214996 1130918439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24313 13073 16 0 212126 0
vsize: 848568
[startup+90.0114 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 8169 42 0 0 25 0 11 0 487855903 868933632 24429 4294967295 134512640 134569956 3221224416 3221214808 1131184787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212142 24429 13073 16 0 212126 0
vsize: 848568
[startup+100.012 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 9131 42 0 0 25 0 11 0 487855903 868933632 24549 4294967295 134512640 134569956 3221224416 3221214808 1131184477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24549 13073 16 0 212126 0
vsize: 848568
[startup+110.013 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 10101 42 0 0 25 0 11 0 487855903 868933632 24641 4294967295 134512640 134569956 3221224416 3221214008 1131496138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24641 13073 16 0 212126 0
vsize: 848568
[startup+120.013 s]
Raw data (loadavg): 1.02 0.99 0.92 3/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 11065 42 0 0 25 0 11 0 487855903 868933632 24744 4294967295 134512640 134569956 3221224416 3221213816 1131431856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24744 13073 16 0 212126 0
vsize: 848568
[startup+130.013 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 12037 42 0 0 25 0 11 0 487855903 868933632 24835 4294967295 134512640 134569956 3221224416 3221214864 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24835 13073 16 0 212126 0
vsize: 848568
[startup+140.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 13003 42 0 0 25 0 11 0 487855903 868933632 24920 4294967295 134512640 134569956 3221224416 3221214808 1131184685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24920 13073 16 0 212126 0
vsize: 848568
[startup+150.015 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 13975 42 0 0 25 0 11 0 487855903 868933632 24990 4294967295 134512640 134569956 3221224416 3221214912 1131164912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 24990 13073 16 0 212126 0
vsize: 848568
[startup+160.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 14942 42 0 0 25 0 11 0 487855903 868933632 25101 4294967295 134512640 134569956 3221224416 3221214252 1131497024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25101 13073 16 0 212126 0
vsize: 848568
[startup+170.015 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 15915 42 0 0 25 0 11 0 487855903 868933632 25170 4294967295 134512640 134569956 3221224416 3221214784 1131184935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25170 13073 16 0 212126 0
vsize: 848568
[startup+180.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 16889 42 0 0 25 0 11 0 487855903 868933632 25238 4294967295 134512640 134569956 3221224416 3221214888 1131165013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25238 13073 16 0 212126 0
vsize: 848568
[startup+190.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 17858 42 0 0 25 0 11 0 487855903 868933632 25328 4294967295 134512640 134569956 3221224416 3221214784 1131185511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25328 13073 16 0 212126 0
vsize: 848568
[startup+200.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 18833 42 0 0 25 0 11 0 487855903 868933632 25387 4294967295 134512640 134569956 3221224416 3221214368 1131496092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25387 13073 16 0 212126 0
vsize: 848568
[startup+210.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 19803 42 0 0 25 0 11 0 487855903 868933632 25467 4294967295 134512640 134569956 3221224416 3221214888 1131164946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25467 13073 16 0 212126 0
vsize: 848568
[startup+220.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 20779 42 0 0 25 0 11 0 487855903 868933632 25541 4294967295 134512640 134569956 3221224416 3221214656 1131180746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212142 25541 13073 16 0 212126 0
vsize: 848568
[startup+230.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 21751 42 0 0 25 0 11 0 487855903 868933632 25613 4294967295 134512640 134569956 3221224416 3221214784 1131184907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25613 13073 16 0 212126 0
vsize: 848568
[startup+240.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 22729 42 0 0 25 0 11 0 487855903 868933632 25672 4294967295 134512640 134569956 3221224416 3221214744 1131183103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25672 13073 16 0 212126 0
vsize: 848568
[startup+250.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 23707 43 0 0 25 0 11 0 487855903 868933632 25729 4294967295 134512640 134569956 3221224416 3221214888 1131165189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25729 13073 16 0 212126 0
vsize: 848568
[startup+260.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 24680 43 0 0 25 0 11 0 487855903 868933632 25796 4294967295 134512640 134569956 3221224416 3221214784 1131184685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25796 13073 16 0 212126 0
vsize: 848568
[startup+270.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 25658 43 0 0 25 0 11 0 487855903 868933632 25847 4294967295 134512640 134569956 3221224416 3221214152 1131496120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25847 13073 16 0 212126 0
vsize: 848568
[startup+280.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 26638 43 0 0 25 0 11 0 487855903 868933632 25894 4294967295 134512640 134569956 3221224416 3221214136 1131430454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25894 13073 16 0 212126 0
vsize: 848568
[startup+290.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 27612 43 0 0 24 0 11 0 487855903 868933632 25958 4294967295 134512640 134569956 3221224416 3221214580 1131497024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25958 13073 16 0 212126 0
vsize: 848568
[startup+300.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 28596 43 0 0 25 0 11 0 487855903 868933632 25988 4294967295 134512640 134569956 3221224416 3221213896 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 25988 13073 16 0 212126 0
vsize: 848568
[startup+310.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 29574 43 0 0 25 0 11 0 487855903 868933632 26035 4294967295 134512640 134569956 3221224416 3221214112 1085679452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26035 13073 16 0 212126 0
vsize: 848568
[startup+320.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 30553 43 0 0 25 0 11 0 487855903 868933632 26082 4294967295 134512640 134569956 3221224416 3221214416 1131430377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26082 13073 16 0 212126 0
vsize: 848568
[startup+330.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 31531 43 0 0 25 0 11 0 487855903 868933632 26133 4294967295 134512640 134569956 3221224416 3221214940 1131494633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26133 13073 16 0 212126 0
vsize: 848568
[startup+340.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 32509 43 0 0 25 0 11 0 487855903 868933632 26173 4294967295 134512640 134569956 3221224416 3221214784 1131184650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26173 13073 16 0 212126 0
vsize: 848568
[startup+350.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 33488 43 0 0 25 0 11 0 487855903 868933632 26203 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26203 13073 16 0 212126 0
vsize: 848568
[startup+360.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 34470 43 0 0 25 0 11 0 487855903 868933632 26234 4294967295 134512640 134569956 3221224416 3221213672 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26234 13073 16 0 212126 0
vsize: 848568
[startup+370.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 35447 43 0 0 25 0 11 0 487855903 868933632 26284 4294967295 134512640 134569956 3221224416 3221214144 1131496113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26284 13073 16 0 212126 0
vsize: 848568
[startup+380.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 36429 43 0 0 25 0 11 0 487855903 868933632 26327 4294967295 134512640 134569956 3221224416 3221213752 1131430464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26327 13073 16 0 212126 0
vsize: 848568
[startup+390.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 37406 43 0 0 25 0 11 0 487855903 868933632 26371 4294967295 134512640 134569956 3221224416 3221214784 1131185104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26371 13073 16 0 212126 0
vsize: 848568
[startup+400.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 38382 43 0 0 25 0 11 0 487855903 868933632 26417 4294967295 134512640 134569956 3221224416 3221214396 1131430578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26417 13073 16 0 212126 0
vsize: 848568
[startup+410.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 39359 43 0 0 25 0 11 0 487855903 868933632 26466 4294967295 134512640 134569956 3221224416 3221214840 1131381677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26466 13073 16 0 212126 0
vsize: 848568
[startup+420.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 40343 43 0 0 25 0 11 0 487855903 868933632 26496 4294967295 134512640 134569956 3221224416 3221213704 1131496102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26496 13073 16 0 212126 0
vsize: 848568
[startup+430.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 41320 43 0 0 25 0 11 0 487855903 868933632 26564 4294967295 134512640 134569956 3221224416 3221214412 1131497033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26564 13073 16 0 212126 0
vsize: 848568
[startup+440.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 42299 43 0 0 25 0 11 0 487855903 868933632 26608 4294967295 134512640 134569956 3221224416 3221214344 1131512552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26608 13073 16 0 212126 0
vsize: 848568
[startup+450.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 43282 43 0 0 25 0 11 0 487855903 868933632 26639 4294967295 134512640 134569956 3221224416 3221213872 1131496120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26639 13073 16 0 212126 0
vsize: 848568
[startup+460.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 44261 43 0 0 25 0 11 0 487855903 868933632 26698 4294967295 134512640 134569956 3221224416 3221214568 1131512597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26698 13073 16 0 212126 0
vsize: 848568
[startup+470.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 45240 43 0 0 25 0 11 0 487855903 868933632 26741 4294967295 134512640 134569956 3221224416 3221214800 1131217937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26741 13073 16 0 212126 0
vsize: 848568
[startup+480.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 46225 43 0 0 25 0 11 0 487855903 868933632 26766 4294967295 134512640 134569956 3221224416 3221214224 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26766 13073 16 0 212126 0
vsize: 848568
[startup+490.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 47204 43 0 0 25 0 11 0 487855903 868933632 26804 4294967295 134512640 134569956 3221224416 3221214864 1131179269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26804 13073 16 0 212126 0
vsize: 848568
[startup+500.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 48182 43 0 0 24 0 11 0 487855903 868933632 26845 4294967295 134512640 134569956 3221224416 3221214888 1131164905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26845 13073 16 0 212126 0
vsize: 848568
[startup+510.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 49166 43 0 0 25 0 11 0 487855903 868933632 26880 4294967295 134512640 134569956 3221224416 3221214240 1131430530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212142 26880 13073 16 0 212126 0
vsize: 848568
[startup+520.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 50143 43 0 0 25 0 11 0 487855903 868933632 26918 4294967295 134512640 134569956 3221224416 3221214888 1131165189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26918 13073 16 0 212126 0
vsize: 848568
[startup+530.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 51127 43 0 0 25 0 11 0 487855903 868933632 26950 4294967295 134512640 134569956 3221224416 3221214224 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26950 13073 16 0 212126 0
vsize: 848568
[startup+540.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 52105 43 0 0 25 0 11 0 487855903 868933632 26991 4294967295 134512640 134569956 3221224416 3221214352 1131430536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 26991 13073 16 0 212126 0
vsize: 848568
[startup+550.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 53088 43 0 0 25 0 11 0 487855903 868933632 27018 4294967295 134512640 134569956 3221224416 3221214784 1131184962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212142 27018 13073 16 0 212126 0
vsize: 848568
[startup+560.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 54065 43 0 0 25 0 11 0 487855903 868933632 27059 4294967295 134512640 134569956 3221224416 3221214640 1131430377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27059 13073 16 0 212126 0
vsize: 848568
[startup+570.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 55048 43 0 0 25 0 11 0 487855903 868933632 27095 4294967295 134512640 134569956 3221224416 3221214944 1131516372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27095 13073 16 0 212126 0
vsize: 848568
[startup+580.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 56025 43 0 0 25 0 11 0 487855903 868933632 27146 4294967295 134512640 134569956 3221224416 3221213832 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27146 13073 16 0 212126 0
vsize: 848568
[startup+590.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 57008 43 0 0 25 0 11 0 487855903 868933632 27174 4294967295 134512640 134569956 3221224416 3221214224 1085679473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27174 13073 16 0 212126 0
vsize: 848568
[startup+600.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 57992 43 0 0 25 0 11 0 487855903 868933632 27207 4294967295 134512640 134569956 3221224416 3221213872 1131496145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27207 13073 16 0 212126 0
vsize: 848568
[startup+610.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 58970 43 0 0 25 0 11 0 487855903 868933632 27240 4294967295 134512640 134569956 3221224416 3221214944 1131515872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27240 13073 16 0 212126 0
vsize: 848568
[startup+620.037 s]
Raw data (loadavg): 1.07 1.01 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 59948 43 0 0 25 0 11 0 487855903 868933632 27286 4294967295 134512640 134569956 3221224416 3221214876 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27286 13073 16 0 212126 0
vsize: 848568
[startup+630.037 s]
Raw data (loadavg): 1.06 1.01 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 60932 43 0 0 25 0 11 0 487855903 868933632 27313 4294967295 134512640 134569956 3221224416 3221214280 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27313 13073 16 0 212126 0
vsize: 848568
[startup+640.037 s]
Raw data (loadavg): 1.05 1.01 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 61911 43 0 0 25 0 11 0 487855903 868933632 27372 4294967295 134512640 134569956 3221224416 3221213888 1085679508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27372 13073 16 0 212126 0
vsize: 848568
[startup+650.038 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 62891 43 0 0 25 0 11 0 487855903 868933632 27413 4294967295 134512640 134569956 3221224416 3221213928 1131496145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27413 13073 16 0 212126 0
vsize: 848568
[startup+660.037 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 63875 43 0 0 25 0 11 0 487855903 868933632 27442 4294967295 134512640 134569956 3221224416 3221214784 1131184650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27442 13073 16 0 212126 0
vsize: 848568
[startup+670.037 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 64855 43 0 0 25 0 11 0 487855903 868933632 27481 4294967295 134512640 134569956 3221224416 3221213864 1131430503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27481 13073 16 0 212126 0
vsize: 848568
[startup+680.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 65840 44 0 0 25 0 11 0 487855903 868933632 27509 4294967295 134512640 134569956 3221224416 3221214528 1131430431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27509 13073 16 0 212126 0
vsize: 848568
[startup+690.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 66820 44 0 0 25 0 11 0 487855903 868933632 27543 4294967295 134512640 134569956 3221224416 3221214784 1131184851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27543 13073 16 0 212126 0
vsize: 848568
[startup+700.039 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 67800 44 0 0 24 0 11 0 487855903 868933632 27575 4294967295 134512640 134569956 3221224416 3221214800 1131215512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27575 13073 16 0 212126 0
vsize: 848568
[startup+710.039 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 68785 44 0 0 25 0 11 0 487855903 868933632 27599 4294967295 134512640 134569956 3221224416 3221214308 1131496144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27599 13073 16 0 212126 0
vsize: 848568
[startup+720.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 69766 44 0 0 25 0 11 0 487855903 868933632 27630 4294967295 134512640 134569956 3221224416 3221214888 1131165428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27630 13073 16 0 212126 0
vsize: 848568
[startup+730.04 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 70744 44 0 0 25 0 11 0 487855903 868933632 27665 4294967295 134512640 134569956 3221224416 3221214480 1131496092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27665 13073 16 0 212126 0
vsize: 848568
[startup+740.041 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 71728 44 0 0 25 0 11 0 487855903 868933632 27693 4294967295 134512640 134569956 3221224416 3221214784 1131184935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27693 13073 16 0 212126 0
vsize: 848568
[startup+750.041 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 72711 44 0 0 25 0 11 0 487855903 868933632 27717 4294967295 134512640 134569956 3221224416 3221213952 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27717 13073 16 0 212126 0
vsize: 848568
[startup+760.041 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 73689 44 0 0 25 0 11 0 487855903 868933632 27746 4294967295 134512640 134569956 3221224416 3221214480 1131496124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27746 13073 16 0 212126 0
vsize: 848568
[startup+770.041 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 74673 44 0 0 25 0 11 0 487855903 868933632 27771 4294967295 134512640 134569956 3221224416 3221214944 1131515897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27771 13073 16 0 212126 0
vsize: 848568
[startup+780.042 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 75652 44 0 0 25 0 11 0 487855903 868933632 27800 4294967295 134512640 134569956 3221224416 3221214704 1131307010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27800 13073 16 0 212126 0
vsize: 848568
[startup+790.043 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 76636 44 0 0 25 0 11 0 487855903 868933632 27823 4294967295 134512640 134569956 3221224416 3221214784 1131184935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27823 13073 16 0 212126 0
vsize: 848568
[startup+800.043 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 77619 44 0 0 25 0 11 0 487855903 868933632 27850 4294967295 134512640 134569956 3221224416 3221213812 1131496144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212142 27850 13073 16 0 212126 0
vsize: 848568
[startup+810.043 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 78597 44 0 0 25 0 11 0 487855903 868933632 27876 4294967295 134512640 134569956 3221224416 3221214592 1131496145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27876 13073 16 0 212126 0
vsize: 848568
[startup+820.043 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 79580 44 0 0 25 0 11 0 487855903 868933632 27909 4294967295 134512640 134569956 3221224416 3221214168 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27909 13073 16 0 212126 0
vsize: 848568
[startup+830.043 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 80563 44 0 0 24 0 11 0 487855903 868933632 27935 4294967295 134512640 134569956 3221224416 3221214840 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27935 13073 16 0 212126 0
vsize: 848568
[startup+840.044 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 81552 44 0 0 25 0 11 0 487855903 868933632 27958 4294967295 134512640 134569956 3221224416 3221214800 1131218102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212142 27958 13073 16 0 212126 0
vsize: 848568
[startup+850.044 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 82535 44 0 0 25 0 11 0 487855903 868933632 27982 4294967295 134512640 134569956 3221224416 3221214888 1131165189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 27982 13073 16 0 212126 0
vsize: 848568
[startup+860.044 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 83518 44 0 0 25 0 11 0 487855903 868933632 28004 4294967295 134512640 134569956 3221224416 3221214200 1131496151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28004 13073 16 0 212126 0
vsize: 848568
[startup+870.045 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 84495 44 0 0 25 0 11 0 487855903 868933632 28036 4294967295 134512640 134569956 3221224416 3221214920 1131401509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28036 13073 16 0 212126 0
vsize: 848568
[startup+880.045 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 85477 44 0 0 25 0 11 0 487855903 868933632 28060 4294967295 134512640 134569956 3221224416 3221214080 1131430557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28060 13073 16 0 212126 0
vsize: 848568
[startup+890.047 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 86460 44 0 0 25 0 11 0 487855903 868933632 28095 4294967295 134512640 134569956 3221224416 3221214784 1131184485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28095 13073 16 0 212126 0
vsize: 848568
[startup+900.047 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 87443 44 0 0 25 0 11 0 487855903 868933632 28130 4294967295 134512640 134569956 3221224416 3221213368 1131496145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28130 13073 16 0 212126 0
vsize: 848568
[startup+910.05 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 9975
Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 88428 44 0 0 25 0 11 0 487855903 868933632 28149 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28149 13073 16 0 212126 0
vsize: 848568
[startup+920.051 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 89409 44 0 0 25 0 11 0 487855903 868933632 28182 4294967295 134512640 134569956 3221224416 3221214304 1131430524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28182 13073 16 0 212126 0
vsize: 848568
[startup+930.051 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 90392 44 0 0 25 0 11 0 487855903 868933632 28211 4294967295 134512640 134569956 3221224416 3221214356 1131430500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28211 13073 16 0 212126 0
vsize: 848568
[startup+940.052 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 91380 44 0 0 25 0 11 0 487855903 868933632 28234 4294967295 134512640 134569956 3221224416 3221213944 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28234 13073 16 0 212126 0
vsize: 848568
[startup+950.052 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 92363 44 0 0 25 0 11 0 487855903 868933632 28263 4294967295 134512640 134569956 3221224416 3221214888 1131165327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28263 13073 16 0 212126 0
vsize: 848568
[startup+960.053 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 93345 44 0 0 25 0 11 0 487855903 868933632 28287 4294967295 134512640 134569956 3221224416 3221214040 1131496145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28287 13073 16 0 212126 0
vsize: 848568
[startup+970.053 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 94333 44 0 0 25 0 11 0 487855903 868933632 28311 4294967295 134512640 134569956 3221224416 3221214952 1131298583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28311 13073 16 0 212126 0
vsize: 848568
[startup+980.053 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 95315 44 0 0 25 0 11 0 487855903 868933632 28331 4294967295 134512640 134569956 3221224416 3221214312 1131496120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28331 13073 16 0 212126 0
vsize: 848568
[startup+990.054 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 96296 44 0 0 25 0 11 0 487855903 868933632 28359 4294967295 134512640 134569956 3221224416 3221214800 1131216586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28359 13073 16 0 212126 0
vsize: 848568
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 97278 45 0 0 25 0 11 0 487855903 868933632 28386 4294967295 134512640 134569956 3221224416 3221214240 1131497045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28386 13073 16 0 212126 0
vsize: 848568
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 98260 45 0 0 25 0 11 0 487855903 868933632 28413 4294967295 134512640 134569956 3221224416 3221214536 1131496120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28413 13073 16 0 212126 0
vsize: 848568
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 99241 45 0 0 25 0 11 0 487855903 868933632 28443 4294967295 134512640 134569956 3221224416 3221214064 1131512783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28443 13073 16 0 212126 0
vsize: 848568
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 100217 45 0 0 25 0 11 0 487855903 868933632 28476 4294967295 134512640 134569956 3221224416 3221214840 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28476 13073 16 0 212126 0
vsize: 848568
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 101199 45 0 0 25 0 11 0 487855903 868933632 28506 4294967295 134512640 134569956 3221224416 3221214888 1131165189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28506 13073 16 0 212126 0
vsize: 848568
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 102181 45 0 0 25 0 11 0 487855903 868933632 28535 4294967295 134512640 134569956 3221224416 3221214848 1131177770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28535 13073 16 0 212126 0
vsize: 848568
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 103163 45 0 0 25 0 11 0 487855903 868933632 28574 4294967295 134512640 134569956 3221224416 3221214888 1131164905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28574 13073 16 0 212126 0
vsize: 848568
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 104146 45 0 0 25 0 11 0 487855903 868933632 28604 4294967295 134512640 134569956 3221224416 3221214784 1131185398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28604 13073 16 0 212126 0
vsize: 848568
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 105129 45 0 0 25 0 11 0 487855903 868933632 28630 4294967295 134512640 134569956 3221224416 3221213720 1085679482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28630 13073 16 0 212126 0
vsize: 848568
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 106106 45 0 0 25 0 11 0 487855903 868933632 28669 4294967295 134512640 134569956 3221224416 3221214840 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28669 13073 16 0 212126 0
vsize: 848568
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 107089 45 0 0 25 0 11 0 487855903 868933632 28703 4294967295 134512640 134569956 3221224416 3221214472 1131430314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28703 13073 16 0 212126 0
vsize: 848568
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 108071 45 0 0 25 0 11 0 487855903 868933632 28732 4294967295 134512640 134569956 3221224416 3221214144 1131496154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28732 13073 16 0 212126 0
vsize: 848568
[startup+1120.06 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 109054 45 0 0 25 0 11 0 487855903 868933632 28755 4294967295 134512640 134569956 3221224416 3221214840 1131147585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28755 13073 16 0 212126 0
vsize: 848568
[startup+1130.06 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 110036 45 0 0 25 0 11 0 487855903 868933632 28776 4294967295 134512640 134569956 3221224416 3221214452 1131430284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28776 13073 16 0 212126 0
vsize: 848568
[startup+1140.06 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 111018 45 0 0 25 0 11 0 487855903 868933632 28796 4294967295 134512640 134569956 3221224416 3221214784 1131184485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28796 13073 16 0 212126 0
vsize: 848568
[startup+1150.06 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 111999 45 0 0 25 0 11 0 487855903 868933632 28819 4294967295 134512640 134569956 3221224416 3221214784 1131184935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28819 13073 16 0 212126 0
vsize: 848568
[startup+1160.06 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 112981 45 0 0 25 0 11 0 487855903 868933632 28846 4294967295 134512640 134569956 3221224416 3221214840 1131147597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28846 13073 16 0 212126 0
vsize: 848568
[startup+1170.06 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 113963 45 0 0 25 0 11 0 487855903 868933632 28868 4294967295 134512640 134569956 3221224416 3221214784 1131185132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28868 13073 16 0 212126 0
vsize: 848568
[startup+1180.06 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 114944 45 0 0 25 0 11 0 487855903 868933632 28892 4294967295 134512640 134569956 3221224416 3221214584 1131430314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28892 13073 16 0 212126 0
vsize: 848568
[startup+1190.06 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 115926 46 0 0 25 0 11 0 487855903 868933632 28912 4294967295 134512640 134569956 3221224416 3221214784 1131184868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28912 13073 16 0 212126 0
vsize: 848568
[startup+1200.07 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 116908 46 0 0 25 0 11 0 487855903 868933632 28932 4294967295 134512640 134569956 3221224416 3221214944 1131516071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28932 13073 16 0 212126 0
vsize: 848568
[startup+1210.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 117890 46 0 0 25 0 11 0 487855903 868933632 28986 4294967295 134512640 134569956 3221224416 3221213616 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 28986 13073 16 0 212126 0
vsize: 848568
[startup+1220.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 118873 46 0 0 25 0 11 0 487855903 868933632 29011 4294967295 134512640 134569956 3221224416 3221214280 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 29011 13073 16 0 212126 0
vsize: 848568
[startup+1230.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 119855 46 0 0 25 0 11 0 487855903 868933632 29039 4294967295 134512640 134569956 3221224416 3221214784 1131185404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212142 29039 13073 16 0 212126 0
vsize: 848568
[startup+1240.07 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 9975
Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 120838 46 0 0 25 0 11 0 487855903 868933632 29068 4294967295 134512640 134569956 3221224416 3221214472 1131430377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212142 29068 13073 16 0 212126 0
vsize: 848568
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.13 s]
Raw data (loadavg): 1.01 1.00 0.94 1/54 9977
Raw data (stat): 9961 (java) Z 9960 28546 28545 0 -1 1036 18096 15977 1 0 120839 51 4151 44 25 0 1 0 487855903 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.13
CPU time (s): 1250.87
CPU user time (s): 1249.91
CPU system time (s): 0.965853
CPU usage (%): 100.866
Max. virtual memory (Kb): 848952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####