PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb
MD5SUM	8c361d02d5162bb0b133ab6ed38f9294
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 16313

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-21 06:52:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13711 boxname=wulflinc23 idbench=1055 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 13711
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        765120 kB
Buffers:         16240 kB
Cached:         225552 kB
SwapCached:        492 kB
Active:          31520 kB
Inactive:       212348 kB
HighTotal:      131008 kB
HighFree:        18004 kB
LowTotal:       903652 kB
LowFree:        747116 kB
SwapTotal:     2097136 kB
SwapFree:      2095852 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            19864 kB
Committed_AS:    63580 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 07:13:08 (client local time) WITH STATUS 143 IN 1250.77 SECONDS
stats: 13711 7 1250.77 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-p0201.opb
c reading problem 
c [nbvar=201]
c [nbconstr=334]
c time 1.315
c #vars     201
c #clauses  133
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=2222
c Current CPU time (ms) : 1.733
c starts	: 1
c conflicts	: 3
c decisions	: 52
c propagations	: 231
c inspects	: 704
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 1
c 
c CURRENT OPTIMUM=1659
c Current CPU time (ms) : 31.286
c starts	: 3
c conflicts	: 176
c decisions	: 950
c propagations	: 3942
c inspects	: 43058
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 176
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1635
c Current CPU time (ms) : 42.89
c starts	: 4
c conflicts	: 232
c decisions	: 1297
c propagations	: 5773
c inspects	: 73305
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 232
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1623
c Current CPU time (ms) : 46.801
c starts	: 5
c conflicts	: 241
c decisions	: 1482
c propagations	: 6421
c inspects	: 79468
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 241
c root simplifications	: 11
#### 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.85 0.97 0.94 2/54 31006
Raw data (stat): 31006 (runsolver) R 31005 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543064213 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.0001 s]
Raw data (loadavg): 1.18 1.03 0.96 2/64 31017
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18076 3 1 0 649 41 0 0 25 0 11 0 543064213 862048256 20876 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210461 20876 13073 16 0 210445 0
vsize: 841844
[startup+20.0004 s]
Raw data (loadavg): 1.15 1.03 0.96 2/64 31017
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18077 3 1 0 1598 42 0 0 25 0 11 0 543064213 862048256 21102 4294967295 134512640 134569956 3221224400 3221214792 1131215393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210461 21102 13073 16 0 210445 0
vsize: 841844
[startup+30.0014 s]
Raw data (loadavg): 1.13 1.03 0.96 2/64 31017
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18078 3 1 0 2540 42 0 0 25 0 11 0 543064213 863387648 21631 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 21631 13073 16 0 210772 0
vsize: 843152
[startup+40.001 s]
Raw data (loadavg): 1.11 1.03 0.96 2/64 31018
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18078 3 1 0 3484 43 0 0 25 0 11 0 543064213 862339072 21670 4294967295 134512640 134569956 3221224400 3221214848 1131173765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210532 21670 13073 16 0 210516 0
vsize: 842128
[startup+50.0013 s]
Raw data (loadavg): 1.09 1.03 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18078 3 1 0 4440 44 0 0 24 0 11 0 543064213 862339072 21999 4294967295 134512640 134569956 3221224400 3221214896 1131223557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210532 21999 13073 16 0 210516 0
vsize: 842128
[startup+60.0013 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18078 3 1 0 5408 44 0 0 25 0 11 0 543064213 862339072 22095 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210532 22095 13073 16 0 210516 0
vsize: 842128
[startup+70.002 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18078 3 1 0 6374 44 0 0 25 0 11 0 543064213 862339072 22201 4294967295 134512640 134569956 3221224400 3221214896 1131223736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210532 22201 13073 16 0 210516 0
vsize: 842128
[startup+80.0022 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18078 3 1 0 7348 45 0 0 25 0 11 0 543064213 861290496 22019 4294967295 134512640 134569956 3221224400 3221214616 1131474946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22019 13073 16 0 210260 0
vsize: 841104
[startup+90.0023 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18078 3 1 0 8323 45 0 0 25 0 11 0 543064213 861290496 22116 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22116 13073 16 0 210260 0
vsize: 841104
[startup+100.005 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) S 31005 3260 3259 0 -1 0 18079 3 1 0 9299 45 0 0 25 0 11 0 543064213 861290496 22185 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22185 13073 16 0 210260 0
vsize: 841104
[startup+110.005 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 10272 45 0 0 25 0 11 0 543064213 861290496 22250 4294967295 134512640 134569956 3221224400 3221214896 1131223542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22250 13073 16 0 210260 0
vsize: 841104
[startup+120.006 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 11242 45 0 0 25 0 11 0 543064213 861290496 22342 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22342 13073 16 0 210260 0
vsize: 841104
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) S 31005 3260 3259 0 -1 0 18079 3 1 0 12212 45 0 0 25 0 11 0 543064213 861290496 22422 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22422 13073 16 0 210260 0
vsize: 841104
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 13181 45 0 0 25 0 11 0 543064213 861290496 22519 4294967295 134512640 134569956 3221224400 3221214792 1131214519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 22519 13073 16 0 210260 0
vsize: 841104
[startup+150.009 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 14151 45 0 0 25 0 11 0 543064213 861290496 22640 4294967295 134512640 134569956 3221224400 3221214896 1131223867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 22640 13073 16 0 210260 0
vsize: 841104
[startup+160.009 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 15125 46 0 0 25 0 11 0 543064213 861290496 22740 4294967295 134512640 134569956 3221224400 3221214792 1131215378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22740 13073 16 0 210260 0
vsize: 841104
[startup+170.01 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 16102 46 0 0 25 0 11 0 543064213 861290496 22828 4294967295 134512640 134569956 3221224400 3221214288 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22828 13073 16 0 210260 0
vsize: 841104
[startup+180.01 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 17074 46 0 0 25 0 11 0 543064213 861290496 22908 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22908 13073 16 0 210260 0
vsize: 841104
[startup+190.01 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 18051 46 0 0 25 0 11 0 543064213 861290496 22979 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 22979 13073 16 0 210260 0
vsize: 841104
[startup+200.01 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 19025 46 0 0 25 0 11 0 543064213 861290496 23058 4294967295 134512640 134569956 3221224400 3221214792 1131215473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23058 13073 16 0 210260 0
vsize: 841104
[startup+210.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 19999 46 0 0 25 0 11 0 543064213 861290496 23128 4294967295 134512640 134569956 3221224400 3221214792 1131214213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23128 13073 16 0 210260 0
vsize: 841104
[startup+220.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 20973 46 0 0 25 0 11 0 543064213 861290496 23207 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23207 13073 16 0 210260 0
vsize: 841104
[startup+230.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 21947 46 0 0 24 0 11 0 543064213 861290496 23295 4294967295 134512640 134569956 3221224400 3221214536 1131420323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23295 13073 16 0 210260 0
vsize: 841104
[startup+240.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 22925 46 0 0 25 0 11 0 543064213 861290496 23359 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23359 13073 16 0 210260 0
vsize: 841104
[startup+250.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 23902 46 0 0 25 0 11 0 543064213 861290496 23454 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23454 13073 16 0 210260 0
vsize: 841104
[startup+260.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 24881 47 0 0 25 0 11 0 543064213 861290496 23523 4294967295 134512640 134569956 3221224400 3221214792 1131214427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23523 13073 16 0 210260 0
vsize: 841104
[startup+270.013 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 25860 47 0 0 25 0 11 0 543064213 861290496 23580 4294967295 134512640 134569956 3221224400 3221214792 1131214642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23580 13073 16 0 210260 0
vsize: 841104
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 26839 47 0 0 25 0 11 0 543064213 861290496 23650 4294967295 134512640 134569956 3221224400 3221214504 1131262803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23650 13073 16 0 210260 0
vsize: 841104
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 27818 47 0 0 25 0 11 0 543064213 861290496 23699 4294967295 134512640 134569956 3221224400 3221214896 1131223369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 23699 13073 16 0 210260 0
vsize: 841104
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 28797 47 0 0 25 0 11 0 543064213 861290496 23769 4294967295 134512640 134569956 3221224400 3221214792 1131214538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23769 13073 16 0 210260 0
vsize: 841104
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) S 31005 3260 3259 0 -1 0 18079 3 1 0 29773 47 0 0 25 0 11 0 543064213 861290496 23832 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23834 13073 16 0 210260 0
vsize: 841104
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 30752 47 0 0 25 0 11 0 543064213 861290496 23910 4294967295 134512640 134569956 3221224400 3221214792 1131214315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23910 13073 16 0 210260 0
vsize: 841104
[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 31730 47 0 0 25 0 11 0 543064213 861290496 23997 4294967295 134512640 134569956 3221224400 3221214792 1131215127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 23997 13073 16 0 210260 0
vsize: 841104
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 32707 47 0 0 25 0 11 0 543064213 861290496 24062 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24062 13073 16 0 210260 0
vsize: 841104
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 33684 47 0 0 25 0 11 0 543064213 861290496 24128 4294967295 134512640 134569956 3221224400 3221214848 1131173757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24128 13073 16 0 210260 0
vsize: 841104
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 34661 47 0 0 25 0 11 0 543064213 861290496 24187 4294967295 134512640 134569956 3221224400 3221214792 1131214608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24187 13073 16 0 210260 0
vsize: 841104
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 35638 47 0 0 25 0 11 0 543064213 861290496 24275 4294967295 134512640 134569956 3221224400 3221214208 1131516135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24275 13073 16 0 210260 0
vsize: 841104
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 36615 47 0 0 25 0 11 0 543064213 861290496 24354 4294967295 134512640 134569956 3221224400 3221214504 1131263695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24354 13073 16 0 210260 0
vsize: 841104
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 37590 47 0 0 25 0 11 0 543064213 861290496 24435 4294967295 134512640 134569956 3221224400 3221214896 1131223557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24435 13073 16 0 210260 0
vsize: 841104
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 38567 48 0 0 25 0 11 0 543064213 861290496 24516 4294967295 134512640 134569956 3221224400 3221214792 1131214545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24516 13073 16 0 210260 0
vsize: 841104
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 39544 48 0 0 25 0 11 0 543064213 861290496 24614 4294967295 134512640 134569956 3221224400 3221214792 1131214398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24614 13073 16 0 210260 0
vsize: 841104
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 40525 48 0 0 25 0 11 0 543064213 861290496 24716 4294967295 134512640 134569956 3221224400 3221214128 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24716 13073 16 0 210260 0
vsize: 841104
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 41503 48 0 0 25 0 11 0 543064213 861290496 24807 4294967295 134512640 134569956 3221224400 3221214792 1131214201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24807 13073 16 0 210260 0
vsize: 841104
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 42483 48 0 0 25 0 11 0 543064213 861290496 24861 4294967295 134512640 134569956 3221224400 3221214792 1131214780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24861 13073 16 0 210260 0
vsize: 841104
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31020
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 43460 48 0 0 25 0 11 0 543064213 861290496 24940 4294967295 134512640 134569956 3221224400 3221214792 1131214209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 24940 13073 16 0 210260 0
vsize: 841104
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.96 3/67 31055
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 44439 48 0 0 25 0 11 0 543064213 861290496 25004 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 25004 13073 16 0 210260 0
vsize: 841104
[startup+470.02 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 31073
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 45413 49 0 0 25 0 11 0 543064213 861290496 25086 4294967295 134512640 134569956 3221224400 3221214936 1131344025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25086 13073 16 0 210260 0
vsize: 841104
[startup+480.02 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 31073
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 46394 49 0 0 25 0 11 0 543064213 861290496 25135 4294967295 134512640 134569956 3221224400 3221214792 1131215075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25135 13073 16 0 210260 0
vsize: 841104
[startup+490.02 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 31073
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 47373 49 0 0 24 0 11 0 543064213 861290496 25197 4294967295 134512640 134569956 3221224400 3221214792 1131214842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25197 13073 16 0 210260 0
vsize: 841104
[startup+500.021 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 31073
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 48353 49 0 0 25 0 11 0 543064213 861290496 25284 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25284 13073 16 0 210260 0
vsize: 841104
[startup+510.021 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 31073
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 49333 49 0 0 25 0 11 0 543064213 861290496 25335 4294967295 134512640 134569956 3221224400 3221214892 1131333484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25335 13073 16 0 210260 0
vsize: 841104
[startup+520.022 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 31073
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 50311 49 0 0 25 0 11 0 543064213 861290496 25389 4294967295 134512640 134569956 3221224400 3221214792 1131215449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25389 13073 16 0 210260 0
vsize: 841104
[startup+530.021 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 31073
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 51289 49 0 0 25 0 11 0 543064213 861290496 25476 4294967295 134512640 134569956 3221224400 3221214504 1131262706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25476 13073 16 0 210260 0
vsize: 841104
[startup+540.021 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 52265 49 0 0 24 0 11 0 543064213 861290496 25556 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25556 13073 16 0 210260 0
vsize: 841104
[startup+550.022 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 53243 50 0 0 25 0 11 0 543064213 861290496 25629 4294967295 134512640 134569956 3221224400 3221214792 1131214584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25629 13073 16 0 210260 0
vsize: 841104
[startup+560.021 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 54223 50 0 0 25 0 11 0 543064213 861290496 25685 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25685 13073 16 0 210260 0
vsize: 841104
[startup+570.022 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 55200 50 0 0 25 0 11 0 543064213 861290496 25753 4294967295 134512640 134569956 3221224400 3221214792 1131214780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25753 13073 16 0 210260 0
vsize: 841104
[startup+580.022 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 56177 50 0 0 25 0 11 0 543064213 861290496 25808 4294967295 134512640 134569956 3221224400 3221214464 1131520516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25808 13073 16 0 210260 0
vsize: 841104
[startup+590.022 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 57154 50 0 0 25 0 11 0 543064213 861290496 25904 4294967295 134512640 134569956 3221224400 3221214792 1131215666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25904 13073 16 0 210260 0
vsize: 841104
[startup+600.022 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 58132 51 0 0 25 0 11 0 543064213 861290496 25973 4294967295 134512640 134569956 3221224400 3221214848 1131173777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25973 13073 16 0 210260 0
vsize: 841104
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 59110 51 0 0 25 0 11 0 543064213 861290496 26040 4294967295 134512640 134569956 3221224400 3221214848 1131173784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26040 13073 16 0 210260 0
vsize: 841104
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 60087 51 0 0 24 0 11 0 543064213 861290496 26127 4294967295 134512640 134569956 3221224400 3221214848 1131173806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26127 13073 16 0 210260 0
vsize: 841104
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 61067 51 0 0 25 0 11 0 543064213 861290496 26184 4294967295 134512640 134569956 3221224400 3221214792 1131214516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26184 13073 16 0 210260 0
vsize: 841104
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 62046 51 0 0 25 0 11 0 543064213 861290496 26270 4294967295 134512640 134569956 3221224400 3221214792 1131214854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26270 13073 16 0 210260 0
vsize: 841104
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 63026 51 0 0 25 0 11 0 543064213 861290496 26337 4294967295 134512640 134569956 3221224400 3221214848 1131173781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26337 13073 16 0 210260 0
vsize: 841104
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 64002 52 0 0 25 0 11 0 543064213 861290496 26398 4294967295 134512640 134569956 3221224400 3221214792 1131214856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26398 13073 16 0 210260 0
vsize: 841104
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 64980 52 0 0 25 0 11 0 543064213 861290496 26476 4294967295 134512640 134569956 3221224400 3221214792 1131214649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26476 13073 16 0 210260 0
vsize: 841104
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 65958 52 0 0 24 0 11 0 543064213 861290496 26545 4294967295 134512640 134569956 3221224400 3221214792 1131214213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26545 13073 16 0 210260 0
vsize: 841104
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 66940 52 0 0 25 0 11 0 543064213 861290496 26632 4294967295 134512640 134569956 3221224400 3221214792 1131214266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26632 13073 16 0 210260 0
vsize: 841104
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 67917 52 0 0 25 0 11 0 543064213 861290496 26698 4294967295 134512640 134569956 3221224400 3221214848 1131173781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26698 13073 16 0 210260 0
vsize: 841104
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 68895 52 0 0 25 0 11 0 543064213 861290496 26740 4294967295 134512640 134569956 3221224400 3221214848 1131173777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26740 13073 16 0 210260 0
vsize: 841104
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 69872 52 0 0 25 0 11 0 543064213 861290496 26816 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26816 13073 16 0 210260 0
vsize: 841104
[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 70851 52 0 0 25 0 11 0 543064213 861290496 26870 4294967295 134512640 134569956 3221224400 3221214536 1131422004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26870 13073 16 0 210260 0
vsize: 841104
[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 71829 52 0 0 25 0 11 0 543064213 861290496 26928 4294967295 134512640 134569956 3221224400 3221214848 1131173784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26928 13073 16 0 210260 0
vsize: 841104
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 72807 53 0 0 25 0 11 0 543064213 861290496 26973 4294967295 134512640 134569956 3221224400 3221214892 1131214195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26973 13073 16 0 210260 0
vsize: 841104
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31075
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 73784 53 0 0 25 0 11 0 543064213 861290496 27026 4294967295 134512640 134569956 3221224400 3221214544 1131316328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27026 13073 16 0 210260 0
vsize: 841104
[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 74763 53 0 0 24 0 11 0 543064213 861290496 27107 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27107 13073 16 0 210260 0
vsize: 841104
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 75745 53 0 0 25 0 11 0 543064213 861290496 27170 4294967295 134512640 134569956 3221224400 3221214288 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27170 13073 16 0 210260 0
vsize: 841104
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 76725 53 0 0 25 0 11 0 543064213 861290496 27219 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27219 13073 16 0 210260 0
vsize: 841104
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 77703 53 0 0 25 0 11 0 543064213 861290496 27275 4294967295 134512640 134569956 3221224400 3221214792 1131214269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27275 13073 16 0 210260 0
vsize: 841104
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 78680 53 0 0 25 0 11 0 543064213 861290496 27328 4294967295 134512640 134569956 3221224400 3221214792 1131214683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27328 13073 16 0 210260 0
vsize: 841104
[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 79656 53 0 0 25 0 11 0 543064213 861290496 27391 4294967295 134512640 134569956 3221224400 3221214792 1131215449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27391 13073 16 0 210260 0
vsize: 841104
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 80634 54 0 0 25 0 11 0 543064213 861290496 27487 4294967295 134512640 134569956 3221224400 3221214792 1131215495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27487 13073 16 0 210260 0
vsize: 841104
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) S 31005 3260 3259 0 -1 0 18079 3 1 0 81612 54 0 0 25 0 11 0 543064213 861290496 27543 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27543 13073 16 0 210260 0
vsize: 841104
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 82592 54 0 0 25 0 11 0 543064213 861290496 27588 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27588 13073 16 0 210260 0
vsize: 841104
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 83569 54 0 0 25 0 11 0 543064213 861290496 27690 4294967295 134512640 134569956 3221224400 3221214936 1131344025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27690 13073 16 0 210260 0
vsize: 841104
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 84547 54 0 0 25 0 11 0 543064213 861290496 27746 4294967295 134512640 134569956 3221224400 3221214896 1131223381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27746 13073 16 0 210260 0
vsize: 841104
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 85525 54 0 0 25 0 11 0 543064213 861290496 27807 4294967295 134512640 134569956 3221224400 3221214792 1131214659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27807 13073 16 0 210260 0
vsize: 841104
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 86502 54 0 0 25 0 11 0 543064213 861290496 27872 4294967295 134512640 134569956 3221224400 3221214848 1131173840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27872 13073 16 0 210260 0
vsize: 841104
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 87483 54 0 0 25 0 11 0 543064213 861290496 27946 4294967295 134512640 134569956 3221224400 3221214792 1131214209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27946 13073 16 0 210260 0
vsize: 841104
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 88460 54 0 0 25 0 11 0 543064213 861290496 28013 4294967295 134512640 134569956 3221224400 3221214488 1131219928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28013 13073 16 0 210260 0
vsize: 841104
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 89439 54 0 0 25 0 11 0 543064213 861290496 28074 4294967295 134512640 134569956 3221224400 3221214792 1131214417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28074 13073 16 0 210260 0
vsize: 841104
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 90419 55 0 0 25 0 11 0 543064213 861290496 28142 4294967295 134512640 134569956 3221224400 3221214872 1131333523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28142 13073 16 0 210260 0
vsize: 841104
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 91400 55 0 0 25 0 11 0 543064213 861290496 28222 4294967295 134512640 134569956 3221224400 3221214792 1131214897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28222 13073 16 0 210260 0
vsize: 841104
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 92382 55 0 0 24 0 11 0 543064213 861290496 28262 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28262 13073 16 0 210260 0
vsize: 841104
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 93364 55 0 0 25 0 11 0 543064213 861290496 28317 4294967295 134512640 134569956 3221224400 3221214936 1131344025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28317 13073 16 0 210260 0
vsize: 841104
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 94344 55 0 0 25 0 11 0 543064213 861290496 28375 4294967295 134512640 134569956 3221224400 3221214792 1131214238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28375 13073 16 0 210260 0
vsize: 841104
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 95324 55 0 0 25 0 11 0 543064213 861290496 28434 4294967295 134512640 134569956 3221224400 3221214848 1131173784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28434 13073 16 0 210260 0
vsize: 841104
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 96304 55 0 0 25 0 11 0 543064213 861290496 28498 4294967295 134512640 134569956 3221224400 3221214792 1131214205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28498 13073 16 0 210260 0
vsize: 841104
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 97284 56 0 0 24 0 11 0 543064213 861290496 28550 4294967295 134512640 134569956 3221224400 3221214896 1131223781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28550 13073 16 0 210260 0
vsize: 841104
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 98266 56 0 0 25 0 11 0 543064213 861290496 28601 4294967295 134512640 134569956 3221224400 3221214792 1131214580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28601 13073 16 0 210260 0
vsize: 841104
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 99246 56 0 0 25 0 11 0 543064213 861290496 28655 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28655 13073 16 0 210260 0
vsize: 841104
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 100224 56 0 0 25 0 11 0 543064213 861290496 28731 4294967295 134512640 134569956 3221224400 3221214792 1131214508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28731 13073 16 0 210260 0
vsize: 841104
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 101203 56 0 0 25 0 11 0 543064213 861290496 28788 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28788 13073 16 0 210260 0
vsize: 841104
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 102181 56 0 0 25 0 11 0 543064213 861290496 28854 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28854 13073 16 0 210260 0
vsize: 841104
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 103159 56 0 0 25 0 11 0 543064213 861290496 28935 4294967295 134512640 134569956 3221224400 3221214536 1131420978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28935 13073 16 0 210260 0
vsize: 841104
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 104135 56 0 0 24 0 11 0 543064213 861290496 28990 4294967295 134512640 134569956 3221224400 3221214792 1131214800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28990 13073 16 0 210260 0
vsize: 841104
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 105114 57 0 0 25 0 11 0 543064213 861290496 29081 4294967295 134512640 134569956 3221224400 3221214792 1131215133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29081 13073 16 0 210260 0
vsize: 841104
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 106091 57 0 0 25 0 11 0 543064213 861290496 29134 4294967295 134512640 134569956 3221224400 3221214872 1131333549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29134 13073 16 0 210260 0
vsize: 841104
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 107069 57 0 0 25 0 11 0 543064213 861290496 29186 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29186 13073 16 0 210260 0
vsize: 841104
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) S 31005 3260 3259 0 -1 0 18079 3 1 0 108044 57 0 0 25 0 11 0 543064213 861290496 29261 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29261 13073 16 0 210260 0
vsize: 841104
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 109022 57 0 0 25 0 11 0 543064213 861290496 29328 4294967295 134512640 134569956 3221224400 3221214792 1131214209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29328 13073 16 0 210260 0
vsize: 841104
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 109997 57 0 0 25 0 11 0 543064213 861290496 29378 4294967295 134512640 134569956 3221224400 3221214792 1131214423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29378 13073 16 0 210260 0
vsize: 841104
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 110972 58 0 0 25 0 11 0 543064213 861290496 29453 4294967295 134512640 134569956 3221224400 3221214848 1131173777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29453 13073 16 0 210260 0
vsize: 841104
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 111947 58 0 0 25 0 11 0 543064213 861290496 29523 4294967295 134512640 134569956 3221224400 3221214792 1131214238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29523 13073 16 0 210260 0
vsize: 841104
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 112922 58 0 0 24 0 11 0 543064213 861290496 29578 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29578 13073 16 0 210260 0
vsize: 841104
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 113900 58 0 0 25 0 11 0 543064213 861290496 29663 4294967295 134512640 134569956 3221224400 3221214892 1131214188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29663 13073 16 0 210260 0
vsize: 841104
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 114879 58 0 0 25 0 11 0 543064213 861290496 29720 4294967295 134512640 134569956 3221224400 3221214792 1131214608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29720 13073 16 0 210260 0
vsize: 841104
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 115855 58 0 0 25 0 11 0 543064213 861290496 29777 4294967295 134512640 134569956 3221224400 3221214792 1131214584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29777 13073 16 0 210260 0
vsize: 841104
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 116831 58 0 0 24 0 11 0 543064213 861290496 29819 4294967295 134512640 134569956 3221224400 3221214504 1131262656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29819 13073 16 0 210260 0
vsize: 841104
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 117807 59 0 0 25 0 11 0 543064213 861290496 29880 4294967295 134512640 134569956 3221224400 3221214792 1131214611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29880 13073 16 0 210260 0
vsize: 841104
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) S 31005 3260 3259 0 -1 0 18079 3 1 0 118781 59 0 0 25 0 11 0 543064213 861290496 29958 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 29959 13073 16 0 210260 0
vsize: 841104
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 119755 59 0 0 25 0 11 0 543064213 861290496 30012 4294967295 134512640 134569956 3221224400 3221214936 1131344025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 30012 13073 16 0 210260 0
vsize: 841104
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31077
Raw data (stat): 31006 (java) R 31005 3260 3259 0 -1 0 18079 3 1 0 120725 59 0 0 25 0 11 0 543064213 861290496 30105 4294967295 134512640 134569956 3221224400 3221214848 1131173777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 30105 13073 16 0 210260 0
vsize: 841104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 31079
Raw data (stat): 31006 (java) Z 31005 3260 3259 0 -1 1036 18079 17595 1 0 120729 64 4220 61 25 0 1 0 543064213 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): 1240.16
CPU time (s): 1250.77
CPU user time (s): 1249.5
CPU system time (s): 1.26281
CPU usage (%): 100.855
Max. virtual memory (Kb): 843152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####